573     void vRequestSystemCallExit( void ) /* __attribute__( ( naked ) ) PRIVILEGED_FUNCTION */  in vRequestSystemCallExit()  argument
682 BaseType_t xPortIsTaskPrivileged( void ) /* PRIVILEGED_FUNCTION */  in xPortIsTaskPrivileged()  argument
696 void vPortSwitchToUserMode( void )  in vPortSwitchToUserMode()  argument
712 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
881 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
889 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
947 void vPortExitCritical( void )  in vPortExitCritical()  argument
990 void xPortSysTickHandler( void )  in xPortSysTickHandler()  argument
1021 __weak void vPortSetupTimerInterrupt( void )  in vPortSetupTimerInterrupt()  argument
1033 static void prvSetupMPU( void )  in prvSetupMPU()  argument
1291     void vPortValidateInterruptPriority( void )  in vPortValidateInterruptPriority()  argument