Lines Matching defs:domcapref
25 struct domcapref capref;
73 move_request(struct domcapref capref, struct capability *cap, uint8_t relations,
197 struct domcapref domcapref = get_cap_domref(*capref);
204 err = monitor_lock_cap(domcapref.croot, domcapref.cptr, domcapref.level);
209 err = monitor_set_domcap_owner(domcapref, my_core_id);
214 err = monitor_domcap_remote_relations(domcapref.croot, domcapref.cptr,
215 domcapref.level, relations,
225 err = capsend_update_owner(domcapref, MKCONT(free_owner_recv_cap, capref));
234 send_err = monitor_set_domcap_owner(domcapref, from);
240 send_err = monitor_unlock_cap(domcapref.croot, domcapref.cptr,
241 domcapref.level);
280 capops_move(struct domcapref capref, coreid_t dest, move_result_handler_t result_handler,