1 files changed, 2 insertions, 2 deletions

diff --git a/kernel/sched/idle.c b/kernel/sched/idle.c
index cf009fb0bc25..9f1608f99819 100644
--- a/kernel/sched/idle.c
+++ b/kernel/sched/idle.c
@@ -79,7 +79,7 @@ static void cpuidle_idle_call(void)
         struct cpuidle_device *dev = __this_cpu_read(cpuidle_devices);
         struct cpuidle_driver *drv = cpuidle_get_cpu_driver(dev);
         int next_state, entered_state;
-        bool broadcast;
+        unsigned int broadcast;
 
         /*
          * Check if the idle task must be rescheduled. If it is the
@@ -135,7 +135,7 @@ use_default:
                 goto exit_idle;
         }
 
-        broadcast = !!(drv->states[next_state].flags & CPUIDLE_FLAG_TIMER_STOP);
+        broadcast = drv->states[next_state].flags & CPUIDLE_FLAG_TIMER_STOP;
 
         /*
          * Tell the time framework to switch to a broadcast timer