t2_pci_tbi        364 arch/alpha/kernel/core_t2.c 	t2_pci_tbi(hose, 0, -1); /* flush TLB all */
t2_pci_tbi         83 arch/alpha/kernel/proto.h extern void t2_pci_tbi(struct pci_controller *, dma_addr_t, dma_addr_t);