arch_counter_get_cntpct 395 drivers/clocksource/arm_arch_timer.c cval = evt + arch_counter_get_cntpct(); arch_counter_get_cntpct 978 drivers/clocksource/arm_arch_timer.c rd = arch_counter_get_cntpct;