Constant SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER 

pub const SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER: Type = 4;