add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/include/linux/dw_apb_timer.h
..
..
@@ -30,7 +30,7 @@
30
30
 
31
31
 struct dw_apb_clocksource {
32
32
 	struct dw_apb_timer			timer;
33
-	struct clocksource			cs;
33
+	struct clocksource_user_mmio		ummio;
34
34
 };
35
35
 
36
36
 void dw_apb_clockevent_register(struct dw_apb_clock_event_device *dw_ced);