TPAUSE

WAITPKG WAITPKG x86_64

2 encoding forms.

X86_TPAUSE_X86_LEGACY_0F_AE_633877
r32,
X86_LEGACY AE /6 WAITPKG
XED_TPAUSE_GPR32u32
REG0=GPR32_B():r:d:u32 REG1=XED_REG_EDX:r:SUPP:d:u32 REG2=XED_REG_EAX:r:SUPP:d:u32
X86_LEGACY AE /6 WAITPKG