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