diff options
Diffstat (limited to 'arch/um/include/time_user.h')
-rw-r--r-- | arch/um/include/time_user.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/um/include/time_user.h b/arch/um/include/time_user.h index 6793a2fcd0ae..f64ef77019a3 100644 --- a/arch/um/include/time_user.h +++ b/arch/um/include/time_user.h | |||
@@ -8,11 +8,11 @@ | |||
8 | 8 | ||
9 | extern void timer(void); | 9 | extern void timer(void); |
10 | extern void switch_timers(int to_real); | 10 | extern void switch_timers(int to_real); |
11 | extern void set_interval(int timer_type); | ||
12 | extern void idle_sleep(int secs); | 11 | extern void idle_sleep(int secs); |
13 | extern void enable_timer(void); | 12 | extern void enable_timer(void); |
14 | extern void disable_timer(void); | 13 | extern void disable_timer(void); |
15 | extern unsigned long time_lock(void); | 14 | extern unsigned long time_lock(void); |
16 | extern void time_unlock(unsigned long); | 15 | extern void time_unlock(unsigned long); |
16 | extern void user_time_init(void); | ||
17 | 17 | ||
18 | #endif | 18 | #endif |