pub const MEM_32BIT_DEVICES_START: u64 = _; // 3_221_229_568u64
Beginning of memory region for device MMIO 32-bit accesses