void ctl_increment_tick_from_isr(void);
ctl_increment_tick_from_isr increments ctl_current_time by the number held in ctl_time_increment and does rescheduling.
ctl_increment_tick_from_isr must only be invoked by an interrupt service routine.