tht_intr          504 dev/pci/if_tht.c int			tht_intr(void *);
tht_intr          769 dev/pci/if_tht.c 	    IPL_NET, tht_intr, sc, DEVNAME(sc));