INVVPID

VTX APX_F_VMX x86_64

4 encoding forms.

X86_INVVPID_X86_LEGACY_0F38_81_809584
r64, m128
X86_LEGACY 81 /r VMX
X86_INVVPID_X86_LEGACY_0F38_81_892334
r32, m128
X86_LEGACY 81 /r VMX
XED_INVVPID_GPR64i64_MEMi128_APX
REG0=GPR64_R():r:q:i64 MEM0:r:dq:i128
X86_LEGACY F1 /r APX_F_VMX
XED_INVVPID_X86_LEGACY_0F38_81_454466
REG0=GPR64_R():r MEM0:r:dq REG0=GPR32_R():r MEM0:r:dq
X86_LEGACY 81 0F 38 81 /r VTX