Searched refs:src_cspace_cap (Results 1 – 1 of 1) sorted by relevance

/hyp/core/cspace_twolevel/src/
A D	hypercalls.c	40 hypercall_cspace_copy_cap_from(cap_id_t src_cspace_cap, cap_id_t src_cap, in hypercall_cspace_copy_cap_from() argument 46 c = cspace_lookup_cspace(cspace_get_self(), src_cspace_cap, in hypercall_cspace_copy_cap_from()

Completed in 5 milliseconds

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