Symbol: rktemp_intr
sys/dev/fdt/rktemp.c
297
int rktemp_intr(void *);
sys/dev/fdt/rktemp.c
346
rktemp_intr, sc, sc->sc_dev.dv_xname);