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_pm_ops_scenario_resume_1_14(int (*)(struct device *), struct device *);
46 : void ldv_rtc_class_scenario_callback_10_17(int (*)(struct device *), struct device *);
47 : void ldv_rtc_class_scenario_callback_10_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
48 : void ldv_rtc_class_scenario_callback_11_17(int (*)(struct device *), struct device *);
49 : void ldv_rtc_class_scenario_callback_11_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
50 : void ldv_rtc_class_scenario_callback_12_17(int (*)(struct device *), struct device *);
51 : void ldv_rtc_class_scenario_callback_12_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
52 : void ldv_rtc_class_scenario_callback_13_17(int (*)(struct device *), struct device *);
53 : void ldv_rtc_class_scenario_callback_13_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
54 : void ldv_rtc_class_scenario_callback_14_17(int (*)(struct device *), struct device *);
55 : void ldv_rtc_class_scenario_callback_14_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
56 : void ldv_rtc_class_scenario_callback_15_17(int (*)(struct device *), struct device *);
57 : void ldv_rtc_class_scenario_callback_15_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
58 : void ldv_rtc_class_scenario_callback_16_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
59 : void ldv_rtc_class_scenario_callback_16_16(int (*)(struct device *), struct device *);
60 : void ldv_rtc_class_scenario_callback_16_17(int (*)(struct device *), struct device *);
61 : void ldv_rtc_class_scenario_callback_16_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
62 : void ldv_rtc_class_scenario_callback_16_4(int (*)(struct device *), struct device *);
63 : void ldv_rtc_class_scenario_callback_17_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
64 : void ldv_rtc_class_scenario_callback_17_16(int (*)(struct device *), struct device *);
65 : void ldv_rtc_class_scenario_callback_17_17(int (*)(struct device *), struct device *);
66 : void ldv_rtc_class_scenario_callback_17_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
67 : void ldv_rtc_class_scenario_callback_17_4(int (*)(struct device *), struct device *);
68 : void ldv_rtc_class_scenario_callback_18_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
69 : void ldv_rtc_class_scenario_callback_18_16(int (*)(struct device *), struct device *);
70 : void ldv_rtc_class_scenario_callback_18_17(int (*)(struct device *), struct device *);
71 : void ldv_rtc_class_scenario_callback_18_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
72 : void ldv_rtc_class_scenario_callback_18_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
73 : void ldv_rtc_class_scenario_callback_18_4(int (*)(struct device *), struct device *);
74 : void ldv_rtc_class_scenario_callback_19_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
75 : void ldv_rtc_class_scenario_callback_19_16(int (*)(struct device *), struct device *);
76 : void ldv_rtc_class_scenario_callback_19_17(int (*)(struct device *), struct device *);
77 : void ldv_rtc_class_scenario_callback_19_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
78 : void ldv_rtc_class_scenario_callback_19_4(int (*)(struct device *), struct device *);
79 : void ldv_rtc_class_scenario_callback_20_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
80 : void ldv_rtc_class_scenario_callback_20_16(int (*)(struct device *), struct device *);
81 : void ldv_rtc_class_scenario_callback_20_17(int (*)(struct device *), struct device *);
82 : void ldv_rtc_class_scenario_callback_20_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
83 : void ldv_rtc_class_scenario_callback_20_4(int (*)(struct device *), struct device *);
84 : void ldv_rtc_class_scenario_callback_3_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
85 : void ldv_rtc_class_scenario_callback_3_16(int (*)(struct device *), struct device *);
86 : void ldv_rtc_class_scenario_callback_3_17(int (*)(struct device *), struct device *);
87 : void ldv_rtc_class_scenario_callback_3_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
88 : void ldv_rtc_class_scenario_callback_3_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
89 : void ldv_rtc_class_scenario_callback_3_4(int (*)(struct device *), struct device *);
90 : void ldv_rtc_class_scenario_callback_4_17(int (*)(struct device *), struct device *);
91 : void ldv_rtc_class_scenario_callback_4_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
92 : void ldv_rtc_class_scenario_callback_5_17(int (*)(struct device *), struct device *);
93 : void ldv_rtc_class_scenario_callback_5_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
94 : void ldv_rtc_class_scenario_callback_6_17(int (*)(struct device *), struct device *);
95 : void ldv_rtc_class_scenario_callback_6_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
96 : void ldv_rtc_class_scenario_callback_7_17(int (*)(struct device *), struct device *);
97 : void ldv_rtc_class_scenario_callback_7_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
98 : void ldv_rtc_class_scenario_callback_8_17(int (*)(struct device *), struct device *);
99 : void ldv_rtc_class_scenario_callback_8_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
100 : void ldv_rtc_class_scenario_callback_9_17(int (*)(struct device *), struct device *);
101 : void ldv_rtc_class_scenario_callback_9_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
102 :
103 : /* EMG variable declarations */
104 :
105 : /* EMG variable initialization */
106 :
107 : /* EMG function definitions */
108 : /* AUX_FUNC_CALLBACK ldv_pm_ops_scenario_resume_1_14 */
109 : void ldv_pm_ops_scenario_resume_1_14(int (*arg0)(struct device *), struct device *arg1) {
110 6 : ((& mmc_bus_resume))(arg1);
111 3 : }
112 :
113 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_10_17 */
114 : void ldv_rtc_class_scenario_callback_10_17(int (*arg0)(struct device *), struct device *arg1) {
115 2 : ((& mmc_bus_resume))(arg1);
116 1 : }
117 :
118 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_10_21 */
119 : void ldv_rtc_class_scenario_callback_10_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
120 2 : ((& mmc_bus_suspend))(arg1, arg2);
121 1 : }
122 :
123 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_11_17 */
124 : void ldv_rtc_class_scenario_callback_11_17(int (*arg0)(struct device *), struct device *arg1) {
125 2 : ((& mmc_bus_resume))(arg1);
126 1 : }
127 :
128 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_11_21 */
129 : void ldv_rtc_class_scenario_callback_11_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
130 2 : ((& mmc_bus_suspend))(arg1, arg2);
131 1 : }
132 :
133 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_12_17 */
134 : void ldv_rtc_class_scenario_callback_12_17(int (*arg0)(struct device *), struct device *arg1) {
135 2 : ((& mmc_bus_resume))(arg1);
136 1 : }
137 :
138 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_12_21 */
139 : void ldv_rtc_class_scenario_callback_12_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
140 2 : ((& mmc_bus_suspend))(arg1, arg2);
141 1 : }
142 :
143 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_17 */
144 : void ldv_rtc_class_scenario_callback_13_17(int (*arg0)(struct device *), struct device *arg1) {
145 2 : ((& mmc_bus_resume))(arg1);
146 1 : }
147 :
148 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_21 */
149 : void ldv_rtc_class_scenario_callback_13_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
150 2 : ((& mmc_bus_suspend))(arg1, arg2);
151 1 : }
152 :
153 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_17 */
154 : void ldv_rtc_class_scenario_callback_14_17(int (*arg0)(struct device *), struct device *arg1) {
155 2 : ((& mmc_bus_resume))(arg1);
156 1 : }
157 :
158 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_21 */
159 : void ldv_rtc_class_scenario_callback_14_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
160 2 : ((& mmc_bus_suspend))(arg1, arg2);
161 1 : }
162 :
163 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_17 */
164 : void ldv_rtc_class_scenario_callback_15_17(int (*arg0)(struct device *), struct device *arg1) {
165 2 : ((& mmc_bus_resume))(arg1);
166 1 : }
167 :
168 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_21 */
169 : void ldv_rtc_class_scenario_callback_15_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
170 2 : ((& mmc_bus_suspend))(arg1, arg2);
171 1 : }
172 :
173 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_15 */
174 : void ldv_rtc_class_scenario_callback_16_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
175 2 : ((& mmc_bus_match))(arg1, arg2);
176 1 : }
177 :
178 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_16 */
179 : void ldv_rtc_class_scenario_callback_16_16(int (*arg0)(struct device *), struct device *arg1) {
180 2 : ((& mmc_bus_remove))(arg1);
181 1 : }
182 :
183 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_17 */
184 : void ldv_rtc_class_scenario_callback_16_17(int (*arg0)(struct device *), struct device *arg1) {
185 2 : ((& mmc_bus_resume))(arg1);
186 1 : }
187 :
188 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_21 */
189 : void ldv_rtc_class_scenario_callback_16_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
190 2 : ((& mmc_bus_suspend))(arg1, arg2);
191 1 : }
192 :
193 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_4 */
194 : void ldv_rtc_class_scenario_callback_16_4(int (*arg0)(struct device *), struct device *arg1) {
195 2 : ((& mmc_bus_probe))(arg1);
196 1 : }
197 :
198 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_15 */
199 : void ldv_rtc_class_scenario_callback_17_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
200 2 : ((& mmc_bus_match))(arg1, arg2);
201 1 : }
202 :
203 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_16 */
204 : void ldv_rtc_class_scenario_callback_17_16(int (*arg0)(struct device *), struct device *arg1) {
205 2 : ((& mmc_bus_remove))(arg1);
206 1 : }
207 :
208 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_17 */
209 : void ldv_rtc_class_scenario_callback_17_17(int (*arg0)(struct device *), struct device *arg1) {
210 2 : ((& mmc_bus_resume))(arg1);
211 1 : }
212 :
213 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_21 */
214 : void ldv_rtc_class_scenario_callback_17_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
215 2 : ((& mmc_bus_suspend))(arg1, arg2);
216 1 : }
217 :
218 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_4 */
219 : void ldv_rtc_class_scenario_callback_17_4(int (*arg0)(struct device *), struct device *arg1) {
220 2 : ((& mmc_bus_probe))(arg1);
221 1 : }
222 :
223 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_15 */
224 : void ldv_rtc_class_scenario_callback_18_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
225 2 : ((& mmc_bus_match))(arg1, arg2);
226 1 : }
227 :
228 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_16 */
229 : void ldv_rtc_class_scenario_callback_18_16(int (*arg0)(struct device *), struct device *arg1) {
230 2 : ((& mmc_bus_remove))(arg1);
231 1 : }
232 :
233 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_17 */
234 : void ldv_rtc_class_scenario_callback_18_17(int (*arg0)(struct device *), struct device *arg1) {
235 2 : ((& mmc_bus_resume))(arg1);
236 1 : }
237 :
238 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_18 */
239 : void ldv_rtc_class_scenario_callback_18_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
240 2 : ((& mmc_type_show))(arg1, arg2, arg3);
241 1 : }
242 :
243 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_21 */
244 : void ldv_rtc_class_scenario_callback_18_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
245 2 : ((& mmc_bus_suspend))(arg1, arg2);
246 1 : }
247 :
248 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_4 */
249 : void ldv_rtc_class_scenario_callback_18_4(int (*arg0)(struct device *), struct device *arg1) {
250 2 : ((& mmc_bus_probe))(arg1);
251 1 : }
252 :
253 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_15 */
254 : void ldv_rtc_class_scenario_callback_19_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
255 2 : ((& mmc_bus_match))(arg1, arg2);
256 1 : }
257 :
258 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_16 */
259 : void ldv_rtc_class_scenario_callback_19_16(int (*arg0)(struct device *), struct device *arg1) {
260 2 : ((& mmc_bus_remove))(arg1);
261 1 : }
262 :
263 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_17 */
264 : void ldv_rtc_class_scenario_callback_19_17(int (*arg0)(struct device *), struct device *arg1) {
265 2 : ((& mmc_bus_resume))(arg1);
266 1 : }
267 :
268 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_21 */
269 : void ldv_rtc_class_scenario_callback_19_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
270 2 : ((& mmc_bus_suspend))(arg1, arg2);
271 1 : }
272 :
273 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_4 */
274 : void ldv_rtc_class_scenario_callback_19_4(int (*arg0)(struct device *), struct device *arg1) {
275 2 : ((& mmc_bus_probe))(arg1);
276 1 : }
277 :
278 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_15 */
279 : void ldv_rtc_class_scenario_callback_20_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
280 2 : ((& mmc_bus_match))(arg1, arg2);
281 1 : }
282 :
283 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_16 */
284 : void ldv_rtc_class_scenario_callback_20_16(int (*arg0)(struct device *), struct device *arg1) {
285 2 : ((& mmc_bus_remove))(arg1);
286 1 : }
287 :
288 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_17 */
289 : void ldv_rtc_class_scenario_callback_20_17(int (*arg0)(struct device *), struct device *arg1) {
290 2 : ((& mmc_bus_resume))(arg1);
291 1 : }
292 :
293 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_21 */
294 : void ldv_rtc_class_scenario_callback_20_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
295 2 : ((& mmc_bus_suspend))(arg1, arg2);
296 1 : }
297 :
298 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_4 */
299 : void ldv_rtc_class_scenario_callback_20_4(int (*arg0)(struct device *), struct device *arg1) {
300 2 : ((& mmc_bus_probe))(arg1);
301 1 : }
302 :
303 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_15 */
304 : void ldv_rtc_class_scenario_callback_3_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
305 2 : ((& mmc_bus_match))(arg1, arg2);
306 1 : }
307 :
308 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_16 */
309 : void ldv_rtc_class_scenario_callback_3_16(int (*arg0)(struct device *), struct device *arg1) {
310 2 : ((& mmc_bus_remove))(arg1);
311 1 : }
312 :
313 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_17 */
314 : void ldv_rtc_class_scenario_callback_3_17(int (*arg0)(struct device *), struct device *arg1) {
315 2 : ((& mmc_bus_resume))(arg1);
316 1 : }
317 :
318 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_21 */
319 : void ldv_rtc_class_scenario_callback_3_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
320 2 : ((& mmc_bus_suspend))(arg1, arg2);
321 1 : }
322 :
323 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_22 */
324 : void ldv_rtc_class_scenario_callback_3_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
325 4 : ((& mmc_bus_uevent))(arg1, arg2);
326 1 : }
327 :
328 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_4 */
329 : void ldv_rtc_class_scenario_callback_3_4(int (*arg0)(struct device *), struct device *arg1) {
330 2 : ((& mmc_bus_probe))(arg1);
331 1 : }
332 :
333 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_4_17 */
334 : void ldv_rtc_class_scenario_callback_4_17(int (*arg0)(struct device *), struct device *arg1) {
335 2 : ((& mmc_bus_resume))(arg1);
336 1 : }
337 :
338 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_4_21 */
339 : void ldv_rtc_class_scenario_callback_4_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
340 2 : ((& mmc_bus_suspend))(arg1, arg2);
341 1 : }
342 :
343 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_5_17 */
344 : void ldv_rtc_class_scenario_callback_5_17(int (*arg0)(struct device *), struct device *arg1) {
345 2 : ((& mmc_bus_resume))(arg1);
346 1 : }
347 :
348 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_5_21 */
349 : void ldv_rtc_class_scenario_callback_5_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
350 2 : ((& mmc_bus_suspend))(arg1, arg2);
351 1 : }
352 :
353 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_6_17 */
354 : void ldv_rtc_class_scenario_callback_6_17(int (*arg0)(struct device *), struct device *arg1) {
355 2 : ((& mmc_bus_resume))(arg1);
356 1 : }
357 :
358 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_6_21 */
359 : void ldv_rtc_class_scenario_callback_6_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
360 2 : ((& mmc_bus_suspend))(arg1, arg2);
361 1 : }
362 :
363 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_7_17 */
364 : void ldv_rtc_class_scenario_callback_7_17(int (*arg0)(struct device *), struct device *arg1) {
365 2 : ((& mmc_bus_resume))(arg1);
366 1 : }
367 :
368 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_7_21 */
369 : void ldv_rtc_class_scenario_callback_7_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
370 2 : ((& mmc_bus_suspend))(arg1, arg2);
371 1 : }
372 :
373 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_8_17 */
374 : void ldv_rtc_class_scenario_callback_8_17(int (*arg0)(struct device *), struct device *arg1) {
375 2 : ((& mmc_bus_resume))(arg1);
376 1 : }
377 :
378 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_8_21 */
379 : void ldv_rtc_class_scenario_callback_8_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
380 2 : ((& mmc_bus_suspend))(arg1, arg2);
381 1 : }
382 :
383 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_9_17 */
384 : void ldv_rtc_class_scenario_callback_9_17(int (*arg0)(struct device *), struct device *arg1) {
385 2 : ((& mmc_bus_resume))(arg1);
386 1 : }
387 :
388 : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_9_21 */
389 : void ldv_rtc_class_scenario_callback_9_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
390 2 : ((& mmc_bus_suspend))(arg1, arg2);
391 1 : }
392 :
393 :
394 : /* AUX_FUNC ERR_PTR */
395 : static inline void *ERR_PTR (long int error)
396 : {
397 8 :
398 24 : return ldv_err_ptr(error);
399 : }
400 :
401 : /* AUX_FUNC PTR_ERR */
402 : static inline long int PTR_ERR (void const *ptr)
403 : {
404 :
405 : return ldv_ptr_err(ptr);
406 : }
407 :
408 : /* AUX_FUNC IS_ERR */
409 : static inline long int IS_ERR (void const *ptr)
410 : {
411 :
412 : return ldv_is_err(ptr);
413 : }
414 :
415 : /* AUX_FUNC IS_ERR_OR_NULL */
416 : static inline long int IS_ERR_OR_NULL (void const *ptr)
417 : {
418 :
419 : return ldv_is_err_or_null(ptr);
420 : }
421 :
422 : /* AUX_FUNC kzalloc */
423 : static inline void *kzalloc (size_t size, gfp_t flags)
424 : {
425 8 :
426 24 : return ldv_kzalloc(size, flags);
427 : }
|