cpuctl_cpuid_count_args_t
cpuctl_do_cpuid_count(cpu, (cpuctl_cpuid_count_args_t *)data);
cpuctl_do_cpuid_count(int cpu, cpuctl_cpuid_count_args_t *data)
cpuctl_cpuid_count_args_t cdata;
static void cpuctl_do_cpuid_count(int cpu, cpuctl_cpuid_count_args_t *data);
#define CPUCTL_CPUID_COUNT _IOWR('c', 7, cpuctl_cpuid_count_args_t)
cpuctl_cpuid_count_args_t args;