static void kvm_log_stop(MemoryListener *listener,

                          MemoryRegionSection *section)

{

    int r;



    r = kvm_dirty_pages_log_change(section->offset_within_address_space,

                                   int128_get64(section->size), false);

    if (r < 0) {

        abort();

    }

}

static void kvm_log_stop(MemoryListener *listener,

                          MemoryRegionSection *section)

{

    int r;



    r = kvm_dirty_pages_log_change(section->offset_within_address_space,

                                   int128_get64(section->size), false);

    if (r < 0) {

        abort();

    }

}

static void FUNC_0(MemoryListener *VAR_0,

                          MemoryRegionSection *VAR_1)

{

    int VAR_2;



    VAR_2 = kvm_dirty_pages_log_change(VAR_1->offset_within_address_space,

                                   int128_get64(VAR_1->size), false);

    if (VAR_2 < 0) {

        abort();

    }

}

static void FUNC_0(MemoryListener *VAR_0,
MemoryRegionSection *VAR_1)
{ int VAR_2; VAR_2 = kvm_dirty_pages_log_change(VAR_1->offset_within_address_space,
int128_get64(VAR_1->size), false); if (VAR_2 < 0) { abort(); } }