sel4_config::consts

Constant KERNEL_IRQ_CONTROLLER

Source 
pub const KERNEL_IRQ_CONTROLLER: &str = "IOAPIC";