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

File:

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

kernel/generic/src/ipc/kbox.c

@@ -167 +167 @@
                         continue;  /* Try again. */
                 
-                switch (IPC_GET_METHOD(call->data)) {
+                switch (IPC_GET_IMETHOD(call->data)) {
                 
                 case IPC_M_DEBUG_ALL:
@@ -192 +192 @@
 }
 
-
 /** Connect phone to a task kernel-box specified by id.
  *