...
Prior to calling OSCtxSw(), OSTCBCurPtr to point at the OS_TCB of the task that is being switched out, and OSSched() sets OSTCBHighRdyPtr to point at the OS_TCB of the task being switched in.
Arguments
None
Returned Values
None
Notes/Warnings
None
Example
The pseudocode for OSCtxSw() follows:
...