UMWAIT

WAITPKG WAITPKG x86_64

2 encoding forms.

X86_UMWAIT_X86_LEGACY_0F_AE_633877
r32,
X86_LEGACY AE /6 WAITPKG
XED_UMWAIT_GPR32
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