VMware guests using GNU/Linux kernel 2.6.16+ and clock/clocksource
From kernel 2.6.16 the clock= command line option is deprecated and the following option should be used:
clocksource=acpi_pm
The following option may be better suited to a Linux guest with kernel 2.6.21 or later and to VMware products such as VMware Workstation 6 that provide "VMware paravirtual kernel support":
clocksource=vmi-timer