@@ -20,12 +20,6 @@
#error GUEST_PAGING_LEVELS not defined
#endif
-static inline paddr_t
-gfn_to_paddr(gfn_t gfn)
-{
- return ((paddr_t)gfn_x(gfn)) << PAGE_SHIFT;
-}
-
/* Override get_gfn to work with gfn_t */
#undef get_gfn
#define get_gfn(d, g, t) get_gfn_type((d), gfn_x(g), (t), P2M_ALLOC)
@@ -562,7 +562,7 @@ _sh_propagate(struct vcpu *v,
if ( p2mt == p2m_mmio_direct )
sflags |= get_pat_flags(v,
gflags,
- gfn_to_paddr(target_gfn),
+ gfn_to_gaddr(target_gfn),
mfn_to_maddr(target_mfn),
X86_MT_UC);
else if ( is_iommu_enabled(d) && iommu_snoop )
@@ -570,7 +570,7 @@ _sh_propagate(struct vcpu *v,
else
sflags |= get_pat_flags(v,
gflags,
- gfn_to_paddr(target_gfn),
+ gfn_to_gaddr(target_gfn),
mfn_to_maddr(target_mfn),
NO_HARDCODE_MEM_TYPE);
}
This really is gfn_to_gaddr() in disguise; no need to have two variants of the same logic. Signed-off-by: Jan Beulich <jbeulich@suse.com>