Lines Matching refs:PAGE_SHIFT_4K
534 addr >>= PAGE_SHIFT_4K + order; in iommu_flush_iotlb_psi()
535 addr <<= PAGE_SHIFT_4K + order; in iommu_flush_iotlb_psi()
620 (paddr_t)gfn << PAGE_SHIFT_4K, in iommu_flush_iotlb()
679 rc = iommu_flush_iotlb_pages(domain, addr >> PAGE_SHIFT_4K, 1); in dma_pte_clear_one()
1783 pg_maddr = addr_to_dma_page_maddr(d, (paddr_t)gfn << PAGE_SHIFT_4K, 1); in intel_iommu_map_page()
1792 dma_set_pte_addr(new, (paddr_t)mfn << PAGE_SHIFT_4K); in intel_iommu_map_page()
1826 return dma_pte_clear_one(d, (paddr_t)gfn << PAGE_SHIFT_4K); in intel_iommu_unmap_page()
1853 (paddr_t)gfn << PAGE_SHIFT_4K, in iommu_pte_flush()
1905 unsigned long base_pfn = rmrr->base_address >> PAGE_SHIFT_4K; in rmrr_identity_mapping()
1906 unsigned long end_pfn = PAGE_ALIGN_4K(rmrr->end_address) >> PAGE_SHIFT_4K; in rmrr_identity_mapping()
2625 (unsigned long)(address >> PAGE_SHIFT_4K), in vtd_dump_p2m_table_level()
2626 (unsigned long)(dma_pte_addr(*pte) >> PAGE_SHIFT_4K)); in vtd_dump_p2m_table_level()