ia64/xen-unstable

changeset 11237:f71f17e64e3a

Fix assertion.

Signed-off-by: Steven Hand <steven@xensource.com>
author Steven Hand <steven@xensource.com>
date Mon Aug 21 13:21:51 2006 +0100 (2006-08-21)
parents 4a722773e38d
children 6a8204e4619d
files xen/arch/x86/x86_32/domain_page.c
line diff
     1.1 --- a/xen/arch/x86/x86_32/domain_page.c	Mon Aug 21 11:51:54 2006 +0100
     1.2 +++ b/xen/arch/x86/x86_32/domain_page.c	Mon Aug 21 13:21:51 2006 +0100
     1.3 @@ -241,7 +241,7 @@ void unmap_domain_page_global(void *va)
     1.4      l1_pgentry_t *pl1e;
     1.5      unsigned int idx;
     1.6  
     1.7 -    ASSERT((__va >= IOREMAP_VIRT_START) && (__va < IOREMAP_VIRT_END));
     1.8 +    ASSERT(__va >= IOREMAP_VIRT_START);
     1.9  
    1.10      /* /First/, we zap the PTE. */
    1.11      pl2e = virt_to_xen_l2e(__va);
    1.12 @@ -270,7 +270,7 @@ paddr_t maddr_from_mapped_domain_page(vo
    1.13      }
    1.14      else
    1.15      {
    1.16 -        ASSERT((__va >= IOREMAP_VIRT_START) && (__va < IOREMAP_VIRT_END));
    1.17 +        ASSERT(__va >= IOREMAP_VIRT_START);
    1.18          pl2e = virt_to_xen_l2e(__va);
    1.19          pl1e = l2e_to_l1e(*pl2e) + l1_table_offset(__va);
    1.20          mfn = l1e_get_pfn(*pl1e);