xen_pmu_irq_handler    7 arch/x86/xen/pmu.h irqreturn_t xen_pmu_irq_handler(int irq, void *dev_id);
xen_pmu_irq_handler  135 arch/x86/xen/smp_pv.c 					     xen_pmu_irq_handler,