Symbol: vmx_enter_guest
sys/amd64/vmm/intel/vmx.c
3193
rc = vmx_enter_guest(vmxctx, vmx, launched);
sys/amd64/vmm/intel/vmx.h
170
int vmx_enter_guest(struct vmxctx *ctx, struct vmx *vmx, int launched);