add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/time.c
..
..
@@ -54,7 +54,7 @@
54
54
  */
55
55
 static irqreturn_t timer_interrupt(int irq, void *dev_id)
56
56
 {
57
-	global_clock_event->event_handler(global_clock_event);
57
+	clockevents_handle_event(global_clock_event);
58
58
 	return IRQ_HANDLED;
59
59
 }
60
60