Symbol: tipmic_intr
sys/dev/acpi/tipmic.c
101
int tipmic_intr(void *);
sys/dev/acpi/tipmic.c
138
IPL_BIO, tipmic_intr, sc, sc->sc_dev.dv_xname);
sys/dev/acpi/tipmic.c
291
if (tipmic_intr(sc) == 1)