add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/hyperv/hv_init.c
..
..
@@ -156,7 +156,8 @@
156
156
 		ms_hyperv.features & HV_ACCESS_REENLIGHTENMENT;
157
157
 }
158
158
 
159
-DEFINE_IDTENTRY_SYSVEC(sysvec_hyperv_reenlightenment)
159
+DEFINE_IDTENTRY_SYSVEC_PIPELINED(HYPERV_REENLIGHTENMENT_VECTOR,
160
+				 sysvec_hyperv_reenlightenment)
160
161
 {
161
162
 	ack_APIC_irq();
162
163
 	inc_irq_stat(irq_hv_reenlightenment_count);