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);