Symbol: pmc_cpu_is_disabled
sys/dev/cpuctl/cpuctl.c
104
return (pmc_cpu_is_disabled(cpu) == 0);
sys/sys/pmckern.h
253
int pmc_cpu_is_disabled(int _cpu); /* deprecated */