Symbol: vmx_inject_nmi
usr/src/uts/intel/io/vmm/intel/vmx.c
1286
vmx_inject_nmi(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
2390
vmx_inject_nmi(vmx, vcpu);