| * VT-d hardware uses 4KiB page size regardless of host page size. |
| #define VTD_PAGE_SHIFT (12) |
| #define VTD_PAGE_SIZE (1UL << VTD_PAGE_SHIFT) |
| #define VTD_PAGE_MASK (((u64)-1) << VTD_PAGE_SHIFT) |
| #define VTD_PAGE_ALIGN(addr) (((addr) + VTD_PAGE_SIZE - 1) & VTD_PAGE_MASK) |
| #define DMA_PTE_WRITE (2) |
| #define DMA_PTE_SNP (1 << 11) |
| #define CONTEXT_TT_MULTI_LEVEL 0 |
| #define CONTEXT_TT_DEV_IOTLB 1 |
| #define CONTEXT_TT_PASS_THROUGH 2 |
| extern void free_dmar_iommu(struct intel_iommu *iommu); |
| extern int iommu_calculate_agaw(struct intel_iommu *iommu); |
| extern int iommu_calculate_max_sagaw(struct intel_iommu *iommu); |
| static inline int iommu_calculate_agaw(struct intel_iommu *iommu) |
| static inline int iommu_calculate_max_sagaw(struct intel_iommu *iommu) |
| extern int dmar_disabled; |