Symbol: pci_free_tsb
usr/src/uts/sun4u/io/pci/pcisch.c
107
pci_free_tsb(pci_p);
usr/src/uts/sun4u/sys/pci/pci_iommu.h
255
extern void pci_free_tsb(pci_t *pci_p);