Symbol: vx2_validate_irq