diff options
| -rw-r--r-- | c/src/exec/score/src/threadchangepriority.c | 5 | ||||
| -rw-r--r-- | cpukit/score/src/threadchangepriority.c | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/c/src/exec/score/src/threadchangepriority.c b/c/src/exec/score/src/threadchangepriority.c index 9a0e6936a2..b8b76ea235 100644 --- a/c/src/exec/score/src/threadchangepriority.c +++ b/c/src/exec/score/src/threadchangepriority.c @@ -88,6 +88,11 @@ void _Thread_Change_priority( _States_Clear( STATES_TRANSIENT, the_thread->current_state ); if ( ! _States_Is_ready( the_thread->current_state ) ) { + /* + * XXX If a task is to be reordered while blocked on a priority + * XXX priority ordered thread queue, then this is where that + * XXX should occur. + */ _ISR_Enable( level ); return; } diff --git a/cpukit/score/src/threadchangepriority.c b/cpukit/score/src/threadchangepriority.c index 9a0e6936a2..b8b76ea235 100644 --- a/cpukit/score/src/threadchangepriority.c +++ b/cpukit/score/src/threadchangepriority.c @@ -88,6 +88,11 @@ void _Thread_Change_priority( _States_Clear( STATES_TRANSIENT, the_thread->current_state ); if ( ! _States_Is_ready( the_thread->current_state ) ) { + /* + * XXX If a task is to be reordered while blocked on a priority + * XXX priority ordered thread queue, then this is where that + * XXX should occur. + */ _ISR_Enable( level ); return; } |