xref: /linux-6.15/arch/microblaze/kernel/timer.c (revision d0514728)