static void migration_bitmap_sync(void)

{

    uint64_t num_dirty_pages_init = ram_list.dirty_pages;



    trace_migration_bitmap_sync_start();

    memory_global_sync_dirty_bitmap(get_system_memory());

    trace_migration_bitmap_sync_end(ram_list.dirty_pages

                                    - num_dirty_pages_init);

}

static void migration_bitmap_sync(void)

{

    uint64_t num_dirty_pages_init = ram_list.dirty_pages;



    trace_migration_bitmap_sync_start();

    memory_global_sync_dirty_bitmap(get_system_memory());

    trace_migration_bitmap_sync_end(ram_list.dirty_pages

                                    - num_dirty_pages_init);

}

static void FUNC_0(void)

{

    uint64_t num_dirty_pages_init = ram_list.dirty_pages;



    trace_migration_bitmap_sync_start();

    memory_global_sync_dirty_bitmap(get_system_memory());

    trace_migration_bitmap_sync_end(ram_list.dirty_pages

                                    - num_dirty_pages_init);

}

static void FUNC_0(void)
{ uint64_t num_dirty_pages_init = ram_list.dirty_pages; trace_migration_bitmap_sync_start(); memory_global_sync_dirty_bitmap(get_system_memory()); trace_migration_bitmap_sync_end(ram_list.dirty_pages
- num_dirty_pages_init); }