Constant x86::vmx::vmcs::control::PML_ADDR_HIGH[][src]

pub const PML_ADDR_HIGH: u32 = 0x200F;

PML address (high).