Symbol: __fsl_a008585_read_reg
drivers/clocksource/arm_arch_timer.c
189
return __fsl_a008585_read_reg(cntpct_el0);
drivers/clocksource/arm_arch_timer.c
194
return __fsl_a008585_read_reg(cntvct_el0);