2017-02-25 19:02:07 +01:00
|
|
|
#include <internals/interrupts.h>
|
2017-03-01 11:07:28 +01:00
|
|
|
#include <internals/timer.h>
|
|
|
|
#include <internals/rtc.h>
|
2017-02-25 19:02:07 +01:00
|
|
|
|
|
|
|
/*
|
|
|
|
inth_timer_underflow()
|
|
|
|
Wake up, your timer has expired!
|
|
|
|
*/
|
|
|
|
void inth_timer_underflow(uint32_t channel)
|
|
|
|
{
|
|
|
|
timer_interrupt(channel);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
inth_rtc_periodic()
|
|
|
|
Don't you forget to execute the periodic tasks.
|
|
|
|
*/
|
|
|
|
void inth_rtc_periodic(void)
|
|
|
|
{
|
2017-03-01 11:07:28 +01:00
|
|
|
rtc_periodic_interrupt();
|
2017-02-25 19:02:07 +01:00
|
|
|
}
|