static void spapr_vio_quiesce_one(VIOsPAPRDevice *dev)

{

    if (dev->tcet) {

        spapr_tce_reset(dev->tcet);

    }

    free_crq(dev);

}

static void spapr_vio_quiesce_one(VIOsPAPRDevice *dev)

{

    if (dev->tcet) {

        spapr_tce_reset(dev->tcet);

    }

    free_crq(dev);

}

static void FUNC_0(VIOsPAPRDevice *VAR_0)

{

    if (VAR_0->tcet) {

        spapr_tce_reset(VAR_0->tcet);

    }

    free_crq(VAR_0);

}

static void FUNC_0(VIOsPAPRDevice *VAR_0)
{ if (VAR_0->tcet) { spapr_tce_reset(VAR_0->tcet); } free_crq(VAR_0); }