[][src]Constant x86::vmx::vmcs::guest::PDPTE3_HIGH

pub const PDPTE3_HIGH: u32 = 0x2811;

Guest PDPTE3 (high).