Changeset 79f30e4f in mainline

Timestamp:

2006-10-17T15:30:21Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

e60293d

Parents:

f5e39a32

Message:

ipc_irq_send_msg(NULL, 0, 0, 0) is definitively a bug

File:

• kernel/generic/src/console/cmd.c (modified) (1 diff)

kernel/generic/src/console/cmd.c

@@ -803 +803 @@
         printf("Use userspace controls to redraw the screen.\n");
         arch_release_console();
-        /* TODO: send some vitual IRQ */
-        ipc_irq_send_msg(NULL, 0, 0, 0);
         return 1;
 }