patch shadow_check_invalid_mfn

diff --git a/xen/arch/x86/mm/shadow/common.c b/xen/arch/x86/mm/shadow/common.c
index dd391cc6759d08c45950e73a19d0a6658950e456..9b0f843b591b3c288699385a8976ed6fb6e42319 100644 (file)
--- a/xen/arch/x86/mm/shadow/common.c
+++ b/xen/arch/x86/mm/shadow/common.c
@@ -2724,6 +2724,8 @@ void sh_remove_shadows(struct vcpu *v, mfn_t gmfn, int fast, int all)
     };
 
     ASSERT(!(all && fast));
+    if ( !mfn_valid(gmfn) )
+        return;
 
     /* Although this is an externally visible function, we do not know
      * whether the shadow lock will be held when it is called (since it