# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Node ID b0018346602f5c313ea20f7523028a33c903998b
# Parent  90071b25e9c03b8a29841618e6eb7f655c4fe4bf
fix domain_page_mapped
PATCHNAME: fix_domain_page_mapped

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 90071b25e9c0 -r b0018346602f xen/arch/ia64/xen/mm.c
--- a/xen/arch/ia64/xen/mm.c	Thu Jun 08 18:27:06 2006 +0900
+++ b/xen/arch/ia64/xen/mm.c	Thu Jun 08 18:27:07 2006 +0900
@@ -1053,8 +1053,8 @@ domain_page_mapped(struct domain* d, uns
 {
     pte_t * pte;
 
-    pte=lookup_noalloc_domain_pte(d, mpaddr);
-    if(!pte_none(*pte))
+    pte = lookup_noalloc_domain_pte(d, mpaddr);
+    if(pte != NULL && !pte_none(*pte))
        return 1;
     return 0;
 }