Symbol: __arch_counter_get_cntpct_stable
drivers/clocksource/arm_arch_timer.c
102
val = __arch_counter_get_cntpct_stable();
drivers/clocksource/arm_arch_timer.c
95
return __arch_counter_get_cntpct_stable();