__arch_counter_get_cntpct   98 arch/arm/include/asm/arch_timer.h 	return __arch_counter_get_cntpct();
__arch_counter_get_cntpct  156 drivers/clocksource/arm_arch_timer.c 	return __arch_counter_get_cntpct();