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