Searched refs:seL4_X86_BootInfo_mmap_t (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dboot.h45 seL4_X86_BootInfo_mmap_t *mb_mmap,
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h136 } SEL4_PACKED seL4_X86_BootInfo_mmap_t; typedef in typeref:struct:seL4_X86_BootInfo_mmap
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h136 } SEL4_PACKED seL4_X86_BootInfo_mmap_t; typedef in typeref:struct:seL4_X86_BootInfo_mmap
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c256 seL4_X86_BootInfo_mmap_t *mb_mmap,
299 word_t mb_mmap_size = sizeof(seL4_X86_BootInfo_mmap_t);
H A Dboot_sys.c75 seL4_X86_BootInfo_mmap_t mb_mmap_info; /* memory map information from multiboot */

Completed in 21 milliseconds