add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/clocksource/clksrc_st_lpc.c
..
..
@@ -51,7 +51,7 @@
51
51
 
52
52
 	sched_clock_register(st_clksrc_sched_clock_read, 32, rate);
53
53
 
54
-	ret = clocksource_mmio_init(ddata.base + LPC_LPT_LSB_OFF,
54
+	ret = clocksource_user_single_mmio_init(ddata.base + LPC_LPT_LSB_OFF,
55
55
 				    "clksrc-st-lpc", rate, 300, 32,
56
56
 				    clocksource_mmio_readl_up);
57
57
 	if (ret) {