batch_left       2740 arch/x86/xen/mmu_pv.c 		int batch_left = batch;
batch_left       2758 arch/x86/xen/mmu_pv.c 						    batch_left, &done, domid);
batch_left       2776 arch/x86/xen/mmu_pv.c 			batch_left -= done;
batch_left       2778 arch/x86/xen/mmu_pv.c 		} while (batch_left);