rtimer-arch-interrupt.h

#ifndef __RTIMER_ARCH_INTERRUPT_H__P0PXG70757__
#define __RTIMER_ARCH_INTERRUPT_H__P0PXG70757__

void rtimer_interrupt (void);

#endif /* __RTIMER_ARCH_INTERRUPT_H__P0PXG70757__ */