diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2017-01-27 16:40:15 +0100 |
---|---|---|
committer | Michael S. Tsirkin <mst@redhat.com> | 2017-02-17 21:52:30 +0200 |
commit | 91047df38dffa80222179f63fbb74c1dfefa25ed (patch) | |
tree | c38d5210dd4f22eeab16ed257aa06637adfb5d54 /translate-common.c | |
parent | 9796d0ac8fb0a8d522afd409cb25a607eae61617 (diff) |
exec: make address_space_cache_destroy idempotent
Clear cache->mr so that address_space_cache_destroy does nothing
the second time it is called.
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Diffstat (limited to 'translate-common.c')
0 files changed, 0 insertions, 0 deletions