flush_hash_page(batch->vaddr[0], batch->pte[0], local); 
flush_hash_page(batch->vaddr[0], batch->pte[0], batch->psize, local); 
void __flush_tlb_pending(struct ppc64_tlb_batch *batch){	int i;	int cpu;	cpumask_t tmp;	int local = 0;	BUG_ON(in_interrupt());	cpu = get_cpu();	i = batch->index;	tmp = cpumask_of_cpu(cpu);	if (cpus_equal(batch->mm->cpu_vm_mask, tmp))		local = 1;	if (i == 1)		flush_hash_page(batch->vaddr[0], batch->pte[0], local);	else		flush_hash_range(i, local);	batch->index = 0;	put_cpu();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/tlb_64.c/buggy/arch/powerpc/mm/tlb_64.c