From: "Dr. David Alan Gilbert" <dgilb...@redhat.com> Signed-off-by: Dr. David Alan Gilbert <dgilb...@redhat.com> --- arch_init.c | 1 + 1 file changed, 1 insertion(+)
diff --git a/arch_init.c b/arch_init.c index c006d21..58eccc1 100644 --- a/arch_init.c +++ b/arch_init.c @@ -439,6 +439,7 @@ ram_addr_t migration_bitmap_find_and_reset_dirty(MemoryRegion *mr, if (next < size) { clear_bit(next, migration_bitmap); + assert(migration_dirty_pages > 0); migration_dirty_pages--; } *bitoffset = next; -- 1.9.3