Searched defs:boot_mem_reuse_reg (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c192 create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c41 create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
243 region_t boot_mem_reuse_reg = paddr_to_pptr_reg(boot_mem_reuse_p_reg); local
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c277 region_t boot_mem_reuse_reg = paddr_to_pptr_reg(boot_mem_reuse_p_reg); local
174 create_untypeds( cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c565 create_kernel_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg, seL4_SlotPos first_untyped_slot) argument

Completed in 48 milliseconds