Symbol: acpi_gpe_task
sys/dev/acpi/acpi.c
2200
acpi_addtask(sc, acpi_gpe_task, NULL, gpe);
sys/dev/acpi/acpi.c
86
void acpi_gpe_task(void *, int);