VMFUNC

VTX VMFUNC x86_64

2 encoding forms.

X86_VMFUNC_X86_LEGACY_0F_01_0
(no syntax)
X86_LEGACY 01 VMX
XED_VMFUNC_X86_LEGACY_0F_01_307387
REG0=XED_REG_EAX:r:SUPP
X86_LEGACY 01 /2 VMFUNC