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