Symbol: vmx_invept
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2331
vmx_invept(vmx_ept_flush_op, &ept_desc);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2350
vmx_invept(vmx_ept_flush_op, &ept_desc);