Symbol: acpi_task_thread_schedule
sys/dev/acpica/acpi.c
757
acpi_task_thread_schedule();
sys/dev/acpica/acpivar.h
506
void acpi_task_thread_schedule(void);