Symbol: clear_pmi_irq_pending
arch/powerpc/perf/core-book3s.c
1364
clear_pmi_irq_pending();
arch/powerpc/perf/core-book3s.c
2457
clear_pmi_irq_pending();