add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/modules-only.symvers
..
..
@@ -1,18 +1,15 @@
1
1
 0x00000000	stv0288_attach	drivers/media/dvb-frontends/stv0288	EXPORT_SYMBOL	
2
2
 0x00000000	cx24123_attach	drivers/media/dvb-frontends/cx24123	EXPORT_SYMBOL	
3
-0x00000000	rtkm_kzalloc	drivers/net/wireless/rockchip_wlan/rtl8852be/rtkm	EXPORT_SYMBOL	
4
3
 0x00000000	au8522_led_ctrl	drivers/media/dvb-frontends/au8522_common	EXPORT_SYMBOL	
5
4
 0x00000000	dib0070_wbd_offset	drivers/media/dvb-frontends/dib0070	EXPORT_SYMBOL	
6
5
 0x00000000	stv0910_attach	drivers/media/dvb-frontends/stv0910	EXPORT_SYMBOL_GPL	
7
6
 0x00000000	stv6110_attach	drivers/media/dvb-frontends/stv6110	EXPORT_SYMBOL	
8
7
 0x00000000	lnbp22_attach	drivers/media/dvb-frontends/lnbp22	EXPORT_SYMBOL	
9
8
 0x00000000	s921_attach	drivers/media/dvb-frontends/s921	EXPORT_SYMBOL	
10
-0x00000000	dhd_wlan_mem_prealloc	drivers/net/wireless/rockchip_wlan/rkwifi/bcmdhd/dhd_static_buf	EXPORT_SYMBOL	
11
9
 0x00000000	zl10036_attach	drivers/media/dvb-frontends/zl10036	EXPORT_SYMBOL	
12
10
 0x00000000	s5h1411_attach	drivers/media/dvb-frontends/s5h1411	EXPORT_SYMBOL	
13
11
 0x00000000	zd1301_demod_get_dvb_frontend	drivers/media/dvb-frontends/zd1301_demod	EXPORT_SYMBOL	
14
12
 0x00000000	dib3000mc_pid_parse	drivers/media/dvb-frontends/dib3000mc	EXPORT_SYMBOL	
15
-0x00000000	rtkm_kmalloc	drivers/net/wireless/rockchip_wlan/rtl8852be/rtkm	EXPORT_SYMBOL	
16
13
 0x00000000	m88ds3103_attach	drivers/media/dvb-frontends/m88ds3103	EXPORT_SYMBOL	
17
14
 0x00000000	dib9000_set_gpio	drivers/media/dvb-frontends/dib9000	EXPORT_SYMBOL	
18
15
 0x00000000	xc4000_attach	drivers/media/tuners/xc4000	EXPORT_SYMBOL	
..
..
@@ -20,7 +17,6 @@
20
17
 0x00000000	au8522_release_state	drivers/media/dvb-frontends/au8522_common	EXPORT_SYMBOL	
21
18
 0x00000000	lgs8gl5_attach	drivers/media/dvb-frontends/lgs8gl5	EXPORT_SYMBOL	
22
19
 0x00000000	dib0090_update_rframp_7090	drivers/media/dvb-frontends/dib0090	EXPORT_SYMBOL	
23
-0x00000000	rtkm_prealloc_destroy	drivers/net/wireless/rockchip_wlan/rtl8852be/rtkm	EXPORT_SYMBOL	
24
20
 0x00000000	cxd2820r_attach	drivers/media/dvb-frontends/cxd2820r	EXPORT_SYMBOL	
25
21
 0x00000000	zl10039_attach	drivers/media/dvb-frontends/zl10039	EXPORT_SYMBOL	
26
22
 0x00000000	dib7000p_attach	drivers/media/dvb-frontends/dib7000p	EXPORT_SYMBOL	
..
..
@@ -98,7 +94,6 @@
98
94
 0x00000000	dib9000_set_slave_frontend	drivers/media/dvb-frontends/dib9000	EXPORT_SYMBOL	
99
95
 0x00000000	ds3000_attach	drivers/media/dvb-frontends/ds3000	EXPORT_SYMBOL	
100
96
 0x00000000	dib0070_ctrl_agc_filter	drivers/media/dvb-frontends/dib0070	EXPORT_SYMBOL	
101
-0x00000000	rtkm_dump_mstatus	drivers/net/wireless/rockchip_wlan/rtl8852be/rtkm	EXPORT_SYMBOL	
102
97
 0x00000000	dib0090_set_tune_state	drivers/media/dvb-frontends/dib0090	EXPORT_SYMBOL	
103
98
 0x00000000	dib0090_get_tune_state	drivers/media/dvb-frontends/dib0090	EXPORT_SYMBOL	
104
99
 0x00000000	stv0297_attach	drivers/media/dvb-frontends/stv0297	EXPORT_SYMBOL	
..
..
@@ -138,7 +133,6 @@
138
133
 0x00000000	tda8083_attach	drivers/media/dvb-frontends/tda8083	EXPORT_SYMBOL	
139
134
 0x00000000	dib0090_get_wbd_target	drivers/media/dvb-frontends/dib0090	EXPORT_SYMBOL	
140
135
 0x00000000	lgs8gxx_attach	drivers/media/dvb-frontends/lgs8gxx	EXPORT_SYMBOL	
141
-0x00000000	rtkm_kfree	drivers/net/wireless/rockchip_wlan/rtl8852be/rtkm	EXPORT_SYMBOL	
142
136
 0x00000000	nxt200x_attach	drivers/media/dvb-frontends/nxt200x	EXPORT_SYMBOL	
143
137
 0x00000000	tda826x_attach	drivers/media/dvb-frontends/tda826x	EXPORT_SYMBOL	
144
138
 0x00000000	dib9000_fw_pid_filter	drivers/media/dvb-frontends/dib9000	EXPORT_SYMBOL	
..
..
@@ -147,7 +141,6 @@
147
141
 0x00000000	au8522_readreg	drivers/media/dvb-frontends/au8522_common	EXPORT_SYMBOL	
148
142
 0x00000000	stv6111_attach	drivers/media/dvb-frontends/stv6111	EXPORT_SYMBOL_GPL	
149
143
 0x00000000	or51132_attach	drivers/media/dvb-frontends/or51132	EXPORT_SYMBOL	
150
-0x00000000	rtkm_prealloc_init	drivers/net/wireless/rockchip_wlan/rtl8852be/rtkm	EXPORT_SYMBOL	
151
144
 0x00000000	dib9000_get_tuner_interface	drivers/media/dvb-frontends/dib9000	EXPORT_SYMBOL	
152
145
 0x00000000	dibx000_reset_i2c_master	drivers/media/dvb-frontends/dibx000_common	EXPORT_SYMBOL	
153
146
 0x00000000	cx24110_attach	drivers/media/dvb-frontends/cx24110	EXPORT_SYMBOL	
..
..
@@ -163,7 +156,6 @@
163
156
 0x00000000	dib0090_register	drivers/media/dvb-frontends/dib0090	EXPORT_SYMBOL	
164
157
 0x00000000	cx24113_attach	drivers/media/dvb-frontends/cx24113	EXPORT_SYMBOL	
165
158
 0x00000000	fc0013_rc_cal_reset	drivers/media/tuners/fc0013	EXPORT_SYMBOL	
166
-0x00000000	rtkm_set_trace	drivers/net/wireless/rockchip_wlan/rtl8852be/rtkm	EXPORT_SYMBOL	
167
159
 0x00000000	stv0900_attach	drivers/media/dvb-frontends/stv0900	EXPORT_SYMBOL	
168
160
 0x00000000	stb6000_attach	drivers/media/dvb-frontends/stb6000	EXPORT_SYMBOL	
169
161
 0x00000000	lnbp21_attach	drivers/media/dvb-frontends/lnbp21	EXPORT_SYMBOL