CPUID_PERF_NGPPC
return __SHIFTOUT(descs[0], CPUID_PERF_NGPPC);
if ((descs[0] & CPUID_PERF_NGPPC) == 0)
ncounter = __SHIFTOUT(descs[0], CPUID_PERF_NGPPC);