Symbol: xen_debug_interrupt
arch/x86/xen/smp.c
101
xen_debug_interrupt,
include/xen/events.h
136
irqreturn_t xen_debug_interrupt(int irq, void *dev_id);