Searched refs:mem_p_regs (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | boot_sys.h | 28 mem_p_regs_t mem_p_regs; /* physical memory regions */ member in struct:boot_state
|
H A D | boot.h | 15 typedef struct mem_p_regs { struct 32 mem_p_regs_t *mem_p_regs,
|
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 67 for (i = 0; i < boot_state.mem_p_regs.count; i++) { 68 paddr_t start = MAX(min_paddr, boot_state.mem_p_regs.list[i].start); 69 paddr_t end = boot_state.mem_p_regs.list[i].end; 181 &boot_state.mem_p_regs, 206 if (boot_state.mem_p_regs.count == MAX_NUM_FREEMEM_REG) { 216 boot_state.mem_p_regs.list[boot_state.mem_p_regs.count] = reg; 217 boot_state.mem_p_regs.count++; 561 boot_state.mem_p_regs.count = 0; 624 boot_state.mem_p_regs [all...] |
H A D | boot.c | 89 mem_p_regs_t *mem_p_regs, word_t extra_bi_size_bits) 93 init_freemem(mem_p_regs->count, mem_p_regs->list, MAX_RESERVED, reserved, v_reg, extra_bi_size_bits); 100 mem_p_regs_t *mem_p_regs, 167 arch_init_freemem(ui_info.p_reg, it_v_reg, mem_p_regs, extra_bi_size_bits); 88 arch_init_freemem(p_region_t ui_p_reg, v_region_t v_reg, mem_p_regs_t *mem_p_regs, word_t extra_bi_size_bits) argument 98 init_sys_state( cpu_id_t cpu_id, mem_p_regs_t *mem_p_regs, ui_info_t ui_info, p_region_t boot_mem_reuse_p_reg, uint32_t num_drhu, paddr_t *drhu_list, acpi_rmrr_list_t *rmrr_list, acpi_rsdp_t *acpi_rsdp, seL4_X86_BootInfo_VBE *vbe, seL4_X86_BootInfo_mmap_t *mb_mmap, seL4_X86_BootInfo_fb_t *fb_info ) argument
|
Completed in 36 milliseconds