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