#include <ctl_api.h> void ctl_task_reschedule(void);
ctl_task_reschedule causes a reschedule to occur. This can be used by tasks of the same priority to share the CPU.
ctl_task_reschedule is provided in every implementation of the CrossWorks tasking library.