direct-io.hg

changeset 9459:db8266c27c4f

Fix get_page_type() when passed PGT_va_mutable.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Tue Mar 28 21:21:26 2006 +0100 (2006-03-28)
parents 5b1a10f9da4c
children e84b1185013f
files xen/arch/x86/mm.c
line diff
     1.1 --- a/xen/arch/x86/mm.c	Tue Mar 28 18:43:30 2006 +0100
     1.2 +++ b/xen/arch/x86/mm.c	Tue Mar 28 21:21:26 2006 +0100
     1.3 @@ -1528,10 +1528,9 @@ int get_page_type(struct page_info *page
     1.4                      nx &= ~PGT_va_mask;
     1.5                      nx |= type; /* we know the actual type is correct */
     1.6                  }
     1.7 -                else
     1.8 +                else if ( (type & PGT_va_mask) != PGT_va_mutable )
     1.9                  {
    1.10                      ASSERT((type & PGT_va_mask) != (x & PGT_va_mask));
    1.11 -                    ASSERT((type & PGT_va_mask) != PGT_va_mutable);
    1.12  #ifdef CONFIG_X86_PAE
    1.13                      /* We use backptr as extra typing. Cannot be unknown. */
    1.14                      if ( (type & PGT_type_mask) == PGT_l2_page_table )