void s390_pci_iommu_enable(S390PCIBusDevice *pbdev)

{

    memory_region_init_iommu(&pbdev->iommu_mr, OBJECT(&pbdev->mr),

                             &s390_iommu_ops, "iommu-s390", pbdev->pal + 1);

    memory_region_add_subregion(&pbdev->mr, 0, &pbdev->iommu_mr);

    pbdev->iommu_enabled = true;

}

void s390_pci_iommu_enable(S390PCIBusDevice *pbdev)

{

    memory_region_init_iommu(&pbdev->iommu_mr, OBJECT(&pbdev->mr),

                             &s390_iommu_ops, "iommu-s390", pbdev->pal + 1);

    memory_region_add_subregion(&pbdev->mr, 0, &pbdev->iommu_mr);

    pbdev->iommu_enabled = true;

}

void FUNC_0(S390PCIBusDevice *VAR_0)

{

    memory_region_init_iommu(&VAR_0->iommu_mr, OBJECT(&VAR_0->mr),

                             &s390_iommu_ops, "iommu-s390", VAR_0->pal + 1);

    memory_region_add_subregion(&VAR_0->mr, 0, &VAR_0->iommu_mr);

    VAR_0->iommu_enabled = true;

}

void FUNC_0(S390PCIBusDevice *VAR_0)
{ memory_region_init_iommu(&VAR_0->iommu_mr, OBJECT(&VAR_0->mr),
&s390_iommu_ops, "iommu-s390", VAR_0->pal + 1); memory_region_add_subregion(&VAR_0->mr, 0, &VAR_0->iommu_mr); VAR_0->iommu_enabled = true; }