--- a/include/linux/timex.h
+++ b/include/linux/timex.h
-@@ -274,7 +274,11 @@ extern void hardpps(const struct timespe
+@@ -150,6 +150,10 @@ extern void hardpps(const struct timespe
int read_current_timer(unsigned long *timer_val);
/* The clock frequency of the i8253/i8254 PIT */
#define PIT_TICK_RATE 1193182ul
+#endif
- #endif /* KERNEL */
-
+ #endif /* LINUX_TIMEX_H */