3 int sys_privctl(endpoint_t proc_ep
, int request
, void *p
)
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
;
11 return _kernel_call(SYS_PRIVCTL
, &m
);
14 int sys_privquery_mem(endpoint_t proc_ep
, phys_bytes start
, phys_bytes len
)
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
;
23 return _kernel_call(SYS_PRIVCTL
, &m
);