Home
last modified time | relevance | path

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

/hyp/interfaces/cspace/include/
A Dcspace.h42 cspace_revoke_caps(cspace_t *cspace, cap_id_t master_cap_id);
/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c767 cspace_revoke_caps(cspace_t *cspace, cap_id_t master_cap_id) in cspace_revoke_caps() argument
776 err = cspace_lookup_cap_slot(cspace, master_cap_id, &master_cap); in cspace_revoke_caps()

Completed in 13 milliseconds