add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/mm/context.c
..
..
@@ -18,7 +18,7 @@
18
18
 #include <asm/tlbflush.h>
19
19
 
20
20
 static u32 asid_bits;
21
-static DEFINE_RAW_SPINLOCK(cpu_asid_lock);
21
+static DEFINE_HARD_SPINLOCK(cpu_asid_lock);
22
22
 
23
23
 static atomic64_t asid_generation;
24
24
 static unsigned long *asid_map;
..
..
@@ -217,6 +217,9 @@
217
217
 	unsigned long flags;
218
218
 	unsigned int cpu;
219
219
 	u64 asid, old_active_asid;
220
+	bool need_flush;
221
+
222
+	WARN_ON_ONCE(dovetail_debug() && !hard_irqs_disabled());
220
223
 
221
224
 	if (system_supports_cnp())
222
225
 		cpu_set_reserved_ttbr0();
..
..
@@ -252,12 +255,14 @@
252
255
 	}
253
256
 
254
257
 	cpu = smp_processor_id();
255
-	if (cpumask_test_and_clear_cpu(cpu, &tlb_flush_pending))
256
-		local_flush_tlb_all();
258
+	need_flush = cpumask_test_and_clear_cpu(cpu, &tlb_flush_pending);
257
259
 
258
260
 	atomic64_set(this_cpu_ptr(&active_asids), asid);
259
261
 	raw_spin_unlock_irqrestore(&cpu_asid_lock, flags);
260
262
 
263
+	if (need_flush)
264
+		local_flush_tlb_all();
265
+
261
266
 switch_mm_fastpath:
262
267
 
263
268
 	arm64_apply_bp_hardening();