*ptep = __pte(pte_val(pte)) & ~_PAGE_HPTEFLAGS; 
*ptep = __pte(pte_val(pte) & ~_PAGE_HPTEFLAGS); 
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/1f8d419e291f7f7f7f3ffd4f0ba00834621690c8/pgtable.h/buggy/include/asm-ppc64/pgtable.h