H A D | monitor_invocations_arch.h | 261 invoke_monitor_get_cap_owner(capaddr_t root, int rbits, capaddr_t cap, int cbits, coreid_t *ret_owner) argument 264 root, rbits, cap, cbits); 272 invoke_monitor_set_cap_owner(capaddr_t root, int rbits, capaddr_t cap, int cbits, coreid_t owner) argument 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) argument 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) argument 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, argument 294 assert(cbits < 308 invoke_monitor_revoke_mark_target(capaddr_t root, int rbits, capaddr_t cap, int cbits) argument [all...] |