/* a20r platform uses 2 counters to divide the input frequency. Counter 2 output is connected to Counter 0 & 1 input.  */
static void __init sni_a20r_timer_setup(void)
/* a20r platform uses 2 counters to divide the input frequency. Counter 2 output is connected to Counter 0 & 1 input.  */
static void __init sni_a20r_timer_setup(void)
{
	struct clock_event_device *cd = &a20r_clockevent_device;
	struct irqaction *action = &a20r_irqaction;
	unsigned int cpu = smp_processor_id();
	cd->cpumask             = cpumask_of(cpu);
	clockevents_register_device(cd);
	action->dev_id = cd;
	setup_irq(SNI_A20R_IRQ_TIMER, &a20r_irqaction);
}