ia64/xen-unstable

changeset 14027:e4ddec3dffb0

[XEN] Fix skip-verify shadow heuristic
Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>
author Tim Deegan <Tim.Deegan@xensource.com>
date Tue Feb 20 13:57:26 2007 +0000 (2007-02-20)
parents ecb6cd61a9cf
children 75697d623a2b 6746873997b5
files xen/arch/x86/mm/shadow/multi.c
line diff
     1.1 --- a/xen/arch/x86/mm/shadow/multi.c	Tue Feb 20 12:27:03 2007 +0000
     1.2 +++ b/xen/arch/x86/mm/shadow/multi.c	Tue Feb 20 13:57:26 2007 +0000
     1.3 @@ -3932,8 +3932,7 @@ static int safe_not_to_verify_write(mfn_
     1.4  #if (SHADOW_OPTIMIZATIONS & SHOPT_SKIP_VERIFY)
     1.5      struct page_info *pg = mfn_to_page(gmfn);
     1.6      if ( !(pg->shadow_flags & SHF_32) 
     1.7 -         && bytes == 4 
     1.8 -         && ((unsigned long)dst & 3) == 0 )
     1.9 +         && ((unsigned long)dst & 7) == 0 )
    1.10      {
    1.11          /* Not shadowed 32-bit: aligned 64-bit writes that leave the
    1.12           * present bit unset are safe to ignore. */
    1.13 @@ -3942,8 +3941,7 @@ static int safe_not_to_verify_write(mfn_
    1.14              return 1;
    1.15      }
    1.16      else if ( !(pg->shadow_flags & (SHF_PAE|SHF_64)) 
    1.17 -              && bytes == 8 
    1.18 -              && ((unsigned long)dst & 7) == 0 )
    1.19 +              && ((unsigned long)dst & 3) == 0 )
    1.20      {
    1.21          /* Not shadowed PAE/64-bit: aligned 32-bit writes that leave the
    1.22           * present bit unset are safe to ignore. */