Constant KERNEL_MMIO_SIZE 

pub const KERNEL_MMIO_SIZE: u64 = _ /* 8_796_093_022_208u64 */;