1.1 --- a/xen/arch/ia64/xenmisc.c	Mon Jul 18 13:23:36 2005 -0700
     1.2 +++ b/xen/arch/ia64/xenmisc.c	Mon Jul 18 14:05:04 2005 -0700
     1.3 @@ -291,8 +291,8 @@ void context_switch(struct vcpu *prev, s
     1.4  static long cnt[16] = { 50,50,50,50,50,50,50,50,50,50,50,50,50,50,50,50};
     1.5  static int i = 100;
     1.6  int id = ((struct vcpu *)current)->domain->domain_id & 0xf;
     1.7 -if (!cnt[id]--) { printk("%x",id); cnt[id] = 50000; }
     1.8 -if (!i--) { printk("+",id); i = 100000; }
     1.9 +if (!cnt[id]--) { printk("%x",id); cnt[id] = 500000; }
    1.10 +if (!i--) { printk("+",id); i = 1000000; }
    1.11  }
    1.12  	clear_bit(_VCPUF_running, &prev->vcpu_flags);
    1.13  	//if (!is_idle_task(next->domain) )

     2.1 --- a/xen/include/asm-ia64/xensystem.h	Mon Jul 18 13:23:36 2005 -0700
     2.2 +++ b/xen/include/asm-ia64/xensystem.h	Mon Jul 18 14:05:04 2005 -0700
     2.3 @@ -58,7 +58,8 @@ extern struct task_struct *vmx_ia64_swit
     2.4  		ia64_save_extra(prev);								 \
     2.5  	if (IA64_HAS_EXTRA_STATE(next))								 \
     2.6  		ia64_load_extra(next);								 \
     2.7 -	ia64_psr(ia64_task_regs(next))->dfh = !ia64_is_local_fpu_owner(next);			 \
     2.8 +	/*ia64_psr(ia64_task_regs(next))->dfh = !ia64_is_local_fpu_owner(next);*/			 \
     2.9 +	/* vcpu_set_next_timer(next);  TURN ME BACK ON */					\
    2.10  	(last) = ia64_switch_to((next));							 \
    2.11  } while (0)
    2.12  #endif // CONFIG_VTI