IOMMU_PAGESHIFT
((uint64_t)pfn << IOMMU_PAGESHIFT) | iotte_flag;
*iotte_ptr = ((uint64_t)pfn << IOMMU_PAGESHIFT) | iotte_flag;
*iotte_ptr = ((uint64_t)pfn << IOMMU_PAGESHIFT) | iotte_flag;
*iotte_ptr = ((uint64_t)pfn << IOMMU_PAGESHIFT) | iotte_flag;
#define iommu_ptob(x) ((x) << IOMMU_PAGESHIFT)
#define iommu_btop(x) (((ioaddr_t)(x)) >> IOMMU_PAGESHIFT)
((((ioaddr_t)(x) + IOMMU_PAGEOFFSET) >> IOMMU_PAGESHIFT))