diff options
Diffstat (limited to 'FreeRTOS/Source')
| -rw-r--r-- | FreeRTOS/Source/tasks.c | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/FreeRTOS/Source/tasks.c b/FreeRTOS/Source/tasks.c index 830f17263..7406d673c 100644 --- a/FreeRTOS/Source/tasks.c +++ b/FreeRTOS/Source/tasks.c @@ -939,7 +939,7 @@ tskTCB * pxNewTCB; running task is being raised. Is the priority being
raised above that of the running task? */
if( uxNewPriority >= pxCurrentTCB->uxPriority )
- {
+ {
xYieldRequired = pdTRUE;
}
}
@@ -952,8 +952,8 @@ tskTCB * pxNewTCB; }
else if( pxTCB == pxCurrentTCB )
{
- /* Setting the priority of the running task down means
- there may now be another task of higher priority that
+ /* Setting the priority of the running task down means
+ there may now be another task of higher priority that
is ready to execute. */
xYieldRequired = pdTRUE;
}
@@ -1515,7 +1515,11 @@ unsigned portBASE_TYPE uxTaskGetNumberOfTasks( void ) {
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
|