IOMMU_PAGEOFFSET
addr & ~IOMMU_PAGEOFFSET);
addr = (ioaddr_t)(mp->dmai_mapping & ~IOMMU_PAGEOFFSET);
offset = mp->dmai_mapping & IOMMU_PAGEOFFSET;
addr = (addr + newoff) & ~IOMMU_PAGEOFFSET;
offset = (uint_t)(addr & IOMMU_PAGEOFFSET);
addr &= ~IOMMU_PAGEOFFSET;
ioaddr_t ioaddr = mp->dmai_mapping & ~IOMMU_PAGEOFFSET;
ioaddr = mp->dmai_mapping & ~IOMMU_PAGEOFFSET;
offset = (uint_t)(mp->dmai_mapping & IOMMU_PAGEOFFSET);
ioaddr = (ioaddr_t)(mp->dmai_mapping & ~IOMMU_PAGEOFFSET);
offset = (uint_t)(mp->dmai_mapping & IOMMU_PAGEOFFSET);
ioaddr = (ioaddr_t)(mp->dmai_mapping & ~IOMMU_PAGEOFFSET);
offset = addr & IOMMU_PAGEOFFSET;
((((ioaddr_t)(x) + IOMMU_PAGEOFFSET) >> IOMMU_PAGESHIFT))