static void mv88w8618_flashcfg_write(void *opaque, target_phys_addr_t offset,

                                     uint64_t value, unsigned size)

{

    mv88w8618_flashcfg_state *s = opaque;



    switch (offset) {

    case MP_FLASHCFG_CFGR0:

        s->cfgr0 = value;

        break;

    }

}

static void mv88w8618_flashcfg_write(void *opaque, target_phys_addr_t offset,

                                     uint64_t value, unsigned size)

{

    mv88w8618_flashcfg_state *s = opaque;



    switch (offset) {

    case MP_FLASHCFG_CFGR0:

        s->cfgr0 = value;

        break;

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                                     uint64_t VAR_2, unsigned VAR_3)

{

    mv88w8618_flashcfg_state *s = VAR_0;



    switch (VAR_1) {

    case MP_FLASHCFG_CFGR0:

        s->cfgr0 = VAR_2;

        break;

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ mv88w8618_flashcfg_state *s = VAR_0; switch (VAR_1) { case MP_FLASHCFG_CFGR0:
s->cfgr0 = VAR_2; break; } }