cpuctl_cpuid_count_args_t
(cpuctl_cpuid_count_args_t *)data, td);
cpuctl_do_cpuid_count(int cpu, cpuctl_cpuid_count_args_t *data,
cpuctl_cpuid_count_args_t cdata;
static int 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;