Symbol: vme_irq_request