Symbol: xen_intr_alloc_irqs