tsunami_pci_tbi   352 arch/alpha/kernel/core_tsunami.c 	tsunami_pci_tbi(hose, 0, -1);
tsunami_pci_tbi    98 arch/alpha/kernel/proto.h extern void tsunami_pci_tbi(struct pci_controller *, dma_addr_t, dma_addr_t);