} mess_lsys_krn_sys_setalarm;
_ASSERT_MSG_SIZE(mess_lsys_krn_sys_setalarm);
+typedef struct {
+ int request;
+
+ uint8_t padding[52];
+} mess_lsys_krn_sys_statectl;
+_ASSERT_MSG_SIZE(mess_lsys_krn_sys_statectl);
+
typedef struct {
time_t boot_time;
mess_lsys_krn_sys_memset m_lsys_krn_sys_memset;
mess_lsys_krn_sys_sdevio m_lsys_krn_sys_sdevio;
mess_lsys_krn_sys_setalarm m_lsys_krn_sys_setalarm;
+ mess_lsys_krn_sys_statectl m_lsys_krn_sys_statectl;
mess_lsys_krn_sys_stime m_lsys_krn_sys_stime;
mess_lsys_krn_sys_settime m_lsys_krn_sys_settime;
mess_lsys_krn_sys_times m_lsys_krn_sys_times;
* m_type: SYS_STATECTL
*
* The parameters for this kernel call are:
- * m2_i2: CTL_REQUEST (state control request)
+ * m_lsys_krn_sys_statectl.request (state control request)
*/
#include "kernel/system.h"
{
/* Handle sys_statectl(). A process has issued a state control request. */
- switch(m_ptr->CTL_REQUEST)
+ switch(m_ptr->m_lsys_krn_sys_statectl.request)
{
case SYS_STATE_CLEAR_IPC_REFS:
/* Clear IPC references for all the processes communicating
clear_ipc_refs(caller, EDEADSRCDST);
return(OK);
default:
- printf("do_statectl: bad request %d\n", m_ptr->CTL_REQUEST);
+ printf("do_statectl: bad request %d\n",
+ m_ptr->m_lsys_krn_sys_statectl.request);
return EINVAL;
}
}