Searched refs:create_it_address_space (Results 1 - 11 of 11) sorted by relevance
/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/ |
H A D | vspace.h | 17 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 14 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 66 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
|
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | boot.c | 253 it_vspace_cap = create_it_address_space(root_cnode_cap, it_v_reg);
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 296 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
|
H A D | vspace.c | 262 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
|
/seL4-camkes-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 434 it_pd_cap = create_it_address_space(root_cnode_cap, it_v_reg);
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 433 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 690 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 533 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 470 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
|
Completed in 137 milliseconds