MAX_NUM_IOAPIC

sel4_config::consts

Constant MAX_NUM_IOAPIC 

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