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

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h47 uint32_t mmap_addr; member in struct:multiboot_info::multiboot_part2
/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/
H A Dmultiboot.h136 multiboot_uint32_t mmap_addr; member in struct:multiboot_info
/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dmultiboot.c125 if (parsemem(mbi->mmap_addr, mbi->mmap_length) != 0)
/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
227 multiboot_mmap_t *mmap = (multiboot_mmap_t *)((word_t)mmap_addr);
230 while ((word_t)mmap < (word_t)(mmap_addr + mmap_length)) {
563 if (!parse_mem_map(mbi->part2.mmap_length, mbi->part2.mmap_addr)) {
574 memcpy(&boot_state.mb_mmap_info.mmap, (void *)(word_t)mbi->part2.mmap_addr, multiboot_mmap_length);

Completed in 47 milliseconds