188 	u64 cnt;  in __arch_counter_get_cntpct_stable()  local
191 	cnt = arch_timer_reg_read_stable(cntpct_el0);  in __arch_counter_get_cntpct_stable()
192 	arch_counter_enforce_ordering(cnt);  in __arch_counter_get_cntpct_stable()
193 	return cnt;  in __arch_counter_get_cntpct_stable()
198 	u64 cnt;  in __arch_counter_get_cntpct()  local
201 	cnt = read_sysreg(cntpct_el0);  in __arch_counter_get_cntpct()
202 	arch_counter_enforce_ordering(cnt);  in __arch_counter_get_cntpct()
203 	return cnt;  in __arch_counter_get_cntpct()
208 	u64 cnt;  in __arch_counter_get_cntvct_stable()  local
211 	cnt = arch_timer_reg_read_stable(cntvct_el0);  in __arch_counter_get_cntvct_stable()
212 	arch_counter_enforce_ordering(cnt);  in __arch_counter_get_cntvct_stable()
213 	return cnt;  in __arch_counter_get_cntvct_stable()
218 	u64 cnt;  in __arch_counter_get_cntvct()  local
221 	cnt = read_sysreg(cntvct_el0);  in __arch_counter_get_cntvct()
222 	arch_counter_enforce_ordering(cnt);  in __arch_counter_get_cntvct()
223 	return cnt;  in __arch_counter_get_cntvct()