static void spapr_phb_finish_realize(sPAPRPHBState *sphb, Error **errp)

{

    sphb->dma_window_start = 0;

    sphb->dma_window_size = 0x40000000;

    sphb->tcet = spapr_tce_new_table(DEVICE(sphb), sphb->dma_liobn,

                                     sphb->dma_window_size);

    if (!sphb->tcet) {

        error_setg(errp, "Unable to create TCE table for %s",

                   sphb->dtbusname);

        return ;

    }

    address_space_init(&sphb->iommu_as, spapr_tce_get_iommu(sphb->tcet),

                       sphb->dtbusname);

}

static void spapr_phb_finish_realize(sPAPRPHBState *sphb, Error **errp)

{

    sphb->dma_window_start = 0;

    sphb->dma_window_size = 0x40000000;

    sphb->tcet = spapr_tce_new_table(DEVICE(sphb), sphb->dma_liobn,

                                     sphb->dma_window_size);

    if (!sphb->tcet) {

        error_setg(errp, "Unable to create TCE table for %s",

                   sphb->dtbusname);

        return ;

    }

    address_space_init(&sphb->iommu_as, spapr_tce_get_iommu(sphb->tcet),

                       sphb->dtbusname);

}

static void FUNC_0(sPAPRPHBState *VAR_0, Error **VAR_1)

{

    VAR_0->dma_window_start = 0;

    VAR_0->dma_window_size = 0x40000000;

    VAR_0->tcet = spapr_tce_new_table(DEVICE(VAR_0), VAR_0->dma_liobn,

                                     VAR_0->dma_window_size);

    if (!VAR_0->tcet) {

        error_setg(VAR_1, "Unable to create TCE table for %s",

                   VAR_0->dtbusname);

        return ;

    }

    address_space_init(&VAR_0->iommu_as, spapr_tce_get_iommu(VAR_0->tcet),

                       VAR_0->dtbusname);

}

static void FUNC_0(sPAPRPHBState *VAR_0, Error **VAR_1)
{ VAR_0->dma_window_start = 0; VAR_0->dma_window_size = 0x40000000; VAR_0->tcet = spapr_tce_new_table(DEVICE(VAR_0), VAR_0->dma_liobn,
VAR_0->dma_window_size); if (!VAR_0->tcet) { error_setg(VAR_1, "Unable to create TCE table for %s",
VAR_0->dtbusname); return ; } address_space_init(&VAR_0->iommu_as, spapr_tce_get_iommu(VAR_0->tcet),
VAR_0->dtbusname); }