unsigned ctl_get_sleep_delay(void);
ctl_get_sleep_delay returns the minimal sleep delay for the tasks on the task list. This is intended for use by tickless CTL implementations.