arch_timer_reg_read_cp15 53 arch/arm/include/asm/arch_timer.h u32 arch_timer_reg_read_cp15(int access, enum arch_timer_reg reg) arch_timer_reg_read_cp15 130 arch/arm64/include/asm/arch_timer.h u32 arch_timer_reg_read_cp15(int access, enum arch_timer_reg reg)