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

/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/
H A Dpmem.c27 return data.mmap_length/sizeof(data.mmap[0]);
39 for (i = 0; i < max_length && i < (data.mmap_length/sizeof(mmap[0])); i++) {
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h46 uint32_t mmap_length; member in struct:multiboot_info::multiboot_part2
/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/
H A Dmultiboot.h135 multiboot_uint32_t mmap_length; member in struct:multiboot_info
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c225 static BOOT_CODE bool_t parse_mem_map(uint32_t mmap_length, uint32_t mmap_addr) argument
230 while ((word_t)mmap < (word_t)(mmap_addr + mmap_length)) {
563 if (!parse_mem_map(mbi->part2.mmap_length, mbi->part2.mmap_addr)) {
566 uint32_t multiboot_mmap_length = mbi->part2.mmap_length;
575 boot_state.mb_mmap_info.mmap_length = multiboot_mmap_length;
625 boot_state.mb_mmap_info.mmap_length = 0;
/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dmultiboot.c125 if (parsemem(mbi->mmap_addr, mbi->mmap_length) != 0)
/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h127 seL4_Uint32 mmap_length; member in struct:seL4_X86_BootInfo_mmap

Completed in 77 milliseconds