453     __asm void prvTriggerLazyStacking( void ) /* PRIVILEGED_FUNCTION */  in prvTriggerLazyStacking()  argument
577     __asm void vRequestSystemCallExit( void ) /* PRIVILEGED_FUNCTION */  in vRequestSystemCallExit()  argument
678 BaseType_t xPortIsTaskPrivileged( void ) /* PRIVILEGED_FUNCTION */  in xPortIsTaskPrivileged()  argument
694     __asm void vPortSVCHandler( void )  in vPortSVCHandler()  argument
728     __asm void vPortSVCHandler( void )  in vPortSVCHandler()  argument
752 __asm void prvRestoreContextOfFirstTask( void )  in prvRestoreContextOfFirstTask()  argument
812 BaseType_t xPortStartScheduler( void )  in xPortStartScheduler()  argument
986 __asm void prvStartFirstTask( void )  in prvStartFirstTask()  argument
1015 void vPortEndScheduler( void )  in vPortEndScheduler()  argument
1023 void vPortEnterCritical( void )  in vPortEnterCritical()  argument
1050 void vPortExitCritical( void )  in vPortExitCritical()  argument
1093 __asm void xPortPendSVHandler( void )  in xPortPendSVHandler()  argument
1190 void xPortSysTickHandler( void )  in xPortSysTickHandler()  argument
1217 __weak void vSetupTimerInterrupt( void )  in vSetupTimerInterrupt()  argument
1229 __asm void vPortEnableVFP( void )  in vPortEnableVFP()  argument
1245 static void prvSetupMPU( void )  in prvSetupMPU()  argument
1339 __asm BaseType_t xIsPrivileged( void )  in xIsPrivileged()  argument
1354 __asm void vResetPrivilege( void )  in vResetPrivilege()  argument
1367 void vPortSwitchToUserMode( void )  in vPortSwitchToUserMode()  argument
1543 __asm uint32_t prvPortGetIPSR( void )  in prvPortGetIPSR()  argument
1556     void vPortValidateInterruptPriority( void )  in vPortValidateInterruptPriority()  argument