debuggers.hg

changeset 3324:a5b20d4d45b1

bitkeeper revision 1.1159.1.479 (41c07654rvhrbSCSdKV1f18P_UminA)

sync w/ head.
author cl349@arcadians.cl.cam.ac.uk
date Wed Dec 15 17:37:24 2004 +0000 (2004-12-15)
parents eb8866af6c4b
children 545088ce72b5
files xen/arch/x86/domain.c xen/common/domain.c
line diff
     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);