Symbol: irq_free_desc