Michal Kubecek
036bbbe820
Function declared with __attribute__((always_inline)) should also be declared as inline, otherwise gcc issues a warning "always_inline function might not be inlinable". It's just cosmetic but getting rid of known harmless warnings makes it easier to spot actual problems. Use the __always_inline macro for LinuxDriverSyncReadTSCs() as this is how always inline functions should be declared in kernel code.
This files in this directory and its subdirectories are the kernel module
portion of the VMware Virtual Machine Monitor. In order to build, make
certain the Makefile is correct, especially in whether or not your system
is multi-processor and then just type
make
from this directory. A copy of the module will be left in
driver-<kernel version>/vmmon.o
(e.g. driver-up-2.0.32/vmmon.o).
If you have any problems or questions, send mail to support@vmware.com