__flush_dcache_icache(kmap(page)); kunmap(page); 
void *start = kmap_atomic(page, KM_PPC_SYNC_ICACHE); __flush_dcache_icache(start); kunmap_atomic(start, KM_PPC_SYNC_ICACHE); 
void flush_dcache_icache_page(struct page *page){#ifdef CONFIG_BOOKE	__flush_dcache_icache(kmap(page));	kunmap(page);#elif CONFIG_8xx	/* On 8xx there is no need to kmap since highmem is not supported */	__flush_dcache_icache(page_address(page)); #else	__flush_dcache_icache_phys(page_to_pfn(page) << PAGE_SHIFT);#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5a6a4d4320aed1918bf79dfb6bd841317f33b8e9/init.c/buggy/arch/ppc/mm/init.c