bocaintr           65 dev/isa/boca.c int bocaintr(void *);
bocaintr          176 dev/isa/boca.c 	    IPL_TTY, bocaintr, sc, sc->sc_dev.dv_xname);