static void spapr_phb_reset(DeviceState *qdev)

{

    SysBusDevice *s = SYS_BUS_DEVICE(qdev);

    sPAPRPHBState *sphb = SPAPR_PCI_HOST_BRIDGE(s);



    /* Reset the IOMMU state */

    spapr_tce_reset(sphb->tcet);

}

static void spapr_phb_reset(DeviceState *qdev)

{

    SysBusDevice *s = SYS_BUS_DEVICE(qdev);

    sPAPRPHBState *sphb = SPAPR_PCI_HOST_BRIDGE(s);



    

    spapr_tce_reset(sphb->tcet);

}

static void FUNC_0(DeviceState *VAR_0)

{

    SysBusDevice *s = SYS_BUS_DEVICE(VAR_0);

    sPAPRPHBState *sphb = SPAPR_PCI_HOST_BRIDGE(s);



    

    spapr_tce_reset(sphb->tcet);

}

static void FUNC_0(DeviceState *VAR_0)
{ SysBusDevice *s = SYS_BUS_DEVICE(VAR_0); sPAPRPHBState *sphb = SPAPR_PCI_HOST_BRIDGE(s); spapr_tce_reset(sphb->tcet); }