IOMMUREG_WRITE
IOMMUREG_WRITE(is, iommu_tsb, is->is_ptsb);
IOMMUREG_WRITE(is, iommu_cr, IOMMUCR_EN | (is->is_tsbsize << 16));
IOMMUREG_WRITE(is, iommu_cache_flush,
IOMMUREG_WRITE(is, iommu_cache_flush,
IOMMUREG_WRITE(is, iommu_cache_invalidate, -1ULL);
IOMMUREG_WRITE(is, iommu_flush, va);
IOMMUREG_WRITE(is, iommu_flush, va);
IOMMUREG_WRITE(is, iommu_tsb, is->is_ptsb | is->is_tsbsize);
IOMMUREG_WRITE(is, iommu_cr, cr);