Searched defs:src_cspace (Results 1 – 1 of 1) sorted by relevance

/hyp/core/cspace_twolevel/src/
A D	hypercalls.c	52 cspace_t *src_cspace = c.r; in hypercall_cspace_copy_cap_from() local 79 hypercall_cspace_revoke_cap_from(cap_id_t src_cspace, cap_id_t src_cap) in hypercall_cspace_revoke_cap_from() 87 hypercall_cspace_revoke_caps_from(cap_id_t src_cspace, cap_id_t master_cap) in hypercall_cspace_revoke_caps_from()

Completed in 12 milliseconds

Last Index update Fri Aug 22 02:37:17 CST 2025