1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 22 "include/asm-generic/int-ll64.h"
7typedef short __s16;
8#line 23 "include/asm-generic/int-ll64.h"
9typedef unsigned short __u16;
10#line 25 "include/asm-generic/int-ll64.h"
11typedef int __s32;
12#line 26 "include/asm-generic/int-ll64.h"
13typedef unsigned int __u32;
14#line 29 "include/asm-generic/int-ll64.h"
15typedef long long __s64;
16#line 30 "include/asm-generic/int-ll64.h"
17typedef unsigned long long __u64;
18#line 43 "include/asm-generic/int-ll64.h"
19typedef unsigned char u8;
20#line 45 "include/asm-generic/int-ll64.h"
21typedef short s16;
22#line 46 "include/asm-generic/int-ll64.h"
23typedef unsigned short u16;
24#line 48 "include/asm-generic/int-ll64.h"
25typedef int s32;
26#line 49 "include/asm-generic/int-ll64.h"
27typedef unsigned int u32;
28#line 51 "include/asm-generic/int-ll64.h"
29typedef long long s64;
30#line 52 "include/asm-generic/int-ll64.h"
31typedef unsigned long long u64;
32#line 14 "include/asm-generic/posix_types.h"
33typedef long __kernel_long_t;
34#line 15 "include/asm-generic/posix_types.h"
35typedef unsigned long __kernel_ulong_t;
36#line 31 "include/asm-generic/posix_types.h"
37typedef int __kernel_pid_t;
38#line 52 "include/asm-generic/posix_types.h"
39typedef unsigned int __kernel_uid32_t;
40#line 53 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_gid32_t;
42#line 75 "include/asm-generic/posix_types.h"
43typedef __kernel_ulong_t __kernel_size_t;
44#line 76 "include/asm-generic/posix_types.h"
45typedef __kernel_long_t __kernel_ssize_t;
46#line 91 "include/asm-generic/posix_types.h"
47typedef long long __kernel_loff_t;
48#line 92 "include/asm-generic/posix_types.h"
49typedef __kernel_long_t __kernel_time_t;
50#line 93 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_clock_t;
52#line 94 "include/asm-generic/posix_types.h"
53typedef int __kernel_timer_t;
54#line 95 "include/asm-generic/posix_types.h"
55typedef int __kernel_clockid_t;
56#line 21 "include/linux/types.h"
57typedef __u32 __kernel_dev_t;
58#line 24 "include/linux/types.h"
59typedef __kernel_dev_t dev_t;
60#line 27 "include/linux/types.h"
61typedef unsigned short umode_t;
62#line 30 "include/linux/types.h"
63typedef __kernel_pid_t pid_t;
64#line 35 "include/linux/types.h"
65typedef __kernel_clockid_t clockid_t;
66#line 38 "include/linux/types.h"
67typedef _Bool bool;
68#line 40 "include/linux/types.h"
69typedef __kernel_uid32_t uid_t;
70#line 41 "include/linux/types.h"
71typedef __kernel_gid32_t gid_t;
72#line 54 "include/linux/types.h"
73typedef __kernel_loff_t loff_t;
74#line 63 "include/linux/types.h"
75typedef __kernel_size_t size_t;
76#line 68 "include/linux/types.h"
77typedef __kernel_ssize_t ssize_t;
78#line 78 "include/linux/types.h"
79typedef __kernel_time_t time_t;
80#line 111 "include/linux/types.h"
81typedef __s32 int32_t;
82#line 117 "include/linux/types.h"
83typedef __u32 uint32_t;
84#line 142 "include/linux/types.h"
85typedef unsigned long sector_t;
86#line 143 "include/linux/types.h"
87typedef unsigned long blkcnt_t;
88#line 155 "include/linux/types.h"
89typedef u64 dma_addr_t;
90#line 202 "include/linux/types.h"
91typedef unsigned int gfp_t;
92#line 203 "include/linux/types.h"
93typedef unsigned int fmode_t;
94#line 219 "include/linux/types.h"
95struct __anonstruct_atomic_t_7 {
96 int counter ;
97};
98#line 219 "include/linux/types.h"
99typedef struct __anonstruct_atomic_t_7 atomic_t;
100#line 224 "include/linux/types.h"
101struct __anonstruct_atomic64_t_8 {
102 long counter ;
103};
104#line 224 "include/linux/types.h"
105typedef struct __anonstruct_atomic64_t_8 atomic64_t;
106#line 229 "include/linux/types.h"
107struct list_head {
108 struct list_head *next ;
109 struct list_head *prev ;
110};
111#line 233
112struct hlist_node;
113#line 233 "include/linux/types.h"
114struct hlist_head {
115 struct hlist_node *first ;
116};
117#line 237 "include/linux/types.h"
118struct hlist_node {
119 struct hlist_node *next ;
120 struct hlist_node **pprev ;
121};
122#line 253 "include/linux/types.h"
123struct rcu_head {
124 struct rcu_head *next ;
125 void (*func)(struct rcu_head *head ) ;
126};
127#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
128struct module;
129#line 56
130struct module;
131#line 146 "include/linux/init.h"
132typedef void (*ctor_fn_t)(void);
133#line 47 "include/linux/dynamic_debug.h"
134struct device;
135#line 47
136struct device;
137#line 135 "include/linux/kernel.h"
138struct completion;
139#line 135
140struct completion;
141#line 136
142struct pt_regs;
143#line 136
144struct pt_regs;
145#line 349
146struct pid;
147#line 349
148struct pid;
149#line 12 "include/linux/thread_info.h"
150struct timespec;
151#line 12
152struct timespec;
153#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
154struct page;
155#line 18
156struct page;
157#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
158struct task_struct;
159#line 20
160struct task_struct;
161#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
162struct task_struct;
163#line 8
164struct mm_struct;
165#line 8
166struct mm_struct;
167#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
168struct pt_regs {
169 unsigned long r15 ;
170 unsigned long r14 ;
171 unsigned long r13 ;
172 unsigned long r12 ;
173 unsigned long bp ;
174 unsigned long bx ;
175 unsigned long r11 ;
176 unsigned long r10 ;
177 unsigned long r9 ;
178 unsigned long r8 ;
179 unsigned long ax ;
180 unsigned long cx ;
181 unsigned long dx ;
182 unsigned long si ;
183 unsigned long di ;
184 unsigned long orig_ax ;
185 unsigned long ip ;
186 unsigned long cs ;
187 unsigned long flags ;
188 unsigned long sp ;
189 unsigned long ss ;
190};
191#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
192struct __anonstruct____missing_field_name_15 {
193 unsigned int a ;
194 unsigned int b ;
195};
196#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
197struct __anonstruct____missing_field_name_16 {
198 u16 limit0 ;
199 u16 base0 ;
200 unsigned int base1 : 8 ;
201 unsigned int type : 4 ;
202 unsigned int s : 1 ;
203 unsigned int dpl : 2 ;
204 unsigned int p : 1 ;
205 unsigned int limit : 4 ;
206 unsigned int avl : 1 ;
207 unsigned int l : 1 ;
208 unsigned int d : 1 ;
209 unsigned int g : 1 ;
210 unsigned int base2 : 8 ;
211};
212#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
213union __anonunion____missing_field_name_14 {
214 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
215 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
216};
217#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
218struct desc_struct {
219 union __anonunion____missing_field_name_14 __annonCompField7 ;
220} __attribute__((__packed__)) ;
221#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
222typedef unsigned long pgdval_t;
223#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
224typedef unsigned long pgprotval_t;
225#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
226struct pgprot {
227 pgprotval_t pgprot ;
228};
229#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
230typedef struct pgprot pgprot_t;
231#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
232struct __anonstruct_pgd_t_20 {
233 pgdval_t pgd ;
234};
235#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
236typedef struct __anonstruct_pgd_t_20 pgd_t;
237#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
238typedef struct page *pgtable_t;
239#line 295
240struct file;
241#line 295
242struct file;
243#line 313
244struct seq_file;
245#line 313
246struct seq_file;
247#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
248struct page;
249#line 47
250struct thread_struct;
251#line 47
252struct thread_struct;
253#line 50
254struct mm_struct;
255#line 51
256struct desc_struct;
257#line 52
258struct task_struct;
259#line 53
260struct cpumask;
261#line 53
262struct cpumask;
263#line 329
264struct arch_spinlock;
265#line 329
266struct arch_spinlock;
267#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
268struct task_struct;
269#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
270struct kernel_vm86_regs {
271 struct pt_regs pt ;
272 unsigned short es ;
273 unsigned short __esh ;
274 unsigned short ds ;
275 unsigned short __dsh ;
276 unsigned short fs ;
277 unsigned short __fsh ;
278 unsigned short gs ;
279 unsigned short __gsh ;
280};
281#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
282union __anonunion____missing_field_name_24 {
283 struct pt_regs *regs ;
284 struct kernel_vm86_regs *vm86 ;
285};
286#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
287struct math_emu_info {
288 long ___orig_eip ;
289 union __anonunion____missing_field_name_24 __annonCompField8 ;
290};
291#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
292struct task_struct;
293#line 10 "include/asm-generic/bug.h"
294struct bug_entry {
295 int bug_addr_disp ;
296 int file_disp ;
297 unsigned short line ;
298 unsigned short flags ;
299};
300#line 12 "include/linux/bug.h"
301struct pt_regs;
302#line 14 "include/linux/cpumask.h"
303struct cpumask {
304 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
305};
306#line 14 "include/linux/cpumask.h"
307typedef struct cpumask cpumask_t;
308#line 637 "include/linux/cpumask.h"
309typedef struct cpumask *cpumask_var_t;
310#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
311struct static_key;
312#line 234
313struct static_key;
314#line 11 "include/linux/personality.h"
315struct pt_regs;
316#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
317struct i387_fsave_struct {
318 u32 cwd ;
319 u32 swd ;
320 u32 twd ;
321 u32 fip ;
322 u32 fcs ;
323 u32 foo ;
324 u32 fos ;
325 u32 st_space[20] ;
326 u32 status ;
327};
328#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
329struct __anonstruct____missing_field_name_31 {
330 u64 rip ;
331 u64 rdp ;
332};
333#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
334struct __anonstruct____missing_field_name_32 {
335 u32 fip ;
336 u32 fcs ;
337 u32 foo ;
338 u32 fos ;
339};
340#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
341union __anonunion____missing_field_name_30 {
342 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
343 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
344};
345#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
346union __anonunion____missing_field_name_33 {
347 u32 padding1[12] ;
348 u32 sw_reserved[12] ;
349};
350#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
351struct i387_fxsave_struct {
352 u16 cwd ;
353 u16 swd ;
354 u16 twd ;
355 u16 fop ;
356 union __anonunion____missing_field_name_30 __annonCompField14 ;
357 u32 mxcsr ;
358 u32 mxcsr_mask ;
359 u32 st_space[32] ;
360 u32 xmm_space[64] ;
361 u32 padding[12] ;
362 union __anonunion____missing_field_name_33 __annonCompField15 ;
363} __attribute__((__aligned__(16))) ;
364#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
365struct i387_soft_struct {
366 u32 cwd ;
367 u32 swd ;
368 u32 twd ;
369 u32 fip ;
370 u32 fcs ;
371 u32 foo ;
372 u32 fos ;
373 u32 st_space[20] ;
374 u8 ftop ;
375 u8 changed ;
376 u8 lookahead ;
377 u8 no_update ;
378 u8 rm ;
379 u8 alimit ;
380 struct math_emu_info *info ;
381 u32 entry_eip ;
382};
383#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
384struct ymmh_struct {
385 u32 ymmh_space[64] ;
386};
387#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
388struct xsave_hdr_struct {
389 u64 xstate_bv ;
390 u64 reserved1[2] ;
391 u64 reserved2[5] ;
392} __attribute__((__packed__)) ;
393#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
394struct xsave_struct {
395 struct i387_fxsave_struct i387 ;
396 struct xsave_hdr_struct xsave_hdr ;
397 struct ymmh_struct ymmh ;
398} __attribute__((__packed__, __aligned__(64))) ;
399#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
400union thread_xstate {
401 struct i387_fsave_struct fsave ;
402 struct i387_fxsave_struct fxsave ;
403 struct i387_soft_struct soft ;
404 struct xsave_struct xsave ;
405};
406#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
407struct fpu {
408 unsigned int last_cpu ;
409 unsigned int has_fpu ;
410 union thread_xstate *state ;
411};
412#line 433
413struct kmem_cache;
414#line 435
415struct perf_event;
416#line 435
417struct perf_event;
418#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
419struct thread_struct {
420 struct desc_struct tls_array[3] ;
421 unsigned long sp0 ;
422 unsigned long sp ;
423 unsigned long usersp ;
424 unsigned short es ;
425 unsigned short ds ;
426 unsigned short fsindex ;
427 unsigned short gsindex ;
428 unsigned long fs ;
429 unsigned long gs ;
430 struct perf_event *ptrace_bps[4] ;
431 unsigned long debugreg6 ;
432 unsigned long ptrace_dr7 ;
433 unsigned long cr2 ;
434 unsigned long trap_nr ;
435 unsigned long error_code ;
436 struct fpu fpu ;
437 unsigned long *io_bitmap_ptr ;
438 unsigned long iopl ;
439 unsigned int io_bitmap_max ;
440};
441#line 23 "include/asm-generic/atomic-long.h"
442typedef atomic64_t atomic_long_t;
443#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
444typedef u16 __ticket_t;
445#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
446typedef u32 __ticketpair_t;
447#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
448struct __raw_tickets {
449 __ticket_t head ;
450 __ticket_t tail ;
451};
452#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
453union __anonunion____missing_field_name_36 {
454 __ticketpair_t head_tail ;
455 struct __raw_tickets tickets ;
456};
457#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
458struct arch_spinlock {
459 union __anonunion____missing_field_name_36 __annonCompField17 ;
460};
461#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
462typedef struct arch_spinlock arch_spinlock_t;
463#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
464struct __anonstruct____missing_field_name_38 {
465 u32 read ;
466 s32 write ;
467};
468#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
469union __anonunion_arch_rwlock_t_37 {
470 s64 lock ;
471 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
472};
473#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
474typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
475#line 12 "include/linux/lockdep.h"
476struct task_struct;
477#line 391 "include/linux/lockdep.h"
478struct lock_class_key {
479
480};
481#line 20 "include/linux/spinlock_types.h"
482struct raw_spinlock {
483 arch_spinlock_t raw_lock ;
484 unsigned int magic ;
485 unsigned int owner_cpu ;
486 void *owner ;
487};
488#line 20 "include/linux/spinlock_types.h"
489typedef struct raw_spinlock raw_spinlock_t;
490#line 64 "include/linux/spinlock_types.h"
491union __anonunion____missing_field_name_39 {
492 struct raw_spinlock rlock ;
493};
494#line 64 "include/linux/spinlock_types.h"
495struct spinlock {
496 union __anonunion____missing_field_name_39 __annonCompField19 ;
497};
498#line 64 "include/linux/spinlock_types.h"
499typedef struct spinlock spinlock_t;
500#line 11 "include/linux/rwlock_types.h"
501struct __anonstruct_rwlock_t_40 {
502 arch_rwlock_t raw_lock ;
503 unsigned int magic ;
504 unsigned int owner_cpu ;
505 void *owner ;
506};
507#line 11 "include/linux/rwlock_types.h"
508typedef struct __anonstruct_rwlock_t_40 rwlock_t;
509#line 119 "include/linux/seqlock.h"
510struct seqcount {
511 unsigned int sequence ;
512};
513#line 119 "include/linux/seqlock.h"
514typedef struct seqcount seqcount_t;
515#line 14 "include/linux/time.h"
516struct timespec {
517 __kernel_time_t tv_sec ;
518 long tv_nsec ;
519};
520#line 202 "include/linux/ioport.h"
521struct device;
522#line 20 "include/linux/kobject_ns.h"
523struct sock;
524#line 20
525struct sock;
526#line 21
527struct kobject;
528#line 21
529struct kobject;
530#line 27
531enum kobj_ns_type {
532 KOBJ_NS_TYPE_NONE = 0,
533 KOBJ_NS_TYPE_NET = 1,
534 KOBJ_NS_TYPES = 2
535} ;
536#line 40 "include/linux/kobject_ns.h"
537struct kobj_ns_type_operations {
538 enum kobj_ns_type type ;
539 void *(*grab_current_ns)(void) ;
540 void const *(*netlink_ns)(struct sock *sk ) ;
541 void const *(*initial_ns)(void) ;
542 void (*drop_ns)(void * ) ;
543};
544#line 22 "include/linux/sysfs.h"
545struct kobject;
546#line 23
547struct module;
548#line 24
549enum kobj_ns_type;
550#line 26 "include/linux/sysfs.h"
551struct attribute {
552 char const *name ;
553 umode_t mode ;
554};
555#line 56 "include/linux/sysfs.h"
556struct attribute_group {
557 char const *name ;
558 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
559 struct attribute **attrs ;
560};
561#line 85
562struct file;
563#line 86
564struct vm_area_struct;
565#line 86
566struct vm_area_struct;
567#line 88 "include/linux/sysfs.h"
568struct bin_attribute {
569 struct attribute attr ;
570 size_t size ;
571 void *private ;
572 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
573 loff_t , size_t ) ;
574 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
575 loff_t , size_t ) ;
576 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
577};
578#line 112 "include/linux/sysfs.h"
579struct sysfs_ops {
580 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
581 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
582 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
583};
584#line 118
585struct sysfs_dirent;
586#line 118
587struct sysfs_dirent;
588#line 22 "include/linux/kref.h"
589struct kref {
590 atomic_t refcount ;
591};
592#line 49 "include/linux/wait.h"
593struct __wait_queue_head {
594 spinlock_t lock ;
595 struct list_head task_list ;
596};
597#line 53 "include/linux/wait.h"
598typedef struct __wait_queue_head wait_queue_head_t;
599#line 55
600struct task_struct;
601#line 60 "include/linux/kobject.h"
602struct kset;
603#line 60
604struct kobj_type;
605#line 60 "include/linux/kobject.h"
606struct kobject {
607 char const *name ;
608 struct list_head entry ;
609 struct kobject *parent ;
610 struct kset *kset ;
611 struct kobj_type *ktype ;
612 struct sysfs_dirent *sd ;
613 struct kref kref ;
614 unsigned int state_initialized : 1 ;
615 unsigned int state_in_sysfs : 1 ;
616 unsigned int state_add_uevent_sent : 1 ;
617 unsigned int state_remove_uevent_sent : 1 ;
618 unsigned int uevent_suppress : 1 ;
619};
620#line 108 "include/linux/kobject.h"
621struct kobj_type {
622 void (*release)(struct kobject *kobj ) ;
623 struct sysfs_ops const *sysfs_ops ;
624 struct attribute **default_attrs ;
625 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
626 void const *(*namespace)(struct kobject *kobj ) ;
627};
628#line 116 "include/linux/kobject.h"
629struct kobj_uevent_env {
630 char *envp[32] ;
631 int envp_idx ;
632 char buf[2048] ;
633 int buflen ;
634};
635#line 123 "include/linux/kobject.h"
636struct kset_uevent_ops {
637 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
638 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
639 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
640};
641#line 140
642struct sock;
643#line 159 "include/linux/kobject.h"
644struct kset {
645 struct list_head list ;
646 spinlock_t list_lock ;
647 struct kobject kobj ;
648 struct kset_uevent_ops const *uevent_ops ;
649};
650#line 19 "include/linux/klist.h"
651struct klist_node;
652#line 19
653struct klist_node;
654#line 39 "include/linux/klist.h"
655struct klist_node {
656 void *n_klist ;
657 struct list_head n_node ;
658 struct kref n_ref ;
659};
660#line 48 "include/linux/mutex.h"
661struct mutex {
662 atomic_t count ;
663 spinlock_t wait_lock ;
664 struct list_head wait_list ;
665 struct task_struct *owner ;
666 char const *name ;
667 void *magic ;
668};
669#line 69 "include/linux/mutex.h"
670struct mutex_waiter {
671 struct list_head list ;
672 struct task_struct *task ;
673 void *magic ;
674};
675#line 46 "include/linux/ktime.h"
676union ktime {
677 s64 tv64 ;
678};
679#line 59 "include/linux/ktime.h"
680typedef union ktime ktime_t;
681#line 10 "include/linux/timer.h"
682struct tvec_base;
683#line 10
684struct tvec_base;
685#line 12 "include/linux/timer.h"
686struct timer_list {
687 struct list_head entry ;
688 unsigned long expires ;
689 struct tvec_base *base ;
690 void (*function)(unsigned long ) ;
691 unsigned long data ;
692 int slack ;
693 int start_pid ;
694 void *start_site ;
695 char start_comm[16] ;
696};
697#line 289
698struct hrtimer;
699#line 289
700struct hrtimer;
701#line 290
702enum hrtimer_restart;
703#line 17 "include/linux/workqueue.h"
704struct work_struct;
705#line 17
706struct work_struct;
707#line 79 "include/linux/workqueue.h"
708struct work_struct {
709 atomic_long_t data ;
710 struct list_head entry ;
711 void (*func)(struct work_struct *work ) ;
712};
713#line 92 "include/linux/workqueue.h"
714struct delayed_work {
715 struct work_struct work ;
716 struct timer_list timer ;
717};
718#line 25 "include/linux/completion.h"
719struct completion {
720 unsigned int done ;
721 wait_queue_head_t wait ;
722};
723#line 42 "include/linux/pm.h"
724struct device;
725#line 50 "include/linux/pm.h"
726struct pm_message {
727 int event ;
728};
729#line 50 "include/linux/pm.h"
730typedef struct pm_message pm_message_t;
731#line 264 "include/linux/pm.h"
732struct dev_pm_ops {
733 int (*prepare)(struct device *dev ) ;
734 void (*complete)(struct device *dev ) ;
735 int (*suspend)(struct device *dev ) ;
736 int (*resume)(struct device *dev ) ;
737 int (*freeze)(struct device *dev ) ;
738 int (*thaw)(struct device *dev ) ;
739 int (*poweroff)(struct device *dev ) ;
740 int (*restore)(struct device *dev ) ;
741 int (*suspend_late)(struct device *dev ) ;
742 int (*resume_early)(struct device *dev ) ;
743 int (*freeze_late)(struct device *dev ) ;
744 int (*thaw_early)(struct device *dev ) ;
745 int (*poweroff_late)(struct device *dev ) ;
746 int (*restore_early)(struct device *dev ) ;
747 int (*suspend_noirq)(struct device *dev ) ;
748 int (*resume_noirq)(struct device *dev ) ;
749 int (*freeze_noirq)(struct device *dev ) ;
750 int (*thaw_noirq)(struct device *dev ) ;
751 int (*poweroff_noirq)(struct device *dev ) ;
752 int (*restore_noirq)(struct device *dev ) ;
753 int (*runtime_suspend)(struct device *dev ) ;
754 int (*runtime_resume)(struct device *dev ) ;
755 int (*runtime_idle)(struct device *dev ) ;
756};
757#line 458
758enum rpm_status {
759 RPM_ACTIVE = 0,
760 RPM_RESUMING = 1,
761 RPM_SUSPENDED = 2,
762 RPM_SUSPENDING = 3
763} ;
764#line 480
765enum rpm_request {
766 RPM_REQ_NONE = 0,
767 RPM_REQ_IDLE = 1,
768 RPM_REQ_SUSPEND = 2,
769 RPM_REQ_AUTOSUSPEND = 3,
770 RPM_REQ_RESUME = 4
771} ;
772#line 488
773struct wakeup_source;
774#line 488
775struct wakeup_source;
776#line 495 "include/linux/pm.h"
777struct pm_subsys_data {
778 spinlock_t lock ;
779 unsigned int refcount ;
780};
781#line 506
782struct dev_pm_qos_request;
783#line 506
784struct pm_qos_constraints;
785#line 506 "include/linux/pm.h"
786struct dev_pm_info {
787 pm_message_t power_state ;
788 unsigned int can_wakeup : 1 ;
789 unsigned int async_suspend : 1 ;
790 bool is_prepared : 1 ;
791 bool is_suspended : 1 ;
792 bool ignore_children : 1 ;
793 spinlock_t lock ;
794 struct list_head entry ;
795 struct completion completion ;
796 struct wakeup_source *wakeup ;
797 bool wakeup_path : 1 ;
798 struct timer_list suspend_timer ;
799 unsigned long timer_expires ;
800 struct work_struct work ;
801 wait_queue_head_t wait_queue ;
802 atomic_t usage_count ;
803 atomic_t child_count ;
804 unsigned int disable_depth : 3 ;
805 unsigned int idle_notification : 1 ;
806 unsigned int request_pending : 1 ;
807 unsigned int deferred_resume : 1 ;
808 unsigned int run_wake : 1 ;
809 unsigned int runtime_auto : 1 ;
810 unsigned int no_callbacks : 1 ;
811 unsigned int irq_safe : 1 ;
812 unsigned int use_autosuspend : 1 ;
813 unsigned int timer_autosuspends : 1 ;
814 enum rpm_request request ;
815 enum rpm_status runtime_status ;
816 int runtime_error ;
817 int autosuspend_delay ;
818 unsigned long last_busy ;
819 unsigned long active_jiffies ;
820 unsigned long suspended_jiffies ;
821 unsigned long accounting_timestamp ;
822 ktime_t suspend_time ;
823 s64 max_time_suspended_ns ;
824 struct dev_pm_qos_request *pq_req ;
825 struct pm_subsys_data *subsys_data ;
826 struct pm_qos_constraints *constraints ;
827};
828#line 564 "include/linux/pm.h"
829struct dev_pm_domain {
830 struct dev_pm_ops ops ;
831};
832#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
833struct dma_map_ops;
834#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
835struct dev_archdata {
836 void *acpi_handle ;
837 struct dma_map_ops *dma_ops ;
838 void *iommu ;
839};
840#line 28 "include/linux/device.h"
841struct device;
842#line 29
843struct device_private;
844#line 29
845struct device_private;
846#line 30
847struct device_driver;
848#line 30
849struct device_driver;
850#line 31
851struct driver_private;
852#line 31
853struct driver_private;
854#line 32
855struct module;
856#line 33
857struct class;
858#line 33
859struct class;
860#line 34
861struct subsys_private;
862#line 34
863struct subsys_private;
864#line 35
865struct bus_type;
866#line 35
867struct bus_type;
868#line 36
869struct device_node;
870#line 36
871struct device_node;
872#line 37
873struct iommu_ops;
874#line 37
875struct iommu_ops;
876#line 39 "include/linux/device.h"
877struct bus_attribute {
878 struct attribute attr ;
879 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
880 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
881};
882#line 89
883struct device_attribute;
884#line 89
885struct driver_attribute;
886#line 89 "include/linux/device.h"
887struct bus_type {
888 char const *name ;
889 char const *dev_name ;
890 struct device *dev_root ;
891 struct bus_attribute *bus_attrs ;
892 struct device_attribute *dev_attrs ;
893 struct driver_attribute *drv_attrs ;
894 int (*match)(struct device *dev , struct device_driver *drv ) ;
895 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
896 int (*probe)(struct device *dev ) ;
897 int (*remove)(struct device *dev ) ;
898 void (*shutdown)(struct device *dev ) ;
899 int (*suspend)(struct device *dev , pm_message_t state ) ;
900 int (*resume)(struct device *dev ) ;
901 struct dev_pm_ops const *pm ;
902 struct iommu_ops *iommu_ops ;
903 struct subsys_private *p ;
904};
905#line 127
906struct device_type;
907#line 214
908struct of_device_id;
909#line 214 "include/linux/device.h"
910struct device_driver {
911 char const *name ;
912 struct bus_type *bus ;
913 struct module *owner ;
914 char const *mod_name ;
915 bool suppress_bind_attrs ;
916 struct of_device_id const *of_match_table ;
917 int (*probe)(struct device *dev ) ;
918 int (*remove)(struct device *dev ) ;
919 void (*shutdown)(struct device *dev ) ;
920 int (*suspend)(struct device *dev , pm_message_t state ) ;
921 int (*resume)(struct device *dev ) ;
922 struct attribute_group const **groups ;
923 struct dev_pm_ops const *pm ;
924 struct driver_private *p ;
925};
926#line 249 "include/linux/device.h"
927struct driver_attribute {
928 struct attribute attr ;
929 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
930 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
931};
932#line 330
933struct class_attribute;
934#line 330 "include/linux/device.h"
935struct class {
936 char const *name ;
937 struct module *owner ;
938 struct class_attribute *class_attrs ;
939 struct device_attribute *dev_attrs ;
940 struct bin_attribute *dev_bin_attrs ;
941 struct kobject *dev_kobj ;
942 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
943 char *(*devnode)(struct device *dev , umode_t *mode ) ;
944 void (*class_release)(struct class *class ) ;
945 void (*dev_release)(struct device *dev ) ;
946 int (*suspend)(struct device *dev , pm_message_t state ) ;
947 int (*resume)(struct device *dev ) ;
948 struct kobj_ns_type_operations const *ns_type ;
949 void const *(*namespace)(struct device *dev ) ;
950 struct dev_pm_ops const *pm ;
951 struct subsys_private *p ;
952};
953#line 397 "include/linux/device.h"
954struct class_attribute {
955 struct attribute attr ;
956 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
957 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
958 size_t count ) ;
959 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
960};
961#line 465 "include/linux/device.h"
962struct device_type {
963 char const *name ;
964 struct attribute_group const **groups ;
965 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
966 char *(*devnode)(struct device *dev , umode_t *mode ) ;
967 void (*release)(struct device *dev ) ;
968 struct dev_pm_ops const *pm ;
969};
970#line 476 "include/linux/device.h"
971struct device_attribute {
972 struct attribute attr ;
973 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
974 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
975 size_t count ) ;
976};
977#line 559 "include/linux/device.h"
978struct device_dma_parameters {
979 unsigned int max_segment_size ;
980 unsigned long segment_boundary_mask ;
981};
982#line 627
983struct dma_coherent_mem;
984#line 627 "include/linux/device.h"
985struct device {
986 struct device *parent ;
987 struct device_private *p ;
988 struct kobject kobj ;
989 char const *init_name ;
990 struct device_type const *type ;
991 struct mutex mutex ;
992 struct bus_type *bus ;
993 struct device_driver *driver ;
994 void *platform_data ;
995 struct dev_pm_info power ;
996 struct dev_pm_domain *pm_domain ;
997 int numa_node ;
998 u64 *dma_mask ;
999 u64 coherent_dma_mask ;
1000 struct device_dma_parameters *dma_parms ;
1001 struct list_head dma_pools ;
1002 struct dma_coherent_mem *dma_mem ;
1003 struct dev_archdata archdata ;
1004 struct device_node *of_node ;
1005 dev_t devt ;
1006 u32 id ;
1007 spinlock_t devres_lock ;
1008 struct list_head devres_head ;
1009 struct klist_node knode_class ;
1010 struct class *class ;
1011 struct attribute_group const **groups ;
1012 void (*release)(struct device *dev ) ;
1013};
1014#line 43 "include/linux/pm_wakeup.h"
1015struct wakeup_source {
1016 char const *name ;
1017 struct list_head entry ;
1018 spinlock_t lock ;
1019 struct timer_list timer ;
1020 unsigned long timer_expires ;
1021 ktime_t total_time ;
1022 ktime_t max_time ;
1023 ktime_t last_time ;
1024 unsigned long event_count ;
1025 unsigned long active_count ;
1026 unsigned long relax_count ;
1027 unsigned long hit_count ;
1028 unsigned int active : 1 ;
1029};
1030#line 15 "include/linux/blk_types.h"
1031struct page;
1032#line 16
1033struct block_device;
1034#line 16
1035struct block_device;
1036#line 33 "include/linux/list_bl.h"
1037struct hlist_bl_node;
1038#line 33 "include/linux/list_bl.h"
1039struct hlist_bl_head {
1040 struct hlist_bl_node *first ;
1041};
1042#line 37 "include/linux/list_bl.h"
1043struct hlist_bl_node {
1044 struct hlist_bl_node *next ;
1045 struct hlist_bl_node **pprev ;
1046};
1047#line 13 "include/linux/dcache.h"
1048struct nameidata;
1049#line 13
1050struct nameidata;
1051#line 14
1052struct path;
1053#line 14
1054struct path;
1055#line 15
1056struct vfsmount;
1057#line 15
1058struct vfsmount;
1059#line 35 "include/linux/dcache.h"
1060struct qstr {
1061 unsigned int hash ;
1062 unsigned int len ;
1063 unsigned char const *name ;
1064};
1065#line 88
1066struct inode;
1067#line 88
1068struct dentry_operations;
1069#line 88
1070struct super_block;
1071#line 88 "include/linux/dcache.h"
1072union __anonunion_d_u_45 {
1073 struct list_head d_child ;
1074 struct rcu_head d_rcu ;
1075};
1076#line 88 "include/linux/dcache.h"
1077struct dentry {
1078 unsigned int d_flags ;
1079 seqcount_t d_seq ;
1080 struct hlist_bl_node d_hash ;
1081 struct dentry *d_parent ;
1082 struct qstr d_name ;
1083 struct inode *d_inode ;
1084 unsigned char d_iname[32] ;
1085 unsigned int d_count ;
1086 spinlock_t d_lock ;
1087 struct dentry_operations const *d_op ;
1088 struct super_block *d_sb ;
1089 unsigned long d_time ;
1090 void *d_fsdata ;
1091 struct list_head d_lru ;
1092 union __anonunion_d_u_45 d_u ;
1093 struct list_head d_subdirs ;
1094 struct list_head d_alias ;
1095};
1096#line 131 "include/linux/dcache.h"
1097struct dentry_operations {
1098 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1099 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1100 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1101 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1102 int (*d_delete)(struct dentry const * ) ;
1103 void (*d_release)(struct dentry * ) ;
1104 void (*d_prune)(struct dentry * ) ;
1105 void (*d_iput)(struct dentry * , struct inode * ) ;
1106 char *(*d_dname)(struct dentry * , char * , int ) ;
1107 struct vfsmount *(*d_automount)(struct path * ) ;
1108 int (*d_manage)(struct dentry * , bool ) ;
1109} __attribute__((__aligned__((1) << (6) ))) ;
1110#line 4 "include/linux/path.h"
1111struct dentry;
1112#line 5
1113struct vfsmount;
1114#line 7 "include/linux/path.h"
1115struct path {
1116 struct vfsmount *mnt ;
1117 struct dentry *dentry ;
1118};
1119#line 62 "include/linux/stat.h"
1120struct kstat {
1121 u64 ino ;
1122 dev_t dev ;
1123 umode_t mode ;
1124 unsigned int nlink ;
1125 uid_t uid ;
1126 gid_t gid ;
1127 dev_t rdev ;
1128 loff_t size ;
1129 struct timespec atime ;
1130 struct timespec mtime ;
1131 struct timespec ctime ;
1132 unsigned long blksize ;
1133 unsigned long long blocks ;
1134};
1135#line 64 "include/linux/radix-tree.h"
1136struct radix_tree_node;
1137#line 64 "include/linux/radix-tree.h"
1138struct radix_tree_root {
1139 unsigned int height ;
1140 gfp_t gfp_mask ;
1141 struct radix_tree_node *rnode ;
1142};
1143#line 14 "include/linux/prio_tree.h"
1144struct prio_tree_node;
1145#line 14 "include/linux/prio_tree.h"
1146struct raw_prio_tree_node {
1147 struct prio_tree_node *left ;
1148 struct prio_tree_node *right ;
1149 struct prio_tree_node *parent ;
1150};
1151#line 20 "include/linux/prio_tree.h"
1152struct prio_tree_node {
1153 struct prio_tree_node *left ;
1154 struct prio_tree_node *right ;
1155 struct prio_tree_node *parent ;
1156 unsigned long start ;
1157 unsigned long last ;
1158};
1159#line 28 "include/linux/prio_tree.h"
1160struct prio_tree_root {
1161 struct prio_tree_node *prio_tree_node ;
1162 unsigned short index_bits ;
1163 unsigned short raw ;
1164};
1165#line 6 "include/linux/pid.h"
1166enum pid_type {
1167 PIDTYPE_PID = 0,
1168 PIDTYPE_PGID = 1,
1169 PIDTYPE_SID = 2,
1170 PIDTYPE_MAX = 3
1171} ;
1172#line 50
1173struct pid_namespace;
1174#line 50 "include/linux/pid.h"
1175struct upid {
1176 int nr ;
1177 struct pid_namespace *ns ;
1178 struct hlist_node pid_chain ;
1179};
1180#line 57 "include/linux/pid.h"
1181struct pid {
1182 atomic_t count ;
1183 unsigned int level ;
1184 struct hlist_head tasks[3] ;
1185 struct rcu_head rcu ;
1186 struct upid numbers[1] ;
1187};
1188#line 69 "include/linux/pid.h"
1189struct pid_link {
1190 struct hlist_node node ;
1191 struct pid *pid ;
1192};
1193#line 100
1194struct pid_namespace;
1195#line 18 "include/linux/capability.h"
1196struct task_struct;
1197#line 94 "include/linux/capability.h"
1198struct kernel_cap_struct {
1199 __u32 cap[2] ;
1200};
1201#line 94 "include/linux/capability.h"
1202typedef struct kernel_cap_struct kernel_cap_t;
1203#line 377
1204struct dentry;
1205#line 378
1206struct user_namespace;
1207#line 378
1208struct user_namespace;
1209#line 16 "include/linux/fiemap.h"
1210struct fiemap_extent {
1211 __u64 fe_logical ;
1212 __u64 fe_physical ;
1213 __u64 fe_length ;
1214 __u64 fe_reserved64[2] ;
1215 __u32 fe_flags ;
1216 __u32 fe_reserved[3] ;
1217};
1218#line 8 "include/linux/shrinker.h"
1219struct shrink_control {
1220 gfp_t gfp_mask ;
1221 unsigned long nr_to_scan ;
1222};
1223#line 31 "include/linux/shrinker.h"
1224struct shrinker {
1225 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1226 int seeks ;
1227 long batch ;
1228 struct list_head list ;
1229 atomic_long_t nr_in_batch ;
1230};
1231#line 10 "include/linux/migrate_mode.h"
1232enum migrate_mode {
1233 MIGRATE_ASYNC = 0,
1234 MIGRATE_SYNC_LIGHT = 1,
1235 MIGRATE_SYNC = 2
1236} ;
1237#line 408 "include/linux/fs.h"
1238struct export_operations;
1239#line 408
1240struct export_operations;
1241#line 410
1242struct iovec;
1243#line 410
1244struct iovec;
1245#line 411
1246struct nameidata;
1247#line 412
1248struct kiocb;
1249#line 412
1250struct kiocb;
1251#line 413
1252struct kobject;
1253#line 414
1254struct pipe_inode_info;
1255#line 414
1256struct pipe_inode_info;
1257#line 415
1258struct poll_table_struct;
1259#line 415
1260struct poll_table_struct;
1261#line 416
1262struct kstatfs;
1263#line 416
1264struct kstatfs;
1265#line 417
1266struct vm_area_struct;
1267#line 418
1268struct vfsmount;
1269#line 419
1270struct cred;
1271#line 419
1272struct cred;
1273#line 469 "include/linux/fs.h"
1274struct iattr {
1275 unsigned int ia_valid ;
1276 umode_t ia_mode ;
1277 uid_t ia_uid ;
1278 gid_t ia_gid ;
1279 loff_t ia_size ;
1280 struct timespec ia_atime ;
1281 struct timespec ia_mtime ;
1282 struct timespec ia_ctime ;
1283 struct file *ia_file ;
1284};
1285#line 129 "include/linux/quota.h"
1286struct if_dqinfo {
1287 __u64 dqi_bgrace ;
1288 __u64 dqi_igrace ;
1289 __u32 dqi_flags ;
1290 __u32 dqi_valid ;
1291};
1292#line 19 "include/linux/rwsem.h"
1293struct rw_semaphore;
1294#line 19
1295struct rw_semaphore;
1296#line 25 "include/linux/rwsem.h"
1297struct rw_semaphore {
1298 long count ;
1299 raw_spinlock_t wait_lock ;
1300 struct list_head wait_list ;
1301};
1302#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
1303struct device;
1304#line 98 "include/linux/nodemask.h"
1305struct __anonstruct_nodemask_t_115 {
1306 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1307};
1308#line 98 "include/linux/nodemask.h"
1309typedef struct __anonstruct_nodemask_t_115 nodemask_t;
1310#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1311struct __anonstruct_mm_context_t_116 {
1312 void *ldt ;
1313 int size ;
1314 unsigned short ia32_compat ;
1315 struct mutex lock ;
1316 void *vdso ;
1317};
1318#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1319typedef struct __anonstruct_mm_context_t_116 mm_context_t;
1320#line 8 "include/linux/vmalloc.h"
1321struct vm_area_struct;
1322#line 50 "include/linux/dqblk_xfs.h"
1323struct fs_disk_quota {
1324 __s8 d_version ;
1325 __s8 d_flags ;
1326 __u16 d_fieldmask ;
1327 __u32 d_id ;
1328 __u64 d_blk_hardlimit ;
1329 __u64 d_blk_softlimit ;
1330 __u64 d_ino_hardlimit ;
1331 __u64 d_ino_softlimit ;
1332 __u64 d_bcount ;
1333 __u64 d_icount ;
1334 __s32 d_itimer ;
1335 __s32 d_btimer ;
1336 __u16 d_iwarns ;
1337 __u16 d_bwarns ;
1338 __s32 d_padding2 ;
1339 __u64 d_rtb_hardlimit ;
1340 __u64 d_rtb_softlimit ;
1341 __u64 d_rtbcount ;
1342 __s32 d_rtbtimer ;
1343 __u16 d_rtbwarns ;
1344 __s16 d_padding3 ;
1345 char d_padding4[8] ;
1346};
1347#line 146 "include/linux/dqblk_xfs.h"
1348struct fs_qfilestat {
1349 __u64 qfs_ino ;
1350 __u64 qfs_nblks ;
1351 __u32 qfs_nextents ;
1352};
1353#line 146 "include/linux/dqblk_xfs.h"
1354typedef struct fs_qfilestat fs_qfilestat_t;
1355#line 152 "include/linux/dqblk_xfs.h"
1356struct fs_quota_stat {
1357 __s8 qs_version ;
1358 __u16 qs_flags ;
1359 __s8 qs_pad ;
1360 fs_qfilestat_t qs_uquota ;
1361 fs_qfilestat_t qs_gquota ;
1362 __u32 qs_incoredqs ;
1363 __s32 qs_btimelimit ;
1364 __s32 qs_itimelimit ;
1365 __s32 qs_rtbtimelimit ;
1366 __u16 qs_bwarnlimit ;
1367 __u16 qs_iwarnlimit ;
1368};
1369#line 17 "include/linux/dqblk_qtree.h"
1370struct dquot;
1371#line 17
1372struct dquot;
1373#line 185 "include/linux/quota.h"
1374typedef __kernel_uid32_t qid_t;
1375#line 186 "include/linux/quota.h"
1376typedef long long qsize_t;
1377#line 200 "include/linux/quota.h"
1378struct mem_dqblk {
1379 qsize_t dqb_bhardlimit ;
1380 qsize_t dqb_bsoftlimit ;
1381 qsize_t dqb_curspace ;
1382 qsize_t dqb_rsvspace ;
1383 qsize_t dqb_ihardlimit ;
1384 qsize_t dqb_isoftlimit ;
1385 qsize_t dqb_curinodes ;
1386 time_t dqb_btime ;
1387 time_t dqb_itime ;
1388};
1389#line 215
1390struct quota_format_type;
1391#line 215
1392struct quota_format_type;
1393#line 217 "include/linux/quota.h"
1394struct mem_dqinfo {
1395 struct quota_format_type *dqi_format ;
1396 int dqi_fmt_id ;
1397 struct list_head dqi_dirty_list ;
1398 unsigned long dqi_flags ;
1399 unsigned int dqi_bgrace ;
1400 unsigned int dqi_igrace ;
1401 qsize_t dqi_maxblimit ;
1402 qsize_t dqi_maxilimit ;
1403 void *dqi_priv ;
1404};
1405#line 230
1406struct super_block;
1407#line 288 "include/linux/quota.h"
1408struct dquot {
1409 struct hlist_node dq_hash ;
1410 struct list_head dq_inuse ;
1411 struct list_head dq_free ;
1412 struct list_head dq_dirty ;
1413 struct mutex dq_lock ;
1414 atomic_t dq_count ;
1415 wait_queue_head_t dq_wait_unused ;
1416 struct super_block *dq_sb ;
1417 unsigned int dq_id ;
1418 loff_t dq_off ;
1419 unsigned long dq_flags ;
1420 short dq_type ;
1421 struct mem_dqblk dq_dqb ;
1422};
1423#line 305 "include/linux/quota.h"
1424struct quota_format_ops {
1425 int (*check_quota_file)(struct super_block *sb , int type ) ;
1426 int (*read_file_info)(struct super_block *sb , int type ) ;
1427 int (*write_file_info)(struct super_block *sb , int type ) ;
1428 int (*free_file_info)(struct super_block *sb , int type ) ;
1429 int (*read_dqblk)(struct dquot *dquot ) ;
1430 int (*commit_dqblk)(struct dquot *dquot ) ;
1431 int (*release_dqblk)(struct dquot *dquot ) ;
1432};
1433#line 316 "include/linux/quota.h"
1434struct dquot_operations {
1435 int (*write_dquot)(struct dquot * ) ;
1436 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1437 void (*destroy_dquot)(struct dquot * ) ;
1438 int (*acquire_dquot)(struct dquot * ) ;
1439 int (*release_dquot)(struct dquot * ) ;
1440 int (*mark_dirty)(struct dquot * ) ;
1441 int (*write_info)(struct super_block * , int ) ;
1442 qsize_t *(*get_reserved_space)(struct inode * ) ;
1443};
1444#line 329
1445struct path;
1446#line 332 "include/linux/quota.h"
1447struct quotactl_ops {
1448 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1449 int (*quota_on_meta)(struct super_block * , int , int ) ;
1450 int (*quota_off)(struct super_block * , int ) ;
1451 int (*quota_sync)(struct super_block * , int , int ) ;
1452 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1453 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1454 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1455 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1456 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1457 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1458};
1459#line 345 "include/linux/quota.h"
1460struct quota_format_type {
1461 int qf_fmt_id ;
1462 struct quota_format_ops const *qf_ops ;
1463 struct module *qf_owner ;
1464 struct quota_format_type *qf_next ;
1465};
1466#line 399 "include/linux/quota.h"
1467struct quota_info {
1468 unsigned int flags ;
1469 struct mutex dqio_mutex ;
1470 struct mutex dqonoff_mutex ;
1471 struct rw_semaphore dqptr_sem ;
1472 struct inode *files[2] ;
1473 struct mem_dqinfo info[2] ;
1474 struct quota_format_ops const *ops[2] ;
1475};
1476#line 532 "include/linux/fs.h"
1477struct page;
1478#line 533
1479struct address_space;
1480#line 533
1481struct address_space;
1482#line 534
1483struct writeback_control;
1484#line 534
1485struct writeback_control;
1486#line 577 "include/linux/fs.h"
1487union __anonunion_arg_146 {
1488 char *buf ;
1489 void *data ;
1490};
1491#line 577 "include/linux/fs.h"
1492struct __anonstruct_read_descriptor_t_145 {
1493 size_t written ;
1494 size_t count ;
1495 union __anonunion_arg_146 arg ;
1496 int error ;
1497};
1498#line 577 "include/linux/fs.h"
1499typedef struct __anonstruct_read_descriptor_t_145 read_descriptor_t;
1500#line 590 "include/linux/fs.h"
1501struct address_space_operations {
1502 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1503 int (*readpage)(struct file * , struct page * ) ;
1504 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1505 int (*set_page_dirty)(struct page *page ) ;
1506 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1507 unsigned int nr_pages ) ;
1508 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1509 unsigned int len , unsigned int flags , struct page **pagep ,
1510 void **fsdata ) ;
1511 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1512 unsigned int copied , struct page *page , void *fsdata ) ;
1513 sector_t (*bmap)(struct address_space * , sector_t ) ;
1514 void (*invalidatepage)(struct page * , unsigned long ) ;
1515 int (*releasepage)(struct page * , gfp_t ) ;
1516 void (*freepage)(struct page * ) ;
1517 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1518 unsigned long nr_segs ) ;
1519 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1520 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1521 int (*launder_page)(struct page * ) ;
1522 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1523 int (*error_remove_page)(struct address_space * , struct page * ) ;
1524};
1525#line 645
1526struct backing_dev_info;
1527#line 645
1528struct backing_dev_info;
1529#line 646 "include/linux/fs.h"
1530struct address_space {
1531 struct inode *host ;
1532 struct radix_tree_root page_tree ;
1533 spinlock_t tree_lock ;
1534 unsigned int i_mmap_writable ;
1535 struct prio_tree_root i_mmap ;
1536 struct list_head i_mmap_nonlinear ;
1537 struct mutex i_mmap_mutex ;
1538 unsigned long nrpages ;
1539 unsigned long writeback_index ;
1540 struct address_space_operations const *a_ops ;
1541 unsigned long flags ;
1542 struct backing_dev_info *backing_dev_info ;
1543 spinlock_t private_lock ;
1544 struct list_head private_list ;
1545 struct address_space *assoc_mapping ;
1546} __attribute__((__aligned__(sizeof(long )))) ;
1547#line 669
1548struct request_queue;
1549#line 669
1550struct request_queue;
1551#line 671
1552struct hd_struct;
1553#line 671
1554struct gendisk;
1555#line 671 "include/linux/fs.h"
1556struct block_device {
1557 dev_t bd_dev ;
1558 int bd_openers ;
1559 struct inode *bd_inode ;
1560 struct super_block *bd_super ;
1561 struct mutex bd_mutex ;
1562 struct list_head bd_inodes ;
1563 void *bd_claiming ;
1564 void *bd_holder ;
1565 int bd_holders ;
1566 bool bd_write_holder ;
1567 struct list_head bd_holder_disks ;
1568 struct block_device *bd_contains ;
1569 unsigned int bd_block_size ;
1570 struct hd_struct *bd_part ;
1571 unsigned int bd_part_count ;
1572 int bd_invalidated ;
1573 struct gendisk *bd_disk ;
1574 struct request_queue *bd_queue ;
1575 struct list_head bd_list ;
1576 unsigned long bd_private ;
1577 int bd_fsfreeze_count ;
1578 struct mutex bd_fsfreeze_mutex ;
1579};
1580#line 749
1581struct posix_acl;
1582#line 749
1583struct posix_acl;
1584#line 761
1585struct inode_operations;
1586#line 761 "include/linux/fs.h"
1587union __anonunion____missing_field_name_147 {
1588 unsigned int const i_nlink ;
1589 unsigned int __i_nlink ;
1590};
1591#line 761 "include/linux/fs.h"
1592union __anonunion____missing_field_name_148 {
1593 struct list_head i_dentry ;
1594 struct rcu_head i_rcu ;
1595};
1596#line 761
1597struct file_operations;
1598#line 761
1599struct file_lock;
1600#line 761
1601struct cdev;
1602#line 761 "include/linux/fs.h"
1603union __anonunion____missing_field_name_149 {
1604 struct pipe_inode_info *i_pipe ;
1605 struct block_device *i_bdev ;
1606 struct cdev *i_cdev ;
1607};
1608#line 761 "include/linux/fs.h"
1609struct inode {
1610 umode_t i_mode ;
1611 unsigned short i_opflags ;
1612 uid_t i_uid ;
1613 gid_t i_gid ;
1614 unsigned int i_flags ;
1615 struct posix_acl *i_acl ;
1616 struct posix_acl *i_default_acl ;
1617 struct inode_operations const *i_op ;
1618 struct super_block *i_sb ;
1619 struct address_space *i_mapping ;
1620 void *i_security ;
1621 unsigned long i_ino ;
1622 union __anonunion____missing_field_name_147 __annonCompField30 ;
1623 dev_t i_rdev ;
1624 struct timespec i_atime ;
1625 struct timespec i_mtime ;
1626 struct timespec i_ctime ;
1627 spinlock_t i_lock ;
1628 unsigned short i_bytes ;
1629 blkcnt_t i_blocks ;
1630 loff_t i_size ;
1631 unsigned long i_state ;
1632 struct mutex i_mutex ;
1633 unsigned long dirtied_when ;
1634 struct hlist_node i_hash ;
1635 struct list_head i_wb_list ;
1636 struct list_head i_lru ;
1637 struct list_head i_sb_list ;
1638 union __anonunion____missing_field_name_148 __annonCompField31 ;
1639 atomic_t i_count ;
1640 unsigned int i_blkbits ;
1641 u64 i_version ;
1642 atomic_t i_dio_count ;
1643 atomic_t i_writecount ;
1644 struct file_operations const *i_fop ;
1645 struct file_lock *i_flock ;
1646 struct address_space i_data ;
1647 struct dquot *i_dquot[2] ;
1648 struct list_head i_devices ;
1649 union __anonunion____missing_field_name_149 __annonCompField32 ;
1650 __u32 i_generation ;
1651 __u32 i_fsnotify_mask ;
1652 struct hlist_head i_fsnotify_marks ;
1653 atomic_t i_readcount ;
1654 void *i_private ;
1655};
1656#line 942 "include/linux/fs.h"
1657struct fown_struct {
1658 rwlock_t lock ;
1659 struct pid *pid ;
1660 enum pid_type pid_type ;
1661 uid_t uid ;
1662 uid_t euid ;
1663 int signum ;
1664};
1665#line 953 "include/linux/fs.h"
1666struct file_ra_state {
1667 unsigned long start ;
1668 unsigned int size ;
1669 unsigned int async_size ;
1670 unsigned int ra_pages ;
1671 unsigned int mmap_miss ;
1672 loff_t prev_pos ;
1673};
1674#line 976 "include/linux/fs.h"
1675union __anonunion_f_u_150 {
1676 struct list_head fu_list ;
1677 struct rcu_head fu_rcuhead ;
1678};
1679#line 976 "include/linux/fs.h"
1680struct file {
1681 union __anonunion_f_u_150 f_u ;
1682 struct path f_path ;
1683 struct file_operations const *f_op ;
1684 spinlock_t f_lock ;
1685 int f_sb_list_cpu ;
1686 atomic_long_t f_count ;
1687 unsigned int f_flags ;
1688 fmode_t f_mode ;
1689 loff_t f_pos ;
1690 struct fown_struct f_owner ;
1691 struct cred const *f_cred ;
1692 struct file_ra_state f_ra ;
1693 u64 f_version ;
1694 void *f_security ;
1695 void *private_data ;
1696 struct list_head f_ep_links ;
1697 struct list_head f_tfile_llink ;
1698 struct address_space *f_mapping ;
1699 unsigned long f_mnt_write_state ;
1700};
1701#line 1111
1702struct files_struct;
1703#line 1111 "include/linux/fs.h"
1704typedef struct files_struct *fl_owner_t;
1705#line 1113 "include/linux/fs.h"
1706struct file_lock_operations {
1707 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1708 void (*fl_release_private)(struct file_lock * ) ;
1709};
1710#line 1118 "include/linux/fs.h"
1711struct lock_manager_operations {
1712 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1713 void (*lm_notify)(struct file_lock * ) ;
1714 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
1715 void (*lm_release_private)(struct file_lock * ) ;
1716 void (*lm_break)(struct file_lock * ) ;
1717 int (*lm_change)(struct file_lock ** , int ) ;
1718};
1719#line 4 "include/linux/nfs_fs_i.h"
1720struct nlm_lockowner;
1721#line 4
1722struct nlm_lockowner;
1723#line 9 "include/linux/nfs_fs_i.h"
1724struct nfs_lock_info {
1725 u32 state ;
1726 struct nlm_lockowner *owner ;
1727 struct list_head list ;
1728};
1729#line 15
1730struct nfs4_lock_state;
1731#line 15
1732struct nfs4_lock_state;
1733#line 16 "include/linux/nfs_fs_i.h"
1734struct nfs4_lock_info {
1735 struct nfs4_lock_state *owner ;
1736};
1737#line 1138 "include/linux/fs.h"
1738struct fasync_struct;
1739#line 1138 "include/linux/fs.h"
1740struct __anonstruct_afs_152 {
1741 struct list_head link ;
1742 int state ;
1743};
1744#line 1138 "include/linux/fs.h"
1745union __anonunion_fl_u_151 {
1746 struct nfs_lock_info nfs_fl ;
1747 struct nfs4_lock_info nfs4_fl ;
1748 struct __anonstruct_afs_152 afs ;
1749};
1750#line 1138 "include/linux/fs.h"
1751struct file_lock {
1752 struct file_lock *fl_next ;
1753 struct list_head fl_link ;
1754 struct list_head fl_block ;
1755 fl_owner_t fl_owner ;
1756 unsigned int fl_flags ;
1757 unsigned char fl_type ;
1758 unsigned int fl_pid ;
1759 struct pid *fl_nspid ;
1760 wait_queue_head_t fl_wait ;
1761 struct file *fl_file ;
1762 loff_t fl_start ;
1763 loff_t fl_end ;
1764 struct fasync_struct *fl_fasync ;
1765 unsigned long fl_break_time ;
1766 unsigned long fl_downgrade_time ;
1767 struct file_lock_operations const *fl_ops ;
1768 struct lock_manager_operations const *fl_lmops ;
1769 union __anonunion_fl_u_151 fl_u ;
1770};
1771#line 1378 "include/linux/fs.h"
1772struct fasync_struct {
1773 spinlock_t fa_lock ;
1774 int magic ;
1775 int fa_fd ;
1776 struct fasync_struct *fa_next ;
1777 struct file *fa_file ;
1778 struct rcu_head fa_rcu ;
1779};
1780#line 1418
1781struct file_system_type;
1782#line 1418
1783struct super_operations;
1784#line 1418
1785struct xattr_handler;
1786#line 1418
1787struct mtd_info;
1788#line 1418 "include/linux/fs.h"
1789struct super_block {
1790 struct list_head s_list ;
1791 dev_t s_dev ;
1792 unsigned char s_dirt ;
1793 unsigned char s_blocksize_bits ;
1794 unsigned long s_blocksize ;
1795 loff_t s_maxbytes ;
1796 struct file_system_type *s_type ;
1797 struct super_operations const *s_op ;
1798 struct dquot_operations const *dq_op ;
1799 struct quotactl_ops const *s_qcop ;
1800 struct export_operations const *s_export_op ;
1801 unsigned long s_flags ;
1802 unsigned long s_magic ;
1803 struct dentry *s_root ;
1804 struct rw_semaphore s_umount ;
1805 struct mutex s_lock ;
1806 int s_count ;
1807 atomic_t s_active ;
1808 void *s_security ;
1809 struct xattr_handler const **s_xattr ;
1810 struct list_head s_inodes ;
1811 struct hlist_bl_head s_anon ;
1812 struct list_head *s_files ;
1813 struct list_head s_mounts ;
1814 struct list_head s_dentry_lru ;
1815 int s_nr_dentry_unused ;
1816 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
1817 struct list_head s_inode_lru ;
1818 int s_nr_inodes_unused ;
1819 struct block_device *s_bdev ;
1820 struct backing_dev_info *s_bdi ;
1821 struct mtd_info *s_mtd ;
1822 struct hlist_node s_instances ;
1823 struct quota_info s_dquot ;
1824 int s_frozen ;
1825 wait_queue_head_t s_wait_unfrozen ;
1826 char s_id[32] ;
1827 u8 s_uuid[16] ;
1828 void *s_fs_info ;
1829 unsigned int s_max_links ;
1830 fmode_t s_mode ;
1831 u32 s_time_gran ;
1832 struct mutex s_vfs_rename_mutex ;
1833 char *s_subtype ;
1834 char *s_options ;
1835 struct dentry_operations const *s_d_op ;
1836 int cleancache_poolid ;
1837 struct shrinker s_shrink ;
1838 atomic_long_t s_remove_count ;
1839 int s_readonly_remount ;
1840};
1841#line 1567 "include/linux/fs.h"
1842struct fiemap_extent_info {
1843 unsigned int fi_flags ;
1844 unsigned int fi_extents_mapped ;
1845 unsigned int fi_extents_max ;
1846 struct fiemap_extent *fi_extents_start ;
1847};
1848#line 1609 "include/linux/fs.h"
1849struct file_operations {
1850 struct module *owner ;
1851 loff_t (*llseek)(struct file * , loff_t , int ) ;
1852 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
1853 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
1854 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
1855 loff_t ) ;
1856 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
1857 loff_t ) ;
1858 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
1859 loff_t , u64 , unsigned int ) ) ;
1860 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
1861 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
1862 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
1863 int (*mmap)(struct file * , struct vm_area_struct * ) ;
1864 int (*open)(struct inode * , struct file * ) ;
1865 int (*flush)(struct file * , fl_owner_t id ) ;
1866 int (*release)(struct inode * , struct file * ) ;
1867 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
1868 int (*aio_fsync)(struct kiocb * , int datasync ) ;
1869 int (*fasync)(int , struct file * , int ) ;
1870 int (*lock)(struct file * , int , struct file_lock * ) ;
1871 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
1872 int ) ;
1873 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1874 unsigned long , unsigned long ) ;
1875 int (*check_flags)(int ) ;
1876 int (*flock)(struct file * , int , struct file_lock * ) ;
1877 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
1878 unsigned int ) ;
1879 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
1880 unsigned int ) ;
1881 int (*setlease)(struct file * , long , struct file_lock ** ) ;
1882 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
1883};
1884#line 1639 "include/linux/fs.h"
1885struct inode_operations {
1886 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
1887 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
1888 int (*permission)(struct inode * , int ) ;
1889 struct posix_acl *(*get_acl)(struct inode * , int ) ;
1890 int (*readlink)(struct dentry * , char * , int ) ;
1891 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
1892 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
1893 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
1894 int (*unlink)(struct inode * , struct dentry * ) ;
1895 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
1896 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
1897 int (*rmdir)(struct inode * , struct dentry * ) ;
1898 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
1899 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
1900 void (*truncate)(struct inode * ) ;
1901 int (*setattr)(struct dentry * , struct iattr * ) ;
1902 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
1903 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
1904 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
1905 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
1906 int (*removexattr)(struct dentry * , char const * ) ;
1907 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
1908 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
1909} __attribute__((__aligned__((1) << (6) ))) ;
1910#line 1669
1911struct seq_file;
1912#line 1684 "include/linux/fs.h"
1913struct super_operations {
1914 struct inode *(*alloc_inode)(struct super_block *sb ) ;
1915 void (*destroy_inode)(struct inode * ) ;
1916 void (*dirty_inode)(struct inode * , int flags ) ;
1917 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
1918 int (*drop_inode)(struct inode * ) ;
1919 void (*evict_inode)(struct inode * ) ;
1920 void (*put_super)(struct super_block * ) ;
1921 void (*write_super)(struct super_block * ) ;
1922 int (*sync_fs)(struct super_block *sb , int wait ) ;
1923 int (*freeze_fs)(struct super_block * ) ;
1924 int (*unfreeze_fs)(struct super_block * ) ;
1925 int (*statfs)(struct dentry * , struct kstatfs * ) ;
1926 int (*remount_fs)(struct super_block * , int * , char * ) ;
1927 void (*umount_begin)(struct super_block * ) ;
1928 int (*show_options)(struct seq_file * , struct dentry * ) ;
1929 int (*show_devname)(struct seq_file * , struct dentry * ) ;
1930 int (*show_path)(struct seq_file * , struct dentry * ) ;
1931 int (*show_stats)(struct seq_file * , struct dentry * ) ;
1932 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
1933 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
1934 loff_t ) ;
1935 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
1936 int (*nr_cached_objects)(struct super_block * ) ;
1937 void (*free_cached_objects)(struct super_block * , int ) ;
1938};
1939#line 1835 "include/linux/fs.h"
1940struct file_system_type {
1941 char const *name ;
1942 int fs_flags ;
1943 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
1944 void (*kill_sb)(struct super_block * ) ;
1945 struct module *owner ;
1946 struct file_system_type *next ;
1947 struct hlist_head fs_supers ;
1948 struct lock_class_key s_lock_key ;
1949 struct lock_class_key s_umount_key ;
1950 struct lock_class_key s_vfs_rename_key ;
1951 struct lock_class_key i_lock_key ;
1952 struct lock_class_key i_mutex_key ;
1953 struct lock_class_key i_mutex_dir_key ;
1954};
1955#line 12 "include/linux/mod_devicetable.h"
1956typedef unsigned long kernel_ulong_t;
1957#line 219 "include/linux/mod_devicetable.h"
1958struct of_device_id {
1959 char name[32] ;
1960 char type[32] ;
1961 char compatible[128] ;
1962 void *data ;
1963};
1964#line 442 "include/linux/mod_devicetable.h"
1965struct spi_device_id {
1966 char name[32] ;
1967 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1968};
1969#line 60 "include/linux/pageblock-flags.h"
1970struct page;
1971#line 9 "include/linux/memory_hotplug.h"
1972struct page;
1973#line 994 "include/linux/mmzone.h"
1974struct page;
1975#line 10 "include/linux/gfp.h"
1976struct vm_area_struct;
1977#line 29 "include/linux/sysctl.h"
1978struct completion;
1979#line 100 "include/linux/rbtree.h"
1980struct rb_node {
1981 unsigned long rb_parent_color ;
1982 struct rb_node *rb_right ;
1983 struct rb_node *rb_left ;
1984} __attribute__((__aligned__(sizeof(long )))) ;
1985#line 110 "include/linux/rbtree.h"
1986struct rb_root {
1987 struct rb_node *rb_node ;
1988};
1989#line 939 "include/linux/sysctl.h"
1990struct nsproxy;
1991#line 939
1992struct nsproxy;
1993#line 48 "include/linux/kmod.h"
1994struct cred;
1995#line 49
1996struct file;
1997#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
1998struct task_struct;
1999#line 18 "include/linux/elf.h"
2000typedef __u64 Elf64_Addr;
2001#line 19 "include/linux/elf.h"
2002typedef __u16 Elf64_Half;
2003#line 23 "include/linux/elf.h"
2004typedef __u32 Elf64_Word;
2005#line 24 "include/linux/elf.h"
2006typedef __u64 Elf64_Xword;
2007#line 194 "include/linux/elf.h"
2008struct elf64_sym {
2009 Elf64_Word st_name ;
2010 unsigned char st_info ;
2011 unsigned char st_other ;
2012 Elf64_Half st_shndx ;
2013 Elf64_Addr st_value ;
2014 Elf64_Xword st_size ;
2015};
2016#line 194 "include/linux/elf.h"
2017typedef struct elf64_sym Elf64_Sym;
2018#line 438
2019struct file;
2020#line 39 "include/linux/moduleparam.h"
2021struct kernel_param;
2022#line 39
2023struct kernel_param;
2024#line 41 "include/linux/moduleparam.h"
2025struct kernel_param_ops {
2026 int (*set)(char const *val , struct kernel_param const *kp ) ;
2027 int (*get)(char *buffer , struct kernel_param const *kp ) ;
2028 void (*free)(void *arg ) ;
2029};
2030#line 50
2031struct kparam_string;
2032#line 50
2033struct kparam_array;
2034#line 50 "include/linux/moduleparam.h"
2035union __anonunion____missing_field_name_218 {
2036 void *arg ;
2037 struct kparam_string const *str ;
2038 struct kparam_array const *arr ;
2039};
2040#line 50 "include/linux/moduleparam.h"
2041struct kernel_param {
2042 char const *name ;
2043 struct kernel_param_ops const *ops ;
2044 u16 perm ;
2045 s16 level ;
2046 union __anonunion____missing_field_name_218 __annonCompField35 ;
2047};
2048#line 63 "include/linux/moduleparam.h"
2049struct kparam_string {
2050 unsigned int maxlen ;
2051 char *string ;
2052};
2053#line 69 "include/linux/moduleparam.h"
2054struct kparam_array {
2055 unsigned int max ;
2056 unsigned int elemsize ;
2057 unsigned int *num ;
2058 struct kernel_param_ops const *ops ;
2059 void *elem ;
2060};
2061#line 445
2062struct module;
2063#line 80 "include/linux/jump_label.h"
2064struct module;
2065#line 143 "include/linux/jump_label.h"
2066struct static_key {
2067 atomic_t enabled ;
2068};
2069#line 22 "include/linux/tracepoint.h"
2070struct module;
2071#line 23
2072struct tracepoint;
2073#line 23
2074struct tracepoint;
2075#line 25 "include/linux/tracepoint.h"
2076struct tracepoint_func {
2077 void *func ;
2078 void *data ;
2079};
2080#line 30 "include/linux/tracepoint.h"
2081struct tracepoint {
2082 char const *name ;
2083 struct static_key key ;
2084 void (*regfunc)(void) ;
2085 void (*unregfunc)(void) ;
2086 struct tracepoint_func *funcs ;
2087};
2088#line 19 "include/linux/export.h"
2089struct kernel_symbol {
2090 unsigned long value ;
2091 char const *name ;
2092};
2093#line 8 "include/asm-generic/module.h"
2094struct mod_arch_specific {
2095
2096};
2097#line 35 "include/linux/module.h"
2098struct module;
2099#line 37
2100struct module_param_attrs;
2101#line 37 "include/linux/module.h"
2102struct module_kobject {
2103 struct kobject kobj ;
2104 struct module *mod ;
2105 struct kobject *drivers_dir ;
2106 struct module_param_attrs *mp ;
2107};
2108#line 44 "include/linux/module.h"
2109struct module_attribute {
2110 struct attribute attr ;
2111 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
2112 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
2113 size_t count ) ;
2114 void (*setup)(struct module * , char const * ) ;
2115 int (*test)(struct module * ) ;
2116 void (*free)(struct module * ) ;
2117};
2118#line 71
2119struct exception_table_entry;
2120#line 71
2121struct exception_table_entry;
2122#line 199
2123enum module_state {
2124 MODULE_STATE_LIVE = 0,
2125 MODULE_STATE_COMING = 1,
2126 MODULE_STATE_GOING = 2
2127} ;
2128#line 215 "include/linux/module.h"
2129struct module_ref {
2130 unsigned long incs ;
2131 unsigned long decs ;
2132} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2133#line 220
2134struct module_sect_attrs;
2135#line 220
2136struct module_notes_attrs;
2137#line 220
2138struct ftrace_event_call;
2139#line 220 "include/linux/module.h"
2140struct module {
2141 enum module_state state ;
2142 struct list_head list ;
2143 char name[64UL - sizeof(unsigned long )] ;
2144 struct module_kobject mkobj ;
2145 struct module_attribute *modinfo_attrs ;
2146 char const *version ;
2147 char const *srcversion ;
2148 struct kobject *holders_dir ;
2149 struct kernel_symbol const *syms ;
2150 unsigned long const *crcs ;
2151 unsigned int num_syms ;
2152 struct kernel_param *kp ;
2153 unsigned int num_kp ;
2154 unsigned int num_gpl_syms ;
2155 struct kernel_symbol const *gpl_syms ;
2156 unsigned long const *gpl_crcs ;
2157 struct kernel_symbol const *unused_syms ;
2158 unsigned long const *unused_crcs ;
2159 unsigned int num_unused_syms ;
2160 unsigned int num_unused_gpl_syms ;
2161 struct kernel_symbol const *unused_gpl_syms ;
2162 unsigned long const *unused_gpl_crcs ;
2163 struct kernel_symbol const *gpl_future_syms ;
2164 unsigned long const *gpl_future_crcs ;
2165 unsigned int num_gpl_future_syms ;
2166 unsigned int num_exentries ;
2167 struct exception_table_entry *extable ;
2168 int (*init)(void) ;
2169 void *module_init ;
2170 void *module_core ;
2171 unsigned int init_size ;
2172 unsigned int core_size ;
2173 unsigned int init_text_size ;
2174 unsigned int core_text_size ;
2175 unsigned int init_ro_size ;
2176 unsigned int core_ro_size ;
2177 struct mod_arch_specific arch ;
2178 unsigned int taints ;
2179 unsigned int num_bugs ;
2180 struct list_head bug_list ;
2181 struct bug_entry *bug_table ;
2182 Elf64_Sym *symtab ;
2183 Elf64_Sym *core_symtab ;
2184 unsigned int num_symtab ;
2185 unsigned int core_num_syms ;
2186 char *strtab ;
2187 char *core_strtab ;
2188 struct module_sect_attrs *sect_attrs ;
2189 struct module_notes_attrs *notes_attrs ;
2190 char *args ;
2191 void *percpu ;
2192 unsigned int percpu_size ;
2193 unsigned int num_tracepoints ;
2194 struct tracepoint * const *tracepoints_ptrs ;
2195 unsigned int num_trace_bprintk_fmt ;
2196 char const **trace_bprintk_fmt_start ;
2197 struct ftrace_event_call **trace_events ;
2198 unsigned int num_trace_events ;
2199 struct list_head source_list ;
2200 struct list_head target_list ;
2201 struct task_struct *waiter ;
2202 void (*exit)(void) ;
2203 struct module_ref *refptr ;
2204 ctor_fn_t *ctors ;
2205 unsigned int num_ctors ;
2206};
2207#line 46 "include/linux/slub_def.h"
2208struct kmem_cache_cpu {
2209 void **freelist ;
2210 unsigned long tid ;
2211 struct page *page ;
2212 struct page *partial ;
2213 int node ;
2214 unsigned int stat[26] ;
2215};
2216#line 57 "include/linux/slub_def.h"
2217struct kmem_cache_node {
2218 spinlock_t list_lock ;
2219 unsigned long nr_partial ;
2220 struct list_head partial ;
2221 atomic_long_t nr_slabs ;
2222 atomic_long_t total_objects ;
2223 struct list_head full ;
2224};
2225#line 73 "include/linux/slub_def.h"
2226struct kmem_cache_order_objects {
2227 unsigned long x ;
2228};
2229#line 80 "include/linux/slub_def.h"
2230struct kmem_cache {
2231 struct kmem_cache_cpu *cpu_slab ;
2232 unsigned long flags ;
2233 unsigned long min_partial ;
2234 int size ;
2235 int objsize ;
2236 int offset ;
2237 int cpu_partial ;
2238 struct kmem_cache_order_objects oo ;
2239 struct kmem_cache_order_objects max ;
2240 struct kmem_cache_order_objects min ;
2241 gfp_t allocflags ;
2242 int refcount ;
2243 void (*ctor)(void * ) ;
2244 int inuse ;
2245 int align ;
2246 int reserved ;
2247 char const *name ;
2248 struct list_head list ;
2249 struct kobject kobj ;
2250 int remote_node_defrag_ratio ;
2251 struct kmem_cache_node *node[1 << 10] ;
2252};
2253#line 23 "include/linux/mm_types.h"
2254struct address_space;
2255#line 40 "include/linux/mm_types.h"
2256union __anonunion____missing_field_name_221 {
2257 unsigned long index ;
2258 void *freelist ;
2259};
2260#line 40 "include/linux/mm_types.h"
2261struct __anonstruct____missing_field_name_225 {
2262 unsigned int inuse : 16 ;
2263 unsigned int objects : 15 ;
2264 unsigned int frozen : 1 ;
2265};
2266#line 40 "include/linux/mm_types.h"
2267union __anonunion____missing_field_name_224 {
2268 atomic_t _mapcount ;
2269 struct __anonstruct____missing_field_name_225 __annonCompField37 ;
2270};
2271#line 40 "include/linux/mm_types.h"
2272struct __anonstruct____missing_field_name_223 {
2273 union __anonunion____missing_field_name_224 __annonCompField38 ;
2274 atomic_t _count ;
2275};
2276#line 40 "include/linux/mm_types.h"
2277union __anonunion____missing_field_name_222 {
2278 unsigned long counters ;
2279 struct __anonstruct____missing_field_name_223 __annonCompField39 ;
2280};
2281#line 40 "include/linux/mm_types.h"
2282struct __anonstruct____missing_field_name_220 {
2283 union __anonunion____missing_field_name_221 __annonCompField36 ;
2284 union __anonunion____missing_field_name_222 __annonCompField40 ;
2285};
2286#line 40 "include/linux/mm_types.h"
2287struct __anonstruct____missing_field_name_227 {
2288 struct page *next ;
2289 int pages ;
2290 int pobjects ;
2291};
2292#line 40 "include/linux/mm_types.h"
2293union __anonunion____missing_field_name_226 {
2294 struct list_head lru ;
2295 struct __anonstruct____missing_field_name_227 __annonCompField42 ;
2296};
2297#line 40 "include/linux/mm_types.h"
2298union __anonunion____missing_field_name_228 {
2299 unsigned long private ;
2300 struct kmem_cache *slab ;
2301 struct page *first_page ;
2302};
2303#line 40 "include/linux/mm_types.h"
2304struct page {
2305 unsigned long flags ;
2306 struct address_space *mapping ;
2307 struct __anonstruct____missing_field_name_220 __annonCompField41 ;
2308 union __anonunion____missing_field_name_226 __annonCompField43 ;
2309 union __anonunion____missing_field_name_228 __annonCompField44 ;
2310 unsigned long debug_flags ;
2311} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2312#line 200 "include/linux/mm_types.h"
2313struct __anonstruct_vm_set_230 {
2314 struct list_head list ;
2315 void *parent ;
2316 struct vm_area_struct *head ;
2317};
2318#line 200 "include/linux/mm_types.h"
2319union __anonunion_shared_229 {
2320 struct __anonstruct_vm_set_230 vm_set ;
2321 struct raw_prio_tree_node prio_tree_node ;
2322};
2323#line 200
2324struct anon_vma;
2325#line 200
2326struct vm_operations_struct;
2327#line 200
2328struct mempolicy;
2329#line 200 "include/linux/mm_types.h"
2330struct vm_area_struct {
2331 struct mm_struct *vm_mm ;
2332 unsigned long vm_start ;
2333 unsigned long vm_end ;
2334 struct vm_area_struct *vm_next ;
2335 struct vm_area_struct *vm_prev ;
2336 pgprot_t vm_page_prot ;
2337 unsigned long vm_flags ;
2338 struct rb_node vm_rb ;
2339 union __anonunion_shared_229 shared ;
2340 struct list_head anon_vma_chain ;
2341 struct anon_vma *anon_vma ;
2342 struct vm_operations_struct const *vm_ops ;
2343 unsigned long vm_pgoff ;
2344 struct file *vm_file ;
2345 void *vm_private_data ;
2346 struct mempolicy *vm_policy ;
2347};
2348#line 257 "include/linux/mm_types.h"
2349struct core_thread {
2350 struct task_struct *task ;
2351 struct core_thread *next ;
2352};
2353#line 262 "include/linux/mm_types.h"
2354struct core_state {
2355 atomic_t nr_threads ;
2356 struct core_thread dumper ;
2357 struct completion startup ;
2358};
2359#line 284 "include/linux/mm_types.h"
2360struct mm_rss_stat {
2361 atomic_long_t count[3] ;
2362};
2363#line 288
2364struct linux_binfmt;
2365#line 288
2366struct mmu_notifier_mm;
2367#line 288 "include/linux/mm_types.h"
2368struct mm_struct {
2369 struct vm_area_struct *mmap ;
2370 struct rb_root mm_rb ;
2371 struct vm_area_struct *mmap_cache ;
2372 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2373 unsigned long pgoff , unsigned long flags ) ;
2374 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2375 unsigned long mmap_base ;
2376 unsigned long task_size ;
2377 unsigned long cached_hole_size ;
2378 unsigned long free_area_cache ;
2379 pgd_t *pgd ;
2380 atomic_t mm_users ;
2381 atomic_t mm_count ;
2382 int map_count ;
2383 spinlock_t page_table_lock ;
2384 struct rw_semaphore mmap_sem ;
2385 struct list_head mmlist ;
2386 unsigned long hiwater_rss ;
2387 unsigned long hiwater_vm ;
2388 unsigned long total_vm ;
2389 unsigned long locked_vm ;
2390 unsigned long pinned_vm ;
2391 unsigned long shared_vm ;
2392 unsigned long exec_vm ;
2393 unsigned long stack_vm ;
2394 unsigned long reserved_vm ;
2395 unsigned long def_flags ;
2396 unsigned long nr_ptes ;
2397 unsigned long start_code ;
2398 unsigned long end_code ;
2399 unsigned long start_data ;
2400 unsigned long end_data ;
2401 unsigned long start_brk ;
2402 unsigned long brk ;
2403 unsigned long start_stack ;
2404 unsigned long arg_start ;
2405 unsigned long arg_end ;
2406 unsigned long env_start ;
2407 unsigned long env_end ;
2408 unsigned long saved_auxv[44] ;
2409 struct mm_rss_stat rss_stat ;
2410 struct linux_binfmt *binfmt ;
2411 cpumask_var_t cpu_vm_mask_var ;
2412 mm_context_t context ;
2413 unsigned int faultstamp ;
2414 unsigned int token_priority ;
2415 unsigned int last_interval ;
2416 unsigned long flags ;
2417 struct core_state *core_state ;
2418 spinlock_t ioctx_lock ;
2419 struct hlist_head ioctx_list ;
2420 struct task_struct *owner ;
2421 struct file *exe_file ;
2422 unsigned long num_exe_file_vmas ;
2423 struct mmu_notifier_mm *mmu_notifier_mm ;
2424 pgtable_t pmd_huge_pte ;
2425 struct cpumask cpumask_allocation ;
2426};
2427#line 7 "include/asm-generic/cputime.h"
2428typedef unsigned long cputime_t;
2429#line 84 "include/linux/sem.h"
2430struct task_struct;
2431#line 101
2432struct sem_undo_list;
2433#line 101 "include/linux/sem.h"
2434struct sysv_sem {
2435 struct sem_undo_list *undo_list ;
2436};
2437#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2438struct siginfo;
2439#line 10
2440struct siginfo;
2441#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2442struct __anonstruct_sigset_t_232 {
2443 unsigned long sig[1] ;
2444};
2445#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2446typedef struct __anonstruct_sigset_t_232 sigset_t;
2447#line 17 "include/asm-generic/signal-defs.h"
2448typedef void __signalfn_t(int );
2449#line 18 "include/asm-generic/signal-defs.h"
2450typedef __signalfn_t *__sighandler_t;
2451#line 20 "include/asm-generic/signal-defs.h"
2452typedef void __restorefn_t(void);
2453#line 21 "include/asm-generic/signal-defs.h"
2454typedef __restorefn_t *__sigrestore_t;
2455#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2456struct sigaction {
2457 __sighandler_t sa_handler ;
2458 unsigned long sa_flags ;
2459 __sigrestore_t sa_restorer ;
2460 sigset_t sa_mask ;
2461};
2462#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2463struct k_sigaction {
2464 struct sigaction sa ;
2465};
2466#line 7 "include/asm-generic/siginfo.h"
2467union sigval {
2468 int sival_int ;
2469 void *sival_ptr ;
2470};
2471#line 7 "include/asm-generic/siginfo.h"
2472typedef union sigval sigval_t;
2473#line 48 "include/asm-generic/siginfo.h"
2474struct __anonstruct__kill_234 {
2475 __kernel_pid_t _pid ;
2476 __kernel_uid32_t _uid ;
2477};
2478#line 48 "include/asm-generic/siginfo.h"
2479struct __anonstruct__timer_235 {
2480 __kernel_timer_t _tid ;
2481 int _overrun ;
2482 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2483 sigval_t _sigval ;
2484 int _sys_private ;
2485};
2486#line 48 "include/asm-generic/siginfo.h"
2487struct __anonstruct__rt_236 {
2488 __kernel_pid_t _pid ;
2489 __kernel_uid32_t _uid ;
2490 sigval_t _sigval ;
2491};
2492#line 48 "include/asm-generic/siginfo.h"
2493struct __anonstruct__sigchld_237 {
2494 __kernel_pid_t _pid ;
2495 __kernel_uid32_t _uid ;
2496 int _status ;
2497 __kernel_clock_t _utime ;
2498 __kernel_clock_t _stime ;
2499};
2500#line 48 "include/asm-generic/siginfo.h"
2501struct __anonstruct__sigfault_238 {
2502 void *_addr ;
2503 short _addr_lsb ;
2504};
2505#line 48 "include/asm-generic/siginfo.h"
2506struct __anonstruct__sigpoll_239 {
2507 long _band ;
2508 int _fd ;
2509};
2510#line 48 "include/asm-generic/siginfo.h"
2511union __anonunion__sifields_233 {
2512 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2513 struct __anonstruct__kill_234 _kill ;
2514 struct __anonstruct__timer_235 _timer ;
2515 struct __anonstruct__rt_236 _rt ;
2516 struct __anonstruct__sigchld_237 _sigchld ;
2517 struct __anonstruct__sigfault_238 _sigfault ;
2518 struct __anonstruct__sigpoll_239 _sigpoll ;
2519};
2520#line 48 "include/asm-generic/siginfo.h"
2521struct siginfo {
2522 int si_signo ;
2523 int si_errno ;
2524 int si_code ;
2525 union __anonunion__sifields_233 _sifields ;
2526};
2527#line 48 "include/asm-generic/siginfo.h"
2528typedef struct siginfo siginfo_t;
2529#line 288
2530struct siginfo;
2531#line 10 "include/linux/signal.h"
2532struct task_struct;
2533#line 18
2534struct user_struct;
2535#line 28 "include/linux/signal.h"
2536struct sigpending {
2537 struct list_head list ;
2538 sigset_t signal ;
2539};
2540#line 239
2541struct timespec;
2542#line 240
2543struct pt_regs;
2544#line 10 "include/linux/seccomp.h"
2545struct __anonstruct_seccomp_t_242 {
2546 int mode ;
2547};
2548#line 10 "include/linux/seccomp.h"
2549typedef struct __anonstruct_seccomp_t_242 seccomp_t;
2550#line 81 "include/linux/plist.h"
2551struct plist_head {
2552 struct list_head node_list ;
2553};
2554#line 85 "include/linux/plist.h"
2555struct plist_node {
2556 int prio ;
2557 struct list_head prio_list ;
2558 struct list_head node_list ;
2559};
2560#line 40 "include/linux/rtmutex.h"
2561struct rt_mutex_waiter;
2562#line 40
2563struct rt_mutex_waiter;
2564#line 42 "include/linux/resource.h"
2565struct rlimit {
2566 unsigned long rlim_cur ;
2567 unsigned long rlim_max ;
2568};
2569#line 81
2570struct task_struct;
2571#line 8 "include/linux/timerqueue.h"
2572struct timerqueue_node {
2573 struct rb_node node ;
2574 ktime_t expires ;
2575};
2576#line 13 "include/linux/timerqueue.h"
2577struct timerqueue_head {
2578 struct rb_root head ;
2579 struct timerqueue_node *next ;
2580};
2581#line 27 "include/linux/hrtimer.h"
2582struct hrtimer_clock_base;
2583#line 27
2584struct hrtimer_clock_base;
2585#line 28
2586struct hrtimer_cpu_base;
2587#line 28
2588struct hrtimer_cpu_base;
2589#line 44
2590enum hrtimer_restart {
2591 HRTIMER_NORESTART = 0,
2592 HRTIMER_RESTART = 1
2593} ;
2594#line 108 "include/linux/hrtimer.h"
2595struct hrtimer {
2596 struct timerqueue_node node ;
2597 ktime_t _softexpires ;
2598 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2599 struct hrtimer_clock_base *base ;
2600 unsigned long state ;
2601 int start_pid ;
2602 void *start_site ;
2603 char start_comm[16] ;
2604};
2605#line 145 "include/linux/hrtimer.h"
2606struct hrtimer_clock_base {
2607 struct hrtimer_cpu_base *cpu_base ;
2608 int index ;
2609 clockid_t clockid ;
2610 struct timerqueue_head active ;
2611 ktime_t resolution ;
2612 ktime_t (*get_time)(void) ;
2613 ktime_t softirq_time ;
2614 ktime_t offset ;
2615};
2616#line 178 "include/linux/hrtimer.h"
2617struct hrtimer_cpu_base {
2618 raw_spinlock_t lock ;
2619 unsigned long active_bases ;
2620 ktime_t expires_next ;
2621 int hres_active ;
2622 int hang_detected ;
2623 unsigned long nr_events ;
2624 unsigned long nr_retries ;
2625 unsigned long nr_hangs ;
2626 ktime_t max_hang_time ;
2627 struct hrtimer_clock_base clock_base[3] ;
2628};
2629#line 11 "include/linux/task_io_accounting.h"
2630struct task_io_accounting {
2631 u64 rchar ;
2632 u64 wchar ;
2633 u64 syscr ;
2634 u64 syscw ;
2635 u64 read_bytes ;
2636 u64 write_bytes ;
2637 u64 cancelled_write_bytes ;
2638};
2639#line 13 "include/linux/latencytop.h"
2640struct task_struct;
2641#line 20 "include/linux/latencytop.h"
2642struct latency_record {
2643 unsigned long backtrace[12] ;
2644 unsigned int count ;
2645 unsigned long time ;
2646 unsigned long max ;
2647};
2648#line 29 "include/linux/key.h"
2649typedef int32_t key_serial_t;
2650#line 32 "include/linux/key.h"
2651typedef uint32_t key_perm_t;
2652#line 34
2653struct key;
2654#line 34
2655struct key;
2656#line 74
2657struct seq_file;
2658#line 75
2659struct user_struct;
2660#line 76
2661struct signal_struct;
2662#line 76
2663struct signal_struct;
2664#line 77
2665struct cred;
2666#line 79
2667struct key_type;
2668#line 79
2669struct key_type;
2670#line 81
2671struct keyring_list;
2672#line 81
2673struct keyring_list;
2674#line 124
2675struct key_user;
2676#line 124 "include/linux/key.h"
2677union __anonunion____missing_field_name_243 {
2678 time_t expiry ;
2679 time_t revoked_at ;
2680};
2681#line 124 "include/linux/key.h"
2682union __anonunion_type_data_244 {
2683 struct list_head link ;
2684 unsigned long x[2] ;
2685 void *p[2] ;
2686 int reject_error ;
2687};
2688#line 124 "include/linux/key.h"
2689union __anonunion_payload_245 {
2690 unsigned long value ;
2691 void *rcudata ;
2692 void *data ;
2693 struct keyring_list *subscriptions ;
2694};
2695#line 124 "include/linux/key.h"
2696struct key {
2697 atomic_t usage ;
2698 key_serial_t serial ;
2699 struct rb_node serial_node ;
2700 struct key_type *type ;
2701 struct rw_semaphore sem ;
2702 struct key_user *user ;
2703 void *security ;
2704 union __anonunion____missing_field_name_243 __annonCompField45 ;
2705 uid_t uid ;
2706 gid_t gid ;
2707 key_perm_t perm ;
2708 unsigned short quotalen ;
2709 unsigned short datalen ;
2710 unsigned long flags ;
2711 char *description ;
2712 union __anonunion_type_data_244 type_data ;
2713 union __anonunion_payload_245 payload ;
2714};
2715#line 18 "include/linux/selinux.h"
2716struct audit_context;
2717#line 18
2718struct audit_context;
2719#line 21 "include/linux/cred.h"
2720struct user_struct;
2721#line 22
2722struct cred;
2723#line 23
2724struct inode;
2725#line 31 "include/linux/cred.h"
2726struct group_info {
2727 atomic_t usage ;
2728 int ngroups ;
2729 int nblocks ;
2730 gid_t small_block[32] ;
2731 gid_t *blocks[0] ;
2732};
2733#line 83 "include/linux/cred.h"
2734struct thread_group_cred {
2735 atomic_t usage ;
2736 pid_t tgid ;
2737 spinlock_t lock ;
2738 struct key *session_keyring ;
2739 struct key *process_keyring ;
2740 struct rcu_head rcu ;
2741};
2742#line 116 "include/linux/cred.h"
2743struct cred {
2744 atomic_t usage ;
2745 atomic_t subscribers ;
2746 void *put_addr ;
2747 unsigned int magic ;
2748 uid_t uid ;
2749 gid_t gid ;
2750 uid_t suid ;
2751 gid_t sgid ;
2752 uid_t euid ;
2753 gid_t egid ;
2754 uid_t fsuid ;
2755 gid_t fsgid ;
2756 unsigned int securebits ;
2757 kernel_cap_t cap_inheritable ;
2758 kernel_cap_t cap_permitted ;
2759 kernel_cap_t cap_effective ;
2760 kernel_cap_t cap_bset ;
2761 unsigned char jit_keyring ;
2762 struct key *thread_keyring ;
2763 struct key *request_key_auth ;
2764 struct thread_group_cred *tgcred ;
2765 void *security ;
2766 struct user_struct *user ;
2767 struct user_namespace *user_ns ;
2768 struct group_info *group_info ;
2769 struct rcu_head rcu ;
2770};
2771#line 61 "include/linux/llist.h"
2772struct llist_node;
2773#line 65 "include/linux/llist.h"
2774struct llist_node {
2775 struct llist_node *next ;
2776};
2777#line 97 "include/linux/sched.h"
2778struct futex_pi_state;
2779#line 97
2780struct futex_pi_state;
2781#line 98
2782struct robust_list_head;
2783#line 98
2784struct robust_list_head;
2785#line 99
2786struct bio_list;
2787#line 99
2788struct bio_list;
2789#line 100
2790struct fs_struct;
2791#line 100
2792struct fs_struct;
2793#line 101
2794struct perf_event_context;
2795#line 101
2796struct perf_event_context;
2797#line 102
2798struct blk_plug;
2799#line 102
2800struct blk_plug;
2801#line 150
2802struct seq_file;
2803#line 151
2804struct cfs_rq;
2805#line 151
2806struct cfs_rq;
2807#line 259
2808struct task_struct;
2809#line 366
2810struct nsproxy;
2811#line 367
2812struct user_namespace;
2813#line 58 "include/linux/aio_abi.h"
2814struct io_event {
2815 __u64 data ;
2816 __u64 obj ;
2817 __s64 res ;
2818 __s64 res2 ;
2819};
2820#line 16 "include/linux/uio.h"
2821struct iovec {
2822 void *iov_base ;
2823 __kernel_size_t iov_len ;
2824};
2825#line 15 "include/linux/aio.h"
2826struct kioctx;
2827#line 15
2828struct kioctx;
2829#line 87 "include/linux/aio.h"
2830union __anonunion_ki_obj_247 {
2831 void *user ;
2832 struct task_struct *tsk ;
2833};
2834#line 87
2835struct eventfd_ctx;
2836#line 87 "include/linux/aio.h"
2837struct kiocb {
2838 struct list_head ki_run_list ;
2839 unsigned long ki_flags ;
2840 int ki_users ;
2841 unsigned int ki_key ;
2842 struct file *ki_filp ;
2843 struct kioctx *ki_ctx ;
2844 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2845 ssize_t (*ki_retry)(struct kiocb * ) ;
2846 void (*ki_dtor)(struct kiocb * ) ;
2847 union __anonunion_ki_obj_247 ki_obj ;
2848 __u64 ki_user_data ;
2849 loff_t ki_pos ;
2850 void *private ;
2851 unsigned short ki_opcode ;
2852 size_t ki_nbytes ;
2853 char *ki_buf ;
2854 size_t ki_left ;
2855 struct iovec ki_inline_vec ;
2856 struct iovec *ki_iovec ;
2857 unsigned long ki_nr_segs ;
2858 unsigned long ki_cur_seg ;
2859 struct list_head ki_list ;
2860 struct list_head ki_batch ;
2861 struct eventfd_ctx *ki_eventfd ;
2862};
2863#line 166 "include/linux/aio.h"
2864struct aio_ring_info {
2865 unsigned long mmap_base ;
2866 unsigned long mmap_size ;
2867 struct page **ring_pages ;
2868 spinlock_t ring_lock ;
2869 long nr_pages ;
2870 unsigned int nr ;
2871 unsigned int tail ;
2872 struct page *internal_pages[8] ;
2873};
2874#line 179 "include/linux/aio.h"
2875struct kioctx {
2876 atomic_t users ;
2877 int dead ;
2878 struct mm_struct *mm ;
2879 unsigned long user_id ;
2880 struct hlist_node list ;
2881 wait_queue_head_t wait ;
2882 spinlock_t ctx_lock ;
2883 int reqs_active ;
2884 struct list_head active_reqs ;
2885 struct list_head run_list ;
2886 unsigned int max_reqs ;
2887 struct aio_ring_info ring_info ;
2888 struct delayed_work wq ;
2889 struct rcu_head rcu_head ;
2890};
2891#line 214
2892struct mm_struct;
2893#line 443 "include/linux/sched.h"
2894struct sighand_struct {
2895 atomic_t count ;
2896 struct k_sigaction action[64] ;
2897 spinlock_t siglock ;
2898 wait_queue_head_t signalfd_wqh ;
2899};
2900#line 450 "include/linux/sched.h"
2901struct pacct_struct {
2902 int ac_flag ;
2903 long ac_exitcode ;
2904 unsigned long ac_mem ;
2905 cputime_t ac_utime ;
2906 cputime_t ac_stime ;
2907 unsigned long ac_minflt ;
2908 unsigned long ac_majflt ;
2909};
2910#line 458 "include/linux/sched.h"
2911struct cpu_itimer {
2912 cputime_t expires ;
2913 cputime_t incr ;
2914 u32 error ;
2915 u32 incr_error ;
2916};
2917#line 476 "include/linux/sched.h"
2918struct task_cputime {
2919 cputime_t utime ;
2920 cputime_t stime ;
2921 unsigned long long sum_exec_runtime ;
2922};
2923#line 512 "include/linux/sched.h"
2924struct thread_group_cputimer {
2925 struct task_cputime cputime ;
2926 int running ;
2927 raw_spinlock_t lock ;
2928};
2929#line 519
2930struct autogroup;
2931#line 519
2932struct autogroup;
2933#line 528
2934struct tty_struct;
2935#line 528
2936struct taskstats;
2937#line 528
2938struct tty_audit_buf;
2939#line 528 "include/linux/sched.h"
2940struct signal_struct {
2941 atomic_t sigcnt ;
2942 atomic_t live ;
2943 int nr_threads ;
2944 wait_queue_head_t wait_chldexit ;
2945 struct task_struct *curr_target ;
2946 struct sigpending shared_pending ;
2947 int group_exit_code ;
2948 int notify_count ;
2949 struct task_struct *group_exit_task ;
2950 int group_stop_count ;
2951 unsigned int flags ;
2952 unsigned int is_child_subreaper : 1 ;
2953 unsigned int has_child_subreaper : 1 ;
2954 struct list_head posix_timers ;
2955 struct hrtimer real_timer ;
2956 struct pid *leader_pid ;
2957 ktime_t it_real_incr ;
2958 struct cpu_itimer it[2] ;
2959 struct thread_group_cputimer cputimer ;
2960 struct task_cputime cputime_expires ;
2961 struct list_head cpu_timers[3] ;
2962 struct pid *tty_old_pgrp ;
2963 int leader ;
2964 struct tty_struct *tty ;
2965 struct autogroup *autogroup ;
2966 cputime_t utime ;
2967 cputime_t stime ;
2968 cputime_t cutime ;
2969 cputime_t cstime ;
2970 cputime_t gtime ;
2971 cputime_t cgtime ;
2972 cputime_t prev_utime ;
2973 cputime_t prev_stime ;
2974 unsigned long nvcsw ;
2975 unsigned long nivcsw ;
2976 unsigned long cnvcsw ;
2977 unsigned long cnivcsw ;
2978 unsigned long min_flt ;
2979 unsigned long maj_flt ;
2980 unsigned long cmin_flt ;
2981 unsigned long cmaj_flt ;
2982 unsigned long inblock ;
2983 unsigned long oublock ;
2984 unsigned long cinblock ;
2985 unsigned long coublock ;
2986 unsigned long maxrss ;
2987 unsigned long cmaxrss ;
2988 struct task_io_accounting ioac ;
2989 unsigned long long sum_sched_runtime ;
2990 struct rlimit rlim[16] ;
2991 struct pacct_struct pacct ;
2992 struct taskstats *stats ;
2993 unsigned int audit_tty ;
2994 struct tty_audit_buf *tty_audit_buf ;
2995 struct rw_semaphore group_rwsem ;
2996 int oom_adj ;
2997 int oom_score_adj ;
2998 int oom_score_adj_min ;
2999 struct mutex cred_guard_mutex ;
3000};
3001#line 703 "include/linux/sched.h"
3002struct user_struct {
3003 atomic_t __count ;
3004 atomic_t processes ;
3005 atomic_t files ;
3006 atomic_t sigpending ;
3007 atomic_t inotify_watches ;
3008 atomic_t inotify_devs ;
3009 atomic_t fanotify_listeners ;
3010 atomic_long_t epoll_watches ;
3011 unsigned long mq_bytes ;
3012 unsigned long locked_shm ;
3013 struct key *uid_keyring ;
3014 struct key *session_keyring ;
3015 struct hlist_node uidhash_node ;
3016 uid_t uid ;
3017 struct user_namespace *user_ns ;
3018 atomic_long_t locked_vm ;
3019};
3020#line 747
3021struct backing_dev_info;
3022#line 748
3023struct reclaim_state;
3024#line 748
3025struct reclaim_state;
3026#line 751 "include/linux/sched.h"
3027struct sched_info {
3028 unsigned long pcount ;
3029 unsigned long long run_delay ;
3030 unsigned long long last_arrival ;
3031 unsigned long long last_queued ;
3032};
3033#line 763 "include/linux/sched.h"
3034struct task_delay_info {
3035 spinlock_t lock ;
3036 unsigned int flags ;
3037 struct timespec blkio_start ;
3038 struct timespec blkio_end ;
3039 u64 blkio_delay ;
3040 u64 swapin_delay ;
3041 u32 blkio_count ;
3042 u32 swapin_count ;
3043 struct timespec freepages_start ;
3044 struct timespec freepages_end ;
3045 u64 freepages_delay ;
3046 u32 freepages_count ;
3047};
3048#line 1088
3049struct io_context;
3050#line 1088
3051struct io_context;
3052#line 1097
3053struct audit_context;
3054#line 1098
3055struct mempolicy;
3056#line 1099
3057struct pipe_inode_info;
3058#line 1102
3059struct rq;
3060#line 1102
3061struct rq;
3062#line 1122 "include/linux/sched.h"
3063struct sched_class {
3064 struct sched_class const *next ;
3065 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3066 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3067 void (*yield_task)(struct rq *rq ) ;
3068 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3069 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3070 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3071 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3072 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3073 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3074 void (*post_schedule)(struct rq *this_rq ) ;
3075 void (*task_waking)(struct task_struct *task ) ;
3076 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3077 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3078 void (*rq_online)(struct rq *rq ) ;
3079 void (*rq_offline)(struct rq *rq ) ;
3080 void (*set_curr_task)(struct rq *rq ) ;
3081 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3082 void (*task_fork)(struct task_struct *p ) ;
3083 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3084 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3085 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3086 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3087 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3088};
3089#line 1167 "include/linux/sched.h"
3090struct load_weight {
3091 unsigned long weight ;
3092 unsigned long inv_weight ;
3093};
3094#line 1172 "include/linux/sched.h"
3095struct sched_statistics {
3096 u64 wait_start ;
3097 u64 wait_max ;
3098 u64 wait_count ;
3099 u64 wait_sum ;
3100 u64 iowait_count ;
3101 u64 iowait_sum ;
3102 u64 sleep_start ;
3103 u64 sleep_max ;
3104 s64 sum_sleep_runtime ;
3105 u64 block_start ;
3106 u64 block_max ;
3107 u64 exec_max ;
3108 u64 slice_max ;
3109 u64 nr_migrations_cold ;
3110 u64 nr_failed_migrations_affine ;
3111 u64 nr_failed_migrations_running ;
3112 u64 nr_failed_migrations_hot ;
3113 u64 nr_forced_migrations ;
3114 u64 nr_wakeups ;
3115 u64 nr_wakeups_sync ;
3116 u64 nr_wakeups_migrate ;
3117 u64 nr_wakeups_local ;
3118 u64 nr_wakeups_remote ;
3119 u64 nr_wakeups_affine ;
3120 u64 nr_wakeups_affine_attempts ;
3121 u64 nr_wakeups_passive ;
3122 u64 nr_wakeups_idle ;
3123};
3124#line 1207 "include/linux/sched.h"
3125struct sched_entity {
3126 struct load_weight load ;
3127 struct rb_node run_node ;
3128 struct list_head group_node ;
3129 unsigned int on_rq ;
3130 u64 exec_start ;
3131 u64 sum_exec_runtime ;
3132 u64 vruntime ;
3133 u64 prev_sum_exec_runtime ;
3134 u64 nr_migrations ;
3135 struct sched_statistics statistics ;
3136 struct sched_entity *parent ;
3137 struct cfs_rq *cfs_rq ;
3138 struct cfs_rq *my_q ;
3139};
3140#line 1233
3141struct rt_rq;
3142#line 1233 "include/linux/sched.h"
3143struct sched_rt_entity {
3144 struct list_head run_list ;
3145 unsigned long timeout ;
3146 unsigned int time_slice ;
3147 int nr_cpus_allowed ;
3148 struct sched_rt_entity *back ;
3149 struct sched_rt_entity *parent ;
3150 struct rt_rq *rt_rq ;
3151 struct rt_rq *my_q ;
3152};
3153#line 1264
3154struct css_set;
3155#line 1264
3156struct compat_robust_list_head;
3157#line 1264
3158struct mem_cgroup;
3159#line 1264 "include/linux/sched.h"
3160struct memcg_batch_info {
3161 int do_batch ;
3162 struct mem_cgroup *memcg ;
3163 unsigned long nr_pages ;
3164 unsigned long memsw_nr_pages ;
3165};
3166#line 1264 "include/linux/sched.h"
3167struct task_struct {
3168 long volatile state ;
3169 void *stack ;
3170 atomic_t usage ;
3171 unsigned int flags ;
3172 unsigned int ptrace ;
3173 struct llist_node wake_entry ;
3174 int on_cpu ;
3175 int on_rq ;
3176 int prio ;
3177 int static_prio ;
3178 int normal_prio ;
3179 unsigned int rt_priority ;
3180 struct sched_class const *sched_class ;
3181 struct sched_entity se ;
3182 struct sched_rt_entity rt ;
3183 struct hlist_head preempt_notifiers ;
3184 unsigned char fpu_counter ;
3185 unsigned int policy ;
3186 cpumask_t cpus_allowed ;
3187 struct sched_info sched_info ;
3188 struct list_head tasks ;
3189 struct plist_node pushable_tasks ;
3190 struct mm_struct *mm ;
3191 struct mm_struct *active_mm ;
3192 unsigned int brk_randomized : 1 ;
3193 int exit_state ;
3194 int exit_code ;
3195 int exit_signal ;
3196 int pdeath_signal ;
3197 unsigned int jobctl ;
3198 unsigned int personality ;
3199 unsigned int did_exec : 1 ;
3200 unsigned int in_execve : 1 ;
3201 unsigned int in_iowait : 1 ;
3202 unsigned int sched_reset_on_fork : 1 ;
3203 unsigned int sched_contributes_to_load : 1 ;
3204 unsigned int irq_thread : 1 ;
3205 pid_t pid ;
3206 pid_t tgid ;
3207 unsigned long stack_canary ;
3208 struct task_struct *real_parent ;
3209 struct task_struct *parent ;
3210 struct list_head children ;
3211 struct list_head sibling ;
3212 struct task_struct *group_leader ;
3213 struct list_head ptraced ;
3214 struct list_head ptrace_entry ;
3215 struct pid_link pids[3] ;
3216 struct list_head thread_group ;
3217 struct completion *vfork_done ;
3218 int *set_child_tid ;
3219 int *clear_child_tid ;
3220 cputime_t utime ;
3221 cputime_t stime ;
3222 cputime_t utimescaled ;
3223 cputime_t stimescaled ;
3224 cputime_t gtime ;
3225 cputime_t prev_utime ;
3226 cputime_t prev_stime ;
3227 unsigned long nvcsw ;
3228 unsigned long nivcsw ;
3229 struct timespec start_time ;
3230 struct timespec real_start_time ;
3231 unsigned long min_flt ;
3232 unsigned long maj_flt ;
3233 struct task_cputime cputime_expires ;
3234 struct list_head cpu_timers[3] ;
3235 struct cred const *real_cred ;
3236 struct cred const *cred ;
3237 struct cred *replacement_session_keyring ;
3238 char comm[16] ;
3239 int link_count ;
3240 int total_link_count ;
3241 struct sysv_sem sysvsem ;
3242 unsigned long last_switch_count ;
3243 struct thread_struct thread ;
3244 struct fs_struct *fs ;
3245 struct files_struct *files ;
3246 struct nsproxy *nsproxy ;
3247 struct signal_struct *signal ;
3248 struct sighand_struct *sighand ;
3249 sigset_t blocked ;
3250 sigset_t real_blocked ;
3251 sigset_t saved_sigmask ;
3252 struct sigpending pending ;
3253 unsigned long sas_ss_sp ;
3254 size_t sas_ss_size ;
3255 int (*notifier)(void *priv ) ;
3256 void *notifier_data ;
3257 sigset_t *notifier_mask ;
3258 struct audit_context *audit_context ;
3259 uid_t loginuid ;
3260 unsigned int sessionid ;
3261 seccomp_t seccomp ;
3262 u32 parent_exec_id ;
3263 u32 self_exec_id ;
3264 spinlock_t alloc_lock ;
3265 raw_spinlock_t pi_lock ;
3266 struct plist_head pi_waiters ;
3267 struct rt_mutex_waiter *pi_blocked_on ;
3268 struct mutex_waiter *blocked_on ;
3269 unsigned int irq_events ;
3270 unsigned long hardirq_enable_ip ;
3271 unsigned long hardirq_disable_ip ;
3272 unsigned int hardirq_enable_event ;
3273 unsigned int hardirq_disable_event ;
3274 int hardirqs_enabled ;
3275 int hardirq_context ;
3276 unsigned long softirq_disable_ip ;
3277 unsigned long softirq_enable_ip ;
3278 unsigned int softirq_disable_event ;
3279 unsigned int softirq_enable_event ;
3280 int softirqs_enabled ;
3281 int softirq_context ;
3282 void *journal_info ;
3283 struct bio_list *bio_list ;
3284 struct blk_plug *plug ;
3285 struct reclaim_state *reclaim_state ;
3286 struct backing_dev_info *backing_dev_info ;
3287 struct io_context *io_context ;
3288 unsigned long ptrace_message ;
3289 siginfo_t *last_siginfo ;
3290 struct task_io_accounting ioac ;
3291 u64 acct_rss_mem1 ;
3292 u64 acct_vm_mem1 ;
3293 cputime_t acct_timexpd ;
3294 nodemask_t mems_allowed ;
3295 seqcount_t mems_allowed_seq ;
3296 int cpuset_mem_spread_rotor ;
3297 int cpuset_slab_spread_rotor ;
3298 struct css_set *cgroups ;
3299 struct list_head cg_list ;
3300 struct robust_list_head *robust_list ;
3301 struct compat_robust_list_head *compat_robust_list ;
3302 struct list_head pi_state_list ;
3303 struct futex_pi_state *pi_state_cache ;
3304 struct perf_event_context *perf_event_ctxp[2] ;
3305 struct mutex perf_event_mutex ;
3306 struct list_head perf_event_list ;
3307 struct mempolicy *mempolicy ;
3308 short il_next ;
3309 short pref_node_fork ;
3310 struct rcu_head rcu ;
3311 struct pipe_inode_info *splice_pipe ;
3312 struct task_delay_info *delays ;
3313 int make_it_fail ;
3314 int nr_dirtied ;
3315 int nr_dirtied_pause ;
3316 unsigned long dirty_paused_when ;
3317 int latency_record_count ;
3318 struct latency_record latency_record[32] ;
3319 unsigned long timer_slack_ns ;
3320 unsigned long default_timer_slack_ns ;
3321 struct list_head *scm_work_list ;
3322 unsigned long trace ;
3323 unsigned long trace_recursion ;
3324 struct memcg_batch_info memcg_batch ;
3325 atomic_t ptrace_bp_refcnt ;
3326};
3327#line 1681
3328struct pid_namespace;
3329#line 55 "include/linux/kthread.h"
3330struct kthread_work;
3331#line 55
3332struct kthread_work;
3333#line 58 "include/linux/kthread.h"
3334struct kthread_worker {
3335 spinlock_t lock ;
3336 struct list_head work_list ;
3337 struct task_struct *task ;
3338};
3339#line 64 "include/linux/kthread.h"
3340struct kthread_work {
3341 struct list_head node ;
3342 void (*func)(struct kthread_work *work ) ;
3343 wait_queue_head_t done ;
3344 atomic_t flushing ;
3345 int queue_seq ;
3346 int done_seq ;
3347};
3348#line 70 "include/linux/spi/spi.h"
3349struct spi_master;
3350#line 70 "include/linux/spi/spi.h"
3351struct spi_device {
3352 struct device dev ;
3353 struct spi_master *master ;
3354 u32 max_speed_hz ;
3355 u8 chip_select ;
3356 u8 mode ;
3357 u8 bits_per_word ;
3358 int irq ;
3359 void *controller_state ;
3360 void *controller_data ;
3361 char modalias[32] ;
3362};
3363#line 145
3364struct spi_message;
3365#line 145
3366struct spi_message;
3367#line 176 "include/linux/spi/spi.h"
3368struct spi_driver {
3369 struct spi_device_id const *id_table ;
3370 int (*probe)(struct spi_device *spi ) ;
3371 int (*remove)(struct spi_device *spi ) ;
3372 void (*shutdown)(struct spi_device *spi ) ;
3373 int (*suspend)(struct spi_device *spi , pm_message_t mesg ) ;
3374 int (*resume)(struct spi_device *spi ) ;
3375 struct device_driver driver ;
3376};
3377#line 272 "include/linux/spi/spi.h"
3378struct spi_master {
3379 struct device dev ;
3380 struct list_head list ;
3381 s16 bus_num ;
3382 u16 num_chipselect ;
3383 u16 dma_alignment ;
3384 u16 mode_bits ;
3385 u16 flags ;
3386 spinlock_t bus_lock_spinlock ;
3387 struct mutex bus_lock_mutex ;
3388 bool bus_lock_flag ;
3389 int (*setup)(struct spi_device *spi ) ;
3390 int (*transfer)(struct spi_device *spi , struct spi_message *mesg ) ;
3391 void (*cleanup)(struct spi_device *spi ) ;
3392 bool queued ;
3393 struct kthread_worker kworker ;
3394 struct task_struct *kworker_task ;
3395 struct kthread_work pump_messages ;
3396 spinlock_t queue_lock ;
3397 struct list_head queue ;
3398 struct spi_message *cur_msg ;
3399 bool busy ;
3400 bool running ;
3401 bool rt ;
3402 int (*prepare_transfer_hardware)(struct spi_master *master ) ;
3403 int (*transfer_one_message)(struct spi_master *master , struct spi_message *mesg ) ;
3404 int (*unprepare_transfer_hardware)(struct spi_master *master ) ;
3405};
3406#line 492 "include/linux/spi/spi.h"
3407struct spi_transfer {
3408 void const *tx_buf ;
3409 void *rx_buf ;
3410 unsigned int len ;
3411 dma_addr_t tx_dma ;
3412 dma_addr_t rx_dma ;
3413 unsigned int cs_change : 1 ;
3414 u8 bits_per_word ;
3415 u16 delay_usecs ;
3416 u32 speed_hz ;
3417 struct list_head transfer_list ;
3418};
3419#line 541 "include/linux/spi/spi.h"
3420struct spi_message {
3421 struct list_head transfers ;
3422 struct spi_device *spi ;
3423 unsigned int is_dma_mapped : 1 ;
3424 void (*complete)(void *context ) ;
3425 void *context ;
3426 unsigned int actual_length ;
3427 int status ;
3428 struct list_head queue ;
3429 void *state ;
3430};
3431#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/input/misc/adxl34x.h"
3432struct device;
3433#line 14
3434struct adxl34x;
3435#line 14
3436struct adxl34x;
3437#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/input/misc/adxl34x.h"
3438struct adxl34x_bus_ops {
3439 u16 bustype ;
3440 int (*read)(struct device * , unsigned char ) ;
3441 int (*read_block)(struct device * , unsigned char , int , void * ) ;
3442 int (*write)(struct device * , unsigned char , unsigned char ) ;
3443};
3444#line 1 "<compiler builtins>"
3445long __builtin_expect(long val , long res ) ;
3446#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3447extern void *memset(void *s , int c , size_t n ) ;
3448#line 27 "include/linux/err.h"
3449__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
3450#line 27 "include/linux/err.h"
3451__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr )
3452{
3453
3454 {
3455#line 29
3456 return ((long )ptr);
3457}
3458}
3459#line 32
3460__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
3461#line 32 "include/linux/err.h"
3462__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr )
3463{ long tmp ;
3464 unsigned long __cil_tmp3 ;
3465 int __cil_tmp4 ;
3466 int __cil_tmp5 ;
3467 int __cil_tmp6 ;
3468 long __cil_tmp7 ;
3469
3470 {
3471 {
3472#line 34
3473 __cil_tmp3 = (unsigned long )ptr;
3474#line 34
3475 __cil_tmp4 = __cil_tmp3 >= 0xfffffffffffff001UL;
3476#line 34
3477 __cil_tmp5 = ! __cil_tmp4;
3478#line 34
3479 __cil_tmp6 = ! __cil_tmp5;
3480#line 34
3481 __cil_tmp7 = (long )__cil_tmp6;
3482#line 34
3483 tmp = __builtin_expect(__cil_tmp7, 0L);
3484 }
3485#line 34
3486 return (tmp);
3487}
3488}
3489#line 24 "include/linux/list.h"
3490__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ;
3491#line 24 "include/linux/list.h"
3492__inline static void INIT_LIST_HEAD(struct list_head *list )
3493{ unsigned long __cil_tmp2 ;
3494 unsigned long __cil_tmp3 ;
3495
3496 {
3497#line 26
3498 *((struct list_head **)list) = list;
3499#line 27
3500 __cil_tmp2 = (unsigned long )list;
3501#line 27
3502 __cil_tmp3 = __cil_tmp2 + 8;
3503#line 27
3504 *((struct list_head **)__cil_tmp3) = list;
3505#line 28
3506 return;
3507}
3508}
3509#line 47
3510extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ;
3511#line 74
3512__inline static void list_add_tail(struct list_head *new , struct list_head *head ) __attribute__((__no_instrument_function__)) ;
3513#line 74 "include/linux/list.h"
3514__inline static void list_add_tail(struct list_head *new , struct list_head *head )
3515{ unsigned long __cil_tmp3 ;
3516 unsigned long __cil_tmp4 ;
3517 struct list_head *__cil_tmp5 ;
3518
3519 {
3520 {
3521#line 76
3522 __cil_tmp3 = (unsigned long )head;
3523#line 76
3524 __cil_tmp4 = __cil_tmp3 + 8;
3525#line 76
3526 __cil_tmp5 = *((struct list_head **)__cil_tmp4);
3527#line 76
3528 __list_add(new, __cil_tmp5, head);
3529 }
3530#line 77
3531 return;
3532}
3533}
3534#line 152 "include/linux/mutex.h"
3535void mutex_lock(struct mutex *lock ) ;
3536#line 153
3537int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3538#line 154
3539int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3540#line 168
3541int mutex_trylock(struct mutex *lock ) ;
3542#line 169
3543void mutex_unlock(struct mutex *lock ) ;
3544#line 170
3545int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3546#line 239 "include/linux/device.h"
3547extern void driver_unregister(struct device_driver *drv ) ;
3548#line 792
3549extern void *dev_get_drvdata(struct device const *dev ) ;
3550#line 793
3551extern int dev_set_drvdata(struct device *dev , void *data ) ;
3552#line 891
3553extern int ( dev_err)(struct device const *dev , char const *fmt
3554 , ...) ;
3555#line 26 "include/linux/export.h"
3556extern struct module __this_module ;
3557#line 67 "include/linux/module.h"
3558int init_module(void) ;
3559#line 68
3560void cleanup_module(void) ;
3561#line 105 "include/linux/spi/spi.h"
3562__inline static struct spi_device *to_spi_device(struct device *dev ) __attribute__((__no_instrument_function__)) ;
3563#line 105 "include/linux/spi/spi.h"
3564__inline static struct spi_device *to_spi_device(struct device *dev )
3565{ struct device const *__mptr ;
3566 struct spi_device *tmp___7 ;
3567 struct spi_device *__cil_tmp4 ;
3568 struct device *__cil_tmp5 ;
3569 unsigned int __cil_tmp6 ;
3570 char *__cil_tmp7 ;
3571 char *__cil_tmp8 ;
3572 void *__cil_tmp9 ;
3573
3574 {
3575#line 107
3576 if (dev) {
3577#line 107
3578 __mptr = (struct device const *)dev;
3579#line 107
3580 __cil_tmp4 = (struct spi_device *)0;
3581#line 107
3582 __cil_tmp5 = (struct device *)__cil_tmp4;
3583#line 107
3584 __cil_tmp6 = (unsigned int )__cil_tmp5;
3585#line 107
3586 __cil_tmp7 = (char *)__mptr;
3587#line 107
3588 __cil_tmp8 = __cil_tmp7 - __cil_tmp6;
3589#line 107
3590 tmp___7 = (struct spi_device *)__cil_tmp8;
3591 } else {
3592#line 107
3593 __cil_tmp9 = (void *)0;
3594#line 107
3595 tmp___7 = (struct spi_device *)__cil_tmp9;
3596 }
3597#line 107
3598 return (tmp___7);
3599}
3600}
3601#line 135
3602__inline static void spi_set_drvdata(struct spi_device *spi , void *data ) __attribute__((__no_instrument_function__)) ;
3603#line 135 "include/linux/spi/spi.h"
3604__inline static void spi_set_drvdata(struct spi_device *spi , void *data )
3605{ struct device *__cil_tmp3 ;
3606
3607 {
3608 {
3609#line 137
3610 __cil_tmp3 = (struct device *)spi;
3611#line 137
3612 dev_set_drvdata(__cil_tmp3, data);
3613 }
3614#line 138
3615 return;
3616}
3617}
3618#line 191
3619extern int spi_register_driver(struct spi_driver *sdrv ) ;
3620#line 198
3621__inline static void spi_unregister_driver(struct spi_driver *sdrv ) __attribute__((__no_instrument_function__)) ;
3622#line 198 "include/linux/spi/spi.h"
3623__inline static void spi_unregister_driver(struct spi_driver *sdrv )
3624{ unsigned long __cil_tmp2 ;
3625 unsigned long __cil_tmp3 ;
3626 struct device_driver *__cil_tmp4 ;
3627
3628 {
3629#line 200
3630 if (sdrv) {
3631 {
3632#line 201
3633 __cil_tmp2 = (unsigned long )sdrv;
3634#line 201
3635 __cil_tmp3 = __cil_tmp2 + 48;
3636#line 201
3637 __cil_tmp4 = (struct device_driver *)__cil_tmp3;
3638#line 201
3639 driver_unregister(__cil_tmp4);
3640 }
3641 } else {
3642
3643 }
3644#line 202
3645 return;
3646}
3647}
3648#line 573
3649__inline static void spi_message_init(struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
3650#line 573 "include/linux/spi/spi.h"
3651__inline static void spi_message_init(struct spi_message *m )
3652{ void *__cil_tmp2 ;
3653 struct list_head *__cil_tmp3 ;
3654
3655 {
3656 {
3657#line 575
3658 __cil_tmp2 = (void *)m;
3659#line 575
3660 memset(__cil_tmp2, 0, 80UL);
3661#line 576
3662 __cil_tmp3 = (struct list_head *)m;
3663#line 576
3664 INIT_LIST_HEAD(__cil_tmp3);
3665 }
3666#line 577
3667 return;
3668}
3669}
3670#line 579
3671__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
3672#line 579 "include/linux/spi/spi.h"
3673__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m )
3674{ unsigned long __cil_tmp3 ;
3675 unsigned long __cil_tmp4 ;
3676 struct list_head *__cil_tmp5 ;
3677 struct list_head *__cil_tmp6 ;
3678
3679 {
3680 {
3681#line 582
3682 __cil_tmp3 = (unsigned long )t;
3683#line 582
3684 __cil_tmp4 = __cil_tmp3 + 48;
3685#line 582
3686 __cil_tmp5 = (struct list_head *)__cil_tmp4;
3687#line 582
3688 __cil_tmp6 = (struct list_head *)m;
3689#line 582
3690 list_add_tail(__cil_tmp5, __cil_tmp6);
3691 }
3692#line 583
3693 return;
3694}
3695}
3696#line 630
3697extern int spi_sync(struct spi_device *spi , struct spi_message *message ) ;
3698#line 645
3699__inline static int spi_write(struct spi_device *spi , void const *buf , size_t len ) __attribute__((__no_instrument_function__)) ;
3700#line 645 "include/linux/spi/spi.h"
3701__inline static int spi_write(struct spi_device *spi , void const *buf , size_t len )
3702{ struct spi_transfer t ;
3703 struct spi_message m ;
3704 int tmp___7 ;
3705 struct spi_transfer *__cil_tmp7 ;
3706 unsigned long __cil_tmp8 ;
3707 unsigned long __cil_tmp9 ;
3708 unsigned long __cil_tmp10 ;
3709 unsigned long __cil_tmp11 ;
3710 unsigned long __cil_tmp12 ;
3711 unsigned long __cil_tmp13 ;
3712 unsigned long __cil_tmp14 ;
3713 unsigned long __cil_tmp15 ;
3714 unsigned long __cil_tmp16 ;
3715 unsigned long __cil_tmp17 ;
3716 unsigned long __cil_tmp18 ;
3717
3718 {
3719 {
3720#line 648
3721 __cil_tmp7 = & t;
3722#line 648
3723 *((void const **)__cil_tmp7) = buf;
3724#line 648
3725 __cil_tmp8 = (unsigned long )(& t) + 8;
3726#line 648
3727 *((void **)__cil_tmp8) = (void *)0;
3728#line 648
3729 __cil_tmp9 = (unsigned long )(& t) + 16;
3730#line 648
3731 *((unsigned int *)__cil_tmp9) = (unsigned int )len;
3732#line 648
3733 __cil_tmp10 = (unsigned long )(& t) + 24;
3734#line 648
3735 *((dma_addr_t *)__cil_tmp10) = 0ULL;
3736#line 648
3737 __cil_tmp11 = (unsigned long )(& t) + 32;
3738#line 648
3739 *((dma_addr_t *)__cil_tmp11) = 0ULL;
3740#line 648
3741 __cil_tmp12 = (unsigned long )(& t) + 40;
3742#line 648
3743 *((unsigned int *)__cil_tmp12) = 0U;
3744#line 648
3745 __cil_tmp13 = (unsigned long )(& t) + 41;
3746#line 648
3747 *((u8 *)__cil_tmp13) = (unsigned char)0;
3748#line 648
3749 __cil_tmp14 = (unsigned long )(& t) + 42;
3750#line 648
3751 *((u16 *)__cil_tmp14) = (unsigned short)0;
3752#line 648
3753 __cil_tmp15 = (unsigned long )(& t) + 44;
3754#line 648
3755 *((u32 *)__cil_tmp15) = 0U;
3756#line 648
3757 __cil_tmp16 = (unsigned long )(& t) + 48;
3758#line 648
3759 *((struct list_head **)__cil_tmp16) = (struct list_head *)0;
3760#line 648
3761 __cil_tmp17 = 48 + 8;
3762#line 648
3763 __cil_tmp18 = (unsigned long )(& t) + __cil_tmp17;
3764#line 648
3765 *((struct list_head **)__cil_tmp18) = (struct list_head *)0;
3766#line 654
3767 spi_message_init(& m);
3768#line 655
3769 spi_message_add_tail(& t, & m);
3770#line 656
3771 tmp___7 = spi_sync(spi, & m);
3772 }
3773#line 656
3774 return (tmp___7);
3775}
3776}
3777#line 684
3778extern int spi_write_then_read(struct spi_device *spi , void const *txbuf , unsigned int n_tx ,
3779 void *rxbuf , unsigned int n_rx ) ;
3780#line 698
3781__inline static ssize_t spi_w8r8(struct spi_device *spi , u8 cmd ) __attribute__((__no_instrument_function__)) ;
3782#line 698 "include/linux/spi/spi.h"
3783__inline static ssize_t spi_w8r8(struct spi_device *spi , u8 cmd )
3784{ ssize_t status ;
3785 u8 result ;
3786 int tmp___7 ;
3787 ssize_t tmp___8 ;
3788 void const *__cil_tmp7 ;
3789 void *__cil_tmp8 ;
3790 u8 *__cil_tmp9 ;
3791 u8 __cil_tmp10 ;
3792
3793 {
3794 {
3795#line 703
3796 __cil_tmp7 = (void const *)(& cmd);
3797#line 703
3798 __cil_tmp8 = (void *)(& result);
3799#line 703
3800 tmp___7 = spi_write_then_read(spi, __cil_tmp7, 1U, __cil_tmp8, 1U);
3801#line 703
3802 status = (ssize_t )tmp___7;
3803 }
3804#line 706
3805 if (status < 0L) {
3806#line 706
3807 tmp___8 = status;
3808 } else {
3809#line 706
3810 __cil_tmp9 = & result;
3811#line 706
3812 __cil_tmp10 = *__cil_tmp9;
3813#line 706
3814 tmp___8 = (ssize_t )__cil_tmp10;
3815 }
3816#line 706
3817 return (tmp___8);
3818}
3819}
3820#line 23 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/input/misc/adxl34x.h"
3821extern void adxl34x_suspend(struct adxl34x *ac ) ;
3822#line 24
3823extern void adxl34x_resume(struct adxl34x *ac ) ;
3824#line 25
3825extern struct adxl34x *adxl34x_probe(struct device *dev , int irq , bool fifo_delay_default ,
3826 struct adxl34x_bus_ops const *bops ) ;
3827#line 28
3828extern int adxl34x_remove(struct adxl34x *ac ) ;
3829#line 27 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
3830static int adxl34x_spi_read(struct device *dev , unsigned char reg )
3831{ struct spi_device *spi ;
3832 struct spi_device *tmp___7 ;
3833 unsigned char cmd ;
3834 ssize_t tmp___8 ;
3835 int __cil_tmp7 ;
3836 int __cil_tmp8 ;
3837 int __cil_tmp9 ;
3838 int __cil_tmp10 ;
3839
3840 {
3841 {
3842#line 29
3843 tmp___7 = to_spi_device(dev);
3844#line 29
3845 spi = tmp___7;
3846#line 32
3847 __cil_tmp7 = (int )reg;
3848#line 32
3849 __cil_tmp8 = __cil_tmp7 & 63;
3850#line 32
3851 __cil_tmp9 = 1 << 7;
3852#line 32
3853 __cil_tmp10 = __cil_tmp9 | __cil_tmp8;
3854#line 32
3855 cmd = (unsigned char )__cil_tmp10;
3856#line 34
3857 tmp___8 = spi_w8r8(spi, cmd);
3858 }
3859#line 34
3860 return ((int )tmp___8);
3861}
3862}
3863#line 37 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
3864static int adxl34x_spi_write(struct device *dev , unsigned char reg , unsigned char val )
3865{ struct spi_device *spi ;
3866 struct spi_device *tmp___7 ;
3867 unsigned char buf[2] ;
3868 int tmp___8 ;
3869 unsigned long __cil_tmp8 ;
3870 unsigned long __cil_tmp9 ;
3871 int __cil_tmp10 ;
3872 int __cil_tmp11 ;
3873 unsigned long __cil_tmp12 ;
3874 unsigned long __cil_tmp13 ;
3875 unsigned long __cil_tmp14 ;
3876 unsigned long __cil_tmp15 ;
3877 unsigned char *__cil_tmp16 ;
3878 void const *__cil_tmp17 ;
3879
3880 {
3881 {
3882#line 40
3883 tmp___7 = to_spi_device(dev);
3884#line 40
3885 spi = tmp___7;
3886#line 43
3887 __cil_tmp8 = 0 * 1UL;
3888#line 43
3889 __cil_tmp9 = (unsigned long )(buf) + __cil_tmp8;
3890#line 43
3891 __cil_tmp10 = (int )reg;
3892#line 43
3893 __cil_tmp11 = __cil_tmp10 & 63;
3894#line 43
3895 *((unsigned char *)__cil_tmp9) = (unsigned char )__cil_tmp11;
3896#line 44
3897 __cil_tmp12 = 1 * 1UL;
3898#line 44
3899 __cil_tmp13 = (unsigned long )(buf) + __cil_tmp12;
3900#line 44
3901 *((unsigned char *)__cil_tmp13) = val;
3902#line 46
3903 __cil_tmp14 = 0 * 1UL;
3904#line 46
3905 __cil_tmp15 = (unsigned long )(buf) + __cil_tmp14;
3906#line 46
3907 __cil_tmp16 = (unsigned char *)__cil_tmp15;
3908#line 46
3909 __cil_tmp17 = (void const *)__cil_tmp16;
3910#line 46
3911 tmp___8 = spi_write(spi, __cil_tmp17, 2UL);
3912 }
3913#line 46
3914 return (tmp___8);
3915}
3916}
3917#line 49 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
3918static int adxl34x_spi_read_block(struct device *dev , unsigned char reg , int count ,
3919 void *buf )
3920{ struct spi_device *spi ;
3921 struct spi_device *tmp___7 ;
3922 ssize_t status ;
3923 int tmp___8 ;
3924 ssize_t tmp___9 ;
3925 unsigned char *__cil_tmp10 ;
3926 unsigned char *__cil_tmp11 ;
3927 unsigned char __cil_tmp12 ;
3928 int __cil_tmp13 ;
3929 int __cil_tmp14 ;
3930 int __cil_tmp15 ;
3931 int __cil_tmp16 ;
3932 int __cil_tmp17 ;
3933 int __cil_tmp18 ;
3934 void const *__cil_tmp19 ;
3935 unsigned int __cil_tmp20 ;
3936
3937 {
3938 {
3939#line 53
3940 tmp___7 = to_spi_device(dev);
3941#line 53
3942 spi = tmp___7;
3943#line 56
3944 __cil_tmp10 = & reg;
3945#line 56
3946 __cil_tmp11 = & reg;
3947#line 56
3948 __cil_tmp12 = *__cil_tmp11;
3949#line 56
3950 __cil_tmp13 = (int )__cil_tmp12;
3951#line 56
3952 __cil_tmp14 = __cil_tmp13 & 63;
3953#line 56
3954 __cil_tmp15 = 1 << 6;
3955#line 56
3956 __cil_tmp16 = 1 << 7;
3957#line 56
3958 __cil_tmp17 = __cil_tmp16 | __cil_tmp15;
3959#line 56
3960 __cil_tmp18 = __cil_tmp17 | __cil_tmp14;
3961#line 56
3962 *__cil_tmp10 = (unsigned char )__cil_tmp18;
3963#line 57
3964 __cil_tmp19 = (void const *)(& reg);
3965#line 57
3966 __cil_tmp20 = (unsigned int )count;
3967#line 57
3968 tmp___8 = spi_write_then_read(spi, __cil_tmp19, 1U, buf, __cil_tmp20);
3969#line 57
3970 status = (ssize_t )tmp___8;
3971 }
3972#line 59
3973 if (status < 0L) {
3974#line 59
3975 tmp___9 = status;
3976 } else {
3977#line 59
3978 tmp___9 = (ssize_t )0;
3979 }
3980#line 59
3981 return ((int )tmp___9);
3982}
3983}
3984#line 62 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
3985static struct adxl34x_bus_ops const adxl34x_spi_bops = {(u16 )28, & adxl34x_spi_read, & adxl34x_spi_read_block, & adxl34x_spi_write};
3986#line 69
3987static int adxl34x_spi_probe(struct spi_device *spi ) __attribute__((__section__(".devinit.text"),
3988__no_instrument_function__)) ;
3989#line 69 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
3990static int adxl34x_spi_probe(struct spi_device *spi )
3991{ struct adxl34x *ac ;
3992 long tmp___7 ;
3993 long tmp___8 ;
3994 unsigned long __cil_tmp5 ;
3995 unsigned long __cil_tmp6 ;
3996 u32 __cil_tmp7 ;
3997 struct device *__cil_tmp8 ;
3998 struct device const *__cil_tmp9 ;
3999 unsigned long __cil_tmp10 ;
4000 unsigned long __cil_tmp11 ;
4001 u32 __cil_tmp12 ;
4002 struct device *__cil_tmp13 ;
4003 unsigned long __cil_tmp14 ;
4004 unsigned long __cil_tmp15 ;
4005 int __cil_tmp16 ;
4006 unsigned long __cil_tmp17 ;
4007 unsigned long __cil_tmp18 ;
4008 u32 __cil_tmp19 ;
4009 int __cil_tmp20 ;
4010 bool __cil_tmp21 ;
4011 void const *__cil_tmp22 ;
4012 void const *__cil_tmp23 ;
4013 void *__cil_tmp24 ;
4014
4015 {
4016 {
4017#line 74
4018 __cil_tmp5 = (unsigned long )spi;
4019#line 74
4020 __cil_tmp6 = __cil_tmp5 + 776;
4021#line 74
4022 __cil_tmp7 = *((u32 *)__cil_tmp6);
4023#line 74
4024 if (__cil_tmp7 > 5000000U) {
4025 {
4026#line 75
4027 __cil_tmp8 = (struct device *)spi;
4028#line 75
4029 __cil_tmp9 = (struct device const *)__cil_tmp8;
4030#line 75
4031 __cil_tmp10 = (unsigned long )spi;
4032#line 75
4033 __cil_tmp11 = __cil_tmp10 + 776;
4034#line 75
4035 __cil_tmp12 = *((u32 *)__cil_tmp11);
4036#line 75
4037 dev_err(__cil_tmp9, "SPI CLK %d Hz too fast\n", __cil_tmp12);
4038 }
4039#line 76
4040 return (-22);
4041 } else {
4042
4043 }
4044 }
4045 {
4046#line 79
4047 __cil_tmp13 = (struct device *)spi;
4048#line 79
4049 __cil_tmp14 = (unsigned long )spi;
4050#line 79
4051 __cil_tmp15 = __cil_tmp14 + 784;
4052#line 79
4053 __cil_tmp16 = *((int *)__cil_tmp15);
4054#line 79
4055 __cil_tmp17 = (unsigned long )spi;
4056#line 79
4057 __cil_tmp18 = __cil_tmp17 + 776;
4058#line 79
4059 __cil_tmp19 = *((u32 *)__cil_tmp18);
4060#line 79
4061 __cil_tmp20 = __cil_tmp19 > 1500000U;
4062#line 79
4063 __cil_tmp21 = (bool )__cil_tmp20;
4064#line 79
4065 ac = adxl34x_probe(__cil_tmp13, __cil_tmp16, __cil_tmp21, & adxl34x_spi_bops);
4066#line 83
4067 __cil_tmp22 = (void const *)ac;
4068#line 83
4069 tmp___8 = (long )IS_ERR(__cil_tmp22);
4070 }
4071#line 83
4072 if (tmp___8) {
4073 {
4074#line 84
4075 __cil_tmp23 = (void const *)ac;
4076#line 84
4077 tmp___7 = (long )PTR_ERR(__cil_tmp23);
4078 }
4079#line 84
4080 return ((int )tmp___7);
4081 } else {
4082
4083 }
4084 {
4085#line 86
4086 __cil_tmp24 = (void *)ac;
4087#line 86
4088 spi_set_drvdata(spi, __cil_tmp24);
4089 }
4090#line 88
4091 return (0);
4092}
4093}
4094#line 91
4095static int adxl34x_spi_remove(struct spi_device *spi ) __attribute__((__section__(".devexit.text"),
4096__no_instrument_function__)) ;
4097#line 91 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4098static int adxl34x_spi_remove(struct spi_device *spi )
4099{ struct adxl34x *ac ;
4100 void *tmp___7 ;
4101 int tmp___8 ;
4102 struct device *__cil_tmp5 ;
4103 struct device const *__cil_tmp6 ;
4104
4105 {
4106 {
4107#line 93
4108 __cil_tmp5 = (struct device *)spi;
4109#line 93
4110 __cil_tmp6 = (struct device const *)__cil_tmp5;
4111#line 93
4112 tmp___7 = dev_get_drvdata(__cil_tmp6);
4113#line 93
4114 ac = (struct adxl34x *)tmp___7;
4115#line 95
4116 tmp___8 = adxl34x_remove(ac);
4117 }
4118#line 95
4119 return (tmp___8);
4120}
4121}
4122#line 99 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4123static int adxl34x_spi_suspend(struct device *dev )
4124{ struct spi_device *spi ;
4125 struct spi_device *tmp___7 ;
4126 struct adxl34x *ac ;
4127 void *tmp___8 ;
4128 struct device *__cil_tmp6 ;
4129 struct device const *__cil_tmp7 ;
4130
4131 {
4132 {
4133#line 101
4134 tmp___7 = to_spi_device(dev);
4135#line 101
4136 spi = tmp___7;
4137#line 102
4138 __cil_tmp6 = (struct device *)spi;
4139#line 102
4140 __cil_tmp7 = (struct device const *)__cil_tmp6;
4141#line 102
4142 tmp___8 = dev_get_drvdata(__cil_tmp7);
4143#line 102
4144 ac = (struct adxl34x *)tmp___8;
4145#line 104
4146 adxl34x_suspend(ac);
4147 }
4148#line 106
4149 return (0);
4150}
4151}
4152#line 109 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4153static int adxl34x_spi_resume(struct device *dev )
4154{ struct spi_device *spi ;
4155 struct spi_device *tmp___7 ;
4156 struct adxl34x *ac ;
4157 void *tmp___8 ;
4158 struct device *__cil_tmp6 ;
4159 struct device const *__cil_tmp7 ;
4160
4161 {
4162 {
4163#line 111
4164 tmp___7 = to_spi_device(dev);
4165#line 111
4166 spi = tmp___7;
4167#line 112
4168 __cil_tmp6 = (struct device *)spi;
4169#line 112
4170 __cil_tmp7 = (struct device const *)__cil_tmp6;
4171#line 112
4172 tmp___8 = dev_get_drvdata(__cil_tmp7);
4173#line 112
4174 ac = (struct adxl34x *)tmp___8;
4175#line 114
4176 adxl34x_resume(ac);
4177 }
4178#line 116
4179 return (0);
4180}
4181}
4182#line 120 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4183static struct dev_pm_ops const adxl34x_spi_pm =
4184#line 120
4185 {(int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, & adxl34x_spi_suspend,
4186 & adxl34x_spi_resume, & adxl34x_spi_suspend, & adxl34x_spi_resume, & adxl34x_spi_suspend,
4187 & adxl34x_spi_resume, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4188 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4189 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4190 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4191 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4192 (int (*)(struct device *dev ))0};
4193#line 123 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4194static struct spi_driver adxl34x_driver = {(struct spi_device_id const *)0, & adxl34x_spi_probe, & adxl34x_spi_remove,
4195 (void (*)(struct spi_device *spi ))0, (int (*)(struct spi_device *spi , pm_message_t mesg ))0,
4196 (int (*)(struct spi_device *spi ))0, {"adxl34x", (struct bus_type *)0, & __this_module,
4197 (char const *)0, (_Bool)0, (struct of_device_id const *)0,
4198 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4199 (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
4200 pm_message_t state ))0,
4201 (int (*)(struct device *dev ))0, (struct attribute_group const **)0,
4202 & adxl34x_spi_pm, (struct driver_private *)0}};
4203#line 133
4204static int adxl34x_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4205#line 133 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4206static int adxl34x_driver_init(void)
4207{ int tmp___7 ;
4208
4209 {
4210 {
4211#line 133
4212 tmp___7 = spi_register_driver(& adxl34x_driver);
4213 }
4214#line 133
4215 return (tmp___7);
4216}
4217}
4218#line 133 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4219int init_module(void)
4220{ int tmp___7 ;
4221
4222 {
4223 {
4224#line 133
4225 tmp___7 = adxl34x_driver_init();
4226 }
4227#line 133
4228 return (tmp___7);
4229}
4230}
4231#line 133
4232static void adxl34x_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
4233#line 133 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4234static void adxl34x_driver_exit(void)
4235{
4236
4237 {
4238 {
4239#line 133
4240 spi_unregister_driver(& adxl34x_driver);
4241 }
4242#line 133
4243 return;
4244}
4245}
4246#line 133 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4247void cleanup_module(void)
4248{
4249
4250 {
4251 {
4252#line 133
4253 adxl34x_driver_exit();
4254 }
4255#line 133
4256 return;
4257}
4258}
4259#line 135 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4260static char const __mod_author135[58] __attribute__((__used__, __unused__, __section__(".modinfo"),
4261__aligned__(1))) =
4262#line 135
4263 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4264 (char const )'o', (char const )'r', (char const )'=', (char const )'M',
4265 (char const )'i', (char const )'c', (char const )'h', (char const )'a',
4266 (char const )'e', (char const )'l', (char const )' ', (char const )'H',
4267 (char const )'e', (char const )'n', (char const )'n', (char const )'e',
4268 (char const )'r', (char const )'i', (char const )'c', (char const )'h',
4269 (char const )' ', (char const )'<', (char const )'h', (char const )'e',
4270 (char const )'n', (char const )'n', (char const )'e', (char const )'r',
4271 (char const )'i', (char const )'c', (char const )'h', (char const )'@',
4272 (char const )'b', (char const )'l', (char const )'a', (char const )'c',
4273 (char const )'k', (char const )'f', (char const )'i', (char const )'n',
4274 (char const )'.', (char const )'u', (char const )'c', (char const )'l',
4275 (char const )'i', (char const )'n', (char const )'u', (char const )'x',
4276 (char const )'.', (char const )'o', (char const )'r', (char const )'g',
4277 (char const )'>', (char const )'\000'};
4278#line 136 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4279static char const __mod_description136[72] __attribute__((__used__, __unused__,
4280__section__(".modinfo"), __aligned__(1))) =
4281#line 136
4282 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4283 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4284 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4285 (char const )'A', (char const )'D', (char const )'X', (char const )'L',
4286 (char const )'3', (char const )'4', (char const )'5', (char const )'/',
4287 (char const )'3', (char const )'4', (char const )'6', (char const )' ',
4288 (char const )'T', (char const )'h', (char const )'r', (char const )'e',
4289 (char const )'e', (char const )'-', (char const )'A', (char const )'x',
4290 (char const )'i', (char const )'s', (char const )' ', (char const )'D',
4291 (char const )'i', (char const )'g', (char const )'i', (char const )'t',
4292 (char const )'a', (char const )'l', (char const )' ', (char const )'A',
4293 (char const )'c', (char const )'c', (char const )'e', (char const )'l',
4294 (char const )'e', (char const )'r', (char const )'o', (char const )'m',
4295 (char const )'e', (char const )'t', (char const )'e', (char const )'r',
4296 (char const )' ', (char const )'S', (char const )'P', (char const )'I',
4297 (char const )' ', (char const )'B', (char const )'u', (char const )'s',
4298 (char const )' ', (char const )'D', (char const )'r', (char const )'i',
4299 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
4300#line 137 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4301static char const __mod_license137[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4302__aligned__(1))) =
4303#line 137
4304 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4305 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4306 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4307#line 155
4308void ldv_check_final_state(void) ;
4309#line 158
4310extern void ldv_check_return_value(int res ) ;
4311#line 161
4312extern void ldv_initialize(void) ;
4313#line 164
4314extern int __VERIFIER_nondet_int(void) ;
4315#line 167 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4316int LDV_IN_INTERRUPT ;
4317#line 252 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4318static int res_adxl34x_spi_probe_3 ;
4319#line 170 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4320void main(void)
4321{ struct device *var_group1 ;
4322 unsigned char var_adxl34x_spi_write_1_p1 ;
4323 unsigned char var_adxl34x_spi_write_1_p2 ;
4324 unsigned char var_adxl34x_spi_read_0_p1 ;
4325 unsigned char var_adxl34x_spi_read_block_2_p1 ;
4326 int var_adxl34x_spi_read_block_2_p2 ;
4327 void *var_adxl34x_spi_read_block_2_p3 ;
4328 struct spi_device *var_group2 ;
4329 int ldv_s_adxl34x_driver_spi_driver ;
4330 int tmp___7 ;
4331 int tmp___8 ;
4332 int __cil_tmp12 ;
4333
4334 {
4335 {
4336#line 264
4337 LDV_IN_INTERRUPT = 1;
4338#line 273
4339 ldv_initialize();
4340#line 276
4341 ldv_s_adxl34x_driver_spi_driver = 0;
4342 }
4343 {
4344#line 279
4345 while (1) {
4346 while_continue: ;
4347 {
4348#line 279
4349 tmp___8 = __VERIFIER_nondet_int();
4350 }
4351#line 279
4352 if (tmp___8) {
4353
4354 } else {
4355 {
4356#line 279
4357 __cil_tmp12 = ldv_s_adxl34x_driver_spi_driver == 0;
4358#line 279
4359 if (! __cil_tmp12) {
4360
4361 } else {
4362#line 279
4363 goto while_break;
4364 }
4365 }
4366 }
4367 {
4368#line 283
4369 tmp___7 = __VERIFIER_nondet_int();
4370 }
4371#line 285
4372 if (tmp___7 == 0) {
4373#line 285
4374 goto case_0;
4375 } else
4376#line 314
4377 if (tmp___7 == 1) {
4378#line 314
4379 goto case_1;
4380 } else
4381#line 343
4382 if (tmp___7 == 2) {
4383#line 343
4384 goto case_2;
4385 } else
4386#line 372
4387 if (tmp___7 == 3) {
4388#line 372
4389 goto case_3;
4390 } else {
4391 {
4392#line 404
4393 goto switch_default;
4394#line 283
4395 if (0) {
4396 case_0:
4397 {
4398#line 302
4399 adxl34x_spi_write(var_group1, var_adxl34x_spi_write_1_p1, var_adxl34x_spi_write_1_p2);
4400 }
4401#line 313
4402 goto switch_break;
4403 case_1:
4404 {
4405#line 331
4406 adxl34x_spi_read(var_group1, var_adxl34x_spi_read_0_p1);
4407 }
4408#line 342
4409 goto switch_break;
4410 case_2:
4411 {
4412#line 360
4413 adxl34x_spi_read_block(var_group1, var_adxl34x_spi_read_block_2_p1, var_adxl34x_spi_read_block_2_p2,
4414 var_adxl34x_spi_read_block_2_p3);
4415 }
4416#line 371
4417 goto switch_break;
4418 case_3:
4419#line 375
4420 if (ldv_s_adxl34x_driver_spi_driver == 0) {
4421 {
4422#line 389
4423 res_adxl34x_spi_probe_3 = adxl34x_spi_probe(var_group2);
4424#line 390
4425 ldv_check_return_value(res_adxl34x_spi_probe_3);
4426 }
4427#line 391
4428 if (res_adxl34x_spi_probe_3) {
4429#line 392
4430 goto ldv_module_exit;
4431 } else {
4432
4433 }
4434#line 397
4435 ldv_s_adxl34x_driver_spi_driver = 0;
4436 } else {
4437
4438 }
4439#line 403
4440 goto switch_break;
4441 switch_default:
4442#line 404
4443 goto switch_break;
4444 } else {
4445 switch_break: ;
4446 }
4447 }
4448 }
4449 }
4450 while_break: ;
4451 }
4452 ldv_module_exit:
4453 {
4454#line 413
4455 ldv_check_final_state();
4456 }
4457#line 416
4458 return;
4459}
4460}
4461#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4462void ldv_blast_assert(void)
4463{
4464
4465 {
4466 ERROR:
4467#line 6
4468 goto ERROR;
4469}
4470}
4471#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4472extern int __VERIFIER_nondet_int(void) ;
4473#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4474int ldv_mutex = 1;
4475#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4476int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4477{ int nondetermined ;
4478
4479 {
4480#line 29
4481 if (ldv_mutex == 1) {
4482
4483 } else {
4484 {
4485#line 29
4486 ldv_blast_assert();
4487 }
4488 }
4489 {
4490#line 32
4491 nondetermined = __VERIFIER_nondet_int();
4492 }
4493#line 35
4494 if (nondetermined) {
4495#line 38
4496 ldv_mutex = 2;
4497#line 40
4498 return (0);
4499 } else {
4500#line 45
4501 return (-4);
4502 }
4503}
4504}
4505#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4506int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4507{ int nondetermined ;
4508
4509 {
4510#line 57
4511 if (ldv_mutex == 1) {
4512
4513 } else {
4514 {
4515#line 57
4516 ldv_blast_assert();
4517 }
4518 }
4519 {
4520#line 60
4521 nondetermined = __VERIFIER_nondet_int();
4522 }
4523#line 63
4524 if (nondetermined) {
4525#line 66
4526 ldv_mutex = 2;
4527#line 68
4528 return (0);
4529 } else {
4530#line 73
4531 return (-4);
4532 }
4533}
4534}
4535#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4536int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4537{ int atomic_value_after_dec ;
4538
4539 {
4540#line 83
4541 if (ldv_mutex == 1) {
4542
4543 } else {
4544 {
4545#line 83
4546 ldv_blast_assert();
4547 }
4548 }
4549 {
4550#line 86
4551 atomic_value_after_dec = __VERIFIER_nondet_int();
4552 }
4553#line 89
4554 if (atomic_value_after_dec == 0) {
4555#line 92
4556 ldv_mutex = 2;
4557#line 94
4558 return (1);
4559 } else {
4560
4561 }
4562#line 98
4563 return (0);
4564}
4565}
4566#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4567void mutex_lock(struct mutex *lock )
4568{
4569
4570 {
4571#line 108
4572 if (ldv_mutex == 1) {
4573
4574 } else {
4575 {
4576#line 108
4577 ldv_blast_assert();
4578 }
4579 }
4580#line 110
4581 ldv_mutex = 2;
4582#line 111
4583 return;
4584}
4585}
4586#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4587int mutex_trylock(struct mutex *lock )
4588{ int nondetermined ;
4589
4590 {
4591#line 121
4592 if (ldv_mutex == 1) {
4593
4594 } else {
4595 {
4596#line 121
4597 ldv_blast_assert();
4598 }
4599 }
4600 {
4601#line 124
4602 nondetermined = __VERIFIER_nondet_int();
4603 }
4604#line 127
4605 if (nondetermined) {
4606#line 130
4607 ldv_mutex = 2;
4608#line 132
4609 return (1);
4610 } else {
4611#line 137
4612 return (0);
4613 }
4614}
4615}
4616#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4617void mutex_unlock(struct mutex *lock )
4618{
4619
4620 {
4621#line 147
4622 if (ldv_mutex == 2) {
4623
4624 } else {
4625 {
4626#line 147
4627 ldv_blast_assert();
4628 }
4629 }
4630#line 149
4631 ldv_mutex = 1;
4632#line 150
4633 return;
4634}
4635}
4636#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4637void ldv_check_final_state(void)
4638{
4639
4640 {
4641#line 156
4642 if (ldv_mutex == 1) {
4643
4644 } else {
4645 {
4646#line 156
4647 ldv_blast_assert();
4648 }
4649 }
4650#line 157
4651 return;
4652}
4653}
4654#line 425 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3999/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/adxl34x-spi.c.common.c"
4655long s__builtin_expect(long val , long res )
4656{
4657
4658 {
4659#line 426
4660 return (val);
4661}
4662}