1.1 --- a/xen/common/memory.c	Tue Oct 07 21:27:25 2003 +0000
     1.2 +++ b/xen/common/memory.c	Tue Oct 07 21:52:00 2003 +0000
     1.3 @@ -817,13 +817,14 @@ int do_process_page_updates(page_update_
     1.4                      err = mod_l2_entry((l2_pgentry_t *)req.ptr, 
     1.5                                         mk_l2_pgentry(req.val)); 
     1.6                      break;                    
     1.7 -                case PGT_none:
     1.8 -                    MEM_LOG("Update to non-pt page %08lx", req.ptr);
     1.9 -                    *(unsigned long *)req.ptr = req.val;
    1.10 -                    err = 0;
    1.11 -                    break;
    1.12                  default:
    1.13 -                    MEM_LOG("Update to bad page %08lx", req.ptr);
    1.14 +                    if ( page->type_count == 0 )
    1.15 +                    {
    1.16 +                        *(unsigned long *)req.ptr = req.val;
    1.17 +                        err = 0;
    1.18 +                    }
    1.19 +                    else
    1.20 +                        MEM_LOG("Update to bad page %08lx", req.ptr);
    1.21                      break;
    1.22                  }
    1.23              }