iommu_ptob
iommu_ptob(npages),
size = iommu_ptob(mp->dmai_ndvmapages - iommu_btopr(offset));
iommu_ptob(npages));
iommu_ptob(npages));
size = iommu_ptob(npages);
winsize = iommu_ptob(mp->dmai_ndvmapages - iommu_btopr(offset));
iommu_ptob(np), IOMMU_PAGESIZE, 0,
(void *)(uintptr_t)ioaddr, iommu_ptob(np));
(void *)(uintptr_t)ioaddr, iommu_ptob(np));
ioaddr = (ioaddr_t)(mp->dmai_mapping + iommu_ptob(index));
ioaddr = (ioaddr_t)(mp->dmai_mapping + iommu_ptob(index));
ioaddr = (ioaddr_t)(mp->dmai_mapping + iommu_ptob(index));
if (size < iommu_ptob(MIN_DVMA_WIN_SIZE)) {
size = iommu_ptob(MIN_DVMA_WIN_SIZE);
iommu_ptob(npages),