1.1 --- a/xen/arch/ia64/linux-xen/smpboot.c	Fri Mar 14 15:00:27 2008 -0600
     1.2 +++ b/xen/arch/ia64/linux-xen/smpboot.c	Fri Mar 14 15:02:12 2008 -0600
     1.3 @@ -64,6 +64,7 @@
     1.4  #ifdef XEN
     1.5  #include <xen/domain.h>
     1.6  #include <asm/hw_irq.h>
     1.7 +#include <asm/vmx.h>
     1.8  #ifndef CONFIG_SMP
     1.9  cpumask_t cpu_online_map = CPU_MASK_CPU0;
    1.10  EXPORT_SYMBOL(cpu_online_map);
    1.11 @@ -442,6 +443,9 @@ start_secondary (void *unused)
    1.12  	smp_callin();
    1.13  
    1.14  #ifdef XEN
    1.15 +	if (vmx_enabled)
    1.16 +		vmx_init_env(0, 0);
    1.17 +
    1.18  	startup_cpu_idle_loop();
    1.19  #else
    1.20  	cpu_idle();

     2.1 --- a/xen/arch/ia64/vmx/vmx_init.c	Fri Mar 14 15:00:27 2008 -0600
     2.2 +++ b/xen/arch/ia64/vmx/vmx_init.c	Fri Mar 14 15:02:12 2008 -0600
     2.3 @@ -105,6 +105,8 @@ no_vti:
     2.4  }
     2.5  
     2.6  /*
     2.7 + *  ** This function must be called on every processor **
     2.8 + *
     2.9   * Init virtual environment on current LP
    2.10   * vsa_base is the indicator whether it's first LP to be initialized
    2.11   * for current domain.