228 static void prvTaskExitError( void )  in prvTaskExitError()  argument
254 void vPortSVCHandler( void )  in vPortSVCHandler()  argument
273 static void prvPortStartFirstTask( void )  in prvPortStartFirstTask()  argument
300 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
456 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
464 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
481 void vPortExitCritical( void )  in vPortExitCritical()  argument
493 void xPortPendSVHandler( void )  in xPortPendSVHandler()  argument
552 void xPortSysTickHandler( void )  in xPortSysTickHandler()  argument
804 __attribute__( ( weak ) ) void vPortSetupTimerInterrupt( void )  in vPortSetupTimerInterrupt()  argument
826 static void vPortEnableVFP( void )  in vPortEnableVFP()  argument
843     void vPortValidateInterruptPriority( void )  in vPortValidateInterruptPriority()  argument