arch_timer_reg_write_cp15 27 arch/arm/include/asm/arch_timer.h void arch_timer_reg_write_cp15(int access, enum arch_timer_reg reg, u32 val) arch_timer_reg_write_cp15 104 arch/arm64/include/asm/arch_timer.h void arch_timer_reg_write_cp15(int access, enum arch_timer_reg reg, u32 val)