1da177e4c3
Initial git repository build. I'm not bothering with the full history, even though we have it. We can create a separate "historical" git archive of that later if we want to, and in the meantime it's about 3.2GB when imported into git - space that would just make the early git days unnecessarily complicated, when we don't have a lot of good infrastructure for it. Let it rip!
19 lines
427 B
C
19 lines
427 B
C
/*
|
|
* 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 set_interval(int timer_type);
|
|
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);
|
|
|
|
#endif
|