sel4_config::consts

Constant IRQ_IOAPIC

Source 
pub const IRQ_IOAPIC: bool = true;