Searched refs:SEL4_MULTIBOOT_MAX_MMAP_ENTRIES (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h16 #define SEL4_MULTIBOOT_MAX_MMAP_ENTRIES 50 macro
135 seL4_X86_mb_mmap_t mmap[SEL4_MULTIBOOT_MAX_MMAP_ENTRIES];
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h16 #define SEL4_MULTIBOOT_MAX_MMAP_ENTRIES 50 macro
135 seL4_X86_mb_mmap_t mmap[SEL4_MULTIBOOT_MAX_MMAP_ENTRIES];
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c624 if (multiboot_mmap_length > (SEL4_MULTIBOOT_MAX_MMAP_ENTRIES * sizeof(seL4_X86_mb_mmap_t))) {
625 multiboot_mmap_length = SEL4_MULTIBOOT_MAX_MMAP_ENTRIES * sizeof(seL4_X86_mb_mmap_t);
629 multiboot_mmap_length / sizeof(seL4_X86_mb_mmap_t), SEL4_MULTIBOOT_MAX_MMAP_ENTRIES);

Completed in 15 milliseconds