Home
last modified time | relevance | path

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

/hyp/core/cspace_twolevel/src/
A Dcspace_tests.c130 err = cspace_delete_cap(test_cspace, cap[i]); in tests_cspace_start()
139 err = cspace_delete_cap(test_cspace, test_cspace_master_cap); in tests_cspace_start()
152 err = cspace_delete_cap(test_cspace, cap[i]); in tests_cspace_start()
A Dhypercalls.c32 ret = cspace_delete_cap(cspace, cap); in hypercall_cspace_delete_cap_from()
A Dcspace_twolevel.c706 cspace_delete_cap(cspace_t *cspace, cap_id_t cap_id) in cspace_delete_cap() function
/hyp/interfaces/cspace/include/
A Dcspace.h39 cspace_delete_cap(cspace_t *cspace, cap_id_t cap_id);

Completed in 11 milliseconds