0016-MultiQueue-Skiplist-Scheduler-version-v0.180_fix_sched_smt_present.patch

diff -up linux-4.19/kernel/sched/MuQSS.c.schedsmt linux-4.19/kernel/sched/MuQSS.c
--- linux-4.19/kernel/sched/MuQSS.c.schedsmt	2018-12-04 19:50:39.000000000 +0100
+++ linux-4.19/kernel/sched/MuQSS.c	2018-12-04 21:06:43.447533771 +0100
@@ -1011,6 +1011,10 @@ static void resched_curr(struct rq *rq)
 #define CPUIDLE_THREAD_BUSY	(16)
 #define CPUIDLE_DIFF_NODE	(32)
 
+#ifdef CONFIG_SCHED_SMT
+DEFINE_STATIC_KEY_FALSE(sched_smt_present);
+#endif
+
 /*
  * The best idle CPU is chosen according to the CPUIDLE ranking above where the
  * lowest value would give the most suitable CPU to schedule p onto next. The