pub const MAX_GVA: usize = 0xffff_ffff_ffff_efff;
We have this the top of the page below the top of memory in order to make working with start/end ptrs in a few places more convenient (not needing to worry about overflow)