Searched defs:create_it_address_space (Results 1 - 5 of 5) sorted by relevance

/seL4-mcs-10.1.1/src/arch/x86/32/kernel/
H A Dvspace.c442 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dvspace.c239 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A Dvspace.c697 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/
H A Dvspace.c553 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/
H A Dvspace.c490 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) function

Completed in 102 milliseconds