From: "Dr. David Alan Gilbert" <[email protected]> Signed-off-by: Dr. David Alan Gilbert <[email protected]> --- 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
