VMPTRST

MEM0:w:q

x86_64 X86_LEGACY VTX VTX source: xed

XED_VMPTRST_X86_LEGACY_0F_C7_138516

Encoding

encoding_kindX86_LEGACY
opcode_bytesC7
opcode_map0F
mandatory_prefix-
has_modrmTrue
modrm.reg = /7/7
attributesRING0 NOTSX
cpl0
raw_encoding0x0F 0xC7 MOD[mm] MOD!=3 REG[0b111] RM[nnn] no_refining_prefix MODRM()

Operands (1)

# Role Kind Class / Reg Width Access Visibility Encoded in
0 MEM0 MEM w W EXPLICIT MODRM_RM

Flag effects (6)

CF = WRITE PF = SET_0 AF = SET_0 ZF = WRITE 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.