Bugfix: change __ARCH_HAS_SEND_PULL_TIMERS in CONFIG_ARCH_HAS_SEND_PULL_TIMERS

Commit "0c527966 Make release master support optional" uses
__ARCH_HAS_SEND_PULL_TIMERS instead of CONFIG_ARCH_HAS_SEND_PULL_TIMERS
(introduced in commit 0fb33c99) to conditionally compile a pull timer
related code in rt_domain.c. This code is disabled and pull-timer's
state is no longer properly reset. Therefore, a pulled timer cannot be
armed anymore.

1 files changed, 1 insertions, 1 deletions

diff --git a/litmus/rt_domain.c b/litmus/rt_domain.c
index 26f1cc48f865..b5de181e62db 100644
--- a/litmus/rt_domain.c
+++ b/litmus/rt_domain.c
@@ -158,7 +158,7 @@ static void reinit_release_heap(struct task_struct* t)
 
         /* initialize */
         bheap_init(&rh->heap);
-#ifdef __ARCH_HAS_SEND_PULL_TIMERS
+#ifdef CONFIG_ARCH_HAS_SEND_PULL_TIMERS
         atomic_set(&rh->info.state, HRTIMER_START_ON_INACTIVE);
 #endif
 }