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);