117 void _init_startup( void )  in _init_startup()  argument
223 __attribute__( ( __naked__ ) ) static void vTick( void )  in vTick()  argument
249 __attribute__( ( __naked__ ) ) void SCALLYield( void )  in SCALLYield()  argument
262 __attribute__( ( __noinline__ ) ) void vPortEnterCritical( void )  in vPortEnterCritical()  argument
274 __attribute__( ( __noinline__ ) ) void vPortExitCritical( void )  in vPortExitCritical()  argument
326 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
340 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
350     static void prvScheduleFirstTick( void )  in prvScheduleFirstTick()  argument
367     __attribute__( ( __noinline__ ) ) static void prvScheduleNextTick( void )  in prvScheduleNextTick()  argument
391     __attribute__( ( __noinline__ ) ) static void prvClearTcInt( void )  in prvClearTcInt()  argument
399 static void prvSetupTimerInterrupt( void )  in prvSetupTimerInterrupt()  argument