if ( type == DMA_TLB_PSI_FLUSH )
{
/* Note: always flush non-leaf currently. */
- dmar_writeq(iommu->reg, tlb_offset, size_order | addr);
+ dmar_writeq(iommu->reg, tlb_offset,
+ size_order | DMA_TLB_IVA_ADDR(addr));
}
dmar_writeq(iommu->reg, tlb_offset + 8, val);
{
int status;
- ASSERT(!(addr & (~PAGE_MASK_4K)));
-
/* Fallback to domain selective flush if no PSI support */
if ( !cap_pgsel_inv(iommu->cap) )
return iommu_flush_iotlb_dsi(iommu, did, flush_non_present_entry,
return iommu_flush_iotlb_dsi(iommu, did, flush_non_present_entry,
flush_dev_iotlb);
- addr >>= PAGE_SHIFT_4K + order;
- addr <<= PAGE_SHIFT_4K + order;
-
/* apply platform specific errata workarounds */
vtd_ops_preamble_quirk(iommu);