372     void vPortSVCHandler( void ) /* __attribute__( ( naked ) ) PRIVILEGED_FUNCTION */  in vPortSVCHandler()  argument
410     void vPortSVCHandler( void )  in vPortSVCHandler()  argument
631     void vRequestSystemCallExit( void ) /* __attribute__( ( naked ) ) PRIVILEGED_FUNCTION */  in vRequestSystemCallExit()  argument
740 BaseType_t xPortIsTaskPrivileged( void ) /* PRIVILEGED_FUNCTION */  in xPortIsTaskPrivileged()  argument
754 static void prvRestoreContextOfFirstTask( void )  in prvRestoreContextOfFirstTask()  argument
817 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
1003 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
1011 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
1038 void vPortExitCritical( void )  in vPortExitCritical()  argument
1081 void xPortPendSVHandler( void )  in xPortPendSVHandler()  argument
1180 void xPortSysTickHandler( void )  in xPortSysTickHandler()  argument
1207 __attribute__( ( weak ) ) void vPortSetupTimerInterrupt( void )  in vPortSetupTimerInterrupt()  argument
1220 static void vPortEnableVFP( void )  in vPortEnableVFP()  argument
1235 static void prvSetupMPU( void )  in prvSetupMPU()  argument
1342 BaseType_t xIsPrivileged( void ) /* __attribute__ (( naked )) */  in xIsPrivileged()  argument
1359 void vResetPrivilege( void ) /* __attribute__ (( naked )) */  in vResetPrivilege()  argument
1372 void vPortSwitchToUserMode( void )  in vPortSwitchToUserMode()  argument
1560     void vPortValidateInterruptPriority( void )  in vPortValidateInterruptPriority()  argument