commit dbddac6da01a13c9d5d162994a0a265173acecab
author Paolo Bonzini <pbonzini@redhat.com> Mon Mar 23 10:31:53 2015 +0100
committer Paolo Bonzini <pbonzini@redhat.com> Fri Jun 05 17:09:58 2015 +0200
tree 219521c2e93f502616abd00ec5f92d08c52d96dd
parent 6b4ad3b28d4a70ad93f287b50200b04766aeb0de

memory: the only dirty memory flag for users is DIRTY_MEMORY_VGA

DIRTY_MEMORY_MIGRATION is triggered by memory_global_dirty_log_start
and memory_global_dirty_log_stop, so it cannot be used with
memory_region_set_log.

Specify this in the documentation and assert it.

Reviewed-by: Fam Zheng <famz@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

memory.c

diff --git a/memory.c b/memory.c
index 03c536b..a8f8599 100644
--- a/memory.c
+++ b/memory.c
@@ -1425,6 +1425,7 @@
 {
     uint8_t mask = 1 << client;
 
+    assert(client == DIRTY_MEMORY_VGA);
     memory_region_transaction_begin();
     mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
     memory_region_update_pending |= mr->enabled;