Symbol: vmx_invept
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2202
vmx_invept(vmx_ept_flush_op, &ept_desc);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2226
vmx_invept(vmx_ept_flush_op, &ept_desc);