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/fs.h>
31 : #include <linux/pagemap.h>
32 :
33 :
34 : struct ldv_struct_insmod_10 {
35 : int signal_pending;
36 : };
37 :
38 : struct ldv_struct_random_containerless_scenario_9 {
39 : struct file_system_type *arg0;
40 : int signal_pending;
41 : };
42 :
43 : /* EMG Function declarations */
44 : void ldv_random_containerless_scenario_callback_7_10(struct dentry *(*)(struct super_block *, struct fid *, int, int), struct super_block *, struct fid *, int, int);
45 : void ldv_random_containerless_scenario_callback_7_13(struct dentry *(*)(struct super_block *, struct fid *, int, int), struct super_block *, struct fid *, int, int);
46 : void ldv_random_containerless_scenario_callback_7_16(struct dentry *(*)(struct dentry *), struct dentry *);
47 : void ldv_random_containerless_scenario_callback_7_4(int (*)(struct dentry *, __u32 *, s32 *, int), struct dentry *, __u32 *, s32 *, int);
48 :
49 : /* EMG variable declarations */
50 :
51 : /* EMG variable initialization */
52 :
53 : /* EMG function definitions */
54 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_10 */
55 : void ldv_random_containerless_scenario_callback_7_10(struct dentry *(*arg0)(struct super_block *, struct fid *, int, int), struct super_block *arg1, struct fid *arg2, int arg3, int arg4) {
56 3 : ((& isofs_fh_to_dentry))(arg1, arg2, arg3, arg4);
57 1 : }
58 :
59 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_13 */
60 : void ldv_random_containerless_scenario_callback_7_13(struct dentry *(*arg0)(struct super_block *, struct fid *, int, int), struct super_block *arg1, struct fid *arg2, int arg3, int arg4) {
61 3 : ((& isofs_fh_to_parent))(arg1, arg2, arg3, arg4);
62 1 : }
63 :
64 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_16 */
65 : void ldv_random_containerless_scenario_callback_7_16(struct dentry *(*arg0)(struct dentry *), struct dentry *arg1) {
66 7 : ((& isofs_export_get_parent))(arg1);
67 1 : }
68 :
69 : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_7_4 */
70 : void ldv_random_containerless_scenario_callback_7_4(int (*arg0)(struct dentry *, __u32 *, s32 *, int), struct dentry *arg1, unsigned int *arg2, int *arg3, int arg4) {
71 3 : ((& isofs_export_encode_fh))(arg1, arg2, arg3, arg4);
72 1 : }
73 :
74 :
75 : /* AUX_FUNC ERR_PTR */
76 : static inline void *ERR_PTR (long int error)
77 : {
78 :
79 : return ldv_err_ptr(error);
80 : }
81 :
82 : /* AUX_FUNC PTR_ERR */
83 : static inline long int PTR_ERR (void const *ptr)
84 : {
85 :
86 : return ldv_ptr_err(ptr);
87 : }
88 :
89 : /* AUX_FUNC IS_ERR */
90 : static inline long int IS_ERR (void const *ptr)
91 : {
92 :
93 : return ldv_is_err(ptr);
94 : }
95 :
96 : /* AUX_FUNC IS_ERR_OR_NULL */
97 : static inline long int IS_ERR_OR_NULL (void const *ptr)
98 : {
99 :
100 : return ldv_is_err_or_null(ptr);
101 : }
102 :
103 : /* AUX_FUNC kzalloc */
104 : static inline void *kzalloc (size_t size, gfp_t flags)
105 : {
106 :
107 : return ldv_kzalloc(size, flags);
108 : }
|