1 #include "syslib.h" 2 3 int sys_privctl(endpoint_t proc_ep, int request, void *p) 4 { 5 message m; 6 7 m.m_lsys_krn_sys_privctl.endpt = proc_ep; 8 m.m_lsys_krn_sys_privctl.request = request; 9 m.m_lsys_krn_sys_privctl.arg_ptr = (vir_bytes)p; 10 11 return _kernel_call(SYS_PRIVCTL, &m); 12 } 13 14 int sys_privquery_mem(endpoint_t proc_ep, phys_bytes start, phys_bytes len) 15 { 16 message m; 17 18 m.m_lsys_krn_sys_privctl.endpt = proc_ep; 19 m.m_lsys_krn_sys_privctl.request = SYS_PRIV_QUERY_MEM; 20 m.m_lsys_krn_sys_privctl.phys_start = start; 21 m.m_lsys_krn_sys_privctl.phys_len = len; 22 23 return _kernel_call(SYS_PRIVCTL, &m); 24 } 25