diff options
author | Isaku Yamahata <yamahata@valinux.co.jp> | 2009-03-04 07:06:54 -0500 |
---|---|---|
committer | Tony Luck <tony.luck@intel.com> | 2009-03-26 14:02:59 -0400 |
commit | dae17da60d1797c9049d21d06de0db1873eee153 (patch) | |
tree | f052470a85d99d9e2f64911512f43616552540bd /arch/ia64/kvm | |
parent | ee158fcd095c8233c9b578fbbe8a5897979a52a9 (diff) |
ia64/pv_ops/binary patch: define paravirt_dv_serialize_data() and suppress false positive warning.
define paravirt_dv_serialize_data() and insert it to suppress
false positive warnings.
Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
Signed-off-by: Tony Luck <tony.luck@intel.com>
Diffstat (limited to 'arch/ia64/kvm')
-rw-r--r-- | arch/ia64/kvm/vtlb.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/ia64/kvm/vtlb.c b/arch/ia64/kvm/vtlb.c index 6b6307a3bd55..1de4dbda37e7 100644 --- a/arch/ia64/kvm/vtlb.c +++ b/arch/ia64/kvm/vtlb.c | |||
@@ -210,6 +210,7 @@ void thash_vhpt_insert(struct kvm_vcpu *v, u64 pte, u64 itir, u64 va, int type) | |||
210 | phy_pte &= ~PAGE_FLAGS_RV_MASK; | 210 | phy_pte &= ~PAGE_FLAGS_RV_MASK; |
211 | psr = ia64_clear_ic(); | 211 | psr = ia64_clear_ic(); |
212 | ia64_itc(type, va, phy_pte, itir_ps(itir)); | 212 | ia64_itc(type, va, phy_pte, itir_ps(itir)); |
213 | paravirt_dv_serialize_data(); | ||
213 | ia64_set_psr(psr); | 214 | ia64_set_psr(psr); |
214 | } | 215 | } |
215 | 216 | ||
@@ -464,6 +465,7 @@ int thash_purge_and_insert(struct kvm_vcpu *v, u64 pte, u64 itir, | |||
464 | phy_pte &= ~PAGE_FLAGS_RV_MASK; | 465 | phy_pte &= ~PAGE_FLAGS_RV_MASK; |
465 | psr = ia64_clear_ic(); | 466 | psr = ia64_clear_ic(); |
466 | ia64_itc(type, ifa, phy_pte, ps); | 467 | ia64_itc(type, ifa, phy_pte, ps); |
468 | paravirt_dv_serialize_data(); | ||
467 | ia64_set_psr(psr); | 469 | ia64_set_psr(psr); |
468 | } | 470 | } |
469 | if (!(pte&VTLB_PTE_IO)) | 471 | if (!(pte&VTLB_PTE_IO)) |