Searched refs:davinci_clocksource (Results 1 – 1 of 1) sorted by relevance
64 } davinci_clocksource; variable182 return readl_relaxed(davinci_clocksource.base + in davinci_timer_read_sched_clock()183 davinci_clocksource.tim_off); in davinci_timer_read_sched_clock()302 davinci_clocksource.dev.rating = 300; in davinci_timer_register()303 davinci_clocksource.dev.read = davinci_clocksource_read; in davinci_timer_register()304 davinci_clocksource.dev.mask = in davinci_timer_register()307 davinci_clocksource.base = base; in davinci_timer_register()310 davinci_clocksource.dev.name = "tim12"; in davinci_timer_register()311 davinci_clocksource.tim_off = DAVINCI_TIMER_REG_TIM12; in davinci_timer_register()314 davinci_clocksource.dev.name = "tim34"; in davinci_timer_register()[all …]
Completed in 3 milliseconds