Symbol: arch_counter_get_cntpct
drivers/clocksource/arm_arch_timer.c
928
rd = arch_counter_get_cntpct;
drivers/clocksource/arm_arch_timer.c
929
scr = arch_counter_get_cntpct;