1 /* The kernel call implemented in this file:
4 * The parameters for this kernel call are:
5 * m2_i2: CTL_REQUEST (state control request)
8 #include "kernel/system.h"
12 /*===========================================================================*
14 *===========================================================================*/
15 int do_statectl(struct proc
* caller
, message
* m_ptr
)
17 /* Handle sys_statectl(). A process has issued a state control request. */
19 switch(m_ptr
->CTL_REQUEST
)
21 case SYS_STATE_CLEAR_IPC_REFS
:
22 /* Clear IPC references for all the processes communicating
25 clear_ipc_refs(caller
, EDEADSRCDST
);
28 printf("do_statectl: bad request %d\n", m_ptr
->CTL_REQUEST
);
33 #endif /* USE_STATECTL */