| Hushes a warning | |
| --- a/vmmon-only/linux/driver.c 2015-02-07 03:54:16.000000000 +0300 | |
| +++ c/vmmon-only/linux/driver.c 2015-02-24 03:58:06.042605293 +0300 | |
| @@ -1328,7 +1328,9 @@ | |
| *----------------------------------------------------------------------------- | |
| */ | |
| -__attribute__((always_inline)) static Bool | |
| +#include <linux/compiler-gcc.h> | |
| + | |
| +__always_inline static Bool | |
| LinuxDriverSyncReadTSCs(uint64 *delta) // OUT: TSC max - TSC min | |
| { | |
| TSCDelta tscDelta; |