rtfpsintr          67 dev/isa/rtfps.c int rtfpsintr(void *);
rtfpsintr         192 dev/isa/rtfps.c 	    IPL_TTY, rtfpsintr, sc, sc->sc_dev.dv_xname);