marvel_pci_tbi    286 arch/alpha/kernel/core_marvel.c 	marvel_pci_tbi(hose, 0, -1);
marvel_pci_tbi    334 arch/alpha/kernel/core_marvel.c 	marvel_pci_tbi(hose, 0, -1);
marvel_pci_tbi     53 arch/alpha/kernel/proto.h extern void marvel_pci_tbi(struct pci_controller *, dma_addr_t, dma_addr_t);