/* XICS Common class - parent for emulated XICS and KVM-XICS  */
static void xics_common_reset(DeviceState *d)
/* XICS Common class - parent for emulated XICS and KVM-XICS  */
static void xics_common_reset(DeviceState *d)
{
    XICSState *icp = XICS_COMMON(d);
    int i;
    for (i = 0; i < icp->nr_servers; i++) {
        device_reset(DEVICE(&icp->ss[i]));
    }
    device_reset(DEVICE(icp->ics));
}