pci_flush_tlb     209 arch/alpha/include/asm/core_wildfire.h 	wildfire_64	pci_flush_tlb;
pci_flush_tlb     354 arch/alpha/kernel/core_wildfire.c 	pci->pci_flush_tlb.csr; /* reading does the trick */