static inline void ptep_set_wrprotect(struct mm_struct *mm, unsigned long addr, pte_t *ptep) 
static inline void ptep_set_wrprotect(struct mm_struct *mm, unsigned long addr, pte_t *ptep) 
static inline void ptep_set_wrprotect(struct mm_struct *mm, unsigned long addr, pte_t *ptep){	unsigned long old;       	if ((pte_val(*ptep) & _PAGE_RW) == 0)       		return;	old = pte_update(ptep, _PAGE_RW);	if (old & _PAGE_HASHPTE)		hpte_update(mm, addr, old, 0);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/pgtable.h/clean/include/asm-ppc64/pgtable.h