x86::vmx::vmcs::control

Constant EXECUTIVE_VMCS_PTR_FULL

Source 
pub const EXECUTIVE_VMCS_PTR_FULL: u32 = 0x200C;
Expand description

Executive-VMCS pointer (full).