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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dboot.h44 seL4_X86_BootInfo_VBE *vbe,
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c255 seL4_X86_BootInfo_VBE *vbe,
290 extra_bi_size += sizeof(seL4_X86_BootInfo_VBE);
347 vbe->header.len = sizeof(seL4_X86_BootInfo_VBE);
348 memcpy((void*)(extra_bi_region.start + extra_bi_offset), vbe, sizeof(seL4_X86_BootInfo_VBE));
349 extra_bi_offset += sizeof(seL4_X86_BootInfo_VBE);
H A Dboot_sys.c74 seL4_X86_BootInfo_VBE vbe_info; /* Potential VBE information from multiboot */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h119 } SEL4_PACKED seL4_X86_BootInfo_VBE; typedef in typeref:struct:_seL4_X86_BootInfo_VBE
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h119 } SEL4_PACKED seL4_X86_BootInfo_VBE; typedef in typeref:struct:_seL4_X86_BootInfo_VBE

Completed in 22 milliseconds