cspace_get_cap_table (reference) in projects: hyp

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

/hyp/core/cspace_twolevel/src/
A D	cspace_twolevel.c	`52 cspace_get_cap_table(const cap_t cap) in cspace_get_cap_table() function 415 table = cspace_get_cap_table(cap); in cspace_free_cap_slot() 829 cspace_t curr_cspace = cspace_get_cap_table(curr_cap)->cspace; in cspace_revoke_caps()`

Completed in 5 milliseconds