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