npxintr           100 arch/i386/isa/npx.c int npxintr(void *);
npxintr           376 arch/i386/isa/npx.c 		    IST_EDGE, IPL_NONE, npxintr, 0, sc->sc_dev.dv_xname);