On 26/05/2015 10:40, Fam Zheng wrote: >> > void memory_global_dirty_log_stop(void) >> > { >> > + /* Refresh DIRTY_LOG_MIGRATION bit. */ >> > + memory_region_transaction_begin(); >> > + memory_region_update_pending = true; >> > + memory_region_transaction_commit(); >> > + >> > global_dirty_log = false; > Shouldn't this go before memory_region_transaction_begin?
Yes. Paolo