Home
last modified time | relevance | path

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

/hyp/interfaces/cspace/include/
A Dcspace.h35 cspace_copy_cap(cspace_t *target_cspace, cspace_t *parent_cspace,
/hyp/core/cspace_twolevel/src/
A Dcspace_tests.c104 cap_ret = cspace_copy_cap(test_cspace, test_cspace, in tests_cspace_start()
A Dhypercalls.c63 cspace_copy_cap(dest_cspace, src_cspace, src_cap, rights_mask); in hypercall_cspace_copy_cap_from()
A Dcspace_twolevel.c631 cspace_copy_cap(cspace_t *target_cspace, cspace_t *parent_cspace, in cspace_copy_cap() function

Completed in 12 milliseconds