Lines Matching defs:root
261 invoke_monitor_get_cap_owner(capaddr_t root, int rbits, capaddr_t cap, int cbits, coreid_t *ret_owner)
264 root, rbits, cap, cbits);
272 invoke_monitor_set_cap_owner(capaddr_t root, int rbits, capaddr_t cap, int cbits, coreid_t owner)
274 return cap_invoke6(cap_kernel, KernelCmd_Set_cap_owner, root, rbits, cap, cbits, owner).error;
278 invoke_monitor_lock_cap(capaddr_t root, int rbits, capaddr_t cap, int cbits)
280 return cap_invoke5(cap_kernel, KernelCmd_Lock_cap, root, rbits, cap, cbits).error;
284 invoke_monitor_unlock_cap(capaddr_t root, int rbits, capaddr_t cap, int cbits)
286 return cap_invoke5(cap_kernel, KernelCmd_Unlock_cap, root, rbits, cap, cbits).error;
290 invoke_monitor_delete_last(capaddr_t root, int rbits, capaddr_t cap, int cbits,
297 return cap_invoke6(cap_kernel, KernelCmd_Delete_last, root, cap,
308 invoke_monitor_revoke_mark_target(capaddr_t root, int rbits,
312 root, rbits, cap, cbits).error;