Symbol: CPUIDECX_PERFTSC
sys/arch/amd64/include/specialreg.h
361
#define CPUIDECX_PERFTSC 0x08000000 /* performance time-stamp counter */
sys/arch/i386/include/specialreg.h
273
#define CPUIDECX_PERFTSC 0x08000000 /* performance time-stamp counter */