[IA64] Add NULL test in domain_page_mapped()

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/arch/ia64/xen/mm.c b/xen/arch/ia64/xen/mm.c
index 7b6135ca237ab771e9b3ee07aa6bbf03a364640d..736f3919ed48722b5c0cc9033ac5a579c3de1d66 100644 (file)
--- a/xen/arch/ia64/xen/mm.c
+++ b/xen/arch/ia64/xen/mm.c
@@ -1053,8 +1053,8 @@ domain_page_mapped(struct domain* d, unsigned long mpaddr)
 {
     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;
 }