/* Take the local apic timer and PIT/HPET into account. We don't know which one is active, when we have highres/dyntick on  */
static unsigned int get_timer_irqs(int cpu)
/* Take the local apic timer and PIT/HPET into account. We don't know which one is active, when we have highres/dyntick on  */
static unsigned int get_timer_irqs(int cpu)
{
	return per_cpu(irq_stat, cpu).apic_timer_irqs +
		per_cpu(irq_stat, cpu).irq0_irqs;
}