xref: /linux-6.15/arch/arm64/kvm/arch_timer.c (revision 130af75b)