minix/lib/libddekit/src/timer.h

   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