Searched refs:cap_data (Results 1 – 1 of 1) sorted by relevance
450 cap_data_t cap_data; in cspace_lookup_object() local495 cap_data_t cap_data; in cspace_lookup_object_any() local594 cap_data_t cap_data; in cspace_create_master_cap() local602 cap_data.object = object; in cspace_create_master_cap()605 cap_info_init(&cap_data.info); in cspace_create_master_cap()607 cap_info_set_type(&cap_data.info, type); in cspace_create_master_cap()636 cap_data_t cap_data; in cspace_copy_cap() local674 cap_data.object); in cspace_copy_cap()679 err = cspace_update_cap_slot(parent_cap, &cap_data, cap_data); in cspace_copy_cap()682 cap_data.rights = masked_rights; in cspace_copy_cap()[all …]
Completed in 14 milliseconds