Constant IOAPIC_DEVICE_MMIO_REGION_BASE_ADDRESS 

pub const IOAPIC_DEVICE_MMIO_REGION_BASE_ADDRESS: u64 = 0xfec00000;