arch_counter_get_cntvct 175 drivers/clocksource/arm_arch_timer.c u64 (*arch_timer_read_counter)(void) = arch_counter_get_cntvct; arch_counter_get_cntvct 398 drivers/clocksource/arm_arch_timer.c cval = evt + arch_counter_get_cntvct(); arch_counter_get_cntvct 973 drivers/clocksource/arm_arch_timer.c rd = arch_counter_get_cntvct;