minix/lib/libddekit/src/timer.h


1
2
3
4
5
6
7
8
9
10
11

#ifndef DDEKIT_TIMER_MINIX_H
#define DDEKIT_TIMER_MINIX_H 1 


extern unsigned long long jiffies;  
extern unsigned long HZ;  

void _ddekit_timer_interrupt(void);
extern int _ddekit_timer_pending;
void _ddekit_timer_update(void);
#endif