upgrade to linux 2.6.10-1.12_FC2
[linux-2.6.git] / include / linux / timer.h
index 90db1cc..aa78800 100644 (file)
@@ -99,4 +99,7 @@ extern void init_timers(void);
 extern void run_local_timers(void);
 extern void it_real_fn(unsigned long);
 
+extern void dump_clear_timers(void);
+extern void dump_run_timers(void);
+
 #endif