xref: /linux-6.15/include/kvm/arm_arch_timer.h (revision 4b79f769)