Home
last modified time | relevance | path

Searched defs:SEFF0ECX_WAITPKG (Results 1 – 2 of 2) sorted by relevance

/openbsd/src/sys/arch/i386/include/
Dspecialreg.h193 #define SEFF0ECX_WAITPKG 0x00000020 /* UMONITOR/UMWAIT/TPAUSE insns */ macro
/openbsd/src/sys/arch/amd64/include/
Dspecialreg.h262 #define SEFF0ECX_WAITPKG 0x00000020 /* UMONITOR/UMWAIT/TPAUSE insns */ macro