Constant sel4_sys::seL4_BootInfoID::SEL4_BOOTINFO_HEADER_X86_MBMMAP

source ยท 
pub const SEL4_BOOTINFO_HEADER_X86_MBMMAP: Type = 2;