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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dboot.h46 seL4_X86_BootInfo_fb_t *fb_info
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dbootinfo_types.h138 typedef struct multiboot2_fb seL4_X86_BootInfo_fb_t; typedef in typeref:struct:multiboot2_fb
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h138 typedef struct multiboot2_fb seL4_X86_BootInfo_fb_t; typedef in typeref:struct:multiboot2_fb
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c257 seL4_X86_BootInfo_fb_t *fb_info
H A Dboot_sys.c76 seL4_X86_BootInfo_fb_t fb_info; /* framebuffer information as set by bootloader */

Completed in 107 milliseconds