static void watch_mem_write(void *opaque, target_phys_addr_t addr,

                            uint64_t val, unsigned size)

{

    check_watchpoint(addr & ~TARGET_PAGE_MASK, ~(size - 1), BP_MEM_WRITE);

    switch (size) {

    case 1:

        stb_phys(addr, val);

        break;

    case 2:

        stw_phys(addr, val);

        break;

    case 4:

        stl_phys(addr, val);

        break;

    default: abort();

    }

}

static void watch_mem_write(void *opaque, target_phys_addr_t addr,

                            uint64_t val, unsigned size)

{

    check_watchpoint(addr & ~TARGET_PAGE_MASK, ~(size - 1), BP_MEM_WRITE);

    switch (size) {

    case 1:

        stb_phys(addr, val);

        break;

    case 2:

        stw_phys(addr, val);

        break;

    case 4:

        stl_phys(addr, val);

        break;

    default: abort();

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                            uint64_t VAR_2, unsigned VAR_3)

{

    check_watchpoint(VAR_1 & ~TARGET_PAGE_MASK, ~(VAR_3 - 1), BP_MEM_WRITE);

    switch (VAR_3) {

    case 1:

        stb_phys(VAR_1, VAR_2);

        break;

    case 2:

        stw_phys(VAR_1, VAR_2);

        break;

    case 4:

        stl_phys(VAR_1, VAR_2);

        break;

    default: abort();

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ check_watchpoint(VAR_1 & ~TARGET_PAGE_MASK, ~(VAR_3 - 1), BP_MEM_WRITE); switch (VAR_3) { case 1:
stb_phys(VAR_1, VAR_2); break; case 2:
stw_phys(VAR_1, VAR_2); break; case 4:
stl_phys(VAR_1, VAR_2); break; default: abort(); } }