__vmx_vmptrst

Microsoft Specific

Stores the pointer to the current virtual-machine control structure (VMCS) at the specified address.

void __vmx_vmptrst( 
   unsigned __int64 *VmcsPhysicalAddress 
);

Parameters

• [in] *VmcsPhysicalAddress
  The address where the current VMCS pointer is stored.

Remarks

The VMCS pointer is a 64-bit physical address.

The __vmx_vmptrst function is equivalent to the VMPTRST machine instruction. This function supports the interaction of a host's virtual machine monitor with a guest operating system and its applications. For more information, search for the document, "Intel Virtualization Technical Specification for the IA-32 Intel Architecture," document number C97063-002, at the Intel Corporation site.

Requirements

Header file <intrin.h>

See Also

Reference

Compiler Intrinsics

__vmx_vmptrld