sdla_t1_rx_intr  1353 dev/pci/if_san_te1.c static void sdla_t1_rx_intr(sdla_t *);
sdla_t1_rx_intr  2832 dev/pci/if_san_te1.c 		sdla_t1_rx_intr(card);