Symbol: xen_pmu_irq_handler
arch/x86/xen/smp_pv.c
133
xen_pmu_irq_handler,
arch/x86/xen/xen-ops.h
145
irqreturn_t xen_pmu_irq_handler(int irq, void *dev_id);