DAVINCI_TIMER_NUM_IRQS  351 drivers/clocksource/timer-davinci.c 				      DAVINCI_TIMER_NUM_IRQS);
DAVINCI_TIMER_NUM_IRQS  352 drivers/clocksource/timer-davinci.c 	if (rv != DAVINCI_TIMER_NUM_IRQS) {
DAVINCI_TIMER_NUM_IRQS   37 include/clocksource/timer-davinci.h 	struct resource irq[DAVINCI_TIMER_NUM_IRQS];