DAVINCI_TIMER_CLKSRC_BITS  308 drivers/clocksource/timer-davinci.c 			CLOCKSOURCE_MASK(DAVINCI_TIMER_CLKSRC_BITS);
DAVINCI_TIMER_CLKSRC_BITS  333 drivers/clocksource/timer-davinci.c 			     DAVINCI_TIMER_CLKSRC_BITS, tick_rate);