Changes in kernel/generic/src/ipc/kbox.c [79ae36dd:228e490] in mainline

File:

• kernel/generic/src/ipc/kbox.c (modified) (2 diffs)

kernel/generic/src/ipc/kbox.c

@@ -37 +37 @@
 #include <synch/mutex.h>
 #include <ipc/ipc.h>
-#include <ipc/ipc_methods.h>
 #include <ipc/ipcrsc.h>
 #include <arch.h>
@@ -170 +169 @@
                 switch (IPC_GET_IMETHOD(call->data)) {
                 
-                case IPC_M_DEBUG:
+                case IPC_M_DEBUG_ALL:
                         /* Handle debug call. */
                         udebug_call_receive(call);