Searched defs:src_cap (Results 1 – 1 of 1) sorted by relevance
40 hypercall_cspace_copy_cap_from(cap_id_t src_cspace_cap, cap_id_t src_cap, in hypercall_cspace_copy_cap_from()79 hypercall_cspace_revoke_cap_from(cap_id_t src_cspace, cap_id_t src_cap) in hypercall_cspace_revoke_cap_from()
Completed in 9 milliseconds