px_dvma_addr_t
px_dvma_addr_t dvma_pg;
px_dvma_addr_t dvma_pg, dvma_pg_index;
px_dvma_addr_t dvma_addr = (px_dvma_addr_t)mp->dmai_mapping;
px_dvma_addr_t dvma_pg = MMU_BTOP(dvma_addr);
px_dvma_addr_t dvma_pg = MMU_BTOP(mp->dmai_mapping + MMU_PTOB(index));
px_dvma_addr_t dvma_pg;
px_dvma_addr_t dvma_addr, dvma_pg;
px_mmu_map_pages(px_mmu_t *mmu_p, ddi_dma_impl_t *mp, px_dvma_addr_t dvma_pg,
px_dvma_addr_t pg_index = MMU_PAGE_INDEX(mmu_p, dvma_pg);
px_mmu_unmap_pages(px_mmu_t *mmu_p, ddi_dma_impl_t *mp, px_dvma_addr_t dvma_pg,
px_dvma_addr_t pg_index = MMU_PAGE_INDEX(mmu_p, dvma_pg);
px_dvma_addr_t dvma_pg = MMU_BTOP(mp->dmai_mapping);
px_dvma_addr_t dvma_pg = MMU_BTOP(mp->dmai_mapping);
px_dvma_addr_t dvma_pg, size_t npages, size_t pfn_index);
px_dvma_addr_t dvma_pg, uint_t npages);
px_dvma_addr_t mmu_dvma_base;
px_dvma_addr_t mmu_dvma_end;
px_dvma_addr_t mmu_dvma_fast_end;
px_dvma_addr_t dvma_base_pg; /* = MMU_BTOP(mmu_dvma_base) */
px_dvma_addr_t dvma_end_pg; /* = MMU_BTOP(mmu_dvma_end) */
px_dvma_addr_t pg_index;
px_dvma_addr_t pg_index;