Message type for SYS_STATECTL

Change-Id: I19443aa018d6c670e2b44f1f98bce2fb297a7f21
This commit is contained in:
2014-05-23 10:18:35 +02:00
parent 333fd250f5
commit f7c72375ea
3 changed files with 13 additions and 4 deletions

View File

@@ -2,7 +2,7 @@
* 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"
@@ -16,7 +16,7 @@ int do_statectl(struct proc * caller, message * m_ptr)
{
/* 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
@@ -25,7 +25,8 @@ int do_statectl(struct proc * caller, message * m_ptr)
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;
}
}