*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;}