TPAUSE
REG0=GPR32_B():r:d:u32 REG1=XED_REG_EDX:r:SUPP:d:u32 REG2=XED_REG_EAX:r:SUPP:d:u32
x86_64 X86_LEGACY WAITPKG WAITPKG source: xed
XED_TPAUSE_GPR32u32
Encoding
| encoding_kind | X86_LEGACY |
| opcode_bytes | AE |
| opcode_map | 0F |
| mandatory_prefix | - |
| has_modrm | True |
| modrm.reg = /6 | /6 |
| cpl | 3 |
| raw_encoding | 0x0F 0xAE MOD[0b11] MOD=3 REG[0b110] RM[nnn] osz_refining_prefix |
Operands (3)
| # | Role | Kind | Class / Reg | Width | Access | Visibility | Encoded in |
|---|---|---|---|---|---|---|---|
| 0 | REG0 | REG | d | R | EXPLICIT | MODRM_REG | |
| 1 | REG1 | REG | (=EDX) | d | R | SUPPRESSED | MODRM_REG |
| 2 | REG2 | REG | (=EAX) | d | R | SUPPRESSED | MODRM_REG |
Flag effects (6)
CF = WRITE
PF = SET_0
AF = SET_0
ZF = 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.