Constant SEL4_BOOTINFO_HEADER_NUM 

pub const SEL4_BOOTINFO_HEADER_NUM: Type = 7;