cpuctl_do_cpuid_count
ret = cpuctl_do_cpuid_count(cpu,
error = cpuctl_do_cpuid_count(cpu, &cdata, td);
static int cpuctl_do_cpuid_count(int cpu, cpuctl_cpuid_count_args_t *data,