tree 47f0ec1fd0b2692c817bb3e2a8a4b8fc663b16b3
parent de0afc9bdeeadaa998797d2333c754bf9f4d5dcf
author Boris Ostrovsky <boris.ostrovsky@oracle.com> 1449966355 -0500
committer David Vrabel <david.vrabel@citrix.com> 1450101220 +0000

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>