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