X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Flinux%2Fcompat%2Finclude%2Flinux%2Ftimer.h;h=b9954a525e8ca9d70259ac97f6bc406205de63d8;hb=08d19ca9fef29b23826f1fb52e2368a9077783ca;hp=6c3a9b0f54724f03936f054e4d9e0f2731d48633;hpb=22bcc0e70becd88bf895c44885d63704affe4284;p=openvswitch

diff --git a/datapath/linux/compat/include/linux/timer.h b/datapath/linux/compat/include/linux/timer.h
index 6c3a9b0f..b9954a52 100644
--- a/datapath/linux/compat/include/linux/timer.h
+++ b/datapath/linux/compat/include/linux/timer.h
@@ -6,11 +6,11 @@
 #include <linux/version.h>
 
 #ifndef RHEL_RELEASE_VERSION
-#define RHEL_RELEASE_VERSION(X,Y) ( 0 )
+#define RHEL_RELEASE_VERSION(X, Y)	(0)
 #endif
 #if ((LINUX_VERSION_CODE < KERNEL_VERSION(2,6,20)) && \
-     (!defined(RHEL_RELEASE_CODE) || \
-      (RHEL_RELEASE_CODE < RHEL_RELEASE_VERSION(5,1))))
+	(!defined(RHEL_RELEASE_CODE) || \
+	(RHEL_RELEASE_CODE < RHEL_RELEASE_VERSION(5, 1))))
 
 extern unsigned long volatile jiffies;
 
@@ -88,7 +88,7 @@ static inline unsigned long __round_jiffies(unsigned long j, int cpu)
  */
 static inline unsigned long round_jiffies(unsigned long j)
 {
-	return __round_jiffies(j, 0);  // FIXME
+	return __round_jiffies(j, 0);  /* FIXME */
 }
 
 #endif /* linux kernel < 2.6.20 */