Home
last modified time | relevance | path

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

/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c829 cspace_t *curr_cspace = cspace_get_cap_table(curr_cap)->cspace; in cspace_revoke_caps() local
830 spinlock_acquire_nopreempt(&curr_cspace->revoked_cap_list_lock); in cspace_revoke_caps()
837 list_insert_at_head(&curr_cspace->revoked_cap_list, in cspace_revoke_caps()
839 spinlock_release_nopreempt(&curr_cspace->revoked_cap_list_lock); in cspace_revoke_caps()

Completed in 9 milliseconds