2005-04-17 06:20:36 +08:00
|
|
|
/*
|
|
|
|
* 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 disable_timer(void);
|
|
|
|
extern unsigned long time_lock(void);
|
|
|
|
extern void time_unlock(unsigned long);
|
2005-06-26 05:55:24 +08:00
|
|
|
extern void user_time_init(void);
|
2005-04-17 06:20:36 +08:00
|
|
|
|
|
|
|
#endif
|