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 155 "include/linux/types.h"
77typedef u64 dma_addr_t;
78#line 202 "include/linux/types.h"
79typedef unsigned int gfp_t;
80#line 219 "include/linux/types.h"
81struct __anonstruct_atomic_t_7 {
82 int counter ;
83};
84#line 219 "include/linux/types.h"
85typedef struct __anonstruct_atomic_t_7 atomic_t;
86#line 224 "include/linux/types.h"
87struct __anonstruct_atomic64_t_8 {
88 long counter ;
89};
90#line 224 "include/linux/types.h"
91typedef struct __anonstruct_atomic64_t_8 atomic64_t;
92#line 229 "include/linux/types.h"
93struct list_head {
94 struct list_head *next ;
95 struct list_head *prev ;
96};
97#line 233
98struct hlist_node;
99#line 233 "include/linux/types.h"
100struct hlist_head {
101 struct hlist_node *first ;
102};
103#line 237 "include/linux/types.h"
104struct hlist_node {
105 struct hlist_node *next ;
106 struct hlist_node **pprev ;
107};
108#line 253 "include/linux/types.h"
109struct rcu_head {
110 struct rcu_head *next ;
111 void (*func)(struct rcu_head *head ) ;
112};
113#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
114typedef u16 __ticket_t;
115#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
116typedef u32 __ticketpair_t;
117#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
118struct __raw_tickets {
119 __ticket_t head ;
120 __ticket_t tail ;
121};
122#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
123union __anonunion____missing_field_name_9 {
124 __ticketpair_t head_tail ;
125 struct __raw_tickets tickets ;
126};
127#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
128struct arch_spinlock {
129 union __anonunion____missing_field_name_9 __annonCompField4 ;
130};
131#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
132typedef struct arch_spinlock arch_spinlock_t;
133#line 12 "include/linux/lockdep.h"
134struct task_struct;
135#line 12
136struct task_struct;
137#line 391 "include/linux/lockdep.h"
138struct lock_class_key {
139
140};
141#line 20 "include/linux/spinlock_types.h"
142struct raw_spinlock {
143 arch_spinlock_t raw_lock ;
144 unsigned int magic ;
145 unsigned int owner_cpu ;
146 void *owner ;
147};
148#line 20 "include/linux/spinlock_types.h"
149typedef struct raw_spinlock raw_spinlock_t;
150#line 64 "include/linux/spinlock_types.h"
151union __anonunion____missing_field_name_12 {
152 struct raw_spinlock rlock ;
153};
154#line 64 "include/linux/spinlock_types.h"
155struct spinlock {
156 union __anonunion____missing_field_name_12 __annonCompField6 ;
157};
158#line 64 "include/linux/spinlock_types.h"
159typedef struct spinlock spinlock_t;
160#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
161struct task_struct;
162#line 8
163struct mm_struct;
164#line 8
165struct mm_struct;
166#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
167struct pt_regs {
168 unsigned long r15 ;
169 unsigned long r14 ;
170 unsigned long r13 ;
171 unsigned long r12 ;
172 unsigned long bp ;
173 unsigned long bx ;
174 unsigned long r11 ;
175 unsigned long r10 ;
176 unsigned long r9 ;
177 unsigned long r8 ;
178 unsigned long ax ;
179 unsigned long cx ;
180 unsigned long dx ;
181 unsigned long si ;
182 unsigned long di ;
183 unsigned long orig_ax ;
184 unsigned long ip ;
185 unsigned long cs ;
186 unsigned long flags ;
187 unsigned long sp ;
188 unsigned long ss ;
189};
190#line 146 "include/linux/init.h"
191typedef void (*ctor_fn_t)(void);
192#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
193struct __anonstruct____missing_field_name_15 {
194 unsigned int a ;
195 unsigned int b ;
196};
197#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
198struct __anonstruct____missing_field_name_16 {
199 u16 limit0 ;
200 u16 base0 ;
201 unsigned int base1 : 8 ;
202 unsigned int type : 4 ;
203 unsigned int s : 1 ;
204 unsigned int dpl : 2 ;
205 unsigned int p : 1 ;
206 unsigned int limit : 4 ;
207 unsigned int avl : 1 ;
208 unsigned int l : 1 ;
209 unsigned int d : 1 ;
210 unsigned int g : 1 ;
211 unsigned int base2 : 8 ;
212};
213#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
214union __anonunion____missing_field_name_14 {
215 struct __anonstruct____missing_field_name_15 __annonCompField7 ;
216 struct __anonstruct____missing_field_name_16 __annonCompField8 ;
217};
218#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
219struct desc_struct {
220 union __anonunion____missing_field_name_14 __annonCompField9 ;
221} __attribute__((__packed__)) ;
222#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
223typedef unsigned long pgdval_t;
224#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
225typedef unsigned long pgprotval_t;
226#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
227struct pgprot {
228 pgprotval_t pgprot ;
229};
230#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
231typedef struct pgprot pgprot_t;
232#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
233struct __anonstruct_pgd_t_20 {
234 pgdval_t pgd ;
235};
236#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
237typedef struct __anonstruct_pgd_t_20 pgd_t;
238#line 282
239struct page;
240#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
241typedef struct page *pgtable_t;
242#line 295
243struct file;
244#line 295
245struct file;
246#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
247struct page;
248#line 47
249struct thread_struct;
250#line 47
251struct thread_struct;
252#line 50
253struct mm_struct;
254#line 51
255struct desc_struct;
256#line 52
257struct task_struct;
258#line 53
259struct cpumask;
260#line 53
261struct cpumask;
262#line 329
263struct arch_spinlock;
264#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
265struct task_struct;
266#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
267struct kernel_vm86_regs {
268 struct pt_regs pt ;
269 unsigned short es ;
270 unsigned short __esh ;
271 unsigned short ds ;
272 unsigned short __dsh ;
273 unsigned short fs ;
274 unsigned short __fsh ;
275 unsigned short gs ;
276 unsigned short __gsh ;
277};
278#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
279union __anonunion____missing_field_name_24 {
280 struct pt_regs *regs ;
281 struct kernel_vm86_regs *vm86 ;
282};
283#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
284struct math_emu_info {
285 long ___orig_eip ;
286 union __anonunion____missing_field_name_24 __annonCompField10 ;
287};
288#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
289struct module;
290#line 56
291struct module;
292#line 47 "include/linux/dynamic_debug.h"
293struct device;
294#line 47
295struct device;
296#line 135 "include/linux/kernel.h"
297struct completion;
298#line 135
299struct completion;
300#line 136
301struct pt_regs;
302#line 349
303struct pid;
304#line 349
305struct pid;
306#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
307struct task_struct;
308#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
309struct page;
310#line 10 "include/asm-generic/bug.h"
311struct bug_entry {
312 int bug_addr_disp ;
313 int file_disp ;
314 unsigned short line ;
315 unsigned short flags ;
316};
317#line 12 "include/linux/bug.h"
318struct pt_regs;
319#line 14 "include/linux/cpumask.h"
320struct cpumask {
321 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
322};
323#line 14 "include/linux/cpumask.h"
324typedef struct cpumask cpumask_t;
325#line 637 "include/linux/cpumask.h"
326typedef struct cpumask *cpumask_var_t;
327#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
328struct static_key;
329#line 234
330struct static_key;
331#line 11 "include/linux/personality.h"
332struct pt_regs;
333#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
334struct i387_fsave_struct {
335 u32 cwd ;
336 u32 swd ;
337 u32 twd ;
338 u32 fip ;
339 u32 fcs ;
340 u32 foo ;
341 u32 fos ;
342 u32 st_space[20] ;
343 u32 status ;
344};
345#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
346struct __anonstruct____missing_field_name_32 {
347 u64 rip ;
348 u64 rdp ;
349};
350#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
351struct __anonstruct____missing_field_name_33 {
352 u32 fip ;
353 u32 fcs ;
354 u32 foo ;
355 u32 fos ;
356};
357#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
358union __anonunion____missing_field_name_31 {
359 struct __anonstruct____missing_field_name_32 __annonCompField14 ;
360 struct __anonstruct____missing_field_name_33 __annonCompField15 ;
361};
362#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
363union __anonunion____missing_field_name_34 {
364 u32 padding1[12] ;
365 u32 sw_reserved[12] ;
366};
367#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
368struct i387_fxsave_struct {
369 u16 cwd ;
370 u16 swd ;
371 u16 twd ;
372 u16 fop ;
373 union __anonunion____missing_field_name_31 __annonCompField16 ;
374 u32 mxcsr ;
375 u32 mxcsr_mask ;
376 u32 st_space[32] ;
377 u32 xmm_space[64] ;
378 u32 padding[12] ;
379 union __anonunion____missing_field_name_34 __annonCompField17 ;
380} __attribute__((__aligned__(16))) ;
381#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
382struct i387_soft_struct {
383 u32 cwd ;
384 u32 swd ;
385 u32 twd ;
386 u32 fip ;
387 u32 fcs ;
388 u32 foo ;
389 u32 fos ;
390 u32 st_space[20] ;
391 u8 ftop ;
392 u8 changed ;
393 u8 lookahead ;
394 u8 no_update ;
395 u8 rm ;
396 u8 alimit ;
397 struct math_emu_info *info ;
398 u32 entry_eip ;
399};
400#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
401struct ymmh_struct {
402 u32 ymmh_space[64] ;
403};
404#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
405struct xsave_hdr_struct {
406 u64 xstate_bv ;
407 u64 reserved1[2] ;
408 u64 reserved2[5] ;
409} __attribute__((__packed__)) ;
410#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
411struct xsave_struct {
412 struct i387_fxsave_struct i387 ;
413 struct xsave_hdr_struct xsave_hdr ;
414 struct ymmh_struct ymmh ;
415} __attribute__((__packed__, __aligned__(64))) ;
416#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
417union thread_xstate {
418 struct i387_fsave_struct fsave ;
419 struct i387_fxsave_struct fxsave ;
420 struct i387_soft_struct soft ;
421 struct xsave_struct xsave ;
422};
423#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
424struct fpu {
425 unsigned int last_cpu ;
426 unsigned int has_fpu ;
427 union thread_xstate *state ;
428};
429#line 433
430struct kmem_cache;
431#line 435
432struct perf_event;
433#line 435
434struct perf_event;
435#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
436struct thread_struct {
437 struct desc_struct tls_array[3] ;
438 unsigned long sp0 ;
439 unsigned long sp ;
440 unsigned long usersp ;
441 unsigned short es ;
442 unsigned short ds ;
443 unsigned short fsindex ;
444 unsigned short gsindex ;
445 unsigned long fs ;
446 unsigned long gs ;
447 struct perf_event *ptrace_bps[4] ;
448 unsigned long debugreg6 ;
449 unsigned long ptrace_dr7 ;
450 unsigned long cr2 ;
451 unsigned long trap_nr ;
452 unsigned long error_code ;
453 struct fpu fpu ;
454 unsigned long *io_bitmap_ptr ;
455 unsigned long iopl ;
456 unsigned int io_bitmap_max ;
457};
458#line 23 "include/asm-generic/atomic-long.h"
459typedef atomic64_t atomic_long_t;
460#line 48 "include/linux/mutex.h"
461struct mutex {
462 atomic_t count ;
463 spinlock_t wait_lock ;
464 struct list_head wait_list ;
465 struct task_struct *owner ;
466 char const *name ;
467 void *magic ;
468};
469#line 69 "include/linux/mutex.h"
470struct mutex_waiter {
471 struct list_head list ;
472 struct task_struct *task ;
473 void *magic ;
474};
475#line 202 "include/linux/ioport.h"
476struct device;
477#line 20 "include/linux/kobject_ns.h"
478struct sock;
479#line 20
480struct sock;
481#line 21
482struct kobject;
483#line 21
484struct kobject;
485#line 27
486enum kobj_ns_type {
487 KOBJ_NS_TYPE_NONE = 0,
488 KOBJ_NS_TYPE_NET = 1,
489 KOBJ_NS_TYPES = 2
490} ;
491#line 40 "include/linux/kobject_ns.h"
492struct kobj_ns_type_operations {
493 enum kobj_ns_type type ;
494 void *(*grab_current_ns)(void) ;
495 void const *(*netlink_ns)(struct sock *sk ) ;
496 void const *(*initial_ns)(void) ;
497 void (*drop_ns)(void * ) ;
498};
499#line 22 "include/linux/sysfs.h"
500struct kobject;
501#line 23
502struct module;
503#line 24
504enum kobj_ns_type;
505#line 26 "include/linux/sysfs.h"
506struct attribute {
507 char const *name ;
508 umode_t mode ;
509};
510#line 56 "include/linux/sysfs.h"
511struct attribute_group {
512 char const *name ;
513 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
514 struct attribute **attrs ;
515};
516#line 85
517struct file;
518#line 86
519struct vm_area_struct;
520#line 86
521struct vm_area_struct;
522#line 88 "include/linux/sysfs.h"
523struct bin_attribute {
524 struct attribute attr ;
525 size_t size ;
526 void *private ;
527 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
528 loff_t , size_t ) ;
529 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
530 loff_t , size_t ) ;
531 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
532};
533#line 112 "include/linux/sysfs.h"
534struct sysfs_ops {
535 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
536 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
537 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
538};
539#line 118
540struct sysfs_dirent;
541#line 118
542struct sysfs_dirent;
543#line 12 "include/linux/thread_info.h"
544struct timespec;
545#line 12
546struct timespec;
547#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
548struct task_struct;
549#line 22 "include/linux/kref.h"
550struct kref {
551 atomic_t refcount ;
552};
553#line 49 "include/linux/wait.h"
554struct __wait_queue_head {
555 spinlock_t lock ;
556 struct list_head task_list ;
557};
558#line 53 "include/linux/wait.h"
559typedef struct __wait_queue_head wait_queue_head_t;
560#line 55
561struct task_struct;
562#line 60 "include/linux/kobject.h"
563struct kset;
564#line 60
565struct kobj_type;
566#line 60 "include/linux/kobject.h"
567struct kobject {
568 char const *name ;
569 struct list_head entry ;
570 struct kobject *parent ;
571 struct kset *kset ;
572 struct kobj_type *ktype ;
573 struct sysfs_dirent *sd ;
574 struct kref kref ;
575 unsigned int state_initialized : 1 ;
576 unsigned int state_in_sysfs : 1 ;
577 unsigned int state_add_uevent_sent : 1 ;
578 unsigned int state_remove_uevent_sent : 1 ;
579 unsigned int uevent_suppress : 1 ;
580};
581#line 108 "include/linux/kobject.h"
582struct kobj_type {
583 void (*release)(struct kobject *kobj ) ;
584 struct sysfs_ops const *sysfs_ops ;
585 struct attribute **default_attrs ;
586 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
587 void const *(*namespace)(struct kobject *kobj ) ;
588};
589#line 116 "include/linux/kobject.h"
590struct kobj_uevent_env {
591 char *envp[32] ;
592 int envp_idx ;
593 char buf[2048] ;
594 int buflen ;
595};
596#line 123 "include/linux/kobject.h"
597struct kset_uevent_ops {
598 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
599 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
600 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
601};
602#line 140
603struct sock;
604#line 159 "include/linux/kobject.h"
605struct kset {
606 struct list_head list ;
607 spinlock_t list_lock ;
608 struct kobject kobj ;
609 struct kset_uevent_ops const *uevent_ops ;
610};
611#line 19 "include/linux/klist.h"
612struct klist_node;
613#line 19
614struct klist_node;
615#line 39 "include/linux/klist.h"
616struct klist_node {
617 void *n_klist ;
618 struct list_head n_node ;
619 struct kref n_ref ;
620};
621#line 119 "include/linux/seqlock.h"
622struct seqcount {
623 unsigned int sequence ;
624};
625#line 119 "include/linux/seqlock.h"
626typedef struct seqcount seqcount_t;
627#line 14 "include/linux/time.h"
628struct timespec {
629 __kernel_time_t tv_sec ;
630 long tv_nsec ;
631};
632#line 46 "include/linux/ktime.h"
633union ktime {
634 s64 tv64 ;
635};
636#line 59 "include/linux/ktime.h"
637typedef union ktime ktime_t;
638#line 10 "include/linux/timer.h"
639struct tvec_base;
640#line 10
641struct tvec_base;
642#line 12 "include/linux/timer.h"
643struct timer_list {
644 struct list_head entry ;
645 unsigned long expires ;
646 struct tvec_base *base ;
647 void (*function)(unsigned long ) ;
648 unsigned long data ;
649 int slack ;
650 int start_pid ;
651 void *start_site ;
652 char start_comm[16] ;
653};
654#line 289
655struct hrtimer;
656#line 289
657struct hrtimer;
658#line 290
659enum hrtimer_restart;
660#line 17 "include/linux/workqueue.h"
661struct work_struct;
662#line 17
663struct work_struct;
664#line 79 "include/linux/workqueue.h"
665struct work_struct {
666 atomic_long_t data ;
667 struct list_head entry ;
668 void (*func)(struct work_struct *work ) ;
669};
670#line 25 "include/linux/completion.h"
671struct completion {
672 unsigned int done ;
673 wait_queue_head_t wait ;
674};
675#line 42 "include/linux/pm.h"
676struct device;
677#line 50 "include/linux/pm.h"
678struct pm_message {
679 int event ;
680};
681#line 50 "include/linux/pm.h"
682typedef struct pm_message pm_message_t;
683#line 264 "include/linux/pm.h"
684struct dev_pm_ops {
685 int (*prepare)(struct device *dev ) ;
686 void (*complete)(struct device *dev ) ;
687 int (*suspend)(struct device *dev ) ;
688 int (*resume)(struct device *dev ) ;
689 int (*freeze)(struct device *dev ) ;
690 int (*thaw)(struct device *dev ) ;
691 int (*poweroff)(struct device *dev ) ;
692 int (*restore)(struct device *dev ) ;
693 int (*suspend_late)(struct device *dev ) ;
694 int (*resume_early)(struct device *dev ) ;
695 int (*freeze_late)(struct device *dev ) ;
696 int (*thaw_early)(struct device *dev ) ;
697 int (*poweroff_late)(struct device *dev ) ;
698 int (*restore_early)(struct device *dev ) ;
699 int (*suspend_noirq)(struct device *dev ) ;
700 int (*resume_noirq)(struct device *dev ) ;
701 int (*freeze_noirq)(struct device *dev ) ;
702 int (*thaw_noirq)(struct device *dev ) ;
703 int (*poweroff_noirq)(struct device *dev ) ;
704 int (*restore_noirq)(struct device *dev ) ;
705 int (*runtime_suspend)(struct device *dev ) ;
706 int (*runtime_resume)(struct device *dev ) ;
707 int (*runtime_idle)(struct device *dev ) ;
708};
709#line 458
710enum rpm_status {
711 RPM_ACTIVE = 0,
712 RPM_RESUMING = 1,
713 RPM_SUSPENDED = 2,
714 RPM_SUSPENDING = 3
715} ;
716#line 480
717enum rpm_request {
718 RPM_REQ_NONE = 0,
719 RPM_REQ_IDLE = 1,
720 RPM_REQ_SUSPEND = 2,
721 RPM_REQ_AUTOSUSPEND = 3,
722 RPM_REQ_RESUME = 4
723} ;
724#line 488
725struct wakeup_source;
726#line 488
727struct wakeup_source;
728#line 495 "include/linux/pm.h"
729struct pm_subsys_data {
730 spinlock_t lock ;
731 unsigned int refcount ;
732};
733#line 506
734struct dev_pm_qos_request;
735#line 506
736struct pm_qos_constraints;
737#line 506 "include/linux/pm.h"
738struct dev_pm_info {
739 pm_message_t power_state ;
740 unsigned int can_wakeup : 1 ;
741 unsigned int async_suspend : 1 ;
742 bool is_prepared : 1 ;
743 bool is_suspended : 1 ;
744 bool ignore_children : 1 ;
745 spinlock_t lock ;
746 struct list_head entry ;
747 struct completion completion ;
748 struct wakeup_source *wakeup ;
749 bool wakeup_path : 1 ;
750 struct timer_list suspend_timer ;
751 unsigned long timer_expires ;
752 struct work_struct work ;
753 wait_queue_head_t wait_queue ;
754 atomic_t usage_count ;
755 atomic_t child_count ;
756 unsigned int disable_depth : 3 ;
757 unsigned int idle_notification : 1 ;
758 unsigned int request_pending : 1 ;
759 unsigned int deferred_resume : 1 ;
760 unsigned int run_wake : 1 ;
761 unsigned int runtime_auto : 1 ;
762 unsigned int no_callbacks : 1 ;
763 unsigned int irq_safe : 1 ;
764 unsigned int use_autosuspend : 1 ;
765 unsigned int timer_autosuspends : 1 ;
766 enum rpm_request request ;
767 enum rpm_status runtime_status ;
768 int runtime_error ;
769 int autosuspend_delay ;
770 unsigned long last_busy ;
771 unsigned long active_jiffies ;
772 unsigned long suspended_jiffies ;
773 unsigned long accounting_timestamp ;
774 ktime_t suspend_time ;
775 s64 max_time_suspended_ns ;
776 struct dev_pm_qos_request *pq_req ;
777 struct pm_subsys_data *subsys_data ;
778 struct pm_qos_constraints *constraints ;
779};
780#line 564 "include/linux/pm.h"
781struct dev_pm_domain {
782 struct dev_pm_ops ops ;
783};
784#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
785struct dma_map_ops;
786#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
787struct dev_archdata {
788 void *acpi_handle ;
789 struct dma_map_ops *dma_ops ;
790 void *iommu ;
791};
792#line 28 "include/linux/device.h"
793struct device;
794#line 29
795struct device_private;
796#line 29
797struct device_private;
798#line 30
799struct device_driver;
800#line 30
801struct device_driver;
802#line 31
803struct driver_private;
804#line 31
805struct driver_private;
806#line 32
807struct module;
808#line 33
809struct class;
810#line 33
811struct class;
812#line 34
813struct subsys_private;
814#line 34
815struct subsys_private;
816#line 35
817struct bus_type;
818#line 35
819struct bus_type;
820#line 36
821struct device_node;
822#line 36
823struct device_node;
824#line 37
825struct iommu_ops;
826#line 37
827struct iommu_ops;
828#line 39 "include/linux/device.h"
829struct bus_attribute {
830 struct attribute attr ;
831 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
832 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
833};
834#line 89
835struct device_attribute;
836#line 89
837struct driver_attribute;
838#line 89 "include/linux/device.h"
839struct bus_type {
840 char const *name ;
841 char const *dev_name ;
842 struct device *dev_root ;
843 struct bus_attribute *bus_attrs ;
844 struct device_attribute *dev_attrs ;
845 struct driver_attribute *drv_attrs ;
846 int (*match)(struct device *dev , struct device_driver *drv ) ;
847 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
848 int (*probe)(struct device *dev ) ;
849 int (*remove)(struct device *dev ) ;
850 void (*shutdown)(struct device *dev ) ;
851 int (*suspend)(struct device *dev , pm_message_t state ) ;
852 int (*resume)(struct device *dev ) ;
853 struct dev_pm_ops const *pm ;
854 struct iommu_ops *iommu_ops ;
855 struct subsys_private *p ;
856};
857#line 127
858struct device_type;
859#line 214
860struct of_device_id;
861#line 214 "include/linux/device.h"
862struct device_driver {
863 char const *name ;
864 struct bus_type *bus ;
865 struct module *owner ;
866 char const *mod_name ;
867 bool suppress_bind_attrs ;
868 struct of_device_id const *of_match_table ;
869 int (*probe)(struct device *dev ) ;
870 int (*remove)(struct device *dev ) ;
871 void (*shutdown)(struct device *dev ) ;
872 int (*suspend)(struct device *dev , pm_message_t state ) ;
873 int (*resume)(struct device *dev ) ;
874 struct attribute_group const **groups ;
875 struct dev_pm_ops const *pm ;
876 struct driver_private *p ;
877};
878#line 249 "include/linux/device.h"
879struct driver_attribute {
880 struct attribute attr ;
881 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
882 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
883};
884#line 330
885struct class_attribute;
886#line 330 "include/linux/device.h"
887struct class {
888 char const *name ;
889 struct module *owner ;
890 struct class_attribute *class_attrs ;
891 struct device_attribute *dev_attrs ;
892 struct bin_attribute *dev_bin_attrs ;
893 struct kobject *dev_kobj ;
894 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
895 char *(*devnode)(struct device *dev , umode_t *mode ) ;
896 void (*class_release)(struct class *class ) ;
897 void (*dev_release)(struct device *dev ) ;
898 int (*suspend)(struct device *dev , pm_message_t state ) ;
899 int (*resume)(struct device *dev ) ;
900 struct kobj_ns_type_operations const *ns_type ;
901 void const *(*namespace)(struct device *dev ) ;
902 struct dev_pm_ops const *pm ;
903 struct subsys_private *p ;
904};
905#line 397 "include/linux/device.h"
906struct class_attribute {
907 struct attribute attr ;
908 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
909 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
910 size_t count ) ;
911 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
912};
913#line 465 "include/linux/device.h"
914struct device_type {
915 char const *name ;
916 struct attribute_group const **groups ;
917 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
918 char *(*devnode)(struct device *dev , umode_t *mode ) ;
919 void (*release)(struct device *dev ) ;
920 struct dev_pm_ops const *pm ;
921};
922#line 476 "include/linux/device.h"
923struct device_attribute {
924 struct attribute attr ;
925 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
926 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
927 size_t count ) ;
928};
929#line 559 "include/linux/device.h"
930struct device_dma_parameters {
931 unsigned int max_segment_size ;
932 unsigned long segment_boundary_mask ;
933};
934#line 627
935struct dma_coherent_mem;
936#line 627 "include/linux/device.h"
937struct device {
938 struct device *parent ;
939 struct device_private *p ;
940 struct kobject kobj ;
941 char const *init_name ;
942 struct device_type const *type ;
943 struct mutex mutex ;
944 struct bus_type *bus ;
945 struct device_driver *driver ;
946 void *platform_data ;
947 struct dev_pm_info power ;
948 struct dev_pm_domain *pm_domain ;
949 int numa_node ;
950 u64 *dma_mask ;
951 u64 coherent_dma_mask ;
952 struct device_dma_parameters *dma_parms ;
953 struct list_head dma_pools ;
954 struct dma_coherent_mem *dma_mem ;
955 struct dev_archdata archdata ;
956 struct device_node *of_node ;
957 dev_t devt ;
958 u32 id ;
959 spinlock_t devres_lock ;
960 struct list_head devres_head ;
961 struct klist_node knode_class ;
962 struct class *class ;
963 struct attribute_group const **groups ;
964 void (*release)(struct device *dev ) ;
965};
966#line 43 "include/linux/pm_wakeup.h"
967struct wakeup_source {
968 char const *name ;
969 struct list_head entry ;
970 spinlock_t lock ;
971 struct timer_list timer ;
972 unsigned long timer_expires ;
973 ktime_t total_time ;
974 ktime_t max_time ;
975 ktime_t last_time ;
976 unsigned long event_count ;
977 unsigned long active_count ;
978 unsigned long relax_count ;
979 unsigned long hit_count ;
980 unsigned int active : 1 ;
981};
982#line 12 "include/linux/mod_devicetable.h"
983typedef unsigned long kernel_ulong_t;
984#line 219 "include/linux/mod_devicetable.h"
985struct of_device_id {
986 char name[32] ;
987 char type[32] ;
988 char compatible[128] ;
989 void *data ;
990};
991#line 442 "include/linux/mod_devicetable.h"
992struct spi_device_id {
993 char name[32] ;
994 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
995};
996#line 98 "include/linux/nodemask.h"
997struct __anonstruct_nodemask_t_45 {
998 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
999};
1000#line 98 "include/linux/nodemask.h"
1001typedef struct __anonstruct_nodemask_t_45 nodemask_t;
1002#line 60 "include/linux/pageblock-flags.h"
1003struct page;
1004#line 19 "include/linux/rwsem.h"
1005struct rw_semaphore;
1006#line 19
1007struct rw_semaphore;
1008#line 25 "include/linux/rwsem.h"
1009struct rw_semaphore {
1010 long count ;
1011 raw_spinlock_t wait_lock ;
1012 struct list_head wait_list ;
1013};
1014#line 9 "include/linux/memory_hotplug.h"
1015struct page;
1016#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
1017struct device;
1018#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1019struct __anonstruct_mm_context_t_113 {
1020 void *ldt ;
1021 int size ;
1022 unsigned short ia32_compat ;
1023 struct mutex lock ;
1024 void *vdso ;
1025};
1026#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1027typedef struct __anonstruct_mm_context_t_113 mm_context_t;
1028#line 8 "include/linux/vmalloc.h"
1029struct vm_area_struct;
1030#line 994 "include/linux/mmzone.h"
1031struct page;
1032#line 10 "include/linux/gfp.h"
1033struct vm_area_struct;
1034#line 46 "include/linux/slub_def.h"
1035struct kmem_cache_cpu {
1036 void **freelist ;
1037 unsigned long tid ;
1038 struct page *page ;
1039 struct page *partial ;
1040 int node ;
1041 unsigned int stat[26] ;
1042};
1043#line 57 "include/linux/slub_def.h"
1044struct kmem_cache_node {
1045 spinlock_t list_lock ;
1046 unsigned long nr_partial ;
1047 struct list_head partial ;
1048 atomic_long_t nr_slabs ;
1049 atomic_long_t total_objects ;
1050 struct list_head full ;
1051};
1052#line 73 "include/linux/slub_def.h"
1053struct kmem_cache_order_objects {
1054 unsigned long x ;
1055};
1056#line 80 "include/linux/slub_def.h"
1057struct kmem_cache {
1058 struct kmem_cache_cpu *cpu_slab ;
1059 unsigned long flags ;
1060 unsigned long min_partial ;
1061 int size ;
1062 int objsize ;
1063 int offset ;
1064 int cpu_partial ;
1065 struct kmem_cache_order_objects oo ;
1066 struct kmem_cache_order_objects max ;
1067 struct kmem_cache_order_objects min ;
1068 gfp_t allocflags ;
1069 int refcount ;
1070 void (*ctor)(void * ) ;
1071 int inuse ;
1072 int align ;
1073 int reserved ;
1074 char const *name ;
1075 struct list_head list ;
1076 struct kobject kobj ;
1077 int remote_node_defrag_ratio ;
1078 struct kmem_cache_node *node[1 << 10] ;
1079};
1080#line 18 "include/linux/capability.h"
1081struct task_struct;
1082#line 94 "include/linux/capability.h"
1083struct kernel_cap_struct {
1084 __u32 cap[2] ;
1085};
1086#line 94 "include/linux/capability.h"
1087typedef struct kernel_cap_struct kernel_cap_t;
1088#line 377
1089struct dentry;
1090#line 377
1091struct dentry;
1092#line 378
1093struct user_namespace;
1094#line 378
1095struct user_namespace;
1096#line 100 "include/linux/rbtree.h"
1097struct rb_node {
1098 unsigned long rb_parent_color ;
1099 struct rb_node *rb_right ;
1100 struct rb_node *rb_left ;
1101} __attribute__((__aligned__(sizeof(long )))) ;
1102#line 110 "include/linux/rbtree.h"
1103struct rb_root {
1104 struct rb_node *rb_node ;
1105};
1106#line 14 "include/linux/prio_tree.h"
1107struct prio_tree_node;
1108#line 14 "include/linux/prio_tree.h"
1109struct raw_prio_tree_node {
1110 struct prio_tree_node *left ;
1111 struct prio_tree_node *right ;
1112 struct prio_tree_node *parent ;
1113};
1114#line 20 "include/linux/prio_tree.h"
1115struct prio_tree_node {
1116 struct prio_tree_node *left ;
1117 struct prio_tree_node *right ;
1118 struct prio_tree_node *parent ;
1119 unsigned long start ;
1120 unsigned long last ;
1121};
1122#line 23 "include/linux/mm_types.h"
1123struct address_space;
1124#line 23
1125struct address_space;
1126#line 40 "include/linux/mm_types.h"
1127union __anonunion____missing_field_name_142 {
1128 unsigned long index ;
1129 void *freelist ;
1130};
1131#line 40 "include/linux/mm_types.h"
1132struct __anonstruct____missing_field_name_146 {
1133 unsigned int inuse : 16 ;
1134 unsigned int objects : 15 ;
1135 unsigned int frozen : 1 ;
1136};
1137#line 40 "include/linux/mm_types.h"
1138union __anonunion____missing_field_name_145 {
1139 atomic_t _mapcount ;
1140 struct __anonstruct____missing_field_name_146 __annonCompField31 ;
1141};
1142#line 40 "include/linux/mm_types.h"
1143struct __anonstruct____missing_field_name_144 {
1144 union __anonunion____missing_field_name_145 __annonCompField32 ;
1145 atomic_t _count ;
1146};
1147#line 40 "include/linux/mm_types.h"
1148union __anonunion____missing_field_name_143 {
1149 unsigned long counters ;
1150 struct __anonstruct____missing_field_name_144 __annonCompField33 ;
1151};
1152#line 40 "include/linux/mm_types.h"
1153struct __anonstruct____missing_field_name_141 {
1154 union __anonunion____missing_field_name_142 __annonCompField30 ;
1155 union __anonunion____missing_field_name_143 __annonCompField34 ;
1156};
1157#line 40 "include/linux/mm_types.h"
1158struct __anonstruct____missing_field_name_148 {
1159 struct page *next ;
1160 int pages ;
1161 int pobjects ;
1162};
1163#line 40 "include/linux/mm_types.h"
1164union __anonunion____missing_field_name_147 {
1165 struct list_head lru ;
1166 struct __anonstruct____missing_field_name_148 __annonCompField36 ;
1167};
1168#line 40 "include/linux/mm_types.h"
1169union __anonunion____missing_field_name_149 {
1170 unsigned long private ;
1171 struct kmem_cache *slab ;
1172 struct page *first_page ;
1173};
1174#line 40 "include/linux/mm_types.h"
1175struct page {
1176 unsigned long flags ;
1177 struct address_space *mapping ;
1178 struct __anonstruct____missing_field_name_141 __annonCompField35 ;
1179 union __anonunion____missing_field_name_147 __annonCompField37 ;
1180 union __anonunion____missing_field_name_149 __annonCompField38 ;
1181 unsigned long debug_flags ;
1182} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1183#line 200 "include/linux/mm_types.h"
1184struct __anonstruct_vm_set_151 {
1185 struct list_head list ;
1186 void *parent ;
1187 struct vm_area_struct *head ;
1188};
1189#line 200 "include/linux/mm_types.h"
1190union __anonunion_shared_150 {
1191 struct __anonstruct_vm_set_151 vm_set ;
1192 struct raw_prio_tree_node prio_tree_node ;
1193};
1194#line 200
1195struct anon_vma;
1196#line 200
1197struct vm_operations_struct;
1198#line 200
1199struct mempolicy;
1200#line 200 "include/linux/mm_types.h"
1201struct vm_area_struct {
1202 struct mm_struct *vm_mm ;
1203 unsigned long vm_start ;
1204 unsigned long vm_end ;
1205 struct vm_area_struct *vm_next ;
1206 struct vm_area_struct *vm_prev ;
1207 pgprot_t vm_page_prot ;
1208 unsigned long vm_flags ;
1209 struct rb_node vm_rb ;
1210 union __anonunion_shared_150 shared ;
1211 struct list_head anon_vma_chain ;
1212 struct anon_vma *anon_vma ;
1213 struct vm_operations_struct const *vm_ops ;
1214 unsigned long vm_pgoff ;
1215 struct file *vm_file ;
1216 void *vm_private_data ;
1217 struct mempolicy *vm_policy ;
1218};
1219#line 257 "include/linux/mm_types.h"
1220struct core_thread {
1221 struct task_struct *task ;
1222 struct core_thread *next ;
1223};
1224#line 262 "include/linux/mm_types.h"
1225struct core_state {
1226 atomic_t nr_threads ;
1227 struct core_thread dumper ;
1228 struct completion startup ;
1229};
1230#line 284 "include/linux/mm_types.h"
1231struct mm_rss_stat {
1232 atomic_long_t count[3] ;
1233};
1234#line 288
1235struct linux_binfmt;
1236#line 288
1237struct mmu_notifier_mm;
1238#line 288 "include/linux/mm_types.h"
1239struct mm_struct {
1240 struct vm_area_struct *mmap ;
1241 struct rb_root mm_rb ;
1242 struct vm_area_struct *mmap_cache ;
1243 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1244 unsigned long pgoff , unsigned long flags ) ;
1245 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1246 unsigned long mmap_base ;
1247 unsigned long task_size ;
1248 unsigned long cached_hole_size ;
1249 unsigned long free_area_cache ;
1250 pgd_t *pgd ;
1251 atomic_t mm_users ;
1252 atomic_t mm_count ;
1253 int map_count ;
1254 spinlock_t page_table_lock ;
1255 struct rw_semaphore mmap_sem ;
1256 struct list_head mmlist ;
1257 unsigned long hiwater_rss ;
1258 unsigned long hiwater_vm ;
1259 unsigned long total_vm ;
1260 unsigned long locked_vm ;
1261 unsigned long pinned_vm ;
1262 unsigned long shared_vm ;
1263 unsigned long exec_vm ;
1264 unsigned long stack_vm ;
1265 unsigned long reserved_vm ;
1266 unsigned long def_flags ;
1267 unsigned long nr_ptes ;
1268 unsigned long start_code ;
1269 unsigned long end_code ;
1270 unsigned long start_data ;
1271 unsigned long end_data ;
1272 unsigned long start_brk ;
1273 unsigned long brk ;
1274 unsigned long start_stack ;
1275 unsigned long arg_start ;
1276 unsigned long arg_end ;
1277 unsigned long env_start ;
1278 unsigned long env_end ;
1279 unsigned long saved_auxv[44] ;
1280 struct mm_rss_stat rss_stat ;
1281 struct linux_binfmt *binfmt ;
1282 cpumask_var_t cpu_vm_mask_var ;
1283 mm_context_t context ;
1284 unsigned int faultstamp ;
1285 unsigned int token_priority ;
1286 unsigned int last_interval ;
1287 unsigned long flags ;
1288 struct core_state *core_state ;
1289 spinlock_t ioctx_lock ;
1290 struct hlist_head ioctx_list ;
1291 struct task_struct *owner ;
1292 struct file *exe_file ;
1293 unsigned long num_exe_file_vmas ;
1294 struct mmu_notifier_mm *mmu_notifier_mm ;
1295 pgtable_t pmd_huge_pte ;
1296 struct cpumask cpumask_allocation ;
1297};
1298#line 7 "include/asm-generic/cputime.h"
1299typedef unsigned long cputime_t;
1300#line 84 "include/linux/sem.h"
1301struct task_struct;
1302#line 101
1303struct sem_undo_list;
1304#line 101 "include/linux/sem.h"
1305struct sysv_sem {
1306 struct sem_undo_list *undo_list ;
1307};
1308#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1309struct siginfo;
1310#line 10
1311struct siginfo;
1312#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1313struct __anonstruct_sigset_t_153 {
1314 unsigned long sig[1] ;
1315};
1316#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1317typedef struct __anonstruct_sigset_t_153 sigset_t;
1318#line 17 "include/asm-generic/signal-defs.h"
1319typedef void __signalfn_t(int );
1320#line 18 "include/asm-generic/signal-defs.h"
1321typedef __signalfn_t *__sighandler_t;
1322#line 20 "include/asm-generic/signal-defs.h"
1323typedef void __restorefn_t(void);
1324#line 21 "include/asm-generic/signal-defs.h"
1325typedef __restorefn_t *__sigrestore_t;
1326#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1327struct sigaction {
1328 __sighandler_t sa_handler ;
1329 unsigned long sa_flags ;
1330 __sigrestore_t sa_restorer ;
1331 sigset_t sa_mask ;
1332};
1333#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1334struct k_sigaction {
1335 struct sigaction sa ;
1336};
1337#line 7 "include/asm-generic/siginfo.h"
1338union sigval {
1339 int sival_int ;
1340 void *sival_ptr ;
1341};
1342#line 7 "include/asm-generic/siginfo.h"
1343typedef union sigval sigval_t;
1344#line 48 "include/asm-generic/siginfo.h"
1345struct __anonstruct__kill_155 {
1346 __kernel_pid_t _pid ;
1347 __kernel_uid32_t _uid ;
1348};
1349#line 48 "include/asm-generic/siginfo.h"
1350struct __anonstruct__timer_156 {
1351 __kernel_timer_t _tid ;
1352 int _overrun ;
1353 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1354 sigval_t _sigval ;
1355 int _sys_private ;
1356};
1357#line 48 "include/asm-generic/siginfo.h"
1358struct __anonstruct__rt_157 {
1359 __kernel_pid_t _pid ;
1360 __kernel_uid32_t _uid ;
1361 sigval_t _sigval ;
1362};
1363#line 48 "include/asm-generic/siginfo.h"
1364struct __anonstruct__sigchld_158 {
1365 __kernel_pid_t _pid ;
1366 __kernel_uid32_t _uid ;
1367 int _status ;
1368 __kernel_clock_t _utime ;
1369 __kernel_clock_t _stime ;
1370};
1371#line 48 "include/asm-generic/siginfo.h"
1372struct __anonstruct__sigfault_159 {
1373 void *_addr ;
1374 short _addr_lsb ;
1375};
1376#line 48 "include/asm-generic/siginfo.h"
1377struct __anonstruct__sigpoll_160 {
1378 long _band ;
1379 int _fd ;
1380};
1381#line 48 "include/asm-generic/siginfo.h"
1382union __anonunion__sifields_154 {
1383 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1384 struct __anonstruct__kill_155 _kill ;
1385 struct __anonstruct__timer_156 _timer ;
1386 struct __anonstruct__rt_157 _rt ;
1387 struct __anonstruct__sigchld_158 _sigchld ;
1388 struct __anonstruct__sigfault_159 _sigfault ;
1389 struct __anonstruct__sigpoll_160 _sigpoll ;
1390};
1391#line 48 "include/asm-generic/siginfo.h"
1392struct siginfo {
1393 int si_signo ;
1394 int si_errno ;
1395 int si_code ;
1396 union __anonunion__sifields_154 _sifields ;
1397};
1398#line 48 "include/asm-generic/siginfo.h"
1399typedef struct siginfo siginfo_t;
1400#line 288
1401struct siginfo;
1402#line 10 "include/linux/signal.h"
1403struct task_struct;
1404#line 18
1405struct user_struct;
1406#line 28 "include/linux/signal.h"
1407struct sigpending {
1408 struct list_head list ;
1409 sigset_t signal ;
1410};
1411#line 239
1412struct timespec;
1413#line 240
1414struct pt_regs;
1415#line 50 "include/linux/pid.h"
1416struct pid_namespace;
1417#line 50 "include/linux/pid.h"
1418struct upid {
1419 int nr ;
1420 struct pid_namespace *ns ;
1421 struct hlist_node pid_chain ;
1422};
1423#line 57 "include/linux/pid.h"
1424struct pid {
1425 atomic_t count ;
1426 unsigned int level ;
1427 struct hlist_head tasks[3] ;
1428 struct rcu_head rcu ;
1429 struct upid numbers[1] ;
1430};
1431#line 69 "include/linux/pid.h"
1432struct pid_link {
1433 struct hlist_node node ;
1434 struct pid *pid ;
1435};
1436#line 100
1437struct pid_namespace;
1438#line 10 "include/linux/seccomp.h"
1439struct __anonstruct_seccomp_t_163 {
1440 int mode ;
1441};
1442#line 10 "include/linux/seccomp.h"
1443typedef struct __anonstruct_seccomp_t_163 seccomp_t;
1444#line 81 "include/linux/plist.h"
1445struct plist_head {
1446 struct list_head node_list ;
1447};
1448#line 85 "include/linux/plist.h"
1449struct plist_node {
1450 int prio ;
1451 struct list_head prio_list ;
1452 struct list_head node_list ;
1453};
1454#line 40 "include/linux/rtmutex.h"
1455struct rt_mutex_waiter;
1456#line 40
1457struct rt_mutex_waiter;
1458#line 42 "include/linux/resource.h"
1459struct rlimit {
1460 unsigned long rlim_cur ;
1461 unsigned long rlim_max ;
1462};
1463#line 81
1464struct task_struct;
1465#line 8 "include/linux/timerqueue.h"
1466struct timerqueue_node {
1467 struct rb_node node ;
1468 ktime_t expires ;
1469};
1470#line 13 "include/linux/timerqueue.h"
1471struct timerqueue_head {
1472 struct rb_root head ;
1473 struct timerqueue_node *next ;
1474};
1475#line 27 "include/linux/hrtimer.h"
1476struct hrtimer_clock_base;
1477#line 27
1478struct hrtimer_clock_base;
1479#line 28
1480struct hrtimer_cpu_base;
1481#line 28
1482struct hrtimer_cpu_base;
1483#line 44
1484enum hrtimer_restart {
1485 HRTIMER_NORESTART = 0,
1486 HRTIMER_RESTART = 1
1487} ;
1488#line 108 "include/linux/hrtimer.h"
1489struct hrtimer {
1490 struct timerqueue_node node ;
1491 ktime_t _softexpires ;
1492 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1493 struct hrtimer_clock_base *base ;
1494 unsigned long state ;
1495 int start_pid ;
1496 void *start_site ;
1497 char start_comm[16] ;
1498};
1499#line 145 "include/linux/hrtimer.h"
1500struct hrtimer_clock_base {
1501 struct hrtimer_cpu_base *cpu_base ;
1502 int index ;
1503 clockid_t clockid ;
1504 struct timerqueue_head active ;
1505 ktime_t resolution ;
1506 ktime_t (*get_time)(void) ;
1507 ktime_t softirq_time ;
1508 ktime_t offset ;
1509};
1510#line 178 "include/linux/hrtimer.h"
1511struct hrtimer_cpu_base {
1512 raw_spinlock_t lock ;
1513 unsigned long active_bases ;
1514 ktime_t expires_next ;
1515 int hres_active ;
1516 int hang_detected ;
1517 unsigned long nr_events ;
1518 unsigned long nr_retries ;
1519 unsigned long nr_hangs ;
1520 ktime_t max_hang_time ;
1521 struct hrtimer_clock_base clock_base[3] ;
1522};
1523#line 11 "include/linux/task_io_accounting.h"
1524struct task_io_accounting {
1525 u64 rchar ;
1526 u64 wchar ;
1527 u64 syscr ;
1528 u64 syscw ;
1529 u64 read_bytes ;
1530 u64 write_bytes ;
1531 u64 cancelled_write_bytes ;
1532};
1533#line 13 "include/linux/latencytop.h"
1534struct task_struct;
1535#line 20 "include/linux/latencytop.h"
1536struct latency_record {
1537 unsigned long backtrace[12] ;
1538 unsigned int count ;
1539 unsigned long time ;
1540 unsigned long max ;
1541};
1542#line 29 "include/linux/sysctl.h"
1543struct completion;
1544#line 939
1545struct nsproxy;
1546#line 939
1547struct nsproxy;
1548#line 29 "include/linux/key.h"
1549typedef int32_t key_serial_t;
1550#line 32 "include/linux/key.h"
1551typedef uint32_t key_perm_t;
1552#line 34
1553struct key;
1554#line 34
1555struct key;
1556#line 75
1557struct user_struct;
1558#line 76
1559struct signal_struct;
1560#line 76
1561struct signal_struct;
1562#line 77
1563struct cred;
1564#line 77
1565struct cred;
1566#line 79
1567struct key_type;
1568#line 79
1569struct key_type;
1570#line 81
1571struct keyring_list;
1572#line 81
1573struct keyring_list;
1574#line 124
1575struct key_user;
1576#line 124 "include/linux/key.h"
1577union __anonunion____missing_field_name_220 {
1578 time_t expiry ;
1579 time_t revoked_at ;
1580};
1581#line 124 "include/linux/key.h"
1582union __anonunion_type_data_221 {
1583 struct list_head link ;
1584 unsigned long x[2] ;
1585 void *p[2] ;
1586 int reject_error ;
1587};
1588#line 124 "include/linux/key.h"
1589union __anonunion_payload_222 {
1590 unsigned long value ;
1591 void *rcudata ;
1592 void *data ;
1593 struct keyring_list *subscriptions ;
1594};
1595#line 124 "include/linux/key.h"
1596struct key {
1597 atomic_t usage ;
1598 key_serial_t serial ;
1599 struct rb_node serial_node ;
1600 struct key_type *type ;
1601 struct rw_semaphore sem ;
1602 struct key_user *user ;
1603 void *security ;
1604 union __anonunion____missing_field_name_220 __annonCompField41 ;
1605 uid_t uid ;
1606 gid_t gid ;
1607 key_perm_t perm ;
1608 unsigned short quotalen ;
1609 unsigned short datalen ;
1610 unsigned long flags ;
1611 char *description ;
1612 union __anonunion_type_data_221 type_data ;
1613 union __anonunion_payload_222 payload ;
1614};
1615#line 18 "include/linux/selinux.h"
1616struct audit_context;
1617#line 18
1618struct audit_context;
1619#line 21 "include/linux/cred.h"
1620struct user_struct;
1621#line 22
1622struct cred;
1623#line 31 "include/linux/cred.h"
1624struct group_info {
1625 atomic_t usage ;
1626 int ngroups ;
1627 int nblocks ;
1628 gid_t small_block[32] ;
1629 gid_t *blocks[0] ;
1630};
1631#line 83 "include/linux/cred.h"
1632struct thread_group_cred {
1633 atomic_t usage ;
1634 pid_t tgid ;
1635 spinlock_t lock ;
1636 struct key *session_keyring ;
1637 struct key *process_keyring ;
1638 struct rcu_head rcu ;
1639};
1640#line 116 "include/linux/cred.h"
1641struct cred {
1642 atomic_t usage ;
1643 atomic_t subscribers ;
1644 void *put_addr ;
1645 unsigned int magic ;
1646 uid_t uid ;
1647 gid_t gid ;
1648 uid_t suid ;
1649 gid_t sgid ;
1650 uid_t euid ;
1651 gid_t egid ;
1652 uid_t fsuid ;
1653 gid_t fsgid ;
1654 unsigned int securebits ;
1655 kernel_cap_t cap_inheritable ;
1656 kernel_cap_t cap_permitted ;
1657 kernel_cap_t cap_effective ;
1658 kernel_cap_t cap_bset ;
1659 unsigned char jit_keyring ;
1660 struct key *thread_keyring ;
1661 struct key *request_key_auth ;
1662 struct thread_group_cred *tgcred ;
1663 void *security ;
1664 struct user_struct *user ;
1665 struct user_namespace *user_ns ;
1666 struct group_info *group_info ;
1667 struct rcu_head rcu ;
1668};
1669#line 61 "include/linux/llist.h"
1670struct llist_node;
1671#line 65 "include/linux/llist.h"
1672struct llist_node {
1673 struct llist_node *next ;
1674};
1675#line 97 "include/linux/sched.h"
1676struct futex_pi_state;
1677#line 97
1678struct futex_pi_state;
1679#line 98
1680struct robust_list_head;
1681#line 98
1682struct robust_list_head;
1683#line 99
1684struct bio_list;
1685#line 99
1686struct bio_list;
1687#line 100
1688struct fs_struct;
1689#line 100
1690struct fs_struct;
1691#line 101
1692struct perf_event_context;
1693#line 101
1694struct perf_event_context;
1695#line 102
1696struct blk_plug;
1697#line 102
1698struct blk_plug;
1699#line 151
1700struct cfs_rq;
1701#line 151
1702struct cfs_rq;
1703#line 259
1704struct task_struct;
1705#line 366
1706struct nsproxy;
1707#line 367
1708struct user_namespace;
1709#line 214 "include/linux/aio.h"
1710struct mm_struct;
1711#line 443 "include/linux/sched.h"
1712struct sighand_struct {
1713 atomic_t count ;
1714 struct k_sigaction action[64] ;
1715 spinlock_t siglock ;
1716 wait_queue_head_t signalfd_wqh ;
1717};
1718#line 450 "include/linux/sched.h"
1719struct pacct_struct {
1720 int ac_flag ;
1721 long ac_exitcode ;
1722 unsigned long ac_mem ;
1723 cputime_t ac_utime ;
1724 cputime_t ac_stime ;
1725 unsigned long ac_minflt ;
1726 unsigned long ac_majflt ;
1727};
1728#line 458 "include/linux/sched.h"
1729struct cpu_itimer {
1730 cputime_t expires ;
1731 cputime_t incr ;
1732 u32 error ;
1733 u32 incr_error ;
1734};
1735#line 476 "include/linux/sched.h"
1736struct task_cputime {
1737 cputime_t utime ;
1738 cputime_t stime ;
1739 unsigned long long sum_exec_runtime ;
1740};
1741#line 512 "include/linux/sched.h"
1742struct thread_group_cputimer {
1743 struct task_cputime cputime ;
1744 int running ;
1745 raw_spinlock_t lock ;
1746};
1747#line 519
1748struct autogroup;
1749#line 519
1750struct autogroup;
1751#line 528
1752struct tty_struct;
1753#line 528
1754struct taskstats;
1755#line 528
1756struct tty_audit_buf;
1757#line 528 "include/linux/sched.h"
1758struct signal_struct {
1759 atomic_t sigcnt ;
1760 atomic_t live ;
1761 int nr_threads ;
1762 wait_queue_head_t wait_chldexit ;
1763 struct task_struct *curr_target ;
1764 struct sigpending shared_pending ;
1765 int group_exit_code ;
1766 int notify_count ;
1767 struct task_struct *group_exit_task ;
1768 int group_stop_count ;
1769 unsigned int flags ;
1770 unsigned int is_child_subreaper : 1 ;
1771 unsigned int has_child_subreaper : 1 ;
1772 struct list_head posix_timers ;
1773 struct hrtimer real_timer ;
1774 struct pid *leader_pid ;
1775 ktime_t it_real_incr ;
1776 struct cpu_itimer it[2] ;
1777 struct thread_group_cputimer cputimer ;
1778 struct task_cputime cputime_expires ;
1779 struct list_head cpu_timers[3] ;
1780 struct pid *tty_old_pgrp ;
1781 int leader ;
1782 struct tty_struct *tty ;
1783 struct autogroup *autogroup ;
1784 cputime_t utime ;
1785 cputime_t stime ;
1786 cputime_t cutime ;
1787 cputime_t cstime ;
1788 cputime_t gtime ;
1789 cputime_t cgtime ;
1790 cputime_t prev_utime ;
1791 cputime_t prev_stime ;
1792 unsigned long nvcsw ;
1793 unsigned long nivcsw ;
1794 unsigned long cnvcsw ;
1795 unsigned long cnivcsw ;
1796 unsigned long min_flt ;
1797 unsigned long maj_flt ;
1798 unsigned long cmin_flt ;
1799 unsigned long cmaj_flt ;
1800 unsigned long inblock ;
1801 unsigned long oublock ;
1802 unsigned long cinblock ;
1803 unsigned long coublock ;
1804 unsigned long maxrss ;
1805 unsigned long cmaxrss ;
1806 struct task_io_accounting ioac ;
1807 unsigned long long sum_sched_runtime ;
1808 struct rlimit rlim[16] ;
1809 struct pacct_struct pacct ;
1810 struct taskstats *stats ;
1811 unsigned int audit_tty ;
1812 struct tty_audit_buf *tty_audit_buf ;
1813 struct rw_semaphore group_rwsem ;
1814 int oom_adj ;
1815 int oom_score_adj ;
1816 int oom_score_adj_min ;
1817 struct mutex cred_guard_mutex ;
1818};
1819#line 703 "include/linux/sched.h"
1820struct user_struct {
1821 atomic_t __count ;
1822 atomic_t processes ;
1823 atomic_t files ;
1824 atomic_t sigpending ;
1825 atomic_t inotify_watches ;
1826 atomic_t inotify_devs ;
1827 atomic_t fanotify_listeners ;
1828 atomic_long_t epoll_watches ;
1829 unsigned long mq_bytes ;
1830 unsigned long locked_shm ;
1831 struct key *uid_keyring ;
1832 struct key *session_keyring ;
1833 struct hlist_node uidhash_node ;
1834 uid_t uid ;
1835 struct user_namespace *user_ns ;
1836 atomic_long_t locked_vm ;
1837};
1838#line 747
1839struct backing_dev_info;
1840#line 747
1841struct backing_dev_info;
1842#line 748
1843struct reclaim_state;
1844#line 748
1845struct reclaim_state;
1846#line 751 "include/linux/sched.h"
1847struct sched_info {
1848 unsigned long pcount ;
1849 unsigned long long run_delay ;
1850 unsigned long long last_arrival ;
1851 unsigned long long last_queued ;
1852};
1853#line 763 "include/linux/sched.h"
1854struct task_delay_info {
1855 spinlock_t lock ;
1856 unsigned int flags ;
1857 struct timespec blkio_start ;
1858 struct timespec blkio_end ;
1859 u64 blkio_delay ;
1860 u64 swapin_delay ;
1861 u32 blkio_count ;
1862 u32 swapin_count ;
1863 struct timespec freepages_start ;
1864 struct timespec freepages_end ;
1865 u64 freepages_delay ;
1866 u32 freepages_count ;
1867};
1868#line 1088
1869struct io_context;
1870#line 1088
1871struct io_context;
1872#line 1097
1873struct audit_context;
1874#line 1098
1875struct mempolicy;
1876#line 1099
1877struct pipe_inode_info;
1878#line 1099
1879struct pipe_inode_info;
1880#line 1102
1881struct rq;
1882#line 1102
1883struct rq;
1884#line 1122 "include/linux/sched.h"
1885struct sched_class {
1886 struct sched_class const *next ;
1887 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
1888 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
1889 void (*yield_task)(struct rq *rq ) ;
1890 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
1891 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
1892 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
1893 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
1894 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
1895 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
1896 void (*post_schedule)(struct rq *this_rq ) ;
1897 void (*task_waking)(struct task_struct *task ) ;
1898 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
1899 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
1900 void (*rq_online)(struct rq *rq ) ;
1901 void (*rq_offline)(struct rq *rq ) ;
1902 void (*set_curr_task)(struct rq *rq ) ;
1903 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
1904 void (*task_fork)(struct task_struct *p ) ;
1905 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
1906 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
1907 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
1908 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
1909 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
1910};
1911#line 1167 "include/linux/sched.h"
1912struct load_weight {
1913 unsigned long weight ;
1914 unsigned long inv_weight ;
1915};
1916#line 1172 "include/linux/sched.h"
1917struct sched_statistics {
1918 u64 wait_start ;
1919 u64 wait_max ;
1920 u64 wait_count ;
1921 u64 wait_sum ;
1922 u64 iowait_count ;
1923 u64 iowait_sum ;
1924 u64 sleep_start ;
1925 u64 sleep_max ;
1926 s64 sum_sleep_runtime ;
1927 u64 block_start ;
1928 u64 block_max ;
1929 u64 exec_max ;
1930 u64 slice_max ;
1931 u64 nr_migrations_cold ;
1932 u64 nr_failed_migrations_affine ;
1933 u64 nr_failed_migrations_running ;
1934 u64 nr_failed_migrations_hot ;
1935 u64 nr_forced_migrations ;
1936 u64 nr_wakeups ;
1937 u64 nr_wakeups_sync ;
1938 u64 nr_wakeups_migrate ;
1939 u64 nr_wakeups_local ;
1940 u64 nr_wakeups_remote ;
1941 u64 nr_wakeups_affine ;
1942 u64 nr_wakeups_affine_attempts ;
1943 u64 nr_wakeups_passive ;
1944 u64 nr_wakeups_idle ;
1945};
1946#line 1207 "include/linux/sched.h"
1947struct sched_entity {
1948 struct load_weight load ;
1949 struct rb_node run_node ;
1950 struct list_head group_node ;
1951 unsigned int on_rq ;
1952 u64 exec_start ;
1953 u64 sum_exec_runtime ;
1954 u64 vruntime ;
1955 u64 prev_sum_exec_runtime ;
1956 u64 nr_migrations ;
1957 struct sched_statistics statistics ;
1958 struct sched_entity *parent ;
1959 struct cfs_rq *cfs_rq ;
1960 struct cfs_rq *my_q ;
1961};
1962#line 1233
1963struct rt_rq;
1964#line 1233 "include/linux/sched.h"
1965struct sched_rt_entity {
1966 struct list_head run_list ;
1967 unsigned long timeout ;
1968 unsigned int time_slice ;
1969 int nr_cpus_allowed ;
1970 struct sched_rt_entity *back ;
1971 struct sched_rt_entity *parent ;
1972 struct rt_rq *rt_rq ;
1973 struct rt_rq *my_q ;
1974};
1975#line 1264
1976struct files_struct;
1977#line 1264
1978struct css_set;
1979#line 1264
1980struct compat_robust_list_head;
1981#line 1264
1982struct mem_cgroup;
1983#line 1264 "include/linux/sched.h"
1984struct memcg_batch_info {
1985 int do_batch ;
1986 struct mem_cgroup *memcg ;
1987 unsigned long nr_pages ;
1988 unsigned long memsw_nr_pages ;
1989};
1990#line 1264 "include/linux/sched.h"
1991struct task_struct {
1992 long volatile state ;
1993 void *stack ;
1994 atomic_t usage ;
1995 unsigned int flags ;
1996 unsigned int ptrace ;
1997 struct llist_node wake_entry ;
1998 int on_cpu ;
1999 int on_rq ;
2000 int prio ;
2001 int static_prio ;
2002 int normal_prio ;
2003 unsigned int rt_priority ;
2004 struct sched_class const *sched_class ;
2005 struct sched_entity se ;
2006 struct sched_rt_entity rt ;
2007 struct hlist_head preempt_notifiers ;
2008 unsigned char fpu_counter ;
2009 unsigned int policy ;
2010 cpumask_t cpus_allowed ;
2011 struct sched_info sched_info ;
2012 struct list_head tasks ;
2013 struct plist_node pushable_tasks ;
2014 struct mm_struct *mm ;
2015 struct mm_struct *active_mm ;
2016 unsigned int brk_randomized : 1 ;
2017 int exit_state ;
2018 int exit_code ;
2019 int exit_signal ;
2020 int pdeath_signal ;
2021 unsigned int jobctl ;
2022 unsigned int personality ;
2023 unsigned int did_exec : 1 ;
2024 unsigned int in_execve : 1 ;
2025 unsigned int in_iowait : 1 ;
2026 unsigned int sched_reset_on_fork : 1 ;
2027 unsigned int sched_contributes_to_load : 1 ;
2028 unsigned int irq_thread : 1 ;
2029 pid_t pid ;
2030 pid_t tgid ;
2031 unsigned long stack_canary ;
2032 struct task_struct *real_parent ;
2033 struct task_struct *parent ;
2034 struct list_head children ;
2035 struct list_head sibling ;
2036 struct task_struct *group_leader ;
2037 struct list_head ptraced ;
2038 struct list_head ptrace_entry ;
2039 struct pid_link pids[3] ;
2040 struct list_head thread_group ;
2041 struct completion *vfork_done ;
2042 int *set_child_tid ;
2043 int *clear_child_tid ;
2044 cputime_t utime ;
2045 cputime_t stime ;
2046 cputime_t utimescaled ;
2047 cputime_t stimescaled ;
2048 cputime_t gtime ;
2049 cputime_t prev_utime ;
2050 cputime_t prev_stime ;
2051 unsigned long nvcsw ;
2052 unsigned long nivcsw ;
2053 struct timespec start_time ;
2054 struct timespec real_start_time ;
2055 unsigned long min_flt ;
2056 unsigned long maj_flt ;
2057 struct task_cputime cputime_expires ;
2058 struct list_head cpu_timers[3] ;
2059 struct cred const *real_cred ;
2060 struct cred const *cred ;
2061 struct cred *replacement_session_keyring ;
2062 char comm[16] ;
2063 int link_count ;
2064 int total_link_count ;
2065 struct sysv_sem sysvsem ;
2066 unsigned long last_switch_count ;
2067 struct thread_struct thread ;
2068 struct fs_struct *fs ;
2069 struct files_struct *files ;
2070 struct nsproxy *nsproxy ;
2071 struct signal_struct *signal ;
2072 struct sighand_struct *sighand ;
2073 sigset_t blocked ;
2074 sigset_t real_blocked ;
2075 sigset_t saved_sigmask ;
2076 struct sigpending pending ;
2077 unsigned long sas_ss_sp ;
2078 size_t sas_ss_size ;
2079 int (*notifier)(void *priv ) ;
2080 void *notifier_data ;
2081 sigset_t *notifier_mask ;
2082 struct audit_context *audit_context ;
2083 uid_t loginuid ;
2084 unsigned int sessionid ;
2085 seccomp_t seccomp ;
2086 u32 parent_exec_id ;
2087 u32 self_exec_id ;
2088 spinlock_t alloc_lock ;
2089 raw_spinlock_t pi_lock ;
2090 struct plist_head pi_waiters ;
2091 struct rt_mutex_waiter *pi_blocked_on ;
2092 struct mutex_waiter *blocked_on ;
2093 unsigned int irq_events ;
2094 unsigned long hardirq_enable_ip ;
2095 unsigned long hardirq_disable_ip ;
2096 unsigned int hardirq_enable_event ;
2097 unsigned int hardirq_disable_event ;
2098 int hardirqs_enabled ;
2099 int hardirq_context ;
2100 unsigned long softirq_disable_ip ;
2101 unsigned long softirq_enable_ip ;
2102 unsigned int softirq_disable_event ;
2103 unsigned int softirq_enable_event ;
2104 int softirqs_enabled ;
2105 int softirq_context ;
2106 void *journal_info ;
2107 struct bio_list *bio_list ;
2108 struct blk_plug *plug ;
2109 struct reclaim_state *reclaim_state ;
2110 struct backing_dev_info *backing_dev_info ;
2111 struct io_context *io_context ;
2112 unsigned long ptrace_message ;
2113 siginfo_t *last_siginfo ;
2114 struct task_io_accounting ioac ;
2115 u64 acct_rss_mem1 ;
2116 u64 acct_vm_mem1 ;
2117 cputime_t acct_timexpd ;
2118 nodemask_t mems_allowed ;
2119 seqcount_t mems_allowed_seq ;
2120 int cpuset_mem_spread_rotor ;
2121 int cpuset_slab_spread_rotor ;
2122 struct css_set *cgroups ;
2123 struct list_head cg_list ;
2124 struct robust_list_head *robust_list ;
2125 struct compat_robust_list_head *compat_robust_list ;
2126 struct list_head pi_state_list ;
2127 struct futex_pi_state *pi_state_cache ;
2128 struct perf_event_context *perf_event_ctxp[2] ;
2129 struct mutex perf_event_mutex ;
2130 struct list_head perf_event_list ;
2131 struct mempolicy *mempolicy ;
2132 short il_next ;
2133 short pref_node_fork ;
2134 struct rcu_head rcu ;
2135 struct pipe_inode_info *splice_pipe ;
2136 struct task_delay_info *delays ;
2137 int make_it_fail ;
2138 int nr_dirtied ;
2139 int nr_dirtied_pause ;
2140 unsigned long dirty_paused_when ;
2141 int latency_record_count ;
2142 struct latency_record latency_record[32] ;
2143 unsigned long timer_slack_ns ;
2144 unsigned long default_timer_slack_ns ;
2145 struct list_head *scm_work_list ;
2146 unsigned long trace ;
2147 unsigned long trace_recursion ;
2148 struct memcg_batch_info memcg_batch ;
2149 atomic_t ptrace_bp_refcnt ;
2150};
2151#line 1681
2152struct pid_namespace;
2153#line 55 "include/linux/kthread.h"
2154struct kthread_work;
2155#line 55
2156struct kthread_work;
2157#line 58 "include/linux/kthread.h"
2158struct kthread_worker {
2159 spinlock_t lock ;
2160 struct list_head work_list ;
2161 struct task_struct *task ;
2162};
2163#line 64 "include/linux/kthread.h"
2164struct kthread_work {
2165 struct list_head node ;
2166 void (*func)(struct kthread_work *work ) ;
2167 wait_queue_head_t done ;
2168 atomic_t flushing ;
2169 int queue_seq ;
2170 int done_seq ;
2171};
2172#line 70 "include/linux/spi/spi.h"
2173struct spi_master;
2174#line 70 "include/linux/spi/spi.h"
2175struct spi_device {
2176 struct device dev ;
2177 struct spi_master *master ;
2178 u32 max_speed_hz ;
2179 u8 chip_select ;
2180 u8 mode ;
2181 u8 bits_per_word ;
2182 int irq ;
2183 void *controller_state ;
2184 void *controller_data ;
2185 char modalias[32] ;
2186};
2187#line 145
2188struct spi_message;
2189#line 145
2190struct spi_message;
2191#line 176 "include/linux/spi/spi.h"
2192struct spi_driver {
2193 struct spi_device_id const *id_table ;
2194 int (*probe)(struct spi_device *spi ) ;
2195 int (*remove)(struct spi_device *spi ) ;
2196 void (*shutdown)(struct spi_device *spi ) ;
2197 int (*suspend)(struct spi_device *spi , pm_message_t mesg ) ;
2198 int (*resume)(struct spi_device *spi ) ;
2199 struct device_driver driver ;
2200};
2201#line 272 "include/linux/spi/spi.h"
2202struct spi_master {
2203 struct device dev ;
2204 struct list_head list ;
2205 s16 bus_num ;
2206 u16 num_chipselect ;
2207 u16 dma_alignment ;
2208 u16 mode_bits ;
2209 u16 flags ;
2210 spinlock_t bus_lock_spinlock ;
2211 struct mutex bus_lock_mutex ;
2212 bool bus_lock_flag ;
2213 int (*setup)(struct spi_device *spi ) ;
2214 int (*transfer)(struct spi_device *spi , struct spi_message *mesg ) ;
2215 void (*cleanup)(struct spi_device *spi ) ;
2216 bool queued ;
2217 struct kthread_worker kworker ;
2218 struct task_struct *kworker_task ;
2219 struct kthread_work pump_messages ;
2220 spinlock_t queue_lock ;
2221 struct list_head queue ;
2222 struct spi_message *cur_msg ;
2223 bool busy ;
2224 bool running ;
2225 bool rt ;
2226 int (*prepare_transfer_hardware)(struct spi_master *master ) ;
2227 int (*transfer_one_message)(struct spi_master *master , struct spi_message *mesg ) ;
2228 int (*unprepare_transfer_hardware)(struct spi_master *master ) ;
2229};
2230#line 492 "include/linux/spi/spi.h"
2231struct spi_transfer {
2232 void const *tx_buf ;
2233 void *rx_buf ;
2234 unsigned int len ;
2235 dma_addr_t tx_dma ;
2236 dma_addr_t rx_dma ;
2237 unsigned int cs_change : 1 ;
2238 u8 bits_per_word ;
2239 u16 delay_usecs ;
2240 u32 speed_hz ;
2241 struct list_head transfer_list ;
2242};
2243#line 541 "include/linux/spi/spi.h"
2244struct spi_message {
2245 struct list_head transfers ;
2246 struct spi_device *spi ;
2247 unsigned int is_dma_mapped : 1 ;
2248 void (*complete)(void *context ) ;
2249 void *context ;
2250 unsigned int actual_length ;
2251 int status ;
2252 struct list_head queue ;
2253 void *state ;
2254};
2255#line 48 "include/linux/kmod.h"
2256struct cred;
2257#line 49
2258struct file;
2259#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
2260struct task_struct;
2261#line 18 "include/linux/elf.h"
2262typedef __u64 Elf64_Addr;
2263#line 19 "include/linux/elf.h"
2264typedef __u16 Elf64_Half;
2265#line 23 "include/linux/elf.h"
2266typedef __u32 Elf64_Word;
2267#line 24 "include/linux/elf.h"
2268typedef __u64 Elf64_Xword;
2269#line 194 "include/linux/elf.h"
2270struct elf64_sym {
2271 Elf64_Word st_name ;
2272 unsigned char st_info ;
2273 unsigned char st_other ;
2274 Elf64_Half st_shndx ;
2275 Elf64_Addr st_value ;
2276 Elf64_Xword st_size ;
2277};
2278#line 194 "include/linux/elf.h"
2279typedef struct elf64_sym Elf64_Sym;
2280#line 438
2281struct file;
2282#line 39 "include/linux/moduleparam.h"
2283struct kernel_param;
2284#line 39
2285struct kernel_param;
2286#line 41 "include/linux/moduleparam.h"
2287struct kernel_param_ops {
2288 int (*set)(char const *val , struct kernel_param const *kp ) ;
2289 int (*get)(char *buffer , struct kernel_param const *kp ) ;
2290 void (*free)(void *arg ) ;
2291};
2292#line 50
2293struct kparam_string;
2294#line 50
2295struct kparam_array;
2296#line 50 "include/linux/moduleparam.h"
2297union __anonunion____missing_field_name_230 {
2298 void *arg ;
2299 struct kparam_string const *str ;
2300 struct kparam_array const *arr ;
2301};
2302#line 50 "include/linux/moduleparam.h"
2303struct kernel_param {
2304 char const *name ;
2305 struct kernel_param_ops const *ops ;
2306 u16 perm ;
2307 s16 level ;
2308 union __anonunion____missing_field_name_230 __annonCompField43 ;
2309};
2310#line 63 "include/linux/moduleparam.h"
2311struct kparam_string {
2312 unsigned int maxlen ;
2313 char *string ;
2314};
2315#line 69 "include/linux/moduleparam.h"
2316struct kparam_array {
2317 unsigned int max ;
2318 unsigned int elemsize ;
2319 unsigned int *num ;
2320 struct kernel_param_ops const *ops ;
2321 void *elem ;
2322};
2323#line 445
2324struct module;
2325#line 80 "include/linux/jump_label.h"
2326struct module;
2327#line 143 "include/linux/jump_label.h"
2328struct static_key {
2329 atomic_t enabled ;
2330};
2331#line 22 "include/linux/tracepoint.h"
2332struct module;
2333#line 23
2334struct tracepoint;
2335#line 23
2336struct tracepoint;
2337#line 25 "include/linux/tracepoint.h"
2338struct tracepoint_func {
2339 void *func ;
2340 void *data ;
2341};
2342#line 30 "include/linux/tracepoint.h"
2343struct tracepoint {
2344 char const *name ;
2345 struct static_key key ;
2346 void (*regfunc)(void) ;
2347 void (*unregfunc)(void) ;
2348 struct tracepoint_func *funcs ;
2349};
2350#line 19 "include/linux/export.h"
2351struct kernel_symbol {
2352 unsigned long value ;
2353 char const *name ;
2354};
2355#line 8 "include/asm-generic/module.h"
2356struct mod_arch_specific {
2357
2358};
2359#line 35 "include/linux/module.h"
2360struct module;
2361#line 37
2362struct module_param_attrs;
2363#line 37 "include/linux/module.h"
2364struct module_kobject {
2365 struct kobject kobj ;
2366 struct module *mod ;
2367 struct kobject *drivers_dir ;
2368 struct module_param_attrs *mp ;
2369};
2370#line 44 "include/linux/module.h"
2371struct module_attribute {
2372 struct attribute attr ;
2373 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
2374 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
2375 size_t count ) ;
2376 void (*setup)(struct module * , char const * ) ;
2377 int (*test)(struct module * ) ;
2378 void (*free)(struct module * ) ;
2379};
2380#line 71
2381struct exception_table_entry;
2382#line 71
2383struct exception_table_entry;
2384#line 199
2385enum module_state {
2386 MODULE_STATE_LIVE = 0,
2387 MODULE_STATE_COMING = 1,
2388 MODULE_STATE_GOING = 2
2389} ;
2390#line 215 "include/linux/module.h"
2391struct module_ref {
2392 unsigned long incs ;
2393 unsigned long decs ;
2394} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2395#line 220
2396struct module_sect_attrs;
2397#line 220
2398struct module_notes_attrs;
2399#line 220
2400struct ftrace_event_call;
2401#line 220 "include/linux/module.h"
2402struct module {
2403 enum module_state state ;
2404 struct list_head list ;
2405 char name[64UL - sizeof(unsigned long )] ;
2406 struct module_kobject mkobj ;
2407 struct module_attribute *modinfo_attrs ;
2408 char const *version ;
2409 char const *srcversion ;
2410 struct kobject *holders_dir ;
2411 struct kernel_symbol const *syms ;
2412 unsigned long const *crcs ;
2413 unsigned int num_syms ;
2414 struct kernel_param *kp ;
2415 unsigned int num_kp ;
2416 unsigned int num_gpl_syms ;
2417 struct kernel_symbol const *gpl_syms ;
2418 unsigned long const *gpl_crcs ;
2419 struct kernel_symbol const *unused_syms ;
2420 unsigned long const *unused_crcs ;
2421 unsigned int num_unused_syms ;
2422 unsigned int num_unused_gpl_syms ;
2423 struct kernel_symbol const *unused_gpl_syms ;
2424 unsigned long const *unused_gpl_crcs ;
2425 struct kernel_symbol const *gpl_future_syms ;
2426 unsigned long const *gpl_future_crcs ;
2427 unsigned int num_gpl_future_syms ;
2428 unsigned int num_exentries ;
2429 struct exception_table_entry *extable ;
2430 int (*init)(void) ;
2431 void *module_init ;
2432 void *module_core ;
2433 unsigned int init_size ;
2434 unsigned int core_size ;
2435 unsigned int init_text_size ;
2436 unsigned int core_text_size ;
2437 unsigned int init_ro_size ;
2438 unsigned int core_ro_size ;
2439 struct mod_arch_specific arch ;
2440 unsigned int taints ;
2441 unsigned int num_bugs ;
2442 struct list_head bug_list ;
2443 struct bug_entry *bug_table ;
2444 Elf64_Sym *symtab ;
2445 Elf64_Sym *core_symtab ;
2446 unsigned int num_symtab ;
2447 unsigned int core_num_syms ;
2448 char *strtab ;
2449 char *core_strtab ;
2450 struct module_sect_attrs *sect_attrs ;
2451 struct module_notes_attrs *notes_attrs ;
2452 char *args ;
2453 void *percpu ;
2454 unsigned int percpu_size ;
2455 unsigned int num_tracepoints ;
2456 struct tracepoint * const *tracepoints_ptrs ;
2457 unsigned int num_trace_bprintk_fmt ;
2458 char const **trace_bprintk_fmt_start ;
2459 struct ftrace_event_call **trace_events ;
2460 unsigned int num_trace_events ;
2461 struct list_head source_list ;
2462 struct list_head target_list ;
2463 struct task_struct *waiter ;
2464 void (*exit)(void) ;
2465 struct module_ref *refptr ;
2466 ctor_fn_t *ctors ;
2467 unsigned int num_ctors ;
2468};
2469#line 8 "include/linux/cdev.h"
2470struct file_operations;
2471#line 8
2472struct file_operations;
2473#line 10
2474struct module;
2475#line 12 "include/linux/cdev.h"
2476struct cdev {
2477 struct kobject kobj ;
2478 struct module *owner ;
2479 struct file_operations const *ops ;
2480 struct list_head list ;
2481 dev_t dev ;
2482 unsigned int count ;
2483};
2484#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../types.h"
2485enum iio_chan_type {
2486 IIO_VOLTAGE = 0,
2487 IIO_CURRENT = 1,
2488 IIO_POWER = 2,
2489 IIO_ACCEL = 3,
2490 IIO_ANGL_VEL = 4,
2491 IIO_MAGN = 5,
2492 IIO_LIGHT = 6,
2493 IIO_INTENSITY = 7,
2494 IIO_PROXIMITY = 8,
2495 IIO_TEMP = 9,
2496 IIO_INCLI = 10,
2497 IIO_ROT = 11,
2498 IIO_ANGL = 12,
2499 IIO_TIMESTAMP = 13,
2500 IIO_CAPACITANCE = 14
2501} ;
2502#line 85 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2503enum iio_endian {
2504 IIO_CPU = 0,
2505 IIO_BE = 1,
2506 IIO_LE = 2
2507} ;
2508#line 91
2509struct iio_chan_spec;
2510#line 91
2511struct iio_chan_spec;
2512#line 92
2513struct iio_dev;
2514#line 92
2515struct iio_dev;
2516#line 101 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2517struct iio_chan_spec_ext_info {
2518 char const *name ;
2519 bool shared ;
2520 ssize_t (*read)(struct iio_dev * , struct iio_chan_spec const * , char *buf ) ;
2521 ssize_t (*write)(struct iio_dev * , struct iio_chan_spec const * , char const *buf ,
2522 size_t len ) ;
2523};
2524#line 151 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2525struct __anonstruct_scan_type_232 {
2526 char sign ;
2527 u8 realbits ;
2528 u8 storagebits ;
2529 u8 shift ;
2530 enum iio_endian endianness ;
2531};
2532#line 151 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2533struct iio_chan_spec {
2534 enum iio_chan_type type ;
2535 int channel ;
2536 int channel2 ;
2537 unsigned long address ;
2538 int scan_index ;
2539 struct __anonstruct_scan_type_232 scan_type ;
2540 long info_mask ;
2541 long event_mask ;
2542 struct iio_chan_spec_ext_info const *ext_info ;
2543 char *extend_name ;
2544 char const *datasheet_name ;
2545 unsigned int processed_val : 1 ;
2546 unsigned int modified : 1 ;
2547 unsigned int indexed : 1 ;
2548 unsigned int output : 1 ;
2549 unsigned int differential : 1 ;
2550};
2551#line 223
2552struct iio_trigger;
2553#line 223
2554struct iio_trigger;
2555#line 224
2556struct iio_dev;
2557#line 251 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2558struct iio_info {
2559 struct module *driver_module ;
2560 struct attribute_group *event_attrs ;
2561 struct attribute_group const *attrs ;
2562 int (*read_raw)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan ,
2563 int *val , int *val2 , long mask ) ;
2564 int (*write_raw)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan ,
2565 int val , int val2 , long mask ) ;
2566 int (*write_raw_get_fmt)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan ,
2567 long mask ) ;
2568 int (*read_event_config)(struct iio_dev *indio_dev , u64 event_code ) ;
2569 int (*write_event_config)(struct iio_dev *indio_dev , u64 event_code , int state ) ;
2570 int (*read_event_value)(struct iio_dev *indio_dev , u64 event_code , int *val ) ;
2571 int (*write_event_value)(struct iio_dev *indio_dev , u64 event_code , int val ) ;
2572 int (*validate_trigger)(struct iio_dev *indio_dev , struct iio_trigger *trig ) ;
2573 int (*update_scan_mode)(struct iio_dev *indio_dev , unsigned long const *scan_mask ) ;
2574 int (*debugfs_reg_access)(struct iio_dev *indio_dev , unsigned int reg , unsigned int writeval ,
2575 unsigned int *readval ) ;
2576};
2577#line 302 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2578struct iio_buffer_setup_ops {
2579 int (*preenable)(struct iio_dev * ) ;
2580 int (*postenable)(struct iio_dev * ) ;
2581 int (*predisable)(struct iio_dev * ) ;
2582 int (*postdisable)(struct iio_dev * ) ;
2583};
2584#line 341
2585struct iio_event_interface;
2586#line 341
2587struct iio_buffer;
2588#line 341
2589struct iio_poll_func;
2590#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2591struct iio_dev {
2592 int id ;
2593 int modes ;
2594 int currentmode ;
2595 struct device dev ;
2596 struct iio_event_interface *event_interface ;
2597 struct iio_buffer *buffer ;
2598 struct mutex mlock ;
2599 unsigned long const *available_scan_masks ;
2600 unsigned int masklength ;
2601 unsigned long const *active_scan_mask ;
2602 struct iio_trigger *trig ;
2603 struct iio_poll_func *pollfunc ;
2604 struct iio_chan_spec const *channels ;
2605 int num_channels ;
2606 struct list_head channel_attr_list ;
2607 struct attribute_group chan_attr_group ;
2608 char const *name ;
2609 struct iio_info const *info ;
2610 struct mutex info_exist_lock ;
2611 struct iio_buffer_setup_ops const *setup_ops ;
2612 struct cdev chrdev ;
2613 struct attribute_group const *groups[7] ;
2614 int groupcounter ;
2615 unsigned long flags ;
2616 struct dentry *debugfs_dentry ;
2617 unsigned int cached_reg_addr ;
2618};
2619#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../sysfs.h"
2620struct iio_chan_spec;
2621#line 23 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../sysfs.h"
2622struct iio_dev_attr {
2623 struct device_attribute dev_attr ;
2624 u64 address ;
2625 struct list_head l ;
2626 struct iio_chan_spec const *c ;
2627};
2628#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
2629struct ad9852_config {
2630 u8 phajst0[3] ;
2631 u8 phajst1[3] ;
2632 u8 fretun1[6] ;
2633 u8 fretun2[6] ;
2634 u8 dltafre[6] ;
2635 u8 updtclk[5] ;
2636 u8 ramprat[4] ;
2637 u8 control[5] ;
2638 u8 outpskm[3] ;
2639 u8 outpskr[2] ;
2640 u8 daccntl[3] ;
2641};
2642#line 61 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
2643struct ad9852_state {
2644 struct mutex lock ;
2645 struct spi_device *sdev ;
2646};
2647#line 1 "<compiler builtins>"
2648long __builtin_expect(long val , long res ) ;
2649#line 24 "include/linux/list.h"
2650__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ;
2651#line 24 "include/linux/list.h"
2652__inline static void INIT_LIST_HEAD(struct list_head *list )
2653{ unsigned long __cil_tmp2 ;
2654 unsigned long __cil_tmp3 ;
2655
2656 {
2657#line 26
2658 *((struct list_head **)list) = list;
2659#line 27
2660 __cil_tmp2 = (unsigned long )list;
2661#line 27
2662 __cil_tmp3 = __cil_tmp2 + 8;
2663#line 27
2664 *((struct list_head **)__cil_tmp3) = list;
2665#line 28
2666 return;
2667}
2668}
2669#line 47
2670extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ;
2671#line 74
2672__inline static void list_add_tail(struct list_head *new , struct list_head *head ) __attribute__((__no_instrument_function__)) ;
2673#line 74 "include/linux/list.h"
2674__inline static void list_add_tail(struct list_head *new , struct list_head *head )
2675{ unsigned long __cil_tmp3 ;
2676 unsigned long __cil_tmp4 ;
2677 struct list_head *__cil_tmp5 ;
2678
2679 {
2680 {
2681#line 76
2682 __cil_tmp3 = (unsigned long )head;
2683#line 76
2684 __cil_tmp4 = __cil_tmp3 + 8;
2685#line 76
2686 __cil_tmp5 = *((struct list_head **)__cil_tmp4);
2687#line 76
2688 __list_add(new, __cil_tmp5, head);
2689 }
2690#line 77
2691 return;
2692}
2693}
2694#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
2695extern void *memset(void *s , int c , size_t n ) ;
2696#line 115 "include/linux/mutex.h"
2697extern void __mutex_init(struct mutex *lock , char const *name , struct lock_class_key *key ) ;
2698#line 152
2699void mutex_lock(struct mutex *lock ) ;
2700#line 153
2701int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2702#line 154
2703int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2704#line 168
2705int mutex_trylock(struct mutex *lock ) ;
2706#line 169
2707void mutex_unlock(struct mutex *lock ) ;
2708#line 170
2709int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2710#line 239 "include/linux/device.h"
2711extern void driver_unregister(struct device_driver *drv ) ;
2712#line 792
2713extern void *dev_get_drvdata(struct device const *dev ) ;
2714#line 793
2715extern int dev_set_drvdata(struct device *dev , void *data ) ;
2716#line 135 "include/linux/spi/spi.h"
2717__inline static void spi_set_drvdata(struct spi_device *spi , void *data ) __attribute__((__no_instrument_function__)) ;
2718#line 135 "include/linux/spi/spi.h"
2719__inline static void spi_set_drvdata(struct spi_device *spi , void *data )
2720{ struct device *__cil_tmp3 ;
2721
2722 {
2723 {
2724#line 137
2725 __cil_tmp3 = (struct device *)spi;
2726#line 137
2727 dev_set_drvdata(__cil_tmp3, data);
2728 }
2729#line 138
2730 return;
2731}
2732}
2733#line 140
2734__inline static void *spi_get_drvdata(struct spi_device *spi ) __attribute__((__no_instrument_function__)) ;
2735#line 140 "include/linux/spi/spi.h"
2736__inline static void *spi_get_drvdata(struct spi_device *spi )
2737{ void *tmp___7 ;
2738 struct device *__cil_tmp3 ;
2739 struct device const *__cil_tmp4 ;
2740
2741 {
2742 {
2743#line 142
2744 __cil_tmp3 = (struct device *)spi;
2745#line 142
2746 __cil_tmp4 = (struct device const *)__cil_tmp3;
2747#line 142
2748 tmp___7 = dev_get_drvdata(__cil_tmp4);
2749 }
2750#line 142
2751 return (tmp___7);
2752}
2753}
2754#line 191
2755extern int spi_register_driver(struct spi_driver *sdrv ) ;
2756#line 198
2757__inline static void spi_unregister_driver(struct spi_driver *sdrv ) __attribute__((__no_instrument_function__)) ;
2758#line 198 "include/linux/spi/spi.h"
2759__inline static void spi_unregister_driver(struct spi_driver *sdrv )
2760{ unsigned long __cil_tmp2 ;
2761 unsigned long __cil_tmp3 ;
2762 struct device_driver *__cil_tmp4 ;
2763
2764 {
2765#line 200
2766 if (sdrv) {
2767 {
2768#line 201
2769 __cil_tmp2 = (unsigned long )sdrv;
2770#line 201
2771 __cil_tmp3 = __cil_tmp2 + 48;
2772#line 201
2773 __cil_tmp4 = (struct device_driver *)__cil_tmp3;
2774#line 201
2775 driver_unregister(__cil_tmp4);
2776 }
2777 } else {
2778
2779 }
2780#line 202
2781 return;
2782}
2783}
2784#line 573
2785__inline static void spi_message_init(struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2786#line 573 "include/linux/spi/spi.h"
2787__inline static void spi_message_init(struct spi_message *m )
2788{ void *__cil_tmp2 ;
2789 struct list_head *__cil_tmp3 ;
2790
2791 {
2792 {
2793#line 575
2794 __cil_tmp2 = (void *)m;
2795#line 575
2796 memset(__cil_tmp2, 0, 80UL);
2797#line 576
2798 __cil_tmp3 = (struct list_head *)m;
2799#line 576
2800 INIT_LIST_HEAD(__cil_tmp3);
2801 }
2802#line 577
2803 return;
2804}
2805}
2806#line 579
2807__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2808#line 579 "include/linux/spi/spi.h"
2809__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m )
2810{ unsigned long __cil_tmp3 ;
2811 unsigned long __cil_tmp4 ;
2812 struct list_head *__cil_tmp5 ;
2813 struct list_head *__cil_tmp6 ;
2814
2815 {
2816 {
2817#line 582
2818 __cil_tmp3 = (unsigned long )t;
2819#line 582
2820 __cil_tmp4 = __cil_tmp3 + 48;
2821#line 582
2822 __cil_tmp5 = (struct list_head *)__cil_tmp4;
2823#line 582
2824 __cil_tmp6 = (struct list_head *)m;
2825#line 582
2826 list_add_tail(__cil_tmp5, __cil_tmp6);
2827 }
2828#line 583
2829 return;
2830}
2831}
2832#line 618
2833extern int spi_setup(struct spi_device *spi ) ;
2834#line 630
2835extern int spi_sync(struct spi_device *spi , struct spi_message *message ) ;
2836#line 26 "include/linux/export.h"
2837extern struct module __this_module ;
2838#line 67 "include/linux/module.h"
2839int init_module(void) ;
2840#line 68
2841void cleanup_module(void) ;
2842#line 392 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2843extern int iio_device_register(struct iio_dev *indio_dev ) ;
2844#line 398
2845extern void iio_device_unregister(struct iio_dev *indio_dev ) ;
2846#line 426
2847extern struct iio_dev *iio_allocate_device(int sizeof_priv ) ;
2848#line 428
2849__inline static void *iio_priv(struct iio_dev const *indio_dev ) __attribute__((__no_instrument_function__)) ;
2850#line 428 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/dds/../iio.h"
2851__inline static void *iio_priv(struct iio_dev const *indio_dev )
2852{ int __cil_tmp2 ;
2853 unsigned long __cil_tmp3 ;
2854 unsigned long __cil_tmp4 ;
2855 unsigned long __cil_tmp5 ;
2856 int __cil_tmp6 ;
2857 unsigned long __cil_tmp7 ;
2858 unsigned long __cil_tmp8 ;
2859 unsigned long __cil_tmp9 ;
2860 unsigned long __cil_tmp10 ;
2861 char *__cil_tmp11 ;
2862 char *__cil_tmp12 ;
2863
2864 {
2865 {
2866#line 430
2867 __cil_tmp2 = 1 << 6;
2868#line 430
2869 __cil_tmp3 = (unsigned long )__cil_tmp2;
2870#line 430
2871 __cil_tmp4 = __cil_tmp3 - 1UL;
2872#line 430
2873 __cil_tmp5 = ~ __cil_tmp4;
2874#line 430
2875 __cil_tmp6 = 1 << 6;
2876#line 430
2877 __cil_tmp7 = (unsigned long )__cil_tmp6;
2878#line 430
2879 __cil_tmp8 = __cil_tmp7 - 1UL;
2880#line 430
2881 __cil_tmp9 = 1256UL + __cil_tmp8;
2882#line 430
2883 __cil_tmp10 = __cil_tmp9 & __cil_tmp5;
2884#line 430
2885 __cil_tmp11 = (char *)indio_dev;
2886#line 430
2887 __cil_tmp12 = __cil_tmp11 + __cil_tmp10;
2888#line 430
2889 return ((void *)__cil_tmp12);
2890 }
2891}
2892}
2893#line 443
2894extern void iio_free_device(struct iio_dev *indio_dev ) ;
2895#line 66 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
2896static ssize_t ad9852_set_parameter(struct device *dev , struct device_attribute *attr ,
2897 char const *buf , size_t len )
2898{ struct spi_message msg ;
2899 struct spi_transfer xfer ;
2900 int ret ;
2901 struct ad9852_config *config ;
2902 struct iio_dev *idev ;
2903 void *tmp___7 ;
2904 struct ad9852_state *st ;
2905 void *tmp___8 ;
2906 size_t tmp___9 ;
2907 struct device const *__cil_tmp14 ;
2908 struct iio_dev const *__cil_tmp15 ;
2909 unsigned long __cil_tmp16 ;
2910 struct spi_transfer *__cil_tmp17 ;
2911 unsigned long __cil_tmp18 ;
2912 unsigned long __cil_tmp19 ;
2913 unsigned long __cil_tmp20 ;
2914 unsigned long __cil_tmp21 ;
2915 u8 *__cil_tmp22 ;
2916 struct mutex *__cil_tmp23 ;
2917 unsigned long __cil_tmp24 ;
2918 unsigned long __cil_tmp25 ;
2919 struct spi_device *__cil_tmp26 ;
2920 unsigned long __cil_tmp27 ;
2921 struct spi_transfer *__cil_tmp28 ;
2922 unsigned long __cil_tmp29 ;
2923 unsigned long __cil_tmp30 ;
2924 unsigned long __cil_tmp31 ;
2925 unsigned long __cil_tmp32 ;
2926 u8 *__cil_tmp33 ;
2927 unsigned long __cil_tmp34 ;
2928 unsigned long __cil_tmp35 ;
2929 struct spi_device *__cil_tmp36 ;
2930 unsigned long __cil_tmp37 ;
2931 struct spi_transfer *__cil_tmp38 ;
2932 unsigned long __cil_tmp39 ;
2933 unsigned long __cil_tmp40 ;
2934 unsigned long __cil_tmp41 ;
2935 unsigned long __cil_tmp42 ;
2936 u8 *__cil_tmp43 ;
2937 unsigned long __cil_tmp44 ;
2938 unsigned long __cil_tmp45 ;
2939 struct spi_device *__cil_tmp46 ;
2940 unsigned long __cil_tmp47 ;
2941 struct spi_transfer *__cil_tmp48 ;
2942 unsigned long __cil_tmp49 ;
2943 unsigned long __cil_tmp50 ;
2944 unsigned long __cil_tmp51 ;
2945 unsigned long __cil_tmp52 ;
2946 u8 *__cil_tmp53 ;
2947 unsigned long __cil_tmp54 ;
2948 unsigned long __cil_tmp55 ;
2949 struct spi_device *__cil_tmp56 ;
2950 unsigned long __cil_tmp57 ;
2951 struct spi_transfer *__cil_tmp58 ;
2952 unsigned long __cil_tmp59 ;
2953 unsigned long __cil_tmp60 ;
2954 unsigned long __cil_tmp61 ;
2955 unsigned long __cil_tmp62 ;
2956 u8 *__cil_tmp63 ;
2957 unsigned long __cil_tmp64 ;
2958 unsigned long __cil_tmp65 ;
2959 struct spi_device *__cil_tmp66 ;
2960 unsigned long __cil_tmp67 ;
2961 struct spi_transfer *__cil_tmp68 ;
2962 unsigned long __cil_tmp69 ;
2963 unsigned long __cil_tmp70 ;
2964 unsigned long __cil_tmp71 ;
2965 unsigned long __cil_tmp72 ;
2966 u8 *__cil_tmp73 ;
2967 unsigned long __cil_tmp74 ;
2968 unsigned long __cil_tmp75 ;
2969 struct spi_device *__cil_tmp76 ;
2970 unsigned long __cil_tmp77 ;
2971 struct spi_transfer *__cil_tmp78 ;
2972 unsigned long __cil_tmp79 ;
2973 unsigned long __cil_tmp80 ;
2974 unsigned long __cil_tmp81 ;
2975 unsigned long __cil_tmp82 ;
2976 u8 *__cil_tmp83 ;
2977 unsigned long __cil_tmp84 ;
2978 unsigned long __cil_tmp85 ;
2979 struct spi_device *__cil_tmp86 ;
2980 unsigned long __cil_tmp87 ;
2981 struct spi_transfer *__cil_tmp88 ;
2982 unsigned long __cil_tmp89 ;
2983 unsigned long __cil_tmp90 ;
2984 unsigned long __cil_tmp91 ;
2985 unsigned long __cil_tmp92 ;
2986 u8 *__cil_tmp93 ;
2987 unsigned long __cil_tmp94 ;
2988 unsigned long __cil_tmp95 ;
2989 struct spi_device *__cil_tmp96 ;
2990 unsigned long __cil_tmp97 ;
2991 struct spi_transfer *__cil_tmp98 ;
2992 unsigned long __cil_tmp99 ;
2993 unsigned long __cil_tmp100 ;
2994 unsigned long __cil_tmp101 ;
2995 unsigned long __cil_tmp102 ;
2996 u8 *__cil_tmp103 ;
2997 unsigned long __cil_tmp104 ;
2998 unsigned long __cil_tmp105 ;
2999 struct spi_device *__cil_tmp106 ;
3000 unsigned long __cil_tmp107 ;
3001 struct spi_transfer *__cil_tmp108 ;
3002 unsigned long __cil_tmp109 ;
3003 unsigned long __cil_tmp110 ;
3004 unsigned long __cil_tmp111 ;
3005 unsigned long __cil_tmp112 ;
3006 u8 *__cil_tmp113 ;
3007 unsigned long __cil_tmp114 ;
3008 unsigned long __cil_tmp115 ;
3009 struct spi_device *__cil_tmp116 ;
3010 unsigned long __cil_tmp117 ;
3011 struct spi_transfer *__cil_tmp118 ;
3012 unsigned long __cil_tmp119 ;
3013 unsigned long __cil_tmp120 ;
3014 unsigned long __cil_tmp121 ;
3015 unsigned long __cil_tmp122 ;
3016 u8 *__cil_tmp123 ;
3017 unsigned long __cil_tmp124 ;
3018 unsigned long __cil_tmp125 ;
3019 struct spi_device *__cil_tmp126 ;
3020 struct mutex *__cil_tmp127 ;
3021
3022 {
3023 {
3024#line 74
3025 config = (struct ad9852_config *)buf;
3026#line 75
3027 __cil_tmp14 = (struct device const *)dev;
3028#line 75
3029 tmp___7 = dev_get_drvdata(__cil_tmp14);
3030#line 75
3031 idev = (struct iio_dev *)tmp___7;
3032#line 76
3033 __cil_tmp15 = (struct iio_dev const *)idev;
3034#line 76
3035 tmp___8 = iio_priv(__cil_tmp15);
3036#line 76
3037 st = (struct ad9852_state *)tmp___8;
3038#line 78
3039 __cil_tmp16 = (unsigned long )(& xfer) + 16;
3040#line 78
3041 *((unsigned int *)__cil_tmp16) = 3U;
3042#line 79
3043 __cil_tmp17 = & xfer;
3044#line 79
3045 __cil_tmp18 = 0 * 1UL;
3046#line 79
3047 __cil_tmp19 = 0 + __cil_tmp18;
3048#line 79
3049 __cil_tmp20 = (unsigned long )config;
3050#line 79
3051 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
3052#line 79
3053 __cil_tmp22 = (u8 *)__cil_tmp21;
3054#line 79
3055 *((void const **)__cil_tmp17) = (void const *)__cil_tmp22;
3056#line 80
3057 __cil_tmp23 = (struct mutex *)st;
3058#line 80
3059 mutex_lock(__cil_tmp23);
3060#line 82
3061 spi_message_init(& msg);
3062#line 83
3063 spi_message_add_tail(& xfer, & msg);
3064#line 84
3065 __cil_tmp24 = (unsigned long )st;
3066#line 84
3067 __cil_tmp25 = __cil_tmp24 + 72;
3068#line 84
3069 __cil_tmp26 = *((struct spi_device **)__cil_tmp25);
3070#line 84
3071 ret = spi_sync(__cil_tmp26, & msg);
3072 }
3073#line 85
3074 if (ret) {
3075#line 86
3076 goto error_ret;
3077 } else {
3078
3079 }
3080 {
3081#line 88
3082 __cil_tmp27 = (unsigned long )(& xfer) + 16;
3083#line 88
3084 *((unsigned int *)__cil_tmp27) = 3U;
3085#line 89
3086 __cil_tmp28 = & xfer;
3087#line 89
3088 __cil_tmp29 = 0 * 1UL;
3089#line 89
3090 __cil_tmp30 = 3 + __cil_tmp29;
3091#line 89
3092 __cil_tmp31 = (unsigned long )config;
3093#line 89
3094 __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
3095#line 89
3096 __cil_tmp33 = (u8 *)__cil_tmp32;
3097#line 89
3098 *((void const **)__cil_tmp28) = (void const *)__cil_tmp33;
3099#line 91
3100 spi_message_init(& msg);
3101#line 92
3102 spi_message_add_tail(& xfer, & msg);
3103#line 93
3104 __cil_tmp34 = (unsigned long )st;
3105#line 93
3106 __cil_tmp35 = __cil_tmp34 + 72;
3107#line 93
3108 __cil_tmp36 = *((struct spi_device **)__cil_tmp35);
3109#line 93
3110 ret = spi_sync(__cil_tmp36, & msg);
3111 }
3112#line 94
3113 if (ret) {
3114#line 95
3115 goto error_ret;
3116 } else {
3117
3118 }
3119 {
3120#line 97
3121 __cil_tmp37 = (unsigned long )(& xfer) + 16;
3122#line 97
3123 *((unsigned int *)__cil_tmp37) = 6U;
3124#line 98
3125 __cil_tmp38 = & xfer;
3126#line 98
3127 __cil_tmp39 = 0 * 1UL;
3128#line 98
3129 __cil_tmp40 = 6 + __cil_tmp39;
3130#line 98
3131 __cil_tmp41 = (unsigned long )config;
3132#line 98
3133 __cil_tmp42 = __cil_tmp41 + __cil_tmp40;
3134#line 98
3135 __cil_tmp43 = (u8 *)__cil_tmp42;
3136#line 98
3137 *((void const **)__cil_tmp38) = (void const *)__cil_tmp43;
3138#line 100
3139 spi_message_init(& msg);
3140#line 101
3141 spi_message_add_tail(& xfer, & msg);
3142#line 102
3143 __cil_tmp44 = (unsigned long )st;
3144#line 102
3145 __cil_tmp45 = __cil_tmp44 + 72;
3146#line 102
3147 __cil_tmp46 = *((struct spi_device **)__cil_tmp45);
3148#line 102
3149 ret = spi_sync(__cil_tmp46, & msg);
3150 }
3151#line 103
3152 if (ret) {
3153#line 104
3154 goto error_ret;
3155 } else {
3156
3157 }
3158 {
3159#line 106
3160 __cil_tmp47 = (unsigned long )(& xfer) + 16;
3161#line 106
3162 *((unsigned int *)__cil_tmp47) = 6U;
3163#line 107
3164 __cil_tmp48 = & xfer;
3165#line 107
3166 __cil_tmp49 = 0 * 1UL;
3167#line 107
3168 __cil_tmp50 = 12 + __cil_tmp49;
3169#line 107
3170 __cil_tmp51 = (unsigned long )config;
3171#line 107
3172 __cil_tmp52 = __cil_tmp51 + __cil_tmp50;
3173#line 107
3174 __cil_tmp53 = (u8 *)__cil_tmp52;
3175#line 107
3176 *((void const **)__cil_tmp48) = (void const *)__cil_tmp53;
3177#line 109
3178 spi_message_init(& msg);
3179#line 110
3180 spi_message_add_tail(& xfer, & msg);
3181#line 111
3182 __cil_tmp54 = (unsigned long )st;
3183#line 111
3184 __cil_tmp55 = __cil_tmp54 + 72;
3185#line 111
3186 __cil_tmp56 = *((struct spi_device **)__cil_tmp55);
3187#line 111
3188 ret = spi_sync(__cil_tmp56, & msg);
3189 }
3190#line 112
3191 if (ret) {
3192#line 113
3193 goto error_ret;
3194 } else {
3195
3196 }
3197 {
3198#line 115
3199 __cil_tmp57 = (unsigned long )(& xfer) + 16;
3200#line 115
3201 *((unsigned int *)__cil_tmp57) = 6U;
3202#line 116
3203 __cil_tmp58 = & xfer;
3204#line 116
3205 __cil_tmp59 = 0 * 1UL;
3206#line 116
3207 __cil_tmp60 = 18 + __cil_tmp59;
3208#line 116
3209 __cil_tmp61 = (unsigned long )config;
3210#line 116
3211 __cil_tmp62 = __cil_tmp61 + __cil_tmp60;
3212#line 116
3213 __cil_tmp63 = (u8 *)__cil_tmp62;
3214#line 116
3215 *((void const **)__cil_tmp58) = (void const *)__cil_tmp63;
3216#line 118
3217 spi_message_init(& msg);
3218#line 119
3219 spi_message_add_tail(& xfer, & msg);
3220#line 120
3221 __cil_tmp64 = (unsigned long )st;
3222#line 120
3223 __cil_tmp65 = __cil_tmp64 + 72;
3224#line 120
3225 __cil_tmp66 = *((struct spi_device **)__cil_tmp65);
3226#line 120
3227 ret = spi_sync(__cil_tmp66, & msg);
3228 }
3229#line 121
3230 if (ret) {
3231#line 122
3232 goto error_ret;
3233 } else {
3234
3235 }
3236 {
3237#line 124
3238 __cil_tmp67 = (unsigned long )(& xfer) + 16;
3239#line 124
3240 *((unsigned int *)__cil_tmp67) = 5U;
3241#line 125
3242 __cil_tmp68 = & xfer;
3243#line 125
3244 __cil_tmp69 = 0 * 1UL;
3245#line 125
3246 __cil_tmp70 = 24 + __cil_tmp69;
3247#line 125
3248 __cil_tmp71 = (unsigned long )config;
3249#line 125
3250 __cil_tmp72 = __cil_tmp71 + __cil_tmp70;
3251#line 125
3252 __cil_tmp73 = (u8 *)__cil_tmp72;
3253#line 125
3254 *((void const **)__cil_tmp68) = (void const *)__cil_tmp73;
3255#line 127
3256 spi_message_init(& msg);
3257#line 128
3258 spi_message_add_tail(& xfer, & msg);
3259#line 129
3260 __cil_tmp74 = (unsigned long )st;
3261#line 129
3262 __cil_tmp75 = __cil_tmp74 + 72;
3263#line 129
3264 __cil_tmp76 = *((struct spi_device **)__cil_tmp75);
3265#line 129
3266 ret = spi_sync(__cil_tmp76, & msg);
3267 }
3268#line 130
3269 if (ret) {
3270#line 131
3271 goto error_ret;
3272 } else {
3273
3274 }
3275 {
3276#line 133
3277 __cil_tmp77 = (unsigned long )(& xfer) + 16;
3278#line 133
3279 *((unsigned int *)__cil_tmp77) = 4U;
3280#line 134
3281 __cil_tmp78 = & xfer;
3282#line 134
3283 __cil_tmp79 = 0 * 1UL;
3284#line 134
3285 __cil_tmp80 = 29 + __cil_tmp79;
3286#line 134
3287 __cil_tmp81 = (unsigned long )config;
3288#line 134
3289 __cil_tmp82 = __cil_tmp81 + __cil_tmp80;
3290#line 134
3291 __cil_tmp83 = (u8 *)__cil_tmp82;
3292#line 134
3293 *((void const **)__cil_tmp78) = (void const *)__cil_tmp83;
3294#line 136
3295 spi_message_init(& msg);
3296#line 137
3297 spi_message_add_tail(& xfer, & msg);
3298#line 138
3299 __cil_tmp84 = (unsigned long )st;
3300#line 138
3301 __cil_tmp85 = __cil_tmp84 + 72;
3302#line 138
3303 __cil_tmp86 = *((struct spi_device **)__cil_tmp85);
3304#line 138
3305 ret = spi_sync(__cil_tmp86, & msg);
3306 }
3307#line 139
3308 if (ret) {
3309#line 140
3310 goto error_ret;
3311 } else {
3312
3313 }
3314 {
3315#line 142
3316 __cil_tmp87 = (unsigned long )(& xfer) + 16;
3317#line 142
3318 *((unsigned int *)__cil_tmp87) = 5U;
3319#line 143
3320 __cil_tmp88 = & xfer;
3321#line 143
3322 __cil_tmp89 = 0 * 1UL;
3323#line 143
3324 __cil_tmp90 = 33 + __cil_tmp89;
3325#line 143
3326 __cil_tmp91 = (unsigned long )config;
3327#line 143
3328 __cil_tmp92 = __cil_tmp91 + __cil_tmp90;
3329#line 143
3330 __cil_tmp93 = (u8 *)__cil_tmp92;
3331#line 143
3332 *((void const **)__cil_tmp88) = (void const *)__cil_tmp93;
3333#line 145
3334 spi_message_init(& msg);
3335#line 146
3336 spi_message_add_tail(& xfer, & msg);
3337#line 147
3338 __cil_tmp94 = (unsigned long )st;
3339#line 147
3340 __cil_tmp95 = __cil_tmp94 + 72;
3341#line 147
3342 __cil_tmp96 = *((struct spi_device **)__cil_tmp95);
3343#line 147
3344 ret = spi_sync(__cil_tmp96, & msg);
3345 }
3346#line 148
3347 if (ret) {
3348#line 149
3349 goto error_ret;
3350 } else {
3351
3352 }
3353 {
3354#line 151
3355 __cil_tmp97 = (unsigned long )(& xfer) + 16;
3356#line 151
3357 *((unsigned int *)__cil_tmp97) = 3U;
3358#line 152
3359 __cil_tmp98 = & xfer;
3360#line 152
3361 __cil_tmp99 = 0 * 1UL;
3362#line 152
3363 __cil_tmp100 = 38 + __cil_tmp99;
3364#line 152
3365 __cil_tmp101 = (unsigned long )config;
3366#line 152
3367 __cil_tmp102 = __cil_tmp101 + __cil_tmp100;
3368#line 152
3369 __cil_tmp103 = (u8 *)__cil_tmp102;
3370#line 152
3371 *((void const **)__cil_tmp98) = (void const *)__cil_tmp103;
3372#line 154
3373 spi_message_init(& msg);
3374#line 155
3375 spi_message_add_tail(& xfer, & msg);
3376#line 156
3377 __cil_tmp104 = (unsigned long )st;
3378#line 156
3379 __cil_tmp105 = __cil_tmp104 + 72;
3380#line 156
3381 __cil_tmp106 = *((struct spi_device **)__cil_tmp105);
3382#line 156
3383 ret = spi_sync(__cil_tmp106, & msg);
3384 }
3385#line 157
3386 if (ret) {
3387#line 158
3388 goto error_ret;
3389 } else {
3390
3391 }
3392 {
3393#line 160
3394 __cil_tmp107 = (unsigned long )(& xfer) + 16;
3395#line 160
3396 *((unsigned int *)__cil_tmp107) = 2U;
3397#line 161
3398 __cil_tmp108 = & xfer;
3399#line 161
3400 __cil_tmp109 = 0 * 1UL;
3401#line 161
3402 __cil_tmp110 = 41 + __cil_tmp109;
3403#line 161
3404 __cil_tmp111 = (unsigned long )config;
3405#line 161
3406 __cil_tmp112 = __cil_tmp111 + __cil_tmp110;
3407#line 161
3408 __cil_tmp113 = (u8 *)__cil_tmp112;
3409#line 161
3410 *((void const **)__cil_tmp108) = (void const *)__cil_tmp113;
3411#line 163
3412 spi_message_init(& msg);
3413#line 164
3414 spi_message_add_tail(& xfer, & msg);
3415#line 165
3416 __cil_tmp114 = (unsigned long )st;
3417#line 165
3418 __cil_tmp115 = __cil_tmp114 + 72;
3419#line 165
3420 __cil_tmp116 = *((struct spi_device **)__cil_tmp115);
3421#line 165
3422 ret = spi_sync(__cil_tmp116, & msg);
3423 }
3424#line 166
3425 if (ret) {
3426#line 167
3427 goto error_ret;
3428 } else {
3429
3430 }
3431 {
3432#line 169
3433 __cil_tmp117 = (unsigned long )(& xfer) + 16;
3434#line 169
3435 *((unsigned int *)__cil_tmp117) = 3U;
3436#line 170
3437 __cil_tmp118 = & xfer;
3438#line 170
3439 __cil_tmp119 = 0 * 1UL;
3440#line 170
3441 __cil_tmp120 = 43 + __cil_tmp119;
3442#line 170
3443 __cil_tmp121 = (unsigned long )config;
3444#line 170
3445 __cil_tmp122 = __cil_tmp121 + __cil_tmp120;
3446#line 170
3447 __cil_tmp123 = (u8 *)__cil_tmp122;
3448#line 170
3449 *((void const **)__cil_tmp118) = (void const *)__cil_tmp123;
3450#line 172
3451 spi_message_init(& msg);
3452#line 173
3453 spi_message_add_tail(& xfer, & msg);
3454#line 174
3455 __cil_tmp124 = (unsigned long )st;
3456#line 174
3457 __cil_tmp125 = __cil_tmp124 + 72;
3458#line 174
3459 __cil_tmp126 = *((struct spi_device **)__cil_tmp125);
3460#line 174
3461 ret = spi_sync(__cil_tmp126, & msg);
3462 }
3463#line 175
3464 if (ret) {
3465#line 176
3466 goto error_ret;
3467 } else {
3468
3469 }
3470 error_ret:
3471 {
3472#line 178
3473 __cil_tmp127 = (struct mutex *)st;
3474#line 178
3475 mutex_unlock(__cil_tmp127);
3476 }
3477#line 180
3478 if (ret) {
3479#line 180
3480 tmp___9 = (size_t )ret;
3481 } else {
3482#line 180
3483 tmp___9 = len;
3484 }
3485#line 180
3486 return ((ssize_t )tmp___9);
3487}
3488}
3489#line 183 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3490static struct iio_dev_attr iio_dev_attr_dds = {{{"dds", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
3491 char *buf ))((void *)0), & ad9852_set_parameter},
3492 (u64 )0, {(struct list_head *)0, (struct list_head *)0}, (struct iio_chan_spec const *)0};
3493#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3494static void ad9852_init(struct ad9852_state *st )
3495{ struct spi_message msg ;
3496 struct spi_transfer xfer ;
3497 int ret ;
3498 u8 config[5] ;
3499 unsigned long __cil_tmp6 ;
3500 unsigned long __cil_tmp7 ;
3501 unsigned long __cil_tmp8 ;
3502 unsigned long __cil_tmp9 ;
3503 int __cil_tmp10 ;
3504 unsigned long __cil_tmp11 ;
3505 unsigned long __cil_tmp12 ;
3506 int __cil_tmp13 ;
3507 int __cil_tmp14 ;
3508 int __cil_tmp15 ;
3509 int __cil_tmp16 ;
3510 int __cil_tmp17 ;
3511 unsigned long __cil_tmp18 ;
3512 unsigned long __cil_tmp19 ;
3513 unsigned long __cil_tmp20 ;
3514 unsigned long __cil_tmp21 ;
3515 int __cil_tmp22 ;
3516 struct mutex *__cil_tmp23 ;
3517 unsigned long __cil_tmp24 ;
3518 struct spi_transfer *__cil_tmp25 ;
3519 unsigned long __cil_tmp26 ;
3520 unsigned long __cil_tmp27 ;
3521 struct spi_device *__cil_tmp28 ;
3522 struct mutex *__cil_tmp29 ;
3523
3524 {
3525 {
3526#line 192
3527 __cil_tmp6 = 0 * 1UL;
3528#line 192
3529 __cil_tmp7 = (unsigned long )(config) + __cil_tmp6;
3530#line 192
3531 *((u8 *)__cil_tmp7) = (u8 )7;
3532#line 193
3533 __cil_tmp8 = 1 * 1UL;
3534#line 193
3535 __cil_tmp9 = (unsigned long )(config) + __cil_tmp8;
3536#line 193
3537 __cil_tmp10 = 1 << 4;
3538#line 193
3539 *((u8 *)__cil_tmp9) = (u8 )__cil_tmp10;
3540#line 194
3541 __cil_tmp11 = 2 * 1UL;
3542#line 194
3543 __cil_tmp12 = (unsigned long )(config) + __cil_tmp11;
3544#line 194
3545 __cil_tmp13 = 1 << 6;
3546#line 194
3547 __cil_tmp14 = 1 << 5;
3548#line 194
3549 __cil_tmp15 = 1 << 2;
3550#line 194
3551 __cil_tmp16 = __cil_tmp15 | __cil_tmp14;
3552#line 194
3553 __cil_tmp17 = __cil_tmp16 | __cil_tmp13;
3554#line 194
3555 *((u8 *)__cil_tmp12) = (u8 )__cil_tmp17;
3556#line 195
3557 __cil_tmp18 = 3 * 1UL;
3558#line 195
3559 __cil_tmp19 = (unsigned long )(config) + __cil_tmp18;
3560#line 195
3561 *((u8 *)__cil_tmp19) = (u8 )1;
3562#line 196
3563 __cil_tmp20 = 4 * 1UL;
3564#line 196
3565 __cil_tmp21 = (unsigned long )(config) + __cil_tmp20;
3566#line 196
3567 __cil_tmp22 = 1 << 5;
3568#line 196
3569 *((u8 *)__cil_tmp21) = (u8 )__cil_tmp22;
3570#line 198
3571 __cil_tmp23 = (struct mutex *)st;
3572#line 198
3573 mutex_lock(__cil_tmp23);
3574#line 200
3575 __cil_tmp24 = (unsigned long )(& xfer) + 16;
3576#line 200
3577 *((unsigned int *)__cil_tmp24) = 5U;
3578#line 201
3579 __cil_tmp25 = & xfer;
3580#line 201
3581 *((void const **)__cil_tmp25) = (void const *)(& config);
3582#line 203
3583 spi_message_init(& msg);
3584#line 204
3585 spi_message_add_tail(& xfer, & msg);
3586#line 205
3587 __cil_tmp26 = (unsigned long )st;
3588#line 205
3589 __cil_tmp27 = __cil_tmp26 + 72;
3590#line 205
3591 __cil_tmp28 = *((struct spi_device **)__cil_tmp27);
3592#line 205
3593 ret = spi_sync(__cil_tmp28, & msg);
3594 }
3595#line 206
3596 if (ret) {
3597#line 207
3598 goto error_ret;
3599 } else {
3600
3601 }
3602 error_ret:
3603 {
3604#line 210
3605 __cil_tmp29 = (struct mutex *)st;
3606#line 210
3607 mutex_unlock(__cil_tmp29);
3608 }
3609#line 214
3610 return;
3611}
3612}
3613#line 216 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3614static struct attribute *ad9852_attributes[2] = { & iio_dev_attr_dds.dev_attr.attr, (struct attribute *)((void *)0)};
3615#line 221 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3616static struct attribute_group const ad9852_attribute_group = {(char const *)0, (umode_t (*)(struct kobject * , struct attribute * , int ))0,
3617 ad9852_attributes};
3618#line 225 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3619static struct iio_info const ad9852_info =
3620#line 225
3621 {& __this_module, (struct attribute_group *)0, & ad9852_attribute_group, (int (*)(struct iio_dev *indio_dev ,
3622 struct iio_chan_spec const *chan ,
3623 int *val ,
3624 int *val2 ,
3625 long mask ))0,
3626 (int (*)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan , int val ,
3627 int val2 , long mask ))0, (int (*)(struct iio_dev *indio_dev , struct iio_chan_spec const *chan ,
3628 long mask ))0, (int (*)(struct iio_dev *indio_dev ,
3629 u64 event_code ))0,
3630 (int (*)(struct iio_dev *indio_dev , u64 event_code , int state ))0, (int (*)(struct iio_dev *indio_dev ,
3631 u64 event_code ,
3632 int *val ))0,
3633 (int (*)(struct iio_dev *indio_dev , u64 event_code , int val ))0, (int (*)(struct iio_dev *indio_dev ,
3634 struct iio_trigger *trig ))0,
3635 (int (*)(struct iio_dev *indio_dev , unsigned long const *scan_mask ))0, (int (*)(struct iio_dev *indio_dev ,
3636 unsigned int reg ,
3637 unsigned int writeval ,
3638 unsigned int *readval ))0};
3639#line 243 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3640static struct lock_class_key __key___3 ;
3641#line 230
3642static int ad9852_probe(struct spi_device *spi ) __attribute__((__section__(".devinit.text"),
3643__no_instrument_function__)) ;
3644#line 230 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3645static int ad9852_probe(struct spi_device *spi )
3646{ struct ad9852_state *st ;
3647 struct iio_dev *idev ;
3648 int ret ;
3649 void *tmp___7 ;
3650 int __cil_tmp6 ;
3651 void *__cil_tmp7 ;
3652 unsigned long __cil_tmp8 ;
3653 unsigned long __cil_tmp9 ;
3654 struct iio_dev const *__cil_tmp10 ;
3655 void *__cil_tmp11 ;
3656 struct mutex *__cil_tmp12 ;
3657 unsigned long __cil_tmp13 ;
3658 unsigned long __cil_tmp14 ;
3659 unsigned long __cil_tmp15 ;
3660 unsigned long __cil_tmp16 ;
3661 unsigned long __cil_tmp17 ;
3662 unsigned long __cil_tmp18 ;
3663 unsigned long __cil_tmp19 ;
3664 unsigned long __cil_tmp20 ;
3665 unsigned long __cil_tmp21 ;
3666 unsigned long __cil_tmp22 ;
3667 unsigned long __cil_tmp23 ;
3668 unsigned long __cil_tmp24 ;
3669 unsigned long __cil_tmp25 ;
3670 unsigned long __cil_tmp26 ;
3671
3672 {
3673 {
3674#line 234
3675 ret = 0;
3676#line 236
3677 __cil_tmp6 = (int )80UL;
3678#line 236
3679 idev = iio_allocate_device(__cil_tmp6);
3680 }
3681 {
3682#line 237
3683 __cil_tmp7 = (void *)0;
3684#line 237
3685 __cil_tmp8 = (unsigned long )__cil_tmp7;
3686#line 237
3687 __cil_tmp9 = (unsigned long )idev;
3688#line 237
3689 if (__cil_tmp9 == __cil_tmp8) {
3690#line 238
3691 ret = -12;
3692#line 239
3693 goto error_ret;
3694 } else {
3695
3696 }
3697 }
3698 {
3699#line 241
3700 __cil_tmp10 = (struct iio_dev const *)idev;
3701#line 241
3702 tmp___7 = iio_priv(__cil_tmp10);
3703#line 241
3704 st = (struct ad9852_state *)tmp___7;
3705#line 242
3706 __cil_tmp11 = (void *)idev;
3707#line 242
3708 spi_set_drvdata(spi, __cil_tmp11);
3709 }
3710 {
3711#line 243
3712 while (1) {
3713 while_continue: ;
3714 {
3715#line 243
3716 __cil_tmp12 = (struct mutex *)st;
3717#line 243
3718 __mutex_init(__cil_tmp12, "&st->lock", & __key___3);
3719 }
3720#line 243
3721 goto while_break;
3722 }
3723 while_break: ;
3724 }
3725 {
3726#line 244
3727 __cil_tmp13 = (unsigned long )st;
3728#line 244
3729 __cil_tmp14 = __cil_tmp13 + 72;
3730#line 244
3731 *((struct spi_device **)__cil_tmp14) = spi;
3732#line 246
3733 __cil_tmp15 = (unsigned long )idev;
3734#line 246
3735 __cil_tmp16 = __cil_tmp15 + 16;
3736#line 246
3737 *((struct device **)__cil_tmp16) = (struct device *)spi;
3738#line 247
3739 __cil_tmp17 = (unsigned long )idev;
3740#line 247
3741 __cil_tmp18 = __cil_tmp17 + 976;
3742#line 247
3743 *((struct iio_info const **)__cil_tmp18) = & ad9852_info;
3744#line 248
3745 __cil_tmp19 = (unsigned long )idev;
3746#line 248
3747 __cil_tmp20 = __cil_tmp19 + 4;
3748#line 248
3749 *((int *)__cil_tmp20) = 1;
3750#line 250
3751 ret = iio_device_register(idev);
3752 }
3753#line 251
3754 if (ret) {
3755#line 252
3756 goto error_free_dev;
3757 } else {
3758
3759 }
3760 {
3761#line 253
3762 __cil_tmp21 = (unsigned long )spi;
3763#line 253
3764 __cil_tmp22 = __cil_tmp21 + 776;
3765#line 253
3766 *((u32 *)__cil_tmp22) = (u32 )2000000;
3767#line 254
3768 __cil_tmp23 = (unsigned long )spi;
3769#line 254
3770 __cil_tmp24 = __cil_tmp23 + 781;
3771#line 254
3772 *((u8 *)__cil_tmp24) = (u8 )3;
3773#line 255
3774 __cil_tmp25 = (unsigned long )spi;
3775#line 255
3776 __cil_tmp26 = __cil_tmp25 + 782;
3777#line 255
3778 *((u8 *)__cil_tmp26) = (u8 )8;
3779#line 256
3780 spi_setup(spi);
3781#line 257
3782 ad9852_init(st);
3783 }
3784#line 259
3785 return (0);
3786 error_free_dev:
3787 {
3788#line 262
3789 iio_free_device(idev);
3790 }
3791 error_ret:
3792#line 265
3793 return (ret);
3794}
3795}
3796#line 268
3797static int ad9852_remove(struct spi_device *spi ) __attribute__((__section__(".devexit.text"),
3798__no_instrument_function__)) ;
3799#line 268 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3800static int ad9852_remove(struct spi_device *spi )
3801{ void *tmp___7 ;
3802 void *tmp___8 ;
3803 struct iio_dev *__cil_tmp4 ;
3804 struct iio_dev *__cil_tmp5 ;
3805
3806 {
3807 {
3808#line 270
3809 tmp___7 = spi_get_drvdata(spi);
3810#line 270
3811 __cil_tmp4 = (struct iio_dev *)tmp___7;
3812#line 270
3813 iio_device_unregister(__cil_tmp4);
3814#line 271
3815 tmp___8 = spi_get_drvdata(spi);
3816#line 271
3817 __cil_tmp5 = (struct iio_dev *)tmp___8;
3818#line 271
3819 iio_free_device(__cil_tmp5);
3820 }
3821#line 273
3822 return (0);
3823}
3824}
3825#line 276 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3826static struct spi_driver ad9852_driver = {(struct spi_device_id const *)0, & ad9852_probe, & ad9852_remove, (void (*)(struct spi_device *spi ))0,
3827 (int (*)(struct spi_device *spi , pm_message_t mesg ))0, (int (*)(struct spi_device *spi ))0,
3828 {"ad9852", (struct bus_type *)0, & __this_module, (char const *)0, (_Bool)0,
3829 (struct of_device_id const *)0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
3830 (void (*)(struct device *dev ))0, (int (*)(struct device *dev , pm_message_t state ))0,
3831 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
3832 (struct driver_private *)0}};
3833#line 284
3834static int ad9852_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
3835#line 284 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3836static int ad9852_driver_init(void)
3837{ int tmp___7 ;
3838
3839 {
3840 {
3841#line 284
3842 tmp___7 = spi_register_driver(& ad9852_driver);
3843 }
3844#line 284
3845 return (tmp___7);
3846}
3847}
3848#line 284 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3849int init_module(void)
3850{ int tmp___7 ;
3851
3852 {
3853 {
3854#line 284
3855 tmp___7 = ad9852_driver_init();
3856 }
3857#line 284
3858 return (tmp___7);
3859}
3860}
3861#line 284
3862static void ad9852_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
3863#line 284 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3864static void ad9852_driver_exit(void)
3865{
3866
3867 {
3868 {
3869#line 284
3870 spi_unregister_driver(& ad9852_driver);
3871 }
3872#line 284
3873 return;
3874}
3875}
3876#line 284 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3877void cleanup_module(void)
3878{
3879
3880 {
3881 {
3882#line 284
3883 ad9852_driver_exit();
3884 }
3885#line 284
3886 return;
3887}
3888}
3889#line 286 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3890static char const __mod_author286[17] __attribute__((__used__, __unused__, __section__(".modinfo"),
3891__aligned__(1))) =
3892#line 286
3893 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3894 (char const )'o', (char const )'r', (char const )'=', (char const )'C',
3895 (char const )'l', (char const )'i', (char const )'f', (char const )'f',
3896 (char const )' ', (char const )'C', (char const )'a', (char const )'i',
3897 (char const )'\000'};
3898#line 287 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3899static char const __mod_description287[41] __attribute__((__used__, __unused__,
3900__section__(".modinfo"), __aligned__(1))) =
3901#line 287
3902 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3903 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3904 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3905 (char const )'A', (char const )'n', (char const )'a', (char const )'l',
3906 (char const )'o', (char const )'g', (char const )' ', (char const )'D',
3907 (char const )'e', (char const )'v', (char const )'i', (char const )'c',
3908 (char const )'e', (char const )'s', (char const )' ', (char const )'a',
3909 (char const )'d', (char const )'9', (char const )'8', (char const )'5',
3910 (char const )'2', (char const )' ', (char const )'d', (char const )'r',
3911 (char const )'i', (char const )'v', (char const )'e', (char const )'r',
3912 (char const )'\000'};
3913#line 288 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3914static char const __mod_license288[15] __attribute__((__used__, __unused__, __section__(".modinfo"),
3915__aligned__(1))) =
3916#line 288
3917 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3918 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3919 (char const )'G', (char const )'P', (char const )'L', (char const )' ',
3920 (char const )'v', (char const )'2', (char const )'\000'};
3921#line 289 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3922static char const __mod_alias289[17] __attribute__((__used__, __unused__, __section__(".modinfo"),
3923__aligned__(1))) =
3924#line 289
3925 { (char const )'a', (char const )'l', (char const )'i', (char const )'a',
3926 (char const )'s', (char const )'=', (char const )'s', (char const )'p',
3927 (char const )'i', (char const )':', (char const )'a', (char const )'d',
3928 (char const )'9', (char const )'8', (char const )'5', (char const )'2',
3929 (char const )'\000'};
3930#line 307
3931void ldv_check_final_state(void) ;
3932#line 310
3933extern void ldv_check_return_value(int res ) ;
3934#line 313
3935extern void ldv_initialize(void) ;
3936#line 316
3937extern int __VERIFIER_nondet_int(void) ;
3938#line 319 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3939int LDV_IN_INTERRUPT ;
3940#line 354 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3941static int res_ad9852_probe_2 ;
3942#line 322 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
3943void main(void)
3944{ struct spi_device *var_group1 ;
3945 int ldv_s_ad9852_driver_spi_driver ;
3946 int tmp___7 ;
3947 int tmp___8 ;
3948 int __cil_tmp5 ;
3949
3950 {
3951 {
3952#line 362
3953 LDV_IN_INTERRUPT = 1;
3954#line 371
3955 ldv_initialize();
3956#line 372
3957 ldv_s_ad9852_driver_spi_driver = 0;
3958 }
3959 {
3960#line 375
3961 while (1) {
3962 while_continue: ;
3963 {
3964#line 375
3965 tmp___8 = __VERIFIER_nondet_int();
3966 }
3967#line 375
3968 if (tmp___8) {
3969
3970 } else {
3971 {
3972#line 375
3973 __cil_tmp5 = ldv_s_ad9852_driver_spi_driver == 0;
3974#line 375
3975 if (! __cil_tmp5) {
3976
3977 } else {
3978#line 375
3979 goto while_break;
3980 }
3981 }
3982 }
3983 {
3984#line 379
3985 tmp___7 = __VERIFIER_nondet_int();
3986 }
3987#line 381
3988 if (tmp___7 == 0) {
3989#line 381
3990 goto case_0;
3991 } else {
3992 {
3993#line 420
3994 goto switch_default;
3995#line 379
3996 if (0) {
3997 case_0:
3998#line 384
3999 if (ldv_s_ad9852_driver_spi_driver == 0) {
4000 {
4001#line 409
4002 res_ad9852_probe_2 = ad9852_probe(var_group1);
4003#line 410
4004 ldv_check_return_value(res_ad9852_probe_2);
4005 }
4006#line 411
4007 if (res_ad9852_probe_2) {
4008#line 412
4009 goto ldv_module_exit;
4010 } else {
4011
4012 }
4013#line 413
4014 ldv_s_ad9852_driver_spi_driver = 0;
4015 } else {
4016
4017 }
4018#line 419
4019 goto switch_break;
4020 switch_default:
4021#line 420
4022 goto switch_break;
4023 } else {
4024 switch_break: ;
4025 }
4026 }
4027 }
4028 }
4029 while_break: ;
4030 }
4031 ldv_module_exit:
4032 {
4033#line 429
4034 ldv_check_final_state();
4035 }
4036#line 432
4037 return;
4038}
4039}
4040#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4041void ldv_blast_assert(void)
4042{
4043
4044 {
4045 ERROR:
4046#line 6
4047 goto ERROR;
4048}
4049}
4050#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4051extern int __VERIFIER_nondet_int(void) ;
4052#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4053int ldv_mutex = 1;
4054#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4055int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4056{ int nondetermined ;
4057
4058 {
4059#line 29
4060 if (ldv_mutex == 1) {
4061
4062 } else {
4063 {
4064#line 29
4065 ldv_blast_assert();
4066 }
4067 }
4068 {
4069#line 32
4070 nondetermined = __VERIFIER_nondet_int();
4071 }
4072#line 35
4073 if (nondetermined) {
4074#line 38
4075 ldv_mutex = 2;
4076#line 40
4077 return (0);
4078 } else {
4079#line 45
4080 return (-4);
4081 }
4082}
4083}
4084#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4085int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4086{ int nondetermined ;
4087
4088 {
4089#line 57
4090 if (ldv_mutex == 1) {
4091
4092 } else {
4093 {
4094#line 57
4095 ldv_blast_assert();
4096 }
4097 }
4098 {
4099#line 60
4100 nondetermined = __VERIFIER_nondet_int();
4101 }
4102#line 63
4103 if (nondetermined) {
4104#line 66
4105 ldv_mutex = 2;
4106#line 68
4107 return (0);
4108 } else {
4109#line 73
4110 return (-4);
4111 }
4112}
4113}
4114#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4115int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4116{ int atomic_value_after_dec ;
4117
4118 {
4119#line 83
4120 if (ldv_mutex == 1) {
4121
4122 } else {
4123 {
4124#line 83
4125 ldv_blast_assert();
4126 }
4127 }
4128 {
4129#line 86
4130 atomic_value_after_dec = __VERIFIER_nondet_int();
4131 }
4132#line 89
4133 if (atomic_value_after_dec == 0) {
4134#line 92
4135 ldv_mutex = 2;
4136#line 94
4137 return (1);
4138 } else {
4139
4140 }
4141#line 98
4142 return (0);
4143}
4144}
4145#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4146void mutex_lock(struct mutex *lock )
4147{
4148
4149 {
4150#line 108
4151 if (ldv_mutex == 1) {
4152
4153 } else {
4154 {
4155#line 108
4156 ldv_blast_assert();
4157 }
4158 }
4159#line 110
4160 ldv_mutex = 2;
4161#line 111
4162 return;
4163}
4164}
4165#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4166int mutex_trylock(struct mutex *lock )
4167{ int nondetermined ;
4168
4169 {
4170#line 121
4171 if (ldv_mutex == 1) {
4172
4173 } else {
4174 {
4175#line 121
4176 ldv_blast_assert();
4177 }
4178 }
4179 {
4180#line 124
4181 nondetermined = __VERIFIER_nondet_int();
4182 }
4183#line 127
4184 if (nondetermined) {
4185#line 130
4186 ldv_mutex = 2;
4187#line 132
4188 return (1);
4189 } else {
4190#line 137
4191 return (0);
4192 }
4193}
4194}
4195#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4196void mutex_unlock(struct mutex *lock )
4197{
4198
4199 {
4200#line 147
4201 if (ldv_mutex == 2) {
4202
4203 } else {
4204 {
4205#line 147
4206 ldv_blast_assert();
4207 }
4208 }
4209#line 149
4210 ldv_mutex = 1;
4211#line 150
4212 return;
4213}
4214}
4215#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4216void ldv_check_final_state(void)
4217{
4218
4219 {
4220#line 156
4221 if (ldv_mutex == 1) {
4222
4223 } else {
4224 {
4225#line 156
4226 ldv_blast_assert();
4227 }
4228 }
4229#line 157
4230 return;
4231}
4232}
4233#line 441 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1863/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/dds/ad9852.c.common.c"
4234long s__builtin_expect(long val , long res )
4235{
4236
4237 {
4238#line 442
4239 return (val);
4240}
4241}