add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/irq/internals.h
..
..
@@ -52,6 +52,7 @@
52
52
  * IRQS_PENDING			- irq is pending and replayed later
53
53
  * IRQS_SUSPENDED		- irq is suspended
54
54
  * IRQS_NMI			- irq line is used to deliver NMIs
55
+ * IRQS_EDGE			- irq line received an edge event
55
56
  */
56
57
 enum {
57
58
 	IRQS_AUTODETECT		= 0x00000001,
..
..
@@ -64,6 +65,7 @@
64
65
 	IRQS_SUSPENDED		= 0x00000800,
65
66
 	IRQS_TIMINGS		= 0x00001000,
66
67
 	IRQS_NMI		= 0x00002000,
68
+	IRQS_EDGE		= 0x00004000,
67
69
 };
68
70
 
69
71
 #include "debug.h"