# HG changeset patch
# User maf46@burn.cl.cam.ac.uk
# Date 1114115340 0
# Node ID 303fb016437cf70deac60d6d6fb9f44d89992ddf
# Parent  744349042cd0b89375ac4667578bfb00857c9d70
bitkeeper revision 1.1363 (42680d0cgIEixfhEIj_iwmyZ73FnfA)

Fix assertion in delete_shadow_status to allow for removal of PGT_writable_pred's...

Signed-off-by: michael.fetterman@cl.cam.ac.uk


diff -r 744349042cd0 -r 303fb016437c xen/include/asm-x86/shadow.h
--- a/xen/include/asm-x86/shadow.h	Thu Apr 21 20:18:32 2005 +0000
+++ b/xen/include/asm-x86/shadow.h	Thu Apr 21 20:29:00 2005 +0000
@@ -1152,7 +1152,7 @@ static inline void delete_shadow_status(
     unsigned long key = gpfn | stype;
 
     ASSERT(spin_is_locked(&d->arch.shadow_lock));
-    ASSERT(gpfn && !(gpfn & ~PGT_mfn_mask));
+    ASSERT(!(gpfn & ~PGT_mfn_mask));
     ASSERT(stype && !(stype & ~PGT_type_mask));
 
     head = hash_bucket(d, gpfn);