Skip to main content

MAX_GPA

Constant MAX_GPA 

Source
pub const MAX_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.