Constant sel4::init_thread::slot::SC

source · 
pub const SC: Slot<SchedControl>;