commit | dbddac6da01a13c9d5d162994a0a265173acecab | [log] [tgz] |
---|---|---|
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 [diff] |
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>