Symbol: CPUID_IBSID
sys/dev/hwpmc/hwpmc_ibs.c
589
if (cpu_exthigh >= CPUID_IBSID) {
sys/dev/hwpmc/hwpmc_ibs.c
590
do_cpuid(CPUID_IBSID, regs);