static void xics_reset(DeviceState *d)

{

    XICSState *icp = XICS(d);

    int i;



    for (i = 0; i < icp->nr_servers; i++) {

        device_reset(DEVICE(&icp->ss[i]));

    }



    device_reset(DEVICE(icp->ics));

}

static void xics_reset(DeviceState *d)

{

    XICSState *icp = XICS(d);

    int i;



    for (i = 0; i < icp->nr_servers; i++) {

        device_reset(DEVICE(&icp->ss[i]));

    }



    device_reset(DEVICE(icp->ics));

}

static void FUNC_0(DeviceState *VAR_0)

{

    XICSState *icp = XICS(VAR_0);

    int VAR_1;



    for (VAR_1 = 0; VAR_1 < icp->nr_servers; VAR_1++) {

        device_reset(DEVICE(&icp->ss[VAR_1]));

    }



    device_reset(DEVICE(icp->ics));

}

static void FUNC_0(DeviceState *VAR_0)
{ XICSState *icp = XICS(VAR_0); int VAR_1; for (VAR_1 = 0; VAR_1 < icp->nr_servers; VAR_1++) { device_reset(DEVICE(&icp->ss[VAR_1])); } device_reset(DEVICE(icp->ics)); }