Symbol: irq_alloc_desc_at