Lines Matching refs:davinci_clocksource
65 } davinci_clocksource; variable
183 return readl_relaxed(davinci_clocksource.base + in davinci_timer_read_sched_clock()
184 davinci_clocksource.tim_off); in davinci_timer_read_sched_clock()
309 davinci_clocksource.dev.rating = 300; in davinci_timer_register()
310 davinci_clocksource.dev.read = davinci_clocksource_read; in davinci_timer_register()
311 davinci_clocksource.dev.mask = in davinci_timer_register()
313 davinci_clocksource.dev.flags = CLOCK_SOURCE_IS_CONTINUOUS; in davinci_timer_register()
314 davinci_clocksource.base = base; in davinci_timer_register()
317 davinci_clocksource.dev.name = "tim12"; in davinci_timer_register()
318 davinci_clocksource.tim_off = DAVINCI_TIMER_REG_TIM12; in davinci_timer_register()
321 davinci_clocksource.dev.name = "tim34"; in davinci_timer_register()
322 davinci_clocksource.tim_off = DAVINCI_TIMER_REG_TIM34; in davinci_timer_register()
326 rv = clocksource_register_hz(&davinci_clocksource.dev, tick_rate); in davinci_timer_register()