rom/kernel/kernel_scheduler.h

   1 BOOL core_Schedule(void);                       /* Reschedule the current task if needed */
   2 void core_Switch(void);                         /* Switch away from the current task     */
   3 struct Task *core_Dispatch(void);               /* Select the new task for execution     */