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