3 int sys_privctl(endpoint_t proc_ep
, int request
, void *p
)
8 m
.CTL_REQUEST
= request
;
11 return _kernel_call(SYS_PRIVCTL
, &m
);
14 int sys_privquery_mem(endpoint_t proc_ep
, phys_bytes start
, phys_bytes len
)
18 m
.CTL_ENDPT
= proc_ep
;
19 m
.CTL_REQUEST
= SYS_PRIV_QUERY_MEM
;
20 m
.CTL_PHYSSTART
= start
;
23 return _kernel_call(SYS_PRIVCTL
, &m
);