Symbol: arch_timer_reg_write_cp15
arch/arm/include/asm/arch_timer.h
28
void arch_timer_reg_write_cp15(int access, enum arch_timer_reg reg, u64 val)
arch/arm64/include/asm/arch_timer.h
100
void arch_timer_reg_write_cp15(int access, enum arch_timer_reg reg, u64 val)