static void spin_reset(void *opaque)

{

    SpinState *s = opaque;

    int i;



    for (i = 0; i < MAX_CPUS; i++) {

        SpinInfo *info = &s->spin[i];



        info->pir = i;

        info->r3 = i;

        info->addr = 1;

    }

}

static void spin_reset(void *opaque)

{

    SpinState *s = opaque;

    int i;



    for (i = 0; i < MAX_CPUS; i++) {

        SpinInfo *info = &s->spin[i];



        info->pir = i;

        info->r3 = i;

        info->addr = 1;

    }

}

static void FUNC_0(void *VAR_0)

{

    SpinState *s = VAR_0;

    int VAR_1;



    for (VAR_1 = 0; VAR_1 < MAX_CPUS; VAR_1++) {

        SpinInfo *info = &s->spin[VAR_1];



        info->pir = VAR_1;

        info->r3 = VAR_1;

        info->addr = 1;

    }

}

static void FUNC_0(void *VAR_0)
{ SpinState *s = VAR_0; int VAR_1; for (VAR_1 = 0; VAR_1 < MAX_CPUS; VAR_1++) { SpinInfo *info = &s->spin[VAR_1]; info->pir = VAR_1; info->r3 = VAR_1; info->addr = 1; } }