cpuctl_cpuid_args_t
cpuctl_do_cpuid(cpu, (cpuctl_cpuid_args_t *)data);
cpuctl_do_cpuid(int cpu, cpuctl_cpuid_args_t *data)
cpuctl_cpuid_args_t args = {
static void cpuctl_do_cpuid(int cpu, cpuctl_cpuid_args_t *data);
#define CPUCTL_CPUID _IOWR('c', 3, cpuctl_cpuid_args_t)
cpuctl_cpuid_args_t idargs = {
cpuctl_cpuid_args_t idargs = {
cpuctl_cpuid_args_t idargs;
cpuctl_cpuid_args_t idargs;
cpuctl_cpuid_args_t args;
cpuctl_cpuid_args_t idargs = {
cpuctl_cpuid_args_t idargs = {
cpuctl_cpuid_args_t idargs = {
cpuctl_cpuid_args_t idargs = {