sdla_te_unconfig  953 dev/pci/if_san_te1.h EXTERN void sdla_te_unconfig(void *);
sdla_te_unconfig  560 dev/pci/if_san_xilinx.c 		sdla_te_unconfig(card);