Constant SEL4_BOOTINFO_HEADER_X86_MBMMAP

pub const SEL4_BOOTINFO_HEADER_X86_MBMMAP: Type = 2;