tree 1c27a99dec9f809af6530c3014c81b3c057e9caf
parent 26a83ad0e793465b74a8b06a65f2f6fdc5615413
author Avi Kivity <avi@redhat.com> 1325435064 +0200
committer Avi Kivity <avi@redhat.com> 1325676889 +0200

Fix wrong region_offset when overlaying a page with another

cpu_register_physical_memory_log() does not update region_offset
if a page was previously registered for the same address.  This
could cause mmio accesses going to the wrong place, by using the
old region_offset.

Signed-off-by: Avi Kivity <avi@redhat.com>
Acked-by: Andreas Färber <afaerber@suse.de>
Reviewed-by: Richard Henderson <rth@twiddle.net>