x86::vmx::vmcs::guest

Constant PDPTE0_HIGH

Source 
pub const PDPTE0_HIGH: u32 = 0x280B;
Expand description

Guest PDPTE0 (high).