Lines Matching refs:root
76 invoke_monitor_get_cap_owner(capaddr_t root, int rlevel, capaddr_t cap, int clevel, coreid_t *ret_owner)
79 struct sysret sysret = cap_invoke5(cap_kernel, KernelCmd_Get_cap_owner, root, rlevel, cap, clevel);
87 invoke_monitor_set_cap_owner(capaddr_t root, int rlevel, capaddr_t cap, int clevel, coreid_t owner)
89 return cap_invoke6(cap_kernel, KernelCmd_Set_cap_owner, root, rlevel, cap, clevel, owner).error;
94 invoke_monitor_lock_cap(capaddr_t root, int rlevel, capaddr_t cap, int clevel)
96 return cap_invoke5(cap_kernel, KernelCmd_Lock_cap, root, rlevel, cap, clevel).error;
100 invoke_monitor_unlock_cap(capaddr_t root, int rlevel, capaddr_t cap, int clevel)
102 return cap_invoke5(cap_kernel, KernelCmd_Unlock_cap, root, rlevel, cap, clevel).error;
107 invoke_monitor_delete_last(capaddr_t root, int rlevel, capaddr_t cap, int clevel,
110 return cap_invoke8(cap_kernel, KernelCmd_Delete_last, root, rlevel, cap,
121 invoke_monitor_revoke_mark_target(capaddr_t root, int rlevel,
125 root, rlevel, cap, clevel).error;