Symbol: xen_common_irq