Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/src/ipc/kbox.c

    rc0699467 r228e490  
    3333 */
    3434
     35#include <synch/synch.h>
    3536#include <synch/spinlock.h>
    3637#include <synch/mutex.h>
    3738#include <ipc/ipc.h>
    38 #include <abi/ipc/methods.h>
    3939#include <ipc/ipcrsc.h>
    4040#include <arch.h>
     
    169169                switch (IPC_GET_IMETHOD(call->data)) {
    170170               
    171                 case IPC_M_DEBUG:
     171                case IPC_M_DEBUG_ALL:
    172172                        /* Handle debug call. */
    173173                        udebug_call_receive(call);
Note: See TracChangeset for help on using the changeset viewer.