|
@@ -10,11 +10,17 @@
|
|
|
|
|
|
|
|
#ifdef CONFIG_GENERIC_SCHED_CLOCK
|
|
#ifdef CONFIG_GENERIC_SCHED_CLOCK
|
|
|
extern void sched_clock_postinit(void);
|
|
extern void sched_clock_postinit(void);
|
|
|
-#else
|
|
|
|
|
-static inline void sched_clock_postinit(void) { }
|
|
|
|
|
-#endif
|
|
|
|
|
|
|
|
|
|
extern void sched_clock_register(u64 (*read)(void), int bits,
|
|
extern void sched_clock_register(u64 (*read)(void), int bits,
|
|
|
unsigned long rate);
|
|
unsigned long rate);
|
|
|
|
|
+#else
|
|
|
|
|
+static inline void sched_clock_postinit(void) { }
|
|
|
|
|
+
|
|
|
|
|
+static inline void sched_clock_register(u64 (*read)(void), int bits,
|
|
|
|
|
+ unsigned long rate)
|
|
|
|
|
+{
|
|
|
|
|
+ ;
|
|
|
|
|
+}
|
|
|
|
|
+#endif
|
|
|
|
|
|
|
|
#endif
|
|
#endif
|