 if (!pfn_valid(pte_pfn(pte))) return pp; 
unsigned int hash_page_do_lazy_icache(unsigned int pp, pte_t pte, int trap){	struct page *page;	if (!pfn_valid(pte_pfn(pte)))		return pp;	page = pte_page(pte);	/* page is dirty */	if (!test_bit(PG_arch_1, &page->flags) && !PageReserved(page)) {		if (trap == 0x400) {			__flush_dcache_icache(page_address(page));			set_bit(PG_arch_1, &page->flags);		} else			pp |= HW_NO_EXEC;	}	return pp;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/hash_utils_64.c/clean/arch/powerpc/mm/hash_utils_64.c