2013-11-24 16:57:08 +01:00
|
|
|
#ifndef RTIMER_ARCH_INTERRUPT_H_P0PXG70757__
|
|
|
|
#define RTIMER_ARCH_INTERRUPT_H_P0PXG70757__
|
2009-07-11 16:22:45 +02:00
|
|
|
|
|
|
|
void rtimer_interrupt (void);
|
|
|
|
|
2013-11-24 16:57:08 +01:00
|
|
|
#endif /* RTIMER_ARCH_INTERRUPT_H_P0PXG70757__ */
|