Home
last modified time | relevance | path

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

/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c810 cap_t *curr_cap = NULL; in cspace_revoke_caps() local
812 list_foreach_container_maydelete (curr_cap, list, cap, cap_list_node) { in cspace_revoke_caps()
813 if (curr_cap == master_cap) { in cspace_revoke_caps()
817 cap_data_t curr_cap_data = atomic_load_relaxed(&curr_cap->data); in cspace_revoke_caps()
829 cspace_t *curr_cspace = cspace_get_cap_table(curr_cap)->cspace; in cspace_revoke_caps()
834 atomic_store_relaxed(&curr_cap->data, curr_cap_data); in cspace_revoke_caps()
836 &curr_cap->cap_list_node); in cspace_revoke_caps()
838 &curr_cap->cap_list_node); in cspace_revoke_caps()

Completed in 6 milliseconds