1 #ifndef DDEKIT_TIMER_MINIX_H 2 #define DDEKIT_TIMER_MINIX_H 1 3 4 5 extern unsigned long long jiffies; 6 extern unsigned long HZ; 7 8 void _ddekit_timer_interrupt(void); 9 extern int _ddekit_timer_pending; 10 void _ddekit_timer_update(void); 11 #endif 12