Symbol: VMCB_EVENTINJ_TYPE_INTR
sys/amd64/vmm/amd/svm.c
1868
svm_eventinject(vcpu, VMCB_EVENTINJ_TYPE_INTR, vector, 0, false);
sys/amd64/vmm/amd/svm.c
940
case VMCB_EVENTINJ_TYPE_INTR:
sys/amd64/vmm/amd/svm.c
972
case VMCB_EVENTINJ_TYPE_INTR: