sel4_sys::seL4_RootCNodeCapSlots

Constant seL4_CapBootInfoFrame

Source 
pub const seL4_CapBootInfoFrame: Type = 9;