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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dmultiboot.h52 uint32_t mmap_length; member in struct:multiboot_info::multiboot_part2
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c279 parse_mem_map(uint32_t mmap_length, uint32_t mmap_addr) argument
284 while ((word_t)mmap < (word_t)(mmap_addr + mmap_length)) {
620 if (!parse_mem_map(mbi->part2.mmap_length, mbi->part2.mmap_addr)) {
623 uint32_t multiboot_mmap_length = mbi->part2.mmap_length;
632 boot_state.mb_mmap_info.mmap_length = multiboot_mmap_length;
684 boot_state.mb_mmap_info.mmap_length = 0;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h134 seL4_Uint32 mmap_length; member in struct:seL4_X86_BootInfo_mmap
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h134 seL4_Uint32 mmap_length; member in struct:seL4_X86_BootInfo_mmap

Completed in 98 milliseconds