direct-io.hg

changeset 10389:ececeade018f

[IA64] Add NULL test in domain_page_mapped()

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author awilliam@xenbuild.aw
date Fri Jun 09 10:35:37 2006 -0600 (2006-06-09)
parents 1c9bdbc5e27b
children 7da52d016bcc
files xen/arch/ia64/xen/mm.c
line diff
     1.1 --- a/xen/arch/ia64/xen/mm.c	Fri Jun 09 10:35:36 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/mm.c	Fri Jun 09 10:35:37 2006 -0600
     1.3 @@ -1053,8 +1053,8 @@ domain_page_mapped(struct domain* d, uns
     1.4  {
     1.5      pte_t * pte;
     1.6  
     1.7 -    pte=lookup_noalloc_domain_pte(d, mpaddr);
     1.8 -    if(!pte_none(*pte))
     1.9 +    pte = lookup_noalloc_domain_pte(d, mpaddr);
    1.10 +    if(pte != NULL && !pte_none(*pte))
    1.11         return 1;
    1.12      return 0;
    1.13  }