__fsl_a008585_read_reg  228 drivers/clocksource/arm_arch_timer.c 	return __fsl_a008585_read_reg(cntp_tval_el0);
__fsl_a008585_read_reg  233 drivers/clocksource/arm_arch_timer.c 	return __fsl_a008585_read_reg(cntv_tval_el0);
__fsl_a008585_read_reg  238 drivers/clocksource/arm_arch_timer.c 	return __fsl_a008585_read_reg(cntpct_el0);
__fsl_a008585_read_reg  243 drivers/clocksource/arm_arch_timer.c 	return __fsl_a008585_read_reg(cntvct_el0);