Symbol: acpi_ged_intr
sys/dev/acpi/acpi_ged.c
51
static int acpi_ged_intr(void *);
sys/dev/acpi/acpi_ged.c
85
acpi_ged_intr, ev, device_xname(dev));