static void migration_bitmap_sync_range(ram_addr_t start, ram_addr_t length)

{

    unsigned long *bitmap;

    bitmap = atomic_rcu_read(&migration_bitmap);

    migration_dirty_pages +=

        cpu_physical_memory_sync_dirty_bitmap(bitmap, start, length);

}

static void migration_bitmap_sync_range(ram_addr_t start, ram_addr_t length)

{

    unsigned long *bitmap;

    bitmap = atomic_rcu_read(&migration_bitmap);

    migration_dirty_pages +=

        cpu_physical_memory_sync_dirty_bitmap(bitmap, start, length);

}

    bitmap = atomic_rcu_read(&migration_bitmap);     bitmap = atomic_rcu_read(&migration_bitmap);
static void FUNC_0(ram_addr_t VAR_0, ram_addr_t VAR_1)

{

    unsigned long *VAR_2;

    VAR_2 = atomic_rcu_read(&migration_bitmap);

    migration_dirty_pages +=

        cpu_physical_memory_sync_dirty_bitmap(VAR_2, VAR_0, VAR_1);

}

static void FUNC_0(ram_addr_t VAR_0, ram_addr_t VAR_1)
{ unsigned long *VAR_2; VAR_2 = atomic_rcu_read(&migration_bitmap); migration_dirty_pages +=
cpu_physical_memory_sync_dirty_bitmap(VAR_2, VAR_0, VAR_1); }