Home
last modified time | relevance | path

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

/hyp/core/cspace_twolevel/src/
A Dhypercalls.c87 hypercall_cspace_revoke_caps_from(cap_id_t src_cspace, cap_id_t master_cap) in hypercall_cspace_revoke_caps_from() argument
99 ret = cspace_revoke_caps(cspace, master_cap); in hypercall_cspace_revoke_caps_from()
A Dcspace_twolevel.c770 cap_t *master_cap; in cspace_revoke_caps() local
776 err = cspace_lookup_cap_slot(cspace, master_cap_id, &master_cap); in cspace_revoke_caps()
781 master_cap_data = atomic_load_consume(&master_cap->data); in cspace_revoke_caps()
797 err = cspace_update_cap_slot(master_cap, &master_cap_data, in cspace_revoke_caps()
807 assert(list_get_head(list) == &master_cap->cap_list_node); in cspace_revoke_caps()
813 if (curr_cap == master_cap) { in cspace_revoke_caps()

Completed in 11 milliseconds