Symbol: acpicpu_do_setperf
sys/arch/arm64/dev/acpicpu.c
200
task_set(&acpicpu_setperf_task, acpicpu_do_setperf, NULL);
sys/arch/arm64/dev/acpicpu.c
72
void acpicpu_do_setperf(void *);