add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/asm-offsets.c
..
..
@@ -38,6 +38,9 @@
38
38
 #endif
39
39
 
40
40
 	BLANK();
41
+#ifdef CONFIG_IRQ_PIPELINE
42
+	DEFINE(OOB_stage_mask, STAGE_MASK);
43
+#endif
41
44
 	OFFSET(crypto_tfm_ctx_offset, crypto_tfm, __crt_ctx);
42
45
 
43
46
 	BLANK();