Backport logging, timer, and race condition bugfixes from MC^2

Fixes are:
1. Fix a potential race condition with budget replenishment in GEDF
   reservations
2. Fix bug where release_jobs_before_now() could race with itself and
   corrupt the release heap state (the conditional that checked for
   a non-empty queue was prior to lock aquisition, and another
   thread could potentially clear the queue while we spun).
3. Fix a problem with incorrect HRTIMER_MODE in rt_domain. With a
   preemptible kernel, these need to explicitly expire in a hard
   interrupt context (new with LITMUS-RT on 5.4).
4. Fix a logging bug in rt_domain where non-existant variable
   `rh->timer` was being printed rather than `rt->timer`.

0 files changed, 0 insertions, 0 deletions