+10
−2
Loading
Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more
In absence of shadow dirty mask, there is no need to set page dirty if page has never been writable. This is a tiny optimization but good to have for people who care much about dirty page tracking. Signed-off-by:Yu Zhao <yuzhao@google.com> Signed-off-by:
Paolo Bonzini <pbonzini@redhat.com>