Symbol: CPUIDECX_OSVW
sys/arch/amd64/include/specialreg.h
345
#define CPUIDECX_OSVW 0x00000200 /* OS visible workaround */
sys/arch/i386/include/specialreg.h
257
#define CPUIDECX_OSVW 0x00000200 /* OS visible workaround */