Searched refs:boot_mem_reuse_reg (Results 1 - 5 of 5) sorted by relevance
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | boot.c | 72 region_t boot_mem_reuse_reg)
79 create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
128 region_t boot_mem_reuse_reg = paddr_to_pptr_reg(boot_mem_reuse_p_reg); local
343 if (!create_untypeds(root_cnode_cap, boot_mem_reuse_reg)) {
70 create_untypeds( cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
|
| /seL4-refos-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 35 BOOT_CODE static bool_t create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
42 bool_t res = create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
206 region_t boot_mem_reuse_reg = paddr_to_pptr_reg(boot_mem_reuse_p_reg); local
388 boot_mem_reuse_reg)) {
|
| /seL4-refos-master/kernel/include/kernel/ |
| H A D | boot.h | 64 bool_t create_kernel_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg, seL4_SlotPos first_untyped_slot);
|
| /seL4-refos-master/kernel/src/arch/arm/kernel/ |
| H A D | boot.c | 141 BOOT_CODE static bool_t create_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg) argument
148 create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
|
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | boot.c | 656 BOOT_CODE bool_t create_kernel_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg, argument
662 /* if boot_mem_reuse_reg is not empty, we can create UT objs from boot code/data frames */
663 if (!create_untypeds_for_region(root_cnode_cap, false, boot_mem_reuse_reg, first_untyped_slot)) {
|
Completed in 81 milliseconds