[Xen-changelog] [xen-unstable] [XEN] Fix skip-verify shadow heuristic

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Tim Deegan <Tim.Deegan@xxxxxxxxxxxxx>
# Date 1171979846 0
# Node ID e4ddec3dffb0b0dbd1fdc4dc51e1aafcba05bfb7
# Parent  ecb6cd61a9cfa70be364aace1cb183bae03b04fd
[XEN] Fix skip-verify shadow heuristic
Signed-off-by: Tim Deegan <Tim.Deegan@xxxxxxxxxxxxx>
---
 xen/arch/x86/mm/shadow/multi.c |    6 ++----
 1 files changed, 2 insertions(+), 4 deletions(-)

diff -r ecb6cd61a9cf -r e4ddec3dffb0 xen/arch/x86/mm/shadow/multi.c
--- a/xen/arch/x86/mm/shadow/multi.c    Tue Feb 20 12:27:03 2007 +0000
+++ b/xen/arch/x86/mm/shadow/multi.c    Tue Feb 20 13:57:26 2007 +0000
@@ -3932,8 +3932,7 @@ static int safe_not_to_verify_write(mfn_
 #if (SHADOW_OPTIMIZATIONS & SHOPT_SKIP_VERIFY)
     struct page_info *pg = mfn_to_page(gmfn);
     if ( !(pg->shadow_flags & SHF_32) 
-         && bytes == 4 
-         && ((unsigned long)dst & 3) == 0 )
+         && ((unsigned long)dst & 7) == 0 )
     {
         /* Not shadowed 32-bit: aligned 64-bit writes that leave the
          * present bit unset are safe to ignore. */
@@ -3942,8 +3941,7 @@ static int safe_not_to_verify_write(mfn_
             return 1;
     }
     else if ( !(pg->shadow_flags & (SHF_PAE|SHF_64)) 
-              && bytes == 8 
-              && ((unsigned long)dst & 7) == 0 )
+              && ((unsigned long)dst & 3) == 0 )
     {
         /* Not shadowed PAE/64-bit: aligned 32-bit writes that leave the
          * present bit unset are safe to ignore. */

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog