Symbol: arch_counter_get_cntpct_stable
drivers/clocksource/arm_arch_timer.c
331
cval = evt + arch_counter_get_cntpct_stable();
drivers/clocksource/arm_arch_timer.c
925
rd = arch_counter_get_cntpct_stable;