Home
last modified time | relevance | path

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

/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c817 cap_data_t curr_cap_data = atomic_load_relaxed(&curr_cap->data); in cspace_revoke_caps() local
819 cap_info_set_state(&curr_cap_data.info, CAP_STATE_REVOKED); in cspace_revoke_caps()
824 curr_cap_data.object = (object_ptr_t){ 0 }; in cspace_revoke_caps()
834 atomic_store_relaxed(&curr_cap->data, curr_cap_data); in cspace_revoke_caps()

Completed in 9 milliseconds