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