pub const PDPTE0_FULL: u32 = 0x280A;
Expand description

Guest PDPTE0 (full).