UMONITOR

WAITPKG WAITPKG x86_64

3 encoding forms.

X86_UMONITOR_X86_LEGACY_0F_AE_139191
mem(ds:r32)
X86_LEGACY AE /6 WAITPKG
X86_UMONITOR_X86_LEGACY_0F_AE_981233
mem(ds:r64)
X86_LEGACY AE /6 WAITPKG
XED_UMONITOR_GPRa
REG0=A_GPR_B():r
X86_LEGACY AE /6 WAITPKG