static void empty_slot_write(void *opaque, target_phys_addr_t addr,

                             uint64_t val, unsigned size)

{

    DPRINTF("write 0x%x to " TARGET_FMT_plx "\n", (unsigned)val, addr);

}

static void empty_slot_write(void *opaque, target_phys_addr_t addr,

                             uint64_t val, unsigned size)

{

    DPRINTF("write 0x%x to " TARGET_FMT_plx "\n", (unsigned)val, addr);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                             uint64_t VAR_2, unsigned VAR_3)

{

    DPRINTF("write 0x%x to " TARGET_FMT_plx "\n", (unsigned)VAR_2, VAR_1);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ DPRINTF("write 0x%x to " TARGET_FMT_plx "\n", (unsigned)VAR_2, VAR_1); }