add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/cpuidle/poll_state.c
..
..
@@ -17,7 +17,7 @@
17
17
 
18
18
 	dev->poll_time_limit = false;
19
19
 
20
-	local_irq_enable();
20
+	local_irq_enable_full();
21
21
 	if (!current_set_polling_and_test()) {
22
22
 		unsigned int loop_count = 0;
23
23
 		u64 limit;