A mistake in a comment.

[Shunsuke Mie]

Hi,

I'm reading a source code at a vmx entry to guest. I confused by a comment
in here.
https://github.com/freebsd/freebsd/blob/master/sys/amd64/vmm/intel/vmx_support.S#L138
.

A prototype definition of the vmx_entry_guest is in vmx.h.
```
int vmx_enter_guest(struct vmxctx *ctx, struct vmx *vmx, int launched);
```

So, is this a mistake?

Thanks a lot.
Shunsuke.