Synopsis
void ctl_increment_tick_from_isr(void);
Description

ctl_increment_tick_from_isr increments ctl_current_time by the number held in ctl_time_increment and does rescheduling. This function should be called from a periodic interrupt service routine.

Note

ctl_increment_tick_from_isr must only be invoked by an interrupt service routine.