Intel 64 and IA-32 Architectures Software Developers Manual Volume 1, Basic Architecture
5-32 Vol. 1
INSTRUCTION SET SUMMARY
the VMCS have been written to the VMCS-data area in the refer-
enced VMCS region.
VMREAD Reads a component from the VMCS (the encoding of that field is
given in a register operand) and stores it into a destination
operand.
VMWRITE Writes a component to the VMCS (the encoding of that field is
given in a register operand) from a source operand.
The behavior of the VMX management instructions is summarized below:
VMCALL Allows a guest in VMX non-root operation to call the VMM for
service. A VM exit occurs, transferring control to the VMM.
VMLAUNCH Launches a virtual machine managed by the VMCS. A VM entry
occurs, transferring control to the VM.
VMRESUME Resumes a virtual machine managed by the VMCS. A VM entry
occurs, transferring control to the VM.
VMXOFF Causes the processor to leave VMX operation.
VMXON Takes a single 64-bit source operand in memory. It causes a
logical processor to enter VMX root operation and to use the
memory referenced by the operand to support VMX operation.