arch_timer_reg_read_stable  137 arch/arm64/include/asm/arch_timer.h 			return arch_timer_reg_read_stable(cntp_tval_el0);
arch_timer_reg_read_stable  144 arch/arm64/include/asm/arch_timer.h 			return arch_timer_reg_read_stable(cntv_tval_el0);
arch_timer_reg_read_stable  191 arch/arm64/include/asm/arch_timer.h 	cnt = arch_timer_reg_read_stable(cntpct_el0);
arch_timer_reg_read_stable  211 arch/arm64/include/asm/arch_timer.h 	cnt = arch_timer_reg_read_stable(cntvct_el0);