sel4::init_thread::slot

Constant SC

Source 
pub const SC: Slot<SchedControl>;
Expand description

Corresponds to seL4_CapInitThreadSC.