1.1 --- a/xen/arch/x86/vmx_vmcs.c	Mon Dec 20 17:36:26 2004 +0000
     1.2 +++ b/xen/arch/x86/vmx_vmcs.c	Tue Dec 21 09:51:09 2004 +0000
     1.3 @@ -195,10 +195,10 @@ void vmx_do_launch(struct exec_domain *e
     1.4      spin_lock(&d->page_alloc_lock);
     1.5      list_ent = d->page_list.next;
     1.6  
     1.7 -    mpl2e = (l2_pgentry_t *) map_domain_mem(pagetable_val(ed->mm.monitor_table));
     1.8 -    ASSERT(mpl2e[PERDOMAIN_VIRT_START >> L2_PAGETABLE_SHIFT]);
     1.9 +    mpl2e = (l2_pgentry_t *)map_domain_mem(pagetable_val(ed->mm.monitor_table));
    1.10  
    1.11 -    for (i = 0; list_ent != &d->page_list; i++ ) {
    1.12 +    for ( i = 0; list_ent != &d->page_list; i++ )
    1.13 +    {
    1.14          pfn = list_entry(list_ent, struct pfn_info, list) - frame_table;
    1.15          ed->mm.min_pfn = min(ed->mm.min_pfn, pfn);
    1.16          ed->mm.max_pfn = max(ed->mm.max_pfn, pfn);