...
OSStartHighRdy() OSCtxSw() OSIntCtxSw() OSTickISR()
This port adds two functions called OSFPSave and OSFPRestore and are found in OS_CPU_A.ASM. These functions are responsible for saving and restoring the contents of floating-point registers during a context switch, respectively.
...