1
2
3
4#line 23 "include/asm-generic/int-ll64.h"
5typedef unsigned short __u16;
6#line 25 "include/asm-generic/int-ll64.h"
7typedef int __s32;
8#line 26 "include/asm-generic/int-ll64.h"
9typedef unsigned int __u32;
10#line 30 "include/asm-generic/int-ll64.h"
11typedef unsigned long long __u64;
12#line 43 "include/asm-generic/int-ll64.h"
13typedef unsigned char u8;
14#line 45 "include/asm-generic/int-ll64.h"
15typedef short s16;
16#line 46 "include/asm-generic/int-ll64.h"
17typedef unsigned short u16;
18#line 49 "include/asm-generic/int-ll64.h"
19typedef unsigned int u32;
20#line 51 "include/asm-generic/int-ll64.h"
21typedef long long s64;
22#line 52 "include/asm-generic/int-ll64.h"
23typedef unsigned long long u64;
24#line 14 "include/asm-generic/posix_types.h"
25typedef long __kernel_long_t;
26#line 15 "include/asm-generic/posix_types.h"
27typedef unsigned long __kernel_ulong_t;
28#line 31 "include/asm-generic/posix_types.h"
29typedef int __kernel_pid_t;
30#line 52 "include/asm-generic/posix_types.h"
31typedef unsigned int __kernel_uid32_t;
32#line 53 "include/asm-generic/posix_types.h"
33typedef unsigned int __kernel_gid32_t;
34#line 75 "include/asm-generic/posix_types.h"
35typedef __kernel_ulong_t __kernel_size_t;
36#line 76 "include/asm-generic/posix_types.h"
37typedef __kernel_long_t __kernel_ssize_t;
38#line 91 "include/asm-generic/posix_types.h"
39typedef long long __kernel_loff_t;
40#line 92 "include/asm-generic/posix_types.h"
41typedef __kernel_long_t __kernel_time_t;
42#line 93 "include/asm-generic/posix_types.h"
43typedef __kernel_long_t __kernel_clock_t;
44#line 94 "include/asm-generic/posix_types.h"
45typedef int __kernel_timer_t;
46#line 95 "include/asm-generic/posix_types.h"
47typedef int __kernel_clockid_t;
48#line 21 "include/linux/types.h"
49typedef __u32 __kernel_dev_t;
50#line 24 "include/linux/types.h"
51typedef __kernel_dev_t dev_t;
52#line 27 "include/linux/types.h"
53typedef unsigned short umode_t;
54#line 30 "include/linux/types.h"
55typedef __kernel_pid_t pid_t;
56#line 35 "include/linux/types.h"
57typedef __kernel_clockid_t clockid_t;
58#line 38 "include/linux/types.h"
59typedef _Bool bool;
60#line 40 "include/linux/types.h"
61typedef __kernel_uid32_t uid_t;
62#line 41 "include/linux/types.h"
63typedef __kernel_gid32_t gid_t;
64#line 54 "include/linux/types.h"
65typedef __kernel_loff_t loff_t;
66#line 63 "include/linux/types.h"
67typedef __kernel_size_t size_t;
68#line 68 "include/linux/types.h"
69typedef __kernel_ssize_t ssize_t;
70#line 78 "include/linux/types.h"
71typedef __kernel_time_t time_t;
72#line 111 "include/linux/types.h"
73typedef __s32 int32_t;
74#line 117 "include/linux/types.h"
75typedef __u32 uint32_t;
76#line 120 "include/linux/types.h"
77typedef __u64 uint64_t;
78#line 155 "include/linux/types.h"
79typedef u64 dma_addr_t;
80#line 179 "include/linux/types.h"
81typedef __u16 __be16;
82#line 202 "include/linux/types.h"
83typedef unsigned int gfp_t;
84#line 219 "include/linux/types.h"
85struct __anonstruct_atomic_t_7 {
86 int counter ;
87};
88#line 219 "include/linux/types.h"
89typedef struct __anonstruct_atomic_t_7 atomic_t;
90#line 224 "include/linux/types.h"
91struct __anonstruct_atomic64_t_8 {
92 long counter ;
93};
94#line 224 "include/linux/types.h"
95typedef struct __anonstruct_atomic64_t_8 atomic64_t;
96#line 229 "include/linux/types.h"
97struct list_head {
98 struct list_head *next ;
99 struct list_head *prev ;
100};
101#line 233
102struct hlist_node;
103#line 233 "include/linux/types.h"
104struct hlist_head {
105 struct hlist_node *first ;
106};
107#line 237 "include/linux/types.h"
108struct hlist_node {
109 struct hlist_node *next ;
110 struct hlist_node **pprev ;
111};
112#line 253 "include/linux/types.h"
113struct rcu_head {
114 struct rcu_head *next ;
115 void (*func)(struct rcu_head *head ) ;
116};
117#line 202 "include/linux/ioport.h"
118struct device;
119#line 202
120struct device;
121#line 12 "include/linux/lockdep.h"
122struct task_struct;
123#line 12
124struct task_struct;
125#line 20 "include/linux/kobject_ns.h"
126struct sock;
127#line 20
128struct sock;
129#line 21
130struct kobject;
131#line 21
132struct kobject;
133#line 27
134enum kobj_ns_type {
135 KOBJ_NS_TYPE_NONE = 0,
136 KOBJ_NS_TYPE_NET = 1,
137 KOBJ_NS_TYPES = 2
138} ;
139#line 40 "include/linux/kobject_ns.h"
140struct kobj_ns_type_operations {
141 enum kobj_ns_type type ;
142 void *(*grab_current_ns)(void) ;
143 void const *(*netlink_ns)(struct sock *sk ) ;
144 void const *(*initial_ns)(void) ;
145 void (*drop_ns)(void * ) ;
146};
147#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
148struct task_struct;
149#line 8
150struct mm_struct;
151#line 8
152struct mm_struct;
153#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
154struct pt_regs {
155 unsigned long r15 ;
156 unsigned long r14 ;
157 unsigned long r13 ;
158 unsigned long r12 ;
159 unsigned long bp ;
160 unsigned long bx ;
161 unsigned long r11 ;
162 unsigned long r10 ;
163 unsigned long r9 ;
164 unsigned long r8 ;
165 unsigned long ax ;
166 unsigned long cx ;
167 unsigned long dx ;
168 unsigned long si ;
169 unsigned long di ;
170 unsigned long orig_ax ;
171 unsigned long ip ;
172 unsigned long cs ;
173 unsigned long flags ;
174 unsigned long sp ;
175 unsigned long ss ;
176};
177#line 146 "include/linux/init.h"
178typedef void (*ctor_fn_t)(void);
179#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
180struct __anonstruct____missing_field_name_10 {
181 unsigned int a ;
182 unsigned int b ;
183};
184#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
185struct __anonstruct____missing_field_name_11 {
186 u16 limit0 ;
187 u16 base0 ;
188 unsigned int base1 : 8 ;
189 unsigned int type : 4 ;
190 unsigned int s : 1 ;
191 unsigned int dpl : 2 ;
192 unsigned int p : 1 ;
193 unsigned int limit : 4 ;
194 unsigned int avl : 1 ;
195 unsigned int l : 1 ;
196 unsigned int d : 1 ;
197 unsigned int g : 1 ;
198 unsigned int base2 : 8 ;
199};
200#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
201union __anonunion____missing_field_name_9 {
202 struct __anonstruct____missing_field_name_10 __annonCompField4 ;
203 struct __anonstruct____missing_field_name_11 __annonCompField5 ;
204};
205#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
206struct desc_struct {
207 union __anonunion____missing_field_name_9 __annonCompField6 ;
208} __attribute__((__packed__)) ;
209#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
210typedef unsigned long pgdval_t;
211#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
212typedef unsigned long pgprotval_t;
213#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
214struct pgprot {
215 pgprotval_t pgprot ;
216};
217#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
218typedef struct pgprot pgprot_t;
219#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
220struct __anonstruct_pgd_t_15 {
221 pgdval_t pgd ;
222};
223#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
224typedef struct __anonstruct_pgd_t_15 pgd_t;
225#line 282
226struct page;
227#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
228typedef struct page *pgtable_t;
229#line 295
230struct file;
231#line 295
232struct file;
233#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
234struct page;
235#line 47
236struct thread_struct;
237#line 47
238struct thread_struct;
239#line 50
240struct mm_struct;
241#line 51
242struct desc_struct;
243#line 52
244struct task_struct;
245#line 53
246struct cpumask;
247#line 53
248struct cpumask;
249#line 329
250struct arch_spinlock;
251#line 329
252struct arch_spinlock;
253#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
254struct task_struct;
255#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
256struct kernel_vm86_regs {
257 struct pt_regs pt ;
258 unsigned short es ;
259 unsigned short __esh ;
260 unsigned short ds ;
261 unsigned short __dsh ;
262 unsigned short fs ;
263 unsigned short __fsh ;
264 unsigned short gs ;
265 unsigned short __gsh ;
266};
267#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
268union __anonunion____missing_field_name_19 {
269 struct pt_regs *regs ;
270 struct kernel_vm86_regs *vm86 ;
271};
272#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
273struct math_emu_info {
274 long ___orig_eip ;
275 union __anonunion____missing_field_name_19 __annonCompField7 ;
276};
277#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
278struct module;
279#line 56
280struct module;
281#line 9 "include/linux/dynamic_debug.h"
282struct _ddebug {
283 char const *modname ;
284 char const *function ;
285 char const *filename ;
286 char const *format ;
287 unsigned int lineno : 18 ;
288 unsigned int flags : 8 ;
289} __attribute__((__aligned__(8))) ;
290#line 47
291struct device;
292#line 135 "include/linux/kernel.h"
293struct completion;
294#line 135
295struct completion;
296#line 136
297struct pt_regs;
298#line 349
299struct pid;
300#line 349
301struct pid;
302#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
303struct task_struct;
304#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
305struct page;
306#line 10 "include/asm-generic/bug.h"
307struct bug_entry {
308 int bug_addr_disp ;
309 int file_disp ;
310 unsigned short line ;
311 unsigned short flags ;
312};
313#line 12 "include/linux/bug.h"
314struct pt_regs;
315#line 14 "include/linux/cpumask.h"
316struct cpumask {
317 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
318};
319#line 14 "include/linux/cpumask.h"
320typedef struct cpumask cpumask_t;
321#line 637 "include/linux/cpumask.h"
322typedef struct cpumask *cpumask_var_t;
323#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
324struct static_key;
325#line 234
326struct static_key;
327#line 11 "include/linux/personality.h"
328struct pt_regs;
329#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
330struct i387_fsave_struct {
331 u32 cwd ;
332 u32 swd ;
333 u32 twd ;
334 u32 fip ;
335 u32 fcs ;
336 u32 foo ;
337 u32 fos ;
338 u32 st_space[20] ;
339 u32 status ;
340};
341#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
342struct __anonstruct____missing_field_name_27 {
343 u64 rip ;
344 u64 rdp ;
345};
346#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
347struct __anonstruct____missing_field_name_28 {
348 u32 fip ;
349 u32 fcs ;
350 u32 foo ;
351 u32 fos ;
352};
353#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
354union __anonunion____missing_field_name_26 {
355 struct __anonstruct____missing_field_name_27 __annonCompField11 ;
356 struct __anonstruct____missing_field_name_28 __annonCompField12 ;
357};
358#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
359union __anonunion____missing_field_name_29 {
360 u32 padding1[12] ;
361 u32 sw_reserved[12] ;
362};
363#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
364struct i387_fxsave_struct {
365 u16 cwd ;
366 u16 swd ;
367 u16 twd ;
368 u16 fop ;
369 union __anonunion____missing_field_name_26 __annonCompField13 ;
370 u32 mxcsr ;
371 u32 mxcsr_mask ;
372 u32 st_space[32] ;
373 u32 xmm_space[64] ;
374 u32 padding[12] ;
375 union __anonunion____missing_field_name_29 __annonCompField14 ;
376} __attribute__((__aligned__(16))) ;
377#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
378struct i387_soft_struct {
379 u32 cwd ;
380 u32 swd ;
381 u32 twd ;
382 u32 fip ;
383 u32 fcs ;
384 u32 foo ;
385 u32 fos ;
386 u32 st_space[20] ;
387 u8 ftop ;
388 u8 changed ;
389 u8 lookahead ;
390 u8 no_update ;
391 u8 rm ;
392 u8 alimit ;
393 struct math_emu_info *info ;
394 u32 entry_eip ;
395};
396#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
397struct ymmh_struct {
398 u32 ymmh_space[64] ;
399};
400#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
401struct xsave_hdr_struct {
402 u64 xstate_bv ;
403 u64 reserved1[2] ;
404 u64 reserved2[5] ;
405} __attribute__((__packed__)) ;
406#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
407struct xsave_struct {
408 struct i387_fxsave_struct i387 ;
409 struct xsave_hdr_struct xsave_hdr ;
410 struct ymmh_struct ymmh ;
411} __attribute__((__packed__, __aligned__(64))) ;
412#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
413union thread_xstate {
414 struct i387_fsave_struct fsave ;
415 struct i387_fxsave_struct fxsave ;
416 struct i387_soft_struct soft ;
417 struct xsave_struct xsave ;
418};
419#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
420struct fpu {
421 unsigned int last_cpu ;
422 unsigned int has_fpu ;
423 union thread_xstate *state ;
424};
425#line 433
426struct kmem_cache;
427#line 435
428struct perf_event;
429#line 435
430struct perf_event;
431#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
432struct thread_struct {
433 struct desc_struct tls_array[3] ;
434 unsigned long sp0 ;
435 unsigned long sp ;
436 unsigned long usersp ;
437 unsigned short es ;
438 unsigned short ds ;
439 unsigned short fsindex ;
440 unsigned short gsindex ;
441 unsigned long fs ;
442 unsigned long gs ;
443 struct perf_event *ptrace_bps[4] ;
444 unsigned long debugreg6 ;
445 unsigned long ptrace_dr7 ;
446 unsigned long cr2 ;
447 unsigned long trap_nr ;
448 unsigned long error_code ;
449 struct fpu fpu ;
450 unsigned long *io_bitmap_ptr ;
451 unsigned long iopl ;
452 unsigned int io_bitmap_max ;
453};
454#line 23 "include/asm-generic/atomic-long.h"
455typedef atomic64_t atomic_long_t;
456#line 22 "include/linux/sysfs.h"
457struct kobject;
458#line 23
459struct module;
460#line 24
461enum kobj_ns_type;
462#line 26 "include/linux/sysfs.h"
463struct attribute {
464 char const *name ;
465 umode_t mode ;
466};
467#line 56 "include/linux/sysfs.h"
468struct attribute_group {
469 char const *name ;
470 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
471 struct attribute **attrs ;
472};
473#line 85
474struct file;
475#line 86
476struct vm_area_struct;
477#line 86
478struct vm_area_struct;
479#line 88 "include/linux/sysfs.h"
480struct bin_attribute {
481 struct attribute attr ;
482 size_t size ;
483 void *private ;
484 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
485 loff_t , size_t ) ;
486 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
487 loff_t , size_t ) ;
488 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
489};
490#line 112 "include/linux/sysfs.h"
491struct sysfs_ops {
492 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
493 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
494 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
495};
496#line 118
497struct sysfs_dirent;
498#line 118
499struct sysfs_dirent;
500#line 12 "include/linux/thread_info.h"
501struct timespec;
502#line 12
503struct timespec;
504#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
505struct task_struct;
506#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
507typedef u16 __ticket_t;
508#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
509typedef u32 __ticketpair_t;
510#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
511struct __raw_tickets {
512 __ticket_t head ;
513 __ticket_t tail ;
514};
515#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
516union __anonunion____missing_field_name_36 {
517 __ticketpair_t head_tail ;
518 struct __raw_tickets tickets ;
519};
520#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
521struct arch_spinlock {
522 union __anonunion____missing_field_name_36 __annonCompField17 ;
523};
524#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
525typedef struct arch_spinlock arch_spinlock_t;
526#line 20 "include/linux/spinlock_types.h"
527struct raw_spinlock {
528 arch_spinlock_t raw_lock ;
529 unsigned int magic ;
530 unsigned int owner_cpu ;
531 void *owner ;
532};
533#line 20 "include/linux/spinlock_types.h"
534typedef struct raw_spinlock raw_spinlock_t;
535#line 64 "include/linux/spinlock_types.h"
536union __anonunion____missing_field_name_39 {
537 struct raw_spinlock rlock ;
538};
539#line 64 "include/linux/spinlock_types.h"
540struct spinlock {
541 union __anonunion____missing_field_name_39 __annonCompField19 ;
542};
543#line 64 "include/linux/spinlock_types.h"
544typedef struct spinlock spinlock_t;
545#line 22 "include/linux/kref.h"
546struct kref {
547 atomic_t refcount ;
548};
549#line 49 "include/linux/wait.h"
550struct __wait_queue_head {
551 spinlock_t lock ;
552 struct list_head task_list ;
553};
554#line 53 "include/linux/wait.h"
555typedef struct __wait_queue_head wait_queue_head_t;
556#line 55
557struct task_struct;
558#line 60 "include/linux/kobject.h"
559struct kset;
560#line 60
561struct kobj_type;
562#line 60 "include/linux/kobject.h"
563struct kobject {
564 char const *name ;
565 struct list_head entry ;
566 struct kobject *parent ;
567 struct kset *kset ;
568 struct kobj_type *ktype ;
569 struct sysfs_dirent *sd ;
570 struct kref kref ;
571 unsigned int state_initialized : 1 ;
572 unsigned int state_in_sysfs : 1 ;
573 unsigned int state_add_uevent_sent : 1 ;
574 unsigned int state_remove_uevent_sent : 1 ;
575 unsigned int uevent_suppress : 1 ;
576};
577#line 108 "include/linux/kobject.h"
578struct kobj_type {
579 void (*release)(struct kobject *kobj ) ;
580 struct sysfs_ops const *sysfs_ops ;
581 struct attribute **default_attrs ;
582 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
583 void const *(*namespace)(struct kobject *kobj ) ;
584};
585#line 116 "include/linux/kobject.h"
586struct kobj_uevent_env {
587 char *envp[32] ;
588 int envp_idx ;
589 char buf[2048] ;
590 int buflen ;
591};
592#line 123 "include/linux/kobject.h"
593struct kset_uevent_ops {
594 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
595 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
596 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
597};
598#line 140
599struct sock;
600#line 159 "include/linux/kobject.h"
601struct kset {
602 struct list_head list ;
603 spinlock_t list_lock ;
604 struct kobject kobj ;
605 struct kset_uevent_ops const *uevent_ops ;
606};
607#line 19 "include/linux/klist.h"
608struct klist_node;
609#line 19
610struct klist_node;
611#line 39 "include/linux/klist.h"
612struct klist_node {
613 void *n_klist ;
614 struct list_head n_node ;
615 struct kref n_ref ;
616};
617#line 48 "include/linux/mutex.h"
618struct mutex {
619 atomic_t count ;
620 spinlock_t wait_lock ;
621 struct list_head wait_list ;
622 struct task_struct *owner ;
623 char const *name ;
624 void *magic ;
625};
626#line 69 "include/linux/mutex.h"
627struct mutex_waiter {
628 struct list_head list ;
629 struct task_struct *task ;
630 void *magic ;
631};
632#line 119 "include/linux/seqlock.h"
633struct seqcount {
634 unsigned int sequence ;
635};
636#line 119 "include/linux/seqlock.h"
637typedef struct seqcount seqcount_t;
638#line 14 "include/linux/time.h"
639struct timespec {
640 __kernel_time_t tv_sec ;
641 long tv_nsec ;
642};
643#line 46 "include/linux/ktime.h"
644union ktime {
645 s64 tv64 ;
646};
647#line 59 "include/linux/ktime.h"
648typedef union ktime ktime_t;
649#line 10 "include/linux/timer.h"
650struct tvec_base;
651#line 10
652struct tvec_base;
653#line 12 "include/linux/timer.h"
654struct timer_list {
655 struct list_head entry ;
656 unsigned long expires ;
657 struct tvec_base *base ;
658 void (*function)(unsigned long ) ;
659 unsigned long data ;
660 int slack ;
661 int start_pid ;
662 void *start_site ;
663 char start_comm[16] ;
664};
665#line 289
666struct hrtimer;
667#line 289
668struct hrtimer;
669#line 290
670enum hrtimer_restart;
671#line 17 "include/linux/workqueue.h"
672struct work_struct;
673#line 17
674struct work_struct;
675#line 79 "include/linux/workqueue.h"
676struct work_struct {
677 atomic_long_t data ;
678 struct list_head entry ;
679 void (*func)(struct work_struct *work ) ;
680};
681#line 25 "include/linux/completion.h"
682struct completion {
683 unsigned int done ;
684 wait_queue_head_t wait ;
685};
686#line 42 "include/linux/pm.h"
687struct device;
688#line 50 "include/linux/pm.h"
689struct pm_message {
690 int event ;
691};
692#line 50 "include/linux/pm.h"
693typedef struct pm_message pm_message_t;
694#line 264 "include/linux/pm.h"
695struct dev_pm_ops {
696 int (*prepare)(struct device *dev ) ;
697 void (*complete)(struct device *dev ) ;
698 int (*suspend)(struct device *dev ) ;
699 int (*resume)(struct device *dev ) ;
700 int (*freeze)(struct device *dev ) ;
701 int (*thaw)(struct device *dev ) ;
702 int (*poweroff)(struct device *dev ) ;
703 int (*restore)(struct device *dev ) ;
704 int (*suspend_late)(struct device *dev ) ;
705 int (*resume_early)(struct device *dev ) ;
706 int (*freeze_late)(struct device *dev ) ;
707 int (*thaw_early)(struct device *dev ) ;
708 int (*poweroff_late)(struct device *dev ) ;
709 int (*restore_early)(struct device *dev ) ;
710 int (*suspend_noirq)(struct device *dev ) ;
711 int (*resume_noirq)(struct device *dev ) ;
712 int (*freeze_noirq)(struct device *dev ) ;
713 int (*thaw_noirq)(struct device *dev ) ;
714 int (*poweroff_noirq)(struct device *dev ) ;
715 int (*restore_noirq)(struct device *dev ) ;
716 int (*runtime_suspend)(struct device *dev ) ;
717 int (*runtime_resume)(struct device *dev ) ;
718 int (*runtime_idle)(struct device *dev ) ;
719};
720#line 458
721enum rpm_status {
722 RPM_ACTIVE = 0,
723 RPM_RESUMING = 1,
724 RPM_SUSPENDED = 2,
725 RPM_SUSPENDING = 3
726} ;
727#line 480
728enum rpm_request {
729 RPM_REQ_NONE = 0,
730 RPM_REQ_IDLE = 1,
731 RPM_REQ_SUSPEND = 2,
732 RPM_REQ_AUTOSUSPEND = 3,
733 RPM_REQ_RESUME = 4
734} ;
735#line 488
736struct wakeup_source;
737#line 488
738struct wakeup_source;
739#line 495 "include/linux/pm.h"
740struct pm_subsys_data {
741 spinlock_t lock ;
742 unsigned int refcount ;
743};
744#line 506
745struct dev_pm_qos_request;
746#line 506
747struct pm_qos_constraints;
748#line 506 "include/linux/pm.h"
749struct dev_pm_info {
750 pm_message_t power_state ;
751 unsigned int can_wakeup : 1 ;
752 unsigned int async_suspend : 1 ;
753 bool is_prepared : 1 ;
754 bool is_suspended : 1 ;
755 bool ignore_children : 1 ;
756 spinlock_t lock ;
757 struct list_head entry ;
758 struct completion completion ;
759 struct wakeup_source *wakeup ;
760 bool wakeup_path : 1 ;
761 struct timer_list suspend_timer ;
762 unsigned long timer_expires ;
763 struct work_struct work ;
764 wait_queue_head_t wait_queue ;
765 atomic_t usage_count ;
766 atomic_t child_count ;
767 unsigned int disable_depth : 3 ;
768 unsigned int idle_notification : 1 ;
769 unsigned int request_pending : 1 ;
770 unsigned int deferred_resume : 1 ;
771 unsigned int run_wake : 1 ;
772 unsigned int runtime_auto : 1 ;
773 unsigned int no_callbacks : 1 ;
774 unsigned int irq_safe : 1 ;
775 unsigned int use_autosuspend : 1 ;
776 unsigned int timer_autosuspends : 1 ;
777 enum rpm_request request ;
778 enum rpm_status runtime_status ;
779 int runtime_error ;
780 int autosuspend_delay ;
781 unsigned long last_busy ;
782 unsigned long active_jiffies ;
783 unsigned long suspended_jiffies ;
784 unsigned long accounting_timestamp ;
785 ktime_t suspend_time ;
786 s64 max_time_suspended_ns ;
787 struct dev_pm_qos_request *pq_req ;
788 struct pm_subsys_data *subsys_data ;
789 struct pm_qos_constraints *constraints ;
790};
791#line 564 "include/linux/pm.h"
792struct dev_pm_domain {
793 struct dev_pm_ops ops ;
794};
795#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
796struct dma_map_ops;
797#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
798struct dev_archdata {
799 void *acpi_handle ;
800 struct dma_map_ops *dma_ops ;
801 void *iommu ;
802};
803#line 28 "include/linux/device.h"
804struct device;
805#line 29
806struct device_private;
807#line 29
808struct device_private;
809#line 30
810struct device_driver;
811#line 30
812struct device_driver;
813#line 31
814struct driver_private;
815#line 31
816struct driver_private;
817#line 32
818struct module;
819#line 33
820struct class;
821#line 33
822struct class;
823#line 34
824struct subsys_private;
825#line 34
826struct subsys_private;
827#line 35
828struct bus_type;
829#line 35
830struct bus_type;
831#line 36
832struct device_node;
833#line 36
834struct device_node;
835#line 37
836struct iommu_ops;
837#line 37
838struct iommu_ops;
839#line 39 "include/linux/device.h"
840struct bus_attribute {
841 struct attribute attr ;
842 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
843 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
844};
845#line 89
846struct device_attribute;
847#line 89
848struct driver_attribute;
849#line 89 "include/linux/device.h"
850struct bus_type {
851 char const *name ;
852 char const *dev_name ;
853 struct device *dev_root ;
854 struct bus_attribute *bus_attrs ;
855 struct device_attribute *dev_attrs ;
856 struct driver_attribute *drv_attrs ;
857 int (*match)(struct device *dev , struct device_driver *drv ) ;
858 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
859 int (*probe)(struct device *dev ) ;
860 int (*remove)(struct device *dev ) ;
861 void (*shutdown)(struct device *dev ) ;
862 int (*suspend)(struct device *dev , pm_message_t state ) ;
863 int (*resume)(struct device *dev ) ;
864 struct dev_pm_ops const *pm ;
865 struct iommu_ops *iommu_ops ;
866 struct subsys_private *p ;
867};
868#line 127
869struct device_type;
870#line 214
871struct of_device_id;
872#line 214 "include/linux/device.h"
873struct device_driver {
874 char const *name ;
875 struct bus_type *bus ;
876 struct module *owner ;
877 char const *mod_name ;
878 bool suppress_bind_attrs ;
879 struct of_device_id const *of_match_table ;
880 int (*probe)(struct device *dev ) ;
881 int (*remove)(struct device *dev ) ;
882 void (*shutdown)(struct device *dev ) ;
883 int (*suspend)(struct device *dev , pm_message_t state ) ;
884 int (*resume)(struct device *dev ) ;
885 struct attribute_group const **groups ;
886 struct dev_pm_ops const *pm ;
887 struct driver_private *p ;
888};
889#line 249 "include/linux/device.h"
890struct driver_attribute {
891 struct attribute attr ;
892 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
893 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
894};
895#line 330
896struct class_attribute;
897#line 330 "include/linux/device.h"
898struct class {
899 char const *name ;
900 struct module *owner ;
901 struct class_attribute *class_attrs ;
902 struct device_attribute *dev_attrs ;
903 struct bin_attribute *dev_bin_attrs ;
904 struct kobject *dev_kobj ;
905 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
906 char *(*devnode)(struct device *dev , umode_t *mode ) ;
907 void (*class_release)(struct class *class ) ;
908 void (*dev_release)(struct device *dev ) ;
909 int (*suspend)(struct device *dev , pm_message_t state ) ;
910 int (*resume)(struct device *dev ) ;
911 struct kobj_ns_type_operations const *ns_type ;
912 void const *(*namespace)(struct device *dev ) ;
913 struct dev_pm_ops const *pm ;
914 struct subsys_private *p ;
915};
916#line 397 "include/linux/device.h"
917struct class_attribute {
918 struct attribute attr ;
919 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
920 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
921 size_t count ) ;
922 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
923};
924#line 465 "include/linux/device.h"
925struct device_type {
926 char const *name ;
927 struct attribute_group const **groups ;
928 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
929 char *(*devnode)(struct device *dev , umode_t *mode ) ;
930 void (*release)(struct device *dev ) ;
931 struct dev_pm_ops const *pm ;
932};
933#line 476 "include/linux/device.h"
934struct device_attribute {
935 struct attribute attr ;
936 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
937 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
938 size_t count ) ;
939};
940#line 559 "include/linux/device.h"
941struct device_dma_parameters {
942 unsigned int max_segment_size ;
943 unsigned long segment_boundary_mask ;
944};
945#line 627
946struct dma_coherent_mem;
947#line 627 "include/linux/device.h"
948struct device {
949 struct device *parent ;
950 struct device_private *p ;
951 struct kobject kobj ;
952 char const *init_name ;
953 struct device_type const *type ;
954 struct mutex mutex ;
955 struct bus_type *bus ;
956 struct device_driver *driver ;
957 void *platform_data ;
958 struct dev_pm_info power ;
959 struct dev_pm_domain *pm_domain ;
960 int numa_node ;
961 u64 *dma_mask ;
962 u64 coherent_dma_mask ;
963 struct device_dma_parameters *dma_parms ;
964 struct list_head dma_pools ;
965 struct dma_coherent_mem *dma_mem ;
966 struct dev_archdata archdata ;
967 struct device_node *of_node ;
968 dev_t devt ;
969 u32 id ;
970 spinlock_t devres_lock ;
971 struct list_head devres_head ;
972 struct klist_node knode_class ;
973 struct class *class ;
974 struct attribute_group const **groups ;
975 void (*release)(struct device *dev ) ;
976};
977#line 43 "include/linux/pm_wakeup.h"
978struct wakeup_source {
979 char const *name ;
980 struct list_head entry ;
981 spinlock_t lock ;
982 struct timer_list timer ;
983 unsigned long timer_expires ;
984 ktime_t total_time ;
985 ktime_t max_time ;
986 ktime_t last_time ;
987 unsigned long event_count ;
988 unsigned long active_count ;
989 unsigned long relax_count ;
990 unsigned long hit_count ;
991 unsigned int active : 1 ;
992};
993#line 98 "include/linux/nodemask.h"
994struct __anonstruct_nodemask_t_44 {
995 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
996};
997#line 98 "include/linux/nodemask.h"
998typedef struct __anonstruct_nodemask_t_44 nodemask_t;
999#line 60 "include/linux/pageblock-flags.h"
1000struct page;
1001#line 19 "include/linux/rwsem.h"
1002struct rw_semaphore;
1003#line 19
1004struct rw_semaphore;
1005#line 25 "include/linux/rwsem.h"
1006struct rw_semaphore {
1007 long count ;
1008 raw_spinlock_t wait_lock ;
1009 struct list_head wait_list ;
1010};
1011#line 9 "include/linux/memory_hotplug.h"
1012struct page;
1013#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
1014struct device;
1015#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1016struct __anonstruct_mm_context_t_112 {
1017 void *ldt ;
1018 int size ;
1019 unsigned short ia32_compat ;
1020 struct mutex lock ;
1021 void *vdso ;
1022};
1023#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1024typedef struct __anonstruct_mm_context_t_112 mm_context_t;
1025#line 8 "include/linux/vmalloc.h"
1026struct vm_area_struct;
1027#line 994 "include/linux/mmzone.h"
1028struct page;
1029#line 10 "include/linux/gfp.h"
1030struct vm_area_struct;
1031#line 46 "include/linux/slub_def.h"
1032struct kmem_cache_cpu {
1033 void **freelist ;
1034 unsigned long tid ;
1035 struct page *page ;
1036 struct page *partial ;
1037 int node ;
1038 unsigned int stat[26] ;
1039};
1040#line 57 "include/linux/slub_def.h"
1041struct kmem_cache_node {
1042 spinlock_t list_lock ;
1043 unsigned long nr_partial ;
1044 struct list_head partial ;
1045 atomic_long_t nr_slabs ;
1046 atomic_long_t total_objects ;
1047 struct list_head full ;
1048};
1049#line 73 "include/linux/slub_def.h"
1050struct kmem_cache_order_objects {
1051 unsigned long x ;
1052};
1053#line 80 "include/linux/slub_def.h"
1054struct kmem_cache {
1055 struct kmem_cache_cpu *cpu_slab ;
1056 unsigned long flags ;
1057 unsigned long min_partial ;
1058 int size ;
1059 int objsize ;
1060 int offset ;
1061 int cpu_partial ;
1062 struct kmem_cache_order_objects oo ;
1063 struct kmem_cache_order_objects max ;
1064 struct kmem_cache_order_objects min ;
1065 gfp_t allocflags ;
1066 int refcount ;
1067 void (*ctor)(void * ) ;
1068 int inuse ;
1069 int align ;
1070 int reserved ;
1071 char const *name ;
1072 struct list_head list ;
1073 struct kobject kobj ;
1074 int remote_node_defrag_ratio ;
1075 struct kmem_cache_node *node[1 << 10] ;
1076};
1077#line 12 "include/linux/mod_devicetable.h"
1078typedef unsigned long kernel_ulong_t;
1079#line 219 "include/linux/mod_devicetable.h"
1080struct of_device_id {
1081 char name[32] ;
1082 char type[32] ;
1083 char compatible[128] ;
1084 void *data ;
1085};
1086#line 442 "include/linux/mod_devicetable.h"
1087struct spi_device_id {
1088 char name[32] ;
1089 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1090};
1091#line 18 "include/linux/capability.h"
1092struct task_struct;
1093#line 94 "include/linux/capability.h"
1094struct kernel_cap_struct {
1095 __u32 cap[2] ;
1096};
1097#line 94 "include/linux/capability.h"
1098typedef struct kernel_cap_struct kernel_cap_t;
1099#line 377
1100struct dentry;
1101#line 377
1102struct dentry;
1103#line 378
1104struct user_namespace;
1105#line 378
1106struct user_namespace;
1107#line 100 "include/linux/rbtree.h"
1108struct rb_node {
1109 unsigned long rb_parent_color ;
1110 struct rb_node *rb_right ;
1111 struct rb_node *rb_left ;
1112} __attribute__((__aligned__(sizeof(long )))) ;
1113#line 110 "include/linux/rbtree.h"
1114struct rb_root {
1115 struct rb_node *rb_node ;
1116};
1117#line 14 "include/linux/prio_tree.h"
1118struct prio_tree_node;
1119#line 14 "include/linux/prio_tree.h"
1120struct raw_prio_tree_node {
1121 struct prio_tree_node *left ;
1122 struct prio_tree_node *right ;
1123 struct prio_tree_node *parent ;
1124};
1125#line 20 "include/linux/prio_tree.h"
1126struct prio_tree_node {
1127 struct prio_tree_node *left ;
1128 struct prio_tree_node *right ;
1129 struct prio_tree_node *parent ;
1130 unsigned long start ;
1131 unsigned long last ;
1132};
1133#line 23 "include/linux/mm_types.h"
1134struct address_space;
1135#line 23
1136struct address_space;
1137#line 40 "include/linux/mm_types.h"
1138union __anonunion____missing_field_name_142 {
1139 unsigned long index ;
1140 void *freelist ;
1141};
1142#line 40 "include/linux/mm_types.h"
1143struct __anonstruct____missing_field_name_146 {
1144 unsigned int inuse : 16 ;
1145 unsigned int objects : 15 ;
1146 unsigned int frozen : 1 ;
1147};
1148#line 40 "include/linux/mm_types.h"
1149union __anonunion____missing_field_name_145 {
1150 atomic_t _mapcount ;
1151 struct __anonstruct____missing_field_name_146 __annonCompField31 ;
1152};
1153#line 40 "include/linux/mm_types.h"
1154struct __anonstruct____missing_field_name_144 {
1155 union __anonunion____missing_field_name_145 __annonCompField32 ;
1156 atomic_t _count ;
1157};
1158#line 40 "include/linux/mm_types.h"
1159union __anonunion____missing_field_name_143 {
1160 unsigned long counters ;
1161 struct __anonstruct____missing_field_name_144 __annonCompField33 ;
1162};
1163#line 40 "include/linux/mm_types.h"
1164struct __anonstruct____missing_field_name_141 {
1165 union __anonunion____missing_field_name_142 __annonCompField30 ;
1166 union __anonunion____missing_field_name_143 __annonCompField34 ;
1167};
1168#line 40 "include/linux/mm_types.h"
1169struct __anonstruct____missing_field_name_148 {
1170 struct page *next ;
1171 int pages ;
1172 int pobjects ;
1173};
1174#line 40 "include/linux/mm_types.h"
1175union __anonunion____missing_field_name_147 {
1176 struct list_head lru ;
1177 struct __anonstruct____missing_field_name_148 __annonCompField36 ;
1178};
1179#line 40 "include/linux/mm_types.h"
1180union __anonunion____missing_field_name_149 {
1181 unsigned long private ;
1182 struct kmem_cache *slab ;
1183 struct page *first_page ;
1184};
1185#line 40 "include/linux/mm_types.h"
1186struct page {
1187 unsigned long flags ;
1188 struct address_space *mapping ;
1189 struct __anonstruct____missing_field_name_141 __annonCompField35 ;
1190 union __anonunion____missing_field_name_147 __annonCompField37 ;
1191 union __anonunion____missing_field_name_149 __annonCompField38 ;
1192 unsigned long debug_flags ;
1193} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1194#line 200 "include/linux/mm_types.h"
1195struct __anonstruct_vm_set_151 {
1196 struct list_head list ;
1197 void *parent ;
1198 struct vm_area_struct *head ;
1199};
1200#line 200 "include/linux/mm_types.h"
1201union __anonunion_shared_150 {
1202 struct __anonstruct_vm_set_151 vm_set ;
1203 struct raw_prio_tree_node prio_tree_node ;
1204};
1205#line 200
1206struct anon_vma;
1207#line 200
1208struct vm_operations_struct;
1209#line 200
1210struct mempolicy;
1211#line 200 "include/linux/mm_types.h"
1212struct vm_area_struct {
1213 struct mm_struct *vm_mm ;
1214 unsigned long vm_start ;
1215 unsigned long vm_end ;
1216 struct vm_area_struct *vm_next ;
1217 struct vm_area_struct *vm_prev ;
1218 pgprot_t vm_page_prot ;
1219 unsigned long vm_flags ;
1220 struct rb_node vm_rb ;
1221 union __anonunion_shared_150 shared ;
1222 struct list_head anon_vma_chain ;
1223 struct anon_vma *anon_vma ;
1224 struct vm_operations_struct const *vm_ops ;
1225 unsigned long vm_pgoff ;
1226 struct file *vm_file ;
1227 void *vm_private_data ;
1228 struct mempolicy *vm_policy ;
1229};
1230#line 257 "include/linux/mm_types.h"
1231struct core_thread {
1232 struct task_struct *task ;
1233 struct core_thread *next ;
1234};
1235#line 262 "include/linux/mm_types.h"
1236struct core_state {
1237 atomic_t nr_threads ;
1238 struct core_thread dumper ;
1239 struct completion startup ;
1240};
1241#line 284 "include/linux/mm_types.h"
1242struct mm_rss_stat {
1243 atomic_long_t count[3] ;
1244};
1245#line 288
1246struct linux_binfmt;
1247#line 288
1248struct mmu_notifier_mm;
1249#line 288 "include/linux/mm_types.h"
1250struct mm_struct {
1251 struct vm_area_struct *mmap ;
1252 struct rb_root mm_rb ;
1253 struct vm_area_struct *mmap_cache ;
1254 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1255 unsigned long pgoff , unsigned long flags ) ;
1256 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1257 unsigned long mmap_base ;
1258 unsigned long task_size ;
1259 unsigned long cached_hole_size ;
1260 unsigned long free_area_cache ;
1261 pgd_t *pgd ;
1262 atomic_t mm_users ;
1263 atomic_t mm_count ;
1264 int map_count ;
1265 spinlock_t page_table_lock ;
1266 struct rw_semaphore mmap_sem ;
1267 struct list_head mmlist ;
1268 unsigned long hiwater_rss ;
1269 unsigned long hiwater_vm ;
1270 unsigned long total_vm ;
1271 unsigned long locked_vm ;
1272 unsigned long pinned_vm ;
1273 unsigned long shared_vm ;
1274 unsigned long exec_vm ;
1275 unsigned long stack_vm ;
1276 unsigned long reserved_vm ;
1277 unsigned long def_flags ;
1278 unsigned long nr_ptes ;
1279 unsigned long start_code ;
1280 unsigned long end_code ;
1281 unsigned long start_data ;
1282 unsigned long end_data ;
1283 unsigned long start_brk ;
1284 unsigned long brk ;
1285 unsigned long start_stack ;
1286 unsigned long arg_start ;
1287 unsigned long arg_end ;
1288 unsigned long env_start ;
1289 unsigned long env_end ;
1290 unsigned long saved_auxv[44] ;
1291 struct mm_rss_stat rss_stat ;
1292 struct linux_binfmt *binfmt ;
1293 cpumask_var_t cpu_vm_mask_var ;
1294 mm_context_t context ;
1295 unsigned int faultstamp ;
1296 unsigned int token_priority ;
1297 unsigned int last_interval ;
1298 unsigned long flags ;
1299 struct core_state *core_state ;
1300 spinlock_t ioctx_lock ;
1301 struct hlist_head ioctx_list ;
1302 struct task_struct *owner ;
1303 struct file *exe_file ;
1304 unsigned long num_exe_file_vmas ;
1305 struct mmu_notifier_mm *mmu_notifier_mm ;
1306 pgtable_t pmd_huge_pte ;
1307 struct cpumask cpumask_allocation ;
1308};
1309#line 7 "include/asm-generic/cputime.h"
1310typedef unsigned long cputime_t;
1311#line 84 "include/linux/sem.h"
1312struct task_struct;
1313#line 101
1314struct sem_undo_list;
1315#line 101 "include/linux/sem.h"
1316struct sysv_sem {
1317 struct sem_undo_list *undo_list ;
1318};
1319#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1320struct siginfo;
1321#line 10
1322struct siginfo;
1323#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1324struct __anonstruct_sigset_t_153 {
1325 unsigned long sig[1] ;
1326};
1327#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1328typedef struct __anonstruct_sigset_t_153 sigset_t;
1329#line 17 "include/asm-generic/signal-defs.h"
1330typedef void __signalfn_t(int );
1331#line 18 "include/asm-generic/signal-defs.h"
1332typedef __signalfn_t *__sighandler_t;
1333#line 20 "include/asm-generic/signal-defs.h"
1334typedef void __restorefn_t(void);
1335#line 21 "include/asm-generic/signal-defs.h"
1336typedef __restorefn_t *__sigrestore_t;
1337#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1338struct sigaction {
1339 __sighandler_t sa_handler ;
1340 unsigned long sa_flags ;
1341 __sigrestore_t sa_restorer ;
1342 sigset_t sa_mask ;
1343};
1344#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1345struct k_sigaction {
1346 struct sigaction sa ;
1347};
1348#line 7 "include/asm-generic/siginfo.h"
1349union sigval {
1350 int sival_int ;
1351 void *sival_ptr ;
1352};
1353#line 7 "include/asm-generic/siginfo.h"
1354typedef union sigval sigval_t;
1355#line 48 "include/asm-generic/siginfo.h"
1356struct __anonstruct__kill_155 {
1357 __kernel_pid_t _pid ;
1358 __kernel_uid32_t _uid ;
1359};
1360#line 48 "include/asm-generic/siginfo.h"
1361struct __anonstruct__timer_156 {
1362 __kernel_timer_t _tid ;
1363 int _overrun ;
1364 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1365 sigval_t _sigval ;
1366 int _sys_private ;
1367};
1368#line 48 "include/asm-generic/siginfo.h"
1369struct __anonstruct__rt_157 {
1370 __kernel_pid_t _pid ;
1371 __kernel_uid32_t _uid ;
1372 sigval_t _sigval ;
1373};
1374#line 48 "include/asm-generic/siginfo.h"
1375struct __anonstruct__sigchld_158 {
1376 __kernel_pid_t _pid ;
1377 __kernel_uid32_t _uid ;
1378 int _status ;
1379 __kernel_clock_t _utime ;
1380 __kernel_clock_t _stime ;
1381};
1382#line 48 "include/asm-generic/siginfo.h"
1383struct __anonstruct__sigfault_159 {
1384 void *_addr ;
1385 short _addr_lsb ;
1386};
1387#line 48 "include/asm-generic/siginfo.h"
1388struct __anonstruct__sigpoll_160 {
1389 long _band ;
1390 int _fd ;
1391};
1392#line 48 "include/asm-generic/siginfo.h"
1393union __anonunion__sifields_154 {
1394 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1395 struct __anonstruct__kill_155 _kill ;
1396 struct __anonstruct__timer_156 _timer ;
1397 struct __anonstruct__rt_157 _rt ;
1398 struct __anonstruct__sigchld_158 _sigchld ;
1399 struct __anonstruct__sigfault_159 _sigfault ;
1400 struct __anonstruct__sigpoll_160 _sigpoll ;
1401};
1402#line 48 "include/asm-generic/siginfo.h"
1403struct siginfo {
1404 int si_signo ;
1405 int si_errno ;
1406 int si_code ;
1407 union __anonunion__sifields_154 _sifields ;
1408};
1409#line 48 "include/asm-generic/siginfo.h"
1410typedef struct siginfo siginfo_t;
1411#line 288
1412struct siginfo;
1413#line 10 "include/linux/signal.h"
1414struct task_struct;
1415#line 18
1416struct user_struct;
1417#line 28 "include/linux/signal.h"
1418struct sigpending {
1419 struct list_head list ;
1420 sigset_t signal ;
1421};
1422#line 239
1423struct timespec;
1424#line 240
1425struct pt_regs;
1426#line 50 "include/linux/pid.h"
1427struct pid_namespace;
1428#line 50 "include/linux/pid.h"
1429struct upid {
1430 int nr ;
1431 struct pid_namespace *ns ;
1432 struct hlist_node pid_chain ;
1433};
1434#line 57 "include/linux/pid.h"
1435struct pid {
1436 atomic_t count ;
1437 unsigned int level ;
1438 struct hlist_head tasks[3] ;
1439 struct rcu_head rcu ;
1440 struct upid numbers[1] ;
1441};
1442#line 69 "include/linux/pid.h"
1443struct pid_link {
1444 struct hlist_node node ;
1445 struct pid *pid ;
1446};
1447#line 100
1448struct pid_namespace;
1449#line 10 "include/linux/seccomp.h"
1450struct __anonstruct_seccomp_t_163 {
1451 int mode ;
1452};
1453#line 10 "include/linux/seccomp.h"
1454typedef struct __anonstruct_seccomp_t_163 seccomp_t;
1455#line 81 "include/linux/plist.h"
1456struct plist_head {
1457 struct list_head node_list ;
1458};
1459#line 85 "include/linux/plist.h"
1460struct plist_node {
1461 int prio ;
1462 struct list_head prio_list ;
1463 struct list_head node_list ;
1464};
1465#line 40 "include/linux/rtmutex.h"
1466struct rt_mutex_waiter;
1467#line 40
1468struct rt_mutex_waiter;
1469#line 42 "include/linux/resource.h"
1470struct rlimit {
1471 unsigned long rlim_cur ;
1472 unsigned long rlim_max ;
1473};
1474#line 81
1475struct task_struct;
1476#line 8 "include/linux/timerqueue.h"
1477struct timerqueue_node {
1478 struct rb_node node ;
1479 ktime_t expires ;
1480};
1481#line 13 "include/linux/timerqueue.h"
1482struct timerqueue_head {
1483 struct rb_root head ;
1484 struct timerqueue_node *next ;
1485};
1486#line 27 "include/linux/hrtimer.h"
1487struct hrtimer_clock_base;
1488#line 27
1489struct hrtimer_clock_base;
1490#line 28
1491struct hrtimer_cpu_base;
1492#line 28
1493struct hrtimer_cpu_base;
1494#line 44
1495enum hrtimer_restart {
1496 HRTIMER_NORESTART = 0,
1497 HRTIMER_RESTART = 1
1498} ;
1499#line 108 "include/linux/hrtimer.h"
1500struct hrtimer {
1501 struct timerqueue_node node ;
1502 ktime_t _softexpires ;
1503 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1504 struct hrtimer_clock_base *base ;
1505 unsigned long state ;
1506 int start_pid ;
1507 void *start_site ;
1508 char start_comm[16] ;
1509};
1510#line 145 "include/linux/hrtimer.h"
1511struct hrtimer_clock_base {
1512 struct hrtimer_cpu_base *cpu_base ;
1513 int index ;
1514 clockid_t clockid ;
1515 struct timerqueue_head active ;
1516 ktime_t resolution ;
1517 ktime_t (*get_time)(void) ;
1518 ktime_t softirq_time ;
1519 ktime_t offset ;
1520};
1521#line 178 "include/linux/hrtimer.h"
1522struct hrtimer_cpu_base {
1523 raw_spinlock_t lock ;
1524 unsigned long active_bases ;
1525 ktime_t expires_next ;
1526 int hres_active ;
1527 int hang_detected ;
1528 unsigned long nr_events ;
1529 unsigned long nr_retries ;
1530 unsigned long nr_hangs ;
1531 ktime_t max_hang_time ;
1532 struct hrtimer_clock_base clock_base[3] ;
1533};
1534#line 11 "include/linux/task_io_accounting.h"
1535struct task_io_accounting {
1536 u64 rchar ;
1537 u64 wchar ;
1538 u64 syscr ;
1539 u64 syscw ;
1540 u64 read_bytes ;
1541 u64 write_bytes ;
1542 u64 cancelled_write_bytes ;
1543};
1544#line 13 "include/linux/latencytop.h"
1545struct task_struct;
1546#line 20 "include/linux/latencytop.h"
1547struct latency_record {
1548 unsigned long backtrace[12] ;
1549 unsigned int count ;
1550 unsigned long time ;
1551 unsigned long max ;
1552};
1553#line 29 "include/linux/sysctl.h"
1554struct completion;
1555#line 939
1556struct nsproxy;
1557#line 939
1558struct nsproxy;
1559#line 29 "include/linux/key.h"
1560typedef int32_t key_serial_t;
1561#line 32 "include/linux/key.h"
1562typedef uint32_t key_perm_t;
1563#line 34
1564struct key;
1565#line 34
1566struct key;
1567#line 75
1568struct user_struct;
1569#line 76
1570struct signal_struct;
1571#line 76
1572struct signal_struct;
1573#line 77
1574struct cred;
1575#line 77
1576struct cred;
1577#line 79
1578struct key_type;
1579#line 79
1580struct key_type;
1581#line 81
1582struct keyring_list;
1583#line 81
1584struct keyring_list;
1585#line 124
1586struct key_user;
1587#line 124 "include/linux/key.h"
1588union __anonunion____missing_field_name_220 {
1589 time_t expiry ;
1590 time_t revoked_at ;
1591};
1592#line 124 "include/linux/key.h"
1593union __anonunion_type_data_221 {
1594 struct list_head link ;
1595 unsigned long x[2] ;
1596 void *p[2] ;
1597 int reject_error ;
1598};
1599#line 124 "include/linux/key.h"
1600union __anonunion_payload_222 {
1601 unsigned long value ;
1602 void *rcudata ;
1603 void *data ;
1604 struct keyring_list *subscriptions ;
1605};
1606#line 124 "include/linux/key.h"
1607struct key {
1608 atomic_t usage ;
1609 key_serial_t serial ;
1610 struct rb_node serial_node ;
1611 struct key_type *type ;
1612 struct rw_semaphore sem ;
1613 struct key_user *user ;
1614 void *security ;
1615 union __anonunion____missing_field_name_220 __annonCompField41 ;
1616 uid_t uid ;
1617 gid_t gid ;
1618 key_perm_t perm ;
1619 unsigned short quotalen ;
1620 unsigned short datalen ;
1621 unsigned long flags ;
1622 char *description ;
1623 union __anonunion_type_data_221 type_data ;
1624 union __anonunion_payload_222 payload ;
1625};
1626#line 18 "include/linux/selinux.h"
1627struct audit_context;
1628#line 18
1629struct audit_context;
1630#line 21 "include/linux/cred.h"
1631struct user_struct;
1632#line 22
1633struct cred;
1634#line 31 "include/linux/cred.h"
1635struct group_info {
1636 atomic_t usage ;
1637 int ngroups ;
1638 int nblocks ;
1639 gid_t small_block[32] ;
1640 gid_t *blocks[0] ;
1641};
1642#line 83 "include/linux/cred.h"
1643struct thread_group_cred {
1644 atomic_t usage ;
1645 pid_t tgid ;
1646 spinlock_t lock ;
1647 struct key *session_keyring ;
1648 struct key *process_keyring ;
1649 struct rcu_head rcu ;
1650};
1651#line 116 "include/linux/cred.h"
1652struct cred {
1653 atomic_t usage ;
1654 atomic_t subscribers ;
1655 void *put_addr ;
1656 unsigned int magic ;
1657 uid_t uid ;
1658 gid_t gid ;
1659 uid_t suid ;
1660 gid_t sgid ;
1661 uid_t euid ;
1662 gid_t egid ;
1663 uid_t fsuid ;
1664 gid_t fsgid ;
1665 unsigned int securebits ;
1666 kernel_cap_t cap_inheritable ;
1667 kernel_cap_t cap_permitted ;
1668 kernel_cap_t cap_effective ;
1669 kernel_cap_t cap_bset ;
1670 unsigned char jit_keyring ;
1671 struct key *thread_keyring ;
1672 struct key *request_key_auth ;
1673 struct thread_group_cred *tgcred ;
1674 void *security ;
1675 struct user_struct *user ;
1676 struct user_namespace *user_ns ;
1677 struct group_info *group_info ;
1678 struct rcu_head rcu ;
1679};
1680#line 61 "include/linux/llist.h"
1681struct llist_node;
1682#line 65 "include/linux/llist.h"
1683struct llist_node {
1684 struct llist_node *next ;
1685};
1686#line 97 "include/linux/sched.h"
1687struct futex_pi_state;
1688#line 97
1689struct futex_pi_state;
1690#line 98
1691struct robust_list_head;
1692#line 98
1693struct robust_list_head;
1694#line 99
1695struct bio_list;
1696#line 99
1697struct bio_list;
1698#line 100
1699struct fs_struct;
1700#line 100
1701struct fs_struct;
1702#line 101
1703struct perf_event_context;
1704#line 101
1705struct perf_event_context;
1706#line 102
1707struct blk_plug;
1708#line 102
1709struct blk_plug;
1710#line 151
1711struct cfs_rq;
1712#line 151
1713struct cfs_rq;
1714#line 259
1715struct task_struct;
1716#line 366
1717struct nsproxy;
1718#line 367
1719struct user_namespace;
1720#line 214 "include/linux/aio.h"
1721struct mm_struct;
1722#line 443 "include/linux/sched.h"
1723struct sighand_struct {
1724 atomic_t count ;
1725 struct k_sigaction action[64] ;
1726 spinlock_t siglock ;
1727 wait_queue_head_t signalfd_wqh ;
1728};
1729#line 450 "include/linux/sched.h"
1730struct pacct_struct {
1731 int ac_flag ;
1732 long ac_exitcode ;
1733 unsigned long ac_mem ;
1734 cputime_t ac_utime ;
1735 cputime_t ac_stime ;
1736 unsigned long ac_minflt ;
1737 unsigned long ac_majflt ;
1738};
1739#line 458 "include/linux/sched.h"
1740struct cpu_itimer {
1741 cputime_t expires ;
1742 cputime_t incr ;
1743 u32 error ;
1744 u32 incr_error ;
1745};
1746#line 476 "include/linux/sched.h"
1747struct task_cputime {
1748 cputime_t utime ;
1749 cputime_t stime ;
1750 unsigned long long sum_exec_runtime ;
1751};
1752#line 512 "include/linux/sched.h"
1753struct thread_group_cputimer {
1754 struct task_cputime cputime ;
1755 int running ;
1756 raw_spinlock_t lock ;
1757};
1758#line 519
1759struct autogroup;
1760#line 519
1761struct autogroup;
1762#line 528
1763struct tty_struct;
1764#line 528
1765struct taskstats;
1766#line 528
1767struct tty_audit_buf;
1768#line 528 "include/linux/sched.h"
1769struct signal_struct {
1770 atomic_t sigcnt ;
1771 atomic_t live ;
1772 int nr_threads ;
1773 wait_queue_head_t wait_chldexit ;
1774 struct task_struct *curr_target ;
1775 struct sigpending shared_pending ;
1776 int group_exit_code ;
1777 int notify_count ;
1778 struct task_struct *group_exit_task ;
1779 int group_stop_count ;
1780 unsigned int flags ;
1781 unsigned int is_child_subreaper : 1 ;
1782 unsigned int has_child_subreaper : 1 ;
1783 struct list_head posix_timers ;
1784 struct hrtimer real_timer ;
1785 struct pid *leader_pid ;
1786 ktime_t it_real_incr ;
1787 struct cpu_itimer it[2] ;
1788 struct thread_group_cputimer cputimer ;
1789 struct task_cputime cputime_expires ;
1790 struct list_head cpu_timers[3] ;
1791 struct pid *tty_old_pgrp ;
1792 int leader ;
1793 struct tty_struct *tty ;
1794 struct autogroup *autogroup ;
1795 cputime_t utime ;
1796 cputime_t stime ;
1797 cputime_t cutime ;
1798 cputime_t cstime ;
1799 cputime_t gtime ;
1800 cputime_t cgtime ;
1801 cputime_t prev_utime ;
1802 cputime_t prev_stime ;
1803 unsigned long nvcsw ;
1804 unsigned long nivcsw ;
1805 unsigned long cnvcsw ;
1806 unsigned long cnivcsw ;
1807 unsigned long min_flt ;
1808 unsigned long maj_flt ;
1809 unsigned long cmin_flt ;
1810 unsigned long cmaj_flt ;
1811 unsigned long inblock ;
1812 unsigned long oublock ;
1813 unsigned long cinblock ;
1814 unsigned long coublock ;
1815 unsigned long maxrss ;
1816 unsigned long cmaxrss ;
1817 struct task_io_accounting ioac ;
1818 unsigned long long sum_sched_runtime ;
1819 struct rlimit rlim[16] ;
1820 struct pacct_struct pacct ;
1821 struct taskstats *stats ;
1822 unsigned int audit_tty ;
1823 struct tty_audit_buf *tty_audit_buf ;
1824 struct rw_semaphore group_rwsem ;
1825 int oom_adj ;
1826 int oom_score_adj ;
1827 int oom_score_adj_min ;
1828 struct mutex cred_guard_mutex ;
1829};
1830#line 703 "include/linux/sched.h"
1831struct user_struct {
1832 atomic_t __count ;
1833 atomic_t processes ;
1834 atomic_t files ;
1835 atomic_t sigpending ;
1836 atomic_t inotify_watches ;
1837 atomic_t inotify_devs ;
1838 atomic_t fanotify_listeners ;
1839 atomic_long_t epoll_watches ;
1840 unsigned long mq_bytes ;
1841 unsigned long locked_shm ;
1842 struct key *uid_keyring ;
1843 struct key *session_keyring ;
1844 struct hlist_node uidhash_node ;
1845 uid_t uid ;
1846 struct user_namespace *user_ns ;
1847 atomic_long_t locked_vm ;
1848};
1849#line 747
1850struct backing_dev_info;
1851#line 747
1852struct backing_dev_info;
1853#line 748
1854struct reclaim_state;
1855#line 748
1856struct reclaim_state;
1857#line 751 "include/linux/sched.h"
1858struct sched_info {
1859 unsigned long pcount ;
1860 unsigned long long run_delay ;
1861 unsigned long long last_arrival ;
1862 unsigned long long last_queued ;
1863};
1864#line 763 "include/linux/sched.h"
1865struct task_delay_info {
1866 spinlock_t lock ;
1867 unsigned int flags ;
1868 struct timespec blkio_start ;
1869 struct timespec blkio_end ;
1870 u64 blkio_delay ;
1871 u64 swapin_delay ;
1872 u32 blkio_count ;
1873 u32 swapin_count ;
1874 struct timespec freepages_start ;
1875 struct timespec freepages_end ;
1876 u64 freepages_delay ;
1877 u32 freepages_count ;
1878};
1879#line 1088
1880struct io_context;
1881#line 1088
1882struct io_context;
1883#line 1097
1884struct audit_context;
1885#line 1098
1886struct mempolicy;
1887#line 1099
1888struct pipe_inode_info;
1889#line 1099
1890struct pipe_inode_info;
1891#line 1102
1892struct rq;
1893#line 1102
1894struct rq;
1895#line 1122 "include/linux/sched.h"
1896struct sched_class {
1897 struct sched_class const *next ;
1898 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
1899 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
1900 void (*yield_task)(struct rq *rq ) ;
1901 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
1902 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
1903 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
1904 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
1905 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
1906 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
1907 void (*post_schedule)(struct rq *this_rq ) ;
1908 void (*task_waking)(struct task_struct *task ) ;
1909 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
1910 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
1911 void (*rq_online)(struct rq *rq ) ;
1912 void (*rq_offline)(struct rq *rq ) ;
1913 void (*set_curr_task)(struct rq *rq ) ;
1914 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
1915 void (*task_fork)(struct task_struct *p ) ;
1916 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
1917 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
1918 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
1919 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
1920 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
1921};
1922#line 1167 "include/linux/sched.h"
1923struct load_weight {
1924 unsigned long weight ;
1925 unsigned long inv_weight ;
1926};
1927#line 1172 "include/linux/sched.h"
1928struct sched_statistics {
1929 u64 wait_start ;
1930 u64 wait_max ;
1931 u64 wait_count ;
1932 u64 wait_sum ;
1933 u64 iowait_count ;
1934 u64 iowait_sum ;
1935 u64 sleep_start ;
1936 u64 sleep_max ;
1937 s64 sum_sleep_runtime ;
1938 u64 block_start ;
1939 u64 block_max ;
1940 u64 exec_max ;
1941 u64 slice_max ;
1942 u64 nr_migrations_cold ;
1943 u64 nr_failed_migrations_affine ;
1944 u64 nr_failed_migrations_running ;
1945 u64 nr_failed_migrations_hot ;
1946 u64 nr_forced_migrations ;
1947 u64 nr_wakeups ;
1948 u64 nr_wakeups_sync ;
1949 u64 nr_wakeups_migrate ;
1950 u64 nr_wakeups_local ;
1951 u64 nr_wakeups_remote ;
1952 u64 nr_wakeups_affine ;
1953 u64 nr_wakeups_affine_attempts ;
1954 u64 nr_wakeups_passive ;
1955 u64 nr_wakeups_idle ;
1956};
1957#line 1207 "include/linux/sched.h"
1958struct sched_entity {
1959 struct load_weight load ;
1960 struct rb_node run_node ;
1961 struct list_head group_node ;
1962 unsigned int on_rq ;
1963 u64 exec_start ;
1964 u64 sum_exec_runtime ;
1965 u64 vruntime ;
1966 u64 prev_sum_exec_runtime ;
1967 u64 nr_migrations ;
1968 struct sched_statistics statistics ;
1969 struct sched_entity *parent ;
1970 struct cfs_rq *cfs_rq ;
1971 struct cfs_rq *my_q ;
1972};
1973#line 1233
1974struct rt_rq;
1975#line 1233 "include/linux/sched.h"
1976struct sched_rt_entity {
1977 struct list_head run_list ;
1978 unsigned long timeout ;
1979 unsigned int time_slice ;
1980 int nr_cpus_allowed ;
1981 struct sched_rt_entity *back ;
1982 struct sched_rt_entity *parent ;
1983 struct rt_rq *rt_rq ;
1984 struct rt_rq *my_q ;
1985};
1986#line 1264
1987struct files_struct;
1988#line 1264
1989struct css_set;
1990#line 1264
1991struct compat_robust_list_head;
1992#line 1264
1993struct mem_cgroup;
1994#line 1264 "include/linux/sched.h"
1995struct memcg_batch_info {
1996 int do_batch ;
1997 struct mem_cgroup *memcg ;
1998 unsigned long nr_pages ;
1999 unsigned long memsw_nr_pages ;
2000};
2001#line 1264 "include/linux/sched.h"
2002struct task_struct {
2003 long volatile state ;
2004 void *stack ;
2005 atomic_t usage ;
2006 unsigned int flags ;
2007 unsigned int ptrace ;
2008 struct llist_node wake_entry ;
2009 int on_cpu ;
2010 int on_rq ;
2011 int prio ;
2012 int static_prio ;
2013 int normal_prio ;
2014 unsigned int rt_priority ;
2015 struct sched_class const *sched_class ;
2016 struct sched_entity se ;
2017 struct sched_rt_entity rt ;
2018 struct hlist_head preempt_notifiers ;
2019 unsigned char fpu_counter ;
2020 unsigned int policy ;
2021 cpumask_t cpus_allowed ;
2022 struct sched_info sched_info ;
2023 struct list_head tasks ;
2024 struct plist_node pushable_tasks ;
2025 struct mm_struct *mm ;
2026 struct mm_struct *active_mm ;
2027 unsigned int brk_randomized : 1 ;
2028 int exit_state ;
2029 int exit_code ;
2030 int exit_signal ;
2031 int pdeath_signal ;
2032 unsigned int jobctl ;
2033 unsigned int personality ;
2034 unsigned int did_exec : 1 ;
2035 unsigned int in_execve : 1 ;
2036 unsigned int in_iowait : 1 ;
2037 unsigned int sched_reset_on_fork : 1 ;
2038 unsigned int sched_contributes_to_load : 1 ;
2039 unsigned int irq_thread : 1 ;
2040 pid_t pid ;
2041 pid_t tgid ;
2042 unsigned long stack_canary ;
2043 struct task_struct *real_parent ;
2044 struct task_struct *parent ;
2045 struct list_head children ;
2046 struct list_head sibling ;
2047 struct task_struct *group_leader ;
2048 struct list_head ptraced ;
2049 struct list_head ptrace_entry ;
2050 struct pid_link pids[3] ;
2051 struct list_head thread_group ;
2052 struct completion *vfork_done ;
2053 int *set_child_tid ;
2054 int *clear_child_tid ;
2055 cputime_t utime ;
2056 cputime_t stime ;
2057 cputime_t utimescaled ;
2058 cputime_t stimescaled ;
2059 cputime_t gtime ;
2060 cputime_t prev_utime ;
2061 cputime_t prev_stime ;
2062 unsigned long nvcsw ;
2063 unsigned long nivcsw ;
2064 struct timespec start_time ;
2065 struct timespec real_start_time ;
2066 unsigned long min_flt ;
2067 unsigned long maj_flt ;
2068 struct task_cputime cputime_expires ;
2069 struct list_head cpu_timers[3] ;
2070 struct cred const *real_cred ;
2071 struct cred const *cred ;
2072 struct cred *replacement_session_keyring ;
2073 char comm[16] ;
2074 int link_count ;
2075 int total_link_count ;
2076 struct sysv_sem sysvsem ;
2077 unsigned long last_switch_count ;
2078 struct thread_struct thread ;
2079 struct fs_struct *fs ;
2080 struct files_struct *files ;
2081 struct nsproxy *nsproxy ;
2082 struct signal_struct *signal ;
2083 struct sighand_struct *sighand ;
2084 sigset_t blocked ;
2085 sigset_t real_blocked ;
2086 sigset_t saved_sigmask ;
2087 struct sigpending pending ;
2088 unsigned long sas_ss_sp ;
2089 size_t sas_ss_size ;
2090 int (*notifier)(void *priv ) ;
2091 void *notifier_data ;
2092 sigset_t *notifier_mask ;
2093 struct audit_context *audit_context ;
2094 uid_t loginuid ;
2095 unsigned int sessionid ;
2096 seccomp_t seccomp ;
2097 u32 parent_exec_id ;
2098 u32 self_exec_id ;
2099 spinlock_t alloc_lock ;
2100 raw_spinlock_t pi_lock ;
2101 struct plist_head pi_waiters ;
2102 struct rt_mutex_waiter *pi_blocked_on ;
2103 struct mutex_waiter *blocked_on ;
2104 unsigned int irq_events ;
2105 unsigned long hardirq_enable_ip ;
2106 unsigned long hardirq_disable_ip ;
2107 unsigned int hardirq_enable_event ;
2108 unsigned int hardirq_disable_event ;
2109 int hardirqs_enabled ;
2110 int hardirq_context ;
2111 unsigned long softirq_disable_ip ;
2112 unsigned long softirq_enable_ip ;
2113 unsigned int softirq_disable_event ;
2114 unsigned int softirq_enable_event ;
2115 int softirqs_enabled ;
2116 int softirq_context ;
2117 void *journal_info ;
2118 struct bio_list *bio_list ;
2119 struct blk_plug *plug ;
2120 struct reclaim_state *reclaim_state ;
2121 struct backing_dev_info *backing_dev_info ;
2122 struct io_context *io_context ;
2123 unsigned long ptrace_message ;
2124 siginfo_t *last_siginfo ;
2125 struct task_io_accounting ioac ;
2126 u64 acct_rss_mem1 ;
2127 u64 acct_vm_mem1 ;
2128 cputime_t acct_timexpd ;
2129 nodemask_t mems_allowed ;
2130 seqcount_t mems_allowed_seq ;
2131 int cpuset_mem_spread_rotor ;
2132 int cpuset_slab_spread_rotor ;
2133 struct css_set *cgroups ;
2134 struct list_head cg_list ;
2135 struct robust_list_head *robust_list ;
2136 struct compat_robust_list_head *compat_robust_list ;
2137 struct list_head pi_state_list ;
2138 struct futex_pi_state *pi_state_cache ;
2139 struct perf_event_context *perf_event_ctxp[2] ;
2140 struct mutex perf_event_mutex ;
2141 struct list_head perf_event_list ;
2142 struct mempolicy *mempolicy ;
2143 short il_next ;
2144 short pref_node_fork ;
2145 struct rcu_head rcu ;
2146 struct pipe_inode_info *splice_pipe ;
2147 struct task_delay_info *delays ;
2148 int make_it_fail ;
2149 int nr_dirtied ;
2150 int nr_dirtied_pause ;
2151 unsigned long dirty_paused_when ;
2152 int latency_record_count ;
2153 struct latency_record latency_record[32] ;
2154 unsigned long timer_slack_ns ;
2155 unsigned long default_timer_slack_ns ;
2156 struct list_head *scm_work_list ;
2157 unsigned long trace ;
2158 unsigned long trace_recursion ;
2159 struct memcg_batch_info memcg_batch ;
2160 atomic_t ptrace_bp_refcnt ;
2161};
2162#line 1681
2163struct pid_namespace;
2164#line 55 "include/linux/kthread.h"
2165struct kthread_work;
2166#line 55
2167struct kthread_work;
2168#line 58 "include/linux/kthread.h"
2169struct kthread_worker {
2170 spinlock_t lock ;
2171 struct list_head work_list ;
2172 struct task_struct *task ;
2173};
2174#line 64 "include/linux/kthread.h"
2175struct kthread_work {
2176 struct list_head node ;
2177 void (*func)(struct kthread_work *work ) ;
2178 wait_queue_head_t done ;
2179 atomic_t flushing ;
2180 int queue_seq ;
2181 int done_seq ;
2182};
2183#line 70 "include/linux/spi/spi.h"
2184struct spi_master;
2185#line 70 "include/linux/spi/spi.h"
2186struct spi_device {
2187 struct device dev ;
2188 struct spi_master *master ;
2189 u32 max_speed_hz ;
2190 u8 chip_select ;
2191 u8 mode ;
2192 u8 bits_per_word ;
2193 int irq ;
2194 void *controller_state ;
2195 void *controller_data ;
2196 char modalias[32] ;
2197};
2198#line 145
2199struct spi_message;
2200#line 145
2201struct spi_message;
2202#line 176 "include/linux/spi/spi.h"
2203struct spi_driver {
2204 struct spi_device_id const *id_table ;
2205 int (*probe)(struct spi_device *spi ) ;
2206 int (*remove)(struct spi_device *spi ) ;
2207 void (*shutdown)(struct spi_device *spi ) ;
2208 int (*suspend)(struct spi_device *spi , pm_message_t mesg ) ;
2209 int (*resume)(struct spi_device *spi ) ;
2210 struct device_driver driver ;
2211};
2212#line 272 "include/linux/spi/spi.h"
2213struct spi_master {
2214 struct device dev ;
2215 struct list_head list ;
2216 s16 bus_num ;
2217 u16 num_chipselect ;
2218 u16 dma_alignment ;
2219 u16 mode_bits ;
2220 u16 flags ;
2221 spinlock_t bus_lock_spinlock ;
2222 struct mutex bus_lock_mutex ;
2223 bool bus_lock_flag ;
2224 int (*setup)(struct spi_device *spi ) ;
2225 int (*transfer)(struct spi_device *spi , struct spi_message *mesg ) ;
2226 void (*cleanup)(struct spi_device *spi ) ;
2227 bool queued ;
2228 struct kthread_worker kworker ;
2229 struct task_struct *kworker_task ;
2230 struct kthread_work pump_messages ;
2231 spinlock_t queue_lock ;
2232 struct list_head queue ;
2233 struct spi_message *cur_msg ;
2234 bool busy ;
2235 bool running ;
2236 bool rt ;
2237 int (*prepare_transfer_hardware)(struct spi_master *master ) ;
2238 int (*transfer_one_message)(struct spi_master *master , struct spi_message *mesg ) ;
2239 int (*unprepare_transfer_hardware)(struct spi_master *master ) ;
2240};
2241#line 492 "include/linux/spi/spi.h"
2242struct spi_transfer {
2243 void const *tx_buf ;
2244 void *rx_buf ;
2245 unsigned int len ;
2246 dma_addr_t tx_dma ;
2247 dma_addr_t rx_dma ;
2248 unsigned int cs_change : 1 ;
2249 u8 bits_per_word ;
2250 u16 delay_usecs ;
2251 u32 speed_hz ;
2252 struct list_head transfer_list ;
2253};
2254#line 541 "include/linux/spi/spi.h"
2255struct spi_message {
2256 struct list_head transfers ;
2257 struct spi_device *spi ;
2258 unsigned int is_dma_mapped : 1 ;
2259 void (*complete)(void *context ) ;
2260 void *context ;
2261 unsigned int actual_length ;
2262 int status ;
2263 struct list_head queue ;
2264 void *state ;
2265};
2266#line 38 "include/linux/regulator/consumer.h"
2267struct device;
2268#line 109
2269struct regulator;
2270#line 109
2271struct regulator;
2272#line 48 "include/linux/kmod.h"
2273struct cred;
2274#line 49
2275struct file;
2276#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
2277struct task_struct;
2278#line 18 "include/linux/elf.h"
2279typedef __u64 Elf64_Addr;
2280#line 19 "include/linux/elf.h"
2281typedef __u16 Elf64_Half;
2282#line 23 "include/linux/elf.h"
2283typedef __u32 Elf64_Word;
2284#line 24 "include/linux/elf.h"
2285typedef __u64 Elf64_Xword;
2286#line 194 "include/linux/elf.h"
2287struct elf64_sym {
2288 Elf64_Word st_name ;
2289 unsigned char st_info ;
2290 unsigned char st_other ;
2291 Elf64_Half st_shndx ;
2292 Elf64_Addr st_value ;
2293 Elf64_Xword st_size ;
2294};
2295#line 194 "include/linux/elf.h"
2296typedef struct elf64_sym Elf64_Sym;
2297#line 438
2298struct file;
2299#line 39 "include/linux/moduleparam.h"
2300struct kernel_param;
2301#line 39
2302struct kernel_param;
2303#line 41 "include/linux/moduleparam.h"
2304struct kernel_param_ops {
2305 int (*set)(char const *val , struct kernel_param const *kp ) ;
2306 int (*get)(char *buffer , struct kernel_param const *kp ) ;
2307 void (*free)(void *arg ) ;
2308};
2309#line 50
2310struct kparam_string;
2311#line 50
2312struct kparam_array;
2313#line 50 "include/linux/moduleparam.h"
2314union __anonunion____missing_field_name_230 {
2315 void *arg ;
2316 struct kparam_string const *str ;
2317 struct kparam_array const *arr ;
2318};
2319#line 50 "include/linux/moduleparam.h"
2320struct kernel_param {
2321 char const *name ;
2322 struct kernel_param_ops const *ops ;
2323 u16 perm ;
2324 s16 level ;
2325 union __anonunion____missing_field_name_230 __annonCompField43 ;
2326};
2327#line 63 "include/linux/moduleparam.h"
2328struct kparam_string {
2329 unsigned int maxlen ;
2330 char *string ;
2331};
2332#line 69 "include/linux/moduleparam.h"
2333struct kparam_array {
2334 unsigned int max ;
2335 unsigned int elemsize ;
2336 unsigned int *num ;
2337 struct kernel_param_ops const *ops ;
2338 void *elem ;
2339};
2340#line 445
2341struct module;
2342#line 80 "include/linux/jump_label.h"
2343struct module;
2344#line 143 "include/linux/jump_label.h"
2345struct static_key {
2346 atomic_t enabled ;
2347};
2348#line 22 "include/linux/tracepoint.h"
2349struct module;
2350#line 23
2351struct tracepoint;
2352#line 23
2353struct tracepoint;
2354#line 25 "include/linux/tracepoint.h"
2355struct tracepoint_func {
2356 void *func ;
2357 void *data ;
2358};
2359#line 30 "include/linux/tracepoint.h"
2360struct tracepoint {
2361 char const *name ;
2362 struct static_key key ;
2363 void (*regfunc)(void) ;
2364 void (*unregfunc)(void) ;
2365 struct tracepoint_func *funcs ;
2366};
2367#line 19 "include/linux/export.h"
2368struct kernel_symbol {
2369 unsigned long value ;
2370 char const *name ;
2371};
2372#line 8 "include/asm-generic/module.h"
2373struct mod_arch_specific {
2374
2375};
2376#line 35 "include/linux/module.h"
2377struct module;
2378#line 37
2379struct module_param_attrs;
2380#line 37 "include/linux/module.h"
2381struct module_kobject {
2382 struct kobject kobj ;
2383 struct module *mod ;
2384 struct kobject *drivers_dir ;
2385 struct module_param_attrs *mp ;
2386};
2387#line 44 "include/linux/module.h"
2388struct module_attribute {
2389 struct attribute attr ;
2390 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
2391 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
2392 size_t count ) ;
2393 void (*setup)(struct module * , char const * ) ;
2394 int (*test)(struct module * ) ;
2395 void (*free)(struct module * ) ;
2396};
2397#line 71
2398struct exception_table_entry;
2399#line 71
2400struct exception_table_entry;
2401#line 199
2402enum module_state {
2403 MODULE_STATE_LIVE = 0,
2404 MODULE_STATE_COMING = 1,
2405 MODULE_STATE_GOING = 2
2406} ;
2407#line 215 "include/linux/module.h"
2408struct module_ref {
2409 unsigned long incs ;
2410 unsigned long decs ;
2411} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2412#line 220
2413struct module_sect_attrs;
2414#line 220
2415struct module_notes_attrs;
2416#line 220
2417struct ftrace_event_call;
2418#line 220 "include/linux/module.h"
2419struct module {
2420 enum module_state state ;
2421 struct list_head list ;
2422 char name[64UL - sizeof(unsigned long )] ;
2423 struct module_kobject mkobj ;
2424 struct module_attribute *modinfo_attrs ;
2425 char const *version ;
2426 char const *srcversion ;
2427 struct kobject *holders_dir ;
2428 struct kernel_symbol const *syms ;
2429 unsigned long const *crcs ;
2430 unsigned int num_syms ;
2431 struct kernel_param *kp ;
2432 unsigned int num_kp ;
2433 unsigned int num_gpl_syms ;
2434 struct kernel_symbol const *gpl_syms ;
2435 unsigned long const *gpl_crcs ;
2436 struct kernel_symbol const *unused_syms ;
2437 unsigned long const *unused_crcs ;
2438 unsigned int num_unused_syms ;
2439 unsigned int num_unused_gpl_syms ;
2440 struct kernel_symbol const *unused_gpl_syms ;
2441 unsigned long const *unused_gpl_crcs ;
2442 struct kernel_symbol const *gpl_future_syms ;
2443 unsigned long const *gpl_future_crcs ;
2444 unsigned int num_gpl_future_syms ;
2445 unsigned int num_exentries ;
2446 struct exception_table_entry *extable ;
2447 int (*init)(void) ;
2448 void *module_init ;
2449 void *module_core ;
2450 unsigned int init_size ;
2451 unsigned int core_size ;
2452 unsigned int init_text_size ;
2453 unsigned int core_text_size ;
2454 unsigned int init_ro_size ;
2455 unsigned int core_ro_size ;
2456 struct mod_arch_specific arch ;
2457 unsigned int taints ;
2458 unsigned int num_bugs ;
2459 struct list_head bug_list ;
2460 struct bug_entry *bug_table ;
2461 Elf64_Sym *symtab ;
2462 Elf64_Sym *core_symtab ;
2463 unsigned int num_symtab ;
2464 unsigned int core_num_syms ;
2465 char *strtab ;
2466 char *core_strtab ;
2467 struct module_sect_attrs *sect_attrs ;
2468 struct module_notes_attrs *notes_attrs ;
2469 char *args ;
2470 void *percpu ;
2471 unsigned int percpu_size ;
2472 unsigned int num_tracepoints ;
2473 struct tracepoint * const *tracepoints_ptrs ;
2474 unsigned int num_trace_bprintk_fmt ;
2475 char const **trace_bprintk_fmt_start ;
2476 struct ftrace_event_call **trace_events ;
2477 unsigned int num_trace_events ;
2478 struct list_head source_list ;
2479 struct list_head target_list ;
2480 struct task_struct *waiter ;
2481 void (*exit)(void) ;
2482 struct module_ref *refptr ;
2483 ctor_fn_t *ctors ;
2484 unsigned int num_ctors ;
2485};
2486#line 8 "include/linux/cdev.h"
2487struct file_operations;
2488#line 8
2489struct file_operations;
2490#line 10
2491struct module;
2492#line 12 "include/linux/cdev.h"
2493struct cdev {
2494 struct kobject kobj ;
2495 struct module *owner ;
2496 struct file_operations const *ops ;
2497 struct list_head list ;
2498 dev_t dev ;
2499 unsigned int count ;
2500};
2501#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../types.h"
2502enum iio_chan_type {
2503 IIO_VOLTAGE = 0,
2504 IIO_CURRENT = 1,
2505 IIO_POWER = 2,
2506 IIO_ACCEL = 3,
2507 IIO_ANGL_VEL = 4,
2508 IIO_MAGN = 5,
2509 IIO_LIGHT = 6,
2510 IIO_INTENSITY = 7,
2511 IIO_PROXIMITY = 8,
2512 IIO_TEMP = 9,
2513 IIO_INCLI = 10,
2514 IIO_ROT = 11,
2515 IIO_ANGL = 12,
2516 IIO_TIMESTAMP = 13,
2517 IIO_CAPACITANCE = 14
2518} ;
2519#line 85 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2520enum iio_endian {
2521 IIO_CPU = 0,
2522 IIO_BE = 1,
2523 IIO_LE = 2
2524} ;
2525#line 91
2526struct iio_chan_spec;
2527#line 91
2528struct iio_chan_spec;
2529#line 92
2530struct iio_dev;
2531#line 92
2532struct iio_dev;
2533#line 101 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2534struct iio_chan_spec_ext_info {
2535 char const *name ;
2536 bool shared ;
2537 ssize_t (*read)(struct iio_dev * , struct iio_chan_spec const * , char *buf ) ;
2538 ssize_t (*write)(struct iio_dev * , struct iio_chan_spec const * , char const *buf ,
2539 size_t len ) ;
2540};
2541#line 151 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2542struct __anonstruct_scan_type_232 {
2543 char sign ;
2544 u8 realbits ;
2545 u8 storagebits ;
2546 u8 shift ;
2547 enum iio_endian endianness ;
2548};
2549#line 151 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2550struct iio_chan_spec {
2551 enum iio_chan_type type ;
2552 int channel ;
2553 int channel2 ;
2554 unsigned long address ;
2555 int scan_index ;
2556 struct __anonstruct_scan_type_232 scan_type ;
2557 long info_mask ;
2558 long event_mask ;
2559 struct iio_chan_spec_ext_info const *ext_info ;
2560 char *extend_name ;
2561 char const *datasheet_name ;
2562 unsigned int processed_val : 1 ;
2563 unsigned int modified : 1 ;
2564 unsigned int indexed : 1 ;
2565 unsigned int output : 1 ;
2566 unsigned int differential : 1 ;
2567};
2568#line 223
2569struct iio_trigger;
2570#line 223
2571struct iio_trigger;
2572#line 224
2573struct iio_dev;
2574#line 251 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2575struct iio_info {
2576 struct module *driver_module ;
2577 struct attribute_group *event_attrs ;
2578 struct attribute_group const *attrs ;
2579 int (*read_raw)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan ,
2580 int *val , int *val2 , long mask ) ;
2581 int (*write_raw)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan ,
2582 int val , int val2 , long mask ) ;
2583 int (*write_raw_get_fmt)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan ,
2584 long mask ) ;
2585 int (*read_event_config)(struct iio_dev *indio_dev , u64 event_code ) ;
2586 int (*write_event_config)(struct iio_dev *indio_dev , u64 event_code , int state ) ;
2587 int (*read_event_value)(struct iio_dev *indio_dev , u64 event_code , int *val ) ;
2588 int (*write_event_value)(struct iio_dev *indio_dev , u64 event_code , int val ) ;
2589 int (*validate_trigger)(struct iio_dev *indio_dev , struct iio_trigger *trig ) ;
2590 int (*update_scan_mode)(struct iio_dev *indio_dev , unsigned long const *scan_mask ) ;
2591 int (*debugfs_reg_access)(struct iio_dev *indio_dev , unsigned int reg , unsigned int writeval ,
2592 unsigned int *readval ) ;
2593};
2594#line 302 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2595struct iio_buffer_setup_ops {
2596 int (*preenable)(struct iio_dev * ) ;
2597 int (*postenable)(struct iio_dev * ) ;
2598 int (*predisable)(struct iio_dev * ) ;
2599 int (*postdisable)(struct iio_dev * ) ;
2600};
2601#line 341
2602struct iio_event_interface;
2603#line 341
2604struct iio_buffer;
2605#line 341
2606struct iio_poll_func;
2607#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2608struct iio_dev {
2609 int id ;
2610 int modes ;
2611 int currentmode ;
2612 struct device dev ;
2613 struct iio_event_interface *event_interface ;
2614 struct iio_buffer *buffer ;
2615 struct mutex mlock ;
2616 unsigned long const *available_scan_masks ;
2617 unsigned int masklength ;
2618 unsigned long const *active_scan_mask ;
2619 struct iio_trigger *trig ;
2620 struct iio_poll_func *pollfunc ;
2621 struct iio_chan_spec const *channels ;
2622 int num_channels ;
2623 struct list_head channel_attr_list ;
2624 struct attribute_group chan_attr_group ;
2625 char const *name ;
2626 struct iio_info const *info ;
2627 struct mutex info_exist_lock ;
2628 struct iio_buffer_setup_ops const *setup_ops ;
2629 struct cdev chrdev ;
2630 struct attribute_group const *groups[7] ;
2631 int groupcounter ;
2632 unsigned long flags ;
2633 struct dentry *debugfs_dentry ;
2634 unsigned int cached_reg_addr ;
2635};
2636#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../sysfs.h"
2637struct iio_chan_spec;
2638#line 23 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../sysfs.h"
2639struct iio_dev_attr {
2640 struct device_attribute dev_attr ;
2641 u64 address ;
2642 struct list_head l ;
2643 struct iio_chan_spec const *c ;
2644};
2645#line 43 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../sysfs.h"
2646struct iio_const_attr {
2647 char const *string ;
2648 struct device_attribute dev_attr ;
2649};
2650#line 77 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/ad9832.h"
2651union __anonunion____missing_field_name_233 {
2652 unsigned short freq_data[4] __attribute__((__aligned__((1) << (6) ))) ;
2653 unsigned short phase_data[2] ;
2654 unsigned short data ;
2655};
2656#line 77 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/ad9832.h"
2657struct ad9832_state {
2658 struct spi_device *spi ;
2659 struct regulator *reg ;
2660 unsigned long mclk ;
2661 unsigned short ctrl_fp ;
2662 unsigned short ctrl_ss ;
2663 unsigned short ctrl_src ;
2664 struct spi_transfer xfer ;
2665 struct spi_message msg ;
2666 struct spi_transfer freq_xfer[4] ;
2667 struct spi_message freq_msg ;
2668 struct spi_transfer phase_xfer[2] ;
2669 struct spi_message phase_msg ;
2670 union __anonunion____missing_field_name_233 __annonCompField44 ;
2671};
2672#line 116 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/ad9832.h"
2673struct ad9832_platform_data {
2674 unsigned long mclk ;
2675 unsigned long freq0 ;
2676 unsigned long freq1 ;
2677 unsigned short phase0 ;
2678 unsigned short phase1 ;
2679 unsigned short phase2 ;
2680 unsigned short phase3 ;
2681};
2682#line 1 "<compiler builtins>"
2683long __builtin_expect(long val , long res ) ;
2684#line 24 "include/linux/list.h"
2685__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ;
2686#line 24 "include/linux/list.h"
2687__inline static void INIT_LIST_HEAD(struct list_head *list )
2688{ unsigned long __cil_tmp2 ;
2689 unsigned long __cil_tmp3 ;
2690
2691 {
2692#line 26
2693 *((struct list_head **)list) = list;
2694#line 27
2695 __cil_tmp2 = (unsigned long )list;
2696#line 27
2697 __cil_tmp3 = __cil_tmp2 + 8;
2698#line 27
2699 *((struct list_head **)__cil_tmp3) = list;
2700#line 28
2701 return;
2702}
2703}
2704#line 47
2705extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ;
2706#line 74
2707__inline static void list_add_tail(struct list_head *new , struct list_head *head ) __attribute__((__no_instrument_function__)) ;
2708#line 74 "include/linux/list.h"
2709__inline static void list_add_tail(struct list_head *new , struct list_head *head )
2710{ unsigned long __cil_tmp3 ;
2711 unsigned long __cil_tmp4 ;
2712 struct list_head *__cil_tmp5 ;
2713
2714 {
2715 {
2716#line 76
2717 __cil_tmp3 = (unsigned long )head;
2718#line 76
2719 __cil_tmp4 = __cil_tmp3 + 8;
2720#line 76
2721 __cil_tmp5 = *((struct list_head **)__cil_tmp4);
2722#line 76
2723 __list_add(new, __cil_tmp5, head);
2724 }
2725#line 77
2726 return;
2727}
2728}
2729#line 46 "include/linux/swab.h"
2730__inline static __u16 __fswab16(__u16 val ) __attribute__((__no_instrument_function__,
2731__const__)) ;
2732#line 46 "include/linux/swab.h"
2733__inline static __u16 __fswab16(__u16 val )
2734{ int __cil_tmp2 ;
2735 int __cil_tmp3 ;
2736 int __cil_tmp4 ;
2737 int __cil_tmp5 ;
2738 int __cil_tmp6 ;
2739 int __cil_tmp7 ;
2740 int __cil_tmp8 ;
2741
2742 {
2743 {
2744#line 51
2745 __cil_tmp2 = (int )val;
2746#line 51
2747 __cil_tmp3 = __cil_tmp2 & 65280;
2748#line 51
2749 __cil_tmp4 = __cil_tmp3 >> 8;
2750#line 51
2751 __cil_tmp5 = (int )val;
2752#line 51
2753 __cil_tmp6 = __cil_tmp5 & 255;
2754#line 51
2755 __cil_tmp7 = __cil_tmp6 << 8;
2756#line 51
2757 __cil_tmp8 = __cil_tmp7 | __cil_tmp4;
2758#line 51
2759 return ((__u16 )__cil_tmp8);
2760 }
2761}
2762}
2763#line 49 "include/linux/dynamic_debug.h"
2764extern int ( __dynamic_dev_dbg)(struct _ddebug *descriptor ,
2765 struct device const *dev ,
2766 char const *fmt , ...) ;
2767#line 215 "include/linux/kernel.h"
2768extern int __attribute__((__warn_unused_result__)) _kstrtoul(char const *s , unsigned int base ,
2769 unsigned long *res ) ;
2770#line 218
2771extern int __attribute__((__warn_unused_result__)) kstrtoull(char const *s , unsigned int base ,
2772 unsigned long long *res ) ;
2773#line 220
2774__inline static int __attribute__((__warn_unused_result__)) kstrtoul(char const *s ,
2775 unsigned int base ,
2776 unsigned long *res ) __attribute__((__no_instrument_function__)) ;
2777#line 220 "include/linux/kernel.h"
2778__inline static int __attribute__((__warn_unused_result__)) kstrtoul(char const *s ,
2779 unsigned int base ,
2780 unsigned long *res )
2781{ int tmp ;
2782 int tmp___0 ;
2783 unsigned long long *__cil_tmp6 ;
2784
2785 {
2786#line 226
2787 if (8UL == 8UL) {
2788#line 226
2789 if (8UL == 8UL) {
2790 {
2791#line 228
2792 __cil_tmp6 = (unsigned long long *)res;
2793#line 228
2794 tmp = (int )kstrtoull(s, base, __cil_tmp6);
2795 }
2796#line 228
2797 return (tmp);
2798 } else {
2799 {
2800#line 230
2801 tmp___0 = (int )_kstrtoul(s, base, res);
2802 }
2803#line 230
2804 return (tmp___0);
2805 }
2806 } else {
2807 {
2808#line 230
2809 tmp___0 = (int )_kstrtoul(s, base, res);
2810 }
2811#line 230
2812 return (tmp___0);
2813 }
2814}
2815}
2816#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
2817extern void *memset(void *s , int c , size_t n ) ;
2818#line 32 "include/linux/err.h"
2819__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
2820#line 32 "include/linux/err.h"
2821__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr )
2822{ long tmp ;
2823 unsigned long __cil_tmp3 ;
2824 int __cil_tmp4 ;
2825 int __cil_tmp5 ;
2826 int __cil_tmp6 ;
2827 long __cil_tmp7 ;
2828
2829 {
2830 {
2831#line 34
2832 __cil_tmp3 = (unsigned long )ptr;
2833#line 34
2834 __cil_tmp4 = __cil_tmp3 >= 0xfffffffffffff001UL;
2835#line 34
2836 __cil_tmp5 = ! __cil_tmp4;
2837#line 34
2838 __cil_tmp6 = ! __cil_tmp5;
2839#line 34
2840 __cil_tmp7 = (long )__cil_tmp6;
2841#line 34
2842 tmp = __builtin_expect(__cil_tmp7, 0L);
2843 }
2844#line 34
2845 return (tmp);
2846}
2847}
2848#line 152 "include/linux/mutex.h"
2849void mutex_lock(struct mutex *lock ) ;
2850#line 153
2851int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2852#line 154
2853int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2854#line 168
2855int mutex_trylock(struct mutex *lock ) ;
2856#line 169
2857void mutex_unlock(struct mutex *lock ) ;
2858#line 170
2859int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2860#line 239 "include/linux/device.h"
2861extern void driver_unregister(struct device_driver *drv ) ;
2862#line 792
2863extern void *dev_get_drvdata(struct device const *dev ) ;
2864#line 793
2865extern int dev_set_drvdata(struct device *dev , void *data ) ;
2866#line 891
2867extern int ( dev_err)(struct device const *dev , char const *fmt
2868 , ...) ;
2869#line 135 "include/linux/spi/spi.h"
2870__inline static void spi_set_drvdata(struct spi_device *spi , void *data ) __attribute__((__no_instrument_function__)) ;
2871#line 135 "include/linux/spi/spi.h"
2872__inline static void spi_set_drvdata(struct spi_device *spi , void *data )
2873{ struct device *__cil_tmp3 ;
2874
2875 {
2876 {
2877#line 137
2878 __cil_tmp3 = (struct device *)spi;
2879#line 137
2880 dev_set_drvdata(__cil_tmp3, data);
2881 }
2882#line 138
2883 return;
2884}
2885}
2886#line 140
2887__inline static void *spi_get_drvdata(struct spi_device *spi ) __attribute__((__no_instrument_function__)) ;
2888#line 140 "include/linux/spi/spi.h"
2889__inline static void *spi_get_drvdata(struct spi_device *spi )
2890{ void *tmp___7 ;
2891 struct device *__cil_tmp3 ;
2892 struct device const *__cil_tmp4 ;
2893
2894 {
2895 {
2896#line 142
2897 __cil_tmp3 = (struct device *)spi;
2898#line 142
2899 __cil_tmp4 = (struct device const *)__cil_tmp3;
2900#line 142
2901 tmp___7 = dev_get_drvdata(__cil_tmp4);
2902 }
2903#line 142
2904 return (tmp___7);
2905}
2906}
2907#line 191
2908extern int spi_register_driver(struct spi_driver *sdrv ) ;
2909#line 198
2910__inline static void spi_unregister_driver(struct spi_driver *sdrv ) __attribute__((__no_instrument_function__)) ;
2911#line 198 "include/linux/spi/spi.h"
2912__inline static void spi_unregister_driver(struct spi_driver *sdrv )
2913{ unsigned long __cil_tmp2 ;
2914 unsigned long __cil_tmp3 ;
2915 struct device_driver *__cil_tmp4 ;
2916
2917 {
2918#line 200
2919 if (sdrv) {
2920 {
2921#line 201
2922 __cil_tmp2 = (unsigned long )sdrv;
2923#line 201
2924 __cil_tmp3 = __cil_tmp2 + 48;
2925#line 201
2926 __cil_tmp4 = (struct device_driver *)__cil_tmp3;
2927#line 201
2928 driver_unregister(__cil_tmp4);
2929 }
2930 } else {
2931
2932 }
2933#line 202
2934 return;
2935}
2936}
2937#line 573
2938__inline static void spi_message_init(struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2939#line 573 "include/linux/spi/spi.h"
2940__inline static void spi_message_init(struct spi_message *m )
2941{ void *__cil_tmp2 ;
2942 struct list_head *__cil_tmp3 ;
2943
2944 {
2945 {
2946#line 575
2947 __cil_tmp2 = (void *)m;
2948#line 575
2949 memset(__cil_tmp2, 0, 80UL);
2950#line 576
2951 __cil_tmp3 = (struct list_head *)m;
2952#line 576
2953 INIT_LIST_HEAD(__cil_tmp3);
2954 }
2955#line 577
2956 return;
2957}
2958}
2959#line 579
2960__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2961#line 579 "include/linux/spi/spi.h"
2962__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m )
2963{ unsigned long __cil_tmp3 ;
2964 unsigned long __cil_tmp4 ;
2965 struct list_head *__cil_tmp5 ;
2966 struct list_head *__cil_tmp6 ;
2967
2968 {
2969 {
2970#line 582
2971 __cil_tmp3 = (unsigned long )t;
2972#line 582
2973 __cil_tmp4 = __cil_tmp3 + 48;
2974#line 582
2975 __cil_tmp5 = (struct list_head *)__cil_tmp4;
2976#line 582
2977 __cil_tmp6 = (struct list_head *)m;
2978#line 582
2979 list_add_tail(__cil_tmp5, __cil_tmp6);
2980 }
2981#line 583
2982 return;
2983}
2984}
2985#line 630
2986extern int spi_sync(struct spi_device *spi , struct spi_message *message ) ;
2987#line 856
2988extern struct spi_device_id const *spi_get_device_id(struct spi_device const *sdev ) ;
2989#line 134 "include/linux/regulator/consumer.h"
2990extern struct regulator * __attribute__((__warn_unused_result__)) regulator_get(struct device *dev ,
2991 char const *id ) ;
2992#line 140
2993extern void regulator_put(struct regulator *regulator ) ;
2994#line 144
2995extern int regulator_enable(struct regulator *regulator ) ;
2996#line 145
2997extern int regulator_disable(struct regulator *regulator ) ;
2998#line 26 "include/linux/export.h"
2999extern struct module __this_module ;
3000#line 67 "include/linux/module.h"
3001int init_module(void) ;
3002#line 68
3003void cleanup_module(void) ;
3004#line 392 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
3005extern int iio_device_register(struct iio_dev *indio_dev ) ;
3006#line 398
3007extern void iio_device_unregister(struct iio_dev *indio_dev ) ;
3008#line 426
3009extern struct iio_dev *iio_allocate_device(int sizeof_priv ) ;
3010#line 428
3011__inline static void *iio_priv(struct iio_dev const *indio_dev ) __attribute__((__no_instrument_function__)) ;
3012#line 428 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
3013__inline static void *iio_priv(struct iio_dev const *indio_dev )
3014{ int __cil_tmp2 ;
3015 unsigned long __cil_tmp3 ;
3016 unsigned long __cil_tmp4 ;
3017 unsigned long __cil_tmp5 ;
3018 int __cil_tmp6 ;
3019 unsigned long __cil_tmp7 ;
3020 unsigned long __cil_tmp8 ;
3021 unsigned long __cil_tmp9 ;
3022 unsigned long __cil_tmp10 ;
3023 char *__cil_tmp11 ;
3024 char *__cil_tmp12 ;
3025
3026 {
3027 {
3028#line 430
3029 __cil_tmp2 = 1 << 6;
3030#line 430
3031 __cil_tmp3 = (unsigned long )__cil_tmp2;
3032#line 430
3033 __cil_tmp4 = __cil_tmp3 - 1UL;
3034#line 430
3035 __cil_tmp5 = ~ __cil_tmp4;
3036#line 430
3037 __cil_tmp6 = 1 << 6;
3038#line 430
3039 __cil_tmp7 = (unsigned long )__cil_tmp6;
3040#line 430
3041 __cil_tmp8 = __cil_tmp7 - 1UL;
3042#line 430
3043 __cil_tmp9 = 1256UL + __cil_tmp8;
3044#line 430
3045 __cil_tmp10 = __cil_tmp9 & __cil_tmp5;
3046#line 430
3047 __cil_tmp11 = (char *)indio_dev;
3048#line 430
3049 __cil_tmp12 = __cil_tmp11 + __cil_tmp10;
3050#line 430
3051 return ((void *)__cil_tmp12);
3052 }
3053}
3054}
3055#line 443
3056extern void iio_free_device(struct iio_dev *indio_dev ) ;
3057#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../sysfs.h"
3058extern ssize_t iio_read_const_attr(struct device *dev , struct device_attribute *attr ,
3059 char *len ) ;
3060#line 26 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
3061static unsigned long ad9832_calc_freqreg(unsigned long mclk , unsigned long fout )
3062{ unsigned long long freqreg ;
3063 uint32_t __base ;
3064 uint32_t __rem ;
3065 u64 __cil_tmp6 ;
3066 u64 __cil_tmp7 ;
3067 unsigned long long __cil_tmp8 ;
3068 unsigned long long __cil_tmp9 ;
3069 uint64_t __cil_tmp10 ;
3070
3071 {
3072#line 28
3073 __cil_tmp6 = 1ULL << 32;
3074#line 28
3075 __cil_tmp7 = (u64 )fout;
3076#line 28
3077 freqreg = __cil_tmp7 * __cil_tmp6;
3078#line 30
3079 __base = (uint32_t )mclk;
3080#line 30
3081 __cil_tmp8 = (unsigned long long )__base;
3082#line 30
3083 __cil_tmp9 = freqreg % __cil_tmp8;
3084#line 30
3085 __rem = (uint32_t )__cil_tmp9;
3086#line 30
3087 __cil_tmp10 = (uint64_t )__base;
3088#line 30
3089 freqreg = freqreg / __cil_tmp10;
3090#line 31
3091 return ((unsigned long )freqreg);
3092}
3093}
3094#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
3095static int ad9832_write_frequency(struct ad9832_state *st , unsigned int addr , unsigned long fout )
3096{ unsigned long regval ;
3097 __u16 tmp___7 ;
3098 __u16 tmp___8 ;
3099 __u16 tmp___9 ;
3100 __u16 tmp___10 ;
3101 int tmp___11 ;
3102 unsigned long __cil_tmp10 ;
3103 unsigned long __cil_tmp11 ;
3104 unsigned long __cil_tmp12 ;
3105 unsigned long __cil_tmp13 ;
3106 unsigned long __cil_tmp14 ;
3107 unsigned long __cil_tmp15 ;
3108 unsigned long __cil_tmp16 ;
3109 unsigned long __cil_tmp17 ;
3110 unsigned long __cil_tmp18 ;
3111 unsigned int __cil_tmp19 ;
3112 int __cil_tmp20 ;
3113 unsigned int __cil_tmp21 ;
3114 unsigned int __cil_tmp22 ;
3115 unsigned long __cil_tmp23 ;
3116 unsigned long __cil_tmp24 ;
3117 __u16 __cil_tmp25 ;
3118 unsigned long __cil_tmp26 ;
3119 unsigned long __cil_tmp27 ;
3120 unsigned long __cil_tmp28 ;
3121 unsigned long __cil_tmp29 ;
3122 unsigned long __cil_tmp30 ;
3123 int __cil_tmp31 ;
3124 unsigned long __cil_tmp32 ;
3125 unsigned long __cil_tmp33 ;
3126 unsigned int __cil_tmp34 ;
3127 unsigned int __cil_tmp35 ;
3128 int __cil_tmp36 ;
3129 unsigned int __cil_tmp37 ;
3130 unsigned int __cil_tmp38 ;
3131 unsigned long __cil_tmp39 ;
3132 unsigned long __cil_tmp40 ;
3133 __u16 __cil_tmp41 ;
3134 unsigned long __cil_tmp42 ;
3135 unsigned long __cil_tmp43 ;
3136 unsigned long __cil_tmp44 ;
3137 unsigned long __cil_tmp45 ;
3138 unsigned long __cil_tmp46 ;
3139 int __cil_tmp47 ;
3140 unsigned long __cil_tmp48 ;
3141 unsigned long __cil_tmp49 ;
3142 unsigned int __cil_tmp50 ;
3143 unsigned int __cil_tmp51 ;
3144 int __cil_tmp52 ;
3145 unsigned int __cil_tmp53 ;
3146 unsigned int __cil_tmp54 ;
3147 unsigned long __cil_tmp55 ;
3148 unsigned long __cil_tmp56 ;
3149 __u16 __cil_tmp57 ;
3150 unsigned long __cil_tmp58 ;
3151 unsigned long __cil_tmp59 ;
3152 unsigned long __cil_tmp60 ;
3153 unsigned long __cil_tmp61 ;
3154 unsigned long __cil_tmp62 ;
3155 int __cil_tmp63 ;
3156 unsigned long __cil_tmp64 ;
3157 unsigned int __cil_tmp65 ;
3158 unsigned int __cil_tmp66 ;
3159 int __cil_tmp67 ;
3160 unsigned int __cil_tmp68 ;
3161 unsigned int __cil_tmp69 ;
3162 unsigned long __cil_tmp70 ;
3163 unsigned long __cil_tmp71 ;
3164 __u16 __cil_tmp72 ;
3165 unsigned long __cil_tmp73 ;
3166 unsigned long __cil_tmp74 ;
3167 unsigned long __cil_tmp75 ;
3168 unsigned long __cil_tmp76 ;
3169 unsigned long __cil_tmp77 ;
3170 int __cil_tmp78 ;
3171 struct spi_device *__cil_tmp79 ;
3172 unsigned long __cil_tmp80 ;
3173 unsigned long __cil_tmp81 ;
3174 struct spi_message *__cil_tmp82 ;
3175
3176 {
3177 {
3178#line 39
3179 __cil_tmp10 = (unsigned long )st;
3180#line 39
3181 __cil_tmp11 = __cil_tmp10 + 16;
3182#line 39
3183 __cil_tmp12 = *((unsigned long *)__cil_tmp11);
3184#line 39
3185 __cil_tmp13 = __cil_tmp12 / 2UL;
3186#line 39
3187 if (fout > __cil_tmp13) {
3188#line 40
3189 return (-22);
3190 } else {
3191
3192 }
3193 }
3194 {
3195#line 42
3196 __cil_tmp14 = (unsigned long )st;
3197#line 42
3198 __cil_tmp15 = __cil_tmp14 + 16;
3199#line 42
3200 __cil_tmp16 = *((unsigned long *)__cil_tmp15);
3201#line 42
3202 regval = ad9832_calc_freqreg(__cil_tmp16, fout);
3203#line 44
3204 __cil_tmp17 = regval >> 24;
3205#line 44
3206 __cil_tmp18 = __cil_tmp17 & 255UL;
3207#line 44
3208 __cil_tmp19 = addr << 8;
3209#line 44
3210 __cil_tmp20 = 3 << 12;
3211#line 44
3212 __cil_tmp21 = (unsigned int )__cil_tmp20;
3213#line 44
3214 __cil_tmp22 = __cil_tmp21 | __cil_tmp19;
3215#line 44
3216 __cil_tmp23 = (unsigned long )__cil_tmp22;
3217#line 44
3218 __cil_tmp24 = __cil_tmp23 | __cil_tmp18;
3219#line 44
3220 __cil_tmp25 = (__u16 )__cil_tmp24;
3221#line 44
3222 tmp___7 = __fswab16(__cil_tmp25);
3223#line 44
3224 __cil_tmp26 = 0 * 2UL;
3225#line 44
3226 __cil_tmp27 = 0 + __cil_tmp26;
3227#line 44
3228 __cil_tmp28 = 720 + __cil_tmp27;
3229#line 44
3230 __cil_tmp29 = (unsigned long )st;
3231#line 44
3232 __cil_tmp30 = __cil_tmp29 + __cil_tmp28;
3233#line 44
3234 __cil_tmp31 = (int )tmp___7;
3235#line 44
3236 *((unsigned short *)__cil_tmp30) = (__be16 )__cil_tmp31;
3237#line 47
3238 __cil_tmp32 = regval >> 16;
3239#line 47
3240 __cil_tmp33 = __cil_tmp32 & 255UL;
3241#line 47
3242 __cil_tmp34 = addr - 1U;
3243#line 47
3244 __cil_tmp35 = __cil_tmp34 << 8;
3245#line 47
3246 __cil_tmp36 = 2 << 12;
3247#line 47
3248 __cil_tmp37 = (unsigned int )__cil_tmp36;
3249#line 47
3250 __cil_tmp38 = __cil_tmp37 | __cil_tmp35;
3251#line 47
3252 __cil_tmp39 = (unsigned long )__cil_tmp38;
3253#line 47
3254 __cil_tmp40 = __cil_tmp39 | __cil_tmp33;
3255#line 47
3256 __cil_tmp41 = (__u16 )__cil_tmp40;
3257#line 47
3258 tmp___8 = __fswab16(__cil_tmp41);
3259#line 47
3260 __cil_tmp42 = 1 * 2UL;
3261#line 47
3262 __cil_tmp43 = 0 + __cil_tmp42;
3263#line 47
3264 __cil_tmp44 = 720 + __cil_tmp43;
3265#line 47
3266 __cil_tmp45 = (unsigned long )st;
3267#line 47
3268 __cil_tmp46 = __cil_tmp45 + __cil_tmp44;
3269#line 47
3270 __cil_tmp47 = (int )tmp___8;
3271#line 47
3272 *((unsigned short *)__cil_tmp46) = (__be16 )__cil_tmp47;
3273#line 50
3274 __cil_tmp48 = regval >> 8;
3275#line 50
3276 __cil_tmp49 = __cil_tmp48 & 255UL;
3277#line 50
3278 __cil_tmp50 = addr - 2U;
3279#line 50
3280 __cil_tmp51 = __cil_tmp50 << 8;
3281#line 50
3282 __cil_tmp52 = 3 << 12;
3283#line 50
3284 __cil_tmp53 = (unsigned int )__cil_tmp52;
3285#line 50
3286 __cil_tmp54 = __cil_tmp53 | __cil_tmp51;
3287#line 50
3288 __cil_tmp55 = (unsigned long )__cil_tmp54;
3289#line 50
3290 __cil_tmp56 = __cil_tmp55 | __cil_tmp49;
3291#line 50
3292 __cil_tmp57 = (__u16 )__cil_tmp56;
3293#line 50
3294 tmp___9 = __fswab16(__cil_tmp57);
3295#line 50
3296 __cil_tmp58 = 2 * 2UL;
3297#line 50
3298 __cil_tmp59 = 0 + __cil_tmp58;
3299#line 50
3300 __cil_tmp60 = 720 + __cil_tmp59;
3301#line 50
3302 __cil_tmp61 = (unsigned long )st;
3303#line 50
3304 __cil_tmp62 = __cil_tmp61 + __cil_tmp60;
3305#line 50
3306 __cil_tmp63 = (int )tmp___9;
3307#line 50
3308 *((unsigned short *)__cil_tmp62) = (__be16 )__cil_tmp63;
3309#line 53
3310 __cil_tmp64 = regval & 255UL;
3311#line 53
3312 __cil_tmp65 = addr - 3U;
3313#line 53
3314 __cil_tmp66 = __cil_tmp65 << 8;
3315#line 53
3316 __cil_tmp67 = 2 << 12;
3317#line 53
3318 __cil_tmp68 = (unsigned int )__cil_tmp67;
3319#line 53
3320 __cil_tmp69 = __cil_tmp68 | __cil_tmp66;
3321#line 53
3322 __cil_tmp70 = (unsigned long )__cil_tmp69;
3323#line 53
3324 __cil_tmp71 = __cil_tmp70 | __cil_tmp64;
3325#line 53
3326 __cil_tmp72 = (__u16 )__cil_tmp71;
3327#line 53
3328 tmp___10 = __fswab16(__cil_tmp72);
3329#line 53
3330 __cil_tmp73 = 3 * 2UL;
3331#line 53
3332 __cil_tmp74 = 0 + __cil_tmp73;
3333#line 53
3334 __cil_tmp75 = 720 + __cil_tmp74;
3335#line 53
3336 __cil_tmp76 = (unsigned long )st;
3337#line 53
3338 __cil_tmp77 = __cil_tmp76 + __cil_tmp75;
3339#line 53
3340 __cil_tmp78 = (int )tmp___10;
3341#line 53
3342 *((unsigned short *)__cil_tmp77) = (__be16 )__cil_tmp78;
3343#line 57
3344 __cil_tmp79 = *((struct spi_device **)st);
3345#line 57
3346 __cil_tmp80 = (unsigned long )st;
3347#line 57
3348 __cil_tmp81 = __cil_tmp80 + 432;
3349#line 57
3350 __cil_tmp82 = (struct spi_message *)__cil_tmp81;
3351#line 57
3352 tmp___11 = spi_sync(__cil_tmp79, __cil_tmp82);
3353 }
3354#line 57
3355 return (tmp___11);
3356}
3357}
3358#line 60 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
3359static int ad9832_write_phase(struct ad9832_state *st , unsigned long addr , unsigned long phase )
3360{ __u16 tmp___7 ;
3361 __u16 tmp___8 ;
3362 int tmp___9 ;
3363 int __cil_tmp7 ;
3364 unsigned long __cil_tmp8 ;
3365 unsigned long __cil_tmp9 ;
3366 unsigned long __cil_tmp10 ;
3367 unsigned long __cil_tmp11 ;
3368 int __cil_tmp12 ;
3369 unsigned long __cil_tmp13 ;
3370 unsigned long __cil_tmp14 ;
3371 unsigned long __cil_tmp15 ;
3372 __u16 __cil_tmp16 ;
3373 unsigned long __cil_tmp17 ;
3374 unsigned long __cil_tmp18 ;
3375 unsigned long __cil_tmp19 ;
3376 unsigned long __cil_tmp20 ;
3377 unsigned long __cil_tmp21 ;
3378 int __cil_tmp22 ;
3379 unsigned long __cil_tmp23 ;
3380 unsigned long __cil_tmp24 ;
3381 unsigned long __cil_tmp25 ;
3382 unsigned long __cil_tmp26 ;
3383 __u16 __cil_tmp27 ;
3384 unsigned long __cil_tmp28 ;
3385 unsigned long __cil_tmp29 ;
3386 unsigned long __cil_tmp30 ;
3387 unsigned long __cil_tmp31 ;
3388 unsigned long __cil_tmp32 ;
3389 int __cil_tmp33 ;
3390 struct spi_device *__cil_tmp34 ;
3391 unsigned long __cil_tmp35 ;
3392 unsigned long __cil_tmp36 ;
3393 struct spi_message *__cil_tmp37 ;
3394
3395 {
3396 {
3397#line 63
3398 __cil_tmp7 = 1 << 12;
3399#line 63
3400 __cil_tmp8 = (unsigned long )__cil_tmp7;
3401#line 63
3402 if (phase > __cil_tmp8) {
3403#line 64
3404 return (-22);
3405 } else {
3406
3407 }
3408 }
3409 {
3410#line 66
3411 __cil_tmp9 = phase >> 8;
3412#line 66
3413 __cil_tmp10 = __cil_tmp9 & 255UL;
3414#line 66
3415 __cil_tmp11 = addr << 8;
3416#line 66
3417 __cil_tmp12 = 1 << 12;
3418#line 66
3419 __cil_tmp13 = (unsigned long )__cil_tmp12;
3420#line 66
3421 __cil_tmp14 = __cil_tmp13 | __cil_tmp11;
3422#line 66
3423 __cil_tmp15 = __cil_tmp14 | __cil_tmp10;
3424#line 66
3425 __cil_tmp16 = (__u16 )__cil_tmp15;
3426#line 66
3427 tmp___7 = __fswab16(__cil_tmp16);
3428#line 66
3429 __cil_tmp17 = 0 * 2UL;
3430#line 66
3431 __cil_tmp18 = 0 + __cil_tmp17;
3432#line 66
3433 __cil_tmp19 = 720 + __cil_tmp18;
3434#line 66
3435 __cil_tmp20 = (unsigned long )st;
3436#line 66
3437 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
3438#line 66
3439 __cil_tmp22 = (int )tmp___7;
3440#line 66
3441 *((unsigned short *)__cil_tmp21) = (__be16 )__cil_tmp22;
3442#line 69
3443 __cil_tmp23 = phase & 255UL;
3444#line 69
3445 __cil_tmp24 = addr - 1UL;
3446#line 69
3447 __cil_tmp25 = __cil_tmp24 << 8;
3448#line 69
3449 __cil_tmp26 = __cil_tmp25 | __cil_tmp23;
3450#line 69
3451 __cil_tmp27 = (__u16 )__cil_tmp26;
3452#line 69
3453 tmp___8 = __fswab16(__cil_tmp27);
3454#line 69
3455 __cil_tmp28 = 1 * 2UL;
3456#line 69
3457 __cil_tmp29 = 0 + __cil_tmp28;
3458#line 69
3459 __cil_tmp30 = 720 + __cil_tmp29;
3460#line 69
3461 __cil_tmp31 = (unsigned long )st;
3462#line 69
3463 __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
3464#line 69
3465 __cil_tmp33 = (int )tmp___8;
3466#line 69
3467 *((unsigned short *)__cil_tmp32) = (__be16 )__cil_tmp33;
3468#line 73
3469 __cil_tmp34 = *((struct spi_device **)st);
3470#line 73
3471 __cil_tmp35 = (unsigned long )st;
3472#line 73
3473 __cil_tmp36 = __cil_tmp35 + 640;
3474#line 73
3475 __cil_tmp37 = (struct spi_message *)__cil_tmp36;
3476#line 73
3477 tmp___9 = spi_sync(__cil_tmp34, __cil_tmp37);
3478 }
3479#line 73
3480 return (tmp___9);
3481}
3482}
3483#line 76 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
3484static ssize_t ad9832_write(struct device *dev , struct device_attribute *attr , char const *buf ,
3485 size_t len )
3486{ struct iio_dev *indio_dev ;
3487 void *tmp___7 ;
3488 struct ad9832_state *st ;
3489 void *tmp___8 ;
3490 struct iio_dev_attr *this_attr ;
3491 struct device_attribute const *__mptr ;
3492 int ret ;
3493 long val ;
3494 __u16 tmp___9 ;
3495 __u16 tmp___10 ;
3496 __u16 tmp___11 ;
3497 __u16 tmp___12 ;
3498 size_t tmp___13 ;
3499 struct device const *__cil_tmp18 ;
3500 struct iio_dev const *__cil_tmp19 ;
3501 struct iio_dev_attr *__cil_tmp20 ;
3502 struct device_attribute *__cil_tmp21 ;
3503 unsigned int __cil_tmp22 ;
3504 char *__cil_tmp23 ;
3505 char *__cil_tmp24 ;
3506 unsigned long *__cil_tmp25 ;
3507 unsigned long __cil_tmp26 ;
3508 unsigned long __cil_tmp27 ;
3509 struct mutex *__cil_tmp28 ;
3510 unsigned long __cil_tmp29 ;
3511 unsigned long __cil_tmp30 ;
3512 u64 __cil_tmp31 ;
3513 u32 __cil_tmp32 ;
3514 unsigned long __cil_tmp33 ;
3515 unsigned long __cil_tmp34 ;
3516 u64 __cil_tmp35 ;
3517 unsigned int __cil_tmp36 ;
3518 long *__cil_tmp37 ;
3519 long __cil_tmp38 ;
3520 unsigned long __cil_tmp39 ;
3521 unsigned long __cil_tmp40 ;
3522 unsigned long __cil_tmp41 ;
3523 u64 __cil_tmp42 ;
3524 unsigned long __cil_tmp43 ;
3525 long *__cil_tmp44 ;
3526 long __cil_tmp45 ;
3527 unsigned long __cil_tmp46 ;
3528 long *__cil_tmp47 ;
3529 unsigned long __cil_tmp48 ;
3530 unsigned long __cil_tmp49 ;
3531 int __cil_tmp50 ;
3532 int __cil_tmp51 ;
3533 unsigned long __cil_tmp52 ;
3534 unsigned long __cil_tmp53 ;
3535 unsigned short __cil_tmp54 ;
3536 int __cil_tmp55 ;
3537 int __cil_tmp56 ;
3538 unsigned long __cil_tmp57 ;
3539 unsigned long __cil_tmp58 ;
3540 int __cil_tmp59 ;
3541 unsigned long __cil_tmp60 ;
3542 unsigned long __cil_tmp61 ;
3543 unsigned short __cil_tmp62 ;
3544 int __cil_tmp63 ;
3545 int __cil_tmp64 ;
3546 unsigned long __cil_tmp65 ;
3547 unsigned long __cil_tmp66 ;
3548 unsigned short __cil_tmp67 ;
3549 int __cil_tmp68 ;
3550 int __cil_tmp69 ;
3551 int __cil_tmp70 ;
3552 __u16 __cil_tmp71 ;
3553 unsigned long __cil_tmp72 ;
3554 unsigned long __cil_tmp73 ;
3555 int __cil_tmp74 ;
3556 struct spi_device *__cil_tmp75 ;
3557 unsigned long __cil_tmp76 ;
3558 unsigned long __cil_tmp77 ;
3559 struct spi_message *__cil_tmp78 ;
3560 long *__cil_tmp79 ;
3561 long __cil_tmp80 ;
3562 unsigned long __cil_tmp81 ;
3563 unsigned long __cil_tmp82 ;
3564 int __cil_tmp83 ;
3565 unsigned long __cil_tmp84 ;
3566 unsigned long __cil_tmp85 ;
3567 unsigned short __cil_tmp86 ;
3568 int __cil_tmp87 ;
3569 int __cil_tmp88 ;
3570 long *__cil_tmp89 ;
3571 long __cil_tmp90 ;
3572 unsigned long __cil_tmp91 ;
3573 unsigned long __cil_tmp92 ;
3574 int __cil_tmp93 ;
3575 int __cil_tmp94 ;
3576 unsigned long __cil_tmp95 ;
3577 unsigned long __cil_tmp96 ;
3578 unsigned short __cil_tmp97 ;
3579 int __cil_tmp98 ;
3580 int __cil_tmp99 ;
3581 unsigned long __cil_tmp100 ;
3582 unsigned long __cil_tmp101 ;
3583 unsigned short __cil_tmp102 ;
3584 int __cil_tmp103 ;
3585 int __cil_tmp104 ;
3586 int __cil_tmp105 ;
3587 __u16 __cil_tmp106 ;
3588 unsigned long __cil_tmp107 ;
3589 unsigned long __cil_tmp108 ;
3590 int __cil_tmp109 ;
3591 struct spi_device *__cil_tmp110 ;
3592 unsigned long __cil_tmp111 ;
3593 unsigned long __cil_tmp112 ;
3594 struct spi_message *__cil_tmp113 ;
3595 long *__cil_tmp114 ;
3596 long __cil_tmp115 ;
3597 long *__cil_tmp116 ;
3598 long __cil_tmp117 ;
3599 unsigned long __cil_tmp118 ;
3600 unsigned long __cil_tmp119 ;
3601 int __cil_tmp120 ;
3602 int __cil_tmp121 ;
3603 unsigned long __cil_tmp122 ;
3604 unsigned long __cil_tmp123 ;
3605 unsigned short __cil_tmp124 ;
3606 int __cil_tmp125 ;
3607 int __cil_tmp126 ;
3608 unsigned long __cil_tmp127 ;
3609 unsigned long __cil_tmp128 ;
3610 long *__cil_tmp129 ;
3611 long __cil_tmp130 ;
3612 long __cil_tmp131 ;
3613 long __cil_tmp132 ;
3614 unsigned long __cil_tmp133 ;
3615 unsigned long __cil_tmp134 ;
3616 unsigned short __cil_tmp135 ;
3617 long __cil_tmp136 ;
3618 long __cil_tmp137 ;
3619 unsigned long __cil_tmp138 ;
3620 unsigned long __cil_tmp139 ;
3621 unsigned short __cil_tmp140 ;
3622 int __cil_tmp141 ;
3623 int __cil_tmp142 ;
3624 int __cil_tmp143 ;
3625 __u16 __cil_tmp144 ;
3626 unsigned long __cil_tmp145 ;
3627 unsigned long __cil_tmp146 ;
3628 int __cil_tmp147 ;
3629 struct spi_device *__cil_tmp148 ;
3630 unsigned long __cil_tmp149 ;
3631 unsigned long __cil_tmp150 ;
3632 struct spi_message *__cil_tmp151 ;
3633 long *__cil_tmp152 ;
3634 unsigned long __cil_tmp153 ;
3635 unsigned long __cil_tmp154 ;
3636 int __cil_tmp155 ;
3637 int __cil_tmp156 ;
3638 int __cil_tmp157 ;
3639 int __cil_tmp158 ;
3640 int __cil_tmp159 ;
3641 int __cil_tmp160 ;
3642 unsigned long __cil_tmp161 ;
3643 unsigned long __cil_tmp162 ;
3644 unsigned short __cil_tmp163 ;
3645 int __cil_tmp164 ;
3646 int __cil_tmp165 ;
3647 unsigned long __cil_tmp166 ;
3648 unsigned long __cil_tmp167 ;
3649 int __cil_tmp168 ;
3650 unsigned long __cil_tmp169 ;
3651 unsigned long __cil_tmp170 ;
3652 unsigned short __cil_tmp171 ;
3653 int __cil_tmp172 ;
3654 int __cil_tmp173 ;
3655 unsigned long __cil_tmp174 ;
3656 unsigned long __cil_tmp175 ;
3657 unsigned short __cil_tmp176 ;
3658 int __cil_tmp177 ;
3659 int __cil_tmp178 ;
3660 int __cil_tmp179 ;
3661 __u16 __cil_tmp180 ;
3662 unsigned long __cil_tmp181 ;
3663 unsigned long __cil_tmp182 ;
3664 int __cil_tmp183 ;
3665 struct spi_device *__cil_tmp184 ;
3666 unsigned long __cil_tmp185 ;
3667 unsigned long __cil_tmp186 ;
3668 struct spi_message *__cil_tmp187 ;
3669 unsigned long __cil_tmp188 ;
3670 unsigned long __cil_tmp189 ;
3671 struct mutex *__cil_tmp190 ;
3672
3673 {
3674 {
3675#line 81
3676 __cil_tmp18 = (struct device const *)dev;
3677#line 81
3678 tmp___7 = dev_get_drvdata(__cil_tmp18);
3679#line 81
3680 indio_dev = (struct iio_dev *)tmp___7;
3681#line 82
3682 __cil_tmp19 = (struct iio_dev const *)indio_dev;
3683#line 82
3684 tmp___8 = iio_priv(__cil_tmp19);
3685#line 82
3686 st = (struct ad9832_state *)tmp___8;
3687#line 83
3688 __mptr = (struct device_attribute const *)attr;
3689#line 83
3690 __cil_tmp20 = (struct iio_dev_attr *)0;
3691#line 83
3692 __cil_tmp21 = (struct device_attribute *)__cil_tmp20;
3693#line 83
3694 __cil_tmp22 = (unsigned int )__cil_tmp21;
3695#line 83
3696 __cil_tmp23 = (char *)__mptr;
3697#line 83
3698 __cil_tmp24 = __cil_tmp23 - __cil_tmp22;
3699#line 83
3700 this_attr = (struct iio_dev_attr *)__cil_tmp24;
3701#line 87
3702 __cil_tmp25 = (unsigned long *)(& val);
3703#line 87
3704 ret = (int )kstrtoul(buf, 10U, __cil_tmp25);
3705 }
3706#line 88
3707 if (ret) {
3708#line 89
3709 goto error_ret;
3710 } else {
3711
3712 }
3713 {
3714#line 91
3715 __cil_tmp26 = (unsigned long )indio_dev;
3716#line 91
3717 __cil_tmp27 = __cil_tmp26 + 800;
3718#line 91
3719 __cil_tmp28 = (struct mutex *)__cil_tmp27;
3720#line 91
3721 mutex_lock(__cil_tmp28);
3722 }
3723 {
3724#line 92
3725 __cil_tmp29 = (unsigned long )this_attr;
3726#line 92
3727 __cil_tmp30 = __cil_tmp29 + 32;
3728#line 92
3729 __cil_tmp31 = *((u64 *)__cil_tmp30);
3730#line 92
3731 __cil_tmp32 = (u32 )__cil_tmp31;
3732#line 93
3733 if ((int )__cil_tmp32 == 3) {
3734#line 93
3735 goto case_3;
3736 } else
3737#line 94
3738 if ((int )__cil_tmp32 == 7) {
3739#line 94
3740 goto case_3;
3741 } else
3742#line 97
3743 if ((int )__cil_tmp32 == 9) {
3744#line 97
3745 goto case_9;
3746 } else
3747#line 98
3748 if ((int )__cil_tmp32 == 11) {
3749#line 98
3750 goto case_9;
3751 } else
3752#line 99
3753 if ((int )__cil_tmp32 == 13) {
3754#line 99
3755 goto case_9;
3756 } else
3757#line 100
3758 if ((int )__cil_tmp32 == 15) {
3759#line 100
3760 goto case_9;
3761 } else
3762#line 103
3763 if ((int )__cil_tmp32 == 18) {
3764#line 103
3765 goto case_18;
3766 } else
3767#line 112
3768 if ((int )__cil_tmp32 == 17) {
3769#line 112
3770 goto case_17;
3771 } else
3772#line 125
3773 if ((int )__cil_tmp32 == 16) {
3774#line 125
3775 goto case_16;
3776 } else
3777#line 138
3778 if ((int )__cil_tmp32 == 19) {
3779#line 138
3780 goto case_19;
3781 } else {
3782 {
3783#line 149
3784 goto switch_default;
3785#line 92
3786 if (0) {
3787 case_3:
3788 case_7:
3789 {
3790#line 95
3791 __cil_tmp33 = (unsigned long )this_attr;
3792#line 95
3793 __cil_tmp34 = __cil_tmp33 + 32;
3794#line 95
3795 __cil_tmp35 = *((u64 *)__cil_tmp34);
3796#line 95
3797 __cil_tmp36 = (unsigned int )__cil_tmp35;
3798#line 95
3799 __cil_tmp37 = & val;
3800#line 95
3801 __cil_tmp38 = *__cil_tmp37;
3802#line 95
3803 __cil_tmp39 = (unsigned long )__cil_tmp38;
3804#line 95
3805 ret = ad9832_write_frequency(st, __cil_tmp36, __cil_tmp39);
3806 }
3807#line 96
3808 goto switch_break;
3809 case_9:
3810 case_11:
3811 case_13:
3812 case_15:
3813 {
3814#line 101
3815 __cil_tmp40 = (unsigned long )this_attr;
3816#line 101
3817 __cil_tmp41 = __cil_tmp40 + 32;
3818#line 101
3819 __cil_tmp42 = *((u64 *)__cil_tmp41);
3820#line 101
3821 __cil_tmp43 = (unsigned long )__cil_tmp42;
3822#line 101
3823 __cil_tmp44 = & val;
3824#line 101
3825 __cil_tmp45 = *__cil_tmp44;
3826#line 101
3827 __cil_tmp46 = (unsigned long )__cil_tmp45;
3828#line 101
3829 ret = ad9832_write_phase(st, __cil_tmp43, __cil_tmp46);
3830 }
3831#line 102
3832 goto switch_break;
3833 case_18:
3834 {
3835#line 104
3836 __cil_tmp47 = & val;
3837#line 104
3838 if (*__cil_tmp47) {
3839#line 105
3840 __cil_tmp48 = (unsigned long )st;
3841#line 105
3842 __cil_tmp49 = __cil_tmp48 + 26;
3843#line 105
3844 __cil_tmp50 = 1 << 12;
3845#line 105
3846 __cil_tmp51 = ~ __cil_tmp50;
3847#line 105
3848 __cil_tmp52 = (unsigned long )st;
3849#line 105
3850 __cil_tmp53 = __cil_tmp52 + 26;
3851#line 105
3852 __cil_tmp54 = *((unsigned short *)__cil_tmp53);
3853#line 105
3854 __cil_tmp55 = (int )__cil_tmp54;
3855#line 105
3856 __cil_tmp56 = __cil_tmp55 & __cil_tmp51;
3857#line 105
3858 *((unsigned short *)__cil_tmp49) = (unsigned short )__cil_tmp56;
3859 } else {
3860#line 107
3861 __cil_tmp57 = (unsigned long )st;
3862#line 107
3863 __cil_tmp58 = __cil_tmp57 + 26;
3864#line 107
3865 __cil_tmp59 = 1 << 12;
3866#line 107
3867 __cil_tmp60 = (unsigned long )st;
3868#line 107
3869 __cil_tmp61 = __cil_tmp60 + 26;
3870#line 107
3871 __cil_tmp62 = *((unsigned short *)__cil_tmp61);
3872#line 107
3873 __cil_tmp63 = (int )__cil_tmp62;
3874#line 107
3875 __cil_tmp64 = __cil_tmp63 | __cil_tmp59;
3876#line 107
3877 *((unsigned short *)__cil_tmp58) = (unsigned short )__cil_tmp64;
3878 }
3879 }
3880 {
3881#line 108
3882 __cil_tmp65 = (unsigned long )st;
3883#line 108
3884 __cil_tmp66 = __cil_tmp65 + 26;
3885#line 108
3886 __cil_tmp67 = *((unsigned short *)__cil_tmp66);
3887#line 108
3888 __cil_tmp68 = (int )__cil_tmp67;
3889#line 108
3890 __cil_tmp69 = 8 << 12;
3891#line 108
3892 __cil_tmp70 = __cil_tmp69 | __cil_tmp68;
3893#line 108
3894 __cil_tmp71 = (__u16 )__cil_tmp70;
3895#line 108
3896 tmp___9 = __fswab16(__cil_tmp71);
3897#line 108
3898 __cil_tmp72 = (unsigned long )st;
3899#line 108
3900 __cil_tmp73 = __cil_tmp72 + 720;
3901#line 108
3902 __cil_tmp74 = (int )tmp___9;
3903#line 108
3904 *((unsigned short *)__cil_tmp73) = (__be16 )__cil_tmp74;
3905#line 110
3906 __cil_tmp75 = *((struct spi_device **)st);
3907#line 110
3908 __cil_tmp76 = (unsigned long )st;
3909#line 110
3910 __cil_tmp77 = __cil_tmp76 + 96;
3911#line 110
3912 __cil_tmp78 = (struct spi_message *)__cil_tmp77;
3913#line 110
3914 ret = spi_sync(__cil_tmp75, __cil_tmp78);
3915 }
3916#line 111
3917 goto switch_break;
3918 case_17:
3919 {
3920#line 113
3921 __cil_tmp79 = & val;
3922#line 113
3923 __cil_tmp80 = *__cil_tmp79;
3924#line 113
3925 if (__cil_tmp80 == 1L) {
3926#line 114
3927 __cil_tmp81 = (unsigned long )st;
3928#line 114
3929 __cil_tmp82 = __cil_tmp81 + 24;
3930#line 114
3931 __cil_tmp83 = 1 << 11;
3932#line 114
3933 __cil_tmp84 = (unsigned long )st;
3934#line 114
3935 __cil_tmp85 = __cil_tmp84 + 24;
3936#line 114
3937 __cil_tmp86 = *((unsigned short *)__cil_tmp85);
3938#line 114
3939 __cil_tmp87 = (int )__cil_tmp86;
3940#line 114
3941 __cil_tmp88 = __cil_tmp87 | __cil_tmp83;
3942#line 114
3943 *((unsigned short *)__cil_tmp82) = (unsigned short )__cil_tmp88;
3944 } else {
3945 {
3946#line 115
3947 __cil_tmp89 = & val;
3948#line 115
3949 __cil_tmp90 = *__cil_tmp89;
3950#line 115
3951 if (__cil_tmp90 == 0L) {
3952#line 116
3953 __cil_tmp91 = (unsigned long )st;
3954#line 116
3955 __cil_tmp92 = __cil_tmp91 + 24;
3956#line 116
3957 __cil_tmp93 = 1 << 11;
3958#line 116
3959 __cil_tmp94 = ~ __cil_tmp93;
3960#line 116
3961 __cil_tmp95 = (unsigned long )st;
3962#line 116
3963 __cil_tmp96 = __cil_tmp95 + 24;
3964#line 116
3965 __cil_tmp97 = *((unsigned short *)__cil_tmp96);
3966#line 116
3967 __cil_tmp98 = (int )__cil_tmp97;
3968#line 116
3969 __cil_tmp99 = __cil_tmp98 & __cil_tmp94;
3970#line 116
3971 *((unsigned short *)__cil_tmp92) = (unsigned short )__cil_tmp99;
3972 } else {
3973#line 118
3974 ret = -22;
3975#line 119
3976 goto switch_break;
3977 }
3978 }
3979 }
3980 }
3981 {
3982#line 121
3983 __cil_tmp100 = (unsigned long )st;
3984#line 121
3985 __cil_tmp101 = __cil_tmp100 + 24;
3986#line 121
3987 __cil_tmp102 = *((unsigned short *)__cil_tmp101);
3988#line 121
3989 __cil_tmp103 = (int )__cil_tmp102;
3990#line 121
3991 __cil_tmp104 = 6 << 12;
3992#line 121
3993 __cil_tmp105 = __cil_tmp104 | __cil_tmp103;
3994#line 121
3995 __cil_tmp106 = (__u16 )__cil_tmp105;
3996#line 121
3997 tmp___10 = __fswab16(__cil_tmp106);
3998#line 121
3999 __cil_tmp107 = (unsigned long )st;
4000#line 121
4001 __cil_tmp108 = __cil_tmp107 + 720;
4002#line 121
4003 __cil_tmp109 = (int )tmp___10;
4004#line 121
4005 *((unsigned short *)__cil_tmp108) = (__be16 )__cil_tmp109;
4006#line 123
4007 __cil_tmp110 = *((struct spi_device **)st);
4008#line 123
4009 __cil_tmp111 = (unsigned long )st;
4010#line 123
4011 __cil_tmp112 = __cil_tmp111 + 96;
4012#line 123
4013 __cil_tmp113 = (struct spi_message *)__cil_tmp112;
4014#line 123
4015 ret = spi_sync(__cil_tmp110, __cil_tmp113);
4016 }
4017#line 124
4018 goto switch_break;
4019 case_16:
4020 {
4021#line 126
4022 __cil_tmp114 = & val;
4023#line 126
4024 __cil_tmp115 = *__cil_tmp114;
4025#line 126
4026 if (__cil_tmp115 < 0L) {
4027#line 127
4028 ret = -22;
4029#line 128
4030 goto switch_break;
4031 } else {
4032 {
4033#line 126
4034 __cil_tmp116 = & val;
4035#line 126
4036 __cil_tmp117 = *__cil_tmp116;
4037#line 126
4038 if (__cil_tmp117 > 3L) {
4039#line 127
4040 ret = -22;
4041#line 128
4042 goto switch_break;
4043 } else {
4044
4045 }
4046 }
4047 }
4048 }
4049 {
4050#line 131
4051 __cil_tmp118 = (unsigned long )st;
4052#line 131
4053 __cil_tmp119 = __cil_tmp118 + 24;
4054#line 131
4055 __cil_tmp120 = 3 << 9;
4056#line 131
4057 __cil_tmp121 = ~ __cil_tmp120;
4058#line 131
4059 __cil_tmp122 = (unsigned long )st;
4060#line 131
4061 __cil_tmp123 = __cil_tmp122 + 24;
4062#line 131
4063 __cil_tmp124 = *((unsigned short *)__cil_tmp123);
4064#line 131
4065 __cil_tmp125 = (int )__cil_tmp124;
4066#line 131
4067 __cil_tmp126 = __cil_tmp125 & __cil_tmp121;
4068#line 131
4069 *((unsigned short *)__cil_tmp119) = (unsigned short )__cil_tmp126;
4070#line 132
4071 __cil_tmp127 = (unsigned long )st;
4072#line 132
4073 __cil_tmp128 = __cil_tmp127 + 24;
4074#line 132
4075 __cil_tmp129 = & val;
4076#line 132
4077 __cil_tmp130 = *__cil_tmp129;
4078#line 132
4079 __cil_tmp131 = __cil_tmp130 & 3L;
4080#line 132
4081 __cil_tmp132 = __cil_tmp131 << 9;
4082#line 132
4083 __cil_tmp133 = (unsigned long )st;
4084#line 132
4085 __cil_tmp134 = __cil_tmp133 + 24;
4086#line 132
4087 __cil_tmp135 = *((unsigned short *)__cil_tmp134);
4088#line 132
4089 __cil_tmp136 = (long )__cil_tmp135;
4090#line 132
4091 __cil_tmp137 = __cil_tmp136 | __cil_tmp132;
4092#line 132
4093 *((unsigned short *)__cil_tmp128) = (unsigned short )__cil_tmp137;
4094#line 134
4095 __cil_tmp138 = (unsigned long )st;
4096#line 134
4097 __cil_tmp139 = __cil_tmp138 + 24;
4098#line 134
4099 __cil_tmp140 = *((unsigned short *)__cil_tmp139);
4100#line 134
4101 __cil_tmp141 = (int )__cil_tmp140;
4102#line 134
4103 __cil_tmp142 = 6 << 12;
4104#line 134
4105 __cil_tmp143 = __cil_tmp142 | __cil_tmp141;
4106#line 134
4107 __cil_tmp144 = (__u16 )__cil_tmp143;
4108#line 134
4109 tmp___11 = __fswab16(__cil_tmp144);
4110#line 134
4111 __cil_tmp145 = (unsigned long )st;
4112#line 134
4113 __cil_tmp146 = __cil_tmp145 + 720;
4114#line 134
4115 __cil_tmp147 = (int )tmp___11;
4116#line 134
4117 *((unsigned short *)__cil_tmp146) = (__be16 )__cil_tmp147;
4118#line 136
4119 __cil_tmp148 = *((struct spi_device **)st);
4120#line 136
4121 __cil_tmp149 = (unsigned long )st;
4122#line 136
4123 __cil_tmp150 = __cil_tmp149 + 96;
4124#line 136
4125 __cil_tmp151 = (struct spi_message *)__cil_tmp150;
4126#line 136
4127 ret = spi_sync(__cil_tmp148, __cil_tmp151);
4128 }
4129#line 137
4130 goto switch_break;
4131 case_19:
4132 {
4133#line 139
4134 __cil_tmp152 = & val;
4135#line 139
4136 if (*__cil_tmp152) {
4137#line 140
4138 __cil_tmp153 = (unsigned long )st;
4139#line 140
4140 __cil_tmp154 = __cil_tmp153 + 28;
4141#line 140
4142 __cil_tmp155 = 1 << 11;
4143#line 140
4144 __cil_tmp156 = 1 << 13;
4145#line 140
4146 __cil_tmp157 = 1 << 12;
4147#line 140
4148 __cil_tmp158 = __cil_tmp157 | __cil_tmp156;
4149#line 140
4150 __cil_tmp159 = __cil_tmp158 | __cil_tmp155;
4151#line 140
4152 __cil_tmp160 = ~ __cil_tmp159;
4153#line 140
4154 __cil_tmp161 = (unsigned long )st;
4155#line 140
4156 __cil_tmp162 = __cil_tmp161 + 28;
4157#line 140
4158 __cil_tmp163 = *((unsigned short *)__cil_tmp162);
4159#line 140
4160 __cil_tmp164 = (int )__cil_tmp163;
4161#line 140
4162 __cil_tmp165 = __cil_tmp164 & __cil_tmp160;
4163#line 140
4164 *((unsigned short *)__cil_tmp154) = (unsigned short )__cil_tmp165;
4165 } else {
4166#line 143
4167 __cil_tmp166 = (unsigned long )st;
4168#line 143
4169 __cil_tmp167 = __cil_tmp166 + 28;
4170#line 143
4171 __cil_tmp168 = 1 << 12;
4172#line 143
4173 __cil_tmp169 = (unsigned long )st;
4174#line 143
4175 __cil_tmp170 = __cil_tmp169 + 28;
4176#line 143
4177 __cil_tmp171 = *((unsigned short *)__cil_tmp170);
4178#line 143
4179 __cil_tmp172 = (int )__cil_tmp171;
4180#line 143
4181 __cil_tmp173 = __cil_tmp172 | __cil_tmp168;
4182#line 143
4183 *((unsigned short *)__cil_tmp167) = (unsigned short )__cil_tmp173;
4184 }
4185 }
4186 {
4187#line 145
4188 __cil_tmp174 = (unsigned long )st;
4189#line 145
4190 __cil_tmp175 = __cil_tmp174 + 28;
4191#line 145
4192 __cil_tmp176 = *((unsigned short *)__cil_tmp175);
4193#line 145
4194 __cil_tmp177 = (int )__cil_tmp176;
4195#line 145
4196 __cil_tmp178 = 12 << 12;
4197#line 145
4198 __cil_tmp179 = __cil_tmp178 | __cil_tmp177;
4199#line 145
4200 __cil_tmp180 = (__u16 )__cil_tmp179;
4201#line 145
4202 tmp___12 = __fswab16(__cil_tmp180);
4203#line 145
4204 __cil_tmp181 = (unsigned long )st;
4205#line 145
4206 __cil_tmp182 = __cil_tmp181 + 720;
4207#line 145
4208 __cil_tmp183 = (int )tmp___12;
4209#line 145
4210 *((unsigned short *)__cil_tmp182) = (__be16 )__cil_tmp183;
4211#line 147
4212 __cil_tmp184 = *((struct spi_device **)st);
4213#line 147
4214 __cil_tmp185 = (unsigned long )st;
4215#line 147
4216 __cil_tmp186 = __cil_tmp185 + 96;
4217#line 147
4218 __cil_tmp187 = (struct spi_message *)__cil_tmp186;
4219#line 147
4220 ret = spi_sync(__cil_tmp184, __cil_tmp187);
4221 }
4222#line 148
4223 goto switch_break;
4224 switch_default:
4225#line 150
4226 ret = -19;
4227 } else {
4228 switch_break: ;
4229 }
4230 }
4231 }
4232 }
4233 {
4234#line 152
4235 __cil_tmp188 = (unsigned long )indio_dev;
4236#line 152
4237 __cil_tmp189 = __cil_tmp188 + 800;
4238#line 152
4239 __cil_tmp190 = (struct mutex *)__cil_tmp189;
4240#line 152
4241 mutex_unlock(__cil_tmp190);
4242 }
4243 error_ret:
4244#line 155
4245 if (ret) {
4246#line 155
4247 tmp___13 = (size_t )ret;
4248 } else {
4249#line 155
4250 tmp___13 = len;
4251 }
4252#line 155
4253 return ((ssize_t )tmp___13);
4254}
4255}
4256#line 162 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4257static struct iio_dev_attr iio_dev_attr_dds0_freq0 = {{{"dds0_freq0", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4258 char *buf ))((void *)0), & ad9832_write},
4259 (u64 )3, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4260#line 163 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4261static struct iio_dev_attr iio_dev_attr_dds0_freq1 = {{{"dds0_freq1", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4262 char *buf ))((void *)0), & ad9832_write},
4263 (u64 )7, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4264#line 164 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4265static struct iio_dev_attr iio_dev_attr_dds0_freqsymbol = {{{"dds0_freqsymbol", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4266 char *buf ))((void *)0), & ad9832_write},
4267 (u64 )17, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4268#line 165 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4269static struct iio_const_attr iio_const_attr_dds0_freq_scale = {"1", {{"dds0_freq_scale", (umode_t )292}, & iio_read_const_attr, (ssize_t (*)(struct device *dev ,
4270 struct device_attribute *attr ,
4271 char const *buf ,
4272 size_t count ))((void *)0)}};
4273#line 167 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4274static struct iio_dev_attr iio_dev_attr_dds0_phase0 = {{{"dds0_phase0", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4275 char *buf ))((void *)0), & ad9832_write},
4276 (u64 )9, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4277#line 168 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4278static struct iio_dev_attr iio_dev_attr_dds0_phase1 = {{{"dds0_phase1", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4279 char *buf ))((void *)0), & ad9832_write},
4280 (u64 )11, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4281#line 169 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4282static struct iio_dev_attr iio_dev_attr_dds0_phase2 = {{{"dds0_phase2", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4283 char *buf ))((void *)0), & ad9832_write},
4284 (u64 )13, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4285#line 170 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4286static struct iio_dev_attr iio_dev_attr_dds0_phase3 = {{{"dds0_phase3", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4287 char *buf ))((void *)0), & ad9832_write},
4288 (u64 )15, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4289#line 171 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4290static struct iio_dev_attr iio_dev_attr_dds0_phasesymbol = {{{"dds0_phasesymbol", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4291 char *buf ))((void *)0), & ad9832_write},
4292 (u64 )16, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4293#line 173 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4294static struct iio_const_attr iio_const_attr_dds0_phase_scale = {"0.0015339808", {{"dds0_phase_scale", (umode_t )292}, & iio_read_const_attr, (ssize_t (*)(struct device *dev ,
4295 struct device_attribute *attr ,
4296 char const *buf ,
4297 size_t count ))((void *)0)}};
4298#line 175 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4299static struct iio_dev_attr iio_dev_attr_dds0_pincontrol_en = {{{"dds0_pincontrol_en", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4300 char *buf ))((void *)0),
4301 & ad9832_write}, (u64 )18, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4302#line 177 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4303static struct iio_dev_attr iio_dev_attr_dds0_out_enable = {{{"dds0_out_enable", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
4304 char *buf ))((void *)0), & ad9832_write},
4305 (u64 )19, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
4306#line 180 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4307static struct attribute *ad9832_attributes[13] =
4308#line 180
4309 { & iio_dev_attr_dds0_freq0.dev_attr.attr, & iio_dev_attr_dds0_freq1.dev_attr.attr, & iio_const_attr_dds0_freq_scale.dev_attr.attr, & iio_dev_attr_dds0_phase0.dev_attr.attr,
4310 & iio_dev_attr_dds0_phase1.dev_attr.attr, & iio_dev_attr_dds0_phase2.dev_attr.attr, & iio_dev_attr_dds0_phase3.dev_attr.attr, & iio_const_attr_dds0_phase_scale.dev_attr.attr,
4311 & iio_dev_attr_dds0_pincontrol_en.dev_attr.attr, & iio_dev_attr_dds0_freqsymbol.dev_attr.attr, & iio_dev_attr_dds0_phasesymbol.dev_attr.attr, & iio_dev_attr_dds0_out_enable.dev_attr.attr,
4312 (struct attribute *)((void *)0)};
4313#line 196 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4314static struct attribute_group const ad9832_attribute_group = {(char const *)0, (umode_t (*)(struct kobject * , struct attribute * , int ))0,
4315 ad9832_attributes};
4316#line 200 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4317static struct iio_info const ad9832_info =
4318#line 200
4319 {& __this_module, (struct attribute_group *)0, & ad9832_attribute_group, (int (*)(struct iio_dev *indio_dev ,
4320 struct iio_chan_spec const *chan ,
4321 int *val ,
4322 int *val2 ,
4323 long mask ))0,
4324 (int (*)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan , int val ,
4325 int val2 , long mask ))0, (int (*)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan ,
4326 long mask ))0, (int (*)(struct iio_dev *indio_dev ,
4327 u64 event_code ))0,
4328 (int (*)(struct iio_dev *indio_dev , u64 event_code , int state ))0, (int (*)(struct iio_dev *indio_dev ,
4329 u64 event_code ,
4330 int *val ))0,
4331 (int (*)(struct iio_dev *indio_dev , u64 event_code , int val ))0, (int (*)(struct iio_dev *indio_dev ,
4332 struct iio_trigger *trig ))0,
4333 (int (*)(struct iio_dev *indio_dev , unsigned long const *scan_mask ))0, (int (*)(struct iio_dev *indio_dev ,
4334 unsigned int reg ,
4335 unsigned int writeval ,
4336 unsigned int *readval ))0};
4337#line 214
4338static int ad9832_probe(struct spi_device *spi ) __attribute__((__section__(".devinit.text"),
4339__no_instrument_function__)) ;
4340#line 214 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4341static struct _ddebug __attribute__((__aligned__(8))) descriptor __attribute__((__used__,
4342__section__("__verbose"))) = {"ad9832", "ad9832_probe", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c",
4343 "no platform data?\n", 214U, 0U};
4344#line 205
4345static int ad9832_probe(struct spi_device *spi ) __attribute__((__section__(".devinit.text"),
4346__no_instrument_function__)) ;
4347#line 205 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
4348static int ad9832_probe(struct spi_device *spi )
4349{ struct ad9832_platform_data *pdata ;
4350 struct iio_dev *indio_dev ;
4351 struct ad9832_state *st ;
4352 struct regulator *reg ;
4353 int ret ;
4354 long tmp___7 ;
4355 long tmp___8 ;
4356 void *tmp___9 ;
4357 struct spi_device_id const *tmp___10 ;
4358 __u16 tmp___11 ;
4359 long tmp___12 ;
4360 long tmp___13 ;
4361 unsigned long __cil_tmp14 ;
4362 unsigned long __cil_tmp15 ;
4363 unsigned long __cil_tmp16 ;
4364 void *__cil_tmp17 ;
4365 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp18 ;
4366 unsigned int __cil_tmp19 ;
4367 unsigned int __cil_tmp20 ;
4368 int __cil_tmp21 ;
4369 int __cil_tmp22 ;
4370 long __cil_tmp23 ;
4371 struct device *__cil_tmp24 ;
4372 struct device const *__cil_tmp25 ;
4373 struct device *__cil_tmp26 ;
4374 void const *__cil_tmp27 ;
4375 int __cil_tmp28 ;
4376 void *__cil_tmp29 ;
4377 unsigned long __cil_tmp30 ;
4378 unsigned long __cil_tmp31 ;
4379 void *__cil_tmp32 ;
4380 struct iio_dev const *__cil_tmp33 ;
4381 unsigned long __cil_tmp34 ;
4382 unsigned long __cil_tmp35 ;
4383 unsigned long __cil_tmp36 ;
4384 unsigned long __cil_tmp37 ;
4385 unsigned long __cil_tmp38 ;
4386 unsigned long __cil_tmp39 ;
4387 struct spi_device const *__cil_tmp40 ;
4388 unsigned long __cil_tmp41 ;
4389 unsigned long __cil_tmp42 ;
4390 unsigned long __cil_tmp43 ;
4391 unsigned long __cil_tmp44 ;
4392 unsigned long __cil_tmp45 ;
4393 unsigned long __cil_tmp46 ;
4394 char const *__cil_tmp47 ;
4395 unsigned long __cil_tmp48 ;
4396 unsigned long __cil_tmp49 ;
4397 unsigned long __cil_tmp50 ;
4398 unsigned long __cil_tmp51 ;
4399 unsigned long __cil_tmp52 ;
4400 unsigned long __cil_tmp53 ;
4401 unsigned long __cil_tmp54 ;
4402 unsigned long __cil_tmp55 ;
4403 unsigned short *__cil_tmp56 ;
4404 unsigned long __cil_tmp57 ;
4405 unsigned long __cil_tmp58 ;
4406 unsigned long __cil_tmp59 ;
4407 unsigned long __cil_tmp60 ;
4408 unsigned long __cil_tmp61 ;
4409 struct spi_message *__cil_tmp62 ;
4410 unsigned long __cil_tmp63 ;
4411 unsigned long __cil_tmp64 ;
4412 struct spi_transfer *__cil_tmp65 ;
4413 unsigned long __cil_tmp66 ;
4414 unsigned long __cil_tmp67 ;
4415 struct spi_message *__cil_tmp68 ;
4416 unsigned long __cil_tmp69 ;
4417 unsigned long __cil_tmp70 ;
4418 unsigned long __cil_tmp71 ;
4419 unsigned long __cil_tmp72 ;
4420 unsigned long __cil_tmp73 ;
4421 unsigned long __cil_tmp74 ;
4422 unsigned long __cil_tmp75 ;
4423 unsigned long __cil_tmp76 ;
4424 unsigned long __cil_tmp77 ;
4425 unsigned short *__cil_tmp78 ;
4426 unsigned long __cil_tmp79 ;
4427 unsigned long __cil_tmp80 ;
4428 unsigned long __cil_tmp81 ;
4429 unsigned long __cil_tmp82 ;
4430 unsigned long __cil_tmp83 ;
4431 unsigned long __cil_tmp84 ;
4432 unsigned long __cil_tmp85 ;
4433 unsigned long __cil_tmp86 ;
4434 unsigned long __cil_tmp87 ;
4435 unsigned long __cil_tmp88 ;
4436 unsigned long __cil_tmp89 ;
4437 unsigned long __cil_tmp90 ;
4438 unsigned long __cil_tmp91 ;
4439 unsigned long __cil_tmp92 ;
4440 unsigned long __cil_tmp93 ;
4441 unsigned long __cil_tmp94 ;
4442 unsigned long __cil_tmp95 ;
4443 unsigned long __cil_tmp96 ;
4444 unsigned long __cil_tmp97 ;
4445 unsigned short *__cil_tmp98 ;
4446 unsigned long __cil_tmp99 ;
4447 unsigned long __cil_tmp100 ;
4448 unsigned long __cil_tmp101 ;
4449 unsigned long __cil_tmp102 ;
4450 unsigned long __cil_tmp103 ;
4451 unsigned long __cil_tmp104 ;
4452 unsigned long __cil_tmp105 ;
4453 unsigned long __cil_tmp106 ;
4454 unsigned long __cil_tmp107 ;
4455 unsigned long __cil_tmp108 ;
4456 unsigned long __cil_tmp109 ;
4457 unsigned long __cil_tmp110 ;
4458 unsigned long __cil_tmp111 ;
4459 unsigned long __cil_tmp112 ;
4460 unsigned long __cil_tmp113 ;
4461 unsigned long __cil_tmp114 ;
4462 unsigned long __cil_tmp115 ;
4463 unsigned long __cil_tmp116 ;
4464 unsigned long __cil_tmp117 ;
4465 unsigned short *__cil_tmp118 ;
4466 unsigned long __cil_tmp119 ;
4467 unsigned long __cil_tmp120 ;
4468 unsigned long __cil_tmp121 ;
4469 unsigned long __cil_tmp122 ;
4470 unsigned long __cil_tmp123 ;
4471 unsigned long __cil_tmp124 ;
4472 unsigned long __cil_tmp125 ;
4473 unsigned long __cil_tmp126 ;
4474 unsigned long __cil_tmp127 ;
4475 unsigned long __cil_tmp128 ;
4476 unsigned long __cil_tmp129 ;
4477 unsigned long __cil_tmp130 ;
4478 unsigned long __cil_tmp131 ;
4479 unsigned long __cil_tmp132 ;
4480 unsigned long __cil_tmp133 ;
4481 unsigned long __cil_tmp134 ;
4482 unsigned long __cil_tmp135 ;
4483 unsigned long __cil_tmp136 ;
4484 unsigned long __cil_tmp137 ;
4485 unsigned short *__cil_tmp138 ;
4486 unsigned long __cil_tmp139 ;
4487 unsigned long __cil_tmp140 ;
4488 unsigned long __cil_tmp141 ;
4489 unsigned long __cil_tmp142 ;
4490 unsigned long __cil_tmp143 ;
4491 unsigned long __cil_tmp144 ;
4492 unsigned long __cil_tmp145 ;
4493 struct spi_message *__cil_tmp146 ;
4494 unsigned long __cil_tmp147 ;
4495 unsigned long __cil_tmp148 ;
4496 unsigned long __cil_tmp149 ;
4497 unsigned long __cil_tmp150 ;
4498 struct spi_transfer *__cil_tmp151 ;
4499 unsigned long __cil_tmp152 ;
4500 unsigned long __cil_tmp153 ;
4501 struct spi_message *__cil_tmp154 ;
4502 unsigned long __cil_tmp155 ;
4503 unsigned long __cil_tmp156 ;
4504 unsigned long __cil_tmp157 ;
4505 unsigned long __cil_tmp158 ;
4506 struct spi_transfer *__cil_tmp159 ;
4507 unsigned long __cil_tmp160 ;
4508 unsigned long __cil_tmp161 ;
4509 struct spi_message *__cil_tmp162 ;
4510 unsigned long __cil_tmp163 ;
4511 unsigned long __cil_tmp164 ;
4512 unsigned long __cil_tmp165 ;
4513 unsigned long __cil_tmp166 ;
4514 struct spi_transfer *__cil_tmp167 ;
4515 unsigned long __cil_tmp168 ;
4516 unsigned long __cil_tmp169 ;
4517 struct spi_message *__cil_tmp170 ;
4518 unsigned long __cil_tmp171 ;
4519 unsigned long __cil_tmp172 ;
4520 unsigned long __cil_tmp173 ;
4521 unsigned long __cil_tmp174 ;
4522 struct spi_transfer *__cil_tmp175 ;
4523 unsigned long __cil_tmp176 ;
4524 unsigned long __cil_tmp177 ;
4525 struct spi_message *__cil_tmp178 ;
4526 unsigned long __cil_tmp179 ;
4527 unsigned long __cil_tmp180 ;
4528 unsigned long __cil_tmp181 ;
4529 unsigned long __cil_tmp182 ;
4530 unsigned long __cil_tmp183 ;
4531 unsigned long __cil_tmp184 ;
4532 unsigned long __cil_tmp185 ;
4533 unsigned long __cil_tmp186 ;
4534 unsigned long __cil_tmp187 ;
4535 unsigned short *__cil_tmp188 ;
4536 unsigned long __cil_tmp189 ;
4537 unsigned long __cil_tmp190 ;
4538 unsigned long __cil_tmp191 ;
4539 unsigned long __cil_tmp192 ;
4540 unsigned long __cil_tmp193 ;
4541 unsigned long __cil_tmp194 ;
4542 unsigned long __cil_tmp195 ;
4543 unsigned long __cil_tmp196 ;
4544 unsigned long __cil_tmp197 ;
4545 unsigned long __cil_tmp198 ;
4546 unsigned long __cil_tmp199 ;
4547 unsigned long __cil_tmp200 ;
4548 unsigned long __cil_tmp201 ;
4549 unsigned long __cil_tmp202 ;
4550 unsigned long __cil_tmp203 ;
4551 unsigned long __cil_tmp204 ;
4552 unsigned long __cil_tmp205 ;
4553 unsigned long __cil_tmp206 ;
4554 unsigned long __cil_tmp207 ;
4555 unsigned short *__cil_tmp208 ;
4556 unsigned long __cil_tmp209 ;
4557 unsigned long __cil_tmp210 ;
4558 unsigned long __cil_tmp211 ;
4559 unsigned long __cil_tmp212 ;
4560 unsigned long __cil_tmp213 ;
4561 unsigned long __cil_tmp214 ;
4562 unsigned long __cil_tmp215 ;
4563 struct spi_message *__cil_tmp216 ;
4564 unsigned long __cil_tmp217 ;
4565 unsigned long __cil_tmp218 ;
4566 unsigned long __cil_tmp219 ;
4567 unsigned long __cil_tmp220 ;
4568 struct spi_transfer *__cil_tmp221 ;
4569 unsigned long __cil_tmp222 ;
4570 unsigned long __cil_tmp223 ;
4571 struct spi_message *__cil_tmp224 ;
4572 unsigned long __cil_tmp225 ;
4573 unsigned long __cil_tmp226 ;
4574 unsigned long __cil_tmp227 ;
4575 unsigned long __cil_tmp228 ;
4576 struct spi_transfer *__cil_tmp229 ;
4577 unsigned long __cil_tmp230 ;
4578 unsigned long __cil_tmp231 ;
4579 struct spi_message *__cil_tmp232 ;
4580 unsigned long __cil_tmp233 ;
4581 unsigned long __cil_tmp234 ;
4582 int __cil_tmp235 ;
4583 int __cil_tmp236 ;
4584 int __cil_tmp237 ;
4585 int __cil_tmp238 ;
4586 int __cil_tmp239 ;
4587 unsigned long __cil_tmp240 ;
4588 unsigned long __cil_tmp241 ;
4589 unsigned short __cil_tmp242 ;
4590 int __cil_tmp243 ;
4591 int __cil_tmp244 ;
4592 int __cil_tmp245 ;
4593 __u16 __cil_tmp246 ;
4594 unsigned long __cil_tmp247 ;
4595 unsigned long __cil_tmp248 ;
4596 int __cil_tmp249 ;
4597 struct spi_device *__cil_tmp250 ;
4598 unsigned long __cil_tmp251 ;
4599 unsigned long __cil_tmp252 ;
4600 struct spi_message *__cil_tmp253 ;
4601 struct device *__cil_tmp254 ;
4602 struct device const *__cil_tmp255 ;
4603 unsigned long __cil_tmp256 ;
4604 unsigned long __cil_tmp257 ;
4605 unsigned long __cil_tmp258 ;
4606 unsigned long __cil_tmp259 ;
4607 unsigned long __cil_tmp260 ;
4608 unsigned long __cil_tmp261 ;
4609 unsigned long __cil_tmp262 ;
4610 unsigned long __cil_tmp263 ;
4611 unsigned short __cil_tmp264 ;
4612 unsigned long __cil_tmp265 ;
4613 unsigned long __cil_tmp266 ;
4614 unsigned long __cil_tmp267 ;
4615 unsigned short __cil_tmp268 ;
4616 unsigned long __cil_tmp269 ;
4617 unsigned long __cil_tmp270 ;
4618 unsigned long __cil_tmp271 ;
4619 unsigned short __cil_tmp272 ;
4620 unsigned long __cil_tmp273 ;
4621 unsigned long __cil_tmp274 ;
4622 unsigned long __cil_tmp275 ;
4623 unsigned short __cil_tmp276 ;
4624 unsigned long __cil_tmp277 ;
4625 void const *__cil_tmp278 ;
4626 void const *__cil_tmp279 ;
4627
4628 {
4629#line 207
4630 __cil_tmp14 = 0 + 184;
4631#line 207
4632 __cil_tmp15 = (unsigned long )spi;
4633#line 207
4634 __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
4635#line 207
4636 __cil_tmp17 = *((void **)__cil_tmp16);
4637#line 207
4638 pdata = (struct ad9832_platform_data *)__cil_tmp17;
4639#line 213
4640 if (! pdata) {
4641 {
4642#line 214
4643 while (1) {
4644 while_continue: ;
4645 {
4646#line 214
4647 while (1) {
4648 while_continue___0: ;
4649 {
4650#line 214
4651 __cil_tmp18 = & descriptor;
4652#line 214
4653 __cil_tmp19 = __cil_tmp18->flags;
4654#line 214
4655 __cil_tmp20 = __cil_tmp19 & 1U;
4656#line 214
4657 __cil_tmp21 = ! __cil_tmp20;
4658#line 214
4659 __cil_tmp22 = ! __cil_tmp21;
4660#line 214
4661 __cil_tmp23 = (long )__cil_tmp22;
4662#line 214
4663 tmp___7 = __builtin_expect(__cil_tmp23, 0L);
4664 }
4665#line 214
4666 if (tmp___7) {
4667 {
4668#line 214
4669 __cil_tmp24 = (struct device *)spi;
4670#line 214
4671 __cil_tmp25 = (struct device const *)__cil_tmp24;
4672#line 214
4673 __dynamic_dev_dbg(& descriptor, __cil_tmp25, "no platform data?\n");
4674 }
4675 } else {
4676
4677 }
4678#line 214
4679 goto while_break___0;
4680 }
4681 while_break___0: ;
4682 }
4683#line 214
4684 goto while_break;
4685 }
4686 while_break: ;
4687 }
4688#line 215
4689 return (-19);
4690 } else {
4691
4692 }
4693 {
4694#line 218
4695 __cil_tmp26 = (struct device *)spi;
4696#line 218
4697 reg = (struct regulator *)regulator_get(__cil_tmp26, "vcc");
4698#line 219
4699 __cil_tmp27 = (void const *)reg;
4700#line 219
4701 tmp___8 = (long )IS_ERR(__cil_tmp27);
4702 }
4703#line 219
4704 if (tmp___8) {
4705
4706 } else {
4707 {
4708#line 220
4709 ret = regulator_enable(reg);
4710 }
4711#line 221
4712 if (ret) {
4713#line 222
4714 goto error_put_reg;
4715 } else {
4716
4717 }
4718 }
4719 {
4720#line 225
4721 __cil_tmp28 = (int )728UL;
4722#line 225
4723 indio_dev = iio_allocate_device(__cil_tmp28);
4724 }
4725 {
4726#line 226
4727 __cil_tmp29 = (void *)0;
4728#line 226
4729 __cil_tmp30 = (unsigned long )__cil_tmp29;
4730#line 226
4731 __cil_tmp31 = (unsigned long )indio_dev;
4732#line 226
4733 if (__cil_tmp31 == __cil_tmp30) {
4734#line 227
4735 ret = -12;
4736#line 228
4737 goto error_disable_reg;
4738 } else {
4739
4740 }
4741 }
4742 {
4743#line 230
4744 __cil_tmp32 = (void *)indio_dev;
4745#line 230
4746 spi_set_drvdata(spi, __cil_tmp32);
4747#line 231
4748 __cil_tmp33 = (struct iio_dev const *)indio_dev;
4749#line 231
4750 tmp___9 = iio_priv(__cil_tmp33);
4751#line 231
4752 st = (struct ad9832_state *)tmp___9;
4753#line 232
4754 __cil_tmp34 = (unsigned long )st;
4755#line 232
4756 __cil_tmp35 = __cil_tmp34 + 8;
4757#line 232
4758 *((struct regulator **)__cil_tmp35) = reg;
4759#line 233
4760 __cil_tmp36 = (unsigned long )st;
4761#line 233
4762 __cil_tmp37 = __cil_tmp36 + 16;
4763#line 233
4764 *((unsigned long *)__cil_tmp37) = *((unsigned long *)pdata);
4765#line 234
4766 *((struct spi_device **)st) = spi;
4767#line 236
4768 __cil_tmp38 = (unsigned long )indio_dev;
4769#line 236
4770 __cil_tmp39 = __cil_tmp38 + 16;
4771#line 236
4772 *((struct device **)__cil_tmp39) = (struct device *)spi;
4773#line 237
4774 __cil_tmp40 = (struct spi_device const *)spi;
4775#line 237
4776 tmp___10 = spi_get_device_id(__cil_tmp40);
4777#line 237
4778 __cil_tmp41 = (unsigned long )indio_dev;
4779#line 237
4780 __cil_tmp42 = __cil_tmp41 + 968;
4781#line 237
4782 __cil_tmp43 = 0 * 1UL;
4783#line 237
4784 __cil_tmp44 = 0 + __cil_tmp43;
4785#line 237
4786 __cil_tmp45 = (unsigned long )tmp___10;
4787#line 237
4788 __cil_tmp46 = __cil_tmp45 + __cil_tmp44;
4789#line 237
4790 __cil_tmp47 = (char const *)__cil_tmp46;
4791#line 237
4792 *((char const **)__cil_tmp42) = (char const *)__cil_tmp47;
4793#line 238
4794 __cil_tmp48 = (unsigned long )indio_dev;
4795#line 238
4796 __cil_tmp49 = __cil_tmp48 + 976;
4797#line 238
4798 *((struct iio_info const **)__cil_tmp49) = & ad9832_info;
4799#line 239
4800 __cil_tmp50 = (unsigned long )indio_dev;
4801#line 239
4802 __cil_tmp51 = __cil_tmp50 + 4;
4803#line 239
4804 *((int *)__cil_tmp51) = 1;
4805#line 243
4806 __cil_tmp52 = (unsigned long )st;
4807#line 243
4808 __cil_tmp53 = __cil_tmp52 + 32;
4809#line 243
4810 __cil_tmp54 = (unsigned long )st;
4811#line 243
4812 __cil_tmp55 = __cil_tmp54 + 720;
4813#line 243
4814 __cil_tmp56 = (unsigned short *)__cil_tmp55;
4815#line 243
4816 *((void const **)__cil_tmp53) = (void const *)__cil_tmp56;
4817#line 244
4818 __cil_tmp57 = 32 + 16;
4819#line 244
4820 __cil_tmp58 = (unsigned long )st;
4821#line 244
4822 __cil_tmp59 = __cil_tmp58 + __cil_tmp57;
4823#line 244
4824 *((unsigned int *)__cil_tmp59) = 2U;
4825#line 246
4826 __cil_tmp60 = (unsigned long )st;
4827#line 246
4828 __cil_tmp61 = __cil_tmp60 + 96;
4829#line 246
4830 __cil_tmp62 = (struct spi_message *)__cil_tmp61;
4831#line 246
4832 spi_message_init(__cil_tmp62);
4833#line 247
4834 __cil_tmp63 = (unsigned long )st;
4835#line 247
4836 __cil_tmp64 = __cil_tmp63 + 32;
4837#line 247
4838 __cil_tmp65 = (struct spi_transfer *)__cil_tmp64;
4839#line 247
4840 __cil_tmp66 = (unsigned long )st;
4841#line 247
4842 __cil_tmp67 = __cil_tmp66 + 96;
4843#line 247
4844 __cil_tmp68 = (struct spi_message *)__cil_tmp67;
4845#line 247
4846 spi_message_add_tail(__cil_tmp65, __cil_tmp68);
4847#line 249
4848 __cil_tmp69 = 0 * 64UL;
4849#line 249
4850 __cil_tmp70 = 176 + __cil_tmp69;
4851#line 249
4852 __cil_tmp71 = (unsigned long )st;
4853#line 249
4854 __cil_tmp72 = __cil_tmp71 + __cil_tmp70;
4855#line 249
4856 __cil_tmp73 = 0 * 2UL;
4857#line 249
4858 __cil_tmp74 = 0 + __cil_tmp73;
4859#line 249
4860 __cil_tmp75 = 720 + __cil_tmp74;
4861#line 249
4862 __cil_tmp76 = (unsigned long )st;
4863#line 249
4864 __cil_tmp77 = __cil_tmp76 + __cil_tmp75;
4865#line 249
4866 __cil_tmp78 = (unsigned short *)__cil_tmp77;
4867#line 249
4868 *((void const **)__cil_tmp72) = (void const *)__cil_tmp78;
4869#line 250
4870 __cil_tmp79 = 0 * 64UL;
4871#line 250
4872 __cil_tmp80 = __cil_tmp79 + 16;
4873#line 250
4874 __cil_tmp81 = 176 + __cil_tmp80;
4875#line 250
4876 __cil_tmp82 = (unsigned long )st;
4877#line 250
4878 __cil_tmp83 = __cil_tmp82 + __cil_tmp81;
4879#line 250
4880 *((unsigned int *)__cil_tmp83) = 2U;
4881#line 251
4882 __cil_tmp84 = 0 * 64UL;
4883#line 251
4884 __cil_tmp85 = __cil_tmp84 + 40;
4885#line 251
4886 __cil_tmp86 = 176 + __cil_tmp85;
4887#line 251
4888 __cil_tmp87 = (unsigned long )st;
4889#line 251
4890 __cil_tmp88 = __cil_tmp87 + __cil_tmp86;
4891#line 251
4892 *((unsigned int *)__cil_tmp88) = 1U;
4893#line 252
4894 __cil_tmp89 = 1 * 64UL;
4895#line 252
4896 __cil_tmp90 = 176 + __cil_tmp89;
4897#line 252
4898 __cil_tmp91 = (unsigned long )st;
4899#line 252
4900 __cil_tmp92 = __cil_tmp91 + __cil_tmp90;
4901#line 252
4902 __cil_tmp93 = 1 * 2UL;
4903#line 252
4904 __cil_tmp94 = 0 + __cil_tmp93;
4905#line 252
4906 __cil_tmp95 = 720 + __cil_tmp94;
4907#line 252
4908 __cil_tmp96 = (unsigned long )st;
4909#line 252
4910 __cil_tmp97 = __cil_tmp96 + __cil_tmp95;
4911#line 252
4912 __cil_tmp98 = (unsigned short *)__cil_tmp97;
4913#line 252
4914 *((void const **)__cil_tmp92) = (void const *)__cil_tmp98;
4915#line 253
4916 __cil_tmp99 = 1 * 64UL;
4917#line 253
4918 __cil_tmp100 = __cil_tmp99 + 16;
4919#line 253
4920 __cil_tmp101 = 176 + __cil_tmp100;
4921#line 253
4922 __cil_tmp102 = (unsigned long )st;
4923#line 253
4924 __cil_tmp103 = __cil_tmp102 + __cil_tmp101;
4925#line 253
4926 *((unsigned int *)__cil_tmp103) = 2U;
4927#line 254
4928 __cil_tmp104 = 1 * 64UL;
4929#line 254
4930 __cil_tmp105 = __cil_tmp104 + 40;
4931#line 254
4932 __cil_tmp106 = 176 + __cil_tmp105;
4933#line 254
4934 __cil_tmp107 = (unsigned long )st;
4935#line 254
4936 __cil_tmp108 = __cil_tmp107 + __cil_tmp106;
4937#line 254
4938 *((unsigned int *)__cil_tmp108) = 1U;
4939#line 255
4940 __cil_tmp109 = 2 * 64UL;
4941#line 255
4942 __cil_tmp110 = 176 + __cil_tmp109;
4943#line 255
4944 __cil_tmp111 = (unsigned long )st;
4945#line 255
4946 __cil_tmp112 = __cil_tmp111 + __cil_tmp110;
4947#line 255
4948 __cil_tmp113 = 2 * 2UL;
4949#line 255
4950 __cil_tmp114 = 0 + __cil_tmp113;
4951#line 255
4952 __cil_tmp115 = 720 + __cil_tmp114;
4953#line 255
4954 __cil_tmp116 = (unsigned long )st;
4955#line 255
4956 __cil_tmp117 = __cil_tmp116 + __cil_tmp115;
4957#line 255
4958 __cil_tmp118 = (unsigned short *)__cil_tmp117;
4959#line 255
4960 *((void const **)__cil_tmp112) = (void const *)__cil_tmp118;
4961#line 256
4962 __cil_tmp119 = 2 * 64UL;
4963#line 256
4964 __cil_tmp120 = __cil_tmp119 + 16;
4965#line 256
4966 __cil_tmp121 = 176 + __cil_tmp120;
4967#line 256
4968 __cil_tmp122 = (unsigned long )st;
4969#line 256
4970 __cil_tmp123 = __cil_tmp122 + __cil_tmp121;
4971#line 256
4972 *((unsigned int *)__cil_tmp123) = 2U;
4973#line 257
4974 __cil_tmp124 = 2 * 64UL;
4975#line 257
4976 __cil_tmp125 = __cil_tmp124 + 40;
4977#line 257
4978 __cil_tmp126 = 176 + __cil_tmp125;
4979#line 257
4980 __cil_tmp127 = (unsigned long )st;
4981#line 257
4982 __cil_tmp128 = __cil_tmp127 + __cil_tmp126;
4983#line 257
4984 *((unsigned int *)__cil_tmp128) = 1U;
4985#line 258
4986 __cil_tmp129 = 3 * 64UL;
4987#line 258
4988 __cil_tmp130 = 176 + __cil_tmp129;
4989#line 258
4990 __cil_tmp131 = (unsigned long )st;
4991#line 258
4992 __cil_tmp132 = __cil_tmp131 + __cil_tmp130;
4993#line 258
4994 __cil_tmp133 = 3 * 2UL;
4995#line 258
4996 __cil_tmp134 = 0 + __cil_tmp133;
4997#line 258
4998 __cil_tmp135 = 720 + __cil_tmp134;
4999#line 258
5000 __cil_tmp136 = (unsigned long )st;
5001#line 258
5002 __cil_tmp137 = __cil_tmp136 + __cil_tmp135;
5003#line 258
5004 __cil_tmp138 = (unsigned short *)__cil_tmp137;
5005#line 258
5006 *((void const **)__cil_tmp132) = (void const *)__cil_tmp138;
5007#line 259
5008 __cil_tmp139 = 3 * 64UL;
5009#line 259
5010 __cil_tmp140 = __cil_tmp139 + 16;
5011#line 259
5012 __cil_tmp141 = 176 + __cil_tmp140;
5013#line 259
5014 __cil_tmp142 = (unsigned long )st;
5015#line 259
5016 __cil_tmp143 = __cil_tmp142 + __cil_tmp141;
5017#line 259
5018 *((unsigned int *)__cil_tmp143) = 2U;
5019#line 261
5020 __cil_tmp144 = (unsigned long )st;
5021#line 261
5022 __cil_tmp145 = __cil_tmp144 + 432;
5023#line 261
5024 __cil_tmp146 = (struct spi_message *)__cil_tmp145;
5025#line 261
5026 spi_message_init(__cil_tmp146);
5027#line 262
5028 __cil_tmp147 = 0 * 64UL;
5029#line 262
5030 __cil_tmp148 = 176 + __cil_tmp147;
5031#line 262
5032 __cil_tmp149 = (unsigned long )st;
5033#line 262
5034 __cil_tmp150 = __cil_tmp149 + __cil_tmp148;
5035#line 262
5036 __cil_tmp151 = (struct spi_transfer *)__cil_tmp150;
5037#line 262
5038 __cil_tmp152 = (unsigned long )st;
5039#line 262
5040 __cil_tmp153 = __cil_tmp152 + 432;
5041#line 262
5042 __cil_tmp154 = (struct spi_message *)__cil_tmp153;
5043#line 262
5044 spi_message_add_tail(__cil_tmp151, __cil_tmp154);
5045#line 263
5046 __cil_tmp155 = 1 * 64UL;
5047#line 263
5048 __cil_tmp156 = 176 + __cil_tmp155;
5049#line 263
5050 __cil_tmp157 = (unsigned long )st;
5051#line 263
5052 __cil_tmp158 = __cil_tmp157 + __cil_tmp156;
5053#line 263
5054 __cil_tmp159 = (struct spi_transfer *)__cil_tmp158;
5055#line 263
5056 __cil_tmp160 = (unsigned long )st;
5057#line 263
5058 __cil_tmp161 = __cil_tmp160 + 432;
5059#line 263
5060 __cil_tmp162 = (struct spi_message *)__cil_tmp161;
5061#line 263
5062 spi_message_add_tail(__cil_tmp159, __cil_tmp162);
5063#line 264
5064 __cil_tmp163 = 2 * 64UL;
5065#line 264
5066 __cil_tmp164 = 176 + __cil_tmp163;
5067#line 264
5068 __cil_tmp165 = (unsigned long )st;
5069#line 264
5070 __cil_tmp166 = __cil_tmp165 + __cil_tmp164;
5071#line 264
5072 __cil_tmp167 = (struct spi_transfer *)__cil_tmp166;
5073#line 264
5074 __cil_tmp168 = (unsigned long )st;
5075#line 264
5076 __cil_tmp169 = __cil_tmp168 + 432;
5077#line 264
5078 __cil_tmp170 = (struct spi_message *)__cil_tmp169;
5079#line 264
5080 spi_message_add_tail(__cil_tmp167, __cil_tmp170);
5081#line 265
5082 __cil_tmp171 = 3 * 64UL;
5083#line 265
5084 __cil_tmp172 = 176 + __cil_tmp171;
5085#line 265
5086 __cil_tmp173 = (unsigned long )st;
5087#line 265
5088 __cil_tmp174 = __cil_tmp173 + __cil_tmp172;
5089#line 265
5090 __cil_tmp175 = (struct spi_transfer *)__cil_tmp174;
5091#line 265
5092 __cil_tmp176 = (unsigned long )st;
5093#line 265
5094 __cil_tmp177 = __cil_tmp176 + 432;
5095#line 265
5096 __cil_tmp178 = (struct spi_message *)__cil_tmp177;
5097#line 265
5098 spi_message_add_tail(__cil_tmp175, __cil_tmp178);
5099#line 267
5100 __cil_tmp179 = 0 * 64UL;
5101#line 267
5102 __cil_tmp180 = 512 + __cil_tmp179;
5103#line 267
5104 __cil_tmp181 = (unsigned long )st;
5105#line 267
5106 __cil_tmp182 = __cil_tmp181 + __cil_tmp180;
5107#line 267
5108 __cil_tmp183 = 0 * 2UL;
5109#line 267
5110 __cil_tmp184 = 0 + __cil_tmp183;
5111#line 267
5112 __cil_tmp185 = 720 + __cil_tmp184;
5113#line 267
5114 __cil_tmp186 = (unsigned long )st;
5115#line 267
5116 __cil_tmp187 = __cil_tmp186 + __cil_tmp185;
5117#line 267
5118 __cil_tmp188 = (unsigned short *)__cil_tmp187;
5119#line 267
5120 *((void const **)__cil_tmp182) = (void const *)__cil_tmp188;
5121#line 268
5122 __cil_tmp189 = 0 * 64UL;
5123#line 268
5124 __cil_tmp190 = __cil_tmp189 + 16;
5125#line 268
5126 __cil_tmp191 = 512 + __cil_tmp190;
5127#line 268
5128 __cil_tmp192 = (unsigned long )st;
5129#line 268
5130 __cil_tmp193 = __cil_tmp192 + __cil_tmp191;
5131#line 268
5132 *((unsigned int *)__cil_tmp193) = 2U;
5133#line 269
5134 __cil_tmp194 = 0 * 64UL;
5135#line 269
5136 __cil_tmp195 = __cil_tmp194 + 40;
5137#line 269
5138 __cil_tmp196 = 512 + __cil_tmp195;
5139#line 269
5140 __cil_tmp197 = (unsigned long )st;
5141#line 269
5142 __cil_tmp198 = __cil_tmp197 + __cil_tmp196;
5143#line 269
5144 *((unsigned int *)__cil_tmp198) = 1U;
5145#line 270
5146 __cil_tmp199 = 1 * 64UL;
5147#line 270
5148 __cil_tmp200 = 512 + __cil_tmp199;
5149#line 270
5150 __cil_tmp201 = (unsigned long )st;
5151#line 270
5152 __cil_tmp202 = __cil_tmp201 + __cil_tmp200;
5153#line 270
5154 __cil_tmp203 = 1 * 2UL;
5155#line 270
5156 __cil_tmp204 = 0 + __cil_tmp203;
5157#line 270
5158 __cil_tmp205 = 720 + __cil_tmp204;
5159#line 270
5160 __cil_tmp206 = (unsigned long )st;
5161#line 270
5162 __cil_tmp207 = __cil_tmp206 + __cil_tmp205;
5163#line 270
5164 __cil_tmp208 = (unsigned short *)__cil_tmp207;
5165#line 270
5166 *((void const **)__cil_tmp202) = (void const *)__cil_tmp208;
5167#line 271
5168 __cil_tmp209 = 1 * 64UL;
5169#line 271
5170 __cil_tmp210 = __cil_tmp209 + 16;
5171#line 271
5172 __cil_tmp211 = 512 + __cil_tmp210;
5173#line 271
5174 __cil_tmp212 = (unsigned long )st;
5175#line 271
5176 __cil_tmp213 = __cil_tmp212 + __cil_tmp211;
5177#line 271
5178 *((unsigned int *)__cil_tmp213) = 2U;
5179#line 273
5180 __cil_tmp214 = (unsigned long )st;
5181#line 273
5182 __cil_tmp215 = __cil_tmp214 + 640;
5183#line 273
5184 __cil_tmp216 = (struct spi_message *)__cil_tmp215;
5185#line 273
5186 spi_message_init(__cil_tmp216);
5187#line 274
5188 __cil_tmp217 = 0 * 64UL;
5189#line 274
5190 __cil_tmp218 = 512 + __cil_tmp217;
5191#line 274
5192 __cil_tmp219 = (unsigned long )st;
5193#line 274
5194 __cil_tmp220 = __cil_tmp219 + __cil_tmp218;
5195#line 274
5196 __cil_tmp221 = (struct spi_transfer *)__cil_tmp220;
5197#line 274
5198 __cil_tmp222 = (unsigned long )st;
5199#line 274
5200 __cil_tmp223 = __cil_tmp222 + 640;
5201#line 274
5202 __cil_tmp224 = (struct spi_message *)__cil_tmp223;
5203#line 274
5204 spi_message_add_tail(__cil_tmp221, __cil_tmp224);
5205#line 275
5206 __cil_tmp225 = 1 * 64UL;
5207#line 275
5208 __cil_tmp226 = 512 + __cil_tmp225;
5209#line 275
5210 __cil_tmp227 = (unsigned long )st;
5211#line 275
5212 __cil_tmp228 = __cil_tmp227 + __cil_tmp226;
5213#line 275
5214 __cil_tmp229 = (struct spi_transfer *)__cil_tmp228;
5215#line 275
5216 __cil_tmp230 = (unsigned long )st;
5217#line 275
5218 __cil_tmp231 = __cil_tmp230 + 640;
5219#line 275
5220 __cil_tmp232 = (struct spi_message *)__cil_tmp231;
5221#line 275
5222 spi_message_add_tail(__cil_tmp229, __cil_tmp232);
5223#line 277
5224 __cil_tmp233 = (unsigned long )st;
5225#line 277
5226 __cil_tmp234 = __cil_tmp233 + 28;
5227#line 277
5228 __cil_tmp235 = 1 << 11;
5229#line 277
5230 __cil_tmp236 = 1 << 12;
5231#line 277
5232 __cil_tmp237 = 1 << 13;
5233#line 277
5234 __cil_tmp238 = __cil_tmp237 | __cil_tmp236;
5235#line 277
5236 __cil_tmp239 = __cil_tmp238 | __cil_tmp235;
5237#line 277
5238 *((unsigned short *)__cil_tmp234) = (unsigned short )__cil_tmp239;
5239#line 278
5240 __cil_tmp240 = (unsigned long )st;
5241#line 278
5242 __cil_tmp241 = __cil_tmp240 + 28;
5243#line 278
5244 __cil_tmp242 = *((unsigned short *)__cil_tmp241);
5245#line 278
5246 __cil_tmp243 = (int )__cil_tmp242;
5247#line 278
5248 __cil_tmp244 = 12 << 12;
5249#line 278
5250 __cil_tmp245 = __cil_tmp244 | __cil_tmp243;
5251#line 278
5252 __cil_tmp246 = (__u16 )__cil_tmp245;
5253#line 278
5254 tmp___11 = __fswab16(__cil_tmp246);
5255#line 278
5256 __cil_tmp247 = (unsigned long )st;
5257#line 278
5258 __cil_tmp248 = __cil_tmp247 + 720;
5259#line 278
5260 __cil_tmp249 = (int )tmp___11;
5261#line 278
5262 *((unsigned short *)__cil_tmp248) = (__be16 )__cil_tmp249;
5263#line 280
5264 __cil_tmp250 = *((struct spi_device **)st);
5265#line 280
5266 __cil_tmp251 = (unsigned long )st;
5267#line 280
5268 __cil_tmp252 = __cil_tmp251 + 96;
5269#line 280
5270 __cil_tmp253 = (struct spi_message *)__cil_tmp252;
5271#line 280
5272 ret = spi_sync(__cil_tmp250, __cil_tmp253);
5273 }
5274#line 281
5275 if (ret) {
5276 {
5277#line 282
5278 __cil_tmp254 = (struct device *)spi;
5279#line 282
5280 __cil_tmp255 = (struct device const *)__cil_tmp254;
5281#line 282
5282 dev_err(__cil_tmp255, "device init failed\n");
5283 }
5284#line 283
5285 goto error_free_device;
5286 } else {
5287
5288 }
5289 {
5290#line 286
5291 __cil_tmp256 = (unsigned long )pdata;
5292#line 286
5293 __cil_tmp257 = __cil_tmp256 + 8;
5294#line 286
5295 __cil_tmp258 = *((unsigned long *)__cil_tmp257);
5296#line 286
5297 ret = ad9832_write_frequency(st, 3U, __cil_tmp258);
5298 }
5299#line 287
5300 if (ret) {
5301#line 288
5302 goto error_free_device;
5303 } else {
5304
5305 }
5306 {
5307#line 290
5308 __cil_tmp259 = (unsigned long )pdata;
5309#line 290
5310 __cil_tmp260 = __cil_tmp259 + 16;
5311#line 290
5312 __cil_tmp261 = *((unsigned long *)__cil_tmp260);
5313#line 290
5314 ret = ad9832_write_frequency(st, 7U, __cil_tmp261);
5315 }
5316#line 291
5317 if (ret) {
5318#line 292
5319 goto error_free_device;
5320 } else {
5321
5322 }
5323 {
5324#line 294
5325 __cil_tmp262 = (unsigned long )pdata;
5326#line 294
5327 __cil_tmp263 = __cil_tmp262 + 24;
5328#line 294
5329 __cil_tmp264 = *((unsigned short *)__cil_tmp263);
5330#line 294
5331 __cil_tmp265 = (unsigned long )__cil_tmp264;
5332#line 294
5333 ret = ad9832_write_phase(st, 9UL, __cil_tmp265);
5334 }
5335#line 295
5336 if (ret) {
5337#line 296
5338 goto error_free_device;
5339 } else {
5340
5341 }
5342 {
5343#line 298
5344 __cil_tmp266 = (unsigned long )pdata;
5345#line 298
5346 __cil_tmp267 = __cil_tmp266 + 26;
5347#line 298
5348 __cil_tmp268 = *((unsigned short *)__cil_tmp267);
5349#line 298
5350 __cil_tmp269 = (unsigned long )__cil_tmp268;
5351#line 298
5352 ret = ad9832_write_phase(st, 11UL, __cil_tmp269);
5353 }
5354#line 299
5355 if (ret) {
5356#line 300
5357 goto error_free_device;
5358 } else {
5359
5360 }
5361 {
5362#line 302
5363 __cil_tmp270 = (unsigned long )pdata;
5364#line 302
5365 __cil_tmp271 = __cil_tmp270 + 28;
5366#line 302
5367 __cil_tmp272 = *((unsigned short *)__cil_tmp271);
5368#line 302
5369 __cil_tmp273 = (unsigned long )__cil_tmp272;
5370#line 302
5371 ret = ad9832_write_phase(st, 13UL, __cil_tmp273);
5372 }
5373#line 303
5374 if (ret) {
5375#line 304
5376 goto error_free_device;
5377 } else {
5378
5379 }
5380 {
5381#line 306
5382 __cil_tmp274 = (unsigned long )pdata;
5383#line 306
5384 __cil_tmp275 = __cil_tmp274 + 30;
5385#line 306
5386 __cil_tmp276 = *((unsigned short *)__cil_tmp275);
5387#line 306
5388 __cil_tmp277 = (unsigned long )__cil_tmp276;
5389#line 306
5390 ret = ad9832_write_phase(st, 15UL, __cil_tmp277);
5391 }
5392#line 307
5393 if (ret) {
5394#line 308
5395 goto error_free_device;
5396 } else {
5397
5398 }
5399 {
5400#line 310
5401 ret = iio_device_register(indio_dev);
5402 }
5403#line 311
5404 if (ret) {
5405#line 312
5406 goto error_free_device;
5407 } else {
5408
5409 }
5410#line 314
5411 return (0);
5412 error_free_device:
5413 {
5414#line 317
5415 iio_free_device(indio_dev);
5416 }
5417 error_disable_reg:
5418 {
5419#line 319
5420 __cil_tmp278 = (void const *)reg;
5421#line 319
5422 tmp___12 = (long )IS_ERR(__cil_tmp278);
5423 }
5424#line 319
5425 if (tmp___12) {
5426
5427 } else {
5428 {
5429#line 320
5430 regulator_disable(reg);
5431 }
5432 }
5433 error_put_reg:
5434 {
5435#line 322
5436 __cil_tmp279 = (void const *)reg;
5437#line 322
5438 tmp___13 = (long )IS_ERR(__cil_tmp279);
5439 }
5440#line 322
5441 if (tmp___13) {
5442
5443 } else {
5444 {
5445#line 323
5446 regulator_put(reg);
5447 }
5448 }
5449#line 325
5450 return (ret);
5451}
5452}
5453#line 328
5454static int ad9832_remove(struct spi_device *spi ) __attribute__((__section__(".devexit.text"),
5455__no_instrument_function__)) ;
5456#line 328 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5457static int ad9832_remove(struct spi_device *spi )
5458{ struct iio_dev *indio_dev ;
5459 void *tmp___7 ;
5460 struct ad9832_state *st ;
5461 void *tmp___8 ;
5462 long tmp___9 ;
5463 struct iio_dev const *__cil_tmp7 ;
5464 unsigned long __cil_tmp8 ;
5465 unsigned long __cil_tmp9 ;
5466 struct regulator *__cil_tmp10 ;
5467 void const *__cil_tmp11 ;
5468 unsigned long __cil_tmp12 ;
5469 unsigned long __cil_tmp13 ;
5470 struct regulator *__cil_tmp14 ;
5471 unsigned long __cil_tmp15 ;
5472 unsigned long __cil_tmp16 ;
5473 struct regulator *__cil_tmp17 ;
5474
5475 {
5476 {
5477#line 330
5478 tmp___7 = spi_get_drvdata(spi);
5479#line 330
5480 indio_dev = (struct iio_dev *)tmp___7;
5481#line 331
5482 __cil_tmp7 = (struct iio_dev const *)indio_dev;
5483#line 331
5484 tmp___8 = iio_priv(__cil_tmp7);
5485#line 331
5486 st = (struct ad9832_state *)tmp___8;
5487#line 333
5488 iio_device_unregister(indio_dev);
5489#line 334
5490 __cil_tmp8 = (unsigned long )st;
5491#line 334
5492 __cil_tmp9 = __cil_tmp8 + 8;
5493#line 334
5494 __cil_tmp10 = *((struct regulator **)__cil_tmp9);
5495#line 334
5496 __cil_tmp11 = (void const *)__cil_tmp10;
5497#line 334
5498 tmp___9 = (long )IS_ERR(__cil_tmp11);
5499 }
5500#line 334
5501 if (tmp___9) {
5502
5503 } else {
5504 {
5505#line 335
5506 __cil_tmp12 = (unsigned long )st;
5507#line 335
5508 __cil_tmp13 = __cil_tmp12 + 8;
5509#line 335
5510 __cil_tmp14 = *((struct regulator **)__cil_tmp13);
5511#line 335
5512 regulator_disable(__cil_tmp14);
5513#line 336
5514 __cil_tmp15 = (unsigned long )st;
5515#line 336
5516 __cil_tmp16 = __cil_tmp15 + 8;
5517#line 336
5518 __cil_tmp17 = *((struct regulator **)__cil_tmp16);
5519#line 336
5520 regulator_put(__cil_tmp17);
5521 }
5522 }
5523 {
5524#line 338
5525 iio_free_device(indio_dev);
5526 }
5527#line 340
5528 return (0);
5529}
5530}
5531#line 343 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5532static struct spi_device_id const ad9832_id[2] = { {{(char )'a', (char )'d', (char )'9', (char )'8', (char )'3', (char )'2', (char )'\000'},
5533 (kernel_ulong_t )0},
5534 {{(char )'a', (char )'d', (char )'9', (char )'8', (char )'3', (char )'5', (char )'\000'},
5535 (kernel_ulong_t )0}};
5536#line 348
5537extern struct spi_device_id const __mod_spi_device_table __attribute__((__unused__,
5538__alias__("ad9832_id"))) ;
5539#line 350 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5540static struct spi_driver ad9832_driver = {ad9832_id, & ad9832_probe, & ad9832_remove, (void (*)(struct spi_device *spi ))0,
5541 (int (*)(struct spi_device *spi , pm_message_t mesg ))0, (int (*)(struct spi_device *spi ))0,
5542 {"ad9832", (struct bus_type *)0, & __this_module, (char const *)0, (_Bool)0,
5543 (struct of_device_id const *)0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
5544 (void (*)(struct device *dev ))0, (int (*)(struct device *dev , pm_message_t state ))0,
5545 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
5546 (struct driver_private *)0}};
5547#line 359
5548static int ad9832_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
5549#line 359 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5550static int ad9832_driver_init(void)
5551{ int tmp___7 ;
5552
5553 {
5554 {
5555#line 359
5556 tmp___7 = spi_register_driver(& ad9832_driver);
5557 }
5558#line 359
5559 return (tmp___7);
5560}
5561}
5562#line 359 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5563int init_module(void)
5564{ int tmp___7 ;
5565
5566 {
5567 {
5568#line 359
5569 tmp___7 = ad9832_driver_init();
5570 }
5571#line 359
5572 return (tmp___7);
5573}
5574}
5575#line 359
5576static void ad9832_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
5577#line 359 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5578static void ad9832_driver_exit(void)
5579{
5580
5581 {
5582 {
5583#line 359
5584 spi_unregister_driver(& ad9832_driver);
5585 }
5586#line 359
5587 return;
5588}
5589}
5590#line 359 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5591void cleanup_module(void)
5592{
5593
5594 {
5595 {
5596#line 359
5597 ad9832_driver_exit();
5598 }
5599#line 359
5600 return;
5601}
5602}
5603#line 361 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5604static char const __mod_author361[58] __attribute__((__used__, __unused__, __section__(".modinfo"),
5605__aligned__(1))) =
5606#line 361
5607 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
5608 (char const )'o', (char const )'r', (char const )'=', (char const )'M',
5609 (char const )'i', (char const )'c', (char const )'h', (char const )'a',
5610 (char const )'e', (char const )'l', (char const )' ', (char const )'H',
5611 (char const )'e', (char const )'n', (char const )'n', (char const )'e',
5612 (char const )'r', (char const )'i', (char const )'c', (char const )'h',
5613 (char const )' ', (char const )'<', (char const )'h', (char const )'e',
5614 (char const )'n', (char const )'n', (char const )'e', (char const )'r',
5615 (char const )'i', (char const )'c', (char const )'h', (char const )'@',
5616 (char const )'b', (char const )'l', (char const )'a', (char const )'c',
5617 (char const )'k', (char const )'f', (char const )'i', (char const )'n',
5618 (char const )'.', (char const )'u', (char const )'c', (char const )'l',
5619 (char const )'i', (char const )'n', (char const )'u', (char const )'x',
5620 (char const )'.', (char const )'o', (char const )'r', (char const )'g',
5621 (char const )'>', (char const )'\000'};
5622#line 362 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5623static char const __mod_description362[45] __attribute__((__used__, __unused__,
5624__section__(".modinfo"), __aligned__(1))) =
5625#line 362
5626 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
5627 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
5628 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
5629 (char const )'A', (char const )'n', (char const )'a', (char const )'l',
5630 (char const )'o', (char const )'g', (char const )' ', (char const )'D',
5631 (char const )'e', (char const )'v', (char const )'i', (char const )'c',
5632 (char const )'e', (char const )'s', (char const )' ', (char const )'A',
5633 (char const )'D', (char const )'9', (char const )'8', (char const )'3',
5634 (char const )'2', (char const )'/', (char const )'A', (char const )'D',
5635 (char const )'9', (char const )'8', (char const )'3', (char const )'5',
5636 (char const )' ', (char const )'D', (char const )'D', (char const )'S',
5637 (char const )'\000'};
5638#line 363 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5639static char const __mod_license363[15] __attribute__((__used__, __unused__, __section__(".modinfo"),
5640__aligned__(1))) =
5641#line 363
5642 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
5643 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
5644 (char const )'G', (char const )'P', (char const )'L', (char const )' ',
5645 (char const )'v', (char const )'2', (char const )'\000'};
5646#line 381
5647void ldv_check_final_state(void) ;
5648#line 384
5649extern void ldv_check_return_value(int res ) ;
5650#line 387
5651extern void ldv_initialize(void) ;
5652#line 390
5653extern int __VERIFIER_nondet_int(void) ;
5654#line 393 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5655int LDV_IN_INTERRUPT ;
5656#line 408 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5657static int res_ad9832_probe_4 ;
5658#line 396 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5659void main(void)
5660{ struct spi_device *var_group1 ;
5661 int ldv_s_ad9832_driver_spi_driver ;
5662 int tmp___7 ;
5663 int tmp___8 ;
5664 int __cil_tmp5 ;
5665
5666 {
5667 {
5668#line 416
5669 LDV_IN_INTERRUPT = 1;
5670#line 425
5671 ldv_initialize();
5672#line 426
5673 ldv_s_ad9832_driver_spi_driver = 0;
5674 }
5675 {
5676#line 429
5677 while (1) {
5678 while_continue: ;
5679 {
5680#line 429
5681 tmp___8 = __VERIFIER_nondet_int();
5682 }
5683#line 429
5684 if (tmp___8) {
5685
5686 } else {
5687 {
5688#line 429
5689 __cil_tmp5 = ldv_s_ad9832_driver_spi_driver == 0;
5690#line 429
5691 if (! __cil_tmp5) {
5692
5693 } else {
5694#line 429
5695 goto while_break;
5696 }
5697 }
5698 }
5699 {
5700#line 433
5701 tmp___7 = __VERIFIER_nondet_int();
5702 }
5703#line 435
5704 if (tmp___7 == 0) {
5705#line 435
5706 goto case_0;
5707 } else {
5708 {
5709#line 454
5710 goto switch_default;
5711#line 433
5712 if (0) {
5713 case_0:
5714#line 438
5715 if (ldv_s_ad9832_driver_spi_driver == 0) {
5716 {
5717#line 443
5718 res_ad9832_probe_4 = ad9832_probe(var_group1);
5719#line 444
5720 ldv_check_return_value(res_ad9832_probe_4);
5721 }
5722#line 445
5723 if (res_ad9832_probe_4) {
5724#line 446
5725 goto ldv_module_exit;
5726 } else {
5727
5728 }
5729#line 447
5730 ldv_s_ad9832_driver_spi_driver = 0;
5731 } else {
5732
5733 }
5734#line 453
5735 goto switch_break;
5736 switch_default:
5737#line 454
5738 goto switch_break;
5739 } else {
5740 switch_break: ;
5741 }
5742 }
5743 }
5744 }
5745 while_break: ;
5746 }
5747 ldv_module_exit:
5748 {
5749#line 463
5750 ldv_check_final_state();
5751 }
5752#line 466
5753 return;
5754}
5755}
5756#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
5757void ldv_blast_assert(void)
5758{
5759
5760 {
5761 ERROR:
5762#line 6
5763 goto ERROR;
5764}
5765}
5766#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
5767extern int __VERIFIER_nondet_int(void) ;
5768#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5769int ldv_mutex = 1;
5770#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5771int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
5772{ int nondetermined ;
5773
5774 {
5775#line 29
5776 if (ldv_mutex == 1) {
5777
5778 } else {
5779 {
5780#line 29
5781 ldv_blast_assert();
5782 }
5783 }
5784 {
5785#line 32
5786 nondetermined = __VERIFIER_nondet_int();
5787 }
5788#line 35
5789 if (nondetermined) {
5790#line 38
5791 ldv_mutex = 2;
5792#line 40
5793 return (0);
5794 } else {
5795#line 45
5796 return (-4);
5797 }
5798}
5799}
5800#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5801int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
5802{ int nondetermined ;
5803
5804 {
5805#line 57
5806 if (ldv_mutex == 1) {
5807
5808 } else {
5809 {
5810#line 57
5811 ldv_blast_assert();
5812 }
5813 }
5814 {
5815#line 60
5816 nondetermined = __VERIFIER_nondet_int();
5817 }
5818#line 63
5819 if (nondetermined) {
5820#line 66
5821 ldv_mutex = 2;
5822#line 68
5823 return (0);
5824 } else {
5825#line 73
5826 return (-4);
5827 }
5828}
5829}
5830#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5831int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
5832{ int atomic_value_after_dec ;
5833
5834 {
5835#line 83
5836 if (ldv_mutex == 1) {
5837
5838 } else {
5839 {
5840#line 83
5841 ldv_blast_assert();
5842 }
5843 }
5844 {
5845#line 86
5846 atomic_value_after_dec = __VERIFIER_nondet_int();
5847 }
5848#line 89
5849 if (atomic_value_after_dec == 0) {
5850#line 92
5851 ldv_mutex = 2;
5852#line 94
5853 return (1);
5854 } else {
5855
5856 }
5857#line 98
5858 return (0);
5859}
5860}
5861#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5862void mutex_lock(struct mutex *lock )
5863{
5864
5865 {
5866#line 108
5867 if (ldv_mutex == 1) {
5868
5869 } else {
5870 {
5871#line 108
5872 ldv_blast_assert();
5873 }
5874 }
5875#line 110
5876 ldv_mutex = 2;
5877#line 111
5878 return;
5879}
5880}
5881#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5882int mutex_trylock(struct mutex *lock )
5883{ int nondetermined ;
5884
5885 {
5886#line 121
5887 if (ldv_mutex == 1) {
5888
5889 } else {
5890 {
5891#line 121
5892 ldv_blast_assert();
5893 }
5894 }
5895 {
5896#line 124
5897 nondetermined = __VERIFIER_nondet_int();
5898 }
5899#line 127
5900 if (nondetermined) {
5901#line 130
5902 ldv_mutex = 2;
5903#line 132
5904 return (1);
5905 } else {
5906#line 137
5907 return (0);
5908 }
5909}
5910}
5911#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5912void mutex_unlock(struct mutex *lock )
5913{
5914
5915 {
5916#line 147
5917 if (ldv_mutex == 2) {
5918
5919 } else {
5920 {
5921#line 147
5922 ldv_blast_assert();
5923 }
5924 }
5925#line 149
5926 ldv_mutex = 1;
5927#line 150
5928 return;
5929}
5930}
5931#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5932void ldv_check_final_state(void)
5933{
5934
5935 {
5936#line 156
5937 if (ldv_mutex == 1) {
5938
5939 } else {
5940 {
5941#line 156
5942 ldv_blast_assert();
5943 }
5944 }
5945#line 157
5946 return;
5947}
5948}
5949#line 475 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1860/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9832.c.common.c"
5950long s__builtin_expect(long val , long res )
5951{
5952
5953 {
5954#line 476
5955 return (val);
5956}
5957}