# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Date 1153997893 -32400
# Node ID 41d895195c5aa95152518a0419c6f0615d0558e9
# Parent  572d08aa4ab90122624f359e78a47ca78614e09e
VTi domain assumes that current->arch.arch_vmx.vtm.vtm_timer is
running on the same physical cpu of vcpu.
However vcpu is migrated between phsyical cpus, the assumption isn't true.
PATCHNAME: vtm_timer

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 572d08aa4ab9 -r 41d895195c5a xen/arch/ia64/xen/domain.c
--- a/xen/arch/ia64/xen/domain.c	Thu Jul 27 16:03:01 2006 +0900
+++ b/xen/arch/ia64/xen/domain.c	Thu Jul 27 19:58:13 2006 +0900
@@ -368,6 +368,10 @@ if (!i--) { i = 1000000; printk("+"); }
     local_irq_restore(spsr);
     flush_vtlb_for_context_switch(current);
     context_saved(prev);
+    if (VMX_DOMAIN(current)){
+        migrate_timer(&current->arch.arch_vmx.vtm.vtm_timer,
+		      current->processor);
+    }
 }
 
 void continue_running(struct vcpu *same)