1.1 --- a/xen/arch/x86/domain.c	Tue Dec 14 17:29:52 2004 +0000
     1.2 +++ b/xen/arch/x86/domain.c	Wed Dec 15 17:37:24 2004 +0000
     1.3 @@ -235,6 +235,7 @@ void arch_do_createdomain(struct exec_do
     1.4          memset(d->mm_perdomain_pt, 0, PAGE_SIZE);
     1.5          machine_to_phys_mapping[virt_to_phys(d->mm_perdomain_pt) >> 
     1.6                                 PAGE_SHIFT] = INVALID_P2M_ENTRY;
     1.7 +        ed->mm.perdomain_ptes = d->mm_perdomain_pt;
     1.8      }
     1.9  }
    1.10  

     2.1 --- a/xen/common/domain.c	Tue Dec 14 17:29:52 2004 +0000
     2.2 +++ b/xen/common/domain.c	Wed Dec 15 17:37:24 2004 +0000
     2.3 @@ -336,6 +336,7 @@ long do_boot_vcpu(unsigned long vcpu, fu
     2.4      memcpy(&ed->thread, &idle0_exec_domain.thread, sizeof(ed->thread));
     2.5  
     2.6      /* arch_do_createdomain */
     2.7 +    ed->thread.schedule_tail = d->exec_domain[0]->thread.schedule_tail;
     2.8      ed->mm.perdomain_ptes = d->mm_perdomain_pt + (ed->eid << PDPT_VCPU_SHIFT);
     2.9  
    2.10      sched_add_domain(ed);