Constant sel4::init_thread::slot::SC

source ยท 
pub const SC: Slot<SchedControl>;
Expand description

Corresponds to seL4_CapInitThreadSC.