pub const ADDRESS_SPACE_END: u64 = _; // 4_294_967_296u64
One past the highest guest address: the 4 GiB limit of the 32-bit PVM2 address space.