Symbol: clint_get_cycles64
drivers/clocksource/timer-clint.c
100
return clint_get_cycles64();
drivers/clocksource/timer-clint.c
118
writeq_relaxed(clint_get_cycles64() + delta, r);
drivers/clocksource/timer-clint.c
236
sched_clock_register(clint_get_cycles64, 64, clint_timer_freq);