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