Searched refs:master_cap_data (Results 1 – 1 of 1) sorted by relevance
771 cap_data_t master_cap_data; in cspace_revoke_caps() local781 master_cap_data = atomic_load_consume(&master_cap->data); in cspace_revoke_caps()782 err = cspace_check_cap_data(master_cap_data, OBJECT_TYPE_ANY, 0U); in cspace_revoke_caps()786 if (!cap_info_get_master_cap(&master_cap_data.info)) { in cspace_revoke_caps()791 header = object_get_header(cap_info_get_type(&master_cap_data.info), in cspace_revoke_caps()792 master_cap_data.object); in cspace_revoke_caps()797 err = cspace_update_cap_slot(master_cap, &master_cap_data, in cspace_revoke_caps()798 master_cap_data); in cspace_revoke_caps()
Completed in 15 milliseconds