Symbol: NVMM_VCPU_EVENT_INTR
sys/dev/nvmm/x86/nvmm_x86_svm.c
777
case NVMM_VCPU_EVENT_INTR:
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1116
case NVMM_VCPU_EVENT_INTR: