diff --git a/include/platform.h b/include/platform.h
index 49797de2a..7d25850f5 100644
--- a/include/platform.h
+++ b/include/platform.h
@@ -157,9 +157,7 @@ __extension__ typedef unsigned long long __u64;
 #endif /* ___digital__ && __unix__ */
 
 /*----- Kernel versioning ------------------------------------*/
-#ifdef __linux__
 #define KERNEL_VERSION(a,b,c) (((a) << 16) + ((b) << 8) + (c))
-#endif
 
 /* ---- miscellaneous --------------------------------------- */