static void mv88w8618_pic_write(void *opaque, target_phys_addr_t offset,

                                uint64_t value, unsigned size)

{

    mv88w8618_pic_state *s = opaque;



    switch (offset) {

    case MP_PIC_ENABLE_SET:

        s->enabled |= value;

        break;



    case MP_PIC_ENABLE_CLR:

        s->enabled &= ~value;

        s->level &= ~value;

        break;

    }

    mv88w8618_pic_update(s);

}

static void mv88w8618_pic_write(void *opaque, target_phys_addr_t offset,

                                uint64_t value, unsigned size)

{

    mv88w8618_pic_state *s = opaque;



    switch (offset) {

    case MP_PIC_ENABLE_SET:

        s->enabled |= value;

        break;



    case MP_PIC_ENABLE_CLR:

        s->enabled &= ~value;

        s->level &= ~value;

        break;

    }

    mv88w8618_pic_update(s);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                                uint64_t VAR_2, unsigned VAR_3)

{

    mv88w8618_pic_state *s = VAR_0;



    switch (VAR_1) {

    case MP_PIC_ENABLE_SET:

        s->enabled |= VAR_2;

        break;



    case MP_PIC_ENABLE_CLR:

        s->enabled &= ~VAR_2;

        s->level &= ~VAR_2;

        break;

    }

    mv88w8618_pic_update(s);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ mv88w8618_pic_state *s = VAR_0; switch (VAR_1) { case MP_PIC_ENABLE_SET:
s->enabled |= VAR_2; break; case MP_PIC_ENABLE_CLR:
s->enabled &= ~VAR_2; s->level &= ~VAR_2; break; } mv88w8618_pic_update(s); }