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;