2 * Copyright (C) 2002 Jeff Dike (jdike@karaya.com)
3 * Licensed under the GPL
6 #ifndef __TIME_USER_H__
7 #define __TIME_USER_H__
9 extern void timer(void);
10 extern void switch_timers(int to_real
);
11 extern void set_interval(int timer_type
);
12 extern void idle_sleep(int secs
);
13 extern void enable_timer(void);
14 extern void disable_timer(void);
15 extern unsigned long time_lock(void);
16 extern void time_unlock(unsigned long);