Symbol: update_intel
sys/dev/misc/cpuctl/cpuctl.c
242
ret = update_intel(cpu, data);
sys/dev/misc/cpuctl/cpuctl.c
69
static int update_intel(int cpu, cpuctl_update_args_t *args);