add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/trace/trace_clock.c
..
..
@@ -97,7 +97,7 @@
97
97
 	int this_cpu;
98
98
 	u64 now, prev_time;
99
99
 
100
-	raw_local_irq_save(flags);
100
+	flags = hard_local_irq_save();
101
101
 
102
102
 	this_cpu = raw_smp_processor_id();
103
103
 
..
..
@@ -139,7 +139,7 @@
139
139
 		arch_spin_unlock(&trace_clock_struct.lock);
140
140
 	}
141
141
  out:
142
-	raw_local_irq_restore(flags);
142
+	hard_local_irq_restore(flags);
143
143
 
144
144
 	return now;
145
145
 }