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 43 "include/linux/input.h"
1109struct input_id {
1110 __u16 bustype ;
1111 __u16 vendor ;
1112 __u16 product ;
1113 __u16 version ;
1114};
1115#line 69 "include/linux/input.h"
1116struct input_absinfo {
1117 __s32 value ;
1118 __s32 minimum ;
1119 __s32 maximum ;
1120 __s32 fuzz ;
1121 __s32 flat ;
1122 __s32 resolution ;
1123};
1124#line 93 "include/linux/input.h"
1125struct input_keymap_entry {
1126 __u8 flags ;
1127 __u8 len ;
1128 __u16 index ;
1129 __u32 keycode ;
1130 __u8 scancode[32] ;
1131};
1132#line 957 "include/linux/input.h"
1133struct ff_replay {
1134 __u16 length ;
1135 __u16 delay ;
1136};
1137#line 967 "include/linux/input.h"
1138struct ff_trigger {
1139 __u16 button ;
1140 __u16 interval ;
1141};
1142#line 984 "include/linux/input.h"
1143struct ff_envelope {
1144 __u16 attack_length ;
1145 __u16 attack_level ;
1146 __u16 fade_length ;
1147 __u16 fade_level ;
1148};
1149#line 996 "include/linux/input.h"
1150struct ff_constant_effect {
1151 __s16 level ;
1152 struct ff_envelope envelope ;
1153};
1154#line 1007 "include/linux/input.h"
1155struct ff_ramp_effect {
1156 __s16 start_level ;
1157 __s16 end_level ;
1158 struct ff_envelope envelope ;
1159};
1160#line 1023 "include/linux/input.h"
1161struct ff_condition_effect {
1162 __u16 right_saturation ;
1163 __u16 left_saturation ;
1164 __s16 right_coeff ;
1165 __s16 left_coeff ;
1166 __u16 deadband ;
1167 __s16 center ;
1168};
1169#line 1052 "include/linux/input.h"
1170struct ff_periodic_effect {
1171 __u16 waveform ;
1172 __u16 period ;
1173 __s16 magnitude ;
1174 __s16 offset ;
1175 __u16 phase ;
1176 struct ff_envelope envelope ;
1177 __u32 custom_len ;
1178 __s16 *custom_data ;
1179};
1180#line 1073 "include/linux/input.h"
1181struct ff_rumble_effect {
1182 __u16 strong_magnitude ;
1183 __u16 weak_magnitude ;
1184};
1185#line 1101 "include/linux/input.h"
1186union __anonunion_u_201 {
1187 struct ff_constant_effect constant ;
1188 struct ff_ramp_effect ramp ;
1189 struct ff_periodic_effect periodic ;
1190 struct ff_condition_effect condition[2] ;
1191 struct ff_rumble_effect rumble ;
1192};
1193#line 1101 "include/linux/input.h"
1194struct ff_effect {
1195 __u16 type ;
1196 __s16 id ;
1197 __u16 direction ;
1198 struct ff_trigger trigger ;
1199 struct ff_replay replay ;
1200 union __anonunion_u_201 u ;
1201};
1202#line 19 "include/linux/klist.h"
1203struct klist_node;
1204#line 19
1205struct klist_node;
1206#line 39 "include/linux/klist.h"
1207struct klist_node {
1208 void *n_klist ;
1209 struct list_head n_node ;
1210 struct kref n_ref ;
1211};
1212#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1213struct dma_map_ops;
1214#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1215struct dev_archdata {
1216 void *acpi_handle ;
1217 struct dma_map_ops *dma_ops ;
1218 void *iommu ;
1219};
1220#line 28 "include/linux/device.h"
1221struct device;
1222#line 29
1223struct device_private;
1224#line 29
1225struct device_private;
1226#line 30
1227struct device_driver;
1228#line 30
1229struct device_driver;
1230#line 31
1231struct driver_private;
1232#line 31
1233struct driver_private;
1234#line 32
1235struct module;
1236#line 33
1237struct class;
1238#line 33
1239struct class;
1240#line 34
1241struct subsys_private;
1242#line 34
1243struct subsys_private;
1244#line 35
1245struct bus_type;
1246#line 35
1247struct bus_type;
1248#line 36
1249struct device_node;
1250#line 36
1251struct device_node;
1252#line 37
1253struct iommu_ops;
1254#line 37
1255struct iommu_ops;
1256#line 39 "include/linux/device.h"
1257struct bus_attribute {
1258 struct attribute attr ;
1259 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1260 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1261};
1262#line 89
1263struct device_attribute;
1264#line 89
1265struct driver_attribute;
1266#line 89 "include/linux/device.h"
1267struct bus_type {
1268 char const *name ;
1269 char const *dev_name ;
1270 struct device *dev_root ;
1271 struct bus_attribute *bus_attrs ;
1272 struct device_attribute *dev_attrs ;
1273 struct driver_attribute *drv_attrs ;
1274 int (*match)(struct device *dev , struct device_driver *drv ) ;
1275 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1276 int (*probe)(struct device *dev ) ;
1277 int (*remove)(struct device *dev ) ;
1278 void (*shutdown)(struct device *dev ) ;
1279 int (*suspend)(struct device *dev , pm_message_t state ) ;
1280 int (*resume)(struct device *dev ) ;
1281 struct dev_pm_ops const *pm ;
1282 struct iommu_ops *iommu_ops ;
1283 struct subsys_private *p ;
1284};
1285#line 127
1286struct device_type;
1287#line 214
1288struct of_device_id;
1289#line 214 "include/linux/device.h"
1290struct device_driver {
1291 char const *name ;
1292 struct bus_type *bus ;
1293 struct module *owner ;
1294 char const *mod_name ;
1295 bool suppress_bind_attrs ;
1296 struct of_device_id const *of_match_table ;
1297 int (*probe)(struct device *dev ) ;
1298 int (*remove)(struct device *dev ) ;
1299 void (*shutdown)(struct device *dev ) ;
1300 int (*suspend)(struct device *dev , pm_message_t state ) ;
1301 int (*resume)(struct device *dev ) ;
1302 struct attribute_group const **groups ;
1303 struct dev_pm_ops const *pm ;
1304 struct driver_private *p ;
1305};
1306#line 249 "include/linux/device.h"
1307struct driver_attribute {
1308 struct attribute attr ;
1309 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1310 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1311};
1312#line 330
1313struct class_attribute;
1314#line 330 "include/linux/device.h"
1315struct class {
1316 char const *name ;
1317 struct module *owner ;
1318 struct class_attribute *class_attrs ;
1319 struct device_attribute *dev_attrs ;
1320 struct bin_attribute *dev_bin_attrs ;
1321 struct kobject *dev_kobj ;
1322 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1323 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1324 void (*class_release)(struct class *class ) ;
1325 void (*dev_release)(struct device *dev ) ;
1326 int (*suspend)(struct device *dev , pm_message_t state ) ;
1327 int (*resume)(struct device *dev ) ;
1328 struct kobj_ns_type_operations const *ns_type ;
1329 void const *(*namespace)(struct device *dev ) ;
1330 struct dev_pm_ops const *pm ;
1331 struct subsys_private *p ;
1332};
1333#line 397 "include/linux/device.h"
1334struct class_attribute {
1335 struct attribute attr ;
1336 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1337 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1338 size_t count ) ;
1339 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1340};
1341#line 465 "include/linux/device.h"
1342struct device_type {
1343 char const *name ;
1344 struct attribute_group const **groups ;
1345 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1346 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1347 void (*release)(struct device *dev ) ;
1348 struct dev_pm_ops const *pm ;
1349};
1350#line 476 "include/linux/device.h"
1351struct device_attribute {
1352 struct attribute attr ;
1353 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1354 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1355 size_t count ) ;
1356};
1357#line 559 "include/linux/device.h"
1358struct device_dma_parameters {
1359 unsigned int max_segment_size ;
1360 unsigned long segment_boundary_mask ;
1361};
1362#line 627
1363struct dma_coherent_mem;
1364#line 627 "include/linux/device.h"
1365struct device {
1366 struct device *parent ;
1367 struct device_private *p ;
1368 struct kobject kobj ;
1369 char const *init_name ;
1370 struct device_type const *type ;
1371 struct mutex mutex ;
1372 struct bus_type *bus ;
1373 struct device_driver *driver ;
1374 void *platform_data ;
1375 struct dev_pm_info power ;
1376 struct dev_pm_domain *pm_domain ;
1377 int numa_node ;
1378 u64 *dma_mask ;
1379 u64 coherent_dma_mask ;
1380 struct device_dma_parameters *dma_parms ;
1381 struct list_head dma_pools ;
1382 struct dma_coherent_mem *dma_mem ;
1383 struct dev_archdata archdata ;
1384 struct device_node *of_node ;
1385 dev_t devt ;
1386 u32 id ;
1387 spinlock_t devres_lock ;
1388 struct list_head devres_head ;
1389 struct klist_node knode_class ;
1390 struct class *class ;
1391 struct attribute_group const **groups ;
1392 void (*release)(struct device *dev ) ;
1393};
1394#line 43 "include/linux/pm_wakeup.h"
1395struct wakeup_source {
1396 char const *name ;
1397 struct list_head entry ;
1398 spinlock_t lock ;
1399 struct timer_list timer ;
1400 unsigned long timer_expires ;
1401 ktime_t total_time ;
1402 ktime_t max_time ;
1403 ktime_t last_time ;
1404 unsigned long event_count ;
1405 unsigned long active_count ;
1406 unsigned long relax_count ;
1407 unsigned long hit_count ;
1408 unsigned int active : 1 ;
1409};
1410#line 15 "include/linux/blk_types.h"
1411struct page;
1412#line 16
1413struct block_device;
1414#line 16
1415struct block_device;
1416#line 33 "include/linux/list_bl.h"
1417struct hlist_bl_node;
1418#line 33 "include/linux/list_bl.h"
1419struct hlist_bl_head {
1420 struct hlist_bl_node *first ;
1421};
1422#line 37 "include/linux/list_bl.h"
1423struct hlist_bl_node {
1424 struct hlist_bl_node *next ;
1425 struct hlist_bl_node **pprev ;
1426};
1427#line 13 "include/linux/dcache.h"
1428struct nameidata;
1429#line 13
1430struct nameidata;
1431#line 14
1432struct path;
1433#line 14
1434struct path;
1435#line 15
1436struct vfsmount;
1437#line 15
1438struct vfsmount;
1439#line 35 "include/linux/dcache.h"
1440struct qstr {
1441 unsigned int hash ;
1442 unsigned int len ;
1443 unsigned char const *name ;
1444};
1445#line 88
1446struct inode;
1447#line 88
1448struct dentry_operations;
1449#line 88
1450struct super_block;
1451#line 88 "include/linux/dcache.h"
1452union __anonunion_d_u_202 {
1453 struct list_head d_child ;
1454 struct rcu_head d_rcu ;
1455};
1456#line 88 "include/linux/dcache.h"
1457struct dentry {
1458 unsigned int d_flags ;
1459 seqcount_t d_seq ;
1460 struct hlist_bl_node d_hash ;
1461 struct dentry *d_parent ;
1462 struct qstr d_name ;
1463 struct inode *d_inode ;
1464 unsigned char d_iname[32] ;
1465 unsigned int d_count ;
1466 spinlock_t d_lock ;
1467 struct dentry_operations const *d_op ;
1468 struct super_block *d_sb ;
1469 unsigned long d_time ;
1470 void *d_fsdata ;
1471 struct list_head d_lru ;
1472 union __anonunion_d_u_202 d_u ;
1473 struct list_head d_subdirs ;
1474 struct list_head d_alias ;
1475};
1476#line 131 "include/linux/dcache.h"
1477struct dentry_operations {
1478 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1479 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1480 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1481 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1482 int (*d_delete)(struct dentry const * ) ;
1483 void (*d_release)(struct dentry * ) ;
1484 void (*d_prune)(struct dentry * ) ;
1485 void (*d_iput)(struct dentry * , struct inode * ) ;
1486 char *(*d_dname)(struct dentry * , char * , int ) ;
1487 struct vfsmount *(*d_automount)(struct path * ) ;
1488 int (*d_manage)(struct dentry * , bool ) ;
1489} __attribute__((__aligned__((1) << (6) ))) ;
1490#line 4 "include/linux/path.h"
1491struct dentry;
1492#line 5
1493struct vfsmount;
1494#line 7 "include/linux/path.h"
1495struct path {
1496 struct vfsmount *mnt ;
1497 struct dentry *dentry ;
1498};
1499#line 64 "include/linux/radix-tree.h"
1500struct radix_tree_node;
1501#line 64 "include/linux/radix-tree.h"
1502struct radix_tree_root {
1503 unsigned int height ;
1504 gfp_t gfp_mask ;
1505 struct radix_tree_node *rnode ;
1506};
1507#line 14 "include/linux/prio_tree.h"
1508struct prio_tree_node;
1509#line 14 "include/linux/prio_tree.h"
1510struct raw_prio_tree_node {
1511 struct prio_tree_node *left ;
1512 struct prio_tree_node *right ;
1513 struct prio_tree_node *parent ;
1514};
1515#line 20 "include/linux/prio_tree.h"
1516struct prio_tree_node {
1517 struct prio_tree_node *left ;
1518 struct prio_tree_node *right ;
1519 struct prio_tree_node *parent ;
1520 unsigned long start ;
1521 unsigned long last ;
1522};
1523#line 28 "include/linux/prio_tree.h"
1524struct prio_tree_root {
1525 struct prio_tree_node *prio_tree_node ;
1526 unsigned short index_bits ;
1527 unsigned short raw ;
1528};
1529#line 6 "include/linux/pid.h"
1530enum pid_type {
1531 PIDTYPE_PID = 0,
1532 PIDTYPE_PGID = 1,
1533 PIDTYPE_SID = 2,
1534 PIDTYPE_MAX = 3
1535} ;
1536#line 50
1537struct pid_namespace;
1538#line 50 "include/linux/pid.h"
1539struct upid {
1540 int nr ;
1541 struct pid_namespace *ns ;
1542 struct hlist_node pid_chain ;
1543};
1544#line 57 "include/linux/pid.h"
1545struct pid {
1546 atomic_t count ;
1547 unsigned int level ;
1548 struct hlist_head tasks[3] ;
1549 struct rcu_head rcu ;
1550 struct upid numbers[1] ;
1551};
1552#line 69 "include/linux/pid.h"
1553struct pid_link {
1554 struct hlist_node node ;
1555 struct pid *pid ;
1556};
1557#line 100
1558struct pid_namespace;
1559#line 18 "include/linux/capability.h"
1560struct task_struct;
1561#line 94 "include/linux/capability.h"
1562struct kernel_cap_struct {
1563 __u32 cap[2] ;
1564};
1565#line 94 "include/linux/capability.h"
1566typedef struct kernel_cap_struct kernel_cap_t;
1567#line 377
1568struct dentry;
1569#line 378
1570struct user_namespace;
1571#line 378
1572struct user_namespace;
1573#line 16 "include/linux/fiemap.h"
1574struct fiemap_extent {
1575 __u64 fe_logical ;
1576 __u64 fe_physical ;
1577 __u64 fe_length ;
1578 __u64 fe_reserved64[2] ;
1579 __u32 fe_flags ;
1580 __u32 fe_reserved[3] ;
1581};
1582#line 8 "include/linux/shrinker.h"
1583struct shrink_control {
1584 gfp_t gfp_mask ;
1585 unsigned long nr_to_scan ;
1586};
1587#line 31 "include/linux/shrinker.h"
1588struct shrinker {
1589 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1590 int seeks ;
1591 long batch ;
1592 struct list_head list ;
1593 atomic_long_t nr_in_batch ;
1594};
1595#line 10 "include/linux/migrate_mode.h"
1596enum migrate_mode {
1597 MIGRATE_ASYNC = 0,
1598 MIGRATE_SYNC_LIGHT = 1,
1599 MIGRATE_SYNC = 2
1600} ;
1601#line 408 "include/linux/fs.h"
1602struct export_operations;
1603#line 408
1604struct export_operations;
1605#line 410
1606struct iovec;
1607#line 410
1608struct iovec;
1609#line 411
1610struct nameidata;
1611#line 412
1612struct kiocb;
1613#line 412
1614struct kiocb;
1615#line 413
1616struct kobject;
1617#line 414
1618struct pipe_inode_info;
1619#line 414
1620struct pipe_inode_info;
1621#line 415
1622struct poll_table_struct;
1623#line 415
1624struct poll_table_struct;
1625#line 416
1626struct kstatfs;
1627#line 416
1628struct kstatfs;
1629#line 417
1630struct vm_area_struct;
1631#line 418
1632struct vfsmount;
1633#line 419
1634struct cred;
1635#line 469 "include/linux/fs.h"
1636struct iattr {
1637 unsigned int ia_valid ;
1638 umode_t ia_mode ;
1639 uid_t ia_uid ;
1640 gid_t ia_gid ;
1641 loff_t ia_size ;
1642 struct timespec ia_atime ;
1643 struct timespec ia_mtime ;
1644 struct timespec ia_ctime ;
1645 struct file *ia_file ;
1646};
1647#line 129 "include/linux/quota.h"
1648struct if_dqinfo {
1649 __u64 dqi_bgrace ;
1650 __u64 dqi_igrace ;
1651 __u32 dqi_flags ;
1652 __u32 dqi_valid ;
1653};
1654#line 50 "include/linux/dqblk_xfs.h"
1655struct fs_disk_quota {
1656 __s8 d_version ;
1657 __s8 d_flags ;
1658 __u16 d_fieldmask ;
1659 __u32 d_id ;
1660 __u64 d_blk_hardlimit ;
1661 __u64 d_blk_softlimit ;
1662 __u64 d_ino_hardlimit ;
1663 __u64 d_ino_softlimit ;
1664 __u64 d_bcount ;
1665 __u64 d_icount ;
1666 __s32 d_itimer ;
1667 __s32 d_btimer ;
1668 __u16 d_iwarns ;
1669 __u16 d_bwarns ;
1670 __s32 d_padding2 ;
1671 __u64 d_rtb_hardlimit ;
1672 __u64 d_rtb_softlimit ;
1673 __u64 d_rtbcount ;
1674 __s32 d_rtbtimer ;
1675 __u16 d_rtbwarns ;
1676 __s16 d_padding3 ;
1677 char d_padding4[8] ;
1678};
1679#line 146 "include/linux/dqblk_xfs.h"
1680struct fs_qfilestat {
1681 __u64 qfs_ino ;
1682 __u64 qfs_nblks ;
1683 __u32 qfs_nextents ;
1684};
1685#line 146 "include/linux/dqblk_xfs.h"
1686typedef struct fs_qfilestat fs_qfilestat_t;
1687#line 152 "include/linux/dqblk_xfs.h"
1688struct fs_quota_stat {
1689 __s8 qs_version ;
1690 __u16 qs_flags ;
1691 __s8 qs_pad ;
1692 fs_qfilestat_t qs_uquota ;
1693 fs_qfilestat_t qs_gquota ;
1694 __u32 qs_incoredqs ;
1695 __s32 qs_btimelimit ;
1696 __s32 qs_itimelimit ;
1697 __s32 qs_rtbtimelimit ;
1698 __u16 qs_bwarnlimit ;
1699 __u16 qs_iwarnlimit ;
1700};
1701#line 17 "include/linux/dqblk_qtree.h"
1702struct dquot;
1703#line 17
1704struct dquot;
1705#line 185 "include/linux/quota.h"
1706typedef __kernel_uid32_t qid_t;
1707#line 186 "include/linux/quota.h"
1708typedef long long qsize_t;
1709#line 200 "include/linux/quota.h"
1710struct mem_dqblk {
1711 qsize_t dqb_bhardlimit ;
1712 qsize_t dqb_bsoftlimit ;
1713 qsize_t dqb_curspace ;
1714 qsize_t dqb_rsvspace ;
1715 qsize_t dqb_ihardlimit ;
1716 qsize_t dqb_isoftlimit ;
1717 qsize_t dqb_curinodes ;
1718 time_t dqb_btime ;
1719 time_t dqb_itime ;
1720};
1721#line 215
1722struct quota_format_type;
1723#line 215
1724struct quota_format_type;
1725#line 217 "include/linux/quota.h"
1726struct mem_dqinfo {
1727 struct quota_format_type *dqi_format ;
1728 int dqi_fmt_id ;
1729 struct list_head dqi_dirty_list ;
1730 unsigned long dqi_flags ;
1731 unsigned int dqi_bgrace ;
1732 unsigned int dqi_igrace ;
1733 qsize_t dqi_maxblimit ;
1734 qsize_t dqi_maxilimit ;
1735 void *dqi_priv ;
1736};
1737#line 230
1738struct super_block;
1739#line 288 "include/linux/quota.h"
1740struct dquot {
1741 struct hlist_node dq_hash ;
1742 struct list_head dq_inuse ;
1743 struct list_head dq_free ;
1744 struct list_head dq_dirty ;
1745 struct mutex dq_lock ;
1746 atomic_t dq_count ;
1747 wait_queue_head_t dq_wait_unused ;
1748 struct super_block *dq_sb ;
1749 unsigned int dq_id ;
1750 loff_t dq_off ;
1751 unsigned long dq_flags ;
1752 short dq_type ;
1753 struct mem_dqblk dq_dqb ;
1754};
1755#line 305 "include/linux/quota.h"
1756struct quota_format_ops {
1757 int (*check_quota_file)(struct super_block *sb , int type ) ;
1758 int (*read_file_info)(struct super_block *sb , int type ) ;
1759 int (*write_file_info)(struct super_block *sb , int type ) ;
1760 int (*free_file_info)(struct super_block *sb , int type ) ;
1761 int (*read_dqblk)(struct dquot *dquot ) ;
1762 int (*commit_dqblk)(struct dquot *dquot ) ;
1763 int (*release_dqblk)(struct dquot *dquot ) ;
1764};
1765#line 316 "include/linux/quota.h"
1766struct dquot_operations {
1767 int (*write_dquot)(struct dquot * ) ;
1768 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1769 void (*destroy_dquot)(struct dquot * ) ;
1770 int (*acquire_dquot)(struct dquot * ) ;
1771 int (*release_dquot)(struct dquot * ) ;
1772 int (*mark_dirty)(struct dquot * ) ;
1773 int (*write_info)(struct super_block * , int ) ;
1774 qsize_t *(*get_reserved_space)(struct inode * ) ;
1775};
1776#line 329
1777struct path;
1778#line 332 "include/linux/quota.h"
1779struct quotactl_ops {
1780 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1781 int (*quota_on_meta)(struct super_block * , int , int ) ;
1782 int (*quota_off)(struct super_block * , int ) ;
1783 int (*quota_sync)(struct super_block * , int , int ) ;
1784 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1785 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1786 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1787 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1788 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1789 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1790};
1791#line 345 "include/linux/quota.h"
1792struct quota_format_type {
1793 int qf_fmt_id ;
1794 struct quota_format_ops const *qf_ops ;
1795 struct module *qf_owner ;
1796 struct quota_format_type *qf_next ;
1797};
1798#line 399 "include/linux/quota.h"
1799struct quota_info {
1800 unsigned int flags ;
1801 struct mutex dqio_mutex ;
1802 struct mutex dqonoff_mutex ;
1803 struct rw_semaphore dqptr_sem ;
1804 struct inode *files[2] ;
1805 struct mem_dqinfo info[2] ;
1806 struct quota_format_ops const *ops[2] ;
1807};
1808#line 532 "include/linux/fs.h"
1809struct page;
1810#line 533
1811struct address_space;
1812#line 533
1813struct address_space;
1814#line 534
1815struct writeback_control;
1816#line 534
1817struct writeback_control;
1818#line 577 "include/linux/fs.h"
1819union __anonunion_arg_210 {
1820 char *buf ;
1821 void *data ;
1822};
1823#line 577 "include/linux/fs.h"
1824struct __anonstruct_read_descriptor_t_209 {
1825 size_t written ;
1826 size_t count ;
1827 union __anonunion_arg_210 arg ;
1828 int error ;
1829};
1830#line 577 "include/linux/fs.h"
1831typedef struct __anonstruct_read_descriptor_t_209 read_descriptor_t;
1832#line 590 "include/linux/fs.h"
1833struct address_space_operations {
1834 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1835 int (*readpage)(struct file * , struct page * ) ;
1836 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1837 int (*set_page_dirty)(struct page *page ) ;
1838 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1839 unsigned int nr_pages ) ;
1840 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1841 unsigned int len , unsigned int flags , struct page **pagep ,
1842 void **fsdata ) ;
1843 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1844 unsigned int copied , struct page *page , void *fsdata ) ;
1845 sector_t (*bmap)(struct address_space * , sector_t ) ;
1846 void (*invalidatepage)(struct page * , unsigned long ) ;
1847 int (*releasepage)(struct page * , gfp_t ) ;
1848 void (*freepage)(struct page * ) ;
1849 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1850 unsigned long nr_segs ) ;
1851 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1852 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1853 int (*launder_page)(struct page * ) ;
1854 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1855 int (*error_remove_page)(struct address_space * , struct page * ) ;
1856};
1857#line 645
1858struct backing_dev_info;
1859#line 645
1860struct backing_dev_info;
1861#line 646 "include/linux/fs.h"
1862struct address_space {
1863 struct inode *host ;
1864 struct radix_tree_root page_tree ;
1865 spinlock_t tree_lock ;
1866 unsigned int i_mmap_writable ;
1867 struct prio_tree_root i_mmap ;
1868 struct list_head i_mmap_nonlinear ;
1869 struct mutex i_mmap_mutex ;
1870 unsigned long nrpages ;
1871 unsigned long writeback_index ;
1872 struct address_space_operations const *a_ops ;
1873 unsigned long flags ;
1874 struct backing_dev_info *backing_dev_info ;
1875 spinlock_t private_lock ;
1876 struct list_head private_list ;
1877 struct address_space *assoc_mapping ;
1878} __attribute__((__aligned__(sizeof(long )))) ;
1879#line 669
1880struct request_queue;
1881#line 669
1882struct request_queue;
1883#line 671
1884struct hd_struct;
1885#line 671
1886struct gendisk;
1887#line 671 "include/linux/fs.h"
1888struct block_device {
1889 dev_t bd_dev ;
1890 int bd_openers ;
1891 struct inode *bd_inode ;
1892 struct super_block *bd_super ;
1893 struct mutex bd_mutex ;
1894 struct list_head bd_inodes ;
1895 void *bd_claiming ;
1896 void *bd_holder ;
1897 int bd_holders ;
1898 bool bd_write_holder ;
1899 struct list_head bd_holder_disks ;
1900 struct block_device *bd_contains ;
1901 unsigned int bd_block_size ;
1902 struct hd_struct *bd_part ;
1903 unsigned int bd_part_count ;
1904 int bd_invalidated ;
1905 struct gendisk *bd_disk ;
1906 struct request_queue *bd_queue ;
1907 struct list_head bd_list ;
1908 unsigned long bd_private ;
1909 int bd_fsfreeze_count ;
1910 struct mutex bd_fsfreeze_mutex ;
1911};
1912#line 749
1913struct posix_acl;
1914#line 749
1915struct posix_acl;
1916#line 761
1917struct inode_operations;
1918#line 761 "include/linux/fs.h"
1919union __anonunion____missing_field_name_211 {
1920 unsigned int const i_nlink ;
1921 unsigned int __i_nlink ;
1922};
1923#line 761 "include/linux/fs.h"
1924union __anonunion____missing_field_name_212 {
1925 struct list_head i_dentry ;
1926 struct rcu_head i_rcu ;
1927};
1928#line 761
1929struct file_operations;
1930#line 761
1931struct file_lock;
1932#line 761
1933struct cdev;
1934#line 761 "include/linux/fs.h"
1935union __anonunion____missing_field_name_213 {
1936 struct pipe_inode_info *i_pipe ;
1937 struct block_device *i_bdev ;
1938 struct cdev *i_cdev ;
1939};
1940#line 761 "include/linux/fs.h"
1941struct inode {
1942 umode_t i_mode ;
1943 unsigned short i_opflags ;
1944 uid_t i_uid ;
1945 gid_t i_gid ;
1946 unsigned int i_flags ;
1947 struct posix_acl *i_acl ;
1948 struct posix_acl *i_default_acl ;
1949 struct inode_operations const *i_op ;
1950 struct super_block *i_sb ;
1951 struct address_space *i_mapping ;
1952 void *i_security ;
1953 unsigned long i_ino ;
1954 union __anonunion____missing_field_name_211 __annonCompField33 ;
1955 dev_t i_rdev ;
1956 struct timespec i_atime ;
1957 struct timespec i_mtime ;
1958 struct timespec i_ctime ;
1959 spinlock_t i_lock ;
1960 unsigned short i_bytes ;
1961 blkcnt_t i_blocks ;
1962 loff_t i_size ;
1963 unsigned long i_state ;
1964 struct mutex i_mutex ;
1965 unsigned long dirtied_when ;
1966 struct hlist_node i_hash ;
1967 struct list_head i_wb_list ;
1968 struct list_head i_lru ;
1969 struct list_head i_sb_list ;
1970 union __anonunion____missing_field_name_212 __annonCompField34 ;
1971 atomic_t i_count ;
1972 unsigned int i_blkbits ;
1973 u64 i_version ;
1974 atomic_t i_dio_count ;
1975 atomic_t i_writecount ;
1976 struct file_operations const *i_fop ;
1977 struct file_lock *i_flock ;
1978 struct address_space i_data ;
1979 struct dquot *i_dquot[2] ;
1980 struct list_head i_devices ;
1981 union __anonunion____missing_field_name_213 __annonCompField35 ;
1982 __u32 i_generation ;
1983 __u32 i_fsnotify_mask ;
1984 struct hlist_head i_fsnotify_marks ;
1985 atomic_t i_readcount ;
1986 void *i_private ;
1987};
1988#line 942 "include/linux/fs.h"
1989struct fown_struct {
1990 rwlock_t lock ;
1991 struct pid *pid ;
1992 enum pid_type pid_type ;
1993 uid_t uid ;
1994 uid_t euid ;
1995 int signum ;
1996};
1997#line 953 "include/linux/fs.h"
1998struct file_ra_state {
1999 unsigned long start ;
2000 unsigned int size ;
2001 unsigned int async_size ;
2002 unsigned int ra_pages ;
2003 unsigned int mmap_miss ;
2004 loff_t prev_pos ;
2005};
2006#line 976 "include/linux/fs.h"
2007union __anonunion_f_u_214 {
2008 struct list_head fu_list ;
2009 struct rcu_head fu_rcuhead ;
2010};
2011#line 976 "include/linux/fs.h"
2012struct file {
2013 union __anonunion_f_u_214 f_u ;
2014 struct path f_path ;
2015 struct file_operations const *f_op ;
2016 spinlock_t f_lock ;
2017 int f_sb_list_cpu ;
2018 atomic_long_t f_count ;
2019 unsigned int f_flags ;
2020 fmode_t f_mode ;
2021 loff_t f_pos ;
2022 struct fown_struct f_owner ;
2023 struct cred const *f_cred ;
2024 struct file_ra_state f_ra ;
2025 u64 f_version ;
2026 void *f_security ;
2027 void *private_data ;
2028 struct list_head f_ep_links ;
2029 struct list_head f_tfile_llink ;
2030 struct address_space *f_mapping ;
2031 unsigned long f_mnt_write_state ;
2032};
2033#line 1111
2034struct files_struct;
2035#line 1111 "include/linux/fs.h"
2036typedef struct files_struct *fl_owner_t;
2037#line 1113 "include/linux/fs.h"
2038struct file_lock_operations {
2039 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2040 void (*fl_release_private)(struct file_lock * ) ;
2041};
2042#line 1118 "include/linux/fs.h"
2043struct lock_manager_operations {
2044 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2045 void (*lm_notify)(struct file_lock * ) ;
2046 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2047 void (*lm_release_private)(struct file_lock * ) ;
2048 void (*lm_break)(struct file_lock * ) ;
2049 int (*lm_change)(struct file_lock ** , int ) ;
2050};
2051#line 4 "include/linux/nfs_fs_i.h"
2052struct nlm_lockowner;
2053#line 4
2054struct nlm_lockowner;
2055#line 9 "include/linux/nfs_fs_i.h"
2056struct nfs_lock_info {
2057 u32 state ;
2058 struct nlm_lockowner *owner ;
2059 struct list_head list ;
2060};
2061#line 15
2062struct nfs4_lock_state;
2063#line 15
2064struct nfs4_lock_state;
2065#line 16 "include/linux/nfs_fs_i.h"
2066struct nfs4_lock_info {
2067 struct nfs4_lock_state *owner ;
2068};
2069#line 1138 "include/linux/fs.h"
2070struct fasync_struct;
2071#line 1138 "include/linux/fs.h"
2072struct __anonstruct_afs_216 {
2073 struct list_head link ;
2074 int state ;
2075};
2076#line 1138 "include/linux/fs.h"
2077union __anonunion_fl_u_215 {
2078 struct nfs_lock_info nfs_fl ;
2079 struct nfs4_lock_info nfs4_fl ;
2080 struct __anonstruct_afs_216 afs ;
2081};
2082#line 1138 "include/linux/fs.h"
2083struct file_lock {
2084 struct file_lock *fl_next ;
2085 struct list_head fl_link ;
2086 struct list_head fl_block ;
2087 fl_owner_t fl_owner ;
2088 unsigned int fl_flags ;
2089 unsigned char fl_type ;
2090 unsigned int fl_pid ;
2091 struct pid *fl_nspid ;
2092 wait_queue_head_t fl_wait ;
2093 struct file *fl_file ;
2094 loff_t fl_start ;
2095 loff_t fl_end ;
2096 struct fasync_struct *fl_fasync ;
2097 unsigned long fl_break_time ;
2098 unsigned long fl_downgrade_time ;
2099 struct file_lock_operations const *fl_ops ;
2100 struct lock_manager_operations const *fl_lmops ;
2101 union __anonunion_fl_u_215 fl_u ;
2102};
2103#line 1378 "include/linux/fs.h"
2104struct fasync_struct {
2105 spinlock_t fa_lock ;
2106 int magic ;
2107 int fa_fd ;
2108 struct fasync_struct *fa_next ;
2109 struct file *fa_file ;
2110 struct rcu_head fa_rcu ;
2111};
2112#line 1418
2113struct file_system_type;
2114#line 1418
2115struct super_operations;
2116#line 1418
2117struct xattr_handler;
2118#line 1418
2119struct mtd_info;
2120#line 1418 "include/linux/fs.h"
2121struct super_block {
2122 struct list_head s_list ;
2123 dev_t s_dev ;
2124 unsigned char s_dirt ;
2125 unsigned char s_blocksize_bits ;
2126 unsigned long s_blocksize ;
2127 loff_t s_maxbytes ;
2128 struct file_system_type *s_type ;
2129 struct super_operations const *s_op ;
2130 struct dquot_operations const *dq_op ;
2131 struct quotactl_ops const *s_qcop ;
2132 struct export_operations const *s_export_op ;
2133 unsigned long s_flags ;
2134 unsigned long s_magic ;
2135 struct dentry *s_root ;
2136 struct rw_semaphore s_umount ;
2137 struct mutex s_lock ;
2138 int s_count ;
2139 atomic_t s_active ;
2140 void *s_security ;
2141 struct xattr_handler const **s_xattr ;
2142 struct list_head s_inodes ;
2143 struct hlist_bl_head s_anon ;
2144 struct list_head *s_files ;
2145 struct list_head s_mounts ;
2146 struct list_head s_dentry_lru ;
2147 int s_nr_dentry_unused ;
2148 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
2149 struct list_head s_inode_lru ;
2150 int s_nr_inodes_unused ;
2151 struct block_device *s_bdev ;
2152 struct backing_dev_info *s_bdi ;
2153 struct mtd_info *s_mtd ;
2154 struct hlist_node s_instances ;
2155 struct quota_info s_dquot ;
2156 int s_frozen ;
2157 wait_queue_head_t s_wait_unfrozen ;
2158 char s_id[32] ;
2159 u8 s_uuid[16] ;
2160 void *s_fs_info ;
2161 unsigned int s_max_links ;
2162 fmode_t s_mode ;
2163 u32 s_time_gran ;
2164 struct mutex s_vfs_rename_mutex ;
2165 char *s_subtype ;
2166 char *s_options ;
2167 struct dentry_operations const *s_d_op ;
2168 int cleancache_poolid ;
2169 struct shrinker s_shrink ;
2170 atomic_long_t s_remove_count ;
2171 int s_readonly_remount ;
2172};
2173#line 1567 "include/linux/fs.h"
2174struct fiemap_extent_info {
2175 unsigned int fi_flags ;
2176 unsigned int fi_extents_mapped ;
2177 unsigned int fi_extents_max ;
2178 struct fiemap_extent *fi_extents_start ;
2179};
2180#line 1609 "include/linux/fs.h"
2181struct file_operations {
2182 struct module *owner ;
2183 loff_t (*llseek)(struct file * , loff_t , int ) ;
2184 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2185 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2186 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2187 loff_t ) ;
2188 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2189 loff_t ) ;
2190 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2191 loff_t , u64 , unsigned int ) ) ;
2192 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2193 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2194 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2195 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2196 int (*open)(struct inode * , struct file * ) ;
2197 int (*flush)(struct file * , fl_owner_t id ) ;
2198 int (*release)(struct inode * , struct file * ) ;
2199 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
2200 int (*aio_fsync)(struct kiocb * , int datasync ) ;
2201 int (*fasync)(int , struct file * , int ) ;
2202 int (*lock)(struct file * , int , struct file_lock * ) ;
2203 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2204 int ) ;
2205 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2206 unsigned long , unsigned long ) ;
2207 int (*check_flags)(int ) ;
2208 int (*flock)(struct file * , int , struct file_lock * ) ;
2209 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2210 unsigned int ) ;
2211 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2212 unsigned int ) ;
2213 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2214 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
2215};
2216#line 1639 "include/linux/fs.h"
2217struct inode_operations {
2218 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2219 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2220 int (*permission)(struct inode * , int ) ;
2221 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2222 int (*readlink)(struct dentry * , char * , int ) ;
2223 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2224 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2225 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2226 int (*unlink)(struct inode * , struct dentry * ) ;
2227 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2228 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2229 int (*rmdir)(struct inode * , struct dentry * ) ;
2230 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2231 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2232 void (*truncate)(struct inode * ) ;
2233 int (*setattr)(struct dentry * , struct iattr * ) ;
2234 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2235 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2236 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2237 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2238 int (*removexattr)(struct dentry * , char const * ) ;
2239 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2240 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2241} __attribute__((__aligned__((1) << (6) ))) ;
2242#line 1669
2243struct seq_file;
2244#line 1684 "include/linux/fs.h"
2245struct super_operations {
2246 struct inode *(*alloc_inode)(struct super_block *sb ) ;
2247 void (*destroy_inode)(struct inode * ) ;
2248 void (*dirty_inode)(struct inode * , int flags ) ;
2249 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2250 int (*drop_inode)(struct inode * ) ;
2251 void (*evict_inode)(struct inode * ) ;
2252 void (*put_super)(struct super_block * ) ;
2253 void (*write_super)(struct super_block * ) ;
2254 int (*sync_fs)(struct super_block *sb , int wait ) ;
2255 int (*freeze_fs)(struct super_block * ) ;
2256 int (*unfreeze_fs)(struct super_block * ) ;
2257 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2258 int (*remount_fs)(struct super_block * , int * , char * ) ;
2259 void (*umount_begin)(struct super_block * ) ;
2260 int (*show_options)(struct seq_file * , struct dentry * ) ;
2261 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2262 int (*show_path)(struct seq_file * , struct dentry * ) ;
2263 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2264 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2265 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2266 loff_t ) ;
2267 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2268 int (*nr_cached_objects)(struct super_block * ) ;
2269 void (*free_cached_objects)(struct super_block * , int ) ;
2270};
2271#line 1835 "include/linux/fs.h"
2272struct file_system_type {
2273 char const *name ;
2274 int fs_flags ;
2275 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2276 void (*kill_sb)(struct super_block * ) ;
2277 struct module *owner ;
2278 struct file_system_type *next ;
2279 struct hlist_head fs_supers ;
2280 struct lock_class_key s_lock_key ;
2281 struct lock_class_key s_umount_key ;
2282 struct lock_class_key s_vfs_rename_key ;
2283 struct lock_class_key i_lock_key ;
2284 struct lock_class_key i_mutex_key ;
2285 struct lock_class_key i_mutex_dir_key ;
2286};
2287#line 12 "include/linux/mod_devicetable.h"
2288typedef unsigned long kernel_ulong_t;
2289#line 219 "include/linux/mod_devicetable.h"
2290struct of_device_id {
2291 char name[32] ;
2292 char type[32] ;
2293 char compatible[128] ;
2294 void *data ;
2295};
2296#line 312 "include/linux/mod_devicetable.h"
2297struct input_device_id {
2298 kernel_ulong_t flags ;
2299 __u16 bustype ;
2300 __u16 vendor ;
2301 __u16 product ;
2302 __u16 version ;
2303 kernel_ulong_t evbit[1] ;
2304 kernel_ulong_t keybit[12] ;
2305 kernel_ulong_t relbit[1] ;
2306 kernel_ulong_t absbit[1] ;
2307 kernel_ulong_t mscbit[1] ;
2308 kernel_ulong_t ledbit[1] ;
2309 kernel_ulong_t sndbit[1] ;
2310 kernel_ulong_t ffbit[2] ;
2311 kernel_ulong_t swbit[1] ;
2312 kernel_ulong_t driver_info ;
2313};
2314#line 431 "include/linux/mod_devicetable.h"
2315struct i2c_device_id {
2316 char name[20] ;
2317 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
2318};
2319#line 1250 "include/linux/input.h"
2320struct ff_device;
2321#line 1250
2322struct input_mt_slot;
2323#line 1250
2324struct input_handle;
2325#line 1250 "include/linux/input.h"
2326struct input_dev {
2327 char const *name ;
2328 char const *phys ;
2329 char const *uniq ;
2330 struct input_id id ;
2331 unsigned long propbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2332 unsigned long evbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2333 unsigned long keybit[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2334 unsigned long relbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2335 unsigned long absbit[((64UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2336 unsigned long mscbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2337 unsigned long ledbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2338 unsigned long sndbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2339 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2340 unsigned long swbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2341 unsigned int hint_events_per_packet ;
2342 unsigned int keycodemax ;
2343 unsigned int keycodesize ;
2344 void *keycode ;
2345 int (*setkeycode)(struct input_dev *dev , struct input_keymap_entry const *ke ,
2346 unsigned int *old_keycode ) ;
2347 int (*getkeycode)(struct input_dev *dev , struct input_keymap_entry *ke ) ;
2348 struct ff_device *ff ;
2349 unsigned int repeat_key ;
2350 struct timer_list timer ;
2351 int rep[2] ;
2352 struct input_mt_slot *mt ;
2353 int mtsize ;
2354 int slot ;
2355 int trkid ;
2356 struct input_absinfo *absinfo ;
2357 unsigned long key[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2358 unsigned long led[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2359 unsigned long snd[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2360 unsigned long sw[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2361 int (*open)(struct input_dev *dev ) ;
2362 void (*close)(struct input_dev *dev ) ;
2363 int (*flush)(struct input_dev *dev , struct file *file ) ;
2364 int (*event)(struct input_dev *dev , unsigned int type , unsigned int code , int value ) ;
2365 struct input_handle *grab ;
2366 spinlock_t event_lock ;
2367 struct mutex mutex ;
2368 unsigned int users ;
2369 bool going_away ;
2370 bool sync ;
2371 struct device dev ;
2372 struct list_head h_list ;
2373 struct list_head node ;
2374};
2375#line 1370
2376struct input_handle;
2377#line 1409 "include/linux/input.h"
2378struct input_handler {
2379 void *private ;
2380 void (*event)(struct input_handle *handle , unsigned int type , unsigned int code ,
2381 int value ) ;
2382 bool (*filter)(struct input_handle *handle , unsigned int type , unsigned int code ,
2383 int value ) ;
2384 bool (*match)(struct input_handler *handler , struct input_dev *dev ) ;
2385 int (*connect)(struct input_handler *handler , struct input_dev *dev , struct input_device_id const *id ) ;
2386 void (*disconnect)(struct input_handle *handle ) ;
2387 void (*start)(struct input_handle *handle ) ;
2388 struct file_operations const *fops ;
2389 int minor ;
2390 char const *name ;
2391 struct input_device_id const *id_table ;
2392 struct list_head h_list ;
2393 struct list_head node ;
2394};
2395#line 1442 "include/linux/input.h"
2396struct input_handle {
2397 void *private ;
2398 int open ;
2399 char const *name ;
2400 struct input_dev *dev ;
2401 struct input_handler *handler ;
2402 struct list_head d_node ;
2403 struct list_head h_node ;
2404};
2405#line 1619 "include/linux/input.h"
2406struct ff_device {
2407 int (*upload)(struct input_dev *dev , struct ff_effect *effect , struct ff_effect *old ) ;
2408 int (*erase)(struct input_dev *dev , int effect_id ) ;
2409 int (*playback)(struct input_dev *dev , int effect_id , int value ) ;
2410 void (*set_gain)(struct input_dev *dev , u16 gain ) ;
2411 void (*set_autocenter)(struct input_dev *dev , u16 magnitude ) ;
2412 void (*destroy)(struct ff_device * ) ;
2413 void *private ;
2414 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2415 struct mutex mutex ;
2416 int max_effects ;
2417 struct ff_effect *effects ;
2418 struct file *effect_owners[] ;
2419};
2420#line 10 "include/linux/irqreturn.h"
2421enum irqreturn {
2422 IRQ_NONE = 0,
2423 IRQ_HANDLED = 1,
2424 IRQ_WAKE_THREAD = 2
2425} ;
2426#line 16 "include/linux/irqreturn.h"
2427typedef enum irqreturn irqreturn_t;
2428#line 31 "include/linux/irq.h"
2429struct seq_file;
2430#line 32
2431struct module;
2432#line 12 "include/linux/irqdesc.h"
2433struct proc_dir_entry;
2434#line 12
2435struct proc_dir_entry;
2436#line 14
2437struct module;
2438#line 16 "include/linux/profile.h"
2439struct proc_dir_entry;
2440#line 17
2441struct pt_regs;
2442#line 65
2443struct task_struct;
2444#line 66
2445struct mm_struct;
2446#line 88
2447struct pt_regs;
2448#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
2449struct exception_table_entry {
2450 unsigned long insn ;
2451 unsigned long fixup ;
2452};
2453#line 132 "include/linux/hardirq.h"
2454struct task_struct;
2455#line 8 "include/linux/timerqueue.h"
2456struct timerqueue_node {
2457 struct rb_node node ;
2458 ktime_t expires ;
2459};
2460#line 13 "include/linux/timerqueue.h"
2461struct timerqueue_head {
2462 struct rb_root head ;
2463 struct timerqueue_node *next ;
2464};
2465#line 27 "include/linux/hrtimer.h"
2466struct hrtimer_clock_base;
2467#line 27
2468struct hrtimer_clock_base;
2469#line 28
2470struct hrtimer_cpu_base;
2471#line 28
2472struct hrtimer_cpu_base;
2473#line 44
2474enum hrtimer_restart {
2475 HRTIMER_NORESTART = 0,
2476 HRTIMER_RESTART = 1
2477} ;
2478#line 108 "include/linux/hrtimer.h"
2479struct hrtimer {
2480 struct timerqueue_node node ;
2481 ktime_t _softexpires ;
2482 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2483 struct hrtimer_clock_base *base ;
2484 unsigned long state ;
2485 int start_pid ;
2486 void *start_site ;
2487 char start_comm[16] ;
2488};
2489#line 145 "include/linux/hrtimer.h"
2490struct hrtimer_clock_base {
2491 struct hrtimer_cpu_base *cpu_base ;
2492 int index ;
2493 clockid_t clockid ;
2494 struct timerqueue_head active ;
2495 ktime_t resolution ;
2496 ktime_t (*get_time)(void) ;
2497 ktime_t softirq_time ;
2498 ktime_t offset ;
2499};
2500#line 178 "include/linux/hrtimer.h"
2501struct hrtimer_cpu_base {
2502 raw_spinlock_t lock ;
2503 unsigned long active_bases ;
2504 ktime_t expires_next ;
2505 int hres_active ;
2506 int hang_detected ;
2507 unsigned long nr_events ;
2508 unsigned long nr_retries ;
2509 unsigned long nr_hangs ;
2510 ktime_t max_hang_time ;
2511 struct hrtimer_clock_base clock_base[3] ;
2512};
2513#line 187 "include/linux/interrupt.h"
2514struct device;
2515#line 695
2516struct seq_file;
2517#line 23 "include/linux/mm_types.h"
2518struct address_space;
2519#line 40 "include/linux/mm_types.h"
2520union __anonunion____missing_field_name_229 {
2521 unsigned long index ;
2522 void *freelist ;
2523};
2524#line 40 "include/linux/mm_types.h"
2525struct __anonstruct____missing_field_name_233 {
2526 unsigned int inuse : 16 ;
2527 unsigned int objects : 15 ;
2528 unsigned int frozen : 1 ;
2529};
2530#line 40 "include/linux/mm_types.h"
2531union __anonunion____missing_field_name_232 {
2532 atomic_t _mapcount ;
2533 struct __anonstruct____missing_field_name_233 __annonCompField37 ;
2534};
2535#line 40 "include/linux/mm_types.h"
2536struct __anonstruct____missing_field_name_231 {
2537 union __anonunion____missing_field_name_232 __annonCompField38 ;
2538 atomic_t _count ;
2539};
2540#line 40 "include/linux/mm_types.h"
2541union __anonunion____missing_field_name_230 {
2542 unsigned long counters ;
2543 struct __anonstruct____missing_field_name_231 __annonCompField39 ;
2544};
2545#line 40 "include/linux/mm_types.h"
2546struct __anonstruct____missing_field_name_228 {
2547 union __anonunion____missing_field_name_229 __annonCompField36 ;
2548 union __anonunion____missing_field_name_230 __annonCompField40 ;
2549};
2550#line 40 "include/linux/mm_types.h"
2551struct __anonstruct____missing_field_name_235 {
2552 struct page *next ;
2553 int pages ;
2554 int pobjects ;
2555};
2556#line 40 "include/linux/mm_types.h"
2557union __anonunion____missing_field_name_234 {
2558 struct list_head lru ;
2559 struct __anonstruct____missing_field_name_235 __annonCompField42 ;
2560};
2561#line 40 "include/linux/mm_types.h"
2562union __anonunion____missing_field_name_236 {
2563 unsigned long private ;
2564 struct kmem_cache *slab ;
2565 struct page *first_page ;
2566};
2567#line 40 "include/linux/mm_types.h"
2568struct page {
2569 unsigned long flags ;
2570 struct address_space *mapping ;
2571 struct __anonstruct____missing_field_name_228 __annonCompField41 ;
2572 union __anonunion____missing_field_name_234 __annonCompField43 ;
2573 union __anonunion____missing_field_name_236 __annonCompField44 ;
2574 unsigned long debug_flags ;
2575} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2576#line 200 "include/linux/mm_types.h"
2577struct __anonstruct_vm_set_238 {
2578 struct list_head list ;
2579 void *parent ;
2580 struct vm_area_struct *head ;
2581};
2582#line 200 "include/linux/mm_types.h"
2583union __anonunion_shared_237 {
2584 struct __anonstruct_vm_set_238 vm_set ;
2585 struct raw_prio_tree_node prio_tree_node ;
2586};
2587#line 200
2588struct anon_vma;
2589#line 200
2590struct vm_operations_struct;
2591#line 200
2592struct mempolicy;
2593#line 200 "include/linux/mm_types.h"
2594struct vm_area_struct {
2595 struct mm_struct *vm_mm ;
2596 unsigned long vm_start ;
2597 unsigned long vm_end ;
2598 struct vm_area_struct *vm_next ;
2599 struct vm_area_struct *vm_prev ;
2600 pgprot_t vm_page_prot ;
2601 unsigned long vm_flags ;
2602 struct rb_node vm_rb ;
2603 union __anonunion_shared_237 shared ;
2604 struct list_head anon_vma_chain ;
2605 struct anon_vma *anon_vma ;
2606 struct vm_operations_struct const *vm_ops ;
2607 unsigned long vm_pgoff ;
2608 struct file *vm_file ;
2609 void *vm_private_data ;
2610 struct mempolicy *vm_policy ;
2611};
2612#line 257 "include/linux/mm_types.h"
2613struct core_thread {
2614 struct task_struct *task ;
2615 struct core_thread *next ;
2616};
2617#line 262 "include/linux/mm_types.h"
2618struct core_state {
2619 atomic_t nr_threads ;
2620 struct core_thread dumper ;
2621 struct completion startup ;
2622};
2623#line 284 "include/linux/mm_types.h"
2624struct mm_rss_stat {
2625 atomic_long_t count[3] ;
2626};
2627#line 288
2628struct linux_binfmt;
2629#line 288
2630struct mmu_notifier_mm;
2631#line 288 "include/linux/mm_types.h"
2632struct mm_struct {
2633 struct vm_area_struct *mmap ;
2634 struct rb_root mm_rb ;
2635 struct vm_area_struct *mmap_cache ;
2636 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2637 unsigned long pgoff , unsigned long flags ) ;
2638 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2639 unsigned long mmap_base ;
2640 unsigned long task_size ;
2641 unsigned long cached_hole_size ;
2642 unsigned long free_area_cache ;
2643 pgd_t *pgd ;
2644 atomic_t mm_users ;
2645 atomic_t mm_count ;
2646 int map_count ;
2647 spinlock_t page_table_lock ;
2648 struct rw_semaphore mmap_sem ;
2649 struct list_head mmlist ;
2650 unsigned long hiwater_rss ;
2651 unsigned long hiwater_vm ;
2652 unsigned long total_vm ;
2653 unsigned long locked_vm ;
2654 unsigned long pinned_vm ;
2655 unsigned long shared_vm ;
2656 unsigned long exec_vm ;
2657 unsigned long stack_vm ;
2658 unsigned long reserved_vm ;
2659 unsigned long def_flags ;
2660 unsigned long nr_ptes ;
2661 unsigned long start_code ;
2662 unsigned long end_code ;
2663 unsigned long start_data ;
2664 unsigned long end_data ;
2665 unsigned long start_brk ;
2666 unsigned long brk ;
2667 unsigned long start_stack ;
2668 unsigned long arg_start ;
2669 unsigned long arg_end ;
2670 unsigned long env_start ;
2671 unsigned long env_end ;
2672 unsigned long saved_auxv[44] ;
2673 struct mm_rss_stat rss_stat ;
2674 struct linux_binfmt *binfmt ;
2675 cpumask_var_t cpu_vm_mask_var ;
2676 mm_context_t context ;
2677 unsigned int faultstamp ;
2678 unsigned int token_priority ;
2679 unsigned int last_interval ;
2680 unsigned long flags ;
2681 struct core_state *core_state ;
2682 spinlock_t ioctx_lock ;
2683 struct hlist_head ioctx_list ;
2684 struct task_struct *owner ;
2685 struct file *exe_file ;
2686 unsigned long num_exe_file_vmas ;
2687 struct mmu_notifier_mm *mmu_notifier_mm ;
2688 pgtable_t pmd_huge_pte ;
2689 struct cpumask cpumask_allocation ;
2690};
2691#line 7 "include/asm-generic/cputime.h"
2692typedef unsigned long cputime_t;
2693#line 84 "include/linux/sem.h"
2694struct task_struct;
2695#line 101
2696struct sem_undo_list;
2697#line 101 "include/linux/sem.h"
2698struct sysv_sem {
2699 struct sem_undo_list *undo_list ;
2700};
2701#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2702struct siginfo;
2703#line 10
2704struct siginfo;
2705#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2706struct __anonstruct_sigset_t_240 {
2707 unsigned long sig[1] ;
2708};
2709#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2710typedef struct __anonstruct_sigset_t_240 sigset_t;
2711#line 17 "include/asm-generic/signal-defs.h"
2712typedef void __signalfn_t(int );
2713#line 18 "include/asm-generic/signal-defs.h"
2714typedef __signalfn_t *__sighandler_t;
2715#line 20 "include/asm-generic/signal-defs.h"
2716typedef void __restorefn_t(void);
2717#line 21 "include/asm-generic/signal-defs.h"
2718typedef __restorefn_t *__sigrestore_t;
2719#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2720struct sigaction {
2721 __sighandler_t sa_handler ;
2722 unsigned long sa_flags ;
2723 __sigrestore_t sa_restorer ;
2724 sigset_t sa_mask ;
2725};
2726#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2727struct k_sigaction {
2728 struct sigaction sa ;
2729};
2730#line 7 "include/asm-generic/siginfo.h"
2731union sigval {
2732 int sival_int ;
2733 void *sival_ptr ;
2734};
2735#line 7 "include/asm-generic/siginfo.h"
2736typedef union sigval sigval_t;
2737#line 48 "include/asm-generic/siginfo.h"
2738struct __anonstruct__kill_242 {
2739 __kernel_pid_t _pid ;
2740 __kernel_uid32_t _uid ;
2741};
2742#line 48 "include/asm-generic/siginfo.h"
2743struct __anonstruct__timer_243 {
2744 __kernel_timer_t _tid ;
2745 int _overrun ;
2746 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2747 sigval_t _sigval ;
2748 int _sys_private ;
2749};
2750#line 48 "include/asm-generic/siginfo.h"
2751struct __anonstruct__rt_244 {
2752 __kernel_pid_t _pid ;
2753 __kernel_uid32_t _uid ;
2754 sigval_t _sigval ;
2755};
2756#line 48 "include/asm-generic/siginfo.h"
2757struct __anonstruct__sigchld_245 {
2758 __kernel_pid_t _pid ;
2759 __kernel_uid32_t _uid ;
2760 int _status ;
2761 __kernel_clock_t _utime ;
2762 __kernel_clock_t _stime ;
2763};
2764#line 48 "include/asm-generic/siginfo.h"
2765struct __anonstruct__sigfault_246 {
2766 void *_addr ;
2767 short _addr_lsb ;
2768};
2769#line 48 "include/asm-generic/siginfo.h"
2770struct __anonstruct__sigpoll_247 {
2771 long _band ;
2772 int _fd ;
2773};
2774#line 48 "include/asm-generic/siginfo.h"
2775union __anonunion__sifields_241 {
2776 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2777 struct __anonstruct__kill_242 _kill ;
2778 struct __anonstruct__timer_243 _timer ;
2779 struct __anonstruct__rt_244 _rt ;
2780 struct __anonstruct__sigchld_245 _sigchld ;
2781 struct __anonstruct__sigfault_246 _sigfault ;
2782 struct __anonstruct__sigpoll_247 _sigpoll ;
2783};
2784#line 48 "include/asm-generic/siginfo.h"
2785struct siginfo {
2786 int si_signo ;
2787 int si_errno ;
2788 int si_code ;
2789 union __anonunion__sifields_241 _sifields ;
2790};
2791#line 48 "include/asm-generic/siginfo.h"
2792typedef struct siginfo siginfo_t;
2793#line 288
2794struct siginfo;
2795#line 10 "include/linux/signal.h"
2796struct task_struct;
2797#line 18
2798struct user_struct;
2799#line 28 "include/linux/signal.h"
2800struct sigpending {
2801 struct list_head list ;
2802 sigset_t signal ;
2803};
2804#line 239
2805struct timespec;
2806#line 240
2807struct pt_regs;
2808#line 10 "include/linux/seccomp.h"
2809struct __anonstruct_seccomp_t_250 {
2810 int mode ;
2811};
2812#line 10 "include/linux/seccomp.h"
2813typedef struct __anonstruct_seccomp_t_250 seccomp_t;
2814#line 81 "include/linux/plist.h"
2815struct plist_head {
2816 struct list_head node_list ;
2817};
2818#line 85 "include/linux/plist.h"
2819struct plist_node {
2820 int prio ;
2821 struct list_head prio_list ;
2822 struct list_head node_list ;
2823};
2824#line 28 "include/linux/rtmutex.h"
2825struct rt_mutex {
2826 raw_spinlock_t wait_lock ;
2827 struct plist_head wait_list ;
2828 struct task_struct *owner ;
2829 int save_state ;
2830 char const *name ;
2831 char const *file ;
2832 int line ;
2833 void *magic ;
2834};
2835#line 40
2836struct rt_mutex_waiter;
2837#line 40
2838struct rt_mutex_waiter;
2839#line 42 "include/linux/resource.h"
2840struct rlimit {
2841 unsigned long rlim_cur ;
2842 unsigned long rlim_max ;
2843};
2844#line 81
2845struct task_struct;
2846#line 11 "include/linux/task_io_accounting.h"
2847struct task_io_accounting {
2848 u64 rchar ;
2849 u64 wchar ;
2850 u64 syscr ;
2851 u64 syscw ;
2852 u64 read_bytes ;
2853 u64 write_bytes ;
2854 u64 cancelled_write_bytes ;
2855};
2856#line 13 "include/linux/latencytop.h"
2857struct task_struct;
2858#line 20 "include/linux/latencytop.h"
2859struct latency_record {
2860 unsigned long backtrace[12] ;
2861 unsigned int count ;
2862 unsigned long time ;
2863 unsigned long max ;
2864};
2865#line 29 "include/linux/key.h"
2866typedef int32_t key_serial_t;
2867#line 32 "include/linux/key.h"
2868typedef uint32_t key_perm_t;
2869#line 34
2870struct key;
2871#line 34
2872struct key;
2873#line 74
2874struct seq_file;
2875#line 75
2876struct user_struct;
2877#line 76
2878struct signal_struct;
2879#line 76
2880struct signal_struct;
2881#line 77
2882struct cred;
2883#line 79
2884struct key_type;
2885#line 79
2886struct key_type;
2887#line 81
2888struct keyring_list;
2889#line 81
2890struct keyring_list;
2891#line 124
2892struct key_user;
2893#line 124 "include/linux/key.h"
2894union __anonunion____missing_field_name_251 {
2895 time_t expiry ;
2896 time_t revoked_at ;
2897};
2898#line 124 "include/linux/key.h"
2899union __anonunion_type_data_252 {
2900 struct list_head link ;
2901 unsigned long x[2] ;
2902 void *p[2] ;
2903 int reject_error ;
2904};
2905#line 124 "include/linux/key.h"
2906union __anonunion_payload_253 {
2907 unsigned long value ;
2908 void *rcudata ;
2909 void *data ;
2910 struct keyring_list *subscriptions ;
2911};
2912#line 124 "include/linux/key.h"
2913struct key {
2914 atomic_t usage ;
2915 key_serial_t serial ;
2916 struct rb_node serial_node ;
2917 struct key_type *type ;
2918 struct rw_semaphore sem ;
2919 struct key_user *user ;
2920 void *security ;
2921 union __anonunion____missing_field_name_251 __annonCompField45 ;
2922 uid_t uid ;
2923 gid_t gid ;
2924 key_perm_t perm ;
2925 unsigned short quotalen ;
2926 unsigned short datalen ;
2927 unsigned long flags ;
2928 char *description ;
2929 union __anonunion_type_data_252 type_data ;
2930 union __anonunion_payload_253 payload ;
2931};
2932#line 18 "include/linux/selinux.h"
2933struct audit_context;
2934#line 18
2935struct audit_context;
2936#line 21 "include/linux/cred.h"
2937struct user_struct;
2938#line 22
2939struct cred;
2940#line 23
2941struct inode;
2942#line 31 "include/linux/cred.h"
2943struct group_info {
2944 atomic_t usage ;
2945 int ngroups ;
2946 int nblocks ;
2947 gid_t small_block[32] ;
2948 gid_t *blocks[0] ;
2949};
2950#line 83 "include/linux/cred.h"
2951struct thread_group_cred {
2952 atomic_t usage ;
2953 pid_t tgid ;
2954 spinlock_t lock ;
2955 struct key *session_keyring ;
2956 struct key *process_keyring ;
2957 struct rcu_head rcu ;
2958};
2959#line 116 "include/linux/cred.h"
2960struct cred {
2961 atomic_t usage ;
2962 atomic_t subscribers ;
2963 void *put_addr ;
2964 unsigned int magic ;
2965 uid_t uid ;
2966 gid_t gid ;
2967 uid_t suid ;
2968 gid_t sgid ;
2969 uid_t euid ;
2970 gid_t egid ;
2971 uid_t fsuid ;
2972 gid_t fsgid ;
2973 unsigned int securebits ;
2974 kernel_cap_t cap_inheritable ;
2975 kernel_cap_t cap_permitted ;
2976 kernel_cap_t cap_effective ;
2977 kernel_cap_t cap_bset ;
2978 unsigned char jit_keyring ;
2979 struct key *thread_keyring ;
2980 struct key *request_key_auth ;
2981 struct thread_group_cred *tgcred ;
2982 void *security ;
2983 struct user_struct *user ;
2984 struct user_namespace *user_ns ;
2985 struct group_info *group_info ;
2986 struct rcu_head rcu ;
2987};
2988#line 61 "include/linux/llist.h"
2989struct llist_node;
2990#line 65 "include/linux/llist.h"
2991struct llist_node {
2992 struct llist_node *next ;
2993};
2994#line 97 "include/linux/sched.h"
2995struct futex_pi_state;
2996#line 97
2997struct futex_pi_state;
2998#line 98
2999struct robust_list_head;
3000#line 98
3001struct robust_list_head;
3002#line 99
3003struct bio_list;
3004#line 99
3005struct bio_list;
3006#line 100
3007struct fs_struct;
3008#line 100
3009struct fs_struct;
3010#line 101
3011struct perf_event_context;
3012#line 101
3013struct perf_event_context;
3014#line 102
3015struct blk_plug;
3016#line 102
3017struct blk_plug;
3018#line 150
3019struct seq_file;
3020#line 151
3021struct cfs_rq;
3022#line 151
3023struct cfs_rq;
3024#line 259
3025struct task_struct;
3026#line 366
3027struct nsproxy;
3028#line 367
3029struct user_namespace;
3030#line 58 "include/linux/aio_abi.h"
3031struct io_event {
3032 __u64 data ;
3033 __u64 obj ;
3034 __s64 res ;
3035 __s64 res2 ;
3036};
3037#line 16 "include/linux/uio.h"
3038struct iovec {
3039 void *iov_base ;
3040 __kernel_size_t iov_len ;
3041};
3042#line 15 "include/linux/aio.h"
3043struct kioctx;
3044#line 15
3045struct kioctx;
3046#line 87 "include/linux/aio.h"
3047union __anonunion_ki_obj_255 {
3048 void *user ;
3049 struct task_struct *tsk ;
3050};
3051#line 87
3052struct eventfd_ctx;
3053#line 87 "include/linux/aio.h"
3054struct kiocb {
3055 struct list_head ki_run_list ;
3056 unsigned long ki_flags ;
3057 int ki_users ;
3058 unsigned int ki_key ;
3059 struct file *ki_filp ;
3060 struct kioctx *ki_ctx ;
3061 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3062 ssize_t (*ki_retry)(struct kiocb * ) ;
3063 void (*ki_dtor)(struct kiocb * ) ;
3064 union __anonunion_ki_obj_255 ki_obj ;
3065 __u64 ki_user_data ;
3066 loff_t ki_pos ;
3067 void *private ;
3068 unsigned short ki_opcode ;
3069 size_t ki_nbytes ;
3070 char *ki_buf ;
3071 size_t ki_left ;
3072 struct iovec ki_inline_vec ;
3073 struct iovec *ki_iovec ;
3074 unsigned long ki_nr_segs ;
3075 unsigned long ki_cur_seg ;
3076 struct list_head ki_list ;
3077 struct list_head ki_batch ;
3078 struct eventfd_ctx *ki_eventfd ;
3079};
3080#line 166 "include/linux/aio.h"
3081struct aio_ring_info {
3082 unsigned long mmap_base ;
3083 unsigned long mmap_size ;
3084 struct page **ring_pages ;
3085 spinlock_t ring_lock ;
3086 long nr_pages ;
3087 unsigned int nr ;
3088 unsigned int tail ;
3089 struct page *internal_pages[8] ;
3090};
3091#line 179 "include/linux/aio.h"
3092struct kioctx {
3093 atomic_t users ;
3094 int dead ;
3095 struct mm_struct *mm ;
3096 unsigned long user_id ;
3097 struct hlist_node list ;
3098 wait_queue_head_t wait ;
3099 spinlock_t ctx_lock ;
3100 int reqs_active ;
3101 struct list_head active_reqs ;
3102 struct list_head run_list ;
3103 unsigned int max_reqs ;
3104 struct aio_ring_info ring_info ;
3105 struct delayed_work wq ;
3106 struct rcu_head rcu_head ;
3107};
3108#line 214
3109struct mm_struct;
3110#line 443 "include/linux/sched.h"
3111struct sighand_struct {
3112 atomic_t count ;
3113 struct k_sigaction action[64] ;
3114 spinlock_t siglock ;
3115 wait_queue_head_t signalfd_wqh ;
3116};
3117#line 450 "include/linux/sched.h"
3118struct pacct_struct {
3119 int ac_flag ;
3120 long ac_exitcode ;
3121 unsigned long ac_mem ;
3122 cputime_t ac_utime ;
3123 cputime_t ac_stime ;
3124 unsigned long ac_minflt ;
3125 unsigned long ac_majflt ;
3126};
3127#line 458 "include/linux/sched.h"
3128struct cpu_itimer {
3129 cputime_t expires ;
3130 cputime_t incr ;
3131 u32 error ;
3132 u32 incr_error ;
3133};
3134#line 476 "include/linux/sched.h"
3135struct task_cputime {
3136 cputime_t utime ;
3137 cputime_t stime ;
3138 unsigned long long sum_exec_runtime ;
3139};
3140#line 512 "include/linux/sched.h"
3141struct thread_group_cputimer {
3142 struct task_cputime cputime ;
3143 int running ;
3144 raw_spinlock_t lock ;
3145};
3146#line 519
3147struct autogroup;
3148#line 519
3149struct autogroup;
3150#line 528
3151struct tty_struct;
3152#line 528
3153struct taskstats;
3154#line 528
3155struct tty_audit_buf;
3156#line 528 "include/linux/sched.h"
3157struct signal_struct {
3158 atomic_t sigcnt ;
3159 atomic_t live ;
3160 int nr_threads ;
3161 wait_queue_head_t wait_chldexit ;
3162 struct task_struct *curr_target ;
3163 struct sigpending shared_pending ;
3164 int group_exit_code ;
3165 int notify_count ;
3166 struct task_struct *group_exit_task ;
3167 int group_stop_count ;
3168 unsigned int flags ;
3169 unsigned int is_child_subreaper : 1 ;
3170 unsigned int has_child_subreaper : 1 ;
3171 struct list_head posix_timers ;
3172 struct hrtimer real_timer ;
3173 struct pid *leader_pid ;
3174 ktime_t it_real_incr ;
3175 struct cpu_itimer it[2] ;
3176 struct thread_group_cputimer cputimer ;
3177 struct task_cputime cputime_expires ;
3178 struct list_head cpu_timers[3] ;
3179 struct pid *tty_old_pgrp ;
3180 int leader ;
3181 struct tty_struct *tty ;
3182 struct autogroup *autogroup ;
3183 cputime_t utime ;
3184 cputime_t stime ;
3185 cputime_t cutime ;
3186 cputime_t cstime ;
3187 cputime_t gtime ;
3188 cputime_t cgtime ;
3189 cputime_t prev_utime ;
3190 cputime_t prev_stime ;
3191 unsigned long nvcsw ;
3192 unsigned long nivcsw ;
3193 unsigned long cnvcsw ;
3194 unsigned long cnivcsw ;
3195 unsigned long min_flt ;
3196 unsigned long maj_flt ;
3197 unsigned long cmin_flt ;
3198 unsigned long cmaj_flt ;
3199 unsigned long inblock ;
3200 unsigned long oublock ;
3201 unsigned long cinblock ;
3202 unsigned long coublock ;
3203 unsigned long maxrss ;
3204 unsigned long cmaxrss ;
3205 struct task_io_accounting ioac ;
3206 unsigned long long sum_sched_runtime ;
3207 struct rlimit rlim[16] ;
3208 struct pacct_struct pacct ;
3209 struct taskstats *stats ;
3210 unsigned int audit_tty ;
3211 struct tty_audit_buf *tty_audit_buf ;
3212 struct rw_semaphore group_rwsem ;
3213 int oom_adj ;
3214 int oom_score_adj ;
3215 int oom_score_adj_min ;
3216 struct mutex cred_guard_mutex ;
3217};
3218#line 703 "include/linux/sched.h"
3219struct user_struct {
3220 atomic_t __count ;
3221 atomic_t processes ;
3222 atomic_t files ;
3223 atomic_t sigpending ;
3224 atomic_t inotify_watches ;
3225 atomic_t inotify_devs ;
3226 atomic_t fanotify_listeners ;
3227 atomic_long_t epoll_watches ;
3228 unsigned long mq_bytes ;
3229 unsigned long locked_shm ;
3230 struct key *uid_keyring ;
3231 struct key *session_keyring ;
3232 struct hlist_node uidhash_node ;
3233 uid_t uid ;
3234 struct user_namespace *user_ns ;
3235 atomic_long_t locked_vm ;
3236};
3237#line 747
3238struct backing_dev_info;
3239#line 748
3240struct reclaim_state;
3241#line 748
3242struct reclaim_state;
3243#line 751 "include/linux/sched.h"
3244struct sched_info {
3245 unsigned long pcount ;
3246 unsigned long long run_delay ;
3247 unsigned long long last_arrival ;
3248 unsigned long long last_queued ;
3249};
3250#line 763 "include/linux/sched.h"
3251struct task_delay_info {
3252 spinlock_t lock ;
3253 unsigned int flags ;
3254 struct timespec blkio_start ;
3255 struct timespec blkio_end ;
3256 u64 blkio_delay ;
3257 u64 swapin_delay ;
3258 u32 blkio_count ;
3259 u32 swapin_count ;
3260 struct timespec freepages_start ;
3261 struct timespec freepages_end ;
3262 u64 freepages_delay ;
3263 u32 freepages_count ;
3264};
3265#line 1088
3266struct io_context;
3267#line 1088
3268struct io_context;
3269#line 1097
3270struct audit_context;
3271#line 1098
3272struct mempolicy;
3273#line 1099
3274struct pipe_inode_info;
3275#line 1102
3276struct rq;
3277#line 1102
3278struct rq;
3279#line 1122 "include/linux/sched.h"
3280struct sched_class {
3281 struct sched_class const *next ;
3282 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3283 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3284 void (*yield_task)(struct rq *rq ) ;
3285 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3286 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3287 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3288 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3289 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3290 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3291 void (*post_schedule)(struct rq *this_rq ) ;
3292 void (*task_waking)(struct task_struct *task ) ;
3293 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3294 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3295 void (*rq_online)(struct rq *rq ) ;
3296 void (*rq_offline)(struct rq *rq ) ;
3297 void (*set_curr_task)(struct rq *rq ) ;
3298 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3299 void (*task_fork)(struct task_struct *p ) ;
3300 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3301 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3302 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3303 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3304 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3305};
3306#line 1167 "include/linux/sched.h"
3307struct load_weight {
3308 unsigned long weight ;
3309 unsigned long inv_weight ;
3310};
3311#line 1172 "include/linux/sched.h"
3312struct sched_statistics {
3313 u64 wait_start ;
3314 u64 wait_max ;
3315 u64 wait_count ;
3316 u64 wait_sum ;
3317 u64 iowait_count ;
3318 u64 iowait_sum ;
3319 u64 sleep_start ;
3320 u64 sleep_max ;
3321 s64 sum_sleep_runtime ;
3322 u64 block_start ;
3323 u64 block_max ;
3324 u64 exec_max ;
3325 u64 slice_max ;
3326 u64 nr_migrations_cold ;
3327 u64 nr_failed_migrations_affine ;
3328 u64 nr_failed_migrations_running ;
3329 u64 nr_failed_migrations_hot ;
3330 u64 nr_forced_migrations ;
3331 u64 nr_wakeups ;
3332 u64 nr_wakeups_sync ;
3333 u64 nr_wakeups_migrate ;
3334 u64 nr_wakeups_local ;
3335 u64 nr_wakeups_remote ;
3336 u64 nr_wakeups_affine ;
3337 u64 nr_wakeups_affine_attempts ;
3338 u64 nr_wakeups_passive ;
3339 u64 nr_wakeups_idle ;
3340};
3341#line 1207 "include/linux/sched.h"
3342struct sched_entity {
3343 struct load_weight load ;
3344 struct rb_node run_node ;
3345 struct list_head group_node ;
3346 unsigned int on_rq ;
3347 u64 exec_start ;
3348 u64 sum_exec_runtime ;
3349 u64 vruntime ;
3350 u64 prev_sum_exec_runtime ;
3351 u64 nr_migrations ;
3352 struct sched_statistics statistics ;
3353 struct sched_entity *parent ;
3354 struct cfs_rq *cfs_rq ;
3355 struct cfs_rq *my_q ;
3356};
3357#line 1233
3358struct rt_rq;
3359#line 1233 "include/linux/sched.h"
3360struct sched_rt_entity {
3361 struct list_head run_list ;
3362 unsigned long timeout ;
3363 unsigned int time_slice ;
3364 int nr_cpus_allowed ;
3365 struct sched_rt_entity *back ;
3366 struct sched_rt_entity *parent ;
3367 struct rt_rq *rt_rq ;
3368 struct rt_rq *my_q ;
3369};
3370#line 1264
3371struct css_set;
3372#line 1264
3373struct compat_robust_list_head;
3374#line 1264
3375struct mem_cgroup;
3376#line 1264 "include/linux/sched.h"
3377struct memcg_batch_info {
3378 int do_batch ;
3379 struct mem_cgroup *memcg ;
3380 unsigned long nr_pages ;
3381 unsigned long memsw_nr_pages ;
3382};
3383#line 1264 "include/linux/sched.h"
3384struct task_struct {
3385 long volatile state ;
3386 void *stack ;
3387 atomic_t usage ;
3388 unsigned int flags ;
3389 unsigned int ptrace ;
3390 struct llist_node wake_entry ;
3391 int on_cpu ;
3392 int on_rq ;
3393 int prio ;
3394 int static_prio ;
3395 int normal_prio ;
3396 unsigned int rt_priority ;
3397 struct sched_class const *sched_class ;
3398 struct sched_entity se ;
3399 struct sched_rt_entity rt ;
3400 struct hlist_head preempt_notifiers ;
3401 unsigned char fpu_counter ;
3402 unsigned int policy ;
3403 cpumask_t cpus_allowed ;
3404 struct sched_info sched_info ;
3405 struct list_head tasks ;
3406 struct plist_node pushable_tasks ;
3407 struct mm_struct *mm ;
3408 struct mm_struct *active_mm ;
3409 unsigned int brk_randomized : 1 ;
3410 int exit_state ;
3411 int exit_code ;
3412 int exit_signal ;
3413 int pdeath_signal ;
3414 unsigned int jobctl ;
3415 unsigned int personality ;
3416 unsigned int did_exec : 1 ;
3417 unsigned int in_execve : 1 ;
3418 unsigned int in_iowait : 1 ;
3419 unsigned int sched_reset_on_fork : 1 ;
3420 unsigned int sched_contributes_to_load : 1 ;
3421 unsigned int irq_thread : 1 ;
3422 pid_t pid ;
3423 pid_t tgid ;
3424 unsigned long stack_canary ;
3425 struct task_struct *real_parent ;
3426 struct task_struct *parent ;
3427 struct list_head children ;
3428 struct list_head sibling ;
3429 struct task_struct *group_leader ;
3430 struct list_head ptraced ;
3431 struct list_head ptrace_entry ;
3432 struct pid_link pids[3] ;
3433 struct list_head thread_group ;
3434 struct completion *vfork_done ;
3435 int *set_child_tid ;
3436 int *clear_child_tid ;
3437 cputime_t utime ;
3438 cputime_t stime ;
3439 cputime_t utimescaled ;
3440 cputime_t stimescaled ;
3441 cputime_t gtime ;
3442 cputime_t prev_utime ;
3443 cputime_t prev_stime ;
3444 unsigned long nvcsw ;
3445 unsigned long nivcsw ;
3446 struct timespec start_time ;
3447 struct timespec real_start_time ;
3448 unsigned long min_flt ;
3449 unsigned long maj_flt ;
3450 struct task_cputime cputime_expires ;
3451 struct list_head cpu_timers[3] ;
3452 struct cred const *real_cred ;
3453 struct cred const *cred ;
3454 struct cred *replacement_session_keyring ;
3455 char comm[16] ;
3456 int link_count ;
3457 int total_link_count ;
3458 struct sysv_sem sysvsem ;
3459 unsigned long last_switch_count ;
3460 struct thread_struct thread ;
3461 struct fs_struct *fs ;
3462 struct files_struct *files ;
3463 struct nsproxy *nsproxy ;
3464 struct signal_struct *signal ;
3465 struct sighand_struct *sighand ;
3466 sigset_t blocked ;
3467 sigset_t real_blocked ;
3468 sigset_t saved_sigmask ;
3469 struct sigpending pending ;
3470 unsigned long sas_ss_sp ;
3471 size_t sas_ss_size ;
3472 int (*notifier)(void *priv ) ;
3473 void *notifier_data ;
3474 sigset_t *notifier_mask ;
3475 struct audit_context *audit_context ;
3476 uid_t loginuid ;
3477 unsigned int sessionid ;
3478 seccomp_t seccomp ;
3479 u32 parent_exec_id ;
3480 u32 self_exec_id ;
3481 spinlock_t alloc_lock ;
3482 raw_spinlock_t pi_lock ;
3483 struct plist_head pi_waiters ;
3484 struct rt_mutex_waiter *pi_blocked_on ;
3485 struct mutex_waiter *blocked_on ;
3486 unsigned int irq_events ;
3487 unsigned long hardirq_enable_ip ;
3488 unsigned long hardirq_disable_ip ;
3489 unsigned int hardirq_enable_event ;
3490 unsigned int hardirq_disable_event ;
3491 int hardirqs_enabled ;
3492 int hardirq_context ;
3493 unsigned long softirq_disable_ip ;
3494 unsigned long softirq_enable_ip ;
3495 unsigned int softirq_disable_event ;
3496 unsigned int softirq_enable_event ;
3497 int softirqs_enabled ;
3498 int softirq_context ;
3499 void *journal_info ;
3500 struct bio_list *bio_list ;
3501 struct blk_plug *plug ;
3502 struct reclaim_state *reclaim_state ;
3503 struct backing_dev_info *backing_dev_info ;
3504 struct io_context *io_context ;
3505 unsigned long ptrace_message ;
3506 siginfo_t *last_siginfo ;
3507 struct task_io_accounting ioac ;
3508 u64 acct_rss_mem1 ;
3509 u64 acct_vm_mem1 ;
3510 cputime_t acct_timexpd ;
3511 nodemask_t mems_allowed ;
3512 seqcount_t mems_allowed_seq ;
3513 int cpuset_mem_spread_rotor ;
3514 int cpuset_slab_spread_rotor ;
3515 struct css_set *cgroups ;
3516 struct list_head cg_list ;
3517 struct robust_list_head *robust_list ;
3518 struct compat_robust_list_head *compat_robust_list ;
3519 struct list_head pi_state_list ;
3520 struct futex_pi_state *pi_state_cache ;
3521 struct perf_event_context *perf_event_ctxp[2] ;
3522 struct mutex perf_event_mutex ;
3523 struct list_head perf_event_list ;
3524 struct mempolicy *mempolicy ;
3525 short il_next ;
3526 short pref_node_fork ;
3527 struct rcu_head rcu ;
3528 struct pipe_inode_info *splice_pipe ;
3529 struct task_delay_info *delays ;
3530 int make_it_fail ;
3531 int nr_dirtied ;
3532 int nr_dirtied_pause ;
3533 unsigned long dirty_paused_when ;
3534 int latency_record_count ;
3535 struct latency_record latency_record[32] ;
3536 unsigned long timer_slack_ns ;
3537 unsigned long default_timer_slack_ns ;
3538 struct list_head *scm_work_list ;
3539 unsigned long trace ;
3540 unsigned long trace_recursion ;
3541 struct memcg_batch_info memcg_batch ;
3542 atomic_t ptrace_bp_refcnt ;
3543};
3544#line 1681
3545struct pid_namespace;
3546#line 28 "include/linux/of.h"
3547typedef u32 phandle;
3548#line 31 "include/linux/of.h"
3549struct property {
3550 char *name ;
3551 int length ;
3552 void *value ;
3553 struct property *next ;
3554 unsigned long _flags ;
3555 unsigned int unique_id ;
3556};
3557#line 44 "include/linux/of.h"
3558struct device_node {
3559 char const *name ;
3560 char const *type ;
3561 phandle phandle ;
3562 char *full_name ;
3563 struct property *properties ;
3564 struct property *deadprops ;
3565 struct device_node *parent ;
3566 struct device_node *child ;
3567 struct device_node *sibling ;
3568 struct device_node *next ;
3569 struct device_node *allnext ;
3570 struct proc_dir_entry *pde ;
3571 struct kref kref ;
3572 unsigned long _flags ;
3573 void *data ;
3574};
3575#line 44 "include/linux/i2c.h"
3576struct i2c_msg;
3577#line 44
3578struct i2c_msg;
3579#line 45
3580struct i2c_algorithm;
3581#line 45
3582struct i2c_algorithm;
3583#line 46
3584struct i2c_adapter;
3585#line 46
3586struct i2c_adapter;
3587#line 47
3588struct i2c_client;
3589#line 47
3590struct i2c_client;
3591#line 48
3592struct i2c_driver;
3593#line 48
3594struct i2c_driver;
3595#line 49
3596union i2c_smbus_data;
3597#line 49
3598union i2c_smbus_data;
3599#line 50
3600struct i2c_board_info;
3601#line 50
3602struct i2c_board_info;
3603#line 52
3604struct module;
3605#line 161 "include/linux/i2c.h"
3606struct i2c_driver {
3607 unsigned int class ;
3608 int (*attach_adapter)(struct i2c_adapter * ) __attribute__((__deprecated__)) ;
3609 int (*detach_adapter)(struct i2c_adapter * ) __attribute__((__deprecated__)) ;
3610 int (*probe)(struct i2c_client * , struct i2c_device_id const * ) ;
3611 int (*remove)(struct i2c_client * ) ;
3612 void (*shutdown)(struct i2c_client * ) ;
3613 int (*suspend)(struct i2c_client * , pm_message_t mesg ) ;
3614 int (*resume)(struct i2c_client * ) ;
3615 void (*alert)(struct i2c_client * , unsigned int data ) ;
3616 int (*command)(struct i2c_client *client , unsigned int cmd , void *arg ) ;
3617 struct device_driver driver ;
3618 struct i2c_device_id const *id_table ;
3619 int (*detect)(struct i2c_client * , struct i2c_board_info * ) ;
3620 unsigned short const *address_list ;
3621 struct list_head clients ;
3622};
3623#line 220 "include/linux/i2c.h"
3624struct i2c_client {
3625 unsigned short flags ;
3626 unsigned short addr ;
3627 char name[20] ;
3628 struct i2c_adapter *adapter ;
3629 struct i2c_driver *driver ;
3630 struct device dev ;
3631 int irq ;
3632 struct list_head detected ;
3633};
3634#line 273 "include/linux/i2c.h"
3635struct i2c_board_info {
3636 char type[20] ;
3637 unsigned short flags ;
3638 unsigned short addr ;
3639 void *platform_data ;
3640 struct dev_archdata *archdata ;
3641 struct device_node *of_node ;
3642 int irq ;
3643};
3644#line 352 "include/linux/i2c.h"
3645struct i2c_algorithm {
3646 int (*master_xfer)(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
3647 int (*smbus_xfer)(struct i2c_adapter *adap , u16 addr , unsigned short flags ,
3648 char read_write , u8 command , int size , union i2c_smbus_data *data ) ;
3649 u32 (*functionality)(struct i2c_adapter * ) ;
3650};
3651#line 373 "include/linux/i2c.h"
3652struct i2c_adapter {
3653 struct module *owner ;
3654 unsigned int class ;
3655 struct i2c_algorithm const *algo ;
3656 void *algo_data ;
3657 struct rt_mutex bus_lock ;
3658 int timeout ;
3659 int retries ;
3660 struct device dev ;
3661 int nr ;
3662 char name[48] ;
3663 struct completion dev_released ;
3664 struct mutex userspace_clients_lock ;
3665 struct list_head userspace_clients ;
3666};
3667#line 538 "include/linux/i2c.h"
3668struct i2c_msg {
3669 __u16 addr ;
3670 __u16 flags ;
3671 __u16 len ;
3672 __u8 *buf ;
3673};
3674#line 596 "include/linux/i2c.h"
3675union i2c_smbus_data {
3676 __u8 byte ;
3677 __u16 word ;
3678 __u8 block[34] ;
3679};
3680#line 44 "include/asm-generic/gpio.h"
3681struct device;
3682#line 46
3683struct seq_file;
3684#line 47
3685struct module;
3686#line 48
3687struct device_node;
3688#line 4 "include/linux/input/eeti_ts.h"
3689struct eeti_ts_platform_data {
3690 unsigned int irq_active_high ;
3691};
3692#line 46 "include/linux/slub_def.h"
3693struct kmem_cache_cpu {
3694 void **freelist ;
3695 unsigned long tid ;
3696 struct page *page ;
3697 struct page *partial ;
3698 int node ;
3699 unsigned int stat[26] ;
3700};
3701#line 57 "include/linux/slub_def.h"
3702struct kmem_cache_node {
3703 spinlock_t list_lock ;
3704 unsigned long nr_partial ;
3705 struct list_head partial ;
3706 atomic_long_t nr_slabs ;
3707 atomic_long_t total_objects ;
3708 struct list_head full ;
3709};
3710#line 73 "include/linux/slub_def.h"
3711struct kmem_cache_order_objects {
3712 unsigned long x ;
3713};
3714#line 80 "include/linux/slub_def.h"
3715struct kmem_cache {
3716 struct kmem_cache_cpu *cpu_slab ;
3717 unsigned long flags ;
3718 unsigned long min_partial ;
3719 int size ;
3720 int objsize ;
3721 int offset ;
3722 int cpu_partial ;
3723 struct kmem_cache_order_objects oo ;
3724 struct kmem_cache_order_objects max ;
3725 struct kmem_cache_order_objects min ;
3726 gfp_t allocflags ;
3727 int refcount ;
3728 void (*ctor)(void * ) ;
3729 int inuse ;
3730 int align ;
3731 int reserved ;
3732 char const *name ;
3733 struct list_head list ;
3734 struct kobject kobj ;
3735 int remote_node_defrag_ratio ;
3736 struct kmem_cache_node *node[1 << 10] ;
3737};
3738#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
3739struct eeti_ts_priv {
3740 struct i2c_client *client ;
3741 struct input_dev *input ;
3742 struct work_struct work ;
3743 struct mutex mutex ;
3744 int irq ;
3745 int irq_active_high ;
3746};
3747#line 1 "<compiler builtins>"
3748long __builtin_expect(long val , long res ) ;
3749#line 24 "include/linux/list.h"
3750__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ;
3751#line 24 "include/linux/list.h"
3752__inline static void INIT_LIST_HEAD(struct list_head *list )
3753{ unsigned long __cil_tmp2 ;
3754 unsigned long __cil_tmp3 ;
3755
3756 {
3757#line 26
3758 *((struct list_head **)list) = list;
3759#line 27
3760 __cil_tmp2 = (unsigned long )list;
3761#line 27
3762 __cil_tmp3 = __cil_tmp2 + 8;
3763#line 27
3764 *((struct list_head **)__cil_tmp3) = list;
3765#line 28
3766 return;
3767}
3768}
3769#line 115 "include/linux/mutex.h"
3770extern void __mutex_init(struct mutex *lock , char const *name , struct lock_class_key *key ) ;
3771#line 152
3772void mutex_lock(struct mutex *lock ) ;
3773#line 153
3774int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3775#line 154
3776int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3777#line 168
3778int mutex_trylock(struct mutex *lock ) ;
3779#line 169
3780void mutex_unlock(struct mutex *lock ) ;
3781#line 170
3782int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3783#line 156 "include/linux/workqueue.h"
3784extern void __init_work(struct work_struct *work , int onstack ) ;
3785#line 380
3786extern int schedule_work(struct work_struct *work ) ;
3787#line 392
3788extern bool cancel_work_sync(struct work_struct *work ) ;
3789#line 382 "include/linux/moduleparam.h"
3790extern struct kernel_param_ops param_ops_bool ;
3791#line 26 "include/linux/export.h"
3792extern struct module __this_module ;
3793#line 67 "include/linux/module.h"
3794int init_module(void) ;
3795#line 68
3796void cleanup_module(void) ;
3797#line 70 "include/linux/pm_wakeup.h"
3798__inline static bool device_may_wakeup(struct device *dev ) __attribute__((__no_instrument_function__)) ;
3799#line 70 "include/linux/pm_wakeup.h"
3800__inline static bool device_may_wakeup(struct device *dev )
3801{ int tmp ;
3802 unsigned long __cil_tmp3 ;
3803 unsigned long __cil_tmp4 ;
3804 unsigned long __cil_tmp5 ;
3805 unsigned long __cil_tmp6 ;
3806 unsigned long __cil_tmp7 ;
3807 unsigned long __cil_tmp8 ;
3808 struct wakeup_source *__cil_tmp9 ;
3809 int __cil_tmp10 ;
3810
3811 {
3812 {
3813#line 72
3814 __cil_tmp3 = 192 + 4;
3815#line 72
3816 __cil_tmp4 = (unsigned long )dev;
3817#line 72
3818 __cil_tmp5 = __cil_tmp4 + __cil_tmp3;
3819#line 72
3820 if (*((unsigned int *)__cil_tmp5)) {
3821 {
3822#line 72
3823 __cil_tmp6 = 192 + 96;
3824#line 72
3825 __cil_tmp7 = (unsigned long )dev;
3826#line 72
3827 __cil_tmp8 = __cil_tmp7 + __cil_tmp6;
3828#line 72
3829 __cil_tmp9 = *((struct wakeup_source **)__cil_tmp8);
3830#line 72
3831 __cil_tmp10 = ! __cil_tmp9;
3832#line 72
3833 if (! __cil_tmp10) {
3834#line 72
3835 tmp = 1;
3836 } else {
3837#line 72
3838 tmp = 0;
3839 }
3840 }
3841 } else {
3842#line 72
3843 tmp = 0;
3844 }
3845 }
3846#line 72
3847 return ((bool )tmp);
3848}
3849}
3850#line 87
3851extern int device_init_wakeup(struct device *dev , bool val ) ;
3852#line 792 "include/linux/device.h"
3853extern void *dev_get_drvdata(struct device const *dev ) ;
3854#line 793
3855extern int dev_set_drvdata(struct device *dev , void *data ) ;
3856#line 891
3857extern int ( dev_err)(struct device const *dev , char const *fmt
3858 , ...) ;
3859#line 1456 "include/linux/input.h"
3860extern struct input_dev *input_allocate_device(void) ;
3861#line 1457
3862extern void input_free_device(struct input_dev *dev ) ;
3863#line 1470
3864__inline static void *input_get_drvdata(struct input_dev *dev ) __attribute__((__no_instrument_function__)) ;
3865#line 1470 "include/linux/input.h"
3866__inline static void *input_get_drvdata(struct input_dev *dev )
3867{ void *tmp ;
3868 unsigned long __cil_tmp3 ;
3869 unsigned long __cil_tmp4 ;
3870 struct device *__cil_tmp5 ;
3871 struct device const *__cil_tmp6 ;
3872
3873 {
3874 {
3875#line 1472
3876 __cil_tmp3 = (unsigned long )dev;
3877#line 1472
3878 __cil_tmp4 = __cil_tmp3 + 648;
3879#line 1472
3880 __cil_tmp5 = (struct device *)__cil_tmp4;
3881#line 1472
3882 __cil_tmp6 = (struct device const *)__cil_tmp5;
3883#line 1472
3884 tmp = dev_get_drvdata(__cil_tmp6);
3885 }
3886#line 1472
3887 return (tmp);
3888}
3889}
3890#line 1475
3891__inline static void input_set_drvdata(struct input_dev *dev , void *data ) __attribute__((__no_instrument_function__)) ;
3892#line 1475 "include/linux/input.h"
3893__inline static void input_set_drvdata(struct input_dev *dev , void *data )
3894{ unsigned long __cil_tmp3 ;
3895 unsigned long __cil_tmp4 ;
3896 struct device *__cil_tmp5 ;
3897
3898 {
3899 {
3900#line 1477
3901 __cil_tmp3 = (unsigned long )dev;
3902#line 1477
3903 __cil_tmp4 = __cil_tmp3 + 648;
3904#line 1477
3905 __cil_tmp5 = (struct device *)__cil_tmp4;
3906#line 1477
3907 dev_set_drvdata(__cil_tmp5, data);
3908 }
3909#line 1478
3910 return;
3911}
3912}
3913#line 1480
3914extern int __attribute__((__warn_unused_result__)) input_register_device(struct input_dev * ) ;
3915#line 1481
3916extern void input_unregister_device(struct input_dev * ) ;
3917#line 1502
3918extern void input_event(struct input_dev *dev , unsigned int type , unsigned int code ,
3919 int value ) ;
3920#line 1505
3921__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
3922 int value ) __attribute__((__no_instrument_function__)) ;
3923#line 1505 "include/linux/input.h"
3924__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
3925 int value )
3926{ int __cil_tmp4 ;
3927 int __cil_tmp5 ;
3928
3929 {
3930 {
3931#line 1507
3932 __cil_tmp4 = ! value;
3933#line 1507
3934 __cil_tmp5 = ! __cil_tmp4;
3935#line 1507
3936 input_event(dev, 1U, code, __cil_tmp5);
3937 }
3938#line 1508
3939 return;
3940}
3941}
3942#line 1515
3943__inline static void input_report_abs(struct input_dev *dev , unsigned int code ,
3944 int value ) __attribute__((__no_instrument_function__)) ;
3945#line 1515 "include/linux/input.h"
3946__inline static void input_report_abs(struct input_dev *dev , unsigned int code ,
3947 int value )
3948{
3949
3950 {
3951 {
3952#line 1517
3953 input_event(dev, 3U, code, value);
3954 }
3955#line 1518
3956 return;
3957}
3958}
3959#line 1530
3960__inline static void input_sync(struct input_dev *dev ) __attribute__((__no_instrument_function__)) ;
3961#line 1530 "include/linux/input.h"
3962__inline static void input_sync(struct input_dev *dev )
3963{
3964
3965 {
3966 {
3967#line 1532
3968 input_event(dev, 0U, 0U, 0);
3969 }
3970#line 1533
3971 return;
3972}
3973}
3974#line 1558
3975extern void input_set_abs_params(struct input_dev *dev , unsigned int axis , int min ,
3976 int max , int fuzz , int flat ) ;
3977#line 126 "include/linux/interrupt.h"
3978extern int __attribute__((__warn_unused_result__)) request_threaded_irq(unsigned int irq ,
3979 irqreturn_t (*handler)(int ,
3980 void * ) ,
3981 irqreturn_t (*thread_fn)(int ,
3982 void * ) ,
3983 unsigned long flags ,
3984 char const *name ,
3985 void *dev ) ;
3986#line 131
3987__inline static int __attribute__((__warn_unused_result__)) request_irq(unsigned int irq ,
3988 irqreturn_t (*handler)(int ,
3989 void * ) ,
3990 unsigned long flags ,
3991 char const *name ,
3992 void *dev ) __attribute__((__no_instrument_function__)) ;
3993#line 131 "include/linux/interrupt.h"
3994__inline static int __attribute__((__warn_unused_result__)) request_irq(unsigned int irq ,
3995 irqreturn_t (*handler)(int ,
3996 void * ) ,
3997 unsigned long flags ,
3998 char const *name ,
3999 void *dev )
4000{ int tmp ;
4001 void *__cil_tmp7 ;
4002 irqreturn_t (*__cil_tmp8)(int , void * ) ;
4003
4004 {
4005 {
4006#line 135
4007 __cil_tmp7 = (void *)0;
4008#line 135
4009 __cil_tmp8 = (irqreturn_t (*)(int , void * ))__cil_tmp7;
4010#line 135
4011 tmp = (int )request_threaded_irq(irq, handler, __cil_tmp8, flags, name, dev);
4012 }
4013#line 135
4014 return (tmp);
4015}
4016}
4017#line 184
4018extern void free_irq(unsigned int , void * ) ;
4019#line 224
4020extern void disable_irq(unsigned int irq ) ;
4021#line 226
4022extern void enable_irq(unsigned int irq ) ;
4023#line 356
4024extern int irq_set_irq_wake(unsigned int irq , unsigned int on ) ;
4025#line 358
4026__inline static int enable_irq_wake(unsigned int irq ) __attribute__((__no_instrument_function__)) ;
4027#line 358 "include/linux/interrupt.h"
4028__inline static int enable_irq_wake(unsigned int irq )
4029{ int tmp ;
4030
4031 {
4032 {
4033#line 360
4034 tmp = irq_set_irq_wake(irq, 1U);
4035 }
4036#line 360
4037 return (tmp);
4038}
4039}
4040#line 363
4041__inline static int disable_irq_wake(unsigned int irq ) __attribute__((__no_instrument_function__)) ;
4042#line 363 "include/linux/interrupt.h"
4043__inline static int disable_irq_wake(unsigned int irq )
4044{ int tmp ;
4045
4046 {
4047 {
4048#line 365
4049 tmp = irq_set_irq_wake(irq, 0U);
4050 }
4051#line 365
4052 return (tmp);
4053}
4054}
4055#line 64 "include/linux/i2c.h"
4056extern int i2c_master_recv(struct i2c_client const *client , char *buf , int count ) ;
4057#line 242
4058__inline static void *i2c_get_clientdata(struct i2c_client const *dev ) __attribute__((__no_instrument_function__)) ;
4059#line 242 "include/linux/i2c.h"
4060__inline static void *i2c_get_clientdata(struct i2c_client const *dev )
4061{ void *tmp___7 ;
4062 unsigned long __cil_tmp3 ;
4063 unsigned long __cil_tmp4 ;
4064 struct device const *__cil_tmp5 ;
4065
4066 {
4067 {
4068#line 244
4069 __cil_tmp3 = (unsigned long )dev;
4070#line 244
4071 __cil_tmp4 = __cil_tmp3 + 40;
4072#line 244
4073 __cil_tmp5 = (struct device const *)__cil_tmp4;
4074#line 244
4075 tmp___7 = dev_get_drvdata(__cil_tmp5);
4076 }
4077#line 244
4078 return (tmp___7);
4079}
4080}
4081#line 247
4082__inline static void i2c_set_clientdata(struct i2c_client *dev , void *data ) __attribute__((__no_instrument_function__)) ;
4083#line 247 "include/linux/i2c.h"
4084__inline static void i2c_set_clientdata(struct i2c_client *dev , void *data )
4085{ unsigned long __cil_tmp3 ;
4086 unsigned long __cil_tmp4 ;
4087 struct device *__cil_tmp5 ;
4088
4089 {
4090 {
4091#line 249
4092 __cil_tmp3 = (unsigned long )dev;
4093#line 249
4094 __cil_tmp4 = __cil_tmp3 + 40;
4095#line 249
4096 __cil_tmp5 = (struct device *)__cil_tmp4;
4097#line 249
4098 dev_set_drvdata(__cil_tmp5, data);
4099 }
4100#line 250
4101 return;
4102}
4103}
4104#line 450
4105extern int i2c_register_driver(struct module * , struct i2c_driver * ) ;
4106#line 451
4107extern void i2c_del_driver(struct i2c_driver * ) ;
4108#line 169 "include/asm-generic/gpio.h"
4109extern int __gpio_get_value(unsigned int gpio ) ;
4110#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/gpio.h"
4111__inline static int gpio_get_value(unsigned int gpio ) __attribute__((__no_instrument_function__)) ;
4112#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/gpio.h"
4113__inline static int gpio_get_value(unsigned int gpio )
4114{ int tmp___7 ;
4115
4116 {
4117 {
4118#line 28
4119 tmp___7 = __gpio_get_value(gpio);
4120 }
4121#line 28
4122 return (tmp___7);
4123}
4124}
4125#line 46
4126__inline static int irq_to_gpio(unsigned int irq ) __attribute__((__no_instrument_function__)) ;
4127#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/gpio.h"
4128__inline static int irq_to_gpio(unsigned int irq )
4129{
4130
4131 {
4132#line 48
4133 return (-22);
4134}
4135}
4136#line 161 "include/linux/slab.h"
4137extern void kfree(void const * ) ;
4138#line 221 "include/linux/slub_def.h"
4139extern void *__kmalloc(size_t size , gfp_t flags ) ;
4140#line 268
4141__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
4142 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
4143#line 268 "include/linux/slub_def.h"
4144__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
4145 gfp_t flags )
4146{ void *tmp___10 ;
4147
4148 {
4149 {
4150#line 283
4151 tmp___10 = __kmalloc(size, flags);
4152 }
4153#line 283
4154 return (tmp___10);
4155}
4156}
4157#line 349 "include/linux/slab.h"
4158__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
4159#line 349 "include/linux/slab.h"
4160__inline static void *kzalloc(size_t size , gfp_t flags )
4161{ void *tmp___7 ;
4162 unsigned int __cil_tmp4 ;
4163
4164 {
4165 {
4166#line 351
4167 __cil_tmp4 = flags | 32768U;
4168#line 351
4169 tmp___7 = kmalloc(size, __cil_tmp4);
4170 }
4171#line 351
4172 return (tmp___7);
4173}
4174}
4175#line 39 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4176static bool flip_x ;
4177#line 40 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4178static char const __param_str_flip_x[7] = { (char const )'f', (char const )'l', (char const )'i', (char const )'p',
4179 (char const )'_', (char const )'x', (char const )'\000'};
4180#line 40 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4181static struct kernel_param const __param_flip_x __attribute__((__used__, __unused__,
4182__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_flip_x, (struct kernel_param_ops const *)(& param_ops_bool), (u16 )420,
4183 (s16 )0, {(void *)(& flip_x)}};
4184#line 40 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4185static char const __mod_flip_xtype40[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
4186__aligned__(1))) =
4187#line 40
4188 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4189 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
4190 (char const )'=', (char const )'f', (char const )'l', (char const )'i',
4191 (char const )'p', (char const )'_', (char const )'x', (char const )':',
4192 (char const )'b', (char const )'o', (char const )'o', (char const )'l',
4193 (char const )'\000'};
4194#line 41 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4195static char const __mod_flip_x41[30] __attribute__((__used__, __unused__, __section__(".modinfo"),
4196__aligned__(1))) =
4197#line 41
4198 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4199 (char const )'=', (char const )'f', (char const )'l', (char const )'i',
4200 (char const )'p', (char const )'_', (char const )'x', (char const )':',
4201 (char const )'f', (char const )'l', (char const )'i', (char const )'p',
4202 (char const )' ', (char const )'x', (char const )' ', (char const )'c',
4203 (char const )'o', (char const )'o', (char const )'r', (char const )'d',
4204 (char const )'i', (char const )'n', (char const )'a', (char const )'t',
4205 (char const )'e', (char const )'\000'};
4206#line 43 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4207static bool flip_y ;
4208#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4209static char const __param_str_flip_y[7] = { (char const )'f', (char const )'l', (char const )'i', (char const )'p',
4210 (char const )'_', (char const )'y', (char const )'\000'};
4211#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4212static struct kernel_param const __param_flip_y __attribute__((__used__, __unused__,
4213__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_flip_y, (struct kernel_param_ops const *)(& param_ops_bool), (u16 )420,
4214 (s16 )0, {(void *)(& flip_y)}};
4215#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4216static char const __mod_flip_ytype44[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
4217__aligned__(1))) =
4218#line 44
4219 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4220 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
4221 (char const )'=', (char const )'f', (char const )'l', (char const )'i',
4222 (char const )'p', (char const )'_', (char const )'y', (char const )':',
4223 (char const )'b', (char const )'o', (char const )'o', (char const )'l',
4224 (char const )'\000'};
4225#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4226static char const __mod_flip_y45[30] __attribute__((__used__, __unused__, __section__(".modinfo"),
4227__aligned__(1))) =
4228#line 45
4229 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4230 (char const )'=', (char const )'f', (char const )'l', (char const )'i',
4231 (char const )'p', (char const )'_', (char const )'y', (char const )':',
4232 (char const )'f', (char const )'l', (char const )'i', (char const )'p',
4233 (char const )' ', (char const )'y', (char const )' ', (char const )'c',
4234 (char const )'o', (char const )'o', (char const )'r', (char const )'d',
4235 (char const )'i', (char const )'n', (char const )'a', (char const )'t',
4236 (char const )'e', (char const )'\000'};
4237#line 64
4238__inline static int eeti_ts_irq_active(struct eeti_ts_priv *priv ) __attribute__((__no_instrument_function__)) ;
4239#line 64 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4240__inline static int eeti_ts_irq_active(struct eeti_ts_priv *priv )
4241{ int tmp___7 ;
4242 int tmp___8 ;
4243 unsigned long __cil_tmp4 ;
4244 unsigned long __cil_tmp5 ;
4245 int __cil_tmp6 ;
4246 unsigned int __cil_tmp7 ;
4247 unsigned int __cil_tmp8 ;
4248 unsigned long __cil_tmp9 ;
4249 unsigned long __cil_tmp10 ;
4250 int __cil_tmp11 ;
4251
4252 {
4253 {
4254#line 66
4255 __cil_tmp4 = (unsigned long )priv;
4256#line 66
4257 __cil_tmp5 = __cil_tmp4 + 120;
4258#line 66
4259 __cil_tmp6 = *((int *)__cil_tmp5);
4260#line 66
4261 __cil_tmp7 = (unsigned int )__cil_tmp6;
4262#line 66
4263 tmp___7 = irq_to_gpio(__cil_tmp7);
4264#line 66
4265 __cil_tmp8 = (unsigned int )tmp___7;
4266#line 66
4267 tmp___8 = gpio_get_value(__cil_tmp8);
4268 }
4269 {
4270#line 66
4271 __cil_tmp9 = (unsigned long )priv;
4272#line 66
4273 __cil_tmp10 = __cil_tmp9 + 124;
4274#line 66
4275 __cil_tmp11 = *((int *)__cil_tmp10);
4276#line 66
4277 return (tmp___8 == __cil_tmp11);
4278 }
4279}
4280}
4281#line 69 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4282static void eeti_ts_read(struct work_struct *work )
4283{ char buf[6] ;
4284 unsigned int x ;
4285 unsigned int y ;
4286 unsigned int res ;
4287 unsigned int pressed ;
4288 unsigned int to ;
4289 struct eeti_ts_priv *priv ;
4290 struct work_struct const *__mptr ;
4291 int tmp___7 ;
4292 struct eeti_ts_priv *__cil_tmp11 ;
4293 unsigned long __cil_tmp12 ;
4294 unsigned long __cil_tmp13 ;
4295 struct work_struct *__cil_tmp14 ;
4296 unsigned int __cil_tmp15 ;
4297 char *__cil_tmp16 ;
4298 char *__cil_tmp17 ;
4299 unsigned long __cil_tmp18 ;
4300 unsigned long __cil_tmp19 ;
4301 struct mutex *__cil_tmp20 ;
4302 struct i2c_client *__cil_tmp21 ;
4303 struct i2c_client const *__cil_tmp22 ;
4304 unsigned long __cil_tmp23 ;
4305 unsigned long __cil_tmp24 ;
4306 char *__cil_tmp25 ;
4307 int __cil_tmp26 ;
4308 struct i2c_client *__cil_tmp27 ;
4309 unsigned long __cil_tmp28 ;
4310 unsigned long __cil_tmp29 ;
4311 struct device *__cil_tmp30 ;
4312 struct device const *__cil_tmp31 ;
4313 unsigned long __cil_tmp32 ;
4314 unsigned long __cil_tmp33 ;
4315 char __cil_tmp34 ;
4316 int __cil_tmp35 ;
4317 int __cil_tmp36 ;
4318 unsigned long __cil_tmp37 ;
4319 unsigned long __cil_tmp38 ;
4320 char __cil_tmp39 ;
4321 int __cil_tmp40 ;
4322 int __cil_tmp41 ;
4323 int __cil_tmp42 ;
4324 int __cil_tmp43 ;
4325 int __cil_tmp44 ;
4326 unsigned long __cil_tmp45 ;
4327 unsigned long __cil_tmp46 ;
4328 char __cil_tmp47 ;
4329 int __cil_tmp48 ;
4330 int __cil_tmp49 ;
4331 int __cil_tmp50 ;
4332 int __cil_tmp51 ;
4333 unsigned long __cil_tmp52 ;
4334 unsigned long __cil_tmp53 ;
4335 char __cil_tmp54 ;
4336 int __cil_tmp55 ;
4337 int __cil_tmp56 ;
4338 unsigned long __cil_tmp57 ;
4339 unsigned long __cil_tmp58 ;
4340 char __cil_tmp59 ;
4341 int __cil_tmp60 ;
4342 int __cil_tmp61 ;
4343 unsigned long __cil_tmp62 ;
4344 unsigned long __cil_tmp63 ;
4345 char __cil_tmp64 ;
4346 int __cil_tmp65 ;
4347 int __cil_tmp66 ;
4348 unsigned long __cil_tmp67 ;
4349 unsigned long __cil_tmp68 ;
4350 char __cil_tmp69 ;
4351 int __cil_tmp70 ;
4352 int __cil_tmp71 ;
4353 unsigned int __cil_tmp72 ;
4354 unsigned int __cil_tmp73 ;
4355 bool *__cil_tmp74 ;
4356 int __cil_tmp75 ;
4357 int __cil_tmp76 ;
4358 unsigned int __cil_tmp77 ;
4359 bool *__cil_tmp78 ;
4360 int __cil_tmp79 ;
4361 int __cil_tmp80 ;
4362 unsigned int __cil_tmp81 ;
4363 int __cil_tmp82 ;
4364 unsigned long __cil_tmp83 ;
4365 unsigned long __cil_tmp84 ;
4366 char __cil_tmp85 ;
4367 int __cil_tmp86 ;
4368 unsigned long __cil_tmp87 ;
4369 unsigned long __cil_tmp88 ;
4370 struct input_dev *__cil_tmp89 ;
4371 unsigned long __cil_tmp90 ;
4372 unsigned long __cil_tmp91 ;
4373 char __cil_tmp92 ;
4374 int __cil_tmp93 ;
4375 unsigned long __cil_tmp94 ;
4376 unsigned long __cil_tmp95 ;
4377 struct input_dev *__cil_tmp96 ;
4378 int __cil_tmp97 ;
4379 unsigned long __cil_tmp98 ;
4380 unsigned long __cil_tmp99 ;
4381 struct input_dev *__cil_tmp100 ;
4382 int __cil_tmp101 ;
4383 unsigned long __cil_tmp102 ;
4384 unsigned long __cil_tmp103 ;
4385 struct input_dev *__cil_tmp104 ;
4386 int __cil_tmp105 ;
4387 int __cil_tmp106 ;
4388 unsigned long __cil_tmp107 ;
4389 unsigned long __cil_tmp108 ;
4390 struct input_dev *__cil_tmp109 ;
4391 unsigned long __cil_tmp110 ;
4392 unsigned long __cil_tmp111 ;
4393 struct mutex *__cil_tmp112 ;
4394
4395 {
4396 {
4397#line 72
4398 to = 100U;
4399#line 74
4400 __mptr = (struct work_struct const *)work;
4401#line 74
4402 __cil_tmp11 = (struct eeti_ts_priv *)0;
4403#line 74
4404 __cil_tmp12 = (unsigned long )__cil_tmp11;
4405#line 74
4406 __cil_tmp13 = __cil_tmp12 + 16;
4407#line 74
4408 __cil_tmp14 = (struct work_struct *)__cil_tmp13;
4409#line 74
4410 __cil_tmp15 = (unsigned int )__cil_tmp14;
4411#line 74
4412 __cil_tmp16 = (char *)__mptr;
4413#line 74
4414 __cil_tmp17 = __cil_tmp16 - __cil_tmp15;
4415#line 74
4416 priv = (struct eeti_ts_priv *)__cil_tmp17;
4417#line 76
4418 __cil_tmp18 = (unsigned long )priv;
4419#line 76
4420 __cil_tmp19 = __cil_tmp18 + 48;
4421#line 76
4422 __cil_tmp20 = (struct mutex *)__cil_tmp19;
4423#line 76
4424 mutex_lock(__cil_tmp20);
4425 }
4426 {
4427#line 78
4428 while (1) {
4429 while_continue: ;
4430 {
4431#line 78
4432 tmp___7 = eeti_ts_irq_active(priv);
4433 }
4434#line 78
4435 if (tmp___7) {
4436#line 78
4437 to = to - 1U;
4438#line 78
4439 if (to) {
4440
4441 } else {
4442#line 78
4443 goto while_break;
4444 }
4445 } else {
4446#line 78
4447 goto while_break;
4448 }
4449 {
4450#line 79
4451 __cil_tmp21 = *((struct i2c_client **)priv);
4452#line 79
4453 __cil_tmp22 = (struct i2c_client const *)__cil_tmp21;
4454#line 79
4455 __cil_tmp23 = 0 * 1UL;
4456#line 79
4457 __cil_tmp24 = (unsigned long )(buf) + __cil_tmp23;
4458#line 79
4459 __cil_tmp25 = (char *)__cil_tmp24;
4460#line 79
4461 __cil_tmp26 = (int )6UL;
4462#line 79
4463 i2c_master_recv(__cil_tmp22, __cil_tmp25, __cil_tmp26);
4464 }
4465 }
4466 while_break: ;
4467 }
4468#line 81
4469 if (! to) {
4470 {
4471#line 82
4472 __cil_tmp27 = *((struct i2c_client **)priv);
4473#line 82
4474 __cil_tmp28 = (unsigned long )__cil_tmp27;
4475#line 82
4476 __cil_tmp29 = __cil_tmp28 + 40;
4477#line 82
4478 __cil_tmp30 = (struct device *)__cil_tmp29;
4479#line 82
4480 __cil_tmp31 = (struct device const *)__cil_tmp30;
4481#line 82
4482 dev_err(__cil_tmp31, "unable to clear IRQ - line stuck?\n");
4483 }
4484#line 84
4485 goto out;
4486 } else {
4487
4488 }
4489 {
4490#line 88
4491 __cil_tmp32 = 0 * 1UL;
4492#line 88
4493 __cil_tmp33 = (unsigned long )(buf) + __cil_tmp32;
4494#line 88
4495 __cil_tmp34 = *((char *)__cil_tmp33);
4496#line 88
4497 __cil_tmp35 = (int )__cil_tmp34;
4498#line 88
4499 __cil_tmp36 = __cil_tmp35 & 128;
4500#line 88
4501 if (! __cil_tmp36) {
4502#line 89
4503 goto out;
4504 } else {
4505
4506 }
4507 }
4508#line 91
4509 __cil_tmp37 = 0 * 1UL;
4510#line 91
4511 __cil_tmp38 = (unsigned long )(buf) + __cil_tmp37;
4512#line 91
4513 __cil_tmp39 = *((char *)__cil_tmp38);
4514#line 91
4515 __cil_tmp40 = (int )__cil_tmp39;
4516#line 91
4517 __cil_tmp41 = __cil_tmp40 & 1;
4518#line 91
4519 pressed = (unsigned int )__cil_tmp41;
4520#line 92
4521 __cil_tmp42 = 1 << 2;
4522#line 92
4523 __cil_tmp43 = 1 << 1;
4524#line 92
4525 __cil_tmp44 = __cil_tmp43 | __cil_tmp42;
4526#line 92
4527 __cil_tmp45 = 0 * 1UL;
4528#line 92
4529 __cil_tmp46 = (unsigned long )(buf) + __cil_tmp45;
4530#line 92
4531 __cil_tmp47 = *((char *)__cil_tmp46);
4532#line 92
4533 __cil_tmp48 = (int )__cil_tmp47;
4534#line 92
4535 __cil_tmp49 = __cil_tmp48 & __cil_tmp44;
4536#line 92
4537 __cil_tmp50 = __cil_tmp49 >> 1;
4538#line 92
4539 __cil_tmp51 = __cil_tmp50 + 11;
4540#line 92
4541 res = (unsigned int )__cil_tmp51;
4542#line 93
4543 __cil_tmp52 = 1 * 1UL;
4544#line 93
4545 __cil_tmp53 = (unsigned long )(buf) + __cil_tmp52;
4546#line 93
4547 __cil_tmp54 = *((char *)__cil_tmp53);
4548#line 93
4549 __cil_tmp55 = (int )__cil_tmp54;
4550#line 93
4551 __cil_tmp56 = __cil_tmp55 << 8;
4552#line 93
4553 __cil_tmp57 = 2 * 1UL;
4554#line 93
4555 __cil_tmp58 = (unsigned long )(buf) + __cil_tmp57;
4556#line 93
4557 __cil_tmp59 = *((char *)__cil_tmp58);
4558#line 93
4559 __cil_tmp60 = (int )__cil_tmp59;
4560#line 93
4561 __cil_tmp61 = __cil_tmp60 | __cil_tmp56;
4562#line 93
4563 x = (unsigned int )__cil_tmp61;
4564#line 94
4565 __cil_tmp62 = 3 * 1UL;
4566#line 94
4567 __cil_tmp63 = (unsigned long )(buf) + __cil_tmp62;
4568#line 94
4569 __cil_tmp64 = *((char *)__cil_tmp63);
4570#line 94
4571 __cil_tmp65 = (int )__cil_tmp64;
4572#line 94
4573 __cil_tmp66 = __cil_tmp65 << 8;
4574#line 94
4575 __cil_tmp67 = 4 * 1UL;
4576#line 94
4577 __cil_tmp68 = (unsigned long )(buf) + __cil_tmp67;
4578#line 94
4579 __cil_tmp69 = *((char *)__cil_tmp68);
4580#line 94
4581 __cil_tmp70 = (int )__cil_tmp69;
4582#line 94
4583 __cil_tmp71 = __cil_tmp70 | __cil_tmp66;
4584#line 94
4585 y = (unsigned int )__cil_tmp71;
4586#line 97
4587 __cil_tmp72 = res - 11U;
4588#line 97
4589 x = x >> __cil_tmp72;
4590#line 98
4591 __cil_tmp73 = res - 11U;
4592#line 98
4593 y = y >> __cil_tmp73;
4594 {
4595#line 100
4596 __cil_tmp74 = & flip_x;
4597#line 100
4598 if (*__cil_tmp74) {
4599#line 101
4600 __cil_tmp75 = 1 << 12;
4601#line 101
4602 __cil_tmp76 = __cil_tmp75 - 1;
4603#line 101
4604 __cil_tmp77 = (unsigned int )__cil_tmp76;
4605#line 101
4606 x = __cil_tmp77 - x;
4607 } else {
4608
4609 }
4610 }
4611 {
4612#line 103
4613 __cil_tmp78 = & flip_y;
4614#line 103
4615 if (*__cil_tmp78) {
4616#line 104
4617 __cil_tmp79 = 1 << 12;
4618#line 104
4619 __cil_tmp80 = __cil_tmp79 - 1;
4620#line 104
4621 __cil_tmp81 = (unsigned int )__cil_tmp80;
4622#line 104
4623 y = __cil_tmp81 - y;
4624 } else {
4625
4626 }
4627 }
4628 {
4629#line 106
4630 __cil_tmp82 = 1 << 6;
4631#line 106
4632 __cil_tmp83 = 0 * 1UL;
4633#line 106
4634 __cil_tmp84 = (unsigned long )(buf) + __cil_tmp83;
4635#line 106
4636 __cil_tmp85 = *((char *)__cil_tmp84);
4637#line 106
4638 __cil_tmp86 = (int )__cil_tmp85;
4639#line 106
4640 if (__cil_tmp86 & __cil_tmp82) {
4641 {
4642#line 107
4643 __cil_tmp87 = (unsigned long )priv;
4644#line 107
4645 __cil_tmp88 = __cil_tmp87 + 8;
4646#line 107
4647 __cil_tmp89 = *((struct input_dev **)__cil_tmp88);
4648#line 107
4649 __cil_tmp90 = 5 * 1UL;
4650#line 107
4651 __cil_tmp91 = (unsigned long )(buf) + __cil_tmp90;
4652#line 107
4653 __cil_tmp92 = *((char *)__cil_tmp91);
4654#line 107
4655 __cil_tmp93 = (int )__cil_tmp92;
4656#line 107
4657 input_report_abs(__cil_tmp89, 24U, __cil_tmp93);
4658 }
4659 } else {
4660
4661 }
4662 }
4663 {
4664#line 109
4665 __cil_tmp94 = (unsigned long )priv;
4666#line 109
4667 __cil_tmp95 = __cil_tmp94 + 8;
4668#line 109
4669 __cil_tmp96 = *((struct input_dev **)__cil_tmp95);
4670#line 109
4671 __cil_tmp97 = (int )x;
4672#line 109
4673 input_report_abs(__cil_tmp96, 0U, __cil_tmp97);
4674#line 110
4675 __cil_tmp98 = (unsigned long )priv;
4676#line 110
4677 __cil_tmp99 = __cil_tmp98 + 8;
4678#line 110
4679 __cil_tmp100 = *((struct input_dev **)__cil_tmp99);
4680#line 110
4681 __cil_tmp101 = (int )y;
4682#line 110
4683 input_report_abs(__cil_tmp100, 1U, __cil_tmp101);
4684#line 111
4685 __cil_tmp102 = (unsigned long )priv;
4686#line 111
4687 __cil_tmp103 = __cil_tmp102 + 8;
4688#line 111
4689 __cil_tmp104 = *((struct input_dev **)__cil_tmp103);
4690#line 111
4691 __cil_tmp105 = ! pressed;
4692#line 111
4693 __cil_tmp106 = ! __cil_tmp105;
4694#line 111
4695 input_report_key(__cil_tmp104, 330U, __cil_tmp106);
4696#line 112
4697 __cil_tmp107 = (unsigned long )priv;
4698#line 112
4699 __cil_tmp108 = __cil_tmp107 + 8;
4700#line 112
4701 __cil_tmp109 = *((struct input_dev **)__cil_tmp108);
4702#line 112
4703 input_sync(__cil_tmp109);
4704 }
4705 out:
4706 {
4707#line 115
4708 __cil_tmp110 = (unsigned long )priv;
4709#line 115
4710 __cil_tmp111 = __cil_tmp110 + 48;
4711#line 115
4712 __cil_tmp112 = (struct mutex *)__cil_tmp111;
4713#line 115
4714 mutex_unlock(__cil_tmp112);
4715 }
4716#line 116
4717 return;
4718}
4719}
4720#line 118 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4721static irqreturn_t eeti_ts_isr(int irq , void *dev_id )
4722{ struct eeti_ts_priv *priv ;
4723 unsigned long __cil_tmp4 ;
4724 unsigned long __cil_tmp5 ;
4725 struct work_struct *__cil_tmp6 ;
4726
4727 {
4728 {
4729#line 120
4730 priv = (struct eeti_ts_priv *)dev_id;
4731#line 123
4732 __cil_tmp4 = (unsigned long )priv;
4733#line 123
4734 __cil_tmp5 = __cil_tmp4 + 16;
4735#line 123
4736 __cil_tmp6 = (struct work_struct *)__cil_tmp5;
4737#line 123
4738 schedule_work(__cil_tmp6);
4739 }
4740#line 125
4741 return ((irqreturn_t )1);
4742}
4743}
4744#line 128 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4745static void eeti_ts_start(struct eeti_ts_priv *priv )
4746{ unsigned long __cil_tmp2 ;
4747 unsigned long __cil_tmp3 ;
4748 int __cil_tmp4 ;
4749 unsigned int __cil_tmp5 ;
4750 unsigned long __cil_tmp6 ;
4751 unsigned long __cil_tmp7 ;
4752 struct work_struct *__cil_tmp8 ;
4753
4754 {
4755 {
4756#line 130
4757 __cil_tmp2 = (unsigned long )priv;
4758#line 130
4759 __cil_tmp3 = __cil_tmp2 + 120;
4760#line 130
4761 __cil_tmp4 = *((int *)__cil_tmp3);
4762#line 130
4763 __cil_tmp5 = (unsigned int )__cil_tmp4;
4764#line 130
4765 enable_irq(__cil_tmp5);
4766#line 133
4767 __cil_tmp6 = (unsigned long )priv;
4768#line 133
4769 __cil_tmp7 = __cil_tmp6 + 16;
4770#line 133
4771 __cil_tmp8 = (struct work_struct *)__cil_tmp7;
4772#line 133
4773 eeti_ts_read(__cil_tmp8);
4774 }
4775#line 134
4776 return;
4777}
4778}
4779#line 136 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4780static void eeti_ts_stop(struct eeti_ts_priv *priv )
4781{ unsigned long __cil_tmp2 ;
4782 unsigned long __cil_tmp3 ;
4783 int __cil_tmp4 ;
4784 unsigned int __cil_tmp5 ;
4785 unsigned long __cil_tmp6 ;
4786 unsigned long __cil_tmp7 ;
4787 struct work_struct *__cil_tmp8 ;
4788
4789 {
4790 {
4791#line 138
4792 __cil_tmp2 = (unsigned long )priv;
4793#line 138
4794 __cil_tmp3 = __cil_tmp2 + 120;
4795#line 138
4796 __cil_tmp4 = *((int *)__cil_tmp3);
4797#line 138
4798 __cil_tmp5 = (unsigned int )__cil_tmp4;
4799#line 138
4800 disable_irq(__cil_tmp5);
4801#line 139
4802 __cil_tmp6 = (unsigned long )priv;
4803#line 139
4804 __cil_tmp7 = __cil_tmp6 + 16;
4805#line 139
4806 __cil_tmp8 = (struct work_struct *)__cil_tmp7;
4807#line 139
4808 cancel_work_sync(__cil_tmp8);
4809 }
4810#line 140
4811 return;
4812}
4813}
4814#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4815static int eeti_ts_open(struct input_dev *dev )
4816{ struct eeti_ts_priv *priv ;
4817 void *tmp___7 ;
4818
4819 {
4820 {
4821#line 144
4822 tmp___7 = input_get_drvdata(dev);
4823#line 144
4824 priv = (struct eeti_ts_priv *)tmp___7;
4825#line 146
4826 eeti_ts_start(priv);
4827 }
4828#line 148
4829 return (0);
4830}
4831}
4832#line 151 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4833static void eeti_ts_close(struct input_dev *dev )
4834{ struct eeti_ts_priv *priv ;
4835 void *tmp___7 ;
4836
4837 {
4838 {
4839#line 153
4840 tmp___7 = input_get_drvdata(dev);
4841#line 153
4842 priv = (struct eeti_ts_priv *)tmp___7;
4843#line 155
4844 eeti_ts_stop(priv);
4845 }
4846#line 156
4847 return;
4848}
4849}
4850#line 180 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4851static struct lock_class_key __key___4 ;
4852#line 158
4853static int eeti_ts_probe(struct i2c_client *client , struct i2c_device_id const *idp ) __attribute__((__section__(".devinit.text"),
4854__no_instrument_function__)) ;
4855#line 158 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
4856static int eeti_ts_probe(struct i2c_client *client , struct i2c_device_id const *idp )
4857{ struct eeti_ts_platform_data *pdata ;
4858 struct eeti_ts_priv *priv ;
4859 struct input_dev *input ;
4860 unsigned int irq_flags ;
4861 int err ;
4862 void *tmp___7 ;
4863 atomic_long_t __constr_expr_0 ;
4864 unsigned long __cil_tmp10 ;
4865 unsigned long __cil_tmp11 ;
4866 struct device *__cil_tmp12 ;
4867 struct device const *__cil_tmp13 ;
4868 unsigned long __cil_tmp14 ;
4869 unsigned long __cil_tmp15 ;
4870 struct mutex *__cil_tmp16 ;
4871 unsigned long __cil_tmp17 ;
4872 unsigned long __cil_tmp18 ;
4873 struct device *__cil_tmp19 ;
4874 struct device const *__cil_tmp20 ;
4875 unsigned long __cil_tmp21 ;
4876 unsigned long __cil_tmp22 ;
4877 unsigned long __cil_tmp23 ;
4878 unsigned long __cil_tmp24 ;
4879 unsigned long __cil_tmp25 ;
4880 unsigned long __cil_tmp26 ;
4881 unsigned long __cil_tmp27 ;
4882 unsigned long __cil_tmp28 ;
4883 unsigned long __cil_tmp29 ;
4884 unsigned long __cil_tmp30 ;
4885 int __cil_tmp31 ;
4886 int __cil_tmp32 ;
4887 int __cil_tmp33 ;
4888 int __cil_tmp34 ;
4889 unsigned long __cil_tmp35 ;
4890 unsigned long __cil_tmp36 ;
4891 unsigned long __cil_tmp37 ;
4892 unsigned long __cil_tmp38 ;
4893 char *__cil_tmp39 ;
4894 unsigned long __cil_tmp40 ;
4895 unsigned long __cil_tmp41 ;
4896 unsigned long __cil_tmp42 ;
4897 unsigned long __cil_tmp43 ;
4898 unsigned long __cil_tmp44 ;
4899 unsigned long __cil_tmp45 ;
4900 unsigned long __cil_tmp46 ;
4901 unsigned long __cil_tmp47 ;
4902 unsigned long __cil_tmp48 ;
4903 unsigned long __cil_tmp49 ;
4904 unsigned long __cil_tmp50 ;
4905 unsigned long __cil_tmp51 ;
4906 unsigned long __cil_tmp52 ;
4907 unsigned long __cil_tmp53 ;
4908 unsigned long __cil_tmp54 ;
4909 unsigned long __cil_tmp55 ;
4910 unsigned long __cil_tmp56 ;
4911 unsigned long __cil_tmp57 ;
4912 unsigned long __cil_tmp58 ;
4913 void *__cil_tmp59 ;
4914 unsigned long __cil_tmp60 ;
4915 unsigned long __cil_tmp61 ;
4916 unsigned int __cil_tmp62 ;
4917 unsigned long __cil_tmp63 ;
4918 unsigned long __cil_tmp64 ;
4919 unsigned long __cil_tmp65 ;
4920 unsigned long __cil_tmp66 ;
4921 struct work_struct *__cil_tmp67 ;
4922 unsigned long __cil_tmp68 ;
4923 unsigned long __cil_tmp69 ;
4924 unsigned long __cil_tmp70 ;
4925 unsigned long __cil_tmp71 ;
4926 unsigned long __cil_tmp72 ;
4927 struct list_head *__cil_tmp73 ;
4928 unsigned long __cil_tmp74 ;
4929 unsigned long __cil_tmp75 ;
4930 unsigned long __cil_tmp76 ;
4931 void *__cil_tmp77 ;
4932 void *__cil_tmp78 ;
4933 unsigned long __cil_tmp79 ;
4934 unsigned long __cil_tmp80 ;
4935 int __cil_tmp81 ;
4936 unsigned int __cil_tmp82 ;
4937 unsigned long __cil_tmp83 ;
4938 unsigned long __cil_tmp84 ;
4939 unsigned long __cil_tmp85 ;
4940 unsigned long __cil_tmp86 ;
4941 unsigned long __cil_tmp87 ;
4942 char *__cil_tmp88 ;
4943 char const *__cil_tmp89 ;
4944 void *__cil_tmp90 ;
4945 unsigned long __cil_tmp91 ;
4946 unsigned long __cil_tmp92 ;
4947 struct device *__cil_tmp93 ;
4948 struct device const *__cil_tmp94 ;
4949 unsigned long __cil_tmp95 ;
4950 unsigned long __cil_tmp96 ;
4951 struct device *__cil_tmp97 ;
4952 bool __cil_tmp98 ;
4953 void *__cil_tmp99 ;
4954 void const *__cil_tmp100 ;
4955 long __constr_expr_0_counter101 ;
4956
4957 {
4958 {
4959#line 165
4960 err = -12;
4961#line 174
4962 tmp___7 = kzalloc(128UL, 208U);
4963#line 174
4964 priv = (struct eeti_ts_priv *)tmp___7;
4965 }
4966#line 175
4967 if (! priv) {
4968 {
4969#line 176
4970 __cil_tmp10 = (unsigned long )client;
4971#line 176
4972 __cil_tmp11 = __cil_tmp10 + 40;
4973#line 176
4974 __cil_tmp12 = (struct device *)__cil_tmp11;
4975#line 176
4976 __cil_tmp13 = (struct device const *)__cil_tmp12;
4977#line 176
4978 dev_err(__cil_tmp13, "failed to allocate driver data\n");
4979 }
4980#line 177
4981 goto err0;
4982 } else {
4983
4984 }
4985 {
4986#line 180
4987 while (1) {
4988 while_continue: ;
4989 {
4990#line 180
4991 __cil_tmp14 = (unsigned long )priv;
4992#line 180
4993 __cil_tmp15 = __cil_tmp14 + 48;
4994#line 180
4995 __cil_tmp16 = (struct mutex *)__cil_tmp15;
4996#line 180
4997 __mutex_init(__cil_tmp16, "&priv->mutex", & __key___4);
4998 }
4999#line 180
5000 goto while_break;
5001 }
5002 while_break: ;
5003 }
5004 {
5005#line 181
5006 input = input_allocate_device();
5007 }
5008#line 183
5009 if (! input) {
5010 {
5011#line 184
5012 __cil_tmp17 = (unsigned long )client;
5013#line 184
5014 __cil_tmp18 = __cil_tmp17 + 40;
5015#line 184
5016 __cil_tmp19 = (struct device *)__cil_tmp18;
5017#line 184
5018 __cil_tmp20 = (struct device const *)__cil_tmp19;
5019#line 184
5020 dev_err(__cil_tmp20, "Failed to allocate input device.\n");
5021 }
5022#line 185
5023 goto err1;
5024 } else {
5025
5026 }
5027 {
5028#line 188
5029 __cil_tmp21 = 0 * 8UL;
5030#line 188
5031 __cil_tmp22 = 40 + __cil_tmp21;
5032#line 188
5033 __cil_tmp23 = (unsigned long )input;
5034#line 188
5035 __cil_tmp24 = __cil_tmp23 + __cil_tmp22;
5036#line 188
5037 __cil_tmp25 = 1UL << 3;
5038#line 188
5039 __cil_tmp26 = 1UL << 1;
5040#line 188
5041 *((unsigned long *)__cil_tmp24) = __cil_tmp26 | __cil_tmp25;
5042#line 189
5043 __cil_tmp27 = 5 * 8UL;
5044#line 189
5045 __cil_tmp28 = 48 + __cil_tmp27;
5046#line 189
5047 __cil_tmp29 = (unsigned long )input;
5048#line 189
5049 __cil_tmp30 = __cil_tmp29 + __cil_tmp28;
5050#line 189
5051 *((unsigned long *)__cil_tmp30) = 1UL << 10;
5052#line 191
5053 __cil_tmp31 = 1 << 12;
5054#line 191
5055 __cil_tmp32 = __cil_tmp31 - 1;
5056#line 191
5057 input_set_abs_params(input, 0U, 0, __cil_tmp32, 0, 0);
5058#line 192
5059 __cil_tmp33 = 1 << 12;
5060#line 192
5061 __cil_tmp34 = __cil_tmp33 - 1;
5062#line 192
5063 input_set_abs_params(input, 1U, 0, __cil_tmp34, 0, 0);
5064#line 193
5065 input_set_abs_params(input, 24U, 0, 255, 0, 0);
5066#line 195
5067 __cil_tmp35 = 0 * 1UL;
5068#line 195
5069 __cil_tmp36 = 4 + __cil_tmp35;
5070#line 195
5071 __cil_tmp37 = (unsigned long )client;
5072#line 195
5073 __cil_tmp38 = __cil_tmp37 + __cil_tmp36;
5074#line 195
5075 __cil_tmp39 = (char *)__cil_tmp38;
5076#line 195
5077 *((char const **)input) = (char const *)__cil_tmp39;
5078#line 196
5079 __cil_tmp40 = (unsigned long )input;
5080#line 196
5081 __cil_tmp41 = __cil_tmp40 + 24;
5082#line 196
5083 *((__u16 *)__cil_tmp41) = (__u16 )24;
5084#line 197
5085 __cil_tmp42 = (unsigned long )input;
5086#line 197
5087 __cil_tmp43 = __cil_tmp42 + 648;
5088#line 197
5089 __cil_tmp44 = (unsigned long )client;
5090#line 197
5091 __cil_tmp45 = __cil_tmp44 + 40;
5092#line 197
5093 *((struct device **)__cil_tmp43) = (struct device *)__cil_tmp45;
5094#line 198
5095 __cil_tmp46 = (unsigned long )input;
5096#line 198
5097 __cil_tmp47 = __cil_tmp46 + 504;
5098#line 198
5099 *((int (**)(struct input_dev *dev ))__cil_tmp47) = & eeti_ts_open;
5100#line 199
5101 __cil_tmp48 = (unsigned long )input;
5102#line 199
5103 __cil_tmp49 = __cil_tmp48 + 512;
5104#line 199
5105 *((void (**)(struct input_dev *dev ))__cil_tmp49) = & eeti_ts_close;
5106#line 201
5107 *((struct i2c_client **)priv) = client;
5108#line 202
5109 __cil_tmp50 = (unsigned long )priv;
5110#line 202
5111 __cil_tmp51 = __cil_tmp50 + 8;
5112#line 202
5113 *((struct input_dev **)__cil_tmp51) = input;
5114#line 203
5115 __cil_tmp52 = (unsigned long )priv;
5116#line 203
5117 __cil_tmp53 = __cil_tmp52 + 120;
5118#line 203
5119 __cil_tmp54 = (unsigned long )client;
5120#line 203
5121 __cil_tmp55 = __cil_tmp54 + 808;
5122#line 203
5123 *((int *)__cil_tmp53) = *((int *)__cil_tmp55);
5124#line 205
5125 __cil_tmp56 = 40 + 184;
5126#line 205
5127 __cil_tmp57 = (unsigned long )client;
5128#line 205
5129 __cil_tmp58 = __cil_tmp57 + __cil_tmp56;
5130#line 205
5131 __cil_tmp59 = *((void **)__cil_tmp58);
5132#line 205
5133 pdata = (struct eeti_ts_platform_data *)__cil_tmp59;
5134 }
5135#line 207
5136 if (pdata) {
5137#line 208
5138 __cil_tmp60 = (unsigned long )priv;
5139#line 208
5140 __cil_tmp61 = __cil_tmp60 + 124;
5141#line 208
5142 __cil_tmp62 = *((unsigned int *)pdata);
5143#line 208
5144 *((int *)__cil_tmp61) = (int )__cil_tmp62;
5145 } else {
5146
5147 }
5148 {
5149#line 210
5150 __cil_tmp63 = (unsigned long )priv;
5151#line 210
5152 __cil_tmp64 = __cil_tmp63 + 124;
5153#line 210
5154 if (*((int *)__cil_tmp64)) {
5155#line 210
5156 irq_flags = 1U;
5157 } else {
5158#line 210
5159 irq_flags = 2U;
5160 }
5161 }
5162 {
5163#line 213
5164 while (1) {
5165 while_continue___0: ;
5166 {
5167#line 213
5168 while (1) {
5169 while_continue___1: ;
5170 {
5171#line 213
5172 __cil_tmp65 = (unsigned long )priv;
5173#line 213
5174 __cil_tmp66 = __cil_tmp65 + 16;
5175#line 213
5176 __cil_tmp67 = (struct work_struct *)__cil_tmp66;
5177#line 213
5178 __init_work(__cil_tmp67, 0);
5179#line 213
5180 __constr_expr_0_counter101 = 2097664L;
5181#line 213
5182 __cil_tmp68 = (unsigned long )priv;
5183#line 213
5184 __cil_tmp69 = __cil_tmp68 + 16;
5185#line 213
5186 ((atomic_long_t *)__cil_tmp69)->counter = __constr_expr_0_counter101;
5187#line 213
5188 __cil_tmp70 = 16 + 8;
5189#line 213
5190 __cil_tmp71 = (unsigned long )priv;
5191#line 213
5192 __cil_tmp72 = __cil_tmp71 + __cil_tmp70;
5193#line 213
5194 __cil_tmp73 = (struct list_head *)__cil_tmp72;
5195#line 213
5196 INIT_LIST_HEAD(__cil_tmp73);
5197 }
5198 {
5199#line 213
5200 while (1) {
5201 while_continue___2: ;
5202#line 213
5203 __cil_tmp74 = 16 + 24;
5204#line 213
5205 __cil_tmp75 = (unsigned long )priv;
5206#line 213
5207 __cil_tmp76 = __cil_tmp75 + __cil_tmp74;
5208#line 213
5209 *((void (**)(struct work_struct *work ))__cil_tmp76) = & eeti_ts_read;
5210#line 213
5211 goto while_break___2;
5212 }
5213 while_break___2: ;
5214 }
5215#line 213
5216 goto while_break___1;
5217 }
5218 while_break___1: ;
5219 }
5220#line 213
5221 goto while_break___0;
5222 }
5223 while_break___0: ;
5224 }
5225 {
5226#line 214
5227 __cil_tmp77 = (void *)priv;
5228#line 214
5229 i2c_set_clientdata(client, __cil_tmp77);
5230#line 215
5231 __cil_tmp78 = (void *)priv;
5232#line 215
5233 input_set_drvdata(input, __cil_tmp78);
5234#line 217
5235 err = (int )input_register_device(input);
5236 }
5237#line 218
5238 if (err) {
5239#line 219
5240 goto err1;
5241 } else {
5242
5243 }
5244 {
5245#line 221
5246 __cil_tmp79 = (unsigned long )priv;
5247#line 221
5248 __cil_tmp80 = __cil_tmp79 + 120;
5249#line 221
5250 __cil_tmp81 = *((int *)__cil_tmp80);
5251#line 221
5252 __cil_tmp82 = (unsigned int )__cil_tmp81;
5253#line 221
5254 __cil_tmp83 = (unsigned long )irq_flags;
5255#line 221
5256 __cil_tmp84 = 0 * 1UL;
5257#line 221
5258 __cil_tmp85 = 4 + __cil_tmp84;
5259#line 221
5260 __cil_tmp86 = (unsigned long )client;
5261#line 221
5262 __cil_tmp87 = __cil_tmp86 + __cil_tmp85;
5263#line 221
5264 __cil_tmp88 = (char *)__cil_tmp87;
5265#line 221
5266 __cil_tmp89 = (char const *)__cil_tmp88;
5267#line 221
5268 __cil_tmp90 = (void *)priv;
5269#line 221
5270 err = (int )request_irq(__cil_tmp82, & eeti_ts_isr, __cil_tmp83, __cil_tmp89, __cil_tmp90);
5271 }
5272#line 223
5273 if (err) {
5274 {
5275#line 224
5276 __cil_tmp91 = (unsigned long )client;
5277#line 224
5278 __cil_tmp92 = __cil_tmp91 + 40;
5279#line 224
5280 __cil_tmp93 = (struct device *)__cil_tmp92;
5281#line 224
5282 __cil_tmp94 = (struct device const *)__cil_tmp93;
5283#line 224
5284 dev_err(__cil_tmp94, "Unable to request touchscreen IRQ.\n");
5285 }
5286#line 225
5287 goto err2;
5288 } else {
5289
5290 }
5291 {
5292#line 232
5293 eeti_ts_stop(priv);
5294#line 234
5295 __cil_tmp95 = (unsigned long )client;
5296#line 234
5297 __cil_tmp96 = __cil_tmp95 + 40;
5298#line 234
5299 __cil_tmp97 = (struct device *)__cil_tmp96;
5300#line 234
5301 __cil_tmp98 = (bool )0;
5302#line 234
5303 device_init_wakeup(__cil_tmp97, __cil_tmp98);
5304 }
5305#line 235
5306 return (0);
5307 err2:
5308 {
5309#line 238
5310 input_unregister_device(input);
5311#line 239
5312 __cil_tmp99 = (void *)0;
5313#line 239
5314 input = (struct input_dev *)__cil_tmp99;
5315 }
5316 err1:
5317 {
5318#line 241
5319 input_free_device(input);
5320#line 242
5321 __cil_tmp100 = (void const *)priv;
5322#line 242
5323 kfree(__cil_tmp100);
5324 }
5325 err0:
5326#line 244
5327 return (err);
5328}
5329}
5330#line 247
5331static int eeti_ts_remove(struct i2c_client *client ) __attribute__((__section__(".devexit.text"),
5332__no_instrument_function__)) ;
5333#line 247 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5334static int eeti_ts_remove(struct i2c_client *client )
5335{ struct eeti_ts_priv *priv ;
5336 void *tmp___7 ;
5337 struct i2c_client const *__cil_tmp4 ;
5338 unsigned long __cil_tmp5 ;
5339 unsigned long __cil_tmp6 ;
5340 int __cil_tmp7 ;
5341 unsigned int __cil_tmp8 ;
5342 void *__cil_tmp9 ;
5343 unsigned long __cil_tmp10 ;
5344 unsigned long __cil_tmp11 ;
5345 int __cil_tmp12 ;
5346 unsigned int __cil_tmp13 ;
5347 unsigned long __cil_tmp14 ;
5348 unsigned long __cil_tmp15 ;
5349 struct input_dev *__cil_tmp16 ;
5350 void const *__cil_tmp17 ;
5351
5352 {
5353 {
5354#line 249
5355 __cil_tmp4 = (struct i2c_client const *)client;
5356#line 249
5357 tmp___7 = i2c_get_clientdata(__cil_tmp4);
5358#line 249
5359 priv = (struct eeti_ts_priv *)tmp___7;
5360#line 251
5361 __cil_tmp5 = (unsigned long )priv;
5362#line 251
5363 __cil_tmp6 = __cil_tmp5 + 120;
5364#line 251
5365 __cil_tmp7 = *((int *)__cil_tmp6);
5366#line 251
5367 __cil_tmp8 = (unsigned int )__cil_tmp7;
5368#line 251
5369 __cil_tmp9 = (void *)priv;
5370#line 251
5371 free_irq(__cil_tmp8, __cil_tmp9);
5372#line 256
5373 __cil_tmp10 = (unsigned long )priv;
5374#line 256
5375 __cil_tmp11 = __cil_tmp10 + 120;
5376#line 256
5377 __cil_tmp12 = *((int *)__cil_tmp11);
5378#line 256
5379 __cil_tmp13 = (unsigned int )__cil_tmp12;
5380#line 256
5381 enable_irq(__cil_tmp13);
5382#line 258
5383 __cil_tmp14 = (unsigned long )priv;
5384#line 258
5385 __cil_tmp15 = __cil_tmp14 + 8;
5386#line 258
5387 __cil_tmp16 = *((struct input_dev **)__cil_tmp15);
5388#line 258
5389 input_unregister_device(__cil_tmp16);
5390#line 259
5391 __cil_tmp17 = (void const *)priv;
5392#line 259
5393 kfree(__cil_tmp17);
5394 }
5395#line 261
5396 return (0);
5397}
5398}
5399#line 265 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5400static int eeti_ts_suspend(struct device *dev )
5401{ struct i2c_client *client ;
5402 struct device const *__mptr ;
5403 struct eeti_ts_priv *priv ;
5404 void *tmp___7 ;
5405 struct input_dev *input_dev ;
5406 bool tmp___8 ;
5407 struct i2c_client *__cil_tmp8 ;
5408 unsigned long __cil_tmp9 ;
5409 unsigned long __cil_tmp10 ;
5410 struct device *__cil_tmp11 ;
5411 unsigned int __cil_tmp12 ;
5412 char *__cil_tmp13 ;
5413 char *__cil_tmp14 ;
5414 struct i2c_client const *__cil_tmp15 ;
5415 unsigned long __cil_tmp16 ;
5416 unsigned long __cil_tmp17 ;
5417 unsigned long __cil_tmp18 ;
5418 unsigned long __cil_tmp19 ;
5419 struct mutex *__cil_tmp20 ;
5420 unsigned long __cil_tmp21 ;
5421 unsigned long __cil_tmp22 ;
5422 unsigned long __cil_tmp23 ;
5423 unsigned long __cil_tmp24 ;
5424 struct mutex *__cil_tmp25 ;
5425 unsigned long __cil_tmp26 ;
5426 unsigned long __cil_tmp27 ;
5427 struct device *__cil_tmp28 ;
5428 unsigned long __cil_tmp29 ;
5429 unsigned long __cil_tmp30 ;
5430 int __cil_tmp31 ;
5431 unsigned int __cil_tmp32 ;
5432
5433 {
5434 {
5435#line 267
5436 __mptr = (struct device const *)dev;
5437#line 267
5438 __cil_tmp8 = (struct i2c_client *)0;
5439#line 267
5440 __cil_tmp9 = (unsigned long )__cil_tmp8;
5441#line 267
5442 __cil_tmp10 = __cil_tmp9 + 40;
5443#line 267
5444 __cil_tmp11 = (struct device *)__cil_tmp10;
5445#line 267
5446 __cil_tmp12 = (unsigned int )__cil_tmp11;
5447#line 267
5448 __cil_tmp13 = (char *)__mptr;
5449#line 267
5450 __cil_tmp14 = __cil_tmp13 - __cil_tmp12;
5451#line 267
5452 client = (struct i2c_client *)__cil_tmp14;
5453#line 268
5454 __cil_tmp15 = (struct i2c_client const *)client;
5455#line 268
5456 tmp___7 = i2c_get_clientdata(__cil_tmp15);
5457#line 268
5458 priv = (struct eeti_ts_priv *)tmp___7;
5459#line 269
5460 __cil_tmp16 = (unsigned long )priv;
5461#line 269
5462 __cil_tmp17 = __cil_tmp16 + 8;
5463#line 269
5464 input_dev = *((struct input_dev **)__cil_tmp17);
5465#line 271
5466 __cil_tmp18 = (unsigned long )input_dev;
5467#line 271
5468 __cil_tmp19 = __cil_tmp18 + 568;
5469#line 271
5470 __cil_tmp20 = (struct mutex *)__cil_tmp19;
5471#line 271
5472 mutex_lock(__cil_tmp20);
5473 }
5474 {
5475#line 273
5476 __cil_tmp21 = (unsigned long )input_dev;
5477#line 273
5478 __cil_tmp22 = __cil_tmp21 + 640;
5479#line 273
5480 if (*((unsigned int *)__cil_tmp22)) {
5481 {
5482#line 274
5483 eeti_ts_stop(priv);
5484 }
5485 } else {
5486
5487 }
5488 }
5489 {
5490#line 276
5491 __cil_tmp23 = (unsigned long )input_dev;
5492#line 276
5493 __cil_tmp24 = __cil_tmp23 + 568;
5494#line 276
5495 __cil_tmp25 = (struct mutex *)__cil_tmp24;
5496#line 276
5497 mutex_unlock(__cil_tmp25);
5498#line 278
5499 __cil_tmp26 = (unsigned long )client;
5500#line 278
5501 __cil_tmp27 = __cil_tmp26 + 40;
5502#line 278
5503 __cil_tmp28 = (struct device *)__cil_tmp27;
5504#line 278
5505 tmp___8 = device_may_wakeup(__cil_tmp28);
5506 }
5507#line 278
5508 if (tmp___8) {
5509 {
5510#line 279
5511 __cil_tmp29 = (unsigned long )priv;
5512#line 279
5513 __cil_tmp30 = __cil_tmp29 + 120;
5514#line 279
5515 __cil_tmp31 = *((int *)__cil_tmp30);
5516#line 279
5517 __cil_tmp32 = (unsigned int )__cil_tmp31;
5518#line 279
5519 enable_irq_wake(__cil_tmp32);
5520 }
5521 } else {
5522
5523 }
5524#line 281
5525 return (0);
5526}
5527}
5528#line 284 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5529static int eeti_ts_resume(struct device *dev )
5530{ struct i2c_client *client ;
5531 struct device const *__mptr ;
5532 struct eeti_ts_priv *priv ;
5533 void *tmp___7 ;
5534 struct input_dev *input_dev ;
5535 bool tmp___8 ;
5536 struct i2c_client *__cil_tmp8 ;
5537 unsigned long __cil_tmp9 ;
5538 unsigned long __cil_tmp10 ;
5539 struct device *__cil_tmp11 ;
5540 unsigned int __cil_tmp12 ;
5541 char *__cil_tmp13 ;
5542 char *__cil_tmp14 ;
5543 struct i2c_client const *__cil_tmp15 ;
5544 unsigned long __cil_tmp16 ;
5545 unsigned long __cil_tmp17 ;
5546 unsigned long __cil_tmp18 ;
5547 unsigned long __cil_tmp19 ;
5548 struct device *__cil_tmp20 ;
5549 unsigned long __cil_tmp21 ;
5550 unsigned long __cil_tmp22 ;
5551 int __cil_tmp23 ;
5552 unsigned int __cil_tmp24 ;
5553 unsigned long __cil_tmp25 ;
5554 unsigned long __cil_tmp26 ;
5555 struct mutex *__cil_tmp27 ;
5556 unsigned long __cil_tmp28 ;
5557 unsigned long __cil_tmp29 ;
5558 unsigned long __cil_tmp30 ;
5559 unsigned long __cil_tmp31 ;
5560 struct mutex *__cil_tmp32 ;
5561
5562 {
5563 {
5564#line 286
5565 __mptr = (struct device const *)dev;
5566#line 286
5567 __cil_tmp8 = (struct i2c_client *)0;
5568#line 286
5569 __cil_tmp9 = (unsigned long )__cil_tmp8;
5570#line 286
5571 __cil_tmp10 = __cil_tmp9 + 40;
5572#line 286
5573 __cil_tmp11 = (struct device *)__cil_tmp10;
5574#line 286
5575 __cil_tmp12 = (unsigned int )__cil_tmp11;
5576#line 286
5577 __cil_tmp13 = (char *)__mptr;
5578#line 286
5579 __cil_tmp14 = __cil_tmp13 - __cil_tmp12;
5580#line 286
5581 client = (struct i2c_client *)__cil_tmp14;
5582#line 287
5583 __cil_tmp15 = (struct i2c_client const *)client;
5584#line 287
5585 tmp___7 = i2c_get_clientdata(__cil_tmp15);
5586#line 287
5587 priv = (struct eeti_ts_priv *)tmp___7;
5588#line 288
5589 __cil_tmp16 = (unsigned long )priv;
5590#line 288
5591 __cil_tmp17 = __cil_tmp16 + 8;
5592#line 288
5593 input_dev = *((struct input_dev **)__cil_tmp17);
5594#line 290
5595 __cil_tmp18 = (unsigned long )client;
5596#line 290
5597 __cil_tmp19 = __cil_tmp18 + 40;
5598#line 290
5599 __cil_tmp20 = (struct device *)__cil_tmp19;
5600#line 290
5601 tmp___8 = device_may_wakeup(__cil_tmp20);
5602 }
5603#line 290
5604 if (tmp___8) {
5605 {
5606#line 291
5607 __cil_tmp21 = (unsigned long )priv;
5608#line 291
5609 __cil_tmp22 = __cil_tmp21 + 120;
5610#line 291
5611 __cil_tmp23 = *((int *)__cil_tmp22);
5612#line 291
5613 __cil_tmp24 = (unsigned int )__cil_tmp23;
5614#line 291
5615 disable_irq_wake(__cil_tmp24);
5616 }
5617 } else {
5618
5619 }
5620 {
5621#line 293
5622 __cil_tmp25 = (unsigned long )input_dev;
5623#line 293
5624 __cil_tmp26 = __cil_tmp25 + 568;
5625#line 293
5626 __cil_tmp27 = (struct mutex *)__cil_tmp26;
5627#line 293
5628 mutex_lock(__cil_tmp27);
5629 }
5630 {
5631#line 295
5632 __cil_tmp28 = (unsigned long )input_dev;
5633#line 295
5634 __cil_tmp29 = __cil_tmp28 + 640;
5635#line 295
5636 if (*((unsigned int *)__cil_tmp29)) {
5637 {
5638#line 296
5639 eeti_ts_start(priv);
5640 }
5641 } else {
5642
5643 }
5644 }
5645 {
5646#line 298
5647 __cil_tmp30 = (unsigned long )input_dev;
5648#line 298
5649 __cil_tmp31 = __cil_tmp30 + 568;
5650#line 298
5651 __cil_tmp32 = (struct mutex *)__cil_tmp31;
5652#line 298
5653 mutex_unlock(__cil_tmp32);
5654 }
5655#line 300
5656 return (0);
5657}
5658}
5659#line 303 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5660static struct dev_pm_ops const eeti_ts_pm =
5661#line 303
5662 {(int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, & eeti_ts_suspend,
5663 & eeti_ts_resume, & eeti_ts_suspend, & eeti_ts_resume, & eeti_ts_suspend, & eeti_ts_resume,
5664 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
5665 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
5666 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
5667 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
5668 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0};
5669#line 306 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5670static struct i2c_device_id const eeti_ts_id[1] = { {{(char )'e', (char )'e', (char )'t', (char )'i', (char )'_', (char )'t', (char )'s',
5671 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
5672 (char)0, (char)0, (char)0, (char)0, (char)0}, (kernel_ulong_t )0}};
5673#line 310
5674extern struct i2c_device_id const __mod_i2c_device_table __attribute__((__unused__,
5675__alias__("eeti_ts_id"))) ;
5676#line 312 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5677static struct i2c_driver eeti_ts_driver =
5678#line 312
5679 {0U, (int (*)(struct i2c_adapter * ))0, (int (*)(struct i2c_adapter * ))0, & eeti_ts_probe,
5680 & eeti_ts_remove, (void (*)(struct i2c_client * ))0, (int (*)(struct i2c_client * ,
5681 pm_message_t mesg ))0,
5682 (int (*)(struct i2c_client * ))0, (void (*)(struct i2c_client * , unsigned int data ))0,
5683 (int (*)(struct i2c_client *client , unsigned int cmd , void *arg ))0, {"eeti_ts",
5684 (struct bus_type *)0,
5685 (struct module *)0,
5686 (char const *)0,
5687 (_Bool)0,
5688 (struct of_device_id const *)0,
5689 (int (*)(struct device *dev ))0,
5690 (int (*)(struct device *dev ))0,
5691 (void (*)(struct device *dev ))0,
5692 (int (*)(struct device *dev ,
5693 pm_message_t state ))0,
5694 (int (*)(struct device *dev ))0,
5695 (struct attribute_group const **)0,
5696 & eeti_ts_pm,
5697 (struct driver_private *)0},
5698 eeti_ts_id, (int (*)(struct i2c_client * , struct i2c_board_info * ))0, (unsigned short const *)0,
5699 {(struct list_head *)0, (struct list_head *)0}};
5700#line 324
5701static int eeti_ts_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
5702#line 324 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5703static int eeti_ts_driver_init(void)
5704{ int tmp___7 ;
5705
5706 {
5707 {
5708#line 324
5709 tmp___7 = i2c_register_driver(& __this_module, & eeti_ts_driver);
5710 }
5711#line 324
5712 return (tmp___7);
5713}
5714}
5715#line 324 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5716int init_module(void)
5717{ int tmp___7 ;
5718
5719 {
5720 {
5721#line 324
5722 tmp___7 = eeti_ts_driver_init();
5723 }
5724#line 324
5725 return (tmp___7);
5726}
5727}
5728#line 324
5729static void eeti_ts_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
5730#line 324 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5731static void eeti_ts_driver_exit(void)
5732{
5733
5734 {
5735 {
5736#line 324
5737 i2c_del_driver(& eeti_ts_driver);
5738 }
5739#line 324
5740 return;
5741}
5742}
5743#line 324 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5744void cleanup_module(void)
5745{
5746
5747 {
5748 {
5749#line 324
5750 eeti_ts_driver_exit();
5751 }
5752#line 324
5753 return;
5754}
5755}
5756#line 326 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5757static char const __mod_description326[36] __attribute__((__used__, __unused__,
5758__section__(".modinfo"), __aligned__(1))) =
5759#line 326
5760 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
5761 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
5762 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
5763 (char const )'E', (char const )'E', (char const )'T', (char const )'I',
5764 (char const )' ', (char const )'T', (char const )'o', (char const )'u',
5765 (char const )'c', (char const )'h', (char const )'s', (char const )'c',
5766 (char const )'r', (char const )'e', (char const )'e', (char const )'n',
5767 (char const )' ', (char const )'d', (char const )'r', (char const )'i',
5768 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
5769#line 327 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5770static char const __mod_author327[37] __attribute__((__used__, __unused__, __section__(".modinfo"),
5771__aligned__(1))) =
5772#line 327
5773 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
5774 (char const )'o', (char const )'r', (char const )'=', (char const )'D',
5775 (char const )'a', (char const )'n', (char const )'i', (char const )'e',
5776 (char const )'l', (char const )' ', (char const )'M', (char const )'a',
5777 (char const )'c', (char const )'k', (char const )' ', (char const )'<',
5778 (char const )'d', (char const )'a', (char const )'n', (char const )'i',
5779 (char const )'e', (char const )'l', (char const )'@', (char const )'c',
5780 (char const )'a', (char const )'i', (char const )'a', (char const )'q',
5781 (char const )'.', (char const )'d', (char const )'e', (char const )'>',
5782 (char const )'\000'};
5783#line 328 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5784static char const __mod_license328[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
5785__aligned__(1))) =
5786#line 328
5787 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
5788 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
5789 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
5790#line 346
5791void ldv_check_final_state(void) ;
5792#line 349
5793extern void ldv_check_return_value(int res ) ;
5794#line 352
5795extern void ldv_initialize(void) ;
5796#line 355
5797extern int __VERIFIER_nondet_int(void) ;
5798#line 358 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5799int LDV_IN_INTERRUPT ;
5800#line 383 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5801static int res_eeti_ts_probe_7 ;
5802#line 361 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
5803void main(void)
5804{ struct i2c_client *var_group1 ;
5805 struct i2c_device_id const *var_eeti_ts_probe_7_p1 ;
5806 int var_eeti_ts_isr_2_p0 ;
5807 void *var_eeti_ts_isr_2_p1 ;
5808 int ldv_s_eeti_ts_driver_i2c_driver ;
5809 int tmp___7 ;
5810 int tmp___8 ;
5811 int __cil_tmp8 ;
5812
5813 {
5814 {
5815#line 419
5816 LDV_IN_INTERRUPT = 1;
5817#line 428
5818 ldv_initialize();
5819#line 429
5820 ldv_s_eeti_ts_driver_i2c_driver = 0;
5821 }
5822 {
5823#line 434
5824 while (1) {
5825 while_continue: ;
5826 {
5827#line 434
5828 tmp___8 = __VERIFIER_nondet_int();
5829 }
5830#line 434
5831 if (tmp___8) {
5832
5833 } else {
5834 {
5835#line 434
5836 __cil_tmp8 = ldv_s_eeti_ts_driver_i2c_driver == 0;
5837#line 434
5838 if (! __cil_tmp8) {
5839
5840 } else {
5841#line 434
5842 goto while_break;
5843 }
5844 }
5845 }
5846 {
5847#line 438
5848 tmp___7 = __VERIFIER_nondet_int();
5849 }
5850#line 440
5851 if (tmp___7 == 0) {
5852#line 440
5853 goto case_0;
5854 } else
5855#line 473
5856 if (tmp___7 == 1) {
5857#line 473
5858 goto case_1;
5859 } else {
5860 {
5861#line 503
5862 goto switch_default;
5863#line 438
5864 if (0) {
5865 case_0:
5866#line 443
5867 if (ldv_s_eeti_ts_driver_i2c_driver == 0) {
5868 {
5869#line 456
5870 res_eeti_ts_probe_7 = eeti_ts_probe(var_group1, var_eeti_ts_probe_7_p1);
5871#line 457
5872 ldv_check_return_value(res_eeti_ts_probe_7);
5873 }
5874#line 458
5875 if (res_eeti_ts_probe_7) {
5876#line 459
5877 goto ldv_module_exit;
5878 } else {
5879
5880 }
5881#line 466
5882 ldv_s_eeti_ts_driver_i2c_driver = 0;
5883 } else {
5884
5885 }
5886#line 472
5887 goto switch_break;
5888 case_1:
5889 {
5890#line 476
5891 LDV_IN_INTERRUPT = 2;
5892#line 489
5893 eeti_ts_isr(var_eeti_ts_isr_2_p0, var_eeti_ts_isr_2_p1);
5894#line 496
5895 LDV_IN_INTERRUPT = 1;
5896 }
5897#line 502
5898 goto switch_break;
5899 switch_default:
5900#line 503
5901 goto switch_break;
5902 } else {
5903 switch_break: ;
5904 }
5905 }
5906 }
5907 }
5908 while_break: ;
5909 }
5910 ldv_module_exit:
5911 {
5912#line 512
5913 ldv_check_final_state();
5914 }
5915#line 515
5916 return;
5917}
5918}
5919#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
5920void ldv_blast_assert(void)
5921{
5922
5923 {
5924 ERROR:
5925#line 6
5926 goto ERROR;
5927}
5928}
5929#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
5930extern int __VERIFIER_nondet_int(void) ;
5931#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5932int ldv_mutex = 1;
5933#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5934int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
5935{ int nondetermined ;
5936
5937 {
5938#line 29
5939 if (ldv_mutex == 1) {
5940
5941 } else {
5942 {
5943#line 29
5944 ldv_blast_assert();
5945 }
5946 }
5947 {
5948#line 32
5949 nondetermined = __VERIFIER_nondet_int();
5950 }
5951#line 35
5952 if (nondetermined) {
5953#line 38
5954 ldv_mutex = 2;
5955#line 40
5956 return (0);
5957 } else {
5958#line 45
5959 return (-4);
5960 }
5961}
5962}
5963#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5964int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
5965{ int nondetermined ;
5966
5967 {
5968#line 57
5969 if (ldv_mutex == 1) {
5970
5971 } else {
5972 {
5973#line 57
5974 ldv_blast_assert();
5975 }
5976 }
5977 {
5978#line 60
5979 nondetermined = __VERIFIER_nondet_int();
5980 }
5981#line 63
5982 if (nondetermined) {
5983#line 66
5984 ldv_mutex = 2;
5985#line 68
5986 return (0);
5987 } else {
5988#line 73
5989 return (-4);
5990 }
5991}
5992}
5993#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5994int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
5995{ int atomic_value_after_dec ;
5996
5997 {
5998#line 83
5999 if (ldv_mutex == 1) {
6000
6001 } else {
6002 {
6003#line 83
6004 ldv_blast_assert();
6005 }
6006 }
6007 {
6008#line 86
6009 atomic_value_after_dec = __VERIFIER_nondet_int();
6010 }
6011#line 89
6012 if (atomic_value_after_dec == 0) {
6013#line 92
6014 ldv_mutex = 2;
6015#line 94
6016 return (1);
6017 } else {
6018
6019 }
6020#line 98
6021 return (0);
6022}
6023}
6024#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6025void mutex_lock(struct mutex *lock )
6026{
6027
6028 {
6029#line 108
6030 if (ldv_mutex == 1) {
6031
6032 } else {
6033 {
6034#line 108
6035 ldv_blast_assert();
6036 }
6037 }
6038#line 110
6039 ldv_mutex = 2;
6040#line 111
6041 return;
6042}
6043}
6044#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6045int mutex_trylock(struct mutex *lock )
6046{ int nondetermined ;
6047
6048 {
6049#line 121
6050 if (ldv_mutex == 1) {
6051
6052 } else {
6053 {
6054#line 121
6055 ldv_blast_assert();
6056 }
6057 }
6058 {
6059#line 124
6060 nondetermined = __VERIFIER_nondet_int();
6061 }
6062#line 127
6063 if (nondetermined) {
6064#line 130
6065 ldv_mutex = 2;
6066#line 132
6067 return (1);
6068 } else {
6069#line 137
6070 return (0);
6071 }
6072}
6073}
6074#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6075void mutex_unlock(struct mutex *lock )
6076{
6077
6078 {
6079#line 147
6080 if (ldv_mutex == 2) {
6081
6082 } else {
6083 {
6084#line 147
6085 ldv_blast_assert();
6086 }
6087 }
6088#line 149
6089 ldv_mutex = 1;
6090#line 150
6091 return;
6092}
6093}
6094#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6095void ldv_check_final_state(void)
6096{
6097
6098 {
6099#line 156
6100 if (ldv_mutex == 1) {
6101
6102 } else {
6103 {
6104#line 156
6105 ldv_blast_assert();
6106 }
6107 }
6108#line 157
6109 return;
6110}
6111}
6112#line 524 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4172/dscv_tempdir/dscv/ri/32_1/drivers/input/touchscreen/eeti_ts.c.common.c"
6113long s__builtin_expect(long val , long res )
6114{
6115
6116 {
6117#line 525
6118 return (val);
6119}
6120}