Line data Source code
1 :
2 : struct device;
3 :
4 : void *ldv_dev_get_drvdata(const struct device *dev);
5 : int ldv_dev_set_drvdata(struct device *dev, void *data);
6 :
7 : struct spi_master;
8 : struct device;
9 : struct spi_master *ldv_spi_alloc_master(struct device *host, unsigned size);
10 :
11 : #include <linux/ldv/err.h>
12 :
13 : #include <linux/types.h>
14 : void *ldv_kzalloc(size_t size, gfp_t flags);
15 :
16 : struct clk;
17 :
18 : extern void ldv_clk_disable(struct clk *clk);
19 : extern int ldv_clk_enable(void);
20 :
21 : #include <linux/ldv/common.h>
22 : #include <linux/ldv/irq.h>
23 : #include <verifier/common.h>
24 : #include <verifier/nondet.h>
25 : #include <verifier/memory.h>
26 : #include <verifier/thread.h>
27 :
28 : #include <linux/device.h>
29 : #include <linux/platform_device.h>
30 : #include <linux/pm.h>
31 : #include <linux/rtc.h>
32 : #include <linux/timer.h>
33 :
34 :
35 : struct ldv_struct_platform_instance_2 {
36 : int signal_pending;
37 : };
38 :
39 : struct ldv_struct_timer_scenario_24 {
40 : struct timer_list *arg0;
41 : int signal_pending;
42 : };
43 :
44 : /* EMG Function declarations */
45 : void ldv_rtc_class_scenario_callback_10_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
46 : void ldv_rtc_class_scenario_callback_10_16(int (*)(struct device *), struct device *);
47 : void ldv_rtc_class_scenario_callback_10_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
48 : void ldv_rtc_class_scenario_callback_10_4(int (*)(struct device *), struct device *);
49 : void ldv_rtc_class_scenario_callback_11_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
50 : void ldv_rtc_class_scenario_callback_11_16(int (*)(struct device *), struct device *);
51 : void ldv_rtc_class_scenario_callback_11_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
52 : void ldv_rtc_class_scenario_callback_11_4(int (*)(struct device *), struct device *);
53 : void ldv_rtc_class_scenario_callback_12_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
54 : void ldv_rtc_class_scenario_callback_12_16(int (*)(struct device *), struct device *);
55 : void ldv_rtc_class_scenario_callback_12_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
56 : void ldv_rtc_class_scenario_callback_12_4(int (*)(struct device *), struct device *);
57 : void ldv_rtc_class_scenario_callback_13_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
58 : void ldv_rtc_class_scenario_callback_13_16(int (*)(struct device *), struct device *);
59 : void ldv_rtc_class_scenario_callback_13_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
60 : void ldv_rtc_class_scenario_callback_13_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
61 : void ldv_rtc_class_scenario_callback_13_4(int (*)(struct device *), struct device *);
62 : void ldv_rtc_class_scenario_callback_14_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
63 : void ldv_rtc_class_scenario_callback_14_16(int (*)(struct device *), struct device *);
64 : void ldv_rtc_class_scenario_callback_14_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
65 : void ldv_rtc_class_scenario_callback_14_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
66 : void ldv_rtc_class_scenario_callback_14_4(int (*)(struct device *), struct device *);
67 : void ldv_rtc_class_scenario_callback_15_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
68 : void ldv_rtc_class_scenario_callback_15_16(int (*)(struct device *), struct device *);
69 : void ldv_rtc_class_scenario_callback_15_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
70 : void ldv_rtc_class_scenario_callback_15_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
71 : void ldv_rtc_class_scenario_callback_15_4(int (*)(struct device *), struct device *);
72 : void ldv_rtc_class_scenario_callback_16_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
73 : void ldv_rtc_class_scenario_callback_16_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
74 : void ldv_rtc_class_scenario_callback_17_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
75 : void ldv_rtc_class_scenario_callback_18_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
76 : void ldv_rtc_class_scenario_callback_19_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
77 : void ldv_rtc_class_scenario_callback_19_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
78 : void ldv_rtc_class_scenario_callback_20_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
79 : void ldv_rtc_class_scenario_callback_20_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
80 : void ldv_rtc_class_scenario_callback_3_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
81 : void ldv_rtc_class_scenario_callback_4_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
82 : void ldv_rtc_class_scenario_callback_4_16(int (*)(struct device *), struct device *);
83 : void ldv_rtc_class_scenario_callback_4_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
84 : void ldv_rtc_class_scenario_callback_4_4(int (*)(struct device *), struct device *);
85 : void ldv_rtc_class_scenario_callback_5_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
86 : void ldv_rtc_class_scenario_callback_5_16(int (*)(struct device *), struct device *);
87 : void ldv_rtc_class_scenario_callback_5_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
88 : void ldv_rtc_class_scenario_callback_5_4(int (*)(struct device *), struct device *);
89 : void ldv_rtc_class_scenario_callback_6_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
90 : void ldv_rtc_class_scenario_callback_6_16(int (*)(struct device *), struct device *);
91 : void ldv_rtc_class_scenario_callback_6_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
92 : void ldv_rtc_class_scenario_callback_6_4(int (*)(struct device *), struct device *);
93 : void ldv_rtc_class_scenario_callback_7_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
94 : void ldv_rtc_class_scenario_callback_7_16(int (*)(struct device *), struct device *);
95 : void ldv_rtc_class_scenario_callback_7_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
96 : void ldv_rtc_class_scenario_callback_7_4(int (*)(struct device *), struct device *);
97 : void ldv_rtc_class_scenario_callback_8_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
98 : void ldv_rtc_class_scenario_callback_8_16(int (*)(struct device *), struct device *);
99 : void ldv_rtc_class_scenario_callback_8_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
100 : void ldv_rtc_class_scenario_callback_8_4(int (*)(struct device *), struct device *);
101 : void ldv_rtc_class_scenario_callback_9_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
102 : void ldv_rtc_class_scenario_callback_9_16(int (*)(struct device *), struct device *);
103 : void ldv_rtc_class_scenario_callback_9_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
104 : void ldv_rtc_class_scenario_callback_9_4(int (*)(struct device *), struct device *);
105 :
106 : /* EMG variable declarations */
107 :
108 : /* EMG variable initialization */
109 :
110 : /* EMG function definitions */
111 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_10_15 */
112 : void ldv_rtc_class_scenario_callback_10_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
113 2 : ((& sdio_bus_match))(arg1, arg2);
114 1 : }
115 :
116 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_10_16 */
117 : void ldv_rtc_class_scenario_callback_10_16(int (*arg0)(struct device *), struct device *arg1) {
118 3 : ((& sdio_bus_remove))(arg1);
119 1 : }
120 :
121 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_10_22 */
122 : void ldv_rtc_class_scenario_callback_10_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
123 4 : ((& sdio_bus_uevent))(arg1, arg2);
124 1 : }
125 :
126 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_10_4 */
127 : void ldv_rtc_class_scenario_callback_10_4(int (*arg0)(struct device *), struct device *arg1) {
128 3 : ((& sdio_bus_probe))(arg1);
129 1 : }
130 :
131 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_11_15 */
132 : void ldv_rtc_class_scenario_callback_11_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
133 2 : ((& sdio_bus_match))(arg1, arg2);
134 1 : }
135 :
136 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_11_16 */
137 : void ldv_rtc_class_scenario_callback_11_16(int (*arg0)(struct device *), struct device *arg1) {
138 3 : ((& sdio_bus_remove))(arg1);
139 1 : }
140 :
141 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_11_22 */
142 : void ldv_rtc_class_scenario_callback_11_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
143 4 : ((& sdio_bus_uevent))(arg1, arg2);
144 1 : }
145 :
146 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_11_4 */
147 : void ldv_rtc_class_scenario_callback_11_4(int (*arg0)(struct device *), struct device *arg1) {
148 3 : ((& sdio_bus_probe))(arg1);
149 1 : }
150 :
151 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_12_15 */
152 : void ldv_rtc_class_scenario_callback_12_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
153 2 : ((& sdio_bus_match))(arg1, arg2);
154 1 : }
155 :
156 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_12_16 */
157 : void ldv_rtc_class_scenario_callback_12_16(int (*arg0)(struct device *), struct device *arg1) {
158 3 : ((& sdio_bus_remove))(arg1);
159 1 : }
160 :
161 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_12_22 */
162 : void ldv_rtc_class_scenario_callback_12_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
163 4 : ((& sdio_bus_uevent))(arg1, arg2);
164 1 : }
165 :
166 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_12_4 */
167 : void ldv_rtc_class_scenario_callback_12_4(int (*arg0)(struct device *), struct device *arg1) {
168 3 : ((& sdio_bus_probe))(arg1);
169 1 : }
170 :
171 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_15 */
172 : void ldv_rtc_class_scenario_callback_13_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
173 2 : ((& sdio_bus_match))(arg1, arg2);
174 1 : }
175 :
176 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_16 */
177 : void ldv_rtc_class_scenario_callback_13_16(int (*arg0)(struct device *), struct device *arg1) {
178 3 : ((& sdio_bus_remove))(arg1);
179 1 : }
180 :
181 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_18 */
182 : void ldv_rtc_class_scenario_callback_13_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
183 2 : ((& vendor_show))(arg1, arg2, arg3);
184 1 : }
185 :
186 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_22 */
187 : void ldv_rtc_class_scenario_callback_13_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
188 4 : ((& sdio_bus_uevent))(arg1, arg2);
189 1 : }
190 :
191 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_4 */
192 : void ldv_rtc_class_scenario_callback_13_4(int (*arg0)(struct device *), struct device *arg1) {
193 3 : ((& sdio_bus_probe))(arg1);
194 1 : }
195 :
196 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_15 */
197 : void ldv_rtc_class_scenario_callback_14_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
198 2 : ((& sdio_bus_match))(arg1, arg2);
199 1 : }
200 :
201 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_16 */
202 : void ldv_rtc_class_scenario_callback_14_16(int (*arg0)(struct device *), struct device *arg1) {
203 3 : ((& sdio_bus_remove))(arg1);
204 1 : }
205 :
206 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_18 */
207 : void ldv_rtc_class_scenario_callback_14_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
208 2 : ((& vendor_show))(arg1, arg2, arg3);
209 1 : }
210 :
211 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_22 */
212 : void ldv_rtc_class_scenario_callback_14_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
213 4 : ((& sdio_bus_uevent))(arg1, arg2);
214 1 : }
215 :
216 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_4 */
217 : void ldv_rtc_class_scenario_callback_14_4(int (*arg0)(struct device *), struct device *arg1) {
218 3 : ((& sdio_bus_probe))(arg1);
219 1 : }
220 :
221 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_15 */
222 : void ldv_rtc_class_scenario_callback_15_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
223 2 : ((& sdio_bus_match))(arg1, arg2);
224 1 : }
225 :
226 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_16 */
227 : void ldv_rtc_class_scenario_callback_15_16(int (*arg0)(struct device *), struct device *arg1) {
228 3 : ((& sdio_bus_remove))(arg1);
229 1 : }
230 :
231 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_18 */
232 : void ldv_rtc_class_scenario_callback_15_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
233 2 : ((& vendor_show))(arg1, arg2, arg3);
234 1 : }
235 :
236 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_22 */
237 : void ldv_rtc_class_scenario_callback_15_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
238 4 : ((& sdio_bus_uevent))(arg1, arg2);
239 1 : }
240 :
241 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_4 */
242 : void ldv_rtc_class_scenario_callback_15_4(int (*arg0)(struct device *), struct device *arg1) {
243 3 : ((& sdio_bus_probe))(arg1);
244 1 : }
245 :
246 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_18 */
247 : void ldv_rtc_class_scenario_callback_16_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
248 2 : ((& device_show))(arg1, arg2, arg3);
249 1 : }
250 :
251 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_22 */
252 : void ldv_rtc_class_scenario_callback_16_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
253 4 : ((& sdio_bus_uevent))(arg1, arg2);
254 1 : }
255 :
256 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_22 */
257 : void ldv_rtc_class_scenario_callback_17_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
258 4 : ((& sdio_bus_uevent))(arg1, arg2);
259 1 : }
260 :
261 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_22 */
262 : void ldv_rtc_class_scenario_callback_18_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
263 4 : ((& sdio_bus_uevent))(arg1, arg2);
264 1 : }
265 :
266 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_18 */
267 : void ldv_rtc_class_scenario_callback_19_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
268 2 : ((& modalias_show))(arg1, arg2, arg3);
269 1 : }
270 :
271 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_22 */
272 : void ldv_rtc_class_scenario_callback_19_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
273 4 : ((& sdio_bus_uevent))(arg1, arg2);
274 1 : }
275 :
276 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_18 */
277 : void ldv_rtc_class_scenario_callback_20_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
278 2 : ((& vendor_show))(arg1, arg2, arg3);
279 1 : }
280 :
281 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_22 */
282 : void ldv_rtc_class_scenario_callback_20_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
283 4 : ((& sdio_bus_uevent))(arg1, arg2);
284 1 : }
285 :
286 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_18 */
287 : void ldv_rtc_class_scenario_callback_3_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
288 2 : ((& class_show))(arg1, arg2, arg3);
289 1 : }
290 :
291 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_4_15 */
292 : void ldv_rtc_class_scenario_callback_4_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
293 2 : ((& sdio_bus_match))(arg1, arg2);
294 1 : }
295 :
296 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_4_16 */
297 : void ldv_rtc_class_scenario_callback_4_16(int (*arg0)(struct device *), struct device *arg1) {
298 3 : ((& sdio_bus_remove))(arg1);
299 1 : }
300 :
301 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_4_22 */
302 : void ldv_rtc_class_scenario_callback_4_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
303 4 : ((& sdio_bus_uevent))(arg1, arg2);
304 1 : }
305 :
306 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_4_4 */
307 : void ldv_rtc_class_scenario_callback_4_4(int (*arg0)(struct device *), struct device *arg1) {
308 3 : ((& sdio_bus_probe))(arg1);
309 1 : }
310 :
311 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_5_15 */
312 : void ldv_rtc_class_scenario_callback_5_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
313 2 : ((& sdio_bus_match))(arg1, arg2);
314 1 : }
315 :
316 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_5_16 */
317 : void ldv_rtc_class_scenario_callback_5_16(int (*arg0)(struct device *), struct device *arg1) {
318 3 : ((& sdio_bus_remove))(arg1);
319 1 : }
320 :
321 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_5_22 */
322 : void ldv_rtc_class_scenario_callback_5_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
323 4 : ((& sdio_bus_uevent))(arg1, arg2);
324 1 : }
325 :
326 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_5_4 */
327 : void ldv_rtc_class_scenario_callback_5_4(int (*arg0)(struct device *), struct device *arg1) {
328 3 : ((& sdio_bus_probe))(arg1);
329 1 : }
330 :
331 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_6_15 */
332 : void ldv_rtc_class_scenario_callback_6_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
333 2 : ((& sdio_bus_match))(arg1, arg2);
334 1 : }
335 :
336 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_6_16 */
337 : void ldv_rtc_class_scenario_callback_6_16(int (*arg0)(struct device *), struct device *arg1) {
338 3 : ((& sdio_bus_remove))(arg1);
339 1 : }
340 :
341 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_6_22 */
342 : void ldv_rtc_class_scenario_callback_6_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
343 4 : ((& sdio_bus_uevent))(arg1, arg2);
344 1 : }
345 :
346 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_6_4 */
347 : void ldv_rtc_class_scenario_callback_6_4(int (*arg0)(struct device *), struct device *arg1) {
348 3 : ((& sdio_bus_probe))(arg1);
349 1 : }
350 :
351 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_7_15 */
352 : void ldv_rtc_class_scenario_callback_7_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
353 2 : ((& sdio_bus_match))(arg1, arg2);
354 1 : }
355 :
356 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_7_16 */
357 : void ldv_rtc_class_scenario_callback_7_16(int (*arg0)(struct device *), struct device *arg1) {
358 3 : ((& sdio_bus_remove))(arg1);
359 1 : }
360 :
361 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_7_22 */
362 : void ldv_rtc_class_scenario_callback_7_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
363 4 : ((& sdio_bus_uevent))(arg1, arg2);
364 1 : }
365 :
366 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_7_4 */
367 : void ldv_rtc_class_scenario_callback_7_4(int (*arg0)(struct device *), struct device *arg1) {
368 3 : ((& sdio_bus_probe))(arg1);
369 1 : }
370 :
371 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_8_15 */
372 : void ldv_rtc_class_scenario_callback_8_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
373 2 : ((& sdio_bus_match))(arg1, arg2);
374 1 : }
375 :
376 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_8_16 */
377 : void ldv_rtc_class_scenario_callback_8_16(int (*arg0)(struct device *), struct device *arg1) {
378 3 : ((& sdio_bus_remove))(arg1);
379 1 : }
380 :
381 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_8_22 */
382 : void ldv_rtc_class_scenario_callback_8_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
383 4 : ((& sdio_bus_uevent))(arg1, arg2);
384 1 : }
385 :
386 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_8_4 */
387 : void ldv_rtc_class_scenario_callback_8_4(int (*arg0)(struct device *), struct device *arg1) {
388 3 : ((& sdio_bus_probe))(arg1);
389 1 : }
390 :
391 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_9_15 */
392 : void ldv_rtc_class_scenario_callback_9_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
393 2 : ((& sdio_bus_match))(arg1, arg2);
394 1 : }
395 :
396 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_9_16 */
397 : void ldv_rtc_class_scenario_callback_9_16(int (*arg0)(struct device *), struct device *arg1) {
398 3 : ((& sdio_bus_remove))(arg1);
399 1 : }
400 :
401 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_9_22 */
402 : void ldv_rtc_class_scenario_callback_9_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
403 4 : ((& sdio_bus_uevent))(arg1, arg2);
404 1 : }
405 :
406 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_9_4 */
407 : void ldv_rtc_class_scenario_callback_9_4(int (*arg0)(struct device *), struct device *arg1) {
408 3 : ((& sdio_bus_probe))(arg1);
409 1 : }
410 :
411 :
412 : /* AUX_FUNC ERR_PTR */
413 : static inline void *ERR_PTR (long int error)
414 : {
415 :
416 : return ldv_err_ptr(error);
417 : }
418 :
419 : /* AUX_FUNC PTR_ERR */
420 : static inline long int PTR_ERR (void const *ptr)
421 : {
422 :
423 : return ldv_ptr_err(ptr);
424 : }
425 :
426 : /* AUX_FUNC IS_ERR */
427 : static inline long int IS_ERR (void const *ptr)
428 : {
429 :
430 : return ldv_is_err(ptr);
431 : }
432 :
433 : /* AUX_FUNC IS_ERR_OR_NULL */
434 : static inline long int IS_ERR_OR_NULL (void const *ptr)
435 : {
436 :
437 : return ldv_is_err_or_null(ptr);
438 : }
439 :
440 : /* AUX_FUNC kzalloc */
441 : static inline void *kzalloc (size_t size, gfp_t flags)
442 : {
443 :
444 : return ldv_kzalloc(size, flags);
445 : }
|