x86::vmx::vmcs::control

Constant EXECUTIVE_VMCS_PTR_HIGH

Source 
pub const EXECUTIVE_VMCS_PTR_HIGH: u32 = 0x200D;
Expand description

Executive-VMCS pointer (high).