1017 	uint64_t intinfo;  in svm_save_intinfo()  local
1020 	intinfo = ctrl->exitintinfo;  in svm_save_intinfo()
1021 	if (!VMCB_EXITINTINFO_VALID(intinfo))  in svm_save_intinfo()
1030 	SVM_CTR2(vcpu, "SVM:Pending INTINFO(0x%lx), vector=%d.\n", intinfo,  in svm_save_intinfo()
1031 	    VMCB_EXITINTINFO_VECTOR(intinfo));  in svm_save_intinfo()
1033 	vm_exit_intinfo(vcpu->vcpu, intinfo);  in svm_save_intinfo()
1724 	uint64_t intinfo;  in svm_inj_intinfo()  local
1726 	if (!vm_entry_intinfo(vcpu->vcpu, &intinfo))  in svm_inj_intinfo()
1729 	KASSERT(VMCB_EXITINTINFO_VALID(intinfo), ("%s: entry intinfo is not "  in svm_inj_intinfo()
1730 	    "valid: %#lx", __func__, intinfo));  in svm_inj_intinfo()
1732 	svm_eventinject(vcpu, VMCB_EXITINTINFO_TYPE(intinfo),  in svm_inj_intinfo()
1733 		VMCB_EXITINTINFO_VECTOR(intinfo),  in svm_inj_intinfo()
1734 		VMCB_EXITINTINFO_EC(intinfo),  in svm_inj_intinfo()
1735 		VMCB_EXITINTINFO_EC_VALID(intinfo));  in svm_inj_intinfo()
1737 	SVM_CTR1(vcpu, "Injected entry intinfo: %#lx", intinfo);  in svm_inj_intinfo()