sel4_config::consts

Constant MAX_NUM_IOAPIC

Source 
pub const MAX_NUM_IOAPIC: &str = "1";