add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/include/asm/fpu/types.h
..
..
@@ -329,6 +329,18 @@
329
329
 	 */
330
330
 	unsigned int			last_cpu;
331
331
 
332
+#ifdef CONFIG_DOVETAIL
333
+	/*
334
+	 * @preempted:
335
+	 *
336
+	 * When Dovetail is enabled, this flag is set for the inband
337
+	 * task context saved when entering a kernel_fpu_begin/end()
338
+	 * section before the latter got preempted by an out-of-band
339
+	 * task.
340
+	 */
341
+	unsigned char			preempted : 1;
342
+#endif
343
+
332
344
 	/*
333
345
 	 * @avx512_timestamp:
334
346
 	 *