add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm/include/asm/assembler.h
..
..
@@ -122,7 +122,7 @@
122
122
 	.if \save
123
123
 	stmdb   sp!, {r0-r3, ip, lr}
124
124
 	.endif
125
-	bl	trace_hardirqs_off
125
+	bl	trace_hardirqs_off_pipelined
126
126
 	.if \save
127
127
 	ldmia	sp!, {r0-r3, ip, lr}
128
128
 	.endif
..
..
@@ -138,13 +138,25 @@
138
138
 	.if \save
139
139
 	stmdb   sp!, {r0-r3, ip, lr}
140
140
 	.endif
141
-	bl\cond	trace_hardirqs_on
141
+	bl\cond	trace_hardirqs_on_pipelined
142
142
 	.if \save
143
143
 	ldmia	sp!, {r0-r3, ip, lr}
144
144
 	.endif
145
145
 #endif
146
146
 	.endm
147
147
 
148
+	.macro  disable_irq_if_pipelined
149
+#ifdef CONFIG_IRQ_PIPELINE
150
+	disable_irq_notrace
151
+#endif
152
+	.endm
153
+
154
+	.macro  enable_irq_if_pipelined
155
+#ifdef CONFIG_IRQ_PIPELINE
156
+	enable_irq_notrace
157
+#endif
158
+	.endm
159
+
148
160
 	.macro disable_irq, save=1
149
161
 	disable_irq_notrace
150
162
 	asm_trace_hardirqs_off \save