xref: /linux-6.15/kernel/time/sched_clock.c (revision 6a7eccef)