346     void vPortSVCHandler( void ) /* __attribute__( ( naked ) ) PRIVILEGED_FUNCTION */  in vPortSVCHandler()  argument
376     void vPortSVCHandler( void ) /* __attribute__( ( naked ) ) PRIVILEGED_FUNCTION */  in vPortSVCHandler()  argument
581     void vRequestSystemCallExit( void ) /* __attribute__( ( naked ) ) PRIVILEGED_FUNCTION */  in vRequestSystemCallExit()  argument
674 BaseType_t xPortIsTaskPrivileged( void ) /* PRIVILEGED_FUNCTION */  in xPortIsTaskPrivileged()  argument
688 static void prvRestoreContextOfFirstTask( void )  in prvRestoreContextOfFirstTask()  argument
744 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
907 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
915 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
942 void vPortExitCritical( void )  in vPortExitCritical()  argument
985 void xPortPendSVHandler( void )  in xPortPendSVHandler()  argument
1057 void xPortSysTickHandler( void )  in xPortSysTickHandler()  argument
1084 __attribute__( ( weak ) ) void vPortSetupTimerInterrupt( void )  in vPortSetupTimerInterrupt()  argument
1096 static void prvSetupMPU( void )  in prvSetupMPU()  argument
1184 BaseType_t xIsPrivileged( void ) /* __attribute__ (( naked )) */  in xIsPrivileged()  argument
1201 void vResetPrivilege( void ) /* __attribute__ (( naked )) */  in vResetPrivilege()  argument
1214 void vPortSwitchToUserMode( void )  in vPortSwitchToUserMode()  argument
1389     void vPortValidateInterruptPriority( void )  in vPortValidateInterruptPriority()  argument