F36467D598AEF7
ICLASS:     UMONITOR
CATEGORY:   WAITPKG
EXTENSION:  WAITPKG
IFORM:      UMONITOR_GPRa
ISA_SET:    WAITPKG
ATTRIBUTES: NOTSX 
SHORT:      addr32 umonitor r23d