Searched refs:create_untypeds (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/src/arch/arm/kernel/
H A Dboot.c192 create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) function
521 if (!create_untypeds(
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dboot.c41 create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) function
367 if (!create_untypeds(
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c174 create_untypeds( function
491 if (!create_untypeds(root_cnode_cap, boot_mem_reuse_reg)) {

Completed in 27 milliseconds