add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/sched/wait.c
..
..
@@ -71,6 +71,8 @@
71
71
 	wait_queue_entry_t *curr, *next;
72
72
 	int cnt = 0;
73
73
 
74
+	check_inband_stage();
75
+
74
76
 	lockdep_assert_held(&wq_head->lock);
75
77
 
76
78
 	if (bookmark && (bookmark->flags & WQ_FLAG_BOOKMARK)) {