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