IRQ_IOAPIC

sel4_config::consts

Constant IRQ_IOAPIC 

Source 
pub const IRQ_IOAPIC: bool = true;