Constant sel4::init_thread::slot::IRQ_CONTROL

source · 
pub const IRQ_CONTROL: Slot<IrqControl>;