Lionel Sambuc 433d6423c3 New sources layout
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9
2014-07-31 16:00:30 +02:00

12 lines
238 B
C

#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