Lines Matching defs:cptr
82 errval_t monitor_domcap_remote_relations(struct capref croot, capaddr_t cptr,
90 cptr, level, relations, mask,
98 capaddr_t cptr = get_cap_addr(cap);
99 return monitor_domcap_remote_relations(cap_root, cptr, level, relations,
186 errval_t monitor_get_cap_owner(struct capref croot, capaddr_t cptr, int level, coreid_t *ret_owner)
191 return invoke_monitor_get_cap_owner(root_addr, root_level, cptr, level, ret_owner);
197 errval_t monitor_set_cap_owner(struct capref croot, capaddr_t cptr, int level, coreid_t owner)
202 return invoke_monitor_set_cap_owner(root_addr, root_level, cptr, level, owner);
208 errval_t monitor_lock_cap(struct capref croot, capaddr_t cptr, int level)
213 return invoke_monitor_lock_cap(root_addr, root_level, cptr, level);
219 errval_t monitor_unlock_cap(struct capref croot, capaddr_t cptr, int level)
224 return invoke_monitor_unlock_cap(root_addr, root_level, cptr, level);
238 errval_t monitor_delete_last(struct capref croot, capaddr_t cptr, int level, struct capref ret_cap)
245 return invoke_monitor_delete_last(root_addr, root_level, cptr, level,
251 capaddr_t cptr = get_cap_addr(cap);
253 return invoke_monitor_delete_foreigns(cptr, level);
256 errval_t monitor_revoke_mark_target(struct capref croot, capaddr_t cptr,
261 return invoke_monitor_revoke_mark_target(root_addr, root_level, cptr, level);