00001 #ifndef __RTIMER_ARCH_INTERRUPT_H__P0PXG70757__ 00002 #define __RTIMER_ARCH_INTERRUPT_H__P0PXG70757__ 00003 00004 void rtimer_interrupt (void); 00005 00006 #endif /* __RTIMER_ARCH_INTERRUPT_H__P0PXG70757__ */
