static void ecc_diag_mem_write(void *opaque, target_phys_addr_t addr,

                               uint64_t val, unsigned size)

{

    ECCState *s = opaque;



    trace_ecc_diag_mem_writeb(addr, val);

    s->diag[addr & ECC_DIAG_MASK] = val;

}

static void ecc_diag_mem_write(void *opaque, target_phys_addr_t addr,

                               uint64_t val, unsigned size)

{

    ECCState *s = opaque;



    trace_ecc_diag_mem_writeb(addr, val);

    s->diag[addr & ECC_DIAG_MASK] = val;

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                               uint64_t VAR_2, unsigned VAR_3)

{

    ECCState *s = VAR_0;



    trace_ecc_diag_mem_writeb(VAR_1, VAR_2);

    s->diag[VAR_1 & ECC_DIAG_MASK] = VAR_2;

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ ECCState *s = VAR_0; trace_ecc_diag_mem_writeb(VAR_1, VAR_2); s->diag[VAR_1 & ECC_DIAG_MASK] = VAR_2; }