Constant x86_64::mptable::IO_APIC_DEFAULT_PHYS_BASE

pub const IO_APIC_DEFAULT_PHYS_BASE: u32 = 0xfec00000;