1
2
3
4#line 20 "include/asm-generic/int-ll64.h"
5typedef unsigned char __u8;
6#line 23 "include/asm-generic/int-ll64.h"
7typedef unsigned short __u16;
8#line 25 "include/asm-generic/int-ll64.h"
9typedef int __s32;
10#line 26 "include/asm-generic/int-ll64.h"
11typedef unsigned int __u32;
12#line 30 "include/asm-generic/int-ll64.h"
13typedef unsigned long long __u64;
14#line 43 "include/asm-generic/int-ll64.h"
15typedef unsigned char u8;
16#line 45 "include/asm-generic/int-ll64.h"
17typedef short s16;
18#line 46 "include/asm-generic/int-ll64.h"
19typedef unsigned short u16;
20#line 48 "include/asm-generic/int-ll64.h"
21typedef int s32;
22#line 49 "include/asm-generic/int-ll64.h"
23typedef unsigned int u32;
24#line 51 "include/asm-generic/int-ll64.h"
25typedef long long s64;
26#line 52 "include/asm-generic/int-ll64.h"
27typedef unsigned long long u64;
28#line 14 "include/asm-generic/posix_types.h"
29typedef long __kernel_long_t;
30#line 15 "include/asm-generic/posix_types.h"
31typedef unsigned long __kernel_ulong_t;
32#line 31 "include/asm-generic/posix_types.h"
33typedef int __kernel_pid_t;
34#line 52 "include/asm-generic/posix_types.h"
35typedef unsigned int __kernel_uid32_t;
36#line 53 "include/asm-generic/posix_types.h"
37typedef unsigned int __kernel_gid32_t;
38#line 75 "include/asm-generic/posix_types.h"
39typedef __kernel_ulong_t __kernel_size_t;
40#line 76 "include/asm-generic/posix_types.h"
41typedef __kernel_long_t __kernel_ssize_t;
42#line 91 "include/asm-generic/posix_types.h"
43typedef long long __kernel_loff_t;
44#line 92 "include/asm-generic/posix_types.h"
45typedef __kernel_long_t __kernel_time_t;
46#line 93 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_clock_t;
48#line 94 "include/asm-generic/posix_types.h"
49typedef int __kernel_timer_t;
50#line 95 "include/asm-generic/posix_types.h"
51typedef int __kernel_clockid_t;
52#line 21 "include/linux/types.h"
53typedef __u32 __kernel_dev_t;
54#line 24 "include/linux/types.h"
55typedef __kernel_dev_t dev_t;
56#line 27 "include/linux/types.h"
57typedef unsigned short umode_t;
58#line 30 "include/linux/types.h"
59typedef __kernel_pid_t pid_t;
60#line 35 "include/linux/types.h"
61typedef __kernel_clockid_t clockid_t;
62#line 38 "include/linux/types.h"
63typedef _Bool bool;
64#line 40 "include/linux/types.h"
65typedef __kernel_uid32_t uid_t;
66#line 41 "include/linux/types.h"
67typedef __kernel_gid32_t gid_t;
68#line 54 "include/linux/types.h"
69typedef __kernel_loff_t loff_t;
70#line 63 "include/linux/types.h"
71typedef __kernel_size_t size_t;
72#line 68 "include/linux/types.h"
73typedef __kernel_ssize_t ssize_t;
74#line 78 "include/linux/types.h"
75typedef __kernel_time_t time_t;
76#line 111 "include/linux/types.h"
77typedef __s32 int32_t;
78#line 117 "include/linux/types.h"
79typedef __u32 uint32_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 202 "include/linux/ioport.h"
114struct device;
115#line 202
116struct device;
117#line 12 "include/linux/lockdep.h"
118struct task_struct;
119#line 12
120struct task_struct;
121#line 20 "include/linux/kobject_ns.h"
122struct sock;
123#line 20
124struct sock;
125#line 21
126struct kobject;
127#line 21
128struct kobject;
129#line 27
130enum kobj_ns_type {
131 KOBJ_NS_TYPE_NONE = 0,
132 KOBJ_NS_TYPE_NET = 1,
133 KOBJ_NS_TYPES = 2
134} ;
135#line 40 "include/linux/kobject_ns.h"
136struct kobj_ns_type_operations {
137 enum kobj_ns_type type ;
138 void *(*grab_current_ns)(void) ;
139 void const *(*netlink_ns)(struct sock *sk ) ;
140 void const *(*initial_ns)(void) ;
141 void (*drop_ns)(void * ) ;
142};
143#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
144struct task_struct;
145#line 8
146struct mm_struct;
147#line 8
148struct mm_struct;
149#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
150struct pt_regs {
151 unsigned long r15 ;
152 unsigned long r14 ;
153 unsigned long r13 ;
154 unsigned long r12 ;
155 unsigned long bp ;
156 unsigned long bx ;
157 unsigned long r11 ;
158 unsigned long r10 ;
159 unsigned long r9 ;
160 unsigned long r8 ;
161 unsigned long ax ;
162 unsigned long cx ;
163 unsigned long dx ;
164 unsigned long si ;
165 unsigned long di ;
166 unsigned long orig_ax ;
167 unsigned long ip ;
168 unsigned long cs ;
169 unsigned long flags ;
170 unsigned long sp ;
171 unsigned long ss ;
172};
173#line 146 "include/linux/init.h"
174typedef void (*ctor_fn_t)(void);
175#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
176struct __anonstruct____missing_field_name_10 {
177 unsigned int a ;
178 unsigned int b ;
179};
180#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
181struct __anonstruct____missing_field_name_11 {
182 u16 limit0 ;
183 u16 base0 ;
184 unsigned int base1 : 8 ;
185 unsigned int type : 4 ;
186 unsigned int s : 1 ;
187 unsigned int dpl : 2 ;
188 unsigned int p : 1 ;
189 unsigned int limit : 4 ;
190 unsigned int avl : 1 ;
191 unsigned int l : 1 ;
192 unsigned int d : 1 ;
193 unsigned int g : 1 ;
194 unsigned int base2 : 8 ;
195};
196#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
197union __anonunion____missing_field_name_9 {
198 struct __anonstruct____missing_field_name_10 __annonCompField4 ;
199 struct __anonstruct____missing_field_name_11 __annonCompField5 ;
200};
201#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
202struct desc_struct {
203 union __anonunion____missing_field_name_9 __annonCompField6 ;
204} __attribute__((__packed__)) ;
205#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
206typedef unsigned long pgdval_t;
207#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
208typedef unsigned long pgprotval_t;
209#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
210struct pgprot {
211 pgprotval_t pgprot ;
212};
213#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
214typedef struct pgprot pgprot_t;
215#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
216struct __anonstruct_pgd_t_15 {
217 pgdval_t pgd ;
218};
219#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
220typedef struct __anonstruct_pgd_t_15 pgd_t;
221#line 282
222struct page;
223#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
224typedef struct page *pgtable_t;
225#line 295
226struct file;
227#line 295
228struct file;
229#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
230struct page;
231#line 47
232struct thread_struct;
233#line 47
234struct thread_struct;
235#line 50
236struct mm_struct;
237#line 51
238struct desc_struct;
239#line 52
240struct task_struct;
241#line 53
242struct cpumask;
243#line 53
244struct cpumask;
245#line 329
246struct arch_spinlock;
247#line 329
248struct arch_spinlock;
249#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
250struct task_struct;
251#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
252struct kernel_vm86_regs {
253 struct pt_regs pt ;
254 unsigned short es ;
255 unsigned short __esh ;
256 unsigned short ds ;
257 unsigned short __dsh ;
258 unsigned short fs ;
259 unsigned short __fsh ;
260 unsigned short gs ;
261 unsigned short __gsh ;
262};
263#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
264union __anonunion____missing_field_name_19 {
265 struct pt_regs *regs ;
266 struct kernel_vm86_regs *vm86 ;
267};
268#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
269struct math_emu_info {
270 long ___orig_eip ;
271 union __anonunion____missing_field_name_19 __annonCompField7 ;
272};
273#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
274struct module;
275#line 56
276struct module;
277#line 47 "include/linux/dynamic_debug.h"
278struct device;
279#line 135 "include/linux/kernel.h"
280struct completion;
281#line 135
282struct completion;
283#line 136
284struct pt_regs;
285#line 349
286struct pid;
287#line 349
288struct pid;
289#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
290struct task_struct;
291#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
292struct page;
293#line 10 "include/asm-generic/bug.h"
294struct bug_entry {
295 int bug_addr_disp ;
296 int file_disp ;
297 unsigned short line ;
298 unsigned short flags ;
299};
300#line 12 "include/linux/bug.h"
301struct pt_regs;
302#line 14 "include/linux/cpumask.h"
303struct cpumask {
304 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
305};
306#line 14 "include/linux/cpumask.h"
307typedef struct cpumask cpumask_t;
308#line 637 "include/linux/cpumask.h"
309typedef struct cpumask *cpumask_var_t;
310#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
311struct static_key;
312#line 234
313struct static_key;
314#line 11 "include/linux/personality.h"
315struct pt_regs;
316#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
317struct i387_fsave_struct {
318 u32 cwd ;
319 u32 swd ;
320 u32 twd ;
321 u32 fip ;
322 u32 fcs ;
323 u32 foo ;
324 u32 fos ;
325 u32 st_space[20] ;
326 u32 status ;
327};
328#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
329struct __anonstruct____missing_field_name_27 {
330 u64 rip ;
331 u64 rdp ;
332};
333#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
334struct __anonstruct____missing_field_name_28 {
335 u32 fip ;
336 u32 fcs ;
337 u32 foo ;
338 u32 fos ;
339};
340#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
341union __anonunion____missing_field_name_26 {
342 struct __anonstruct____missing_field_name_27 __annonCompField11 ;
343 struct __anonstruct____missing_field_name_28 __annonCompField12 ;
344};
345#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
346union __anonunion____missing_field_name_29 {
347 u32 padding1[12] ;
348 u32 sw_reserved[12] ;
349};
350#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
351struct i387_fxsave_struct {
352 u16 cwd ;
353 u16 swd ;
354 u16 twd ;
355 u16 fop ;
356 union __anonunion____missing_field_name_26 __annonCompField13 ;
357 u32 mxcsr ;
358 u32 mxcsr_mask ;
359 u32 st_space[32] ;
360 u32 xmm_space[64] ;
361 u32 padding[12] ;
362 union __anonunion____missing_field_name_29 __annonCompField14 ;
363} __attribute__((__aligned__(16))) ;
364#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
365struct i387_soft_struct {
366 u32 cwd ;
367 u32 swd ;
368 u32 twd ;
369 u32 fip ;
370 u32 fcs ;
371 u32 foo ;
372 u32 fos ;
373 u32 st_space[20] ;
374 u8 ftop ;
375 u8 changed ;
376 u8 lookahead ;
377 u8 no_update ;
378 u8 rm ;
379 u8 alimit ;
380 struct math_emu_info *info ;
381 u32 entry_eip ;
382};
383#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
384struct ymmh_struct {
385 u32 ymmh_space[64] ;
386};
387#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
388struct xsave_hdr_struct {
389 u64 xstate_bv ;
390 u64 reserved1[2] ;
391 u64 reserved2[5] ;
392} __attribute__((__packed__)) ;
393#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
394struct xsave_struct {
395 struct i387_fxsave_struct i387 ;
396 struct xsave_hdr_struct xsave_hdr ;
397 struct ymmh_struct ymmh ;
398} __attribute__((__packed__, __aligned__(64))) ;
399#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
400union thread_xstate {
401 struct i387_fsave_struct fsave ;
402 struct i387_fxsave_struct fxsave ;
403 struct i387_soft_struct soft ;
404 struct xsave_struct xsave ;
405};
406#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
407struct fpu {
408 unsigned int last_cpu ;
409 unsigned int has_fpu ;
410 union thread_xstate *state ;
411};
412#line 433
413struct kmem_cache;
414#line 435
415struct perf_event;
416#line 435
417struct perf_event;
418#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
419struct thread_struct {
420 struct desc_struct tls_array[3] ;
421 unsigned long sp0 ;
422 unsigned long sp ;
423 unsigned long usersp ;
424 unsigned short es ;
425 unsigned short ds ;
426 unsigned short fsindex ;
427 unsigned short gsindex ;
428 unsigned long fs ;
429 unsigned long gs ;
430 struct perf_event *ptrace_bps[4] ;
431 unsigned long debugreg6 ;
432 unsigned long ptrace_dr7 ;
433 unsigned long cr2 ;
434 unsigned long trap_nr ;
435 unsigned long error_code ;
436 struct fpu fpu ;
437 unsigned long *io_bitmap_ptr ;
438 unsigned long iopl ;
439 unsigned int io_bitmap_max ;
440};
441#line 23 "include/asm-generic/atomic-long.h"
442typedef atomic64_t atomic_long_t;
443#line 22 "include/linux/sysfs.h"
444struct kobject;
445#line 23
446struct module;
447#line 24
448enum kobj_ns_type;
449#line 26 "include/linux/sysfs.h"
450struct attribute {
451 char const *name ;
452 umode_t mode ;
453};
454#line 56 "include/linux/sysfs.h"
455struct attribute_group {
456 char const *name ;
457 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
458 struct attribute **attrs ;
459};
460#line 85
461struct file;
462#line 86
463struct vm_area_struct;
464#line 86
465struct vm_area_struct;
466#line 88 "include/linux/sysfs.h"
467struct bin_attribute {
468 struct attribute attr ;
469 size_t size ;
470 void *private ;
471 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
472 loff_t , size_t ) ;
473 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
474 loff_t , size_t ) ;
475 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
476};
477#line 112 "include/linux/sysfs.h"
478struct sysfs_ops {
479 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
480 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
481 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
482};
483#line 118
484struct sysfs_dirent;
485#line 118
486struct sysfs_dirent;
487#line 12 "include/linux/thread_info.h"
488struct timespec;
489#line 12
490struct timespec;
491#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
492struct task_struct;
493#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
494typedef u16 __ticket_t;
495#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
496typedef u32 __ticketpair_t;
497#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
498struct __raw_tickets {
499 __ticket_t head ;
500 __ticket_t tail ;
501};
502#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
503union __anonunion____missing_field_name_36 {
504 __ticketpair_t head_tail ;
505 struct __raw_tickets tickets ;
506};
507#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
508struct arch_spinlock {
509 union __anonunion____missing_field_name_36 __annonCompField17 ;
510};
511#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
512typedef struct arch_spinlock arch_spinlock_t;
513#line 20 "include/linux/spinlock_types.h"
514struct raw_spinlock {
515 arch_spinlock_t raw_lock ;
516 unsigned int magic ;
517 unsigned int owner_cpu ;
518 void *owner ;
519};
520#line 20 "include/linux/spinlock_types.h"
521typedef struct raw_spinlock raw_spinlock_t;
522#line 64 "include/linux/spinlock_types.h"
523union __anonunion____missing_field_name_39 {
524 struct raw_spinlock rlock ;
525};
526#line 64 "include/linux/spinlock_types.h"
527struct spinlock {
528 union __anonunion____missing_field_name_39 __annonCompField19 ;
529};
530#line 64 "include/linux/spinlock_types.h"
531typedef struct spinlock spinlock_t;
532#line 22 "include/linux/kref.h"
533struct kref {
534 atomic_t refcount ;
535};
536#line 49 "include/linux/wait.h"
537struct __wait_queue_head {
538 spinlock_t lock ;
539 struct list_head task_list ;
540};
541#line 53 "include/linux/wait.h"
542typedef struct __wait_queue_head wait_queue_head_t;
543#line 55
544struct task_struct;
545#line 60 "include/linux/kobject.h"
546struct kset;
547#line 60
548struct kobj_type;
549#line 60 "include/linux/kobject.h"
550struct kobject {
551 char const *name ;
552 struct list_head entry ;
553 struct kobject *parent ;
554 struct kset *kset ;
555 struct kobj_type *ktype ;
556 struct sysfs_dirent *sd ;
557 struct kref kref ;
558 unsigned int state_initialized : 1 ;
559 unsigned int state_in_sysfs : 1 ;
560 unsigned int state_add_uevent_sent : 1 ;
561 unsigned int state_remove_uevent_sent : 1 ;
562 unsigned int uevent_suppress : 1 ;
563};
564#line 108 "include/linux/kobject.h"
565struct kobj_type {
566 void (*release)(struct kobject *kobj ) ;
567 struct sysfs_ops const *sysfs_ops ;
568 struct attribute **default_attrs ;
569 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
570 void const *(*namespace)(struct kobject *kobj ) ;
571};
572#line 116 "include/linux/kobject.h"
573struct kobj_uevent_env {
574 char *envp[32] ;
575 int envp_idx ;
576 char buf[2048] ;
577 int buflen ;
578};
579#line 123 "include/linux/kobject.h"
580struct kset_uevent_ops {
581 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
582 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
583 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
584};
585#line 140
586struct sock;
587#line 159 "include/linux/kobject.h"
588struct kset {
589 struct list_head list ;
590 spinlock_t list_lock ;
591 struct kobject kobj ;
592 struct kset_uevent_ops const *uevent_ops ;
593};
594#line 19 "include/linux/klist.h"
595struct klist_node;
596#line 19
597struct klist_node;
598#line 39 "include/linux/klist.h"
599struct klist_node {
600 void *n_klist ;
601 struct list_head n_node ;
602 struct kref n_ref ;
603};
604#line 48 "include/linux/mutex.h"
605struct mutex {
606 atomic_t count ;
607 spinlock_t wait_lock ;
608 struct list_head wait_list ;
609 struct task_struct *owner ;
610 char const *name ;
611 void *magic ;
612};
613#line 69 "include/linux/mutex.h"
614struct mutex_waiter {
615 struct list_head list ;
616 struct task_struct *task ;
617 void *magic ;
618};
619#line 119 "include/linux/seqlock.h"
620struct seqcount {
621 unsigned int sequence ;
622};
623#line 119 "include/linux/seqlock.h"
624typedef struct seqcount seqcount_t;
625#line 14 "include/linux/time.h"
626struct timespec {
627 __kernel_time_t tv_sec ;
628 long tv_nsec ;
629};
630#line 46 "include/linux/ktime.h"
631union ktime {
632 s64 tv64 ;
633};
634#line 59 "include/linux/ktime.h"
635typedef union ktime ktime_t;
636#line 10 "include/linux/timer.h"
637struct tvec_base;
638#line 10
639struct tvec_base;
640#line 12 "include/linux/timer.h"
641struct timer_list {
642 struct list_head entry ;
643 unsigned long expires ;
644 struct tvec_base *base ;
645 void (*function)(unsigned long ) ;
646 unsigned long data ;
647 int slack ;
648 int start_pid ;
649 void *start_site ;
650 char start_comm[16] ;
651};
652#line 289
653struct hrtimer;
654#line 289
655struct hrtimer;
656#line 290
657enum hrtimer_restart;
658#line 17 "include/linux/workqueue.h"
659struct work_struct;
660#line 17
661struct work_struct;
662#line 79 "include/linux/workqueue.h"
663struct work_struct {
664 atomic_long_t data ;
665 struct list_head entry ;
666 void (*func)(struct work_struct *work ) ;
667};
668#line 25 "include/linux/completion.h"
669struct completion {
670 unsigned int done ;
671 wait_queue_head_t wait ;
672};
673#line 42 "include/linux/pm.h"
674struct device;
675#line 50 "include/linux/pm.h"
676struct pm_message {
677 int event ;
678};
679#line 50 "include/linux/pm.h"
680typedef struct pm_message pm_message_t;
681#line 264 "include/linux/pm.h"
682struct dev_pm_ops {
683 int (*prepare)(struct device *dev ) ;
684 void (*complete)(struct device *dev ) ;
685 int (*suspend)(struct device *dev ) ;
686 int (*resume)(struct device *dev ) ;
687 int (*freeze)(struct device *dev ) ;
688 int (*thaw)(struct device *dev ) ;
689 int (*poweroff)(struct device *dev ) ;
690 int (*restore)(struct device *dev ) ;
691 int (*suspend_late)(struct device *dev ) ;
692 int (*resume_early)(struct device *dev ) ;
693 int (*freeze_late)(struct device *dev ) ;
694 int (*thaw_early)(struct device *dev ) ;
695 int (*poweroff_late)(struct device *dev ) ;
696 int (*restore_early)(struct device *dev ) ;
697 int (*suspend_noirq)(struct device *dev ) ;
698 int (*resume_noirq)(struct device *dev ) ;
699 int (*freeze_noirq)(struct device *dev ) ;
700 int (*thaw_noirq)(struct device *dev ) ;
701 int (*poweroff_noirq)(struct device *dev ) ;
702 int (*restore_noirq)(struct device *dev ) ;
703 int (*runtime_suspend)(struct device *dev ) ;
704 int (*runtime_resume)(struct device *dev ) ;
705 int (*runtime_idle)(struct device *dev ) ;
706};
707#line 458
708enum rpm_status {
709 RPM_ACTIVE = 0,
710 RPM_RESUMING = 1,
711 RPM_SUSPENDED = 2,
712 RPM_SUSPENDING = 3
713} ;
714#line 480
715enum rpm_request {
716 RPM_REQ_NONE = 0,
717 RPM_REQ_IDLE = 1,
718 RPM_REQ_SUSPEND = 2,
719 RPM_REQ_AUTOSUSPEND = 3,
720 RPM_REQ_RESUME = 4
721} ;
722#line 488
723struct wakeup_source;
724#line 488
725struct wakeup_source;
726#line 495 "include/linux/pm.h"
727struct pm_subsys_data {
728 spinlock_t lock ;
729 unsigned int refcount ;
730};
731#line 506
732struct dev_pm_qos_request;
733#line 506
734struct pm_qos_constraints;
735#line 506 "include/linux/pm.h"
736struct dev_pm_info {
737 pm_message_t power_state ;
738 unsigned int can_wakeup : 1 ;
739 unsigned int async_suspend : 1 ;
740 bool is_prepared : 1 ;
741 bool is_suspended : 1 ;
742 bool ignore_children : 1 ;
743 spinlock_t lock ;
744 struct list_head entry ;
745 struct completion completion ;
746 struct wakeup_source *wakeup ;
747 bool wakeup_path : 1 ;
748 struct timer_list suspend_timer ;
749 unsigned long timer_expires ;
750 struct work_struct work ;
751 wait_queue_head_t wait_queue ;
752 atomic_t usage_count ;
753 atomic_t child_count ;
754 unsigned int disable_depth : 3 ;
755 unsigned int idle_notification : 1 ;
756 unsigned int request_pending : 1 ;
757 unsigned int deferred_resume : 1 ;
758 unsigned int run_wake : 1 ;
759 unsigned int runtime_auto : 1 ;
760 unsigned int no_callbacks : 1 ;
761 unsigned int irq_safe : 1 ;
762 unsigned int use_autosuspend : 1 ;
763 unsigned int timer_autosuspends : 1 ;
764 enum rpm_request request ;
765 enum rpm_status runtime_status ;
766 int runtime_error ;
767 int autosuspend_delay ;
768 unsigned long last_busy ;
769 unsigned long active_jiffies ;
770 unsigned long suspended_jiffies ;
771 unsigned long accounting_timestamp ;
772 ktime_t suspend_time ;
773 s64 max_time_suspended_ns ;
774 struct dev_pm_qos_request *pq_req ;
775 struct pm_subsys_data *subsys_data ;
776 struct pm_qos_constraints *constraints ;
777};
778#line 564 "include/linux/pm.h"
779struct dev_pm_domain {
780 struct dev_pm_ops ops ;
781};
782#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
783struct dma_map_ops;
784#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
785struct dev_archdata {
786 void *acpi_handle ;
787 struct dma_map_ops *dma_ops ;
788 void *iommu ;
789};
790#line 28 "include/linux/device.h"
791struct device;
792#line 29
793struct device_private;
794#line 29
795struct device_private;
796#line 30
797struct device_driver;
798#line 30
799struct device_driver;
800#line 31
801struct driver_private;
802#line 31
803struct driver_private;
804#line 32
805struct module;
806#line 33
807struct class;
808#line 33
809struct class;
810#line 34
811struct subsys_private;
812#line 34
813struct subsys_private;
814#line 35
815struct bus_type;
816#line 35
817struct bus_type;
818#line 36
819struct device_node;
820#line 36
821struct device_node;
822#line 37
823struct iommu_ops;
824#line 37
825struct iommu_ops;
826#line 39 "include/linux/device.h"
827struct bus_attribute {
828 struct attribute attr ;
829 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
830 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
831};
832#line 89
833struct device_attribute;
834#line 89
835struct driver_attribute;
836#line 89 "include/linux/device.h"
837struct bus_type {
838 char const *name ;
839 char const *dev_name ;
840 struct device *dev_root ;
841 struct bus_attribute *bus_attrs ;
842 struct device_attribute *dev_attrs ;
843 struct driver_attribute *drv_attrs ;
844 int (*match)(struct device *dev , struct device_driver *drv ) ;
845 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
846 int (*probe)(struct device *dev ) ;
847 int (*remove)(struct device *dev ) ;
848 void (*shutdown)(struct device *dev ) ;
849 int (*suspend)(struct device *dev , pm_message_t state ) ;
850 int (*resume)(struct device *dev ) ;
851 struct dev_pm_ops const *pm ;
852 struct iommu_ops *iommu_ops ;
853 struct subsys_private *p ;
854};
855#line 127
856struct device_type;
857#line 214
858struct of_device_id;
859#line 214 "include/linux/device.h"
860struct device_driver {
861 char const *name ;
862 struct bus_type *bus ;
863 struct module *owner ;
864 char const *mod_name ;
865 bool suppress_bind_attrs ;
866 struct of_device_id const *of_match_table ;
867 int (*probe)(struct device *dev ) ;
868 int (*remove)(struct device *dev ) ;
869 void (*shutdown)(struct device *dev ) ;
870 int (*suspend)(struct device *dev , pm_message_t state ) ;
871 int (*resume)(struct device *dev ) ;
872 struct attribute_group const **groups ;
873 struct dev_pm_ops const *pm ;
874 struct driver_private *p ;
875};
876#line 249 "include/linux/device.h"
877struct driver_attribute {
878 struct attribute attr ;
879 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
880 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
881};
882#line 330
883struct class_attribute;
884#line 330 "include/linux/device.h"
885struct class {
886 char const *name ;
887 struct module *owner ;
888 struct class_attribute *class_attrs ;
889 struct device_attribute *dev_attrs ;
890 struct bin_attribute *dev_bin_attrs ;
891 struct kobject *dev_kobj ;
892 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
893 char *(*devnode)(struct device *dev , umode_t *mode ) ;
894 void (*class_release)(struct class *class ) ;
895 void (*dev_release)(struct device *dev ) ;
896 int (*suspend)(struct device *dev , pm_message_t state ) ;
897 int (*resume)(struct device *dev ) ;
898 struct kobj_ns_type_operations const *ns_type ;
899 void const *(*namespace)(struct device *dev ) ;
900 struct dev_pm_ops const *pm ;
901 struct subsys_private *p ;
902};
903#line 397 "include/linux/device.h"
904struct class_attribute {
905 struct attribute attr ;
906 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
907 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
908 size_t count ) ;
909 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
910};
911#line 465 "include/linux/device.h"
912struct device_type {
913 char const *name ;
914 struct attribute_group const **groups ;
915 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
916 char *(*devnode)(struct device *dev , umode_t *mode ) ;
917 void (*release)(struct device *dev ) ;
918 struct dev_pm_ops const *pm ;
919};
920#line 476 "include/linux/device.h"
921struct device_attribute {
922 struct attribute attr ;
923 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
924 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
925 size_t count ) ;
926};
927#line 559 "include/linux/device.h"
928struct device_dma_parameters {
929 unsigned int max_segment_size ;
930 unsigned long segment_boundary_mask ;
931};
932#line 627
933struct dma_coherent_mem;
934#line 627 "include/linux/device.h"
935struct device {
936 struct device *parent ;
937 struct device_private *p ;
938 struct kobject kobj ;
939 char const *init_name ;
940 struct device_type const *type ;
941 struct mutex mutex ;
942 struct bus_type *bus ;
943 struct device_driver *driver ;
944 void *platform_data ;
945 struct dev_pm_info power ;
946 struct dev_pm_domain *pm_domain ;
947 int numa_node ;
948 u64 *dma_mask ;
949 u64 coherent_dma_mask ;
950 struct device_dma_parameters *dma_parms ;
951 struct list_head dma_pools ;
952 struct dma_coherent_mem *dma_mem ;
953 struct dev_archdata archdata ;
954 struct device_node *of_node ;
955 dev_t devt ;
956 u32 id ;
957 spinlock_t devres_lock ;
958 struct list_head devres_head ;
959 struct klist_node knode_class ;
960 struct class *class ;
961 struct attribute_group const **groups ;
962 void (*release)(struct device *dev ) ;
963};
964#line 43 "include/linux/pm_wakeup.h"
965struct wakeup_source {
966 char const *name ;
967 struct list_head entry ;
968 spinlock_t lock ;
969 struct timer_list timer ;
970 unsigned long timer_expires ;
971 ktime_t total_time ;
972 ktime_t max_time ;
973 ktime_t last_time ;
974 unsigned long event_count ;
975 unsigned long active_count ;
976 unsigned long relax_count ;
977 unsigned long hit_count ;
978 unsigned int active : 1 ;
979};
980#line 12 "include/linux/mod_devicetable.h"
981typedef unsigned long kernel_ulong_t;
982#line 219 "include/linux/mod_devicetable.h"
983struct of_device_id {
984 char name[32] ;
985 char type[32] ;
986 char compatible[128] ;
987 void *data ;
988};
989#line 431 "include/linux/mod_devicetable.h"
990struct i2c_device_id {
991 char name[20] ;
992 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
993};
994#line 18 "include/linux/capability.h"
995struct task_struct;
996#line 94 "include/linux/capability.h"
997struct kernel_cap_struct {
998 __u32 cap[2] ;
999};
1000#line 94 "include/linux/capability.h"
1001typedef struct kernel_cap_struct kernel_cap_t;
1002#line 378
1003struct user_namespace;
1004#line 378
1005struct user_namespace;
1006#line 100 "include/linux/rbtree.h"
1007struct rb_node {
1008 unsigned long rb_parent_color ;
1009 struct rb_node *rb_right ;
1010 struct rb_node *rb_left ;
1011} __attribute__((__aligned__(sizeof(long )))) ;
1012#line 110 "include/linux/rbtree.h"
1013struct rb_root {
1014 struct rb_node *rb_node ;
1015};
1016#line 98 "include/linux/nodemask.h"
1017struct __anonstruct_nodemask_t_46 {
1018 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1019};
1020#line 98 "include/linux/nodemask.h"
1021typedef struct __anonstruct_nodemask_t_46 nodemask_t;
1022#line 14 "include/linux/prio_tree.h"
1023struct prio_tree_node;
1024#line 14 "include/linux/prio_tree.h"
1025struct raw_prio_tree_node {
1026 struct prio_tree_node *left ;
1027 struct prio_tree_node *right ;
1028 struct prio_tree_node *parent ;
1029};
1030#line 20 "include/linux/prio_tree.h"
1031struct prio_tree_node {
1032 struct prio_tree_node *left ;
1033 struct prio_tree_node *right ;
1034 struct prio_tree_node *parent ;
1035 unsigned long start ;
1036 unsigned long last ;
1037};
1038#line 19 "include/linux/rwsem.h"
1039struct rw_semaphore;
1040#line 19
1041struct rw_semaphore;
1042#line 25 "include/linux/rwsem.h"
1043struct rw_semaphore {
1044 long count ;
1045 raw_spinlock_t wait_lock ;
1046 struct list_head wait_list ;
1047};
1048#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1049struct __anonstruct_mm_context_t_47 {
1050 void *ldt ;
1051 int size ;
1052 unsigned short ia32_compat ;
1053 struct mutex lock ;
1054 void *vdso ;
1055};
1056#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1057typedef struct __anonstruct_mm_context_t_47 mm_context_t;
1058#line 23 "include/linux/mm_types.h"
1059struct address_space;
1060#line 23
1061struct address_space;
1062#line 40 "include/linux/mm_types.h"
1063union __anonunion____missing_field_name_49 {
1064 unsigned long index ;
1065 void *freelist ;
1066};
1067#line 40 "include/linux/mm_types.h"
1068struct __anonstruct____missing_field_name_53 {
1069 unsigned int inuse : 16 ;
1070 unsigned int objects : 15 ;
1071 unsigned int frozen : 1 ;
1072};
1073#line 40 "include/linux/mm_types.h"
1074union __anonunion____missing_field_name_52 {
1075 atomic_t _mapcount ;
1076 struct __anonstruct____missing_field_name_53 __annonCompField21 ;
1077};
1078#line 40 "include/linux/mm_types.h"
1079struct __anonstruct____missing_field_name_51 {
1080 union __anonunion____missing_field_name_52 __annonCompField22 ;
1081 atomic_t _count ;
1082};
1083#line 40 "include/linux/mm_types.h"
1084union __anonunion____missing_field_name_50 {
1085 unsigned long counters ;
1086 struct __anonstruct____missing_field_name_51 __annonCompField23 ;
1087};
1088#line 40 "include/linux/mm_types.h"
1089struct __anonstruct____missing_field_name_48 {
1090 union __anonunion____missing_field_name_49 __annonCompField20 ;
1091 union __anonunion____missing_field_name_50 __annonCompField24 ;
1092};
1093#line 40 "include/linux/mm_types.h"
1094struct __anonstruct____missing_field_name_55 {
1095 struct page *next ;
1096 int pages ;
1097 int pobjects ;
1098};
1099#line 40 "include/linux/mm_types.h"
1100union __anonunion____missing_field_name_54 {
1101 struct list_head lru ;
1102 struct __anonstruct____missing_field_name_55 __annonCompField26 ;
1103};
1104#line 40 "include/linux/mm_types.h"
1105union __anonunion____missing_field_name_56 {
1106 unsigned long private ;
1107 struct kmem_cache *slab ;
1108 struct page *first_page ;
1109};
1110#line 40 "include/linux/mm_types.h"
1111struct page {
1112 unsigned long flags ;
1113 struct address_space *mapping ;
1114 struct __anonstruct____missing_field_name_48 __annonCompField25 ;
1115 union __anonunion____missing_field_name_54 __annonCompField27 ;
1116 union __anonunion____missing_field_name_56 __annonCompField28 ;
1117 unsigned long debug_flags ;
1118} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1119#line 200 "include/linux/mm_types.h"
1120struct __anonstruct_vm_set_58 {
1121 struct list_head list ;
1122 void *parent ;
1123 struct vm_area_struct *head ;
1124};
1125#line 200 "include/linux/mm_types.h"
1126union __anonunion_shared_57 {
1127 struct __anonstruct_vm_set_58 vm_set ;
1128 struct raw_prio_tree_node prio_tree_node ;
1129};
1130#line 200
1131struct anon_vma;
1132#line 200
1133struct vm_operations_struct;
1134#line 200
1135struct mempolicy;
1136#line 200 "include/linux/mm_types.h"
1137struct vm_area_struct {
1138 struct mm_struct *vm_mm ;
1139 unsigned long vm_start ;
1140 unsigned long vm_end ;
1141 struct vm_area_struct *vm_next ;
1142 struct vm_area_struct *vm_prev ;
1143 pgprot_t vm_page_prot ;
1144 unsigned long vm_flags ;
1145 struct rb_node vm_rb ;
1146 union __anonunion_shared_57 shared ;
1147 struct list_head anon_vma_chain ;
1148 struct anon_vma *anon_vma ;
1149 struct vm_operations_struct const *vm_ops ;
1150 unsigned long vm_pgoff ;
1151 struct file *vm_file ;
1152 void *vm_private_data ;
1153 struct mempolicy *vm_policy ;
1154};
1155#line 257 "include/linux/mm_types.h"
1156struct core_thread {
1157 struct task_struct *task ;
1158 struct core_thread *next ;
1159};
1160#line 262 "include/linux/mm_types.h"
1161struct core_state {
1162 atomic_t nr_threads ;
1163 struct core_thread dumper ;
1164 struct completion startup ;
1165};
1166#line 284 "include/linux/mm_types.h"
1167struct mm_rss_stat {
1168 atomic_long_t count[3] ;
1169};
1170#line 288
1171struct linux_binfmt;
1172#line 288
1173struct mmu_notifier_mm;
1174#line 288 "include/linux/mm_types.h"
1175struct mm_struct {
1176 struct vm_area_struct *mmap ;
1177 struct rb_root mm_rb ;
1178 struct vm_area_struct *mmap_cache ;
1179 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1180 unsigned long pgoff , unsigned long flags ) ;
1181 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1182 unsigned long mmap_base ;
1183 unsigned long task_size ;
1184 unsigned long cached_hole_size ;
1185 unsigned long free_area_cache ;
1186 pgd_t *pgd ;
1187 atomic_t mm_users ;
1188 atomic_t mm_count ;
1189 int map_count ;
1190 spinlock_t page_table_lock ;
1191 struct rw_semaphore mmap_sem ;
1192 struct list_head mmlist ;
1193 unsigned long hiwater_rss ;
1194 unsigned long hiwater_vm ;
1195 unsigned long total_vm ;
1196 unsigned long locked_vm ;
1197 unsigned long pinned_vm ;
1198 unsigned long shared_vm ;
1199 unsigned long exec_vm ;
1200 unsigned long stack_vm ;
1201 unsigned long reserved_vm ;
1202 unsigned long def_flags ;
1203 unsigned long nr_ptes ;
1204 unsigned long start_code ;
1205 unsigned long end_code ;
1206 unsigned long start_data ;
1207 unsigned long end_data ;
1208 unsigned long start_brk ;
1209 unsigned long brk ;
1210 unsigned long start_stack ;
1211 unsigned long arg_start ;
1212 unsigned long arg_end ;
1213 unsigned long env_start ;
1214 unsigned long env_end ;
1215 unsigned long saved_auxv[44] ;
1216 struct mm_rss_stat rss_stat ;
1217 struct linux_binfmt *binfmt ;
1218 cpumask_var_t cpu_vm_mask_var ;
1219 mm_context_t context ;
1220 unsigned int faultstamp ;
1221 unsigned int token_priority ;
1222 unsigned int last_interval ;
1223 unsigned long flags ;
1224 struct core_state *core_state ;
1225 spinlock_t ioctx_lock ;
1226 struct hlist_head ioctx_list ;
1227 struct task_struct *owner ;
1228 struct file *exe_file ;
1229 unsigned long num_exe_file_vmas ;
1230 struct mmu_notifier_mm *mmu_notifier_mm ;
1231 pgtable_t pmd_huge_pte ;
1232 struct cpumask cpumask_allocation ;
1233};
1234#line 7 "include/asm-generic/cputime.h"
1235typedef unsigned long cputime_t;
1236#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
1237struct device;
1238#line 8 "include/linux/vmalloc.h"
1239struct vm_area_struct;
1240#line 84 "include/linux/sem.h"
1241struct task_struct;
1242#line 101
1243struct sem_undo_list;
1244#line 101 "include/linux/sem.h"
1245struct sysv_sem {
1246 struct sem_undo_list *undo_list ;
1247};
1248#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1249struct siginfo;
1250#line 10
1251struct siginfo;
1252#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1253struct __anonstruct_sigset_t_151 {
1254 unsigned long sig[1] ;
1255};
1256#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1257typedef struct __anonstruct_sigset_t_151 sigset_t;
1258#line 17 "include/asm-generic/signal-defs.h"
1259typedef void __signalfn_t(int );
1260#line 18 "include/asm-generic/signal-defs.h"
1261typedef __signalfn_t *__sighandler_t;
1262#line 20 "include/asm-generic/signal-defs.h"
1263typedef void __restorefn_t(void);
1264#line 21 "include/asm-generic/signal-defs.h"
1265typedef __restorefn_t *__sigrestore_t;
1266#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1267struct sigaction {
1268 __sighandler_t sa_handler ;
1269 unsigned long sa_flags ;
1270 __sigrestore_t sa_restorer ;
1271 sigset_t sa_mask ;
1272};
1273#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1274struct k_sigaction {
1275 struct sigaction sa ;
1276};
1277#line 7 "include/asm-generic/siginfo.h"
1278union sigval {
1279 int sival_int ;
1280 void *sival_ptr ;
1281};
1282#line 7 "include/asm-generic/siginfo.h"
1283typedef union sigval sigval_t;
1284#line 48 "include/asm-generic/siginfo.h"
1285struct __anonstruct__kill_153 {
1286 __kernel_pid_t _pid ;
1287 __kernel_uid32_t _uid ;
1288};
1289#line 48 "include/asm-generic/siginfo.h"
1290struct __anonstruct__timer_154 {
1291 __kernel_timer_t _tid ;
1292 int _overrun ;
1293 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1294 sigval_t _sigval ;
1295 int _sys_private ;
1296};
1297#line 48 "include/asm-generic/siginfo.h"
1298struct __anonstruct__rt_155 {
1299 __kernel_pid_t _pid ;
1300 __kernel_uid32_t _uid ;
1301 sigval_t _sigval ;
1302};
1303#line 48 "include/asm-generic/siginfo.h"
1304struct __anonstruct__sigchld_156 {
1305 __kernel_pid_t _pid ;
1306 __kernel_uid32_t _uid ;
1307 int _status ;
1308 __kernel_clock_t _utime ;
1309 __kernel_clock_t _stime ;
1310};
1311#line 48 "include/asm-generic/siginfo.h"
1312struct __anonstruct__sigfault_157 {
1313 void *_addr ;
1314 short _addr_lsb ;
1315};
1316#line 48 "include/asm-generic/siginfo.h"
1317struct __anonstruct__sigpoll_158 {
1318 long _band ;
1319 int _fd ;
1320};
1321#line 48 "include/asm-generic/siginfo.h"
1322union __anonunion__sifields_152 {
1323 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1324 struct __anonstruct__kill_153 _kill ;
1325 struct __anonstruct__timer_154 _timer ;
1326 struct __anonstruct__rt_155 _rt ;
1327 struct __anonstruct__sigchld_156 _sigchld ;
1328 struct __anonstruct__sigfault_157 _sigfault ;
1329 struct __anonstruct__sigpoll_158 _sigpoll ;
1330};
1331#line 48 "include/asm-generic/siginfo.h"
1332struct siginfo {
1333 int si_signo ;
1334 int si_errno ;
1335 int si_code ;
1336 union __anonunion__sifields_152 _sifields ;
1337};
1338#line 48 "include/asm-generic/siginfo.h"
1339typedef struct siginfo siginfo_t;
1340#line 288
1341struct siginfo;
1342#line 10 "include/linux/signal.h"
1343struct task_struct;
1344#line 18
1345struct user_struct;
1346#line 28 "include/linux/signal.h"
1347struct sigpending {
1348 struct list_head list ;
1349 sigset_t signal ;
1350};
1351#line 239
1352struct timespec;
1353#line 240
1354struct pt_regs;
1355#line 50 "include/linux/pid.h"
1356struct pid_namespace;
1357#line 50 "include/linux/pid.h"
1358struct upid {
1359 int nr ;
1360 struct pid_namespace *ns ;
1361 struct hlist_node pid_chain ;
1362};
1363#line 57 "include/linux/pid.h"
1364struct pid {
1365 atomic_t count ;
1366 unsigned int level ;
1367 struct hlist_head tasks[3] ;
1368 struct rcu_head rcu ;
1369 struct upid numbers[1] ;
1370};
1371#line 69 "include/linux/pid.h"
1372struct pid_link {
1373 struct hlist_node node ;
1374 struct pid *pid ;
1375};
1376#line 100
1377struct pid_namespace;
1378#line 60 "include/linux/pageblock-flags.h"
1379struct page;
1380#line 9 "include/linux/memory_hotplug.h"
1381struct page;
1382#line 994 "include/linux/mmzone.h"
1383struct page;
1384#line 10 "include/linux/seccomp.h"
1385struct __anonstruct_seccomp_t_163 {
1386 int mode ;
1387};
1388#line 10 "include/linux/seccomp.h"
1389typedef struct __anonstruct_seccomp_t_163 seccomp_t;
1390#line 81 "include/linux/plist.h"
1391struct plist_head {
1392 struct list_head node_list ;
1393};
1394#line 85 "include/linux/plist.h"
1395struct plist_node {
1396 int prio ;
1397 struct list_head prio_list ;
1398 struct list_head node_list ;
1399};
1400#line 28 "include/linux/rtmutex.h"
1401struct rt_mutex {
1402 raw_spinlock_t wait_lock ;
1403 struct plist_head wait_list ;
1404 struct task_struct *owner ;
1405 int save_state ;
1406 char const *name ;
1407 char const *file ;
1408 int line ;
1409 void *magic ;
1410};
1411#line 40
1412struct rt_mutex_waiter;
1413#line 40
1414struct rt_mutex_waiter;
1415#line 42 "include/linux/resource.h"
1416struct rlimit {
1417 unsigned long rlim_cur ;
1418 unsigned long rlim_max ;
1419};
1420#line 81
1421struct task_struct;
1422#line 8 "include/linux/timerqueue.h"
1423struct timerqueue_node {
1424 struct rb_node node ;
1425 ktime_t expires ;
1426};
1427#line 13 "include/linux/timerqueue.h"
1428struct timerqueue_head {
1429 struct rb_root head ;
1430 struct timerqueue_node *next ;
1431};
1432#line 27 "include/linux/hrtimer.h"
1433struct hrtimer_clock_base;
1434#line 27
1435struct hrtimer_clock_base;
1436#line 28
1437struct hrtimer_cpu_base;
1438#line 28
1439struct hrtimer_cpu_base;
1440#line 44
1441enum hrtimer_restart {
1442 HRTIMER_NORESTART = 0,
1443 HRTIMER_RESTART = 1
1444} ;
1445#line 108 "include/linux/hrtimer.h"
1446struct hrtimer {
1447 struct timerqueue_node node ;
1448 ktime_t _softexpires ;
1449 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1450 struct hrtimer_clock_base *base ;
1451 unsigned long state ;
1452 int start_pid ;
1453 void *start_site ;
1454 char start_comm[16] ;
1455};
1456#line 145 "include/linux/hrtimer.h"
1457struct hrtimer_clock_base {
1458 struct hrtimer_cpu_base *cpu_base ;
1459 int index ;
1460 clockid_t clockid ;
1461 struct timerqueue_head active ;
1462 ktime_t resolution ;
1463 ktime_t (*get_time)(void) ;
1464 ktime_t softirq_time ;
1465 ktime_t offset ;
1466};
1467#line 178 "include/linux/hrtimer.h"
1468struct hrtimer_cpu_base {
1469 raw_spinlock_t lock ;
1470 unsigned long active_bases ;
1471 ktime_t expires_next ;
1472 int hres_active ;
1473 int hang_detected ;
1474 unsigned long nr_events ;
1475 unsigned long nr_retries ;
1476 unsigned long nr_hangs ;
1477 ktime_t max_hang_time ;
1478 struct hrtimer_clock_base clock_base[3] ;
1479};
1480#line 11 "include/linux/task_io_accounting.h"
1481struct task_io_accounting {
1482 u64 rchar ;
1483 u64 wchar ;
1484 u64 syscr ;
1485 u64 syscw ;
1486 u64 read_bytes ;
1487 u64 write_bytes ;
1488 u64 cancelled_write_bytes ;
1489};
1490#line 13 "include/linux/latencytop.h"
1491struct task_struct;
1492#line 20 "include/linux/latencytop.h"
1493struct latency_record {
1494 unsigned long backtrace[12] ;
1495 unsigned int count ;
1496 unsigned long time ;
1497 unsigned long max ;
1498};
1499#line 29 "include/linux/sysctl.h"
1500struct completion;
1501#line 939
1502struct nsproxy;
1503#line 939
1504struct nsproxy;
1505#line 29 "include/linux/key.h"
1506typedef int32_t key_serial_t;
1507#line 32 "include/linux/key.h"
1508typedef uint32_t key_perm_t;
1509#line 34
1510struct key;
1511#line 34
1512struct key;
1513#line 75
1514struct user_struct;
1515#line 76
1516struct signal_struct;
1517#line 76
1518struct signal_struct;
1519#line 77
1520struct cred;
1521#line 77
1522struct cred;
1523#line 79
1524struct key_type;
1525#line 79
1526struct key_type;
1527#line 81
1528struct keyring_list;
1529#line 81
1530struct keyring_list;
1531#line 124
1532struct key_user;
1533#line 124 "include/linux/key.h"
1534union __anonunion____missing_field_name_220 {
1535 time_t expiry ;
1536 time_t revoked_at ;
1537};
1538#line 124 "include/linux/key.h"
1539union __anonunion_type_data_221 {
1540 struct list_head link ;
1541 unsigned long x[2] ;
1542 void *p[2] ;
1543 int reject_error ;
1544};
1545#line 124 "include/linux/key.h"
1546union __anonunion_payload_222 {
1547 unsigned long value ;
1548 void *rcudata ;
1549 void *data ;
1550 struct keyring_list *subscriptions ;
1551};
1552#line 124 "include/linux/key.h"
1553struct key {
1554 atomic_t usage ;
1555 key_serial_t serial ;
1556 struct rb_node serial_node ;
1557 struct key_type *type ;
1558 struct rw_semaphore sem ;
1559 struct key_user *user ;
1560 void *security ;
1561 union __anonunion____missing_field_name_220 __annonCompField41 ;
1562 uid_t uid ;
1563 gid_t gid ;
1564 key_perm_t perm ;
1565 unsigned short quotalen ;
1566 unsigned short datalen ;
1567 unsigned long flags ;
1568 char *description ;
1569 union __anonunion_type_data_221 type_data ;
1570 union __anonunion_payload_222 payload ;
1571};
1572#line 18 "include/linux/selinux.h"
1573struct audit_context;
1574#line 18
1575struct audit_context;
1576#line 21 "include/linux/cred.h"
1577struct user_struct;
1578#line 22
1579struct cred;
1580#line 31 "include/linux/cred.h"
1581struct group_info {
1582 atomic_t usage ;
1583 int ngroups ;
1584 int nblocks ;
1585 gid_t small_block[32] ;
1586 gid_t *blocks[0] ;
1587};
1588#line 83 "include/linux/cred.h"
1589struct thread_group_cred {
1590 atomic_t usage ;
1591 pid_t tgid ;
1592 spinlock_t lock ;
1593 struct key *session_keyring ;
1594 struct key *process_keyring ;
1595 struct rcu_head rcu ;
1596};
1597#line 116 "include/linux/cred.h"
1598struct cred {
1599 atomic_t usage ;
1600 atomic_t subscribers ;
1601 void *put_addr ;
1602 unsigned int magic ;
1603 uid_t uid ;
1604 gid_t gid ;
1605 uid_t suid ;
1606 gid_t sgid ;
1607 uid_t euid ;
1608 gid_t egid ;
1609 uid_t fsuid ;
1610 gid_t fsgid ;
1611 unsigned int securebits ;
1612 kernel_cap_t cap_inheritable ;
1613 kernel_cap_t cap_permitted ;
1614 kernel_cap_t cap_effective ;
1615 kernel_cap_t cap_bset ;
1616 unsigned char jit_keyring ;
1617 struct key *thread_keyring ;
1618 struct key *request_key_auth ;
1619 struct thread_group_cred *tgcred ;
1620 void *security ;
1621 struct user_struct *user ;
1622 struct user_namespace *user_ns ;
1623 struct group_info *group_info ;
1624 struct rcu_head rcu ;
1625};
1626#line 61 "include/linux/llist.h"
1627struct llist_node;
1628#line 65 "include/linux/llist.h"
1629struct llist_node {
1630 struct llist_node *next ;
1631};
1632#line 97 "include/linux/sched.h"
1633struct futex_pi_state;
1634#line 97
1635struct futex_pi_state;
1636#line 98
1637struct robust_list_head;
1638#line 98
1639struct robust_list_head;
1640#line 99
1641struct bio_list;
1642#line 99
1643struct bio_list;
1644#line 100
1645struct fs_struct;
1646#line 100
1647struct fs_struct;
1648#line 101
1649struct perf_event_context;
1650#line 101
1651struct perf_event_context;
1652#line 102
1653struct blk_plug;
1654#line 102
1655struct blk_plug;
1656#line 151
1657struct cfs_rq;
1658#line 151
1659struct cfs_rq;
1660#line 259
1661struct task_struct;
1662#line 366
1663struct nsproxy;
1664#line 367
1665struct user_namespace;
1666#line 214 "include/linux/aio.h"
1667struct mm_struct;
1668#line 443 "include/linux/sched.h"
1669struct sighand_struct {
1670 atomic_t count ;
1671 struct k_sigaction action[64] ;
1672 spinlock_t siglock ;
1673 wait_queue_head_t signalfd_wqh ;
1674};
1675#line 450 "include/linux/sched.h"
1676struct pacct_struct {
1677 int ac_flag ;
1678 long ac_exitcode ;
1679 unsigned long ac_mem ;
1680 cputime_t ac_utime ;
1681 cputime_t ac_stime ;
1682 unsigned long ac_minflt ;
1683 unsigned long ac_majflt ;
1684};
1685#line 458 "include/linux/sched.h"
1686struct cpu_itimer {
1687 cputime_t expires ;
1688 cputime_t incr ;
1689 u32 error ;
1690 u32 incr_error ;
1691};
1692#line 476 "include/linux/sched.h"
1693struct task_cputime {
1694 cputime_t utime ;
1695 cputime_t stime ;
1696 unsigned long long sum_exec_runtime ;
1697};
1698#line 512 "include/linux/sched.h"
1699struct thread_group_cputimer {
1700 struct task_cputime cputime ;
1701 int running ;
1702 raw_spinlock_t lock ;
1703};
1704#line 519
1705struct autogroup;
1706#line 519
1707struct autogroup;
1708#line 528
1709struct tty_struct;
1710#line 528
1711struct taskstats;
1712#line 528
1713struct tty_audit_buf;
1714#line 528 "include/linux/sched.h"
1715struct signal_struct {
1716 atomic_t sigcnt ;
1717 atomic_t live ;
1718 int nr_threads ;
1719 wait_queue_head_t wait_chldexit ;
1720 struct task_struct *curr_target ;
1721 struct sigpending shared_pending ;
1722 int group_exit_code ;
1723 int notify_count ;
1724 struct task_struct *group_exit_task ;
1725 int group_stop_count ;
1726 unsigned int flags ;
1727 unsigned int is_child_subreaper : 1 ;
1728 unsigned int has_child_subreaper : 1 ;
1729 struct list_head posix_timers ;
1730 struct hrtimer real_timer ;
1731 struct pid *leader_pid ;
1732 ktime_t it_real_incr ;
1733 struct cpu_itimer it[2] ;
1734 struct thread_group_cputimer cputimer ;
1735 struct task_cputime cputime_expires ;
1736 struct list_head cpu_timers[3] ;
1737 struct pid *tty_old_pgrp ;
1738 int leader ;
1739 struct tty_struct *tty ;
1740 struct autogroup *autogroup ;
1741 cputime_t utime ;
1742 cputime_t stime ;
1743 cputime_t cutime ;
1744 cputime_t cstime ;
1745 cputime_t gtime ;
1746 cputime_t cgtime ;
1747 cputime_t prev_utime ;
1748 cputime_t prev_stime ;
1749 unsigned long nvcsw ;
1750 unsigned long nivcsw ;
1751 unsigned long cnvcsw ;
1752 unsigned long cnivcsw ;
1753 unsigned long min_flt ;
1754 unsigned long maj_flt ;
1755 unsigned long cmin_flt ;
1756 unsigned long cmaj_flt ;
1757 unsigned long inblock ;
1758 unsigned long oublock ;
1759 unsigned long cinblock ;
1760 unsigned long coublock ;
1761 unsigned long maxrss ;
1762 unsigned long cmaxrss ;
1763 struct task_io_accounting ioac ;
1764 unsigned long long sum_sched_runtime ;
1765 struct rlimit rlim[16] ;
1766 struct pacct_struct pacct ;
1767 struct taskstats *stats ;
1768 unsigned int audit_tty ;
1769 struct tty_audit_buf *tty_audit_buf ;
1770 struct rw_semaphore group_rwsem ;
1771 int oom_adj ;
1772 int oom_score_adj ;
1773 int oom_score_adj_min ;
1774 struct mutex cred_guard_mutex ;
1775};
1776#line 703 "include/linux/sched.h"
1777struct user_struct {
1778 atomic_t __count ;
1779 atomic_t processes ;
1780 atomic_t files ;
1781 atomic_t sigpending ;
1782 atomic_t inotify_watches ;
1783 atomic_t inotify_devs ;
1784 atomic_t fanotify_listeners ;
1785 atomic_long_t epoll_watches ;
1786 unsigned long mq_bytes ;
1787 unsigned long locked_shm ;
1788 struct key *uid_keyring ;
1789 struct key *session_keyring ;
1790 struct hlist_node uidhash_node ;
1791 uid_t uid ;
1792 struct user_namespace *user_ns ;
1793 atomic_long_t locked_vm ;
1794};
1795#line 747
1796struct backing_dev_info;
1797#line 747
1798struct backing_dev_info;
1799#line 748
1800struct reclaim_state;
1801#line 748
1802struct reclaim_state;
1803#line 751 "include/linux/sched.h"
1804struct sched_info {
1805 unsigned long pcount ;
1806 unsigned long long run_delay ;
1807 unsigned long long last_arrival ;
1808 unsigned long long last_queued ;
1809};
1810#line 763 "include/linux/sched.h"
1811struct task_delay_info {
1812 spinlock_t lock ;
1813 unsigned int flags ;
1814 struct timespec blkio_start ;
1815 struct timespec blkio_end ;
1816 u64 blkio_delay ;
1817 u64 swapin_delay ;
1818 u32 blkio_count ;
1819 u32 swapin_count ;
1820 struct timespec freepages_start ;
1821 struct timespec freepages_end ;
1822 u64 freepages_delay ;
1823 u32 freepages_count ;
1824};
1825#line 1088
1826struct io_context;
1827#line 1088
1828struct io_context;
1829#line 1097
1830struct audit_context;
1831#line 1098
1832struct mempolicy;
1833#line 1099
1834struct pipe_inode_info;
1835#line 1099
1836struct pipe_inode_info;
1837#line 1102
1838struct rq;
1839#line 1102
1840struct rq;
1841#line 1122 "include/linux/sched.h"
1842struct sched_class {
1843 struct sched_class const *next ;
1844 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
1845 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
1846 void (*yield_task)(struct rq *rq ) ;
1847 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
1848 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
1849 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
1850 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
1851 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
1852 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
1853 void (*post_schedule)(struct rq *this_rq ) ;
1854 void (*task_waking)(struct task_struct *task ) ;
1855 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
1856 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
1857 void (*rq_online)(struct rq *rq ) ;
1858 void (*rq_offline)(struct rq *rq ) ;
1859 void (*set_curr_task)(struct rq *rq ) ;
1860 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
1861 void (*task_fork)(struct task_struct *p ) ;
1862 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
1863 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
1864 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
1865 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
1866 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
1867};
1868#line 1167 "include/linux/sched.h"
1869struct load_weight {
1870 unsigned long weight ;
1871 unsigned long inv_weight ;
1872};
1873#line 1172 "include/linux/sched.h"
1874struct sched_statistics {
1875 u64 wait_start ;
1876 u64 wait_max ;
1877 u64 wait_count ;
1878 u64 wait_sum ;
1879 u64 iowait_count ;
1880 u64 iowait_sum ;
1881 u64 sleep_start ;
1882 u64 sleep_max ;
1883 s64 sum_sleep_runtime ;
1884 u64 block_start ;
1885 u64 block_max ;
1886 u64 exec_max ;
1887 u64 slice_max ;
1888 u64 nr_migrations_cold ;
1889 u64 nr_failed_migrations_affine ;
1890 u64 nr_failed_migrations_running ;
1891 u64 nr_failed_migrations_hot ;
1892 u64 nr_forced_migrations ;
1893 u64 nr_wakeups ;
1894 u64 nr_wakeups_sync ;
1895 u64 nr_wakeups_migrate ;
1896 u64 nr_wakeups_local ;
1897 u64 nr_wakeups_remote ;
1898 u64 nr_wakeups_affine ;
1899 u64 nr_wakeups_affine_attempts ;
1900 u64 nr_wakeups_passive ;
1901 u64 nr_wakeups_idle ;
1902};
1903#line 1207 "include/linux/sched.h"
1904struct sched_entity {
1905 struct load_weight load ;
1906 struct rb_node run_node ;
1907 struct list_head group_node ;
1908 unsigned int on_rq ;
1909 u64 exec_start ;
1910 u64 sum_exec_runtime ;
1911 u64 vruntime ;
1912 u64 prev_sum_exec_runtime ;
1913 u64 nr_migrations ;
1914 struct sched_statistics statistics ;
1915 struct sched_entity *parent ;
1916 struct cfs_rq *cfs_rq ;
1917 struct cfs_rq *my_q ;
1918};
1919#line 1233
1920struct rt_rq;
1921#line 1233 "include/linux/sched.h"
1922struct sched_rt_entity {
1923 struct list_head run_list ;
1924 unsigned long timeout ;
1925 unsigned int time_slice ;
1926 int nr_cpus_allowed ;
1927 struct sched_rt_entity *back ;
1928 struct sched_rt_entity *parent ;
1929 struct rt_rq *rt_rq ;
1930 struct rt_rq *my_q ;
1931};
1932#line 1264
1933struct files_struct;
1934#line 1264
1935struct css_set;
1936#line 1264
1937struct compat_robust_list_head;
1938#line 1264
1939struct mem_cgroup;
1940#line 1264 "include/linux/sched.h"
1941struct memcg_batch_info {
1942 int do_batch ;
1943 struct mem_cgroup *memcg ;
1944 unsigned long nr_pages ;
1945 unsigned long memsw_nr_pages ;
1946};
1947#line 1264 "include/linux/sched.h"
1948struct task_struct {
1949 long volatile state ;
1950 void *stack ;
1951 atomic_t usage ;
1952 unsigned int flags ;
1953 unsigned int ptrace ;
1954 struct llist_node wake_entry ;
1955 int on_cpu ;
1956 int on_rq ;
1957 int prio ;
1958 int static_prio ;
1959 int normal_prio ;
1960 unsigned int rt_priority ;
1961 struct sched_class const *sched_class ;
1962 struct sched_entity se ;
1963 struct sched_rt_entity rt ;
1964 struct hlist_head preempt_notifiers ;
1965 unsigned char fpu_counter ;
1966 unsigned int policy ;
1967 cpumask_t cpus_allowed ;
1968 struct sched_info sched_info ;
1969 struct list_head tasks ;
1970 struct plist_node pushable_tasks ;
1971 struct mm_struct *mm ;
1972 struct mm_struct *active_mm ;
1973 unsigned int brk_randomized : 1 ;
1974 int exit_state ;
1975 int exit_code ;
1976 int exit_signal ;
1977 int pdeath_signal ;
1978 unsigned int jobctl ;
1979 unsigned int personality ;
1980 unsigned int did_exec : 1 ;
1981 unsigned int in_execve : 1 ;
1982 unsigned int in_iowait : 1 ;
1983 unsigned int sched_reset_on_fork : 1 ;
1984 unsigned int sched_contributes_to_load : 1 ;
1985 unsigned int irq_thread : 1 ;
1986 pid_t pid ;
1987 pid_t tgid ;
1988 unsigned long stack_canary ;
1989 struct task_struct *real_parent ;
1990 struct task_struct *parent ;
1991 struct list_head children ;
1992 struct list_head sibling ;
1993 struct task_struct *group_leader ;
1994 struct list_head ptraced ;
1995 struct list_head ptrace_entry ;
1996 struct pid_link pids[3] ;
1997 struct list_head thread_group ;
1998 struct completion *vfork_done ;
1999 int *set_child_tid ;
2000 int *clear_child_tid ;
2001 cputime_t utime ;
2002 cputime_t stime ;
2003 cputime_t utimescaled ;
2004 cputime_t stimescaled ;
2005 cputime_t gtime ;
2006 cputime_t prev_utime ;
2007 cputime_t prev_stime ;
2008 unsigned long nvcsw ;
2009 unsigned long nivcsw ;
2010 struct timespec start_time ;
2011 struct timespec real_start_time ;
2012 unsigned long min_flt ;
2013 unsigned long maj_flt ;
2014 struct task_cputime cputime_expires ;
2015 struct list_head cpu_timers[3] ;
2016 struct cred const *real_cred ;
2017 struct cred const *cred ;
2018 struct cred *replacement_session_keyring ;
2019 char comm[16] ;
2020 int link_count ;
2021 int total_link_count ;
2022 struct sysv_sem sysvsem ;
2023 unsigned long last_switch_count ;
2024 struct thread_struct thread ;
2025 struct fs_struct *fs ;
2026 struct files_struct *files ;
2027 struct nsproxy *nsproxy ;
2028 struct signal_struct *signal ;
2029 struct sighand_struct *sighand ;
2030 sigset_t blocked ;
2031 sigset_t real_blocked ;
2032 sigset_t saved_sigmask ;
2033 struct sigpending pending ;
2034 unsigned long sas_ss_sp ;
2035 size_t sas_ss_size ;
2036 int (*notifier)(void *priv ) ;
2037 void *notifier_data ;
2038 sigset_t *notifier_mask ;
2039 struct audit_context *audit_context ;
2040 uid_t loginuid ;
2041 unsigned int sessionid ;
2042 seccomp_t seccomp ;
2043 u32 parent_exec_id ;
2044 u32 self_exec_id ;
2045 spinlock_t alloc_lock ;
2046 raw_spinlock_t pi_lock ;
2047 struct plist_head pi_waiters ;
2048 struct rt_mutex_waiter *pi_blocked_on ;
2049 struct mutex_waiter *blocked_on ;
2050 unsigned int irq_events ;
2051 unsigned long hardirq_enable_ip ;
2052 unsigned long hardirq_disable_ip ;
2053 unsigned int hardirq_enable_event ;
2054 unsigned int hardirq_disable_event ;
2055 int hardirqs_enabled ;
2056 int hardirq_context ;
2057 unsigned long softirq_disable_ip ;
2058 unsigned long softirq_enable_ip ;
2059 unsigned int softirq_disable_event ;
2060 unsigned int softirq_enable_event ;
2061 int softirqs_enabled ;
2062 int softirq_context ;
2063 void *journal_info ;
2064 struct bio_list *bio_list ;
2065 struct blk_plug *plug ;
2066 struct reclaim_state *reclaim_state ;
2067 struct backing_dev_info *backing_dev_info ;
2068 struct io_context *io_context ;
2069 unsigned long ptrace_message ;
2070 siginfo_t *last_siginfo ;
2071 struct task_io_accounting ioac ;
2072 u64 acct_rss_mem1 ;
2073 u64 acct_vm_mem1 ;
2074 cputime_t acct_timexpd ;
2075 nodemask_t mems_allowed ;
2076 seqcount_t mems_allowed_seq ;
2077 int cpuset_mem_spread_rotor ;
2078 int cpuset_slab_spread_rotor ;
2079 struct css_set *cgroups ;
2080 struct list_head cg_list ;
2081 struct robust_list_head *robust_list ;
2082 struct compat_robust_list_head *compat_robust_list ;
2083 struct list_head pi_state_list ;
2084 struct futex_pi_state *pi_state_cache ;
2085 struct perf_event_context *perf_event_ctxp[2] ;
2086 struct mutex perf_event_mutex ;
2087 struct list_head perf_event_list ;
2088 struct mempolicy *mempolicy ;
2089 short il_next ;
2090 short pref_node_fork ;
2091 struct rcu_head rcu ;
2092 struct pipe_inode_info *splice_pipe ;
2093 struct task_delay_info *delays ;
2094 int make_it_fail ;
2095 int nr_dirtied ;
2096 int nr_dirtied_pause ;
2097 unsigned long dirty_paused_when ;
2098 int latency_record_count ;
2099 struct latency_record latency_record[32] ;
2100 unsigned long timer_slack_ns ;
2101 unsigned long default_timer_slack_ns ;
2102 struct list_head *scm_work_list ;
2103 unsigned long trace ;
2104 unsigned long trace_recursion ;
2105 struct memcg_batch_info memcg_batch ;
2106 atomic_t ptrace_bp_refcnt ;
2107};
2108#line 1681
2109struct pid_namespace;
2110#line 28 "include/linux/of.h"
2111typedef u32 phandle;
2112#line 31 "include/linux/of.h"
2113struct property {
2114 char *name ;
2115 int length ;
2116 void *value ;
2117 struct property *next ;
2118 unsigned long _flags ;
2119 unsigned int unique_id ;
2120};
2121#line 44
2122struct proc_dir_entry;
2123#line 44 "include/linux/of.h"
2124struct device_node {
2125 char const *name ;
2126 char const *type ;
2127 phandle phandle ;
2128 char *full_name ;
2129 struct property *properties ;
2130 struct property *deadprops ;
2131 struct device_node *parent ;
2132 struct device_node *child ;
2133 struct device_node *sibling ;
2134 struct device_node *next ;
2135 struct device_node *allnext ;
2136 struct proc_dir_entry *pde ;
2137 struct kref kref ;
2138 unsigned long _flags ;
2139 void *data ;
2140};
2141#line 44 "include/linux/i2c.h"
2142struct i2c_msg;
2143#line 44
2144struct i2c_msg;
2145#line 45
2146struct i2c_algorithm;
2147#line 45
2148struct i2c_algorithm;
2149#line 46
2150struct i2c_adapter;
2151#line 46
2152struct i2c_adapter;
2153#line 47
2154struct i2c_client;
2155#line 47
2156struct i2c_client;
2157#line 48
2158struct i2c_driver;
2159#line 48
2160struct i2c_driver;
2161#line 49
2162union i2c_smbus_data;
2163#line 49
2164union i2c_smbus_data;
2165#line 50
2166struct i2c_board_info;
2167#line 50
2168struct i2c_board_info;
2169#line 52
2170struct module;
2171#line 161 "include/linux/i2c.h"
2172struct i2c_driver {
2173 unsigned int class ;
2174 int (*attach_adapter)(struct i2c_adapter * ) __attribute__((__deprecated__)) ;
2175 int (*detach_adapter)(struct i2c_adapter * ) __attribute__((__deprecated__)) ;
2176 int (*probe)(struct i2c_client * , struct i2c_device_id const * ) ;
2177 int (*remove)(struct i2c_client * ) ;
2178 void (*shutdown)(struct i2c_client * ) ;
2179 int (*suspend)(struct i2c_client * , pm_message_t mesg ) ;
2180 int (*resume)(struct i2c_client * ) ;
2181 void (*alert)(struct i2c_client * , unsigned int data ) ;
2182 int (*command)(struct i2c_client *client , unsigned int cmd , void *arg ) ;
2183 struct device_driver driver ;
2184 struct i2c_device_id const *id_table ;
2185 int (*detect)(struct i2c_client * , struct i2c_board_info * ) ;
2186 unsigned short const *address_list ;
2187 struct list_head clients ;
2188};
2189#line 220 "include/linux/i2c.h"
2190struct i2c_client {
2191 unsigned short flags ;
2192 unsigned short addr ;
2193 char name[20] ;
2194 struct i2c_adapter *adapter ;
2195 struct i2c_driver *driver ;
2196 struct device dev ;
2197 int irq ;
2198 struct list_head detected ;
2199};
2200#line 273 "include/linux/i2c.h"
2201struct i2c_board_info {
2202 char type[20] ;
2203 unsigned short flags ;
2204 unsigned short addr ;
2205 void *platform_data ;
2206 struct dev_archdata *archdata ;
2207 struct device_node *of_node ;
2208 int irq ;
2209};
2210#line 352 "include/linux/i2c.h"
2211struct i2c_algorithm {
2212 int (*master_xfer)(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
2213 int (*smbus_xfer)(struct i2c_adapter *adap , u16 addr , unsigned short flags ,
2214 char read_write , u8 command , int size , union i2c_smbus_data *data ) ;
2215 u32 (*functionality)(struct i2c_adapter * ) ;
2216};
2217#line 373 "include/linux/i2c.h"
2218struct i2c_adapter {
2219 struct module *owner ;
2220 unsigned int class ;
2221 struct i2c_algorithm const *algo ;
2222 void *algo_data ;
2223 struct rt_mutex bus_lock ;
2224 int timeout ;
2225 int retries ;
2226 struct device dev ;
2227 int nr ;
2228 char name[48] ;
2229 struct completion dev_released ;
2230 struct mutex userspace_clients_lock ;
2231 struct list_head userspace_clients ;
2232};
2233#line 538 "include/linux/i2c.h"
2234struct i2c_msg {
2235 __u16 addr ;
2236 __u16 flags ;
2237 __u16 len ;
2238 __u8 *buf ;
2239};
2240#line 596 "include/linux/i2c.h"
2241union i2c_smbus_data {
2242 __u8 byte ;
2243 __u16 word ;
2244 __u8 block[34] ;
2245};
2246#line 10 "include/linux/gfp.h"
2247struct vm_area_struct;
2248#line 32 "include/linux/irq.h"
2249struct module;
2250#line 12 "include/linux/irqdesc.h"
2251struct proc_dir_entry;
2252#line 14
2253struct module;
2254#line 16 "include/linux/profile.h"
2255struct proc_dir_entry;
2256#line 17
2257struct pt_regs;
2258#line 65
2259struct task_struct;
2260#line 66
2261struct mm_struct;
2262#line 88
2263struct pt_regs;
2264#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
2265struct exception_table_entry {
2266 unsigned long insn ;
2267 unsigned long fixup ;
2268};
2269#line 132 "include/linux/hardirq.h"
2270struct task_struct;
2271#line 187 "include/linux/interrupt.h"
2272struct device;
2273#line 48 "include/linux/kmod.h"
2274struct cred;
2275#line 49
2276struct file;
2277#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
2278struct task_struct;
2279#line 18 "include/linux/elf.h"
2280typedef __u64 Elf64_Addr;
2281#line 19 "include/linux/elf.h"
2282typedef __u16 Elf64_Half;
2283#line 23 "include/linux/elf.h"
2284typedef __u32 Elf64_Word;
2285#line 24 "include/linux/elf.h"
2286typedef __u64 Elf64_Xword;
2287#line 194 "include/linux/elf.h"
2288struct elf64_sym {
2289 Elf64_Word st_name ;
2290 unsigned char st_info ;
2291 unsigned char st_other ;
2292 Elf64_Half st_shndx ;
2293 Elf64_Addr st_value ;
2294 Elf64_Xword st_size ;
2295};
2296#line 194 "include/linux/elf.h"
2297typedef struct elf64_sym Elf64_Sym;
2298#line 438
2299struct file;
2300#line 39 "include/linux/moduleparam.h"
2301struct kernel_param;
2302#line 39
2303struct kernel_param;
2304#line 41 "include/linux/moduleparam.h"
2305struct kernel_param_ops {
2306 int (*set)(char const *val , struct kernel_param const *kp ) ;
2307 int (*get)(char *buffer , struct kernel_param const *kp ) ;
2308 void (*free)(void *arg ) ;
2309};
2310#line 50
2311struct kparam_string;
2312#line 50
2313struct kparam_array;
2314#line 50 "include/linux/moduleparam.h"
2315union __anonunion____missing_field_name_238 {
2316 void *arg ;
2317 struct kparam_string const *str ;
2318 struct kparam_array const *arr ;
2319};
2320#line 50 "include/linux/moduleparam.h"
2321struct kernel_param {
2322 char const *name ;
2323 struct kernel_param_ops const *ops ;
2324 u16 perm ;
2325 s16 level ;
2326 union __anonunion____missing_field_name_238 __annonCompField43 ;
2327};
2328#line 63 "include/linux/moduleparam.h"
2329struct kparam_string {
2330 unsigned int maxlen ;
2331 char *string ;
2332};
2333#line 69 "include/linux/moduleparam.h"
2334struct kparam_array {
2335 unsigned int max ;
2336 unsigned int elemsize ;
2337 unsigned int *num ;
2338 struct kernel_param_ops const *ops ;
2339 void *elem ;
2340};
2341#line 445
2342struct module;
2343#line 80 "include/linux/jump_label.h"
2344struct module;
2345#line 143 "include/linux/jump_label.h"
2346struct static_key {
2347 atomic_t enabled ;
2348};
2349#line 22 "include/linux/tracepoint.h"
2350struct module;
2351#line 23
2352struct tracepoint;
2353#line 23
2354struct tracepoint;
2355#line 25 "include/linux/tracepoint.h"
2356struct tracepoint_func {
2357 void *func ;
2358 void *data ;
2359};
2360#line 30 "include/linux/tracepoint.h"
2361struct tracepoint {
2362 char const *name ;
2363 struct static_key key ;
2364 void (*regfunc)(void) ;
2365 void (*unregfunc)(void) ;
2366 struct tracepoint_func *funcs ;
2367};
2368#line 19 "include/linux/export.h"
2369struct kernel_symbol {
2370 unsigned long value ;
2371 char const *name ;
2372};
2373#line 8 "include/asm-generic/module.h"
2374struct mod_arch_specific {
2375
2376};
2377#line 35 "include/linux/module.h"
2378struct module;
2379#line 37
2380struct module_param_attrs;
2381#line 37 "include/linux/module.h"
2382struct module_kobject {
2383 struct kobject kobj ;
2384 struct module *mod ;
2385 struct kobject *drivers_dir ;
2386 struct module_param_attrs *mp ;
2387};
2388#line 44 "include/linux/module.h"
2389struct module_attribute {
2390 struct attribute attr ;
2391 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
2392 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
2393 size_t count ) ;
2394 void (*setup)(struct module * , char const * ) ;
2395 int (*test)(struct module * ) ;
2396 void (*free)(struct module * ) ;
2397};
2398#line 71
2399struct exception_table_entry;
2400#line 199
2401enum module_state {
2402 MODULE_STATE_LIVE = 0,
2403 MODULE_STATE_COMING = 1,
2404 MODULE_STATE_GOING = 2
2405} ;
2406#line 215 "include/linux/module.h"
2407struct module_ref {
2408 unsigned long incs ;
2409 unsigned long decs ;
2410} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2411#line 220
2412struct module_sect_attrs;
2413#line 220
2414struct module_notes_attrs;
2415#line 220
2416struct ftrace_event_call;
2417#line 220 "include/linux/module.h"
2418struct module {
2419 enum module_state state ;
2420 struct list_head list ;
2421 char name[64UL - sizeof(unsigned long )] ;
2422 struct module_kobject mkobj ;
2423 struct module_attribute *modinfo_attrs ;
2424 char const *version ;
2425 char const *srcversion ;
2426 struct kobject *holders_dir ;
2427 struct kernel_symbol const *syms ;
2428 unsigned long const *crcs ;
2429 unsigned int num_syms ;
2430 struct kernel_param *kp ;
2431 unsigned int num_kp ;
2432 unsigned int num_gpl_syms ;
2433 struct kernel_symbol const *gpl_syms ;
2434 unsigned long const *gpl_crcs ;
2435 struct kernel_symbol const *unused_syms ;
2436 unsigned long const *unused_crcs ;
2437 unsigned int num_unused_syms ;
2438 unsigned int num_unused_gpl_syms ;
2439 struct kernel_symbol const *unused_gpl_syms ;
2440 unsigned long const *unused_gpl_crcs ;
2441 struct kernel_symbol const *gpl_future_syms ;
2442 unsigned long const *gpl_future_crcs ;
2443 unsigned int num_gpl_future_syms ;
2444 unsigned int num_exentries ;
2445 struct exception_table_entry *extable ;
2446 int (*init)(void) ;
2447 void *module_init ;
2448 void *module_core ;
2449 unsigned int init_size ;
2450 unsigned int core_size ;
2451 unsigned int init_text_size ;
2452 unsigned int core_text_size ;
2453 unsigned int init_ro_size ;
2454 unsigned int core_ro_size ;
2455 struct mod_arch_specific arch ;
2456 unsigned int taints ;
2457 unsigned int num_bugs ;
2458 struct list_head bug_list ;
2459 struct bug_entry *bug_table ;
2460 Elf64_Sym *symtab ;
2461 Elf64_Sym *core_symtab ;
2462 unsigned int num_symtab ;
2463 unsigned int core_num_syms ;
2464 char *strtab ;
2465 char *core_strtab ;
2466 struct module_sect_attrs *sect_attrs ;
2467 struct module_notes_attrs *notes_attrs ;
2468 char *args ;
2469 void *percpu ;
2470 unsigned int percpu_size ;
2471 unsigned int num_tracepoints ;
2472 struct tracepoint * const *tracepoints_ptrs ;
2473 unsigned int num_trace_bprintk_fmt ;
2474 char const **trace_bprintk_fmt_start ;
2475 struct ftrace_event_call **trace_events ;
2476 unsigned int num_trace_events ;
2477 struct list_head source_list ;
2478 struct list_head target_list ;
2479 struct task_struct *waiter ;
2480 void (*exit)(void) ;
2481 struct module_ref *refptr ;
2482 ctor_fn_t *ctors ;
2483 unsigned int num_ctors ;
2484};
2485#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/addac/adt7316.h"
2486struct adt7316_bus {
2487 void *client ;
2488 int irq ;
2489 int irq_flags ;
2490 int (*read)(void *client , u8 reg , u8 *data ) ;
2491 int (*write)(void *client , u8 reg , u8 val ) ;
2492 int (*multi_read)(void *client , u8 first_reg , u8 count , u8 *data ) ;
2493 int (*multi_write)(void *client , u8 first_reg , u8 count , u8 *data ) ;
2494};
2495#line 1 "<compiler builtins>"
2496long __builtin_expect(long val , long res ) ;
2497#line 152 "include/linux/mutex.h"
2498void mutex_lock(struct mutex *lock ) ;
2499#line 153
2500int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2501#line 154
2502int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2503#line 168
2504int mutex_trylock(struct mutex *lock ) ;
2505#line 169
2506void mutex_unlock(struct mutex *lock ) ;
2507#line 170
2508int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2509#line 891 "include/linux/device.h"
2510extern int ( dev_err)(struct device const *dev , char const *fmt
2511 , ...) ;
2512#line 84 "include/linux/i2c.h"
2513extern s32 i2c_smbus_read_byte(struct i2c_client const *client ) ;
2514#line 85
2515extern s32 i2c_smbus_write_byte(struct i2c_client const *client , u8 value ) ;
2516#line 88
2517extern s32 i2c_smbus_write_byte_data(struct i2c_client const *client , u8 command ,
2518 u8 value ) ;
2519#line 450
2520extern int i2c_register_driver(struct module * , struct i2c_driver * ) ;
2521#line 451
2522extern void i2c_del_driver(struct i2c_driver * ) ;
2523#line 26 "include/linux/export.h"
2524extern struct module __this_module ;
2525#line 67 "include/linux/module.h"
2526int init_module(void) ;
2527#line 68
2528void cleanup_module(void) ;
2529#line 28 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/addac/adt7316.h"
2530extern struct dev_pm_ops const adt7316_pm_ops ;
2531#line 33
2532extern int adt7316_probe(struct device *dev , struct adt7316_bus *bus , char const *name ) ;
2533#line 34
2534extern int adt7316_remove(struct device *dev ) ;
2535#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2536static int adt7316_i2c_read(void *client , u8 reg , u8 *data )
2537{ struct i2c_client *cl ;
2538 int ret ;
2539 struct i2c_client const *__cil_tmp6 ;
2540 unsigned long __cil_tmp7 ;
2541 unsigned long __cil_tmp8 ;
2542 struct device *__cil_tmp9 ;
2543 struct device const *__cil_tmp10 ;
2544 struct i2c_client const *__cil_tmp11 ;
2545 unsigned long __cil_tmp12 ;
2546 unsigned long __cil_tmp13 ;
2547 struct device *__cil_tmp14 ;
2548 struct device const *__cil_tmp15 ;
2549
2550 {
2551 {
2552#line 24
2553 cl = (struct i2c_client *)client;
2554#line 25
2555 ret = 0;
2556#line 27
2557 __cil_tmp6 = (struct i2c_client const *)cl;
2558#line 27
2559 ret = i2c_smbus_write_byte(__cil_tmp6, reg);
2560 }
2561#line 28
2562 if (ret < 0) {
2563 {
2564#line 29
2565 __cil_tmp7 = (unsigned long )cl;
2566#line 29
2567 __cil_tmp8 = __cil_tmp7 + 40;
2568#line 29
2569 __cil_tmp9 = (struct device *)__cil_tmp8;
2570#line 29
2571 __cil_tmp10 = (struct device const *)__cil_tmp9;
2572#line 29
2573 dev_err(__cil_tmp10, "I2C fail to select reg\n");
2574 }
2575#line 30
2576 return (ret);
2577 } else {
2578
2579 }
2580 {
2581#line 33
2582 __cil_tmp11 = (struct i2c_client const *)client;
2583#line 33
2584 ret = i2c_smbus_read_byte(__cil_tmp11);
2585 }
2586#line 34
2587 if (ret < 0) {
2588 {
2589#line 35
2590 __cil_tmp12 = (unsigned long )cl;
2591#line 35
2592 __cil_tmp13 = __cil_tmp12 + 40;
2593#line 35
2594 __cil_tmp14 = (struct device *)__cil_tmp13;
2595#line 35
2596 __cil_tmp15 = (struct device const *)__cil_tmp14;
2597#line 35
2598 dev_err(__cil_tmp15, "I2C read error\n");
2599 }
2600#line 36
2601 return (ret);
2602 } else {
2603
2604 }
2605#line 39
2606 return (0);
2607}
2608}
2609#line 42 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2610static int adt7316_i2c_write(void *client , u8 reg , u8 data )
2611{ struct i2c_client *cl ;
2612 int ret ;
2613 struct i2c_client const *__cil_tmp6 ;
2614 unsigned long __cil_tmp7 ;
2615 unsigned long __cil_tmp8 ;
2616 struct device *__cil_tmp9 ;
2617 struct device const *__cil_tmp10 ;
2618
2619 {
2620 {
2621#line 44
2622 cl = (struct i2c_client *)client;
2623#line 45
2624 ret = 0;
2625#line 47
2626 __cil_tmp6 = (struct i2c_client const *)cl;
2627#line 47
2628 ret = i2c_smbus_write_byte_data(__cil_tmp6, reg, data);
2629 }
2630#line 48
2631 if (ret < 0) {
2632 {
2633#line 49
2634 __cil_tmp7 = (unsigned long )cl;
2635#line 49
2636 __cil_tmp8 = __cil_tmp7 + 40;
2637#line 49
2638 __cil_tmp9 = (struct device *)__cil_tmp8;
2639#line 49
2640 __cil_tmp10 = (struct device const *)__cil_tmp9;
2641#line 49
2642 dev_err(__cil_tmp10, "I2C write error\n");
2643 }
2644 } else {
2645
2646 }
2647#line 51
2648 return (ret);
2649}
2650}
2651#line 54 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2652static int adt7316_i2c_multi_read(void *client , u8 reg , u8 count , u8 *data )
2653{ struct i2c_client *cl ;
2654 int i ;
2655 int ret ;
2656 int __cil_tmp8 ;
2657 int __cil_tmp9 ;
2658 void *__cil_tmp10 ;
2659 u8 *__cil_tmp11 ;
2660 unsigned long __cil_tmp12 ;
2661 unsigned long __cil_tmp13 ;
2662 struct device *__cil_tmp14 ;
2663 struct device const *__cil_tmp15 ;
2664
2665 {
2666#line 56
2667 cl = (struct i2c_client *)client;
2668#line 57
2669 ret = 0;
2670 {
2671#line 59
2672 __cil_tmp8 = (int )count;
2673#line 59
2674 if (__cil_tmp8 > 63) {
2675#line 60
2676 count = (u8 )63;
2677 } else {
2678
2679 }
2680 }
2681#line 62
2682 i = 0;
2683 {
2684#line 62
2685 while (1) {
2686 while_continue: ;
2687 {
2688#line 62
2689 __cil_tmp9 = (int )count;
2690#line 62
2691 if (i < __cil_tmp9) {
2692
2693 } else {
2694#line 62
2695 goto while_break;
2696 }
2697 }
2698 {
2699#line 63
2700 __cil_tmp10 = (void *)cl;
2701#line 63
2702 __cil_tmp11 = data + i;
2703#line 63
2704 ret = adt7316_i2c_read(__cil_tmp10, reg, __cil_tmp11);
2705 }
2706#line 64
2707 if (ret < 0) {
2708 {
2709#line 65
2710 __cil_tmp12 = (unsigned long )cl;
2711#line 65
2712 __cil_tmp13 = __cil_tmp12 + 40;
2713#line 65
2714 __cil_tmp14 = (struct device *)__cil_tmp13;
2715#line 65
2716 __cil_tmp15 = (struct device const *)__cil_tmp14;
2717#line 65
2718 dev_err(__cil_tmp15, "I2C multi read error\n");
2719 }
2720#line 66
2721 return (ret);
2722 } else {
2723
2724 }
2725#line 62
2726 i = i + 1;
2727 }
2728 while_break: ;
2729 }
2730#line 70
2731 return (0);
2732}
2733}
2734#line 73 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2735static int adt7316_i2c_multi_write(void *client , u8 reg , u8 count , u8 *data )
2736{ struct i2c_client *cl ;
2737 int i ;
2738 int ret ;
2739 int __cil_tmp8 ;
2740 int __cil_tmp9 ;
2741 void *__cil_tmp10 ;
2742 u8 *__cil_tmp11 ;
2743 u8 __cil_tmp12 ;
2744 unsigned long __cil_tmp13 ;
2745 unsigned long __cil_tmp14 ;
2746 struct device *__cil_tmp15 ;
2747 struct device const *__cil_tmp16 ;
2748
2749 {
2750#line 75
2751 cl = (struct i2c_client *)client;
2752#line 76
2753 ret = 0;
2754 {
2755#line 78
2756 __cil_tmp8 = (int )count;
2757#line 78
2758 if (__cil_tmp8 > 63) {
2759#line 79
2760 count = (u8 )63;
2761 } else {
2762
2763 }
2764 }
2765#line 81
2766 i = 0;
2767 {
2768#line 81
2769 while (1) {
2770 while_continue: ;
2771 {
2772#line 81
2773 __cil_tmp9 = (int )count;
2774#line 81
2775 if (i < __cil_tmp9) {
2776
2777 } else {
2778#line 81
2779 goto while_break;
2780 }
2781 }
2782 {
2783#line 82
2784 __cil_tmp10 = (void *)cl;
2785#line 82
2786 __cil_tmp11 = data + i;
2787#line 82
2788 __cil_tmp12 = *__cil_tmp11;
2789#line 82
2790 ret = adt7316_i2c_write(__cil_tmp10, reg, __cil_tmp12);
2791 }
2792#line 83
2793 if (ret < 0) {
2794 {
2795#line 84
2796 __cil_tmp13 = (unsigned long )cl;
2797#line 84
2798 __cil_tmp14 = __cil_tmp13 + 40;
2799#line 84
2800 __cil_tmp15 = (struct device *)__cil_tmp14;
2801#line 84
2802 __cil_tmp16 = (struct device const *)__cil_tmp15;
2803#line 84
2804 dev_err(__cil_tmp16, "I2C multi write error\n");
2805 }
2806#line 85
2807 return (ret);
2808 } else {
2809
2810 }
2811#line 81
2812 i = i + 1;
2813 }
2814 while_break: ;
2815 }
2816#line 89
2817 return (0);
2818}
2819}
2820#line 96
2821static int adt7316_i2c_probe(struct i2c_client *client , struct i2c_device_id const *id ) __attribute__((__section__(".devinit.text"),
2822__no_instrument_function__)) ;
2823#line 96 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2824static int adt7316_i2c_probe(struct i2c_client *client , struct i2c_device_id const *id )
2825{ struct adt7316_bus bus ;
2826 int tmp___7 ;
2827 struct adt7316_bus *__cil_tmp5 ;
2828 unsigned long __cil_tmp6 ;
2829 unsigned long __cil_tmp7 ;
2830 unsigned long __cil_tmp8 ;
2831 unsigned long __cil_tmp9 ;
2832 unsigned long __cil_tmp10 ;
2833 unsigned long __cil_tmp11 ;
2834 unsigned long __cil_tmp12 ;
2835 unsigned long __cil_tmp13 ;
2836 unsigned long __cil_tmp14 ;
2837 unsigned long __cil_tmp15 ;
2838 struct device *__cil_tmp16 ;
2839 unsigned long __cil_tmp17 ;
2840 unsigned long __cil_tmp18 ;
2841 unsigned long __cil_tmp19 ;
2842 unsigned long __cil_tmp20 ;
2843 char const *__cil_tmp21 ;
2844 char const *__cil_tmp22 ;
2845
2846 {
2847 {
2848#line 99
2849 __cil_tmp5 = & bus;
2850#line 99
2851 *((void **)__cil_tmp5) = (void *)client;
2852#line 99
2853 __cil_tmp6 = (unsigned long )(& bus) + 8;
2854#line 99
2855 __cil_tmp7 = (unsigned long )client;
2856#line 99
2857 __cil_tmp8 = __cil_tmp7 + 808;
2858#line 99
2859 *((int *)__cil_tmp6) = *((int *)__cil_tmp8);
2860#line 99
2861 __cil_tmp9 = (unsigned long )(& bus) + 12;
2862#line 99
2863 *((int *)__cil_tmp9) = 8;
2864#line 99
2865 __cil_tmp10 = (unsigned long )(& bus) + 16;
2866#line 99
2867 *((int (**)(void *client , u8 reg , u8 *data ))__cil_tmp10) = & adt7316_i2c_read;
2868#line 99
2869 __cil_tmp11 = (unsigned long )(& bus) + 24;
2870#line 99
2871 *((int (**)(void *client , u8 reg , u8 val ))__cil_tmp11) = & adt7316_i2c_write;
2872#line 99
2873 __cil_tmp12 = (unsigned long )(& bus) + 32;
2874#line 99
2875 *((int (**)(void *client , u8 first_reg , u8 count , u8 *data ))__cil_tmp12) = & adt7316_i2c_multi_read;
2876#line 99
2877 __cil_tmp13 = (unsigned long )(& bus) + 40;
2878#line 99
2879 *((int (**)(void *client , u8 first_reg , u8 count , u8 *data ))__cil_tmp13) = & adt7316_i2c_multi_write;
2880#line 109
2881 __cil_tmp14 = (unsigned long )client;
2882#line 109
2883 __cil_tmp15 = __cil_tmp14 + 40;
2884#line 109
2885 __cil_tmp16 = (struct device *)__cil_tmp15;
2886#line 109
2887 __cil_tmp17 = 0 * 1UL;
2888#line 109
2889 __cil_tmp18 = 0 + __cil_tmp17;
2890#line 109
2891 __cil_tmp19 = (unsigned long )id;
2892#line 109
2893 __cil_tmp20 = __cil_tmp19 + __cil_tmp18;
2894#line 109
2895 __cil_tmp21 = (char const *)__cil_tmp20;
2896#line 109
2897 __cil_tmp22 = (char const *)__cil_tmp21;
2898#line 109
2899 tmp___7 = adt7316_probe(__cil_tmp16, & bus, __cil_tmp22);
2900 }
2901#line 109
2902 return (tmp___7);
2903}
2904}
2905#line 112
2906static int adt7316_i2c_remove(struct i2c_client *client ) __attribute__((__section__(".devexit.text"),
2907__no_instrument_function__)) ;
2908#line 112 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2909static int adt7316_i2c_remove(struct i2c_client *client )
2910{ int tmp___7 ;
2911 unsigned long __cil_tmp3 ;
2912 unsigned long __cil_tmp4 ;
2913 struct device *__cil_tmp5 ;
2914
2915 {
2916 {
2917#line 114
2918 __cil_tmp3 = (unsigned long )client;
2919#line 114
2920 __cil_tmp4 = __cil_tmp3 + 40;
2921#line 114
2922 __cil_tmp5 = (struct device *)__cil_tmp4;
2923#line 114
2924 tmp___7 = adt7316_remove(__cil_tmp5);
2925 }
2926#line 114
2927 return (tmp___7);
2928}
2929}
2930#line 117 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2931static struct i2c_device_id const adt7316_i2c_id[6] = { {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'3', (char )'1', (char )'6',
2932 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
2933 (char)0, (char)0, (char)0, (char)0, (char)0}, (kernel_ulong_t )0},
2934 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'3', (char )'1', (char )'7',
2935 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
2936 (char)0, (char)0, (char)0, (char)0, (char)0}, (kernel_ulong_t )0},
2937 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'3', (char )'1', (char )'8',
2938 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
2939 (char)0, (char)0, (char)0, (char)0, (char)0}, (kernel_ulong_t )0},
2940 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'5', (char )'1', (char )'6',
2941 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
2942 (char)0, (char)0, (char)0, (char)0, (char)0}, (kernel_ulong_t )0},
2943 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'5', (char )'1', (char )'7',
2944 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
2945 (char)0, (char)0, (char)0, (char)0, (char)0}, (kernel_ulong_t )0},
2946 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'5', (char )'1', (char )'9',
2947 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
2948 (char)0, (char)0, (char)0, (char)0, (char)0}, (kernel_ulong_t )0}};
2949#line 127
2950extern struct i2c_device_id const __mod_i2c_device_table __attribute__((__unused__,
2951__alias__("adt7316_i2c_id"))) ;
2952#line 129 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2953static struct i2c_driver adt7316_driver =
2954#line 129
2955 {0U, (int (*)(struct i2c_adapter * ))0, (int (*)(struct i2c_adapter * ))0, & adt7316_i2c_probe,
2956 & adt7316_i2c_remove, (void (*)(struct i2c_client * ))0, (int (*)(struct i2c_client * ,
2957 pm_message_t mesg ))0,
2958 (int (*)(struct i2c_client * ))0, (void (*)(struct i2c_client * , unsigned int data ))0,
2959 (int (*)(struct i2c_client *client , unsigned int cmd , void *arg ))0, {"adt7316",
2960 (struct bus_type *)0,
2961 & __this_module,
2962 (char const *)0,
2963 (_Bool)0,
2964 (struct of_device_id const *)0,
2965 (int (*)(struct device *dev ))0,
2966 (int (*)(struct device *dev ))0,
2967 (void (*)(struct device *dev ))0,
2968 (int (*)(struct device *dev ,
2969 pm_message_t state ))0,
2970 (int (*)(struct device *dev ))0,
2971 (struct attribute_group const **)0,
2972 & adt7316_pm_ops,
2973 (struct driver_private *)0},
2974 adt7316_i2c_id, (int (*)(struct i2c_client * , struct i2c_board_info * ))0, (unsigned short const *)0,
2975 {(struct list_head *)0, (struct list_head *)0}};
2976#line 139
2977static int adt7316_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
2978#line 139 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2979static int adt7316_driver_init(void)
2980{ int tmp___7 ;
2981
2982 {
2983 {
2984#line 139
2985 tmp___7 = i2c_register_driver(& __this_module, & adt7316_driver);
2986 }
2987#line 139
2988 return (tmp___7);
2989}
2990}
2991#line 139 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
2992int init_module(void)
2993{ int tmp___7 ;
2994
2995 {
2996 {
2997#line 139
2998 tmp___7 = adt7316_driver_init();
2999 }
3000#line 139
3001 return (tmp___7);
3002}
3003}
3004#line 139
3005static void adt7316_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
3006#line 139 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3007static void adt7316_driver_exit(void)
3008{
3009
3010 {
3011 {
3012#line 139
3013 i2c_del_driver(& adt7316_driver);
3014 }
3015#line 139
3016 return;
3017}
3018}
3019#line 139 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3020void cleanup_module(void)
3021{
3022
3023 {
3024 {
3025#line 139
3026 adt7316_driver_exit();
3027 }
3028#line 139
3029 return;
3030}
3031}
3032#line 141 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3033static char const __mod_author141[44] __attribute__((__used__, __unused__, __section__(".modinfo"),
3034__aligned__(1))) =
3035#line 141
3036 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3037 (char const )'o', (char const )'r', (char const )'=', (char const )'S',
3038 (char const )'o', (char const )'n', (char const )'i', (char const )'c',
3039 (char const )' ', (char const )'Z', (char const )'h', (char const )'a',
3040 (char const )'n', (char const )'g', (char const )' ', (char const )'<',
3041 (char const )'s', (char const )'o', (char const )'n', (char const )'i',
3042 (char const )'c', (char const )'.', (char const )'z', (char const )'h',
3043 (char const )'a', (char const )'n', (char const )'g', (char const )'@',
3044 (char const )'a', (char const )'n', (char const )'a', (char const )'l',
3045 (char const )'o', (char const )'g', (char const )'.', (char const )'c',
3046 (char const )'o', (char const )'m', (char const )'>', (char const )'\000'};
3047#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3048static char const __mod_description143[113] __attribute__((__used__, __unused__,
3049__section__(".modinfo"), __aligned__(1))) =
3050#line 142
3051 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3052 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3053 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3054 (char const )'I', (char const )'2', (char const )'C', (char const )' ',
3055 (char const )'b', (char const )'u', (char const )'s', (char const )' ',
3056 (char const )'d', (char const )'r', (char const )'i', (char const )'v',
3057 (char const )'e', (char const )'r', (char const )' ', (char const )'f',
3058 (char const )'o', (char const )'r', (char const )' ', (char const )'A',
3059 (char const )'n', (char const )'a', (char const )'l', (char const )'o',
3060 (char const )'g', (char const )' ', (char const )'D', (char const )'e',
3061 (char const )'v', (char const )'i', (char const )'c', (char const )'e',
3062 (char const )'s', (char const )' ', (char const )'A', (char const )'D',
3063 (char const )'T', (char const )'7', (char const )'3', (char const )'1',
3064 (char const )'6', (char const )'/', (char const )'7', (char const )'/',
3065 (char const )'9', (char const )' ', (char const )'a', (char const )'n',
3066 (char const )'d', (char const )'A', (char const )'D', (char const )'T',
3067 (char const )'7', (char const )'5', (char const )'1', (char const )'6',
3068 (char const )'/', (char const )'7', (char const )'/', (char const )'8',
3069 (char const )' ', (char const )'d', (char const )'i', (char const )'g',
3070 (char const )'i', (char const )'t', (char const )'a', (char const )'l',
3071 (char const )' ', (char const )'t', (char const )'e', (char const )'m',
3072 (char const )'p', (char const )'e', (char const )'r', (char const )'a',
3073 (char const )'t', (char const )'u', (char const )'r', (char const )'e',
3074 (char const )' ', (char const )'s', (char const )'e', (char const )'n',
3075 (char const )'s', (char const )'o', (char const )'r', (char const )',',
3076 (char const )' ', (char const )'A', (char const )'D', (char const )'C',
3077 (char const )' ', (char const )'a', (char const )'n', (char const )'d',
3078 (char const )' ', (char const )'D', (char const )'A', (char const )'C',
3079 (char const )'\000'};
3080#line 144 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3081static char const __mod_license144[15] __attribute__((__used__, __unused__, __section__(".modinfo"),
3082__aligned__(1))) =
3083#line 144
3084 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3085 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3086 (char const )'G', (char const )'P', (char const )'L', (char const )' ',
3087 (char const )'v', (char const )'2', (char const )'\000'};
3088#line 162
3089void ldv_check_final_state(void) ;
3090#line 165
3091extern void ldv_check_return_value(int res ) ;
3092#line 168
3093extern void ldv_initialize(void) ;
3094#line 171
3095extern int __VERIFIER_nondet_int(void) ;
3096#line 174 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3097int LDV_IN_INTERRUPT ;
3098#line 229 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3099static int res_adt7316_i2c_probe_4 ;
3100#line 177 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3101void main(void)
3102{ void *var_adt7316_i2c_read_0_p0 ;
3103 u8 var_adt7316_i2c_read_0_p1 ;
3104 u8 *var_adt7316_i2c_read_0_p2 ;
3105 void *var_adt7316_i2c_write_1_p0 ;
3106 u8 var_adt7316_i2c_write_1_p1 ;
3107 u8 var_adt7316_i2c_write_1_p2 ;
3108 void *var_adt7316_i2c_multi_read_2_p0 ;
3109 u8 var_adt7316_i2c_multi_read_2_p1 ;
3110 u8 var_adt7316_i2c_multi_read_2_p2 ;
3111 u8 *var_adt7316_i2c_multi_read_2_p3 ;
3112 void *var_adt7316_i2c_multi_write_3_p0 ;
3113 u8 var_adt7316_i2c_multi_write_3_p1 ;
3114 u8 var_adt7316_i2c_multi_write_3_p2 ;
3115 u8 *var_adt7316_i2c_multi_write_3_p3 ;
3116 struct i2c_client *var_group1 ;
3117 struct i2c_device_id const *var_adt7316_i2c_probe_4_p1 ;
3118 int ldv_s_adt7316_driver_i2c_driver ;
3119 int tmp___7 ;
3120 int tmp___8 ;
3121 int __cil_tmp20 ;
3122
3123 {
3124 {
3125#line 237
3126 LDV_IN_INTERRUPT = 1;
3127#line 246
3128 ldv_initialize();
3129#line 249
3130 ldv_s_adt7316_driver_i2c_driver = 0;
3131 }
3132 {
3133#line 252
3134 while (1) {
3135 while_continue: ;
3136 {
3137#line 252
3138 tmp___8 = __VERIFIER_nondet_int();
3139 }
3140#line 252
3141 if (tmp___8) {
3142
3143 } else {
3144 {
3145#line 252
3146 __cil_tmp20 = ldv_s_adt7316_driver_i2c_driver == 0;
3147#line 252
3148 if (! __cil_tmp20) {
3149
3150 } else {
3151#line 252
3152 goto while_break;
3153 }
3154 }
3155 }
3156 {
3157#line 256
3158 tmp___7 = __VERIFIER_nondet_int();
3159 }
3160#line 258
3161 if (tmp___7 == 0) {
3162#line 258
3163 goto case_0;
3164 } else
3165#line 274
3166 if (tmp___7 == 1) {
3167#line 274
3168 goto case_1;
3169 } else
3170#line 290
3171 if (tmp___7 == 2) {
3172#line 290
3173 goto case_2;
3174 } else
3175#line 306
3176 if (tmp___7 == 3) {
3177#line 306
3178 goto case_3;
3179 } else
3180#line 322
3181 if (tmp___7 == 4) {
3182#line 322
3183 goto case_4;
3184 } else {
3185 {
3186#line 341
3187 goto switch_default;
3188#line 256
3189 if (0) {
3190 case_0:
3191 {
3192#line 266
3193 adt7316_i2c_read(var_adt7316_i2c_read_0_p0, var_adt7316_i2c_read_0_p1, var_adt7316_i2c_read_0_p2);
3194 }
3195#line 273
3196 goto switch_break;
3197 case_1:
3198 {
3199#line 282
3200 adt7316_i2c_write(var_adt7316_i2c_write_1_p0, var_adt7316_i2c_write_1_p1,
3201 var_adt7316_i2c_write_1_p2);
3202 }
3203#line 289
3204 goto switch_break;
3205 case_2:
3206 {
3207#line 298
3208 adt7316_i2c_multi_read(var_adt7316_i2c_multi_read_2_p0, var_adt7316_i2c_multi_read_2_p1,
3209 var_adt7316_i2c_multi_read_2_p2, var_adt7316_i2c_multi_read_2_p3);
3210 }
3211#line 305
3212 goto switch_break;
3213 case_3:
3214 {
3215#line 314
3216 adt7316_i2c_multi_write(var_adt7316_i2c_multi_write_3_p0, var_adt7316_i2c_multi_write_3_p1,
3217 var_adt7316_i2c_multi_write_3_p2, var_adt7316_i2c_multi_write_3_p3);
3218 }
3219#line 321
3220 goto switch_break;
3221 case_4:
3222#line 325
3223 if (ldv_s_adt7316_driver_i2c_driver == 0) {
3224 {
3225#line 330
3226 res_adt7316_i2c_probe_4 = adt7316_i2c_probe(var_group1, var_adt7316_i2c_probe_4_p1);
3227#line 331
3228 ldv_check_return_value(res_adt7316_i2c_probe_4);
3229 }
3230#line 332
3231 if (res_adt7316_i2c_probe_4) {
3232#line 333
3233 goto ldv_module_exit;
3234 } else {
3235
3236 }
3237#line 334
3238 ldv_s_adt7316_driver_i2c_driver = 0;
3239 } else {
3240
3241 }
3242#line 340
3243 goto switch_break;
3244 switch_default:
3245#line 341
3246 goto switch_break;
3247 } else {
3248 switch_break: ;
3249 }
3250 }
3251 }
3252 }
3253 while_break: ;
3254 }
3255 ldv_module_exit:
3256 {
3257#line 350
3258 ldv_check_final_state();
3259 }
3260#line 353
3261 return;
3262}
3263}
3264#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3265void ldv_blast_assert(void)
3266{
3267
3268 {
3269 ERROR:
3270#line 6
3271 goto ERROR;
3272}
3273}
3274#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3275extern int __VERIFIER_nondet_int(void) ;
3276#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3277int ldv_mutex = 1;
3278#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3279int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3280{ int nondetermined ;
3281
3282 {
3283#line 29
3284 if (ldv_mutex == 1) {
3285
3286 } else {
3287 {
3288#line 29
3289 ldv_blast_assert();
3290 }
3291 }
3292 {
3293#line 32
3294 nondetermined = __VERIFIER_nondet_int();
3295 }
3296#line 35
3297 if (nondetermined) {
3298#line 38
3299 ldv_mutex = 2;
3300#line 40
3301 return (0);
3302 } else {
3303#line 45
3304 return (-4);
3305 }
3306}
3307}
3308#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3309int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3310{ int nondetermined ;
3311
3312 {
3313#line 57
3314 if (ldv_mutex == 1) {
3315
3316 } else {
3317 {
3318#line 57
3319 ldv_blast_assert();
3320 }
3321 }
3322 {
3323#line 60
3324 nondetermined = __VERIFIER_nondet_int();
3325 }
3326#line 63
3327 if (nondetermined) {
3328#line 66
3329 ldv_mutex = 2;
3330#line 68
3331 return (0);
3332 } else {
3333#line 73
3334 return (-4);
3335 }
3336}
3337}
3338#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3339int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3340{ int atomic_value_after_dec ;
3341
3342 {
3343#line 83
3344 if (ldv_mutex == 1) {
3345
3346 } else {
3347 {
3348#line 83
3349 ldv_blast_assert();
3350 }
3351 }
3352 {
3353#line 86
3354 atomic_value_after_dec = __VERIFIER_nondet_int();
3355 }
3356#line 89
3357 if (atomic_value_after_dec == 0) {
3358#line 92
3359 ldv_mutex = 2;
3360#line 94
3361 return (1);
3362 } else {
3363
3364 }
3365#line 98
3366 return (0);
3367}
3368}
3369#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3370void mutex_lock(struct mutex *lock )
3371{
3372
3373 {
3374#line 108
3375 if (ldv_mutex == 1) {
3376
3377 } else {
3378 {
3379#line 108
3380 ldv_blast_assert();
3381 }
3382 }
3383#line 110
3384 ldv_mutex = 2;
3385#line 111
3386 return;
3387}
3388}
3389#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3390int mutex_trylock(struct mutex *lock )
3391{ int nondetermined ;
3392
3393 {
3394#line 121
3395 if (ldv_mutex == 1) {
3396
3397 } else {
3398 {
3399#line 121
3400 ldv_blast_assert();
3401 }
3402 }
3403 {
3404#line 124
3405 nondetermined = __VERIFIER_nondet_int();
3406 }
3407#line 127
3408 if (nondetermined) {
3409#line 130
3410 ldv_mutex = 2;
3411#line 132
3412 return (1);
3413 } else {
3414#line 137
3415 return (0);
3416 }
3417}
3418}
3419#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3420void mutex_unlock(struct mutex *lock )
3421{
3422
3423 {
3424#line 147
3425 if (ldv_mutex == 2) {
3426
3427 } else {
3428 {
3429#line 147
3430 ldv_blast_assert();
3431 }
3432 }
3433#line 149
3434 ldv_mutex = 1;
3435#line 150
3436 return;
3437}
3438}
3439#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3440void ldv_check_final_state(void)
3441{
3442
3443 {
3444#line 156
3445 if (ldv_mutex == 1) {
3446
3447 } else {
3448 {
3449#line 156
3450 ldv_blast_assert();
3451 }
3452 }
3453#line 157
3454 return;
3455}
3456}
3457#line 362 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1707/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-i2c.c.common.c"
3458long s__builtin_expect(long val , long res )
3459{
3460
3461 {
3462#line 363
3463 return (val);
3464}
3465}