x86::vmx::vmcs::guest

Constant PDPTE2_HIGH

Source 
pub const PDPTE2_HIGH: u32 = 0x280F;
Expand description

Guest PDPTE2 (high).