234 static void prvTaskExitError( void )  in prvTaskExitError()  argument
260 void vPortSVCHandler( void )  in vPortSVCHandler()  argument
279 static void prvPortStartFirstTask( void )  in prvPortStartFirstTask()  argument
306 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
468 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
476 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
493 void vPortExitCritical( void )  in vPortExitCritical()  argument
505 void xPortPendSVHandler( void )  in xPortPendSVHandler()  argument
562 void xPortSysTickHandler( void )  in xPortSysTickHandler()  argument
814 __attribute__( ( weak ) ) void vPortSetupTimerInterrupt( void )  in vPortSetupTimerInterrupt()  argument
836 static void vPortEnableVFP( void )  in vPortEnableVFP()  argument
853     void vPortValidateInterruptPriority( void )  in vPortValidateInterruptPriority()  argument