cpuctl_do_cpuid
ret = cpuctl_do_cpuid(cpu, (cpuctl_cpuid_args_t *)data, td);
ret = cpuctl_do_cpuid(cpu, &args, td);
static int cpuctl_do_cpuid(int cpu, cpuctl_cpuid_args_t *data,