add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/cpu/acrn.c
..
..
@@ -35,7 +35,8 @@
35
35
 
36
36
 static void (*acrn_intr_handler)(void);
37
37
 
38
-DEFINE_IDTENTRY_SYSVEC(sysvec_acrn_hv_callback)
38
+DEFINE_IDTENTRY_SYSVEC_PIPELINED(HYPERVISOR_CALLBACK_VECTOR,
39
+				 sysvec_acrn_hv_callback)
39
40
 {
40
41
 	struct pt_regs *old_regs = set_irq_regs(regs);
41
42