*ptep = __pte(pte_val(pte) & ~_PAGE_HPTEFLAGS); 
pte = __pte(pte_val(pte) & ~_PAGE_HPTEFLAGS);  #ifdef CONFIG_PPC_64K_PAGES if (mmu_virtual_psize != MMU_PAGE_64K) pte = __pte(pte_val(pte) | _PAGE_COMBO); #endif /* CONFIG_PPC_64K_PAGES */  *ptep = pte; 
static inline void set_pte_at(struct mm_struct *mm, unsigned long addr,			      pte_t *ptep, pte_t pte){	if (pte_present(*ptep)) {		pte_clear(mm, addr, ptep);		flush_tlb_pending();	}	*ptep = __pte(pte_val(pte) & ~_PAGE_HPTEFLAGS);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/pgtable.h/clean/include/asm-ppc64/pgtable.h