233 static void prvTaskExitError( void )  in prvTaskExitError()  argument
250 void vPortSVCHandler( void ) iv IVT_INT_SVCall ics ICS_OFF  in vPortSVCHandler()  argument
268 static void prvPortStartFirstTask( void )  in prvPortStartFirstTask()  argument
297 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
414 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
422 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
439 void vPortExitCritical( void )  in vPortExitCritical()  argument
452 void xPortPendSVHandler( void ) iv IVT_INT_PendSV ics ICS_OFF  in xPortPendSVHandler()  argument
504 void xPortSysTickHandler( void ) iv IVT_INT_SysTick ics ICS_AUTO  in xPortSysTickHandler()  argument
787     void vPortSetupTimerInterrupt( void )  in vPortSetupTimerInterrupt()  argument
811 static void vPortEnableVFP( void )  in vPortEnableVFP()  argument
826 BaseType_t xPortIsInsideInterrupt( void )  in xPortIsInsideInterrupt()  argument
854     void vPortValidateInterruptPriority( void )  in vPortValidateInterruptPriority()  argument