Constant sel4_sys::seL4_BootInfoID::SEL4_BOOTINFO_HEADER_PADDING

pub const SEL4_BOOTINFO_HEADER_PADDING: Type = 0;