Symbol: vmx_exit_exc_nmi
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1233
fake.tf_rip = (uintptr_t)vmx_exit_exc_nmi;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1235
fake.tf_eip = (uintptr_t)vmx_exit_exc_nmi;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2461
vmx_exit_exc_nmi(mach, vcpu, exit);