|
@@ -1283,7 +1283,7 @@ static void xen_flush_tlb_others(const struct cpumask *cpus,
|
|
cpumask_clear_cpu(smp_processor_id(), to_cpumask(args->mask));
|
|
cpumask_clear_cpu(smp_processor_id(), to_cpumask(args->mask));
|
|
|
|
|
|
args->op.cmd = MMUEXT_TLB_FLUSH_MULTI;
|
|
args->op.cmd = MMUEXT_TLB_FLUSH_MULTI;
|
|
- if (start != TLB_FLUSH_ALL && (end - start) <= PAGE_SIZE) {
|
|
|
|
|
|
+ if (end != TLB_FLUSH_ALL && (end - start) <= PAGE_SIZE) {
|
|
args->op.cmd = MMUEXT_INVLPG_MULTI;
|
|
args->op.cmd = MMUEXT_INVLPG_MULTI;
|
|
args->op.arg1.linear_addr = start;
|
|
args->op.arg1.linear_addr = start;
|
|
}
|
|
}
|