193 void vPortStartFirstTask( void )  in vPortStartFirstTask()  argument
205 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
251 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
280 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
291 void vPortExitCritical( void )  in vPortExitCritical()  argument
303 static void prvPortYieldFromISR( void )  in prvPortYieldFromISR()  argument
318 void vPortYield( void )  in vPortYield()  argument
328 void vPortDisableInterrupts( void )  in vPortDisableInterrupts()  argument
334 void vPortEnableInterrupts( void )  in vPortEnableInterrupts()  argument
340 UBaseType_t xPortSetInterruptMask( void )  in xPortSetInterruptMask()  argument
354 static uint64_t prvGetTimeNs( void )  in prvGetTimeNs()  argument
373 void prvSetupTimerInterrupt( void )  in prvSetupTimerInterrupt()  argument
554 static void prvSetupSignalsAndSchedulerPolicy( void )  in prvSetupSignalsAndSchedulerPolicy()  argument
592 uint32_t ulPortGetRunTime( void )  in ulPortGetRunTime()  argument