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