5  * SPDX-License-Identifier: MIT
34 /*-----------------------------------------------------------
36  *----------------------------------------------------------*/
45 /* Interrupt service routines have to be in non-banked memory - as does the
64 critical section should not be left (i.e. interrupts should not be re-enabled)
71 /*-----------------------------------------------------------*/
83         pxTopOfStack--;  in pxPortInitialiseStack()
85         pxTopOfStack--;  in pxPortInitialiseStack()
87         pxTopOfStack--;  in pxPortInitialiseStack()
99     pxTopOfStack--;  in pxPortInitialiseStack()
101     pxTopOfStack--;  in pxPortInitialiseStack()
105     /* Y register */  in pxPortInitialiseStack()
107     pxTopOfStack--;  in pxPortInitialiseStack()
109     pxTopOfStack--;  in pxPortInitialiseStack()
113     pxTopOfStack--;  in pxPortInitialiseStack()
115     pxTopOfStack--;  in pxPortInitialiseStack()
119     pxTopOfStack--;  in pxPortInitialiseStack()
123     pxTopOfStack--;  in pxPortInitialiseStack()
128     pxTopOfStack--;  in pxPortInitialiseStack()
133         pxTopOfStack--;  in pxPortInitialiseStack()
142 /*-----------------------------------------------------------*/
148 /*-----------------------------------------------------------*/
155 /*-----------------------------------------------------------*/
162     Instead it simply calls the locally defined xBankedStartScheduler() -  in xPortStartScheduler()
167 /*-----------------------------------------------------------*/
186 /*-----------------------------------------------------------*/
202 /*-----------------------------------------------------------*/
224         /* Restore the context of a task - which may be a different task  in vPortTickInterrupt()