 for (i = 0; i < HUGEPTE_BATCH_SIZE; i++) { *ptep = __pte(pte_val(pte) & ~_PAGE_HPTEFLAGS); ptep++; } 
*ptep = __pte(pte_val(pte) & ~_PAGE_HPTEFLAGS); 
void set_huge_pte_at(struct mm_struct *mm, unsigned long addr,		     pte_t *ptep, pte_t pte){	int i;	if (pte_present(*ptep)) {		pte_clear(mm, addr, ptep);		flush_tlb_pending();	}	for (i = 0; i < HUGEPTE_BATCH_SIZE; i++) {		*ptep = __pte(pte_val(pte) & ~_PAGE_HPTEFLAGS);		ptep++;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/hugetlbpage.c/clean/arch/powerpc/mm/hugetlbpage.c