xref: /linux-6.15/drivers/clocksource/timer-sp.h (revision 8a94b4ea)