Home
last modified time | relevance | path

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

/hyp/platform/soc_qemu/src/
A Dboot.c95 memextent_memtype_t memtype, cap_id_t *new_cap_id) in create_memextent() argument
138 *new_cap_id = capid_ret.r; in create_memextent()
/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c595 cap_id_t new_cap_id; in cspace_create_master_cap() local
612 err = cspace_allocate_cap_slot(cspace, &new_cap, &new_cap_id); in cspace_create_master_cap()
620 ret = cap_id_result_ok(new_cap_id); in cspace_create_master_cap()
637 cap_id_t new_cap_id; in cspace_copy_cap() local
645 err = cspace_allocate_cap_slot(target_cspace, &new_cap, &new_cap_id); in cspace_copy_cap()
694 ret = cap_id_result_ok(new_cap_id); in cspace_copy_cap()
/hyp/vm/rootvm_package/src/
A Dpackage.c40 paddr_t phys_base, size_t size, cap_id_t *new_cap_id, in create_memextent() argument
79 *new_cap_id = capid_ret.r; in create_memextent()

Completed in 15 milliseconds