ia64/xen-unstable

changeset 5948:7e5868cb1b91

Disallow reprogram_ac_timer to change itm, since there's only one
hardware timer source on IA64.

Signed-off-by Kevin Tian <kevin.tian@intel.com>
author fred@xuni-t01.sc.intel.com
date Tue Aug 02 02:08:00 2005 -0800 (2005-08-02)
parents 6e20607ca839
children b6803bdaa95a
files xen/arch/ia64/xenmisc.c
line diff
     1.1 --- a/xen/arch/ia64/xenmisc.c	Tue Aug 02 02:05:50 2005 -0800
     1.2 +++ b/xen/arch/ia64/xenmisc.c	Tue Aug 02 02:08:00 2005 -0800
     1.3 @@ -122,7 +122,7 @@ int reprogram_ac_timer(s_time_t timeout)
     1.4  	struct vcpu *v = current;
     1.5  
     1.6  #ifdef CONFIG_VTI
     1.7 -	if(VMX_DOMAIN(v))
     1.8 +//	if(VMX_DOMAIN(v))
     1.9  		return 1;
    1.10  #endif // CONFIG_VTI
    1.11  	if (!domain0_ready) return 1;