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/cdev.h>
29 : #include <linux/miscdevice.h>
30 : #include <linux/seq_file.h>
31 : #include <linux/fs.h>
32 : #include <linux/pagemap.h>
33 :
34 :
35 : struct ldv_struct_insmod_10 {
36 : int signal_pending;
37 : };
38 :
39 : struct ldv_struct_random_containerless_scenario_5 {
40 : struct file_system_type *arg0;
41 : int signal_pending;
42 : };
43 :
44 : /* EMG Function declarations */
45 : void ldv_random_containerless_scenario_callback_6_20(int (*)(struct dentry *, struct inode *, struct dentry *), struct dentry *, struct inode *, struct dentry *);
46 : void ldv_random_containerless_scenario_callback_6_29(struct dentry *(*)(struct inode *, struct dentry *, struct nameidata *), struct inode *, struct dentry *, struct nameidata *);
47 : void ldv_random_containerless_scenario_callback_6_30(int (*)(struct inode *, struct dentry *, int), struct inode *, struct dentry *, int);
48 : void ldv_random_containerless_scenario_callback_6_33(int (*)(struct inode *, struct dentry *, int, unsigned int), struct inode *, struct dentry *, int, unsigned int);
49 : void ldv_random_containerless_scenario_callback_6_4(int (*)(struct inode *, struct dentry *, int, struct nameidata *), struct inode *, struct dentry *, int, struct nameidata *);
50 : void ldv_random_containerless_scenario_callback_6_43(int (*)(struct inode *, struct dentry *, struct inode *, struct dentry *), struct inode *, struct dentry *, struct inode *, struct dentry *);
51 : void ldv_random_containerless_scenario_callback_6_46(int (*)(struct inode *, struct dentry *), struct inode *, struct dentry *);
52 : void ldv_random_containerless_scenario_callback_6_50(int (*)(struct dentry *, struct iattr *), struct dentry *, struct iattr *);
53 : void ldv_random_containerless_scenario_callback_6_54(int (*)(struct inode *, struct dentry *, char *), struct inode *, struct dentry *, char *);
54 : void ldv_random_containerless_scenario_callback_6_58(int (*)(struct inode *, struct dentry *), struct inode *, struct dentry *);
55 : void ldv_random_containerless_scenario_callback_7_20(int (*)(struct dentry *, struct inode *, struct dentry *), struct dentry *, struct inode *, struct dentry *);
56 : void ldv_random_containerless_scenario_callback_7_29(struct dentry *(*)(struct inode *, struct dentry *, struct nameidata *), struct inode *, struct dentry *, struct nameidata *);
57 : void ldv_random_containerless_scenario_callback_7_30(int (*)(struct inode *, struct dentry *, int), struct inode *, struct dentry *, int);
58 : void ldv_random_containerless_scenario_callback_7_33(int (*)(struct inode *, struct dentry *, int, unsigned int), struct inode *, struct dentry *, int, unsigned int);
59 : void ldv_random_containerless_scenario_callback_7_4(int (*)(struct inode *, struct dentry *, int, struct nameidata *), struct inode *, struct dentry *, int, struct nameidata *);
60 : void ldv_random_containerless_scenario_callback_7_43(int (*)(struct inode *, struct dentry *, struct inode *, struct dentry *), struct inode *, struct dentry *, struct inode *, struct dentry *);
61 : void ldv_random_containerless_scenario_callback_7_46(int (*)(struct inode *, struct dentry *), struct inode *, struct dentry *);
62 : void ldv_random_containerless_scenario_callback_7_50(int (*)(struct dentry *, struct iattr *), struct dentry *, struct iattr *);
63 : void ldv_random_containerless_scenario_callback_7_54(int (*)(struct inode *, struct dentry *, char *), struct inode *, struct dentry *, char *);
64 : void ldv_random_containerless_scenario_callback_7_58(int (*)(struct inode *, struct dentry *), struct inode *, struct dentry *);
65 : void ldv_random_containerless_scenario_callback_8_20(int (*)(struct dentry *, struct inode *, struct dentry *), struct dentry *, struct inode *, struct dentry *);
66 : void ldv_random_containerless_scenario_callback_8_29(struct dentry *(*)(struct inode *, struct dentry *, struct nameidata *), struct inode *, struct dentry *, struct nameidata *);
67 : void ldv_random_containerless_scenario_callback_8_30(int (*)(struct inode *, struct dentry *, int), struct inode *, struct dentry *, int);
68 : void ldv_random_containerless_scenario_callback_8_33(int (*)(struct inode *, struct dentry *, int, unsigned int), struct inode *, struct dentry *, int, unsigned int);
69 : void ldv_random_containerless_scenario_callback_8_4(int (*)(struct inode *, struct dentry *, int, struct nameidata *), struct inode *, struct dentry *, int, struct nameidata *);
70 : void ldv_random_containerless_scenario_callback_8_43(int (*)(struct inode *, struct dentry *, struct inode *, struct dentry *), struct inode *, struct dentry *, struct inode *, struct dentry *);
71 : void ldv_random_containerless_scenario_callback_8_46(int (*)(struct inode *, struct dentry *), struct inode *, struct dentry *);
72 : void ldv_random_containerless_scenario_callback_8_50(int (*)(struct dentry *, struct iattr *), struct dentry *, struct iattr *);
73 : void ldv_random_containerless_scenario_callback_8_54(int (*)(struct inode *, struct dentry *, char *), struct inode *, struct dentry *, char *);
74 : void ldv_random_containerless_scenario_callback_8_58(int (*)(struct inode *, struct dentry *), struct inode *, struct dentry *);
75 : void ldv_random_containerless_scenario_callback_9_20(int (*)(struct dentry *, struct inode *, struct dentry *), struct dentry *, struct inode *, struct dentry *);
76 : void ldv_random_containerless_scenario_callback_9_29(struct dentry *(*)(struct inode *, struct dentry *, struct nameidata *), struct inode *, struct dentry *, struct nameidata *);
77 : void ldv_random_containerless_scenario_callback_9_30(int (*)(struct inode *, struct dentry *, int), struct inode *, struct dentry *, int);
78 : void ldv_random_containerless_scenario_callback_9_33(int (*)(struct inode *, struct dentry *, int, unsigned int), struct inode *, struct dentry *, int, unsigned int);
79 : void ldv_random_containerless_scenario_callback_9_4(int (*)(struct inode *, struct dentry *, int, struct nameidata *), struct inode *, struct dentry *, int, struct nameidata *);
80 : void ldv_random_containerless_scenario_callback_9_43(int (*)(struct inode *, struct dentry *, struct inode *, struct dentry *), struct inode *, struct dentry *, struct inode *, struct dentry *);
81 : void ldv_random_containerless_scenario_callback_9_46(int (*)(struct inode *, struct dentry *), struct inode *, struct dentry *);
82 : void ldv_random_containerless_scenario_callback_9_50(int (*)(struct dentry *, struct iattr *), struct dentry *, struct iattr *);
83 : void ldv_random_containerless_scenario_callback_9_54(int (*)(struct inode *, struct dentry *, char *), struct inode *, struct dentry *, char *);
84 : void ldv_random_containerless_scenario_callback_9_58(int (*)(struct inode *, struct dentry *), struct inode *, struct dentry *);
85 :
86 : /* EMG variable declarations */
87 :
88 : /* EMG variable initialization */
89 :
90 : /* EMG function definitions */
91 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_20 */
92 : void ldv_random_containerless_scenario_callback_6_20(int (*arg0)(struct dentry *, struct inode *, struct dentry *), struct dentry *arg1, struct inode *arg2, struct dentry *arg3) {
93 4 : ((& ext2_link))(arg1, arg2, arg3);
94 1 : }
95 :
96 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_29 */
97 : void ldv_random_containerless_scenario_callback_6_29(struct dentry *(*arg0)(struct inode *, struct dentry *, struct nameidata *), struct inode *arg1, struct dentry *arg2, struct nameidata *arg3) {
98 6 : ((& ext2_lookup))(arg1, arg2, arg3);
99 1 : }
100 :
101 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_30 */
102 : void ldv_random_containerless_scenario_callback_6_30(int (*arg0)(struct inode *, struct dentry *, int), struct inode *arg1, struct dentry *arg2, int arg3) {
103 4 : ((& ext2_mkdir))(arg1, arg2, arg3);
104 1 : }
105 :
106 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_33 */
107 : void ldv_random_containerless_scenario_callback_6_33(int (*arg0)(struct inode *, struct dentry *, int, unsigned int), struct inode *arg1, struct dentry *arg2, int arg3, unsigned int arg4) {
108 4 : ((& ext2_mknod))(arg1, arg2, arg3, arg4);
109 1 : }
110 :
111 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_4 */
112 : void ldv_random_containerless_scenario_callback_6_4(int (*arg0)(struct inode *, struct dentry *, int, struct nameidata *), struct inode *arg1, struct dentry *arg2, int arg3, struct nameidata *arg4) {
113 3 : ((& ext2_create))(arg1, arg2, arg3, arg4);
114 1 : }
115 :
116 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_43 */
117 : void ldv_random_containerless_scenario_callback_6_43(int (*arg0)(struct inode *, struct dentry *, struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2, struct inode *arg3, struct dentry *arg4) {
118 5 : ((& ext2_rename))(arg1, arg2, arg3, arg4);
119 1 : }
120 :
121 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_46 */
122 : void ldv_random_containerless_scenario_callback_6_46(int (*arg0)(struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2) {
123 4 : ((& ext2_rmdir))(arg1, arg2);
124 1 : }
125 :
126 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_50 */
127 : void ldv_random_containerless_scenario_callback_6_50(int (*arg0)(struct dentry *, struct iattr *), struct dentry *arg1, struct iattr *arg2) {
128 4 : ((& ext2_setattr))(arg1, arg2);
129 1 : }
130 :
131 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_54 */
132 : void ldv_random_containerless_scenario_callback_6_54(int (*arg0)(struct inode *, struct dentry *, char *), struct inode *arg1, struct dentry *arg2, char *arg3) {
133 5 : ((& ext2_symlink))(arg1, arg2, arg3);
134 1 : }
135 :
136 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_58 */
137 : void ldv_random_containerless_scenario_callback_6_58(int (*arg0)(struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2) {
138 4 : ((& ext2_unlink))(arg1, arg2);
139 1 : }
140 :
141 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_20 */
142 : void ldv_random_containerless_scenario_callback_7_20(int (*arg0)(struct dentry *, struct inode *, struct dentry *), struct dentry *arg1, struct inode *arg2, struct dentry *arg3) {
143 4 : ((& ext2_link))(arg1, arg2, arg3);
144 1 : }
145 :
146 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_29 */
147 : void ldv_random_containerless_scenario_callback_7_29(struct dentry *(*arg0)(struct inode *, struct dentry *, struct nameidata *), struct inode *arg1, struct dentry *arg2, struct nameidata *arg3) {
148 6 : ((& ext2_lookup))(arg1, arg2, arg3);
149 1 : }
150 :
151 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_30 */
152 : void ldv_random_containerless_scenario_callback_7_30(int (*arg0)(struct inode *, struct dentry *, int), struct inode *arg1, struct dentry *arg2, int arg3) {
153 4 : ((& ext2_mkdir))(arg1, arg2, arg3);
154 1 : }
155 :
156 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_33 */
157 : void ldv_random_containerless_scenario_callback_7_33(int (*arg0)(struct inode *, struct dentry *, int, unsigned int), struct inode *arg1, struct dentry *arg2, int arg3, unsigned int arg4) {
158 4 : ((& ext2_mknod))(arg1, arg2, arg3, arg4);
159 1 : }
160 :
161 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_4 */
162 : void ldv_random_containerless_scenario_callback_7_4(int (*arg0)(struct inode *, struct dentry *, int, struct nameidata *), struct inode *arg1, struct dentry *arg2, int arg3, struct nameidata *arg4) {
163 3 : ((& ext2_create))(arg1, arg2, arg3, arg4);
164 1 : }
165 :
166 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_43 */
167 : void ldv_random_containerless_scenario_callback_7_43(int (*arg0)(struct inode *, struct dentry *, struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2, struct inode *arg3, struct dentry *arg4) {
168 5 : ((& ext2_rename))(arg1, arg2, arg3, arg4);
169 1 : }
170 :
171 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_46 */
172 : void ldv_random_containerless_scenario_callback_7_46(int (*arg0)(struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2) {
173 4 : ((& ext2_rmdir))(arg1, arg2);
174 1 : }
175 :
176 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_50 */
177 : void ldv_random_containerless_scenario_callback_7_50(int (*arg0)(struct dentry *, struct iattr *), struct dentry *arg1, struct iattr *arg2) {
178 4 : ((& ext2_setattr))(arg1, arg2);
179 1 : }
180 :
181 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_54 */
182 : void ldv_random_containerless_scenario_callback_7_54(int (*arg0)(struct inode *, struct dentry *, char *), struct inode *arg1, struct dentry *arg2, char *arg3) {
183 5 : ((& ext2_symlink))(arg1, arg2, arg3);
184 1 : }
185 :
186 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_58 */
187 : void ldv_random_containerless_scenario_callback_7_58(int (*arg0)(struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2) {
188 4 : ((& ext2_unlink))(arg1, arg2);
189 1 : }
190 :
191 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_20 */
192 : void ldv_random_containerless_scenario_callback_8_20(int (*arg0)(struct dentry *, struct inode *, struct dentry *), struct dentry *arg1, struct inode *arg2, struct dentry *arg3) {
193 4 : ((& ext2_link))(arg1, arg2, arg3);
194 1 : }
195 :
196 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_29 */
197 : void ldv_random_containerless_scenario_callback_8_29(struct dentry *(*arg0)(struct inode *, struct dentry *, struct nameidata *), struct inode *arg1, struct dentry *arg2, struct nameidata *arg3) {
198 6 : ((& ext2_lookup))(arg1, arg2, arg3);
199 1 : }
200 :
201 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_30 */
202 : void ldv_random_containerless_scenario_callback_8_30(int (*arg0)(struct inode *, struct dentry *, int), struct inode *arg1, struct dentry *arg2, int arg3) {
203 4 : ((& ext2_mkdir))(arg1, arg2, arg3);
204 1 : }
205 :
206 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_33 */
207 : void ldv_random_containerless_scenario_callback_8_33(int (*arg0)(struct inode *, struct dentry *, int, unsigned int), struct inode *arg1, struct dentry *arg2, int arg3, unsigned int arg4) {
208 4 : ((& ext2_mknod))(arg1, arg2, arg3, arg4);
209 1 : }
210 :
211 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_4 */
212 : void ldv_random_containerless_scenario_callback_8_4(int (*arg0)(struct inode *, struct dentry *, int, struct nameidata *), struct inode *arg1, struct dentry *arg2, int arg3, struct nameidata *arg4) {
213 3 : ((& ext2_create))(arg1, arg2, arg3, arg4);
214 1 : }
215 :
216 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_43 */
217 : void ldv_random_containerless_scenario_callback_8_43(int (*arg0)(struct inode *, struct dentry *, struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2, struct inode *arg3, struct dentry *arg4) {
218 5 : ((& ext2_rename))(arg1, arg2, arg3, arg4);
219 1 : }
220 :
221 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_46 */
222 : void ldv_random_containerless_scenario_callback_8_46(int (*arg0)(struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2) {
223 4 : ((& ext2_rmdir))(arg1, arg2);
224 1 : }
225 :
226 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_50 */
227 : void ldv_random_containerless_scenario_callback_8_50(int (*arg0)(struct dentry *, struct iattr *), struct dentry *arg1, struct iattr *arg2) {
228 4 : ((& ext2_setattr))(arg1, arg2);
229 1 : }
230 :
231 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_54 */
232 : void ldv_random_containerless_scenario_callback_8_54(int (*arg0)(struct inode *, struct dentry *, char *), struct inode *arg1, struct dentry *arg2, char *arg3) {
233 5 : ((& ext2_symlink))(arg1, arg2, arg3);
234 1 : }
235 :
236 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_58 */
237 : void ldv_random_containerless_scenario_callback_8_58(int (*arg0)(struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2) {
238 4 : ((& ext2_unlink))(arg1, arg2);
239 1 : }
240 :
241 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_20 */
242 : void ldv_random_containerless_scenario_callback_9_20(int (*arg0)(struct dentry *, struct inode *, struct dentry *), struct dentry *arg1, struct inode *arg2, struct dentry *arg3) {
243 4 : ((& ext2_link))(arg1, arg2, arg3);
244 1 : }
245 :
246 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_29 */
247 : void ldv_random_containerless_scenario_callback_9_29(struct dentry *(*arg0)(struct inode *, struct dentry *, struct nameidata *), struct inode *arg1, struct dentry *arg2, struct nameidata *arg3) {
248 6 : ((& ext2_lookup))(arg1, arg2, arg3);
249 1 : }
250 :
251 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_30 */
252 : void ldv_random_containerless_scenario_callback_9_30(int (*arg0)(struct inode *, struct dentry *, int), struct inode *arg1, struct dentry *arg2, int arg3) {
253 4 : ((& ext2_mkdir))(arg1, arg2, arg3);
254 1 : }
255 :
256 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_33 */
257 : void ldv_random_containerless_scenario_callback_9_33(int (*arg0)(struct inode *, struct dentry *, int, unsigned int), struct inode *arg1, struct dentry *arg2, int arg3, unsigned int arg4) {
258 4 : ((& ext2_mknod))(arg1, arg2, arg3, arg4);
259 1 : }
260 :
261 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_4 */
262 : void ldv_random_containerless_scenario_callback_9_4(int (*arg0)(struct inode *, struct dentry *, int, struct nameidata *), struct inode *arg1, struct dentry *arg2, int arg3, struct nameidata *arg4) {
263 3 : ((& ext2_create))(arg1, arg2, arg3, arg4);
264 1 : }
265 :
266 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_43 */
267 : void ldv_random_containerless_scenario_callback_9_43(int (*arg0)(struct inode *, struct dentry *, struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2, struct inode *arg3, struct dentry *arg4) {
268 5 : ((& ext2_rename))(arg1, arg2, arg3, arg4);
269 1 : }
270 :
271 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_46 */
272 : void ldv_random_containerless_scenario_callback_9_46(int (*arg0)(struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2) {
273 4 : ((& ext2_rmdir))(arg1, arg2);
274 1 : }
275 :
276 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_50 */
277 : void ldv_random_containerless_scenario_callback_9_50(int (*arg0)(struct dentry *, struct iattr *), struct dentry *arg1, struct iattr *arg2) {
278 4 : ((& ext2_setattr))(arg1, arg2);
279 1 : }
280 :
281 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_54 */
282 : void ldv_random_containerless_scenario_callback_9_54(int (*arg0)(struct inode *, struct dentry *, char *), struct inode *arg1, struct dentry *arg2, char *arg3) {
283 5 : ((& ext2_symlink))(arg1, arg2, arg3);
284 1 : }
285 :
286 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_58 */
287 : void ldv_random_containerless_scenario_callback_9_58(int (*arg0)(struct inode *, struct dentry *), struct inode *arg1, struct dentry *arg2) {
288 4 : ((& ext2_unlink))(arg1, arg2);
289 1 : }
290 :
291 :
292 : /* AUX_FUNC ERR_PTR */
293 : static inline void *ERR_PTR (long int error)
294 : {
295 :
296 : return ldv_err_ptr(error);
297 : }
298 :
299 : /* AUX_FUNC PTR_ERR */
300 : static inline long int PTR_ERR (void const *ptr)
301 : {
302 :
303 : return ldv_ptr_err(ptr);
304 : }
305 :
306 : /* AUX_FUNC IS_ERR */
307 : static inline long int IS_ERR (void const *ptr)
308 : {
309 :
310 : return ldv_is_err(ptr);
311 : }
312 :
313 : /* AUX_FUNC IS_ERR_OR_NULL */
314 : static inline long int IS_ERR_OR_NULL (void const *ptr)
315 : {
316 :
317 : return ldv_is_err_or_null(ptr);
318 : }
319 :
320 : /* AUX_FUNC kzalloc */
321 : static inline void *kzalloc (size_t size, gfp_t flags)
322 : {
323 :
324 : return ldv_kzalloc(size, flags);
325 : }
|