Symbol: cpuctl_do_cpuid_count
sys/dev/misc/cpuctl/cpuctl.c
128
cpuctl_do_cpuid_count(cpu, (cpuctl_cpuid_count_args_t *)data);
sys/dev/misc/cpuctl/cpuctl.c
170
cpuctl_do_cpuid_count(cpu, &cdata);
sys/dev/misc/cpuctl/cpuctl.c
67
static void cpuctl_do_cpuid_count(int cpu, cpuctl_cpuid_count_args_t *data);