debuggers.hg

changeset 19622:86f659545f17

find changesets by author, revision, files, or words in the commit message
x86 shadow: fix audit mode.

Splintered L1s can have the dirty bit clean because of vram tracking.

Signed-off-by: Gianluca Guida <gianluca.guida@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Apr 29 11:53:23 2009 +0100 (2009-04-29)
parents ea068394ec12
children cc6db34c2996
files xen/arch/x86/mm/shadow/multi.c
line diff
     1.1 --- a/xen/arch/x86/mm/shadow/multi.c	Wed Apr 29 11:52:14 2009 +0100
     1.2 +++ b/xen/arch/x86/mm/shadow/multi.c	Wed Apr 29 11:53:23 2009 +0100
     1.3 @@ -4987,6 +4987,9 @@ int sh_audit_fl1_table(struct vcpu *v, m
     1.4          f &= ~(_PAGE_AVAIL0|_PAGE_AVAIL1|_PAGE_AVAIL2);
     1.5          if ( !(f == 0 
     1.6                 || f == (_PAGE_PRESENT|_PAGE_USER|_PAGE_RW|
     1.7 +                        _PAGE_ACCESSED) 
     1.8 +               || f == (_PAGE_PRESENT|_PAGE_USER|_PAGE_ACCESSED)
     1.9 +               || f == (_PAGE_PRESENT|_PAGE_USER|_PAGE_RW|
    1.10                          _PAGE_ACCESSED|_PAGE_DIRTY) 
    1.11                 || f == (_PAGE_PRESENT|_PAGE_USER|_PAGE_ACCESSED|_PAGE_DIRTY)
    1.12                 || sh_l1e_is_magic(*sl1e)) )