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_13(void *(*)(struct dentry *, struct nameidata *), struct dentry *, struct nameidata *);
46 : void ldv_random_containerless_scenario_callback_6_17(ssize_t (*)(struct dentry *, char *, void *, size_t ), struct dentry *, char *, void *, long unsigned int);
47 : void ldv_random_containerless_scenario_callback_6_26(ssize_t (*)(struct dentry *, char *, size_t ), struct dentry *, char *, long unsigned int);
48 : void ldv_random_containerless_scenario_callback_6_36(void (*)(struct dentry *, struct nameidata *, void *), struct dentry *, struct nameidata *, void *);
49 : void ldv_random_containerless_scenario_callback_6_37(int (*)(struct dentry *, char *, int), struct dentry *, char *, int);
50 : void ldv_random_containerless_scenario_callback_6_40(int (*)(struct dentry *, char *), struct dentry *, char *);
51 : void ldv_random_containerless_scenario_callback_6_51(int (*)(struct dentry *, char *, void *, size_t , int), struct dentry *, char *, void *, long unsigned int, int);
52 : void ldv_random_containerless_scenario_callback_7_13(void *(*)(struct dentry *, struct nameidata *), struct dentry *, struct nameidata *);
53 : void ldv_random_containerless_scenario_callback_7_17(ssize_t (*)(struct dentry *, char *, void *, size_t ), struct dentry *, char *, void *, long unsigned int);
54 : void ldv_random_containerless_scenario_callback_7_26(ssize_t (*)(struct dentry *, char *, size_t ), struct dentry *, char *, long unsigned int);
55 : void ldv_random_containerless_scenario_callback_7_36(void (*)(struct dentry *, struct nameidata *, void *), struct dentry *, struct nameidata *, void *);
56 : void ldv_random_containerless_scenario_callback_7_37(int (*)(struct dentry *, char *, int), struct dentry *, char *, int);
57 : void ldv_random_containerless_scenario_callback_7_40(int (*)(struct dentry *, char *), struct dentry *, char *);
58 : void ldv_random_containerless_scenario_callback_7_51(int (*)(struct dentry *, char *, void *, size_t , int), struct dentry *, char *, void *, long unsigned int, int);
59 : void ldv_random_containerless_scenario_callback_8_13(void *(*)(struct dentry *, struct nameidata *), struct dentry *, struct nameidata *);
60 : void ldv_random_containerless_scenario_callback_8_17(ssize_t (*)(struct dentry *, char *, void *, size_t ), struct dentry *, char *, void *, long unsigned int);
61 : void ldv_random_containerless_scenario_callback_8_26(ssize_t (*)(struct dentry *, char *, size_t ), struct dentry *, char *, long unsigned int);
62 : void ldv_random_containerless_scenario_callback_8_36(void (*)(struct dentry *, struct nameidata *, void *), struct dentry *, struct nameidata *, void *);
63 : void ldv_random_containerless_scenario_callback_8_37(int (*)(struct dentry *, char *, int), struct dentry *, char *, int);
64 : void ldv_random_containerless_scenario_callback_8_40(int (*)(struct dentry *, char *), struct dentry *, char *);
65 : void ldv_random_containerless_scenario_callback_8_51(int (*)(struct dentry *, char *, void *, size_t , int), struct dentry *, char *, void *, long unsigned int, int);
66 : void ldv_random_containerless_scenario_callback_9_13(void *(*)(struct dentry *, struct nameidata *), struct dentry *, struct nameidata *);
67 : void ldv_random_containerless_scenario_callback_9_17(ssize_t (*)(struct dentry *, char *, void *, size_t ), struct dentry *, char *, void *, long unsigned int);
68 : void ldv_random_containerless_scenario_callback_9_26(ssize_t (*)(struct dentry *, char *, size_t ), struct dentry *, char *, long unsigned int);
69 : void ldv_random_containerless_scenario_callback_9_36(void (*)(struct dentry *, struct nameidata *, void *), struct dentry *, struct nameidata *, void *);
70 : void ldv_random_containerless_scenario_callback_9_37(int (*)(struct dentry *, char *, int), struct dentry *, char *, int);
71 : void ldv_random_containerless_scenario_callback_9_40(int (*)(struct dentry *, char *), struct dentry *, char *);
72 : void ldv_random_containerless_scenario_callback_9_51(int (*)(struct dentry *, char *, void *, size_t , int), struct dentry *, char *, void *, long unsigned int, int);
73 :
74 : /* EMG variable declarations */
75 :
76 : /* EMG variable initialization */
77 :
78 : /* EMG function definitions */
79 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_13 */
80 : void ldv_random_containerless_scenario_callback_6_13(void *(*arg0)(struct dentry *, struct nameidata *), struct dentry *arg1, struct nameidata *arg2) {
81 2 : ((& ext2_follow_link))(arg1, arg2);
82 1 : }
83 :
84 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_17 */
85 : void ldv_random_containerless_scenario_callback_6_17(ssize_t (*arg0)(struct dentry *, char *, void *, size_t ), struct dentry *arg1, char *arg2, void *arg3, long unsigned int arg4) {
86 1 : ((& generic_getxattr))(arg1, arg2, arg3, arg4);
87 1 : }
88 :
89 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_26 */
90 : void ldv_random_containerless_scenario_callback_6_26(ssize_t (*arg0)(struct dentry *, char *, size_t ), struct dentry *arg1, char *arg2, long unsigned int arg3) {
91 2 : ((& ext2_listxattr))(arg1, arg2, arg3);
92 1 : }
93 :
94 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_36 */
95 : void ldv_random_containerless_scenario_callback_6_36(void (*arg0)(struct dentry *, struct nameidata *, void *), struct dentry *arg1, struct nameidata *arg2, void *arg3) {
96 1 : ((& page_put_link))(arg1, arg2, arg3);
97 1 : }
98 :
99 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_37 */
100 : void ldv_random_containerless_scenario_callback_6_37(int (*arg0)(struct dentry *, char *, int), struct dentry *arg1, char *arg2, int arg3) {
101 1 : ((& generic_readlink))(arg1, arg2, arg3);
102 1 : }
103 :
104 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_40 */
105 : void ldv_random_containerless_scenario_callback_6_40(int (*arg0)(struct dentry *, char *), struct dentry *arg1, char *arg2) {
106 1 : ((& generic_removexattr))(arg1, arg2);
107 1 : }
108 :
109 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_51 */
110 : void ldv_random_containerless_scenario_callback_6_51(int (*arg0)(struct dentry *, char *, void *, size_t , int), struct dentry *arg1, char *arg2, void *arg3, long unsigned int arg4, int arg5) {
111 1 : ((& generic_setxattr))(arg1, arg2, arg3, arg4, arg5);
112 1 : }
113 :
114 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_13 */
115 : void ldv_random_containerless_scenario_callback_7_13(void *(*arg0)(struct dentry *, struct nameidata *), struct dentry *arg1, struct nameidata *arg2) {
116 1 : ((& page_follow_link_light))(arg1, arg2);
117 1 : }
118 :
119 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_17 */
120 : void ldv_random_containerless_scenario_callback_7_17(ssize_t (*arg0)(struct dentry *, char *, void *, size_t ), struct dentry *arg1, char *arg2, void *arg3, long unsigned int arg4) {
121 1 : ((& generic_getxattr))(arg1, arg2, arg3, arg4);
122 1 : }
123 :
124 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_26 */
125 : void ldv_random_containerless_scenario_callback_7_26(ssize_t (*arg0)(struct dentry *, char *, size_t ), struct dentry *arg1, char *arg2, long unsigned int arg3) {
126 2 : ((& ext2_listxattr))(arg1, arg2, arg3);
127 1 : }
128 :
129 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_36 */
130 : void ldv_random_containerless_scenario_callback_7_36(void (*arg0)(struct dentry *, struct nameidata *, void *), struct dentry *arg1, struct nameidata *arg2, void *arg3) {
131 1 : ((& page_put_link))(arg1, arg2, arg3);
132 1 : }
133 :
134 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_37 */
135 : void ldv_random_containerless_scenario_callback_7_37(int (*arg0)(struct dentry *, char *, int), struct dentry *arg1, char *arg2, int arg3) {
136 1 : ((& generic_readlink))(arg1, arg2, arg3);
137 1 : }
138 :
139 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_40 */
140 : void ldv_random_containerless_scenario_callback_7_40(int (*arg0)(struct dentry *, char *), struct dentry *arg1, char *arg2) {
141 1 : ((& generic_removexattr))(arg1, arg2);
142 1 : }
143 :
144 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_51 */
145 : void ldv_random_containerless_scenario_callback_7_51(int (*arg0)(struct dentry *, char *, void *, size_t , int), struct dentry *arg1, char *arg2, void *arg3, long unsigned int arg4, int arg5) {
146 1 : ((& generic_setxattr))(arg1, arg2, arg3, arg4, arg5);
147 1 : }
148 :
149 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_13 */
150 : void ldv_random_containerless_scenario_callback_8_13(void *(*arg0)(struct dentry *, struct nameidata *), struct dentry *arg1, struct nameidata *arg2) {
151 2 : ((& ext2_follow_link))(arg1, arg2);
152 1 : }
153 :
154 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_17 */
155 : void ldv_random_containerless_scenario_callback_8_17(ssize_t (*arg0)(struct dentry *, char *, void *, size_t ), struct dentry *arg1, char *arg2, void *arg3, long unsigned int arg4) {
156 1 : ((& generic_getxattr))(arg1, arg2, arg3, arg4);
157 1 : }
158 :
159 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_26 */
160 : void ldv_random_containerless_scenario_callback_8_26(ssize_t (*arg0)(struct dentry *, char *, size_t ), struct dentry *arg1, char *arg2, long unsigned int arg3) {
161 2 : ((& ext2_listxattr))(arg1, arg2, arg3);
162 1 : }
163 :
164 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_36 */
165 : void ldv_random_containerless_scenario_callback_8_36(void (*arg0)(struct dentry *, struct nameidata *, void *), struct dentry *arg1, struct nameidata *arg2, void *arg3) {
166 1 : ((& page_put_link))(arg1, arg2, arg3);
167 1 : }
168 :
169 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_37 */
170 : void ldv_random_containerless_scenario_callback_8_37(int (*arg0)(struct dentry *, char *, int), struct dentry *arg1, char *arg2, int arg3) {
171 1 : ((& generic_readlink))(arg1, arg2, arg3);
172 1 : }
173 :
174 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_40 */
175 : void ldv_random_containerless_scenario_callback_8_40(int (*arg0)(struct dentry *, char *), struct dentry *arg1, char *arg2) {
176 1 : ((& generic_removexattr))(arg1, arg2);
177 1 : }
178 :
179 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_8_51 */
180 : void ldv_random_containerless_scenario_callback_8_51(int (*arg0)(struct dentry *, char *, void *, size_t , int), struct dentry *arg1, char *arg2, void *arg3, long unsigned int arg4, int arg5) {
181 1 : ((& generic_setxattr))(arg1, arg2, arg3, arg4, arg5);
182 1 : }
183 :
184 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_13 */
185 : void ldv_random_containerless_scenario_callback_9_13(void *(*arg0)(struct dentry *, struct nameidata *), struct dentry *arg1, struct nameidata *arg2) {
186 2 : ((& ext2_follow_link))(arg1, arg2);
187 1 : }
188 :
189 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_17 */
190 : void ldv_random_containerless_scenario_callback_9_17(ssize_t (*arg0)(struct dentry *, char *, void *, size_t ), struct dentry *arg1, char *arg2, void *arg3, long unsigned int arg4) {
191 1 : ((& generic_getxattr))(arg1, arg2, arg3, arg4);
192 1 : }
193 :
194 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_26 */
195 : void ldv_random_containerless_scenario_callback_9_26(ssize_t (*arg0)(struct dentry *, char *, size_t ), struct dentry *arg1, char *arg2, long unsigned int arg3) {
196 2 : ((& ext2_listxattr))(arg1, arg2, arg3);
197 1 : }
198 :
199 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_36 */
200 : void ldv_random_containerless_scenario_callback_9_36(void (*arg0)(struct dentry *, struct nameidata *, void *), struct dentry *arg1, struct nameidata *arg2, void *arg3) {
201 1 : ((& page_put_link))(arg1, arg2, arg3);
202 1 : }
203 :
204 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_37 */
205 : void ldv_random_containerless_scenario_callback_9_37(int (*arg0)(struct dentry *, char *, int), struct dentry *arg1, char *arg2, int arg3) {
206 1 : ((& generic_readlink))(arg1, arg2, arg3);
207 1 : }
208 :
209 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_40 */
210 : void ldv_random_containerless_scenario_callback_9_40(int (*arg0)(struct dentry *, char *), struct dentry *arg1, char *arg2) {
211 1 : ((& generic_removexattr))(arg1, arg2);
212 1 : }
213 :
214 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_9_51 */
215 : void ldv_random_containerless_scenario_callback_9_51(int (*arg0)(struct dentry *, char *, void *, size_t , int), struct dentry *arg1, char *arg2, void *arg3, long unsigned int arg4, int arg5) {
216 1 : ((& generic_setxattr))(arg1, arg2, arg3, arg4, arg5);
217 1 : }
218 :
219 :
220 : /* AUX_FUNC ERR_PTR */
221 : static inline void *ERR_PTR (long int error)
222 : {
223 :
224 : return ldv_err_ptr(error);
225 : }
226 :
227 : /* AUX_FUNC PTR_ERR */
228 : static inline long int PTR_ERR (void const *ptr)
229 : {
230 :
231 : return ldv_ptr_err(ptr);
232 : }
233 :
234 : /* AUX_FUNC IS_ERR */
235 : static inline long int IS_ERR (void const *ptr)
236 : {
237 :
238 : return ldv_is_err(ptr);
239 : }
240 :
241 : /* AUX_FUNC IS_ERR_OR_NULL */
242 : static inline long int IS_ERR_OR_NULL (void const *ptr)
243 : {
244 :
245 : return ldv_is_err_or_null(ptr);
246 : }
247 :
248 : /* AUX_FUNC kzalloc */
249 : static inline void *kzalloc (size_t size, gfp_t flags)
250 : {
251 :
252 : return ldv_kzalloc(size, flags);
253 : }
|