/*
* clocksource
*/
static cycle_t read_cycles(struct clocksource *cs)
{
struct timer_s *t = &timers[TID_CLOCKSOURCE];
return (cycles_t)timer32_read(t);
}
/*
* clocksource
*/
static cycle_t read_cycles(void)
{
struct timer_s *t = &timers[TID_CLOCKSOURCE];
return (cycles_t)timer32_read(t);
}
/*
* Overwrite weak default sched_clock with something more precise
*/
static u32 notrace tci6614_read_sched_clock(void)
{
return timer32_read(&timers[TID_CLOCKSOURCE]);
}