__ia64_sync_icache_dcache  329 arch/ia64/include/asm/pgtable.h extern void __ia64_sync_icache_dcache(pte_t pteval);
__ia64_sync_icache_dcache  340 arch/ia64/include/asm/pgtable.h 		__ia64_sync_icache_dcache(pteval);