Symbol: cpuctl_do_cpuid
sys/dev/misc/cpuctl/cpuctl.c
118
cpuctl_do_cpuid(cpu, (cpuctl_cpuid_args_t *)data);
sys/dev/misc/cpuctl/cpuctl.c
236
cpuctl_do_cpuid(cpu, &args);
sys/dev/misc/cpuctl/cpuctl.c
66
static void cpuctl_do_cpuid(int cpu, cpuctl_cpuid_args_t *data);