sel4::init_thread::slot

Constant TCB

Source 
pub const TCB: Slot<Tcb>;
Expand description

Corresponds to seL4_CapInitThreadTCB.