t2_pci_tbi
t2_pci_tbi(hose, 0, -1); /* flush TLB all */
extern void t2_pci_tbi(struct pci_controller *, dma_addr_t, dma_addr_t);