KVM: Make mark_page_dirty() work for aliased pages too.

Recommended by Izik Eidus.

Signed-off-by: Uri Lublin <uril@qumranet.com>
Signed-off-by: Avi Kivity <avi@qumranet.com>
This commit is contained in:
Uri Lublin 2007-10-30 10:42:09 +02:00 • committed by Avi Kivity
commit 3b6fff198c