xen_debug_interrupt   92 arch/x86/xen/smp.c 	rc = bind_virq_to_irqhandler(VIRQ_DEBUG, cpu, xen_debug_interrupt,
xen_debug_interrupt   75 arch/x86/xen/xen-ops.h irqreturn_t xen_debug_interrupt(int irq, void *dev_id);