1.1 --- a/xen/arch/x86/domain.c	Thu Dec 07 11:47:10 2006 +0000
     1.2 +++ b/xen/arch/x86/domain.c	Thu Dec 07 13:14:44 2006 +0000
     1.3 @@ -134,6 +134,8 @@ int vcpu_initialise(struct vcpu *v)
     1.4  
     1.5      v->arch.flags = TF_kernel_mode;
     1.6  
     1.7 +    pae_l3_cache_init(&v->arch.pae_l3_cache);
     1.8 +
     1.9      if ( is_hvm_domain(d) )
    1.10      {
    1.11          if ( (rc = hvm_vcpu_initialise(v)) != 0 )
    1.12 @@ -155,8 +157,6 @@ int vcpu_initialise(struct vcpu *v)
    1.13      v->arch.perdomain_ptes =
    1.14          d->arch.mm_perdomain_pt + (v->vcpu_id << GDT_LDT_VCPU_SHIFT);
    1.15  
    1.16 -    pae_l3_cache_init(&v->arch.pae_l3_cache);
    1.17 -
    1.18      return 0;
    1.19  }
    1.20