diff options
Diffstat (limited to 'litmus/sched_edf_hsb.c')
-rw-r--r-- | litmus/sched_edf_hsb.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/litmus/sched_edf_hsb.c b/litmus/sched_edf_hsb.c index 5fe546d156c0..722c99053ece 100644 --- a/litmus/sched_edf_hsb.c +++ b/litmus/sched_edf_hsb.c | |||
@@ -924,6 +924,11 @@ static struct task_struct* next_eligible_hrt(hrt_server_t *hrt_server) | |||
924 | hrt_server->no_slack = 0; | 924 | hrt_server->no_slack = 0; |
925 | slack_timer_arm(hrt_server); | 925 | slack_timer_arm(hrt_server); |
926 | sched_trace_action(NULL, 2); /* Release */ | 926 | sched_trace_action(NULL, 2); /* Release */ |
927 | } else { | ||
928 | TRACE_SERVER_SUB(&hrt_server->server, "%llu %d %llu", | ||
929 | hrt_server->server.deadline, | ||
930 | is_server_linked(&hrt_server->server), | ||
931 | now); | ||
927 | } | 932 | } |
928 | 933 | ||
929 | if (hrt_server->ready && hrt_server->server.budget > 0) { | 934 | if (hrt_server->ready && hrt_server->server.budget > 0) { |