xref: /linux-6.15/arch/powerpc/sysdev/mpic_timer.c (revision 68ed5c38)