pub const SCRATCH_TOP_GPA: usize = 0x0000_000f_ffff_ffff;Expand description
We assume 36-bit IPAs for now, since every amd64 processor supports at least 36 bits. Almost all of them support at least 40 bits, so we could consider bumping this in the future if we were ever memory-constrained.