Symbol: clint_get_cycles_hi
drivers/clocksource/timer-clint.c
90
hi = clint_get_cycles_hi();
drivers/clocksource/timer-clint.c
92
} while (hi != clint_get_cycles_hi());