202 static void prvTaskExitError( void )  in prvTaskExitError()  argument
228 void vPortSVCHandler( void )  in vPortSVCHandler()  argument
248 static void prvPortStartFirstTask( void )  in prvPortStartFirstTask()  argument
269 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
419 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
427 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
444 void vPortExitCritical( void )  in vPortExitCritical()  argument
456 void xPortPendSVHandler( void )  in xPortPendSVHandler()  argument
493 void xPortSysTickHandler( void )  in xPortSysTickHandler()  argument
745 __attribute__( ( weak ) ) void vPortSetupTimerInterrupt( void )  in vPortSetupTimerInterrupt()  argument
768     void vPortValidateInterruptPriority( void )  in vPortValidateInterruptPriority()  argument