2 * FreeRTOS Kernel <DEVELOPMENT BRANCH>
3 * license and copyright intentionally withheld to promote copying into user code.
9 BaseType_t xPortStartScheduler( void )
14 void vPortEndScheduler( void )
18 StackType_t * pxPortInitialiseStack( StackType_t * pxTopOfStack,
19 TaskFunction_t pxCode,
25 void vPortYield( void )
27 /* Save the current Context */
28 /* Switch to the highest priority task that is ready to run. */
30 /* Start executing the task we have just switched to. */
33 static void prvTickISR( void )
35 /* Interrupts must have been enabled for the ISR to fire, so we have to
36 * save the context with interrupts enabled. */
38 /* Maintain the tick count. */
39 if( xTaskIncrementTick() != pdFALSE )
41 /* Switch to the highest priority task that is ready to run. */
45 /* start executing the new task */