INVVPID

REG0=GPR64_R():r:q:i64 MEM0:r:dq:i128

x86_64 X86_LEGACY VTX APX_F_VMX source: xed

XED_INVVPID_GPR64i64_MEMi128_APX

Encoding

encoding_kindX86_LEGACY
opcode_bytesF1
opcode_mapONEBYTE
mandatory_prefix-
has_modrmTrue
vex_l0
requires_modelong
attributesDISP8_NO_SCALE NOTSX RING0
exception_classAPX-EVEX-INVVPID
cpl0
raw_encodingEVV 0xF1 VF3 MAP4 MOD[mm] MOD!=3 REG[rrr] RM[nnn] MODRM() ND=0 NF=0 VL128 mode64 NOEVSR ZEROING=0 EVAPX()

Operands (2)

# Role Kind Class / Reg Width Access Visibility Encoded in
0 REG0 REG q R EXPLICIT MODRM_REG
1 MEM0 MEM R EXPLICIT MODRM_RM

Flag effects (4)

PF = SET_0 AF = SET_0 SF = SET_0 OF = SET_0

Micro-ops sequence (0)

No micro-ops authored for this encoding. Emulator semantics not yet defined — decoder still works.