SVM_EVTINJ_VALID
if ((info & SVM_EVTINJ_VALID) &&
#define SVM_EXITINTINFO_VALID SVM_EVTINJ_VALID
exit_int_info = nr | SVM_EVTINJ_VALID | SVM_EVTINJ_TYPE_EXEPT;
exit_int_info = SVM_EVTINJ_VALID | SVM_EVTINJ_TYPE_NMI;
exit_int_info = nr | SVM_EVTINJ_VALID;
if (!(evtinj & SVM_EVTINJ_VALID))
if (!(evtinj & SVM_EVTINJ_VALID))
svm->vmcb->control.event_inj = SVM_EVTINJ_VALID | SVM_EVTINJ_TYPE_NMI;
svm->vmcb->control.event_inj = intr->nr | SVM_EVTINJ_VALID | type;
| SVM_EVTINJ_VALID
u64 data = SVM_EVTINJ_VALID | SVM_EVTINJ_TYPE_EXEPT | vector;
#define SVM_EXITINTINFO_VALID SVM_EVTINJ_VALID
vmcb->control.event_inj = BP_VECTOR | SVM_EVTINJ_VALID | SVM_EVTINJ_TYPE_EXEPT;
vmcb->control.event_inj = SVM_EVTINJ_VALID | SVM_EVTINJ_TYPE_NMI;
vmcb->control.event_inj = INT_NR | SVM_EVTINJ_VALID | SVM_EVTINJ_TYPE_SOFT;