Displaying 1 result from an estimated 1 matches for "hpet_get_channel".
2009 Apr 30
0
[PATCH] cpuidle: Fix for timer_deadline==0 case
...return 0;
}
delta = expire - now;
@@ -625,6 +625,9 @@ void hpet_broadcast_enter(void)
int cpu = smp_processor_id();
struct hpet_event_channel *ch = per_cpu(cpu_bc_channel, cpu);
+ if ( this_cpu(timer_deadline) == 0 )
+ return;
+
if ( !ch )
ch = hpet_get_channel(cpu);
BUG_ON( !ch );
Jimmy
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel