--- src/shared/linux_osl.c.orig 2015-11-05 12:34:16.493058697 +0000 +++ src/shared/linux_osl.c 2015-11-06 10:24:16.849543350 +0000 @@ -35,6 +31,10 @@ #include +#if (LINUX_VERSION_CODE >= KERNEL_VERSION(4, 3, 0)) +#define rdtscl(low) ((low) = (u32)rdtsc()) +#endif + #define PCI_CFG_RETRY 10 #define OS_HANDLE_MAGIC 0x1234abcd