Constant SEL4_BOOTINFO_HEADER_X86_VBE 

pub const SEL4_BOOTINFO_HEADER_X86_VBE: Type = 1;