x86::vmx::vmcs::control
pub const VMEXIT_MSR_STORE_ADDR_HIGH: u32 = 0x2007;
VM-exit MSR-store address (high).