static void jazz_led_write(void *opaque, target_phys_addr_t addr,

                           uint64_t val, unsigned int size)

{

    LedState *s = opaque;

    uint8_t new_val = val & 0xff;



    trace_jazz_led_write(addr, new_val);



    s->segments = new_val;

    s->state |= REDRAW_SEGMENTS;

}

static void jazz_led_write(void *opaque, target_phys_addr_t addr,

                           uint64_t val, unsigned int size)

{

    LedState *s = opaque;

    uint8_t new_val = val & 0xff;



    trace_jazz_led_write(addr, new_val);



    s->segments = new_val;

    s->state |= REDRAW_SEGMENTS;

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                           uint64_t VAR_2, unsigned int VAR_3)

{

    LedState *s = VAR_0;

    uint8_t new_val = VAR_2 & 0xff;



    trace_jazz_led_write(VAR_1, new_val);



    s->segments = new_val;

    s->state |= REDRAW_SEGMENTS;

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned int VAR_3)
{ LedState *s = VAR_0; uint8_t new_val = VAR_2 & 0xff; trace_jazz_led_write(VAR_1, new_val); s->segments = new_val; s->state |= REDRAW_SEGMENTS; }