Searched refs:cspace_check_cap_data (Results 1 – 1 of 1) sorted by relevance
| /hyp/core/cspace_twolevel/src/ |
| A D | cspace_twolevel.c | 182 cspace_check_cap_data(cap_data_t data, object_type_t type, cap_rights_t rights) in cspace_check_cap_data() function
464 err = cspace_check_cap_data(cap_data, type, rights); in cspace_lookup_object()
514 err = cspace_check_cap_data(cap_data, OBJECT_TYPE_ANY, in cspace_lookup_object_any()
660 err = cspace_check_cap_data(cap_data, OBJECT_TYPE_ANY, 0U); in cspace_copy_cap()
782 err = cspace_check_cap_data(master_cap_data, OBJECT_TYPE_ANY, 0U); in cspace_revoke_caps()
|
Completed in 8 milliseconds