add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/include/asm/tlbflush.h
..
..
@@ -37,9 +37,9 @@
37
37
 {
38
38
 	unsigned long flags;
39
39
 
40
-	local_irq_save(flags);
40
+	flags = hard_local_irq_save();
41
41
 	cr4_set_bits_irqsoff(mask);
42
-	local_irq_restore(flags);
42
+	hard_local_irq_restore(flags);
43
43
 }
44
44
 
45
45
 /* Clear in this cpu's CR4. */
..
..
@@ -47,9 +47,9 @@
47
47
 {
48
48
 	unsigned long flags;
49
49
 
50
-	local_irq_save(flags);
50
+	flags = hard_local_irq_save();
51
51
 	cr4_clear_bits_irqsoff(mask);
52
-	local_irq_restore(flags);
52
+	hard_local_irq_restore(flags);
53
53
 }
54
54
 
55
55
 #ifndef MODULE