diff options
| author | Jeff Garzik <jgarzik@pobox.com> | 2006-01-27 02:20:42 -0500 |
|---|---|---|
| committer | Jeff Garzik <jgarzik@pobox.com> | 2006-01-27 02:20:42 -0500 |
| commit | 2af5920b81a4cd0a22d40b6b2c38356d3df03e13 (patch) | |
| tree | 7ee66d514e394f70f12a608548487353d506215d /arch/um/include/time_user.h | |
| parent | 000080c3499cd5037e60c08a8053efb9e48aa9c0 (diff) | |
| parent | 3ee68c4af3fd7228c1be63254b9f884614f9ebb2 (diff) | |
Merge branch 'master'
Diffstat (limited to 'arch/um/include/time_user.h')
| -rw-r--r-- | arch/um/include/time_user.h | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/arch/um/include/time_user.h b/arch/um/include/time_user.h deleted file mode 100644 index 17d7ef2141f4..000000000000 --- a/arch/um/include/time_user.h +++ /dev/null @@ -1,19 +0,0 @@ -/* - * Copyright (C) 2002 Jeff Dike (jdike@karaya.com) - * Licensed under the GPL - */ - -#ifndef __TIME_USER_H__ -#define __TIME_USER_H__ - -extern void timer(void); -extern void switch_timers(int to_real); -extern void idle_sleep(int secs); -extern void enable_timer(void); -extern void prepare_timer(void * ptr); -extern void disable_timer(void); -extern unsigned long time_lock(void); -extern void time_unlock(unsigned long); -extern void user_time_init(void); - -#endif |