nxe_intr          710 dev/pci/if_nxe.c int			nxe_intr(void *);
nxe_intr          883 dev/pci/if_nxe.c 	    nxe_intr, sc, DEVNAME(sc));