sel4_sys::seL4_RootCNodeCapSlots

Constant seL4_CapInitThreadSC

Source 
pub const seL4_CapInitThreadSC: Type = 14;