pub const GUEST_VA_SIZE: u64 = 0x4_4000_0000;
Total VA range reserved for the guest. Layout inside: [0, 4 GiB) javm program; [4, 5 GiB) JIT scratch; [5 GiB, 7 GiB) kernel (KERNEL_OFFSET); [7 GiB, end) scratch.