svm_eventinject
svm_eventinject(vcpu, VMCB_EXITINTINFO_TYPE(intinfo),
svm_eventinject(vcpu, VMCB_EVENTINJ_TYPE_NMI,
svm_eventinject(vcpu, VMCB_EVENTINJ_TYPE_INTR, vector, 0, false);