static void pxa2xx_mm_write(void *opaque, hwaddr addr,

                            uint64_t value, unsigned size)

{

    PXA2xxState *s = (PXA2xxState *) opaque;



    switch (addr) {

    case MDCNFG ... SA1110:

        if ((addr & 3) == 0) {

            s->mm_regs[addr >> 2] = value;

            break;

        }



    default:

        printf("%s: Bad register " REG_FMT "\n", __FUNCTION__, addr);

        break;

    }

}

static void pxa2xx_mm_write(void *opaque, hwaddr addr,

                            uint64_t value, unsigned size)

{

    PXA2xxState *s = (PXA2xxState *) opaque;



    switch (addr) {

    case MDCNFG ... SA1110:

        if ((addr & 3) == 0) {

            s->mm_regs[addr >> 2] = value;

            break;

        }



    default:

        printf("%s: Bad register " REG_FMT "\n", __FUNCTION__, addr);

        break;

    }

}

static void FUNC_0(void *VAR_0, hwaddr VAR_1,

                            uint64_t VAR_2, unsigned VAR_3)

{

    PXA2xxState *s = (PXA2xxState *) VAR_0;



    switch (VAR_1) {

    case MDCNFG ... SA1110:

        if ((VAR_1 & 3) == 0) {

            s->mm_regs[VAR_1 >> 2] = VAR_2;

            break;

        }



    default:

        printf("%s: Bad register " REG_FMT "\n", __FUNCTION__, VAR_1);

        break;

    }

}

static void FUNC_0(void *VAR_0, hwaddr VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ PXA2xxState *s = (PXA2xxState *) VAR_0; switch (VAR_1) { case MDCNFG ... SA1110:
if ((VAR_1 & 3) == 0) { s->mm_regs[VAR_1 >> 2] = VAR_2; break; } default:
printf("%s: Bad register " REG_FMT "\n", __FUNCTION__, VAR_1); break; } }