xref: /linux-6.15/arch/arm/kernel/arch_timer.c (revision 19fbd6b2)