Searched refs: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() argument63 cspace_copy_cap(dest_cspace, src_cspace, src_cap, rights_mask); 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() argument82 (void)src_cap; in hypercall_cspace_revoke_cap_from()
Completed in 8 milliseconds