Searched refs:new_cap (Results 1 – 3 of 3) sorted by relevance
| /hyp/core/partition_standard/src/ |
| A D | hypercalls.c | 22 .new_cap = CSPACE_CAP_INVALID, in hypercall_partition_create_partition()
|
| /hyp/core/cspace_twolevel/src/ |
| A D | cspace_twolevel.c | 593 cap_t *new_cap; in cspace_create_master_cap() local
612 err = cspace_allocate_cap_slot(cspace, &new_cap, &new_cap_id); in cspace_create_master_cap()
618 list_insert_at_head(&header->cap_list, &new_cap->cap_list_node); in cspace_create_master_cap()
619 atomic_store_release(&new_cap->data, cap_data); in cspace_create_master_cap()
635 cap_t *new_cap, *parent_cap; in cspace_copy_cap() local
653 cspace_free_cap_slot(target_cspace, new_cap); in cspace_copy_cap()
662 cspace_free_cap_slot(target_cspace, new_cap); in cspace_copy_cap()
668 cspace_free_cap_slot(target_cspace, new_cap); in cspace_copy_cap()
685 atomic_store_relaxed(&new_cap->data, cap_data); in cspace_copy_cap()
688 &new_cap->cap_list_node); in cspace_copy_cap()
[all …]
|
| A D | hypercalls.c | 66 ret.new_cap = new.r; in hypercall_cspace_copy_cap_from()
|
Completed in 20 milliseconds