memory: the only dirty memory flag for users is DIRTY_MEMORY_VGA
commitdbddac6da01a13c9d5d162994a0a265173acecab
authorPaolo Bonzini <pbonzini@redhat.com>
Mon, 23 Mar 2015 09:31:53 +0000 (23 10:31 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Fri, 5 Jun 2015 15:09:58 +0000 (5 17:09 +0200)
tree219521c2e93f502616abd00ec5f92d08c52d96dd
parent6b4ad3b28d4a70ad93f287b50200b04766aeb0de
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>
include/exec/memory.h
memory.c