Constant sel4::init_thread::slot::IRQ_CONTROL

source ยท 
pub const IRQ_CONTROL: Slot<IrqControl>;
Expand description

Corresponds to seL4_CapIRQControl.