63 #include <sys/clock.h>
69 static uint32_t schedule;
75 pic32_timer23_disable_irq();
84 pic32_timer23_disable_irq();
85 IPC3CLR = _IPC3_T3IP_MASK | _IPC3_T3IS_MASK;
86 IPC3SET = (7 << _IPC3_T3IP_POSITION) | (3 << _IPC3_T3IS_POSITION);
89 T2CONSET = _T2CON_T32_MASK | (TIMER_B_PRESCALE_256 << _T2CON_TCKPS_POSITION);
92 pic32_timer23_start();
106 pic32_timer23_enable_irq();
110 TIMER_INTERRUPT(3, rtimer_callback);
void rtimer_arch_init(void)
We don't need to explicitly initialise anything but this routine is required by the API...
#define rtimer_arch_now()
Header file for the real-time timer module.
TIMER interface for PIC32MX (pic32mx795f512l)
void rtimer_arch_schedule(rtimer_clock_t t)
Schedules an rtimer task to be triggered at time t.
void rtimer_run_next(void)
Execute the next real-time task and schedule the next task, if any.