Symbol: ocrdma_get_irq