Symbol: pl011_allocate_irq