void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,

                               hwaddr size, unsigned client)

{

    assert(mr->terminates);

    cpu_physical_memory_test_and_clear_dirty(mr->ram_addr + addr, size,

                                             client);

}

void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,

                               hwaddr size, unsigned client)

{

    assert(mr->terminates);

    cpu_physical_memory_test_and_clear_dirty(mr->ram_addr + addr, size,

                                             client);

}

void FUNC_0(MemoryRegion *VAR_0, hwaddr VAR_1,

                               hwaddr VAR_2, unsigned VAR_3)

{

    assert(VAR_0->terminates);

    cpu_physical_memory_test_and_clear_dirty(VAR_0->ram_addr + VAR_1, VAR_2,

                                             VAR_3);

}

void FUNC_0(MemoryRegion *VAR_0, hwaddr VAR_1,
hwaddr VAR_2, unsigned VAR_3)
{ assert(VAR_0->terminates); cpu_physical_memory_test_and_clear_dirty(VAR_0->ram_addr + VAR_1, VAR_2,
VAR_3); }