Symbol: igpio_acpi_intr
sys/dev/acpi/igpio_acpi.c
177
IPL_VM, false, igpio_acpi_intr, asc, device_xname(self));
sys/dev/acpi/igpio_acpi.c
60
static int igpio_acpi_intr(void *);