Changes in kernel/generic/src/ipc/kbox.c [228e490:79ae36dd] 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>
@@ -169 +170 @@
                 switch (IPC_GET_IMETHOD(call->data)) {
                 
-                case IPC_M_DEBUG_ALL:
+                case IPC_M_DEBUG:
                         /* Handle debug call. */
                         udebug_call_receive(call);