#include <ctl_api.h> void ctl_increment_tick_from_isr(void);
ctl_increment_tick_from_isr 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.
This function should only be invoked by an interrupt service routine.
ctl_increment_tick_from_isr is provided in every implementation of the CrossWorks tasking library.