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