Symbol: svm_exit_insn
sys/dev/nvmm/x86/nvmm_x86_svm.c
1143
svm_exit_insn(cpudata->vmcb, exit, NVMM_VCPU_EXIT_CPUID);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1812
svm_exit_insn(vmcb, exit, NVMM_VCPU_EXIT_MONITOR);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1816
svm_exit_insn(vmcb, exit, NVMM_VCPU_EXIT_MWAIT);