static void s390_pcihost_init_as(S390pciState *s)

{

    int i;

    S390PCIBusDevice *pbdev;



    for (i = 0; i < PCI_SLOT_MAX; i++) {

        pbdev = &s->pbdev[i];

        memory_region_init(&pbdev->mr, OBJECT(s),

                           "iommu-root-s390", UINT64_MAX);

        address_space_init(&pbdev->as, &pbdev->mr, "iommu-pci");

    }



    memory_region_init_io(&s->msix_notify_mr, OBJECT(s),

                          &s390_msi_ctrl_ops, s, "msix-s390", UINT64_MAX);

    address_space_init(&s->msix_notify_as, &s->msix_notify_mr, "msix-pci");

}

static void s390_pcihost_init_as(S390pciState *s)

{

    int i;

    S390PCIBusDevice *pbdev;



    for (i = 0; i < PCI_SLOT_MAX; i++) {

        pbdev = &s->pbdev[i];

        memory_region_init(&pbdev->mr, OBJECT(s),

                           "iommu-root-s390", UINT64_MAX);

        address_space_init(&pbdev->as, &pbdev->mr, "iommu-pci");

    }



    memory_region_init_io(&s->msix_notify_mr, OBJECT(s),

                          &s390_msi_ctrl_ops, s, "msix-s390", UINT64_MAX);

    address_space_init(&s->msix_notify_as, &s->msix_notify_mr, "msix-pci");

}

static void FUNC_0(S390pciState *VAR_0)

{

    int VAR_1;

    S390PCIBusDevice *pbdev;



    for (VAR_1 = 0; VAR_1 < PCI_SLOT_MAX; VAR_1++) {

        pbdev = &VAR_0->pbdev[VAR_1];

        memory_region_init(&pbdev->mr, OBJECT(VAR_0),

                           "iommu-root-s390", UINT64_MAX);

        address_space_init(&pbdev->as, &pbdev->mr, "iommu-pci");

    }



    memory_region_init_io(&VAR_0->msix_notify_mr, OBJECT(VAR_0),

                          &s390_msi_ctrl_ops, VAR_0, "msix-s390", UINT64_MAX);

    address_space_init(&VAR_0->msix_notify_as, &VAR_0->msix_notify_mr, "msix-pci");

}

static void FUNC_0(S390pciState *VAR_0)
{ int VAR_1; S390PCIBusDevice *pbdev; for (VAR_1 = 0; VAR_1 < PCI_SLOT_MAX; VAR_1++) { pbdev = &VAR_0->pbdev[VAR_1]; memory_region_init(&pbdev->mr, OBJECT(VAR_0),
"iommu-root-s390", UINT64_MAX); address_space_init(&pbdev->as, &pbdev->mr, "iommu-pci"); } memory_region_init_io(&VAR_0->msix_notify_mr, OBJECT(VAR_0),
&s390_msi_ctrl_ops, VAR_0, "msix-s390", UINT64_MAX); address_space_init(&VAR_0->msix_notify_as, &VAR_0->msix_notify_mr, "msix-pci"); }