#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)
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 )
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);
}