__arch_counter_get_cntvct  112 arch/arm/include/asm/arch_timer.h 	return __arch_counter_get_cntvct();
__arch_counter_get_cntvct  166 drivers/clocksource/arm_arch_timer.c 	return __arch_counter_get_cntvct();