430         int iommu_idx = 0;  in address_space_translate_iommu()  local
434             iommu_idx = imrc->attrs_to_index(iommu_mr, attrs);  in address_space_translate_iommu()
438                                 IOMMU_WO : IOMMU_RO, iommu_idx);  in address_space_translate_iommu()
586     int iommu_idx;  member
608                                         int iommu_idx)  in tcg_register_iommu_notifier()  argument
620         if (notifier->mr == mr && notifier->iommu_idx == iommu_idx) {  in tcg_register_iommu_notifier()
631         notifier->iommu_idx = iommu_idx;  in tcg_register_iommu_notifier()
644                             iommu_idx);  in tcg_register_iommu_notifier()
683     int iommu_idx;  in address_space_translate_for_iotlb()  local
697         iommu_idx = imrc->attrs_to_index(iommu_mr, attrs);  in address_space_translate_for_iotlb()
698         tcg_register_iommu_notifier(cpu, iommu_mr, iommu_idx);  in address_space_translate_for_iotlb()
702         iotlb = imrc->translate(iommu_mr, addr, IOMMU_NONE, iommu_idx);  in address_space_translate_for_iotlb()