xref: /linux-6.15/arch/arm64/include/asm/arch_timer.h (revision 130af75b)