CPUID_PERF_NBWGPPC
counter_bitwidth = __SHIFTOUT(descs[0], CPUID_PERF_NBWGPPC);
(uint32_t)__SHIFTOUT(descs[0], CPUID_PERF_NBWGPPC),