diff options
author | Boris Ostrovsky <boris.ostrovsky@oracle.com> | 2015-12-12 19:25:55 -0500 |
---|---|---|
committer | David Vrabel <david.vrabel@citrix.com> | 2015-12-14 13:53:40 +0000 |
commit | 20f36e0380a7e871a711d5e4e59d04d4948326b4 (patch) | |
tree | 47f0ec1fd0b2692c817bb3e2a8a4b8fc663b16b3 | |
parent | de0afc9bdeeadaa998797d2333c754bf9f4d5dcf (diff) | |
download | op-kernel-dev-20f36e0380a7e871a711d5e4e59d04d4948326b4.zip op-kernel-dev-20f36e0380a7e871a711d5e4e59d04d4948326b4.tar.gz |
xen/x86/pvh: Use HVM's flush_tlb_others op
Using MMUEXT_TLB_FLUSH_MULTI doesn't buy us much since the hypervisor
will likely perform same IPIs as would have the guest.
More importantly, using MMUEXT_INVLPG_MULTI may not to invalidate the
guest's address on remote CPU (when, for example, VCPU from another guest
is running there).
Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Suggested-by: Jan Beulich <jbeulich@suse.com>
Signed-off-by: David Vrabel <david.vrabel@citrix.com>
-rw-r--r-- | arch/x86/xen/mmu.c | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/arch/x86/xen/mmu.c b/arch/x86/xen/mmu.c index ac161db..cb5e266 100644 --- a/arch/x86/xen/mmu.c +++ b/arch/x86/xen/mmu.c @@ -2495,14 +2495,9 @@ void __init xen_init_mmu_ops(void) { x86_init.paging.pagetable_init = xen_pagetable_init; - /* Optimization - we can use the HVM one but it has no idea which - * VCPUs are descheduled - which means that it will needlessly IPI - * them. Xen knows so let it do the job. - */ - if (xen_feature(XENFEAT_auto_translated_physmap)) { - pv_mmu_ops.flush_tlb_others = xen_flush_tlb_others; + if (xen_feature(XENFEAT_auto_translated_physmap)) return; - } + pv_mmu_ops = xen_mmu_ops; memset(dummy_mapping, 0xff, PAGE_SIZE); |