len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-04-19 21:11:57 -04:00
Code Issues Packages Projects Releases Wiki Activity

Allow compilation when portALT_GET_RUN_TIME_COUNTER_VALUE() is defined.

Browse source
This commit is contained in:
Richard Barry 2013-08-14 08:35:40 +00:00
parent dac40d1677
commit 63e8044d33
1 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
FreeRTOS/Source/tasks.c
View file

@ -939,7 +939,7 @@ tskTCB * pxNewTCB;
running task is being raised. Is the priority being running task is being raised. Is the priority being
raised above that of the running task? */ raised above that of the running task? */
if( uxNewPriority >= pxCurrentTCB->uxPriority ) if( uxNewPriority >= pxCurrentTCB->uxPriority )
{ {
xYieldRequired = pdTRUE; xYieldRequired = pdTRUE;
} }
} }
@ -952,8 +952,8 @@ tskTCB * pxNewTCB;
} }
else if( pxTCB == pxCurrentTCB ) else if( pxTCB == pxCurrentTCB )
{ {
/* Setting the priority of the running task down means /* Setting the priority of the running task down means
there may now be another task of higher priority that there may now be another task of higher priority that
is ready to execute. */ is ready to execute. */
xYieldRequired = pdTRUE; xYieldRequired = pdTRUE;
} }
@ -1515,7 +1515,11 @@ unsigned portBASE_TYPE uxTaskGetNumberOfTasks( void )
{ {
if( pulTotalRunTime != NULL ) if( pulTotalRunTime != NULL )
{ {
*pulTotalRunTime = portGET_RUN_TIME_COUNTER_VALUE(); #ifdef portALT_GET_RUN_TIME_COUNTER_VALUE
portALT_GET_RUN_TIME_COUNTER_VALUE( ( *pulTotalRunTime ) );
#else
*pulTotalRunTime = portGET_RUN_TIME_COUNTER_VALUE();
#endif
} }
} }
#else #else