Symbol: arch_timer_reg_read_cp15
drivers/clocksource/arm_arch_timer.c
326
ctrl = arch_timer_reg_read_cp15(access, ARCH_TIMER_REG_CTRL);
drivers/clocksource/arm_arch_timer.c
569
ctrl = arch_timer_reg_read_cp15(access, ARCH_TIMER_REG_CTRL);
drivers/clocksource/arm_arch_timer.c
599
ctrl = arch_timer_reg_read_cp15(access, ARCH_TIMER_REG_CTRL);
drivers/clocksource/arm_arch_timer.c
622
ctrl = arch_timer_reg_read_cp15(access, ARCH_TIMER_REG_CTRL);