Constant seL4_CapBootInfoFrame 

pub const seL4_CapBootInfoFrame: Type = 9;