} else {
else {
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);	}}