Symbol: svm_inject_irq