SEAMRET
(no syntax)
x86_64 X86_LEGACY LEGACY TDX source: xed
XED_SEAMRET
Encoding
| encoding_kind | X86_LEGACY |
| opcode_bytes | 01 |
| opcode_map | 0F |
| mandatory_prefix | - |
| has_modrm | True |
| modrm.reg = /1 | /1 |
| requires_mode | long |
| attributes | NOTSX RING0 |
| cpl | 0 |
| raw_encoding | 0x0F 0x01 MOD[0b11] MOD=3 REG[0b001] RM[0b101] mode64 osz_refining_prefix REFINING66() |
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.