Symbol: vme_irq_free