Searched refs:mem_p_regs (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dboot_sys.h28 mem_p_regs_t mem_p_regs; /* physical memory regions */ member in struct:boot_state
H A Dboot.h15 typedef struct mem_p_regs { struct
32 mem_p_regs_t *mem_p_regs,
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c67 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 Dboot.c89 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 125 milliseconds