Kernel clock for 6-STABLE runs at 1/2 speed in VMware 5.0

[Ed]

I am having the same problem as this fellow:

http://taosecurity.blogspot.com/2005/11/problems-with-freebsd-6.html

In addition to trying the (rather many) solutions suggested in the link (in particular, setting kern.hz=100 does *not* fix this problem), I have tried enabling/disabling acpi, to no avail.

Again, FreeBSD's clock appears to be running at precisely *half* the rate of the host OS (WinXP Pro, in my case).