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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h130 } SEL4_PACKED seL4_X86_mb_mmap_t; typedef in typeref:struct:seL4_X86_mb_mmap
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.h130 } SEL4_PACKED seL4_X86_mb_mmap_t; typedef in typeref:struct:seL4_X86_mb_mmap
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 39 milliseconds