kern: 4c9c16754b59 src/timer.h

kern

fixed the page fault

author	John Tsiombikas <nuclear@member.fsf.org>
date	Thu, 28 Jul 2011 17:56:05 +0300
parents
children	b1e8c8251884

line source

1 #ifndef _TIMER_H_

2 #define _TIMER_H_

4 unsigned long nticks;

6 void init_timer(void);

8 #endif /* _TIMER_H_ */