302 void vPortSetupIDT( void )  in vPortSetupIDT()  argument
329 static void prvTaskExitError( void )  in prvTaskExitError()  argument
346 static void prvSetupTimerInterrupt( void )  in prvSetupTimerInterrupt()  argument
384 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
425 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
433 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
456 void vPortExitCritical( void )  in vPortExitCritical()  argument
492 uint32_t ulPortSetInterruptMask( void )  in ulPortSetInterruptMask()  argument
541     void vPortTaskUsesFPU( void )  in vPortTaskUsesFPU()  argument
555 void vPortAPICErrorHandler( void )  in vPortAPICErrorHandler()  argument
683 void vGenerateYieldInterrupt( void )  in vGenerateYieldInterrupt()  argument