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

File:

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

kernel/generic/src/ipc/kbox.c

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