sel4::init_thread::slot

Constant IRQ_CONTROL

Source 
pub const IRQ_CONTROL: Slot<IrqControl>;
Expand description

Corresponds to seL4_CapIRQControl.