diff --git a/kernel/sched_rt.c b/kernel/sched_rt.c
index 01f75a5..7e4839c 100644
--- a/kernel/sched_rt.c
+++ b/kernel/sched_rt.c
@@ -568,8 +568,12 @@ static int do_sched_rt_period_timer(struct rt_bandwidth *rt_b, int overrun)
 			raw_spin_unlock(&rt_rq->rt_runtime_lock);
 		} else if (rt_rq->rt_nr_running) {
 			idle = 0;
-			if (!rt_rq_throttled(rt_rq))
+			if (!rt_rq_throttled(rt_rq)) {
+				int cpu = cpu_of(rq_of_rt_rq(rt_rq));
+
+				WARN_ON(!on_rt_rq(rt_rq->tg->rt_se[cpu]));
 				enqueue = 1;
+			}
 		}
 
 		if (enqueue)