kern: b45e2d5f0ae1 src/timer.h

kern

ok I *think* i've fixed it now

author	John Tsiombikas <nuclear@member.fsf.org>
date	Wed, 12 Oct 2011 14:39:40 +0300
parents	b1e8c8251884
children	3941e82b07f2

line source

1 #ifndef _TIMER_H_

2 #define _TIMER_H_

4 unsigned long nticks;

6 void init_timer(void);

8 void sleep(unsigned long msec);

10 #endif /* _TIMER_H_ */