diff -r fec8b52b1a7f xen/include/asm-x86/p2m.h
--- a/xen/include/asm-x86/p2m.h	Tue Sep 11 19:11:02 2007 +0100
+++ b/xen/include/asm-x86/p2m.h	Wed Sep 12 10:48:39 2007 +0200
@@ -119,7 +119,7 @@ static inline mfn_t gfn_to_mfn_current(u
 
         if ( ret == 0 ) {
             p2mt = p2m_flags_to_type(l1e_get_flags(l1e));
-            ASSERT(l1e_get_pfn(l1e) != INVALID_MFN || !p2m_is_ram(*t));
+            ASSERT(l1e_get_pfn(l1e) != INVALID_MFN || !p2m_is_ram(p2mt));
             if ( p2m_is_valid(p2mt) )
                 mfn = _mfn(l1e_get_pfn(l1e));
             else