1 #include "syslib.h"
2
sys_privctl(endpoint_t proc_ep,int request,void * p)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
sys_privquery_mem(endpoint_t proc_ep,phys_bytes start,phys_bytes len)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