davinci_clocksource   65 drivers/clocksource/timer-davinci.c } davinci_clocksource;
davinci_clocksource  183 drivers/clocksource/timer-davinci.c 	return readl_relaxed(davinci_clocksource.base +
davinci_clocksource  184 drivers/clocksource/timer-davinci.c 			     davinci_clocksource.tim_off);
davinci_clocksource  305 drivers/clocksource/timer-davinci.c 	davinci_clocksource.dev.rating = 300;
davinci_clocksource  306 drivers/clocksource/timer-davinci.c 	davinci_clocksource.dev.read = davinci_clocksource_read;
davinci_clocksource  307 drivers/clocksource/timer-davinci.c 	davinci_clocksource.dev.mask =
davinci_clocksource  309 drivers/clocksource/timer-davinci.c 	davinci_clocksource.dev.flags = CLOCK_SOURCE_IS_CONTINUOUS;
davinci_clocksource  310 drivers/clocksource/timer-davinci.c 	davinci_clocksource.base = base;
davinci_clocksource  313 drivers/clocksource/timer-davinci.c 		davinci_clocksource.dev.name = "tim12";
davinci_clocksource  314 drivers/clocksource/timer-davinci.c 		davinci_clocksource.tim_off = DAVINCI_TIMER_REG_TIM12;
davinci_clocksource  317 drivers/clocksource/timer-davinci.c 		davinci_clocksource.dev.name = "tim34";
davinci_clocksource  318 drivers/clocksource/timer-davinci.c 		davinci_clocksource.tim_off = DAVINCI_TIMER_REG_TIM34;
davinci_clocksource  326 drivers/clocksource/timer-davinci.c 	rv = clocksource_register_hz(&davinci_clocksource.dev, tick_rate);