VMXOFF
(no syntax)
x86_64 X86_LEGACY VTX VTX source: xed
XED_VMXOFF_X86_LEGACY_0F_01_273923
Encoding
| encoding_kind | X86_LEGACY |
| opcode_bytes | 01 |
| opcode_map | 0F |
| mandatory_prefix | - |
| has_modrm | True |
| modrm.reg = /0 | /0 |
| attributes | RING0 NOTSX |
| cpl | 0 |
| raw_encoding | 0x0F 0x01 MOD[0b11] MOD=3 REG[0b000] RM[0b100] no_refining_prefix |
Flag effects (6)
CF = WRITE
PF = WRITE
AF = WRITE
ZF = WRITE
SF = WRITE
OF = WRITE
Micro-ops sequence (0)
No micro-ops authored for this encoding. Emulator semantics not yet defined — decoder still works.