This is a question about the SAFERTOS kerner functions.
One of customer is trying to evaluate inbuilt SAFERTOS in the TI LM3S9B96’s ROM.
Regarding the “SafeRTOS kernel functions”, the user guide has the details of only 21
functions and these is no details of the remaining 8(below) functions.
vSafeRTOSSVCHandler ( )
vPortSysTickHandler ( )
vSafeRTOSPendSVHandler ( )
ulPortSetInterruptMaskFromISR ( )
vPortClearInterruptMaskFromISR ( )
xQueueIsQueueEmptyFromISR ( )
xQueueIsQueueFullFromISR ( )
xQueueMessagesWaitingFromISR ( )
Could you please let me know where can we find details of these functions.