pub const MEM_64BIT_DEVICES_SIZE: u64 = MMIO64_MEM_SIZE; // 274_877_906_944u64
Size of memory region for device MMIO 32-bit accesses