| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2002 Jeff Dike (jdike@karaya.com) |
| 3 | * Licensed under the GPL |
| 4 | */ |
| 5 | |
| 6 | #ifndef __TIME_USER_H__ |
| 7 | #define __TIME_USER_H__ |
| 8 | |
| 9 | extern void timer(void); |
| 10 | extern void switch_timers(int to_real); |
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 11 | extern void idle_sleep(int secs); |
| 12 | extern void enable_timer(void); |
| Bodo Stroesser | 9786a8f | 2005-07-07 17:56:50 -0700 | [diff] [blame] | 13 | extern void prepare_timer(void * ptr); |
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 14 | extern void disable_timer(void); |
| 15 | extern unsigned long time_lock(void); |
| 16 | extern void time_unlock(unsigned long); |
| Jeff Dike | fc47a0d | 2005-06-25 14:55:24 -0700 | [diff] [blame] | 17 | extern void user_time_init(void); |
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 18 | |
| 19 | #endif |