int i; 
pte_t huge_ptep_get_and_clear(struct mm_struct *mm, unsigned long addr,			      pte_t *ptep){	unsigned long old = pte_update(ptep, ~0UL);	int i;	if (old & _PAGE_HASHPTE)		hpte_update(mm, addr, old, 0);	for (i = 1; i < HUGEPTE_BATCH_SIZE; i++)		ptep[i] = __pte(0);	return __pte(old);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/hugetlbpage.c/clean/arch/powerpc/mm/hugetlbpage.c