Symbol: armpmu_get_cpu_irq