# HG changeset patch
# User cl349@arcadians.cl.cam.ac.uk
# Date 1103132244 0
# Node ID a5b20d4d45b125b9647075c8b791e7cdc80a01d4
# Parent  eb8866af6c4b08e1d1ae889238870be4f39e3155
bitkeeper revision 1.1159.1.479 (41c07654rvhrbSCSdKV1f18P_UminA)

sync w/ head.


diff -r eb8866af6c4b -r a5b20d4d45b1 xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c	Tue Dec 14 17:29:52 2004 +0000
+++ b/xen/arch/x86/domain.c	Wed Dec 15 17:37:24 2004 +0000
@@ -235,6 +235,7 @@ void arch_do_createdomain(struct exec_do
         memset(d->mm_perdomain_pt, 0, PAGE_SIZE);
         machine_to_phys_mapping[virt_to_phys(d->mm_perdomain_pt) >> 
                                PAGE_SHIFT] = INVALID_P2M_ENTRY;
+        ed->mm.perdomain_ptes = d->mm_perdomain_pt;
     }
 }
 
diff -r eb8866af6c4b -r a5b20d4d45b1 xen/common/domain.c
--- a/xen/common/domain.c	Tue Dec 14 17:29:52 2004 +0000
+++ b/xen/common/domain.c	Wed Dec 15 17:37:24 2004 +0000
@@ -336,6 +336,7 @@ long do_boot_vcpu(unsigned long vcpu, fu
     memcpy(&ed->thread, &idle0_exec_domain.thread, sizeof(ed->thread));
 
     /* arch_do_createdomain */
+    ed->thread.schedule_tail = d->exec_domain[0]->thread.schedule_tail;
     ed->mm.perdomain_ptes = d->mm_perdomain_pt + (ed->eid << PDPT_VCPU_SHIFT);
 
     sched_add_domain(ed);