INVEPT

VTX APX_F_VMX x86_64

4 encoding forms.

X86_INVEPT_X86_LEGACY_0F38_80_809584
r64, m128
X86_LEGACY 80 /r VMX
X86_INVEPT_X86_LEGACY_0F38_80_892334
r32, m128
X86_LEGACY 80 /r VMX
XED_INVEPT_GPR64i64_MEMi128_APX
REG0=GPR64_R():r:q:i64 MEM0:r:dq:i128
X86_LEGACY F0 /r APX_F_VMX
XED_INVEPT_X86_LEGACY_0F38_80_420377
REG0=GPR64_R():r MEM0:r:dq REG0=GPR32_R():r MEM0:r:dq
X86_LEGACY 80 0F 38 80 /r VTX