Constant sel4_sys::seL4_RootCNodeCapSlots::seL4_CapInitThreadTCB

pub const seL4_CapInitThreadTCB: Type = 1;