Symbol: SEFF0ECX_WAITPKG
sys/arch/amd64/include/specialreg.h
262
#define SEFF0ECX_WAITPKG 0x00000020 /* UMONITOR/UMWAIT/TPAUSE insns */
sys/arch/i386/include/specialreg.h
193
#define SEFF0ECX_WAITPKG 0x00000020 /* UMONITOR/UMWAIT/TPAUSE insns */