Constant sel4::init_thread::slot::TCB

source ยท 
pub const TCB: Slot<Tcb>;
Expand description

Corresponds to seL4_CapInitThreadTCB.