static void ecc_mem_writeb(void *opaque, target_phys_addr_t addr, uint32_t val)

{

    printf("ECC: Unsupported write 0x" TARGET_FMT_plx " %02x\n",

           addr, val & 0xff);

}

static void ecc_mem_writeb(void *opaque, target_phys_addr_t addr, uint32_t val)

{

    printf("ECC: Unsupported write 0x" TARGET_FMT_plx " %02x\n",

           addr, val & 0xff);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1, uint32_t VAR_2)

{

    printf("ECC: Unsupported write 0x" TARGET_FMT_plx " %02x\n",

           VAR_1, VAR_2 & 0xff);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1, uint32_t VAR_2)
{ printf("ECC: Unsupported write 0x" TARGET_FMT_plx " %02x\n",
VAR_1, VAR_2 & 0xff); }