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);