pub const VA_MASK: u64 = 0x0000_00FF_FFFF_FFFF;Expand description
The bits of a virtual address that EntryHi.VPN2 can hold: VA(39:0).
Everything above is either the R region field or sign extension, neither of
which belongs in a VPN2 comparison.