flush_hash_page(batch->vaddr[i], batch->pte[i], local); 
flush_hash_page(batch->vaddr[i], batch->pte[i], batch->psize, local); 
void flush_hash_range(unsigned long number, int local){	if (ppc_md.flush_hash_range) {		ppc_md.flush_hash_range(number, local);	} else {		int i;		struct ppc64_tlb_batch *batch =			&__get_cpu_var(ppc64_tlb_batch);		for (i = 0; i < number; i++)			flush_hash_page(batch->vaddr[i], batch->pte[i], local);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/hash_utils_64.c/buggy/arch/powerpc/mm/hash_utils_64.c