diff options
Diffstat (limited to 'cpukit/score/src/schedulercbsgetexecutiontime.c')
| -rw-r--r-- | cpukit/score/src/schedulercbsgetexecutiontime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/src/schedulercbsgetexecutiontime.c b/cpukit/score/src/schedulercbsgetexecutiontime.c index a16d297b48..608560bf54 100644 --- a/cpukit/score/src/schedulercbsgetexecutiontime.c +++ b/cpukit/score/src/schedulercbsgetexecutiontime.c @@ -47,7 +47,7 @@ int _Scheduler_CBS_Get_execution_time ( return SCHEDULER_CBS_OK; } - the_thread = _Thread_Get_interrupt_disable( server->task_id, &lock_context ); + the_thread = _Thread_Get( server->task_id, &lock_context ); if ( the_thread != NULL ) { *exec_time = server->parameters.budget - the_thread->cpu_time_budget; |