Symbol: arch_counter_get_cntvct_stable
drivers/clocksource/arm_arch_timer.c
334
cval = evt + arch_counter_get_cntvct_stable();
drivers/clocksource/arm_arch_timer.c
917
rd = arch_counter_get_cntvct_stable;