1
2
3
4#line 23 "include/asm-generic/int-ll64.h"
5typedef unsigned short __u16;
6#line 25 "include/asm-generic/int-ll64.h"
7typedef int __s32;
8#line 26 "include/asm-generic/int-ll64.h"
9typedef unsigned int __u32;
10#line 30 "include/asm-generic/int-ll64.h"
11typedef unsigned long long __u64;
12#line 43 "include/asm-generic/int-ll64.h"
13typedef unsigned char u8;
14#line 45 "include/asm-generic/int-ll64.h"
15typedef short s16;
16#line 46 "include/asm-generic/int-ll64.h"
17typedef unsigned short u16;
18#line 49 "include/asm-generic/int-ll64.h"
19typedef unsigned int u32;
20#line 51 "include/asm-generic/int-ll64.h"
21typedef long long s64;
22#line 52 "include/asm-generic/int-ll64.h"
23typedef unsigned long long u64;
24#line 14 "include/asm-generic/posix_types.h"
25typedef long __kernel_long_t;
26#line 15 "include/asm-generic/posix_types.h"
27typedef unsigned long __kernel_ulong_t;
28#line 31 "include/asm-generic/posix_types.h"
29typedef int __kernel_pid_t;
30#line 52 "include/asm-generic/posix_types.h"
31typedef unsigned int __kernel_uid32_t;
32#line 53 "include/asm-generic/posix_types.h"
33typedef unsigned int __kernel_gid32_t;
34#line 75 "include/asm-generic/posix_types.h"
35typedef __kernel_ulong_t __kernel_size_t;
36#line 76 "include/asm-generic/posix_types.h"
37typedef __kernel_long_t __kernel_ssize_t;
38#line 91 "include/asm-generic/posix_types.h"
39typedef long long __kernel_loff_t;
40#line 92 "include/asm-generic/posix_types.h"
41typedef __kernel_long_t __kernel_time_t;
42#line 93 "include/asm-generic/posix_types.h"
43typedef __kernel_long_t __kernel_clock_t;
44#line 94 "include/asm-generic/posix_types.h"
45typedef int __kernel_timer_t;
46#line 95 "include/asm-generic/posix_types.h"
47typedef int __kernel_clockid_t;
48#line 21 "include/linux/types.h"
49typedef __u32 __kernel_dev_t;
50#line 24 "include/linux/types.h"
51typedef __kernel_dev_t dev_t;
52#line 27 "include/linux/types.h"
53typedef unsigned short umode_t;
54#line 30 "include/linux/types.h"
55typedef __kernel_pid_t pid_t;
56#line 35 "include/linux/types.h"
57typedef __kernel_clockid_t clockid_t;
58#line 38 "include/linux/types.h"
59typedef _Bool bool;
60#line 40 "include/linux/types.h"
61typedef __kernel_uid32_t uid_t;
62#line 41 "include/linux/types.h"
63typedef __kernel_gid32_t gid_t;
64#line 54 "include/linux/types.h"
65typedef __kernel_loff_t loff_t;
66#line 63 "include/linux/types.h"
67typedef __kernel_size_t size_t;
68#line 68 "include/linux/types.h"
69typedef __kernel_ssize_t ssize_t;
70#line 78 "include/linux/types.h"
71typedef __kernel_time_t time_t;
72#line 111 "include/linux/types.h"
73typedef __s32 int32_t;
74#line 117 "include/linux/types.h"
75typedef __u32 uint32_t;
76#line 155 "include/linux/types.h"
77typedef u64 dma_addr_t;
78#line 202 "include/linux/types.h"
79typedef unsigned int gfp_t;
80#line 219 "include/linux/types.h"
81struct __anonstruct_atomic_t_7 {
82 int counter ;
83};
84#line 219 "include/linux/types.h"
85typedef struct __anonstruct_atomic_t_7 atomic_t;
86#line 224 "include/linux/types.h"
87struct __anonstruct_atomic64_t_8 {
88 long counter ;
89};
90#line 224 "include/linux/types.h"
91typedef struct __anonstruct_atomic64_t_8 atomic64_t;
92#line 229 "include/linux/types.h"
93struct list_head {
94 struct list_head *next ;
95 struct list_head *prev ;
96};
97#line 233
98struct hlist_node;
99#line 233 "include/linux/types.h"
100struct hlist_head {
101 struct hlist_node *first ;
102};
103#line 237 "include/linux/types.h"
104struct hlist_node {
105 struct hlist_node *next ;
106 struct hlist_node **pprev ;
107};
108#line 253 "include/linux/types.h"
109struct rcu_head {
110 struct rcu_head *next ;
111 void (*func)(struct rcu_head *head ) ;
112};
113#line 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 98 "include/linux/nodemask.h"
981struct __anonstruct_nodemask_t_44 {
982 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
983};
984#line 98 "include/linux/nodemask.h"
985typedef struct __anonstruct_nodemask_t_44 nodemask_t;
986#line 60 "include/linux/pageblock-flags.h"
987struct page;
988#line 19 "include/linux/rwsem.h"
989struct rw_semaphore;
990#line 19
991struct rw_semaphore;
992#line 25 "include/linux/rwsem.h"
993struct rw_semaphore {
994 long count ;
995 raw_spinlock_t wait_lock ;
996 struct list_head wait_list ;
997};
998#line 9 "include/linux/memory_hotplug.h"
999struct page;
1000#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
1001struct device;
1002#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1003struct __anonstruct_mm_context_t_112 {
1004 void *ldt ;
1005 int size ;
1006 unsigned short ia32_compat ;
1007 struct mutex lock ;
1008 void *vdso ;
1009};
1010#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1011typedef struct __anonstruct_mm_context_t_112 mm_context_t;
1012#line 8 "include/linux/vmalloc.h"
1013struct vm_area_struct;
1014#line 994 "include/linux/mmzone.h"
1015struct page;
1016#line 10 "include/linux/gfp.h"
1017struct vm_area_struct;
1018#line 29 "include/linux/sysctl.h"
1019struct completion;
1020#line 100 "include/linux/rbtree.h"
1021struct rb_node {
1022 unsigned long rb_parent_color ;
1023 struct rb_node *rb_right ;
1024 struct rb_node *rb_left ;
1025} __attribute__((__aligned__(sizeof(long )))) ;
1026#line 110 "include/linux/rbtree.h"
1027struct rb_root {
1028 struct rb_node *rb_node ;
1029};
1030#line 939 "include/linux/sysctl.h"
1031struct nsproxy;
1032#line 939
1033struct nsproxy;
1034#line 48 "include/linux/kmod.h"
1035struct cred;
1036#line 48
1037struct cred;
1038#line 49
1039struct file;
1040#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
1041struct task_struct;
1042#line 18 "include/linux/elf.h"
1043typedef __u64 Elf64_Addr;
1044#line 19 "include/linux/elf.h"
1045typedef __u16 Elf64_Half;
1046#line 23 "include/linux/elf.h"
1047typedef __u32 Elf64_Word;
1048#line 24 "include/linux/elf.h"
1049typedef __u64 Elf64_Xword;
1050#line 194 "include/linux/elf.h"
1051struct elf64_sym {
1052 Elf64_Word st_name ;
1053 unsigned char st_info ;
1054 unsigned char st_other ;
1055 Elf64_Half st_shndx ;
1056 Elf64_Addr st_value ;
1057 Elf64_Xword st_size ;
1058};
1059#line 194 "include/linux/elf.h"
1060typedef struct elf64_sym Elf64_Sym;
1061#line 438
1062struct file;
1063#line 39 "include/linux/moduleparam.h"
1064struct kernel_param;
1065#line 39
1066struct kernel_param;
1067#line 41 "include/linux/moduleparam.h"
1068struct kernel_param_ops {
1069 int (*set)(char const *val , struct kernel_param const *kp ) ;
1070 int (*get)(char *buffer , struct kernel_param const *kp ) ;
1071 void (*free)(void *arg ) ;
1072};
1073#line 50
1074struct kparam_string;
1075#line 50
1076struct kparam_array;
1077#line 50 "include/linux/moduleparam.h"
1078union __anonunion____missing_field_name_199 {
1079 void *arg ;
1080 struct kparam_string const *str ;
1081 struct kparam_array const *arr ;
1082};
1083#line 50 "include/linux/moduleparam.h"
1084struct kernel_param {
1085 char const *name ;
1086 struct kernel_param_ops const *ops ;
1087 u16 perm ;
1088 s16 level ;
1089 union __anonunion____missing_field_name_199 __annonCompField32 ;
1090};
1091#line 63 "include/linux/moduleparam.h"
1092struct kparam_string {
1093 unsigned int maxlen ;
1094 char *string ;
1095};
1096#line 69 "include/linux/moduleparam.h"
1097struct kparam_array {
1098 unsigned int max ;
1099 unsigned int elemsize ;
1100 unsigned int *num ;
1101 struct kernel_param_ops const *ops ;
1102 void *elem ;
1103};
1104#line 445
1105struct module;
1106#line 80 "include/linux/jump_label.h"
1107struct module;
1108#line 143 "include/linux/jump_label.h"
1109struct static_key {
1110 atomic_t enabled ;
1111};
1112#line 22 "include/linux/tracepoint.h"
1113struct module;
1114#line 23
1115struct tracepoint;
1116#line 23
1117struct tracepoint;
1118#line 25 "include/linux/tracepoint.h"
1119struct tracepoint_func {
1120 void *func ;
1121 void *data ;
1122};
1123#line 30 "include/linux/tracepoint.h"
1124struct tracepoint {
1125 char const *name ;
1126 struct static_key key ;
1127 void (*regfunc)(void) ;
1128 void (*unregfunc)(void) ;
1129 struct tracepoint_func *funcs ;
1130};
1131#line 19 "include/linux/export.h"
1132struct kernel_symbol {
1133 unsigned long value ;
1134 char const *name ;
1135};
1136#line 8 "include/asm-generic/module.h"
1137struct mod_arch_specific {
1138
1139};
1140#line 35 "include/linux/module.h"
1141struct module;
1142#line 37
1143struct module_param_attrs;
1144#line 37 "include/linux/module.h"
1145struct module_kobject {
1146 struct kobject kobj ;
1147 struct module *mod ;
1148 struct kobject *drivers_dir ;
1149 struct module_param_attrs *mp ;
1150};
1151#line 44 "include/linux/module.h"
1152struct module_attribute {
1153 struct attribute attr ;
1154 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1155 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1156 size_t count ) ;
1157 void (*setup)(struct module * , char const * ) ;
1158 int (*test)(struct module * ) ;
1159 void (*free)(struct module * ) ;
1160};
1161#line 71
1162struct exception_table_entry;
1163#line 71
1164struct exception_table_entry;
1165#line 199
1166enum module_state {
1167 MODULE_STATE_LIVE = 0,
1168 MODULE_STATE_COMING = 1,
1169 MODULE_STATE_GOING = 2
1170} ;
1171#line 215 "include/linux/module.h"
1172struct module_ref {
1173 unsigned long incs ;
1174 unsigned long decs ;
1175} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1176#line 220
1177struct module_sect_attrs;
1178#line 220
1179struct module_notes_attrs;
1180#line 220
1181struct ftrace_event_call;
1182#line 220 "include/linux/module.h"
1183struct module {
1184 enum module_state state ;
1185 struct list_head list ;
1186 char name[64UL - sizeof(unsigned long )] ;
1187 struct module_kobject mkobj ;
1188 struct module_attribute *modinfo_attrs ;
1189 char const *version ;
1190 char const *srcversion ;
1191 struct kobject *holders_dir ;
1192 struct kernel_symbol const *syms ;
1193 unsigned long const *crcs ;
1194 unsigned int num_syms ;
1195 struct kernel_param *kp ;
1196 unsigned int num_kp ;
1197 unsigned int num_gpl_syms ;
1198 struct kernel_symbol const *gpl_syms ;
1199 unsigned long const *gpl_crcs ;
1200 struct kernel_symbol const *unused_syms ;
1201 unsigned long const *unused_crcs ;
1202 unsigned int num_unused_syms ;
1203 unsigned int num_unused_gpl_syms ;
1204 struct kernel_symbol const *unused_gpl_syms ;
1205 unsigned long const *unused_gpl_crcs ;
1206 struct kernel_symbol const *gpl_future_syms ;
1207 unsigned long const *gpl_future_crcs ;
1208 unsigned int num_gpl_future_syms ;
1209 unsigned int num_exentries ;
1210 struct exception_table_entry *extable ;
1211 int (*init)(void) ;
1212 void *module_init ;
1213 void *module_core ;
1214 unsigned int init_size ;
1215 unsigned int core_size ;
1216 unsigned int init_text_size ;
1217 unsigned int core_text_size ;
1218 unsigned int init_ro_size ;
1219 unsigned int core_ro_size ;
1220 struct mod_arch_specific arch ;
1221 unsigned int taints ;
1222 unsigned int num_bugs ;
1223 struct list_head bug_list ;
1224 struct bug_entry *bug_table ;
1225 Elf64_Sym *symtab ;
1226 Elf64_Sym *core_symtab ;
1227 unsigned int num_symtab ;
1228 unsigned int core_num_syms ;
1229 char *strtab ;
1230 char *core_strtab ;
1231 struct module_sect_attrs *sect_attrs ;
1232 struct module_notes_attrs *notes_attrs ;
1233 char *args ;
1234 void *percpu ;
1235 unsigned int percpu_size ;
1236 unsigned int num_tracepoints ;
1237 struct tracepoint * const *tracepoints_ptrs ;
1238 unsigned int num_trace_bprintk_fmt ;
1239 char const **trace_bprintk_fmt_start ;
1240 struct ftrace_event_call **trace_events ;
1241 unsigned int num_trace_events ;
1242 struct list_head source_list ;
1243 struct list_head target_list ;
1244 struct task_struct *waiter ;
1245 void (*exit)(void) ;
1246 struct module_ref *refptr ;
1247 ctor_fn_t *ctors ;
1248 unsigned int num_ctors ;
1249};
1250#line 32 "include/linux/irq.h"
1251struct module;
1252#line 14 "include/linux/irqdesc.h"
1253struct module;
1254#line 17 "include/linux/profile.h"
1255struct pt_regs;
1256#line 65
1257struct task_struct;
1258#line 66
1259struct mm_struct;
1260#line 88
1261struct pt_regs;
1262#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
1263struct exception_table_entry {
1264 unsigned long insn ;
1265 unsigned long fixup ;
1266};
1267#line 132 "include/linux/hardirq.h"
1268struct task_struct;
1269#line 8 "include/linux/timerqueue.h"
1270struct timerqueue_node {
1271 struct rb_node node ;
1272 ktime_t expires ;
1273};
1274#line 13 "include/linux/timerqueue.h"
1275struct timerqueue_head {
1276 struct rb_root head ;
1277 struct timerqueue_node *next ;
1278};
1279#line 27 "include/linux/hrtimer.h"
1280struct hrtimer_clock_base;
1281#line 27
1282struct hrtimer_clock_base;
1283#line 28
1284struct hrtimer_cpu_base;
1285#line 28
1286struct hrtimer_cpu_base;
1287#line 44
1288enum hrtimer_restart {
1289 HRTIMER_NORESTART = 0,
1290 HRTIMER_RESTART = 1
1291} ;
1292#line 108 "include/linux/hrtimer.h"
1293struct hrtimer {
1294 struct timerqueue_node node ;
1295 ktime_t _softexpires ;
1296 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1297 struct hrtimer_clock_base *base ;
1298 unsigned long state ;
1299 int start_pid ;
1300 void *start_site ;
1301 char start_comm[16] ;
1302};
1303#line 145 "include/linux/hrtimer.h"
1304struct hrtimer_clock_base {
1305 struct hrtimer_cpu_base *cpu_base ;
1306 int index ;
1307 clockid_t clockid ;
1308 struct timerqueue_head active ;
1309 ktime_t resolution ;
1310 ktime_t (*get_time)(void) ;
1311 ktime_t softirq_time ;
1312 ktime_t offset ;
1313};
1314#line 178 "include/linux/hrtimer.h"
1315struct hrtimer_cpu_base {
1316 raw_spinlock_t lock ;
1317 unsigned long active_bases ;
1318 ktime_t expires_next ;
1319 int hres_active ;
1320 int hang_detected ;
1321 unsigned long nr_events ;
1322 unsigned long nr_retries ;
1323 unsigned long nr_hangs ;
1324 ktime_t max_hang_time ;
1325 struct hrtimer_clock_base clock_base[3] ;
1326};
1327#line 187 "include/linux/interrupt.h"
1328struct device;
1329#line 12 "include/linux/mod_devicetable.h"
1330typedef unsigned long kernel_ulong_t;
1331#line 219 "include/linux/mod_devicetable.h"
1332struct of_device_id {
1333 char name[32] ;
1334 char type[32] ;
1335 char compatible[128] ;
1336 void *data ;
1337};
1338#line 442 "include/linux/mod_devicetable.h"
1339struct spi_device_id {
1340 char name[32] ;
1341 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1342};
1343#line 46 "include/linux/slub_def.h"
1344struct kmem_cache_cpu {
1345 void **freelist ;
1346 unsigned long tid ;
1347 struct page *page ;
1348 struct page *partial ;
1349 int node ;
1350 unsigned int stat[26] ;
1351};
1352#line 57 "include/linux/slub_def.h"
1353struct kmem_cache_node {
1354 spinlock_t list_lock ;
1355 unsigned long nr_partial ;
1356 struct list_head partial ;
1357 atomic_long_t nr_slabs ;
1358 atomic_long_t total_objects ;
1359 struct list_head full ;
1360};
1361#line 73 "include/linux/slub_def.h"
1362struct kmem_cache_order_objects {
1363 unsigned long x ;
1364};
1365#line 80 "include/linux/slub_def.h"
1366struct kmem_cache {
1367 struct kmem_cache_cpu *cpu_slab ;
1368 unsigned long flags ;
1369 unsigned long min_partial ;
1370 int size ;
1371 int objsize ;
1372 int offset ;
1373 int cpu_partial ;
1374 struct kmem_cache_order_objects oo ;
1375 struct kmem_cache_order_objects max ;
1376 struct kmem_cache_order_objects min ;
1377 gfp_t allocflags ;
1378 int refcount ;
1379 void (*ctor)(void * ) ;
1380 int inuse ;
1381 int align ;
1382 int reserved ;
1383 char const *name ;
1384 struct list_head list ;
1385 struct kobject kobj ;
1386 int remote_node_defrag_ratio ;
1387 struct kmem_cache_node *node[1 << 10] ;
1388};
1389#line 18 "include/linux/capability.h"
1390struct task_struct;
1391#line 94 "include/linux/capability.h"
1392struct kernel_cap_struct {
1393 __u32 cap[2] ;
1394};
1395#line 94 "include/linux/capability.h"
1396typedef struct kernel_cap_struct kernel_cap_t;
1397#line 378
1398struct user_namespace;
1399#line 378
1400struct user_namespace;
1401#line 14 "include/linux/prio_tree.h"
1402struct prio_tree_node;
1403#line 14 "include/linux/prio_tree.h"
1404struct raw_prio_tree_node {
1405 struct prio_tree_node *left ;
1406 struct prio_tree_node *right ;
1407 struct prio_tree_node *parent ;
1408};
1409#line 20 "include/linux/prio_tree.h"
1410struct prio_tree_node {
1411 struct prio_tree_node *left ;
1412 struct prio_tree_node *right ;
1413 struct prio_tree_node *parent ;
1414 unsigned long start ;
1415 unsigned long last ;
1416};
1417#line 23 "include/linux/mm_types.h"
1418struct address_space;
1419#line 23
1420struct address_space;
1421#line 40 "include/linux/mm_types.h"
1422union __anonunion____missing_field_name_212 {
1423 unsigned long index ;
1424 void *freelist ;
1425};
1426#line 40 "include/linux/mm_types.h"
1427struct __anonstruct____missing_field_name_216 {
1428 unsigned int inuse : 16 ;
1429 unsigned int objects : 15 ;
1430 unsigned int frozen : 1 ;
1431};
1432#line 40 "include/linux/mm_types.h"
1433union __anonunion____missing_field_name_215 {
1434 atomic_t _mapcount ;
1435 struct __anonstruct____missing_field_name_216 __annonCompField34 ;
1436};
1437#line 40 "include/linux/mm_types.h"
1438struct __anonstruct____missing_field_name_214 {
1439 union __anonunion____missing_field_name_215 __annonCompField35 ;
1440 atomic_t _count ;
1441};
1442#line 40 "include/linux/mm_types.h"
1443union __anonunion____missing_field_name_213 {
1444 unsigned long counters ;
1445 struct __anonstruct____missing_field_name_214 __annonCompField36 ;
1446};
1447#line 40 "include/linux/mm_types.h"
1448struct __anonstruct____missing_field_name_211 {
1449 union __anonunion____missing_field_name_212 __annonCompField33 ;
1450 union __anonunion____missing_field_name_213 __annonCompField37 ;
1451};
1452#line 40 "include/linux/mm_types.h"
1453struct __anonstruct____missing_field_name_218 {
1454 struct page *next ;
1455 int pages ;
1456 int pobjects ;
1457};
1458#line 40 "include/linux/mm_types.h"
1459union __anonunion____missing_field_name_217 {
1460 struct list_head lru ;
1461 struct __anonstruct____missing_field_name_218 __annonCompField39 ;
1462};
1463#line 40 "include/linux/mm_types.h"
1464union __anonunion____missing_field_name_219 {
1465 unsigned long private ;
1466 struct kmem_cache *slab ;
1467 struct page *first_page ;
1468};
1469#line 40 "include/linux/mm_types.h"
1470struct page {
1471 unsigned long flags ;
1472 struct address_space *mapping ;
1473 struct __anonstruct____missing_field_name_211 __annonCompField38 ;
1474 union __anonunion____missing_field_name_217 __annonCompField40 ;
1475 union __anonunion____missing_field_name_219 __annonCompField41 ;
1476 unsigned long debug_flags ;
1477} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1478#line 200 "include/linux/mm_types.h"
1479struct __anonstruct_vm_set_221 {
1480 struct list_head list ;
1481 void *parent ;
1482 struct vm_area_struct *head ;
1483};
1484#line 200 "include/linux/mm_types.h"
1485union __anonunion_shared_220 {
1486 struct __anonstruct_vm_set_221 vm_set ;
1487 struct raw_prio_tree_node prio_tree_node ;
1488};
1489#line 200
1490struct anon_vma;
1491#line 200
1492struct vm_operations_struct;
1493#line 200
1494struct mempolicy;
1495#line 200 "include/linux/mm_types.h"
1496struct vm_area_struct {
1497 struct mm_struct *vm_mm ;
1498 unsigned long vm_start ;
1499 unsigned long vm_end ;
1500 struct vm_area_struct *vm_next ;
1501 struct vm_area_struct *vm_prev ;
1502 pgprot_t vm_page_prot ;
1503 unsigned long vm_flags ;
1504 struct rb_node vm_rb ;
1505 union __anonunion_shared_220 shared ;
1506 struct list_head anon_vma_chain ;
1507 struct anon_vma *anon_vma ;
1508 struct vm_operations_struct const *vm_ops ;
1509 unsigned long vm_pgoff ;
1510 struct file *vm_file ;
1511 void *vm_private_data ;
1512 struct mempolicy *vm_policy ;
1513};
1514#line 257 "include/linux/mm_types.h"
1515struct core_thread {
1516 struct task_struct *task ;
1517 struct core_thread *next ;
1518};
1519#line 262 "include/linux/mm_types.h"
1520struct core_state {
1521 atomic_t nr_threads ;
1522 struct core_thread dumper ;
1523 struct completion startup ;
1524};
1525#line 284 "include/linux/mm_types.h"
1526struct mm_rss_stat {
1527 atomic_long_t count[3] ;
1528};
1529#line 288
1530struct linux_binfmt;
1531#line 288
1532struct mmu_notifier_mm;
1533#line 288 "include/linux/mm_types.h"
1534struct mm_struct {
1535 struct vm_area_struct *mmap ;
1536 struct rb_root mm_rb ;
1537 struct vm_area_struct *mmap_cache ;
1538 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1539 unsigned long pgoff , unsigned long flags ) ;
1540 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1541 unsigned long mmap_base ;
1542 unsigned long task_size ;
1543 unsigned long cached_hole_size ;
1544 unsigned long free_area_cache ;
1545 pgd_t *pgd ;
1546 atomic_t mm_users ;
1547 atomic_t mm_count ;
1548 int map_count ;
1549 spinlock_t page_table_lock ;
1550 struct rw_semaphore mmap_sem ;
1551 struct list_head mmlist ;
1552 unsigned long hiwater_rss ;
1553 unsigned long hiwater_vm ;
1554 unsigned long total_vm ;
1555 unsigned long locked_vm ;
1556 unsigned long pinned_vm ;
1557 unsigned long shared_vm ;
1558 unsigned long exec_vm ;
1559 unsigned long stack_vm ;
1560 unsigned long reserved_vm ;
1561 unsigned long def_flags ;
1562 unsigned long nr_ptes ;
1563 unsigned long start_code ;
1564 unsigned long end_code ;
1565 unsigned long start_data ;
1566 unsigned long end_data ;
1567 unsigned long start_brk ;
1568 unsigned long brk ;
1569 unsigned long start_stack ;
1570 unsigned long arg_start ;
1571 unsigned long arg_end ;
1572 unsigned long env_start ;
1573 unsigned long env_end ;
1574 unsigned long saved_auxv[44] ;
1575 struct mm_rss_stat rss_stat ;
1576 struct linux_binfmt *binfmt ;
1577 cpumask_var_t cpu_vm_mask_var ;
1578 mm_context_t context ;
1579 unsigned int faultstamp ;
1580 unsigned int token_priority ;
1581 unsigned int last_interval ;
1582 unsigned long flags ;
1583 struct core_state *core_state ;
1584 spinlock_t ioctx_lock ;
1585 struct hlist_head ioctx_list ;
1586 struct task_struct *owner ;
1587 struct file *exe_file ;
1588 unsigned long num_exe_file_vmas ;
1589 struct mmu_notifier_mm *mmu_notifier_mm ;
1590 pgtable_t pmd_huge_pte ;
1591 struct cpumask cpumask_allocation ;
1592};
1593#line 7 "include/asm-generic/cputime.h"
1594typedef unsigned long cputime_t;
1595#line 84 "include/linux/sem.h"
1596struct task_struct;
1597#line 101
1598struct sem_undo_list;
1599#line 101 "include/linux/sem.h"
1600struct sysv_sem {
1601 struct sem_undo_list *undo_list ;
1602};
1603#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1604struct siginfo;
1605#line 10
1606struct siginfo;
1607#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1608struct __anonstruct_sigset_t_223 {
1609 unsigned long sig[1] ;
1610};
1611#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1612typedef struct __anonstruct_sigset_t_223 sigset_t;
1613#line 17 "include/asm-generic/signal-defs.h"
1614typedef void __signalfn_t(int );
1615#line 18 "include/asm-generic/signal-defs.h"
1616typedef __signalfn_t *__sighandler_t;
1617#line 20 "include/asm-generic/signal-defs.h"
1618typedef void __restorefn_t(void);
1619#line 21 "include/asm-generic/signal-defs.h"
1620typedef __restorefn_t *__sigrestore_t;
1621#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1622struct sigaction {
1623 __sighandler_t sa_handler ;
1624 unsigned long sa_flags ;
1625 __sigrestore_t sa_restorer ;
1626 sigset_t sa_mask ;
1627};
1628#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1629struct k_sigaction {
1630 struct sigaction sa ;
1631};
1632#line 7 "include/asm-generic/siginfo.h"
1633union sigval {
1634 int sival_int ;
1635 void *sival_ptr ;
1636};
1637#line 7 "include/asm-generic/siginfo.h"
1638typedef union sigval sigval_t;
1639#line 48 "include/asm-generic/siginfo.h"
1640struct __anonstruct__kill_225 {
1641 __kernel_pid_t _pid ;
1642 __kernel_uid32_t _uid ;
1643};
1644#line 48 "include/asm-generic/siginfo.h"
1645struct __anonstruct__timer_226 {
1646 __kernel_timer_t _tid ;
1647 int _overrun ;
1648 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1649 sigval_t _sigval ;
1650 int _sys_private ;
1651};
1652#line 48 "include/asm-generic/siginfo.h"
1653struct __anonstruct__rt_227 {
1654 __kernel_pid_t _pid ;
1655 __kernel_uid32_t _uid ;
1656 sigval_t _sigval ;
1657};
1658#line 48 "include/asm-generic/siginfo.h"
1659struct __anonstruct__sigchld_228 {
1660 __kernel_pid_t _pid ;
1661 __kernel_uid32_t _uid ;
1662 int _status ;
1663 __kernel_clock_t _utime ;
1664 __kernel_clock_t _stime ;
1665};
1666#line 48 "include/asm-generic/siginfo.h"
1667struct __anonstruct__sigfault_229 {
1668 void *_addr ;
1669 short _addr_lsb ;
1670};
1671#line 48 "include/asm-generic/siginfo.h"
1672struct __anonstruct__sigpoll_230 {
1673 long _band ;
1674 int _fd ;
1675};
1676#line 48 "include/asm-generic/siginfo.h"
1677union __anonunion__sifields_224 {
1678 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1679 struct __anonstruct__kill_225 _kill ;
1680 struct __anonstruct__timer_226 _timer ;
1681 struct __anonstruct__rt_227 _rt ;
1682 struct __anonstruct__sigchld_228 _sigchld ;
1683 struct __anonstruct__sigfault_229 _sigfault ;
1684 struct __anonstruct__sigpoll_230 _sigpoll ;
1685};
1686#line 48 "include/asm-generic/siginfo.h"
1687struct siginfo {
1688 int si_signo ;
1689 int si_errno ;
1690 int si_code ;
1691 union __anonunion__sifields_224 _sifields ;
1692};
1693#line 48 "include/asm-generic/siginfo.h"
1694typedef struct siginfo siginfo_t;
1695#line 288
1696struct siginfo;
1697#line 10 "include/linux/signal.h"
1698struct task_struct;
1699#line 18
1700struct user_struct;
1701#line 28 "include/linux/signal.h"
1702struct sigpending {
1703 struct list_head list ;
1704 sigset_t signal ;
1705};
1706#line 239
1707struct timespec;
1708#line 240
1709struct pt_regs;
1710#line 50 "include/linux/pid.h"
1711struct pid_namespace;
1712#line 50 "include/linux/pid.h"
1713struct upid {
1714 int nr ;
1715 struct pid_namespace *ns ;
1716 struct hlist_node pid_chain ;
1717};
1718#line 57 "include/linux/pid.h"
1719struct pid {
1720 atomic_t count ;
1721 unsigned int level ;
1722 struct hlist_head tasks[3] ;
1723 struct rcu_head rcu ;
1724 struct upid numbers[1] ;
1725};
1726#line 69 "include/linux/pid.h"
1727struct pid_link {
1728 struct hlist_node node ;
1729 struct pid *pid ;
1730};
1731#line 100
1732struct pid_namespace;
1733#line 10 "include/linux/seccomp.h"
1734struct __anonstruct_seccomp_t_233 {
1735 int mode ;
1736};
1737#line 10 "include/linux/seccomp.h"
1738typedef struct __anonstruct_seccomp_t_233 seccomp_t;
1739#line 81 "include/linux/plist.h"
1740struct plist_head {
1741 struct list_head node_list ;
1742};
1743#line 85 "include/linux/plist.h"
1744struct plist_node {
1745 int prio ;
1746 struct list_head prio_list ;
1747 struct list_head node_list ;
1748};
1749#line 40 "include/linux/rtmutex.h"
1750struct rt_mutex_waiter;
1751#line 40
1752struct rt_mutex_waiter;
1753#line 42 "include/linux/resource.h"
1754struct rlimit {
1755 unsigned long rlim_cur ;
1756 unsigned long rlim_max ;
1757};
1758#line 81
1759struct task_struct;
1760#line 11 "include/linux/task_io_accounting.h"
1761struct task_io_accounting {
1762 u64 rchar ;
1763 u64 wchar ;
1764 u64 syscr ;
1765 u64 syscw ;
1766 u64 read_bytes ;
1767 u64 write_bytes ;
1768 u64 cancelled_write_bytes ;
1769};
1770#line 13 "include/linux/latencytop.h"
1771struct task_struct;
1772#line 20 "include/linux/latencytop.h"
1773struct latency_record {
1774 unsigned long backtrace[12] ;
1775 unsigned int count ;
1776 unsigned long time ;
1777 unsigned long max ;
1778};
1779#line 29 "include/linux/key.h"
1780typedef int32_t key_serial_t;
1781#line 32 "include/linux/key.h"
1782typedef uint32_t key_perm_t;
1783#line 34
1784struct key;
1785#line 34
1786struct key;
1787#line 75
1788struct user_struct;
1789#line 76
1790struct signal_struct;
1791#line 76
1792struct signal_struct;
1793#line 77
1794struct cred;
1795#line 79
1796struct key_type;
1797#line 79
1798struct key_type;
1799#line 81
1800struct keyring_list;
1801#line 81
1802struct keyring_list;
1803#line 124
1804struct key_user;
1805#line 124 "include/linux/key.h"
1806union __anonunion____missing_field_name_234 {
1807 time_t expiry ;
1808 time_t revoked_at ;
1809};
1810#line 124 "include/linux/key.h"
1811union __anonunion_type_data_235 {
1812 struct list_head link ;
1813 unsigned long x[2] ;
1814 void *p[2] ;
1815 int reject_error ;
1816};
1817#line 124 "include/linux/key.h"
1818union __anonunion_payload_236 {
1819 unsigned long value ;
1820 void *rcudata ;
1821 void *data ;
1822 struct keyring_list *subscriptions ;
1823};
1824#line 124 "include/linux/key.h"
1825struct key {
1826 atomic_t usage ;
1827 key_serial_t serial ;
1828 struct rb_node serial_node ;
1829 struct key_type *type ;
1830 struct rw_semaphore sem ;
1831 struct key_user *user ;
1832 void *security ;
1833 union __anonunion____missing_field_name_234 __annonCompField42 ;
1834 uid_t uid ;
1835 gid_t gid ;
1836 key_perm_t perm ;
1837 unsigned short quotalen ;
1838 unsigned short datalen ;
1839 unsigned long flags ;
1840 char *description ;
1841 union __anonunion_type_data_235 type_data ;
1842 union __anonunion_payload_236 payload ;
1843};
1844#line 18 "include/linux/selinux.h"
1845struct audit_context;
1846#line 18
1847struct audit_context;
1848#line 21 "include/linux/cred.h"
1849struct user_struct;
1850#line 22
1851struct cred;
1852#line 31 "include/linux/cred.h"
1853struct group_info {
1854 atomic_t usage ;
1855 int ngroups ;
1856 int nblocks ;
1857 gid_t small_block[32] ;
1858 gid_t *blocks[0] ;
1859};
1860#line 83 "include/linux/cred.h"
1861struct thread_group_cred {
1862 atomic_t usage ;
1863 pid_t tgid ;
1864 spinlock_t lock ;
1865 struct key *session_keyring ;
1866 struct key *process_keyring ;
1867 struct rcu_head rcu ;
1868};
1869#line 116 "include/linux/cred.h"
1870struct cred {
1871 atomic_t usage ;
1872 atomic_t subscribers ;
1873 void *put_addr ;
1874 unsigned int magic ;
1875 uid_t uid ;
1876 gid_t gid ;
1877 uid_t suid ;
1878 gid_t sgid ;
1879 uid_t euid ;
1880 gid_t egid ;
1881 uid_t fsuid ;
1882 gid_t fsgid ;
1883 unsigned int securebits ;
1884 kernel_cap_t cap_inheritable ;
1885 kernel_cap_t cap_permitted ;
1886 kernel_cap_t cap_effective ;
1887 kernel_cap_t cap_bset ;
1888 unsigned char jit_keyring ;
1889 struct key *thread_keyring ;
1890 struct key *request_key_auth ;
1891 struct thread_group_cred *tgcred ;
1892 void *security ;
1893 struct user_struct *user ;
1894 struct user_namespace *user_ns ;
1895 struct group_info *group_info ;
1896 struct rcu_head rcu ;
1897};
1898#line 61 "include/linux/llist.h"
1899struct llist_node;
1900#line 65 "include/linux/llist.h"
1901struct llist_node {
1902 struct llist_node *next ;
1903};
1904#line 97 "include/linux/sched.h"
1905struct futex_pi_state;
1906#line 97
1907struct futex_pi_state;
1908#line 98
1909struct robust_list_head;
1910#line 98
1911struct robust_list_head;
1912#line 99
1913struct bio_list;
1914#line 99
1915struct bio_list;
1916#line 100
1917struct fs_struct;
1918#line 100
1919struct fs_struct;
1920#line 101
1921struct perf_event_context;
1922#line 101
1923struct perf_event_context;
1924#line 102
1925struct blk_plug;
1926#line 102
1927struct blk_plug;
1928#line 151
1929struct cfs_rq;
1930#line 151
1931struct cfs_rq;
1932#line 259
1933struct task_struct;
1934#line 366
1935struct nsproxy;
1936#line 367
1937struct user_namespace;
1938#line 214 "include/linux/aio.h"
1939struct mm_struct;
1940#line 443 "include/linux/sched.h"
1941struct sighand_struct {
1942 atomic_t count ;
1943 struct k_sigaction action[64] ;
1944 spinlock_t siglock ;
1945 wait_queue_head_t signalfd_wqh ;
1946};
1947#line 450 "include/linux/sched.h"
1948struct pacct_struct {
1949 int ac_flag ;
1950 long ac_exitcode ;
1951 unsigned long ac_mem ;
1952 cputime_t ac_utime ;
1953 cputime_t ac_stime ;
1954 unsigned long ac_minflt ;
1955 unsigned long ac_majflt ;
1956};
1957#line 458 "include/linux/sched.h"
1958struct cpu_itimer {
1959 cputime_t expires ;
1960 cputime_t incr ;
1961 u32 error ;
1962 u32 incr_error ;
1963};
1964#line 476 "include/linux/sched.h"
1965struct task_cputime {
1966 cputime_t utime ;
1967 cputime_t stime ;
1968 unsigned long long sum_exec_runtime ;
1969};
1970#line 512 "include/linux/sched.h"
1971struct thread_group_cputimer {
1972 struct task_cputime cputime ;
1973 int running ;
1974 raw_spinlock_t lock ;
1975};
1976#line 519
1977struct autogroup;
1978#line 519
1979struct autogroup;
1980#line 528
1981struct tty_struct;
1982#line 528
1983struct taskstats;
1984#line 528
1985struct tty_audit_buf;
1986#line 528 "include/linux/sched.h"
1987struct signal_struct {
1988 atomic_t sigcnt ;
1989 atomic_t live ;
1990 int nr_threads ;
1991 wait_queue_head_t wait_chldexit ;
1992 struct task_struct *curr_target ;
1993 struct sigpending shared_pending ;
1994 int group_exit_code ;
1995 int notify_count ;
1996 struct task_struct *group_exit_task ;
1997 int group_stop_count ;
1998 unsigned int flags ;
1999 unsigned int is_child_subreaper : 1 ;
2000 unsigned int has_child_subreaper : 1 ;
2001 struct list_head posix_timers ;
2002 struct hrtimer real_timer ;
2003 struct pid *leader_pid ;
2004 ktime_t it_real_incr ;
2005 struct cpu_itimer it[2] ;
2006 struct thread_group_cputimer cputimer ;
2007 struct task_cputime cputime_expires ;
2008 struct list_head cpu_timers[3] ;
2009 struct pid *tty_old_pgrp ;
2010 int leader ;
2011 struct tty_struct *tty ;
2012 struct autogroup *autogroup ;
2013 cputime_t utime ;
2014 cputime_t stime ;
2015 cputime_t cutime ;
2016 cputime_t cstime ;
2017 cputime_t gtime ;
2018 cputime_t cgtime ;
2019 cputime_t prev_utime ;
2020 cputime_t prev_stime ;
2021 unsigned long nvcsw ;
2022 unsigned long nivcsw ;
2023 unsigned long cnvcsw ;
2024 unsigned long cnivcsw ;
2025 unsigned long min_flt ;
2026 unsigned long maj_flt ;
2027 unsigned long cmin_flt ;
2028 unsigned long cmaj_flt ;
2029 unsigned long inblock ;
2030 unsigned long oublock ;
2031 unsigned long cinblock ;
2032 unsigned long coublock ;
2033 unsigned long maxrss ;
2034 unsigned long cmaxrss ;
2035 struct task_io_accounting ioac ;
2036 unsigned long long sum_sched_runtime ;
2037 struct rlimit rlim[16] ;
2038 struct pacct_struct pacct ;
2039 struct taskstats *stats ;
2040 unsigned int audit_tty ;
2041 struct tty_audit_buf *tty_audit_buf ;
2042 struct rw_semaphore group_rwsem ;
2043 int oom_adj ;
2044 int oom_score_adj ;
2045 int oom_score_adj_min ;
2046 struct mutex cred_guard_mutex ;
2047};
2048#line 703 "include/linux/sched.h"
2049struct user_struct {
2050 atomic_t __count ;
2051 atomic_t processes ;
2052 atomic_t files ;
2053 atomic_t sigpending ;
2054 atomic_t inotify_watches ;
2055 atomic_t inotify_devs ;
2056 atomic_t fanotify_listeners ;
2057 atomic_long_t epoll_watches ;
2058 unsigned long mq_bytes ;
2059 unsigned long locked_shm ;
2060 struct key *uid_keyring ;
2061 struct key *session_keyring ;
2062 struct hlist_node uidhash_node ;
2063 uid_t uid ;
2064 struct user_namespace *user_ns ;
2065 atomic_long_t locked_vm ;
2066};
2067#line 747
2068struct backing_dev_info;
2069#line 747
2070struct backing_dev_info;
2071#line 748
2072struct reclaim_state;
2073#line 748
2074struct reclaim_state;
2075#line 751 "include/linux/sched.h"
2076struct sched_info {
2077 unsigned long pcount ;
2078 unsigned long long run_delay ;
2079 unsigned long long last_arrival ;
2080 unsigned long long last_queued ;
2081};
2082#line 763 "include/linux/sched.h"
2083struct task_delay_info {
2084 spinlock_t lock ;
2085 unsigned int flags ;
2086 struct timespec blkio_start ;
2087 struct timespec blkio_end ;
2088 u64 blkio_delay ;
2089 u64 swapin_delay ;
2090 u32 blkio_count ;
2091 u32 swapin_count ;
2092 struct timespec freepages_start ;
2093 struct timespec freepages_end ;
2094 u64 freepages_delay ;
2095 u32 freepages_count ;
2096};
2097#line 1088
2098struct io_context;
2099#line 1088
2100struct io_context;
2101#line 1097
2102struct audit_context;
2103#line 1098
2104struct mempolicy;
2105#line 1099
2106struct pipe_inode_info;
2107#line 1099
2108struct pipe_inode_info;
2109#line 1102
2110struct rq;
2111#line 1102
2112struct rq;
2113#line 1122 "include/linux/sched.h"
2114struct sched_class {
2115 struct sched_class const *next ;
2116 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2117 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2118 void (*yield_task)(struct rq *rq ) ;
2119 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2120 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2121 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2122 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2123 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2124 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2125 void (*post_schedule)(struct rq *this_rq ) ;
2126 void (*task_waking)(struct task_struct *task ) ;
2127 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2128 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2129 void (*rq_online)(struct rq *rq ) ;
2130 void (*rq_offline)(struct rq *rq ) ;
2131 void (*set_curr_task)(struct rq *rq ) ;
2132 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2133 void (*task_fork)(struct task_struct *p ) ;
2134 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2135 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2136 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2137 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2138 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2139};
2140#line 1167 "include/linux/sched.h"
2141struct load_weight {
2142 unsigned long weight ;
2143 unsigned long inv_weight ;
2144};
2145#line 1172 "include/linux/sched.h"
2146struct sched_statistics {
2147 u64 wait_start ;
2148 u64 wait_max ;
2149 u64 wait_count ;
2150 u64 wait_sum ;
2151 u64 iowait_count ;
2152 u64 iowait_sum ;
2153 u64 sleep_start ;
2154 u64 sleep_max ;
2155 s64 sum_sleep_runtime ;
2156 u64 block_start ;
2157 u64 block_max ;
2158 u64 exec_max ;
2159 u64 slice_max ;
2160 u64 nr_migrations_cold ;
2161 u64 nr_failed_migrations_affine ;
2162 u64 nr_failed_migrations_running ;
2163 u64 nr_failed_migrations_hot ;
2164 u64 nr_forced_migrations ;
2165 u64 nr_wakeups ;
2166 u64 nr_wakeups_sync ;
2167 u64 nr_wakeups_migrate ;
2168 u64 nr_wakeups_local ;
2169 u64 nr_wakeups_remote ;
2170 u64 nr_wakeups_affine ;
2171 u64 nr_wakeups_affine_attempts ;
2172 u64 nr_wakeups_passive ;
2173 u64 nr_wakeups_idle ;
2174};
2175#line 1207 "include/linux/sched.h"
2176struct sched_entity {
2177 struct load_weight load ;
2178 struct rb_node run_node ;
2179 struct list_head group_node ;
2180 unsigned int on_rq ;
2181 u64 exec_start ;
2182 u64 sum_exec_runtime ;
2183 u64 vruntime ;
2184 u64 prev_sum_exec_runtime ;
2185 u64 nr_migrations ;
2186 struct sched_statistics statistics ;
2187 struct sched_entity *parent ;
2188 struct cfs_rq *cfs_rq ;
2189 struct cfs_rq *my_q ;
2190};
2191#line 1233
2192struct rt_rq;
2193#line 1233 "include/linux/sched.h"
2194struct sched_rt_entity {
2195 struct list_head run_list ;
2196 unsigned long timeout ;
2197 unsigned int time_slice ;
2198 int nr_cpus_allowed ;
2199 struct sched_rt_entity *back ;
2200 struct sched_rt_entity *parent ;
2201 struct rt_rq *rt_rq ;
2202 struct rt_rq *my_q ;
2203};
2204#line 1264
2205struct files_struct;
2206#line 1264
2207struct css_set;
2208#line 1264
2209struct compat_robust_list_head;
2210#line 1264
2211struct mem_cgroup;
2212#line 1264 "include/linux/sched.h"
2213struct memcg_batch_info {
2214 int do_batch ;
2215 struct mem_cgroup *memcg ;
2216 unsigned long nr_pages ;
2217 unsigned long memsw_nr_pages ;
2218};
2219#line 1264 "include/linux/sched.h"
2220struct task_struct {
2221 long volatile state ;
2222 void *stack ;
2223 atomic_t usage ;
2224 unsigned int flags ;
2225 unsigned int ptrace ;
2226 struct llist_node wake_entry ;
2227 int on_cpu ;
2228 int on_rq ;
2229 int prio ;
2230 int static_prio ;
2231 int normal_prio ;
2232 unsigned int rt_priority ;
2233 struct sched_class const *sched_class ;
2234 struct sched_entity se ;
2235 struct sched_rt_entity rt ;
2236 struct hlist_head preempt_notifiers ;
2237 unsigned char fpu_counter ;
2238 unsigned int policy ;
2239 cpumask_t cpus_allowed ;
2240 struct sched_info sched_info ;
2241 struct list_head tasks ;
2242 struct plist_node pushable_tasks ;
2243 struct mm_struct *mm ;
2244 struct mm_struct *active_mm ;
2245 unsigned int brk_randomized : 1 ;
2246 int exit_state ;
2247 int exit_code ;
2248 int exit_signal ;
2249 int pdeath_signal ;
2250 unsigned int jobctl ;
2251 unsigned int personality ;
2252 unsigned int did_exec : 1 ;
2253 unsigned int in_execve : 1 ;
2254 unsigned int in_iowait : 1 ;
2255 unsigned int sched_reset_on_fork : 1 ;
2256 unsigned int sched_contributes_to_load : 1 ;
2257 unsigned int irq_thread : 1 ;
2258 pid_t pid ;
2259 pid_t tgid ;
2260 unsigned long stack_canary ;
2261 struct task_struct *real_parent ;
2262 struct task_struct *parent ;
2263 struct list_head children ;
2264 struct list_head sibling ;
2265 struct task_struct *group_leader ;
2266 struct list_head ptraced ;
2267 struct list_head ptrace_entry ;
2268 struct pid_link pids[3] ;
2269 struct list_head thread_group ;
2270 struct completion *vfork_done ;
2271 int *set_child_tid ;
2272 int *clear_child_tid ;
2273 cputime_t utime ;
2274 cputime_t stime ;
2275 cputime_t utimescaled ;
2276 cputime_t stimescaled ;
2277 cputime_t gtime ;
2278 cputime_t prev_utime ;
2279 cputime_t prev_stime ;
2280 unsigned long nvcsw ;
2281 unsigned long nivcsw ;
2282 struct timespec start_time ;
2283 struct timespec real_start_time ;
2284 unsigned long min_flt ;
2285 unsigned long maj_flt ;
2286 struct task_cputime cputime_expires ;
2287 struct list_head cpu_timers[3] ;
2288 struct cred const *real_cred ;
2289 struct cred const *cred ;
2290 struct cred *replacement_session_keyring ;
2291 char comm[16] ;
2292 int link_count ;
2293 int total_link_count ;
2294 struct sysv_sem sysvsem ;
2295 unsigned long last_switch_count ;
2296 struct thread_struct thread ;
2297 struct fs_struct *fs ;
2298 struct files_struct *files ;
2299 struct nsproxy *nsproxy ;
2300 struct signal_struct *signal ;
2301 struct sighand_struct *sighand ;
2302 sigset_t blocked ;
2303 sigset_t real_blocked ;
2304 sigset_t saved_sigmask ;
2305 struct sigpending pending ;
2306 unsigned long sas_ss_sp ;
2307 size_t sas_ss_size ;
2308 int (*notifier)(void *priv ) ;
2309 void *notifier_data ;
2310 sigset_t *notifier_mask ;
2311 struct audit_context *audit_context ;
2312 uid_t loginuid ;
2313 unsigned int sessionid ;
2314 seccomp_t seccomp ;
2315 u32 parent_exec_id ;
2316 u32 self_exec_id ;
2317 spinlock_t alloc_lock ;
2318 raw_spinlock_t pi_lock ;
2319 struct plist_head pi_waiters ;
2320 struct rt_mutex_waiter *pi_blocked_on ;
2321 struct mutex_waiter *blocked_on ;
2322 unsigned int irq_events ;
2323 unsigned long hardirq_enable_ip ;
2324 unsigned long hardirq_disable_ip ;
2325 unsigned int hardirq_enable_event ;
2326 unsigned int hardirq_disable_event ;
2327 int hardirqs_enabled ;
2328 int hardirq_context ;
2329 unsigned long softirq_disable_ip ;
2330 unsigned long softirq_enable_ip ;
2331 unsigned int softirq_disable_event ;
2332 unsigned int softirq_enable_event ;
2333 int softirqs_enabled ;
2334 int softirq_context ;
2335 void *journal_info ;
2336 struct bio_list *bio_list ;
2337 struct blk_plug *plug ;
2338 struct reclaim_state *reclaim_state ;
2339 struct backing_dev_info *backing_dev_info ;
2340 struct io_context *io_context ;
2341 unsigned long ptrace_message ;
2342 siginfo_t *last_siginfo ;
2343 struct task_io_accounting ioac ;
2344 u64 acct_rss_mem1 ;
2345 u64 acct_vm_mem1 ;
2346 cputime_t acct_timexpd ;
2347 nodemask_t mems_allowed ;
2348 seqcount_t mems_allowed_seq ;
2349 int cpuset_mem_spread_rotor ;
2350 int cpuset_slab_spread_rotor ;
2351 struct css_set *cgroups ;
2352 struct list_head cg_list ;
2353 struct robust_list_head *robust_list ;
2354 struct compat_robust_list_head *compat_robust_list ;
2355 struct list_head pi_state_list ;
2356 struct futex_pi_state *pi_state_cache ;
2357 struct perf_event_context *perf_event_ctxp[2] ;
2358 struct mutex perf_event_mutex ;
2359 struct list_head perf_event_list ;
2360 struct mempolicy *mempolicy ;
2361 short il_next ;
2362 short pref_node_fork ;
2363 struct rcu_head rcu ;
2364 struct pipe_inode_info *splice_pipe ;
2365 struct task_delay_info *delays ;
2366 int make_it_fail ;
2367 int nr_dirtied ;
2368 int nr_dirtied_pause ;
2369 unsigned long dirty_paused_when ;
2370 int latency_record_count ;
2371 struct latency_record latency_record[32] ;
2372 unsigned long timer_slack_ns ;
2373 unsigned long default_timer_slack_ns ;
2374 struct list_head *scm_work_list ;
2375 unsigned long trace ;
2376 unsigned long trace_recursion ;
2377 struct memcg_batch_info memcg_batch ;
2378 atomic_t ptrace_bp_refcnt ;
2379};
2380#line 1681
2381struct pid_namespace;
2382#line 55 "include/linux/kthread.h"
2383struct kthread_work;
2384#line 55
2385struct kthread_work;
2386#line 58 "include/linux/kthread.h"
2387struct kthread_worker {
2388 spinlock_t lock ;
2389 struct list_head work_list ;
2390 struct task_struct *task ;
2391};
2392#line 64 "include/linux/kthread.h"
2393struct kthread_work {
2394 struct list_head node ;
2395 void (*func)(struct kthread_work *work ) ;
2396 wait_queue_head_t done ;
2397 atomic_t flushing ;
2398 int queue_seq ;
2399 int done_seq ;
2400};
2401#line 70 "include/linux/spi/spi.h"
2402struct spi_master;
2403#line 70 "include/linux/spi/spi.h"
2404struct spi_device {
2405 struct device dev ;
2406 struct spi_master *master ;
2407 u32 max_speed_hz ;
2408 u8 chip_select ;
2409 u8 mode ;
2410 u8 bits_per_word ;
2411 int irq ;
2412 void *controller_state ;
2413 void *controller_data ;
2414 char modalias[32] ;
2415};
2416#line 145
2417struct spi_message;
2418#line 145
2419struct spi_message;
2420#line 176 "include/linux/spi/spi.h"
2421struct spi_driver {
2422 struct spi_device_id const *id_table ;
2423 int (*probe)(struct spi_device *spi ) ;
2424 int (*remove)(struct spi_device *spi ) ;
2425 void (*shutdown)(struct spi_device *spi ) ;
2426 int (*suspend)(struct spi_device *spi , pm_message_t mesg ) ;
2427 int (*resume)(struct spi_device *spi ) ;
2428 struct device_driver driver ;
2429};
2430#line 272 "include/linux/spi/spi.h"
2431struct spi_master {
2432 struct device dev ;
2433 struct list_head list ;
2434 s16 bus_num ;
2435 u16 num_chipselect ;
2436 u16 dma_alignment ;
2437 u16 mode_bits ;
2438 u16 flags ;
2439 spinlock_t bus_lock_spinlock ;
2440 struct mutex bus_lock_mutex ;
2441 bool bus_lock_flag ;
2442 int (*setup)(struct spi_device *spi ) ;
2443 int (*transfer)(struct spi_device *spi , struct spi_message *mesg ) ;
2444 void (*cleanup)(struct spi_device *spi ) ;
2445 bool queued ;
2446 struct kthread_worker kworker ;
2447 struct task_struct *kworker_task ;
2448 struct kthread_work pump_messages ;
2449 spinlock_t queue_lock ;
2450 struct list_head queue ;
2451 struct spi_message *cur_msg ;
2452 bool busy ;
2453 bool running ;
2454 bool rt ;
2455 int (*prepare_transfer_hardware)(struct spi_master *master ) ;
2456 int (*transfer_one_message)(struct spi_master *master , struct spi_message *mesg ) ;
2457 int (*unprepare_transfer_hardware)(struct spi_master *master ) ;
2458};
2459#line 492 "include/linux/spi/spi.h"
2460struct spi_transfer {
2461 void const *tx_buf ;
2462 void *rx_buf ;
2463 unsigned int len ;
2464 dma_addr_t tx_dma ;
2465 dma_addr_t rx_dma ;
2466 unsigned int cs_change : 1 ;
2467 u8 bits_per_word ;
2468 u16 delay_usecs ;
2469 u32 speed_hz ;
2470 struct list_head transfer_list ;
2471};
2472#line 541 "include/linux/spi/spi.h"
2473struct spi_message {
2474 struct list_head transfers ;
2475 struct spi_device *spi ;
2476 unsigned int is_dma_mapped : 1 ;
2477 void (*complete)(void *context ) ;
2478 void *context ;
2479 unsigned int actual_length ;
2480 int status ;
2481 struct list_head queue ;
2482 void *state ;
2483};
2484#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/addac/adt7316.h"
2485struct adt7316_bus {
2486 void *client ;
2487 int irq ;
2488 int irq_flags ;
2489 int (*read)(void *client , u8 reg , u8 *data ) ;
2490 int (*write)(void *client , u8 reg , u8 val ) ;
2491 int (*multi_read)(void *client , u8 first_reg , u8 count , u8 *data ) ;
2492 int (*multi_write)(void *client , u8 first_reg , u8 count , u8 *data ) ;
2493};
2494#line 1 "<compiler builtins>"
2495long __builtin_expect(long val , long res ) ;
2496#line 24 "include/linux/list.h"
2497__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ;
2498#line 24 "include/linux/list.h"
2499__inline static void INIT_LIST_HEAD(struct list_head *list )
2500{ unsigned long __cil_tmp2 ;
2501 unsigned long __cil_tmp3 ;
2502
2503 {
2504#line 26
2505 *((struct list_head **)list) = list;
2506#line 27
2507 __cil_tmp2 = (unsigned long )list;
2508#line 27
2509 __cil_tmp3 = __cil_tmp2 + 8;
2510#line 27
2511 *((struct list_head **)__cil_tmp3) = list;
2512#line 28
2513 return;
2514}
2515}
2516#line 47
2517extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ;
2518#line 74
2519__inline static void list_add_tail(struct list_head *new , struct list_head *head ) __attribute__((__no_instrument_function__)) ;
2520#line 74 "include/linux/list.h"
2521__inline static void list_add_tail(struct list_head *new , struct list_head *head )
2522{ unsigned long __cil_tmp3 ;
2523 unsigned long __cil_tmp4 ;
2524 struct list_head *__cil_tmp5 ;
2525
2526 {
2527 {
2528#line 76
2529 __cil_tmp3 = (unsigned long )head;
2530#line 76
2531 __cil_tmp4 = __cil_tmp3 + 8;
2532#line 76
2533 __cil_tmp5 = *((struct list_head **)__cil_tmp4);
2534#line 76
2535 __list_add(new, __cil_tmp5, head);
2536 }
2537#line 77
2538 return;
2539}
2540}
2541#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
2542extern void *memset(void *s , int c , size_t n ) ;
2543#line 152 "include/linux/mutex.h"
2544void mutex_lock(struct mutex *lock ) ;
2545#line 153
2546int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2547#line 154
2548int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2549#line 168
2550int mutex_trylock(struct mutex *lock ) ;
2551#line 169
2552void mutex_unlock(struct mutex *lock ) ;
2553#line 170
2554int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2555#line 239 "include/linux/device.h"
2556extern void driver_unregister(struct device_driver *drv ) ;
2557#line 891
2558extern int ( dev_err)(struct device const *dev , char const *fmt
2559 , ...) ;
2560#line 26 "include/linux/export.h"
2561extern struct module __this_module ;
2562#line 67 "include/linux/module.h"
2563int init_module(void) ;
2564#line 68
2565void cleanup_module(void) ;
2566#line 191 "include/linux/spi/spi.h"
2567extern int spi_register_driver(struct spi_driver *sdrv ) ;
2568#line 198
2569__inline static void spi_unregister_driver(struct spi_driver *sdrv ) __attribute__((__no_instrument_function__)) ;
2570#line 198 "include/linux/spi/spi.h"
2571__inline static void spi_unregister_driver(struct spi_driver *sdrv )
2572{ unsigned long __cil_tmp2 ;
2573 unsigned long __cil_tmp3 ;
2574 struct device_driver *__cil_tmp4 ;
2575
2576 {
2577#line 200
2578 if (sdrv) {
2579 {
2580#line 201
2581 __cil_tmp2 = (unsigned long )sdrv;
2582#line 201
2583 __cil_tmp3 = __cil_tmp2 + 48;
2584#line 201
2585 __cil_tmp4 = (struct device_driver *)__cil_tmp3;
2586#line 201
2587 driver_unregister(__cil_tmp4);
2588 }
2589 } else {
2590
2591 }
2592#line 202
2593 return;
2594}
2595}
2596#line 573
2597__inline static void spi_message_init(struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2598#line 573 "include/linux/spi/spi.h"
2599__inline static void spi_message_init(struct spi_message *m )
2600{ void *__cil_tmp2 ;
2601 struct list_head *__cil_tmp3 ;
2602
2603 {
2604 {
2605#line 575
2606 __cil_tmp2 = (void *)m;
2607#line 575
2608 memset(__cil_tmp2, 0, 80UL);
2609#line 576
2610 __cil_tmp3 = (struct list_head *)m;
2611#line 576
2612 INIT_LIST_HEAD(__cil_tmp3);
2613 }
2614#line 577
2615 return;
2616}
2617}
2618#line 579
2619__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2620#line 579 "include/linux/spi/spi.h"
2621__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m )
2622{ unsigned long __cil_tmp3 ;
2623 unsigned long __cil_tmp4 ;
2624 struct list_head *__cil_tmp5 ;
2625 struct list_head *__cil_tmp6 ;
2626
2627 {
2628 {
2629#line 582
2630 __cil_tmp3 = (unsigned long )t;
2631#line 582
2632 __cil_tmp4 = __cil_tmp3 + 48;
2633#line 582
2634 __cil_tmp5 = (struct list_head *)__cil_tmp4;
2635#line 582
2636 __cil_tmp6 = (struct list_head *)m;
2637#line 582
2638 list_add_tail(__cil_tmp5, __cil_tmp6);
2639 }
2640#line 583
2641 return;
2642}
2643}
2644#line 630
2645extern int spi_sync(struct spi_device *spi , struct spi_message *message ) ;
2646#line 645
2647__inline static int spi_write(struct spi_device *spi , void const *buf , size_t len ) __attribute__((__no_instrument_function__)) ;
2648#line 645 "include/linux/spi/spi.h"
2649__inline static int spi_write(struct spi_device *spi , void const *buf , size_t len )
2650{ struct spi_transfer t ;
2651 struct spi_message m ;
2652 int tmp___7 ;
2653 struct spi_transfer *__cil_tmp7 ;
2654 unsigned long __cil_tmp8 ;
2655 unsigned long __cil_tmp9 ;
2656 unsigned long __cil_tmp10 ;
2657 unsigned long __cil_tmp11 ;
2658 unsigned long __cil_tmp12 ;
2659 unsigned long __cil_tmp13 ;
2660 unsigned long __cil_tmp14 ;
2661 unsigned long __cil_tmp15 ;
2662 unsigned long __cil_tmp16 ;
2663 unsigned long __cil_tmp17 ;
2664 unsigned long __cil_tmp18 ;
2665
2666 {
2667 {
2668#line 648
2669 __cil_tmp7 = & t;
2670#line 648
2671 *((void const **)__cil_tmp7) = buf;
2672#line 648
2673 __cil_tmp8 = (unsigned long )(& t) + 8;
2674#line 648
2675 *((void **)__cil_tmp8) = (void *)0;
2676#line 648
2677 __cil_tmp9 = (unsigned long )(& t) + 16;
2678#line 648
2679 *((unsigned int *)__cil_tmp9) = (unsigned int )len;
2680#line 648
2681 __cil_tmp10 = (unsigned long )(& t) + 24;
2682#line 648
2683 *((dma_addr_t *)__cil_tmp10) = 0ULL;
2684#line 648
2685 __cil_tmp11 = (unsigned long )(& t) + 32;
2686#line 648
2687 *((dma_addr_t *)__cil_tmp11) = 0ULL;
2688#line 648
2689 __cil_tmp12 = (unsigned long )(& t) + 40;
2690#line 648
2691 *((unsigned int *)__cil_tmp12) = 0U;
2692#line 648
2693 __cil_tmp13 = (unsigned long )(& t) + 41;
2694#line 648
2695 *((u8 *)__cil_tmp13) = (unsigned char)0;
2696#line 648
2697 __cil_tmp14 = (unsigned long )(& t) + 42;
2698#line 648
2699 *((u16 *)__cil_tmp14) = (unsigned short)0;
2700#line 648
2701 __cil_tmp15 = (unsigned long )(& t) + 44;
2702#line 648
2703 *((u32 *)__cil_tmp15) = 0U;
2704#line 648
2705 __cil_tmp16 = (unsigned long )(& t) + 48;
2706#line 648
2707 *((struct list_head **)__cil_tmp16) = (struct list_head *)0;
2708#line 648
2709 __cil_tmp17 = 48 + 8;
2710#line 648
2711 __cil_tmp18 = (unsigned long )(& t) + __cil_tmp17;
2712#line 648
2713 *((struct list_head **)__cil_tmp18) = (struct list_head *)0;
2714#line 654
2715 spi_message_init(& m);
2716#line 655
2717 spi_message_add_tail(& t, & m);
2718#line 656
2719 tmp___7 = spi_sync(spi, & m);
2720 }
2721#line 656
2722 return (tmp___7);
2723}
2724}
2725#line 684
2726extern int spi_write_then_read(struct spi_device *spi , void const *txbuf , unsigned int n_tx ,
2727 void *rxbuf , unsigned int n_rx ) ;
2728#line 28 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/addac/adt7316.h"
2729extern struct dev_pm_ops const adt7316_pm_ops ;
2730#line 33
2731extern int adt7316_probe(struct device *dev , struct adt7316_bus *bus , char const *name ) ;
2732#line 34
2733extern int adt7316_remove(struct device *dev ) ;
2734#line 27 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
2735static int adt7316_spi_multi_read(void *client , u8 reg , u8 count , u8 *data )
2736{ struct spi_device *spi_dev ;
2737 u8 cmd[2] ;
2738 int ret ;
2739 int __cil_tmp8 ;
2740 unsigned long __cil_tmp9 ;
2741 unsigned long __cil_tmp10 ;
2742 unsigned long __cil_tmp11 ;
2743 unsigned long __cil_tmp12 ;
2744 unsigned long __cil_tmp13 ;
2745 unsigned long __cil_tmp14 ;
2746 u8 *__cil_tmp15 ;
2747 void const *__cil_tmp16 ;
2748 size_t __cil_tmp17 ;
2749 struct device *__cil_tmp18 ;
2750 struct device const *__cil_tmp19 ;
2751 unsigned long __cil_tmp20 ;
2752 unsigned long __cil_tmp21 ;
2753 unsigned long __cil_tmp22 ;
2754 unsigned long __cil_tmp23 ;
2755 u8 *__cil_tmp24 ;
2756 void const *__cil_tmp25 ;
2757 void *__cil_tmp26 ;
2758 unsigned int __cil_tmp27 ;
2759 struct device *__cil_tmp28 ;
2760 struct device const *__cil_tmp29 ;
2761
2762 {
2763#line 29
2764 spi_dev = (struct spi_device *)client;
2765#line 31
2766 ret = 0;
2767 {
2768#line 33
2769 __cil_tmp8 = (int )count;
2770#line 33
2771 if (__cil_tmp8 > 63) {
2772#line 34
2773 count = (u8 )63;
2774 } else {
2775
2776 }
2777 }
2778 {
2779#line 36
2780 __cil_tmp9 = 0 * 1UL;
2781#line 36
2782 __cil_tmp10 = (unsigned long )(cmd) + __cil_tmp9;
2783#line 36
2784 *((u8 *)__cil_tmp10) = (u8 )144;
2785#line 37
2786 __cil_tmp11 = 1 * 1UL;
2787#line 37
2788 __cil_tmp12 = (unsigned long )(cmd) + __cil_tmp11;
2789#line 37
2790 *((u8 *)__cil_tmp12) = reg;
2791#line 39
2792 __cil_tmp13 = 0 * 1UL;
2793#line 39
2794 __cil_tmp14 = (unsigned long )(cmd) + __cil_tmp13;
2795#line 39
2796 __cil_tmp15 = (u8 *)__cil_tmp14;
2797#line 39
2798 __cil_tmp16 = (void const *)__cil_tmp15;
2799#line 39
2800 __cil_tmp17 = (size_t )2;
2801#line 39
2802 ret = spi_write(spi_dev, __cil_tmp16, __cil_tmp17);
2803 }
2804#line 40
2805 if (ret < 0) {
2806 {
2807#line 41
2808 __cil_tmp18 = (struct device *)spi_dev;
2809#line 41
2810 __cil_tmp19 = (struct device const *)__cil_tmp18;
2811#line 41
2812 dev_err(__cil_tmp19, "SPI fail to select reg\n");
2813 }
2814#line 42
2815 return (ret);
2816 } else {
2817
2818 }
2819 {
2820#line 45
2821 __cil_tmp20 = 0 * 1UL;
2822#line 45
2823 __cil_tmp21 = (unsigned long )(cmd) + __cil_tmp20;
2824#line 45
2825 *((u8 *)__cil_tmp21) = (u8 )145;
2826#line 47
2827 __cil_tmp22 = 0 * 1UL;
2828#line 47
2829 __cil_tmp23 = (unsigned long )(cmd) + __cil_tmp22;
2830#line 47
2831 __cil_tmp24 = (u8 *)__cil_tmp23;
2832#line 47
2833 __cil_tmp25 = (void const *)__cil_tmp24;
2834#line 47
2835 __cil_tmp26 = (void *)data;
2836#line 47
2837 __cil_tmp27 = (unsigned int )count;
2838#line 47
2839 ret = spi_write_then_read(spi_dev, __cil_tmp25, 1U, __cil_tmp26, __cil_tmp27);
2840 }
2841#line 48
2842 if (ret < 0) {
2843 {
2844#line 49
2845 __cil_tmp28 = (struct device *)spi_dev;
2846#line 49
2847 __cil_tmp29 = (struct device const *)__cil_tmp28;
2848#line 49
2849 dev_err(__cil_tmp29, "SPI read data error\n");
2850 }
2851#line 50
2852 return (ret);
2853 } else {
2854
2855 }
2856#line 53
2857 return (0);
2858}
2859}
2860#line 56 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
2861static int adt7316_spi_multi_write(void *client , u8 reg , u8 count , u8 *data )
2862{ struct spi_device *spi_dev ;
2863 u8 buf[65] ;
2864 int i ;
2865 int ret ;
2866 int __cil_tmp9 ;
2867 unsigned long __cil_tmp10 ;
2868 unsigned long __cil_tmp11 ;
2869 unsigned long __cil_tmp12 ;
2870 unsigned long __cil_tmp13 ;
2871 int __cil_tmp14 ;
2872 int __cil_tmp15 ;
2873 unsigned long __cil_tmp16 ;
2874 unsigned long __cil_tmp17 ;
2875 u8 *__cil_tmp18 ;
2876 unsigned long __cil_tmp19 ;
2877 unsigned long __cil_tmp20 ;
2878 u8 *__cil_tmp21 ;
2879 void const *__cil_tmp22 ;
2880 int __cil_tmp23 ;
2881 int __cil_tmp24 ;
2882 size_t __cil_tmp25 ;
2883 struct device *__cil_tmp26 ;
2884 struct device const *__cil_tmp27 ;
2885
2886 {
2887#line 58
2888 spi_dev = (struct spi_device *)client;
2889#line 60
2890 ret = 0;
2891 {
2892#line 62
2893 __cil_tmp9 = (int )count;
2894#line 62
2895 if (__cil_tmp9 > 63) {
2896#line 63
2897 count = (u8 )63;
2898 } else {
2899
2900 }
2901 }
2902#line 65
2903 __cil_tmp10 = 0 * 1UL;
2904#line 65
2905 __cil_tmp11 = (unsigned long )(buf) + __cil_tmp10;
2906#line 65
2907 *((u8 *)__cil_tmp11) = (u8 )144;
2908#line 66
2909 __cil_tmp12 = 1 * 1UL;
2910#line 66
2911 __cil_tmp13 = (unsigned long )(buf) + __cil_tmp12;
2912#line 66
2913 *((u8 *)__cil_tmp13) = reg;
2914#line 67
2915 i = 0;
2916 {
2917#line 67
2918 while (1) {
2919 while_continue: ;
2920 {
2921#line 67
2922 __cil_tmp14 = (int )count;
2923#line 67
2924 if (i < __cil_tmp14) {
2925
2926 } else {
2927#line 67
2928 goto while_break;
2929 }
2930 }
2931#line 68
2932 __cil_tmp15 = i + 2;
2933#line 68
2934 __cil_tmp16 = __cil_tmp15 * 1UL;
2935#line 68
2936 __cil_tmp17 = (unsigned long )(buf) + __cil_tmp16;
2937#line 68
2938 __cil_tmp18 = data + i;
2939#line 68
2940 *((u8 *)__cil_tmp17) = *__cil_tmp18;
2941#line 67
2942 i = i + 1;
2943 }
2944 while_break: ;
2945 }
2946 {
2947#line 70
2948 __cil_tmp19 = 0 * 1UL;
2949#line 70
2950 __cil_tmp20 = (unsigned long )(buf) + __cil_tmp19;
2951#line 70
2952 __cil_tmp21 = (u8 *)__cil_tmp20;
2953#line 70
2954 __cil_tmp22 = (void const *)__cil_tmp21;
2955#line 70
2956 __cil_tmp23 = (int )count;
2957#line 70
2958 __cil_tmp24 = __cil_tmp23 + 2;
2959#line 70
2960 __cil_tmp25 = (size_t )__cil_tmp24;
2961#line 70
2962 ret = spi_write(spi_dev, __cil_tmp22, __cil_tmp25);
2963 }
2964#line 71
2965 if (ret < 0) {
2966 {
2967#line 72
2968 __cil_tmp26 = (struct device *)spi_dev;
2969#line 72
2970 __cil_tmp27 = (struct device const *)__cil_tmp26;
2971#line 72
2972 dev_err(__cil_tmp27, "SPI write error\n");
2973 }
2974#line 73
2975 return (ret);
2976 } else {
2977
2978 }
2979#line 76
2980 return (ret);
2981}
2982}
2983#line 79 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
2984static int adt7316_spi_read(void *client , u8 reg , u8 *data )
2985{ int tmp___7 ;
2986 u8 __cil_tmp5 ;
2987
2988 {
2989 {
2990#line 81
2991 __cil_tmp5 = (u8 )1;
2992#line 81
2993 tmp___7 = adt7316_spi_multi_read(client, reg, __cil_tmp5, data);
2994 }
2995#line 81
2996 return (tmp___7);
2997}
2998}
2999#line 84 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3000static int adt7316_spi_write(void *client , u8 reg , u8 val )
3001{ int tmp___7 ;
3002 u8 __cil_tmp5 ;
3003
3004 {
3005 {
3006#line 86
3007 __cil_tmp5 = (u8 )1;
3008#line 86
3009 tmp___7 = adt7316_spi_multi_write(client, reg, __cil_tmp5, & val);
3010 }
3011#line 86
3012 return (tmp___7);
3013}
3014}
3015#line 93
3016static int adt7316_spi_probe(struct spi_device *spi_dev ) __attribute__((__section__(".devinit.text"),
3017__no_instrument_function__)) ;
3018#line 93 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3019static int adt7316_spi_probe(struct spi_device *spi_dev )
3020{ struct adt7316_bus bus ;
3021 int tmp___7 ;
3022 struct adt7316_bus *__cil_tmp4 ;
3023 unsigned long __cil_tmp5 ;
3024 unsigned long __cil_tmp6 ;
3025 unsigned long __cil_tmp7 ;
3026 unsigned long __cil_tmp8 ;
3027 unsigned long __cil_tmp9 ;
3028 unsigned long __cil_tmp10 ;
3029 unsigned long __cil_tmp11 ;
3030 unsigned long __cil_tmp12 ;
3031 unsigned long __cil_tmp13 ;
3032 unsigned long __cil_tmp14 ;
3033 u32 __cil_tmp15 ;
3034 struct device *__cil_tmp16 ;
3035 struct device const *__cil_tmp17 ;
3036 unsigned long __cil_tmp18 ;
3037 unsigned long __cil_tmp19 ;
3038 u32 __cil_tmp20 ;
3039 void *__cil_tmp21 ;
3040 u8 __cil_tmp22 ;
3041 u8 __cil_tmp23 ;
3042 void *__cil_tmp24 ;
3043 u8 __cil_tmp25 ;
3044 u8 __cil_tmp26 ;
3045 void *__cil_tmp27 ;
3046 u8 __cil_tmp28 ;
3047 u8 __cil_tmp29 ;
3048 struct device *__cil_tmp30 ;
3049 unsigned long __cil_tmp31 ;
3050 unsigned long __cil_tmp32 ;
3051 unsigned long __cil_tmp33 ;
3052 unsigned long __cil_tmp34 ;
3053 char *__cil_tmp35 ;
3054 char const *__cil_tmp36 ;
3055
3056 {
3057#line 95
3058 __cil_tmp4 = & bus;
3059#line 95
3060 *((void **)__cil_tmp4) = (void *)spi_dev;
3061#line 95
3062 __cil_tmp5 = (unsigned long )(& bus) + 8;
3063#line 95
3064 __cil_tmp6 = (unsigned long )spi_dev;
3065#line 95
3066 __cil_tmp7 = __cil_tmp6 + 784;
3067#line 95
3068 *((int *)__cil_tmp5) = *((int *)__cil_tmp7);
3069#line 95
3070 __cil_tmp8 = (unsigned long )(& bus) + 12;
3071#line 95
3072 *((int *)__cil_tmp8) = 8;
3073#line 95
3074 __cil_tmp9 = (unsigned long )(& bus) + 16;
3075#line 95
3076 *((int (**)(void *client , u8 reg , u8 *data ))__cil_tmp9) = & adt7316_spi_read;
3077#line 95
3078 __cil_tmp10 = (unsigned long )(& bus) + 24;
3079#line 95
3080 *((int (**)(void *client , u8 reg , u8 val ))__cil_tmp10) = & adt7316_spi_write;
3081#line 95
3082 __cil_tmp11 = (unsigned long )(& bus) + 32;
3083#line 95
3084 *((int (**)(void *client , u8 first_reg , u8 count , u8 *data ))__cil_tmp11) = & adt7316_spi_multi_read;
3085#line 95
3086 __cil_tmp12 = (unsigned long )(& bus) + 40;
3087#line 95
3088 *((int (**)(void *client , u8 first_reg , u8 count , u8 *data ))__cil_tmp12) = & adt7316_spi_multi_write;
3089 {
3090#line 106
3091 __cil_tmp13 = (unsigned long )spi_dev;
3092#line 106
3093 __cil_tmp14 = __cil_tmp13 + 776;
3094#line 106
3095 __cil_tmp15 = *((u32 *)__cil_tmp14);
3096#line 106
3097 if (__cil_tmp15 > 5000000U) {
3098 {
3099#line 107
3100 __cil_tmp16 = (struct device *)spi_dev;
3101#line 107
3102 __cil_tmp17 = (struct device const *)__cil_tmp16;
3103#line 107
3104 __cil_tmp18 = (unsigned long )spi_dev;
3105#line 107
3106 __cil_tmp19 = __cil_tmp18 + 776;
3107#line 107
3108 __cil_tmp20 = *((u32 *)__cil_tmp19);
3109#line 107
3110 dev_err(__cil_tmp17, "SPI CLK %d Hz?\n", __cil_tmp20);
3111 }
3112#line 109
3113 return (-22);
3114 } else {
3115
3116 }
3117 }
3118 {
3119#line 113
3120 __cil_tmp21 = (void *)spi_dev;
3121#line 113
3122 __cil_tmp22 = (u8 )0;
3123#line 113
3124 __cil_tmp23 = (u8 )0;
3125#line 113
3126 adt7316_spi_write(__cil_tmp21, __cil_tmp22, __cil_tmp23);
3127#line 114
3128 __cil_tmp24 = (void *)spi_dev;
3129#line 114
3130 __cil_tmp25 = (u8 )0;
3131#line 114
3132 __cil_tmp26 = (u8 )0;
3133#line 114
3134 adt7316_spi_write(__cil_tmp24, __cil_tmp25, __cil_tmp26);
3135#line 115
3136 __cil_tmp27 = (void *)spi_dev;
3137#line 115
3138 __cil_tmp28 = (u8 )0;
3139#line 115
3140 __cil_tmp29 = (u8 )0;
3141#line 115
3142 adt7316_spi_write(__cil_tmp27, __cil_tmp28, __cil_tmp29);
3143#line 117
3144 __cil_tmp30 = (struct device *)spi_dev;
3145#line 117
3146 __cil_tmp31 = 0 * 1UL;
3147#line 117
3148 __cil_tmp32 = 808 + __cil_tmp31;
3149#line 117
3150 __cil_tmp33 = (unsigned long )spi_dev;
3151#line 117
3152 __cil_tmp34 = __cil_tmp33 + __cil_tmp32;
3153#line 117
3154 __cil_tmp35 = (char *)__cil_tmp34;
3155#line 117
3156 __cil_tmp36 = (char const *)__cil_tmp35;
3157#line 117
3158 tmp___7 = adt7316_probe(__cil_tmp30, & bus, __cil_tmp36);
3159 }
3160#line 117
3161 return (tmp___7);
3162}
3163}
3164#line 120
3165static int adt7316_spi_remove(struct spi_device *spi_dev ) __attribute__((__section__(".devexit.text"),
3166__no_instrument_function__)) ;
3167#line 120 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3168static int adt7316_spi_remove(struct spi_device *spi_dev )
3169{ int tmp___7 ;
3170 struct device *__cil_tmp3 ;
3171
3172 {
3173 {
3174#line 122
3175 __cil_tmp3 = (struct device *)spi_dev;
3176#line 122
3177 tmp___7 = adt7316_remove(__cil_tmp3);
3178 }
3179#line 122
3180 return (tmp___7);
3181}
3182}
3183#line 125 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3184static struct spi_device_id const adt7316_spi_id[6] = { {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'3', (char )'1', (char )'6',
3185 (char )'\000'}, (kernel_ulong_t )0},
3186 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'3', (char )'1', (char )'7',
3187 (char )'\000'}, (kernel_ulong_t )0},
3188 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'3', (char )'1', (char )'8',
3189 (char )'\000'}, (kernel_ulong_t )0},
3190 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'5', (char )'1', (char )'6',
3191 (char )'\000'}, (kernel_ulong_t )0},
3192 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'5', (char )'1', (char )'7',
3193 (char )'\000'}, (kernel_ulong_t )0},
3194 {{(char )'a', (char )'d', (char )'t', (char )'7', (char )'5', (char )'1', (char )'9',
3195 (char )'\000'}, (kernel_ulong_t )0}};
3196#line 135
3197extern struct spi_device_id const __mod_spi_device_table __attribute__((__unused__,
3198__alias__("adt7316_spi_id"))) ;
3199#line 137 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3200static struct spi_driver adt7316_driver = {adt7316_spi_id, & adt7316_spi_probe, & adt7316_spi_remove, (void (*)(struct spi_device *spi ))0,
3201 (int (*)(struct spi_device *spi , pm_message_t mesg ))0, (int (*)(struct spi_device *spi ))0,
3202 {"adt7316", (struct bus_type *)0, & __this_module, (char const *)0, (_Bool)0,
3203 (struct of_device_id const *)0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
3204 (void (*)(struct device *dev ))0, (int (*)(struct device *dev , pm_message_t state ))0,
3205 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, & adt7316_pm_ops,
3206 (struct driver_private *)0}};
3207#line 147
3208static int adt7316_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
3209#line 147 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3210static int adt7316_driver_init(void)
3211{ int tmp___7 ;
3212
3213 {
3214 {
3215#line 147
3216 tmp___7 = spi_register_driver(& adt7316_driver);
3217 }
3218#line 147
3219 return (tmp___7);
3220}
3221}
3222#line 147 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3223int init_module(void)
3224{ int tmp___7 ;
3225
3226 {
3227 {
3228#line 147
3229 tmp___7 = adt7316_driver_init();
3230 }
3231#line 147
3232 return (tmp___7);
3233}
3234}
3235#line 147
3236static void adt7316_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
3237#line 147 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3238static void adt7316_driver_exit(void)
3239{
3240
3241 {
3242 {
3243#line 147
3244 spi_unregister_driver(& adt7316_driver);
3245 }
3246#line 147
3247 return;
3248}
3249}
3250#line 147 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3251void cleanup_module(void)
3252{
3253
3254 {
3255 {
3256#line 147
3257 adt7316_driver_exit();
3258 }
3259#line 147
3260 return;
3261}
3262}
3263#line 149 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3264static char const __mod_author149[44] __attribute__((__used__, __unused__, __section__(".modinfo"),
3265__aligned__(1))) =
3266#line 149
3267 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3268 (char const )'o', (char const )'r', (char const )'=', (char const )'S',
3269 (char const )'o', (char const )'n', (char const )'i', (char const )'c',
3270 (char const )' ', (char const )'Z', (char const )'h', (char const )'a',
3271 (char const )'n', (char const )'g', (char const )' ', (char const )'<',
3272 (char const )'s', (char const )'o', (char const )'n', (char const )'i',
3273 (char const )'c', (char const )'.', (char const )'z', (char const )'h',
3274 (char const )'a', (char const )'n', (char const )'g', (char const )'@',
3275 (char const )'a', (char const )'n', (char const )'a', (char const )'l',
3276 (char const )'o', (char const )'g', (char const )'.', (char const )'c',
3277 (char const )'o', (char const )'m', (char const )'>', (char const )'\000'};
3278#line 150 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3279static char const __mod_description151[113] __attribute__((__used__, __unused__,
3280__section__(".modinfo"), __aligned__(1))) =
3281#line 150
3282 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3283 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3284 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3285 (char const )'S', (char const )'P', (char const )'I', (char const )' ',
3286 (char const )'b', (char const )'u', (char const )'s', (char const )' ',
3287 (char const )'d', (char const )'r', (char const )'i', (char const )'v',
3288 (char const )'e', (char const )'r', (char const )' ', (char const )'f',
3289 (char const )'o', (char const )'r', (char const )' ', (char const )'A',
3290 (char const )'n', (char const )'a', (char const )'l', (char const )'o',
3291 (char const )'g', (char const )' ', (char const )'D', (char const )'e',
3292 (char const )'v', (char const )'i', (char const )'c', (char const )'e',
3293 (char const )'s', (char const )' ', (char const )'A', (char const )'D',
3294 (char const )'T', (char const )'7', (char const )'3', (char const )'1',
3295 (char const )'6', (char const )'/', (char const )'7', (char const )'/',
3296 (char const )'8', (char const )' ', (char const )'a', (char const )'n',
3297 (char const )'d', (char const )'A', (char const )'D', (char const )'T',
3298 (char const )'7', (char const )'5', (char const )'1', (char const )'6',
3299 (char const )'/', (char const )'7', (char const )'/', (char const )'9',
3300 (char const )' ', (char const )'d', (char const )'i', (char const )'g',
3301 (char const )'i', (char const )'t', (char const )'a', (char const )'l',
3302 (char const )' ', (char const )'t', (char const )'e', (char const )'m',
3303 (char const )'p', (char const )'e', (char const )'r', (char const )'a',
3304 (char const )'t', (char const )'u', (char const )'r', (char const )'e',
3305 (char const )' ', (char const )'s', (char const )'e', (char const )'n',
3306 (char const )'s', (char const )'o', (char const )'r', (char const )',',
3307 (char const )' ', (char const )'A', (char const )'D', (char const )'C',
3308 (char const )' ', (char const )'a', (char const )'n', (char const )'d',
3309 (char const )' ', (char const )'D', (char const )'A', (char const )'C',
3310 (char const )'\000'};
3311#line 152 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3312static char const __mod_license152[15] __attribute__((__used__, __unused__, __section__(".modinfo"),
3313__aligned__(1))) =
3314#line 152
3315 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3316 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3317 (char const )'G', (char const )'P', (char const )'L', (char const )' ',
3318 (char const )'v', (char const )'2', (char const )'\000'};
3319#line 170
3320void ldv_check_final_state(void) ;
3321#line 173
3322extern void ldv_check_return_value(int res ) ;
3323#line 176
3324extern void ldv_initialize(void) ;
3325#line 179
3326extern int __VERIFIER_nondet_int(void) ;
3327#line 182 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3328int LDV_IN_INTERRUPT ;
3329#line 255 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3330static int res_adt7316_spi_probe_4 ;
3331#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3332void main(void)
3333{ void *var_adt7316_spi_read_2_p0 ;
3334 u8 var_adt7316_spi_read_2_p1 ;
3335 u8 *var_adt7316_spi_read_2_p2 ;
3336 void *var_adt7316_spi_write_3_p0 ;
3337 u8 var_adt7316_spi_write_3_p1 ;
3338 u8 var_adt7316_spi_write_3_p2 ;
3339 void *var_adt7316_spi_multi_read_0_p0 ;
3340 u8 var_adt7316_spi_multi_read_0_p1 ;
3341 u8 var_adt7316_spi_multi_read_0_p2 ;
3342 u8 *var_adt7316_spi_multi_read_0_p3 ;
3343 void *var_adt7316_spi_multi_write_1_p0 ;
3344 u8 var_adt7316_spi_multi_write_1_p1 ;
3345 u8 var_adt7316_spi_multi_write_1_p2 ;
3346 u8 *var_adt7316_spi_multi_write_1_p3 ;
3347 struct spi_device *var_group1 ;
3348 int ldv_s_adt7316_driver_spi_driver ;
3349 int tmp___7 ;
3350 int tmp___8 ;
3351 int __cil_tmp19 ;
3352
3353 {
3354 {
3355#line 263
3356 LDV_IN_INTERRUPT = 1;
3357#line 272
3358 ldv_initialize();
3359#line 275
3360 ldv_s_adt7316_driver_spi_driver = 0;
3361 }
3362 {
3363#line 278
3364 while (1) {
3365 while_continue: ;
3366 {
3367#line 278
3368 tmp___8 = __VERIFIER_nondet_int();
3369 }
3370#line 278
3371 if (tmp___8) {
3372
3373 } else {
3374 {
3375#line 278
3376 __cil_tmp19 = ldv_s_adt7316_driver_spi_driver == 0;
3377#line 278
3378 if (! __cil_tmp19) {
3379
3380 } else {
3381#line 278
3382 goto while_break;
3383 }
3384 }
3385 }
3386 {
3387#line 282
3388 tmp___7 = __VERIFIER_nondet_int();
3389 }
3390#line 284
3391 if (tmp___7 == 0) {
3392#line 284
3393 goto case_0;
3394 } else
3395#line 304
3396 if (tmp___7 == 1) {
3397#line 304
3398 goto case_1;
3399 } else
3400#line 324
3401 if (tmp___7 == 2) {
3402#line 324
3403 goto case_2;
3404 } else
3405#line 344
3406 if (tmp___7 == 3) {
3407#line 344
3408 goto case_3;
3409 } else
3410#line 364
3411 if (tmp___7 == 4) {
3412#line 364
3413 goto case_4;
3414 } else {
3415 {
3416#line 387
3417 goto switch_default;
3418#line 282
3419 if (0) {
3420 case_0:
3421 {
3422#line 296
3423 adt7316_spi_read(var_adt7316_spi_read_2_p0, var_adt7316_spi_read_2_p1, var_adt7316_spi_read_2_p2);
3424 }
3425#line 303
3426 goto switch_break;
3427 case_1:
3428 {
3429#line 316
3430 adt7316_spi_write(var_adt7316_spi_write_3_p0, var_adt7316_spi_write_3_p1,
3431 var_adt7316_spi_write_3_p2);
3432 }
3433#line 323
3434 goto switch_break;
3435 case_2:
3436 {
3437#line 336
3438 adt7316_spi_multi_read(var_adt7316_spi_multi_read_0_p0, var_adt7316_spi_multi_read_0_p1,
3439 var_adt7316_spi_multi_read_0_p2, var_adt7316_spi_multi_read_0_p3);
3440 }
3441#line 343
3442 goto switch_break;
3443 case_3:
3444 {
3445#line 356
3446 adt7316_spi_multi_write(var_adt7316_spi_multi_write_1_p0, var_adt7316_spi_multi_write_1_p1,
3447 var_adt7316_spi_multi_write_1_p2, var_adt7316_spi_multi_write_1_p3);
3448 }
3449#line 363
3450 goto switch_break;
3451 case_4:
3452#line 367
3453 if (ldv_s_adt7316_driver_spi_driver == 0) {
3454 {
3455#line 376
3456 res_adt7316_spi_probe_4 = adt7316_spi_probe(var_group1);
3457#line 377
3458 ldv_check_return_value(res_adt7316_spi_probe_4);
3459 }
3460#line 378
3461 if (res_adt7316_spi_probe_4) {
3462#line 379
3463 goto ldv_module_exit;
3464 } else {
3465
3466 }
3467#line 380
3468 ldv_s_adt7316_driver_spi_driver = 0;
3469 } else {
3470
3471 }
3472#line 386
3473 goto switch_break;
3474 switch_default:
3475#line 387
3476 goto switch_break;
3477 } else {
3478 switch_break: ;
3479 }
3480 }
3481 }
3482 }
3483 while_break: ;
3484 }
3485 ldv_module_exit:
3486 {
3487#line 396
3488 ldv_check_final_state();
3489 }
3490#line 399
3491 return;
3492}
3493}
3494#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3495void ldv_blast_assert(void)
3496{
3497
3498 {
3499 ERROR:
3500#line 6
3501 goto ERROR;
3502}
3503}
3504#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3505extern int __VERIFIER_nondet_int(void) ;
3506#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3507int ldv_mutex = 1;
3508#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3509int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3510{ int nondetermined ;
3511
3512 {
3513#line 29
3514 if (ldv_mutex == 1) {
3515
3516 } else {
3517 {
3518#line 29
3519 ldv_blast_assert();
3520 }
3521 }
3522 {
3523#line 32
3524 nondetermined = __VERIFIER_nondet_int();
3525 }
3526#line 35
3527 if (nondetermined) {
3528#line 38
3529 ldv_mutex = 2;
3530#line 40
3531 return (0);
3532 } else {
3533#line 45
3534 return (-4);
3535 }
3536}
3537}
3538#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3539int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3540{ int nondetermined ;
3541
3542 {
3543#line 57
3544 if (ldv_mutex == 1) {
3545
3546 } else {
3547 {
3548#line 57
3549 ldv_blast_assert();
3550 }
3551 }
3552 {
3553#line 60
3554 nondetermined = __VERIFIER_nondet_int();
3555 }
3556#line 63
3557 if (nondetermined) {
3558#line 66
3559 ldv_mutex = 2;
3560#line 68
3561 return (0);
3562 } else {
3563#line 73
3564 return (-4);
3565 }
3566}
3567}
3568#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3569int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3570{ int atomic_value_after_dec ;
3571
3572 {
3573#line 83
3574 if (ldv_mutex == 1) {
3575
3576 } else {
3577 {
3578#line 83
3579 ldv_blast_assert();
3580 }
3581 }
3582 {
3583#line 86
3584 atomic_value_after_dec = __VERIFIER_nondet_int();
3585 }
3586#line 89
3587 if (atomic_value_after_dec == 0) {
3588#line 92
3589 ldv_mutex = 2;
3590#line 94
3591 return (1);
3592 } else {
3593
3594 }
3595#line 98
3596 return (0);
3597}
3598}
3599#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3600void mutex_lock(struct mutex *lock )
3601{
3602
3603 {
3604#line 108
3605 if (ldv_mutex == 1) {
3606
3607 } else {
3608 {
3609#line 108
3610 ldv_blast_assert();
3611 }
3612 }
3613#line 110
3614 ldv_mutex = 2;
3615#line 111
3616 return;
3617}
3618}
3619#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3620int mutex_trylock(struct mutex *lock )
3621{ int nondetermined ;
3622
3623 {
3624#line 121
3625 if (ldv_mutex == 1) {
3626
3627 } else {
3628 {
3629#line 121
3630 ldv_blast_assert();
3631 }
3632 }
3633 {
3634#line 124
3635 nondetermined = __VERIFIER_nondet_int();
3636 }
3637#line 127
3638 if (nondetermined) {
3639#line 130
3640 ldv_mutex = 2;
3641#line 132
3642 return (1);
3643 } else {
3644#line 137
3645 return (0);
3646 }
3647}
3648}
3649#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3650void mutex_unlock(struct mutex *lock )
3651{
3652
3653 {
3654#line 147
3655 if (ldv_mutex == 2) {
3656
3657 } else {
3658 {
3659#line 147
3660 ldv_blast_assert();
3661 }
3662 }
3663#line 149
3664 ldv_mutex = 1;
3665#line 150
3666 return;
3667}
3668}
3669#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3670void ldv_check_final_state(void)
3671{
3672
3673 {
3674#line 156
3675 if (ldv_mutex == 1) {
3676
3677 } else {
3678 {
3679#line 156
3680 ldv_blast_assert();
3681 }
3682 }
3683#line 157
3684 return;
3685}
3686}
3687#line 408 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1708/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/addac/adt7316-spi.c.common.c"
3688long s__builtin_expect(long val , long res )
3689{
3690
3691 {
3692#line 409
3693 return (val);
3694}
3695}