#include <ctl_api.h> void ctl_increment_tick_from_isr(void);
The ctl_increment_tick_from_isr function increments the ctl_current_time and does rescheduling. This function must be called from a periodic interrupt service routine with interrupts disabled. This function enables the timer service of the CrossWorks tasking library to be used.
ctl_increment_tick_from_isr is provided in every implementation of the CrossWorks tasking library.