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