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 32 "include/linux/input.h"
1162struct input_id {
1163 __u16 bustype ;
1164 __u16 vendor ;
1165 __u16 product ;
1166 __u16 version ;
1167};
1168#line 49 "include/linux/input.h"
1169struct input_absinfo {
1170 __s32 value ;
1171 __s32 minimum ;
1172 __s32 maximum ;
1173 __s32 fuzz ;
1174 __s32 flat ;
1175 __s32 resolution ;
1176};
1177#line 77 "include/linux/input.h"
1178struct input_keymap_entry {
1179 __u8 flags ;
1180 __u8 len ;
1181 __u16 index ;
1182 __u32 keycode ;
1183 __u8 scancode[32U] ;
1184};
1185#line 101 "include/linux/input.h"
1186struct ff_replay {
1187 __u16 length ;
1188 __u16 delay ;
1189};
1190#line 961 "include/linux/input.h"
1191struct ff_trigger {
1192 __u16 button ;
1193 __u16 interval ;
1194};
1195#line 971 "include/linux/input.h"
1196struct ff_envelope {
1197 __u16 attack_length ;
1198 __u16 attack_level ;
1199 __u16 fade_length ;
1200 __u16 fade_level ;
1201};
1202#line 990 "include/linux/input.h"
1203struct ff_constant_effect {
1204 __s16 level ;
1205 struct ff_envelope envelope ;
1206};
1207#line 1000 "include/linux/input.h"
1208struct ff_ramp_effect {
1209 __s16 start_level ;
1210 __s16 end_level ;
1211 struct ff_envelope envelope ;
1212};
1213#line 1012 "include/linux/input.h"
1214struct ff_condition_effect {
1215 __u16 right_saturation ;
1216 __u16 left_saturation ;
1217 __s16 right_coeff ;
1218 __s16 left_coeff ;
1219 __u16 deadband ;
1220 __s16 center ;
1221};
1222#line 1033 "include/linux/input.h"
1223struct ff_periodic_effect {
1224 __u16 waveform ;
1225 __u16 period ;
1226 __s16 magnitude ;
1227 __s16 offset ;
1228 __u16 phase ;
1229 struct ff_envelope envelope ;
1230 __u32 custom_len ;
1231 __s16 *custom_data ;
1232};
1233#line 1064 "include/linux/input.h"
1234struct ff_rumble_effect {
1235 __u16 strong_magnitude ;
1236 __u16 weak_magnitude ;
1237};
1238#line 1077 "include/linux/input.h"
1239union __anonunion_u_135 {
1240 struct ff_constant_effect constant ;
1241 struct ff_ramp_effect ramp ;
1242 struct ff_periodic_effect periodic ;
1243 struct ff_condition_effect condition[2U] ;
1244 struct ff_rumble_effect rumble ;
1245};
1246#line 1077 "include/linux/input.h"
1247struct ff_effect {
1248 __u16 type ;
1249 __s16 id ;
1250 __u16 direction ;
1251 struct ff_trigger trigger ;
1252 struct ff_replay replay ;
1253 union __anonunion_u_135 u ;
1254};
1255#line 1116
1256struct klist_node;
1257#line 1116
1258struct klist_node;
1259#line 37 "include/linux/klist.h"
1260struct klist_node {
1261 void *n_klist ;
1262 struct list_head n_node ;
1263 struct kref n_ref ;
1264};
1265#line 67
1266struct dma_map_ops;
1267#line 67 "include/linux/klist.h"
1268struct dev_archdata {
1269 void *acpi_handle ;
1270 struct dma_map_ops *dma_ops ;
1271 void *iommu ;
1272};
1273#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1274struct device_private;
1275#line 17
1276struct device_private;
1277#line 18
1278struct device_driver;
1279#line 18
1280struct device_driver;
1281#line 19
1282struct driver_private;
1283#line 19
1284struct driver_private;
1285#line 20
1286struct class;
1287#line 20
1288struct class;
1289#line 21
1290struct subsys_private;
1291#line 21
1292struct subsys_private;
1293#line 22
1294struct bus_type;
1295#line 22
1296struct bus_type;
1297#line 23
1298struct device_node;
1299#line 23
1300struct device_node;
1301#line 24
1302struct iommu_ops;
1303#line 24
1304struct iommu_ops;
1305#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1306struct bus_attribute {
1307 struct attribute attr ;
1308 ssize_t (*show)(struct bus_type * , char * ) ;
1309 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
1310};
1311#line 51 "include/linux/device.h"
1312struct device_attribute;
1313#line 51
1314struct driver_attribute;
1315#line 51 "include/linux/device.h"
1316struct bus_type {
1317 char const *name ;
1318 char const *dev_name ;
1319 struct device *dev_root ;
1320 struct bus_attribute *bus_attrs ;
1321 struct device_attribute *dev_attrs ;
1322 struct driver_attribute *drv_attrs ;
1323 int (*match)(struct device * , struct device_driver * ) ;
1324 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1325 int (*probe)(struct device * ) ;
1326 int (*remove)(struct device * ) ;
1327 void (*shutdown)(struct device * ) ;
1328 int (*suspend)(struct device * , pm_message_t ) ;
1329 int (*resume)(struct device * ) ;
1330 struct dev_pm_ops const *pm ;
1331 struct iommu_ops *iommu_ops ;
1332 struct subsys_private *p ;
1333};
1334#line 125
1335struct device_type;
1336#line 182
1337struct of_device_id;
1338#line 182 "include/linux/device.h"
1339struct device_driver {
1340 char const *name ;
1341 struct bus_type *bus ;
1342 struct module *owner ;
1343 char const *mod_name ;
1344 bool suppress_bind_attrs ;
1345 struct of_device_id const *of_match_table ;
1346 int (*probe)(struct device * ) ;
1347 int (*remove)(struct device * ) ;
1348 void (*shutdown)(struct device * ) ;
1349 int (*suspend)(struct device * , pm_message_t ) ;
1350 int (*resume)(struct device * ) ;
1351 struct attribute_group const **groups ;
1352 struct dev_pm_ops const *pm ;
1353 struct driver_private *p ;
1354};
1355#line 245 "include/linux/device.h"
1356struct driver_attribute {
1357 struct attribute attr ;
1358 ssize_t (*show)(struct device_driver * , char * ) ;
1359 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
1360};
1361#line 299
1362struct class_attribute;
1363#line 299 "include/linux/device.h"
1364struct class {
1365 char const *name ;
1366 struct module *owner ;
1367 struct class_attribute *class_attrs ;
1368 struct device_attribute *dev_attrs ;
1369 struct bin_attribute *dev_bin_attrs ;
1370 struct kobject *dev_kobj ;
1371 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1372 char *(*devnode)(struct device * , umode_t * ) ;
1373 void (*class_release)(struct class * ) ;
1374 void (*dev_release)(struct device * ) ;
1375 int (*suspend)(struct device * , pm_message_t ) ;
1376 int (*resume)(struct device * ) ;
1377 struct kobj_ns_type_operations const *ns_type ;
1378 void const *(*namespace)(struct device * ) ;
1379 struct dev_pm_ops const *pm ;
1380 struct subsys_private *p ;
1381};
1382#line 394 "include/linux/device.h"
1383struct class_attribute {
1384 struct attribute attr ;
1385 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1386 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
1387 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
1388};
1389#line 447 "include/linux/device.h"
1390struct device_type {
1391 char const *name ;
1392 struct attribute_group const **groups ;
1393 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1394 char *(*devnode)(struct device * , umode_t * ) ;
1395 void (*release)(struct device * ) ;
1396 struct dev_pm_ops const *pm ;
1397};
1398#line 474 "include/linux/device.h"
1399struct device_attribute {
1400 struct attribute attr ;
1401 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1402 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
1403 size_t ) ;
1404};
1405#line 557 "include/linux/device.h"
1406struct device_dma_parameters {
1407 unsigned int max_segment_size ;
1408 unsigned long segment_boundary_mask ;
1409};
1410#line 567
1411struct dma_coherent_mem;
1412#line 567 "include/linux/device.h"
1413struct device {
1414 struct device *parent ;
1415 struct device_private *p ;
1416 struct kobject kobj ;
1417 char const *init_name ;
1418 struct device_type const *type ;
1419 struct mutex mutex ;
1420 struct bus_type *bus ;
1421 struct device_driver *driver ;
1422 void *platform_data ;
1423 struct dev_pm_info power ;
1424 struct dev_pm_domain *pm_domain ;
1425 int numa_node ;
1426 u64 *dma_mask ;
1427 u64 coherent_dma_mask ;
1428 struct device_dma_parameters *dma_parms ;
1429 struct list_head dma_pools ;
1430 struct dma_coherent_mem *dma_mem ;
1431 struct dev_archdata archdata ;
1432 struct device_node *of_node ;
1433 dev_t devt ;
1434 u32 id ;
1435 spinlock_t devres_lock ;
1436 struct list_head devres_head ;
1437 struct klist_node knode_class ;
1438 struct class *class ;
1439 struct attribute_group const **groups ;
1440 void (*release)(struct device * ) ;
1441};
1442#line 681 "include/linux/device.h"
1443struct wakeup_source {
1444 char const *name ;
1445 struct list_head entry ;
1446 spinlock_t lock ;
1447 struct timer_list timer ;
1448 unsigned long timer_expires ;
1449 ktime_t total_time ;
1450 ktime_t max_time ;
1451 ktime_t last_time ;
1452 unsigned long event_count ;
1453 unsigned long active_count ;
1454 unsigned long relax_count ;
1455 unsigned long hit_count ;
1456 unsigned char active : 1 ;
1457};
1458#line 994
1459struct block_device;
1460#line 994
1461struct block_device;
1462#line 93 "include/linux/bit_spinlock.h"
1463struct hlist_bl_node;
1464#line 93 "include/linux/bit_spinlock.h"
1465struct hlist_bl_head {
1466 struct hlist_bl_node *first ;
1467};
1468#line 36 "include/linux/list_bl.h"
1469struct hlist_bl_node {
1470 struct hlist_bl_node *next ;
1471 struct hlist_bl_node **pprev ;
1472};
1473#line 114 "include/linux/rculist_bl.h"
1474struct nameidata;
1475#line 114
1476struct nameidata;
1477#line 115
1478struct path;
1479#line 115
1480struct path;
1481#line 116
1482struct vfsmount;
1483#line 116
1484struct vfsmount;
1485#line 117 "include/linux/rculist_bl.h"
1486struct qstr {
1487 unsigned int hash ;
1488 unsigned int len ;
1489 unsigned char const *name ;
1490};
1491#line 72 "include/linux/dcache.h"
1492struct inode;
1493#line 72
1494struct dentry_operations;
1495#line 72
1496struct super_block;
1497#line 72 "include/linux/dcache.h"
1498union __anonunion_d_u_136 {
1499 struct list_head d_child ;
1500 struct rcu_head d_rcu ;
1501};
1502#line 72 "include/linux/dcache.h"
1503struct dentry {
1504 unsigned int d_flags ;
1505 seqcount_t d_seq ;
1506 struct hlist_bl_node d_hash ;
1507 struct dentry *d_parent ;
1508 struct qstr d_name ;
1509 struct inode *d_inode ;
1510 unsigned char d_iname[32U] ;
1511 unsigned int d_count ;
1512 spinlock_t d_lock ;
1513 struct dentry_operations const *d_op ;
1514 struct super_block *d_sb ;
1515 unsigned long d_time ;
1516 void *d_fsdata ;
1517 struct list_head d_lru ;
1518 union __anonunion_d_u_136 d_u ;
1519 struct list_head d_subdirs ;
1520 struct list_head d_alias ;
1521};
1522#line 123 "include/linux/dcache.h"
1523struct dentry_operations {
1524 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1525 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1526 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1527 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1528 int (*d_delete)(struct dentry const * ) ;
1529 void (*d_release)(struct dentry * ) ;
1530 void (*d_prune)(struct dentry * ) ;
1531 void (*d_iput)(struct dentry * , struct inode * ) ;
1532 char *(*d_dname)(struct dentry * , char * , int ) ;
1533 struct vfsmount *(*d_automount)(struct path * ) ;
1534 int (*d_manage)(struct dentry * , bool ) ;
1535};
1536#line 402 "include/linux/dcache.h"
1537struct path {
1538 struct vfsmount *mnt ;
1539 struct dentry *dentry ;
1540};
1541#line 58 "include/linux/radix-tree.h"
1542struct radix_tree_node;
1543#line 58 "include/linux/radix-tree.h"
1544struct radix_tree_root {
1545 unsigned int height ;
1546 gfp_t gfp_mask ;
1547 struct radix_tree_node *rnode ;
1548};
1549#line 377
1550struct prio_tree_node;
1551#line 377 "include/linux/radix-tree.h"
1552struct raw_prio_tree_node {
1553 struct prio_tree_node *left ;
1554 struct prio_tree_node *right ;
1555 struct prio_tree_node *parent ;
1556};
1557#line 19 "include/linux/prio_tree.h"
1558struct prio_tree_node {
1559 struct prio_tree_node *left ;
1560 struct prio_tree_node *right ;
1561 struct prio_tree_node *parent ;
1562 unsigned long start ;
1563 unsigned long last ;
1564};
1565#line 27 "include/linux/prio_tree.h"
1566struct prio_tree_root {
1567 struct prio_tree_node *prio_tree_node ;
1568 unsigned short index_bits ;
1569 unsigned short raw ;
1570};
1571#line 111
1572enum pid_type {
1573 PIDTYPE_PID = 0,
1574 PIDTYPE_PGID = 1,
1575 PIDTYPE_SID = 2,
1576 PIDTYPE_MAX = 3
1577} ;
1578#line 118
1579struct pid_namespace;
1580#line 118 "include/linux/prio_tree.h"
1581struct upid {
1582 int nr ;
1583 struct pid_namespace *ns ;
1584 struct hlist_node pid_chain ;
1585};
1586#line 56 "include/linux/pid.h"
1587struct pid {
1588 atomic_t count ;
1589 unsigned int level ;
1590 struct hlist_head tasks[3U] ;
1591 struct rcu_head rcu ;
1592 struct upid numbers[1U] ;
1593};
1594#line 68 "include/linux/pid.h"
1595struct pid_link {
1596 struct hlist_node node ;
1597 struct pid *pid ;
1598};
1599#line 93 "include/linux/capability.h"
1600struct kernel_cap_struct {
1601 __u32 cap[2U] ;
1602};
1603#line 96 "include/linux/capability.h"
1604typedef struct kernel_cap_struct kernel_cap_t;
1605#line 104
1606struct user_namespace;
1607#line 104
1608struct user_namespace;
1609#line 45 "include/linux/semaphore.h"
1610struct fiemap_extent {
1611 __u64 fe_logical ;
1612 __u64 fe_physical ;
1613 __u64 fe_length ;
1614 __u64 fe_reserved64[2U] ;
1615 __u32 fe_flags ;
1616 __u32 fe_reserved[3U] ;
1617};
1618#line 38 "include/linux/fiemap.h"
1619struct shrink_control {
1620 gfp_t gfp_mask ;
1621 unsigned long nr_to_scan ;
1622};
1623#line 14 "include/linux/shrinker.h"
1624struct shrinker {
1625 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
1626 int seeks ;
1627 long batch ;
1628 struct list_head list ;
1629 atomic_long_t nr_in_batch ;
1630};
1631#line 43
1632enum migrate_mode {
1633 MIGRATE_ASYNC = 0,
1634 MIGRATE_SYNC_LIGHT = 1,
1635 MIGRATE_SYNC = 2
1636} ;
1637#line 49
1638struct export_operations;
1639#line 49
1640struct export_operations;
1641#line 51
1642struct iovec;
1643#line 51
1644struct iovec;
1645#line 52
1646struct kiocb;
1647#line 52
1648struct kiocb;
1649#line 53
1650struct pipe_inode_info;
1651#line 53
1652struct pipe_inode_info;
1653#line 54
1654struct poll_table_struct;
1655#line 54
1656struct poll_table_struct;
1657#line 55
1658struct kstatfs;
1659#line 55
1660struct kstatfs;
1661#line 435 "include/linux/fs.h"
1662struct iattr {
1663 unsigned int ia_valid ;
1664 umode_t ia_mode ;
1665 uid_t ia_uid ;
1666 gid_t ia_gid ;
1667 loff_t ia_size ;
1668 struct timespec ia_atime ;
1669 struct timespec ia_mtime ;
1670 struct timespec ia_ctime ;
1671 struct file *ia_file ;
1672};
1673#line 119 "include/linux/quota.h"
1674struct if_dqinfo {
1675 __u64 dqi_bgrace ;
1676 __u64 dqi_igrace ;
1677 __u32 dqi_flags ;
1678 __u32 dqi_valid ;
1679};
1680#line 176 "include/linux/percpu_counter.h"
1681struct fs_disk_quota {
1682 __s8 d_version ;
1683 __s8 d_flags ;
1684 __u16 d_fieldmask ;
1685 __u32 d_id ;
1686 __u64 d_blk_hardlimit ;
1687 __u64 d_blk_softlimit ;
1688 __u64 d_ino_hardlimit ;
1689 __u64 d_ino_softlimit ;
1690 __u64 d_bcount ;
1691 __u64 d_icount ;
1692 __s32 d_itimer ;
1693 __s32 d_btimer ;
1694 __u16 d_iwarns ;
1695 __u16 d_bwarns ;
1696 __s32 d_padding2 ;
1697 __u64 d_rtb_hardlimit ;
1698 __u64 d_rtb_softlimit ;
1699 __u64 d_rtbcount ;
1700 __s32 d_rtbtimer ;
1701 __u16 d_rtbwarns ;
1702 __s16 d_padding3 ;
1703 char d_padding4[8U] ;
1704};
1705#line 75 "include/linux/dqblk_xfs.h"
1706struct fs_qfilestat {
1707 __u64 qfs_ino ;
1708 __u64 qfs_nblks ;
1709 __u32 qfs_nextents ;
1710};
1711#line 150 "include/linux/dqblk_xfs.h"
1712typedef struct fs_qfilestat fs_qfilestat_t;
1713#line 151 "include/linux/dqblk_xfs.h"
1714struct fs_quota_stat {
1715 __s8 qs_version ;
1716 __u16 qs_flags ;
1717 __s8 qs_pad ;
1718 fs_qfilestat_t qs_uquota ;
1719 fs_qfilestat_t qs_gquota ;
1720 __u32 qs_incoredqs ;
1721 __s32 qs_btimelimit ;
1722 __s32 qs_itimelimit ;
1723 __s32 qs_rtbtimelimit ;
1724 __u16 qs_bwarnlimit ;
1725 __u16 qs_iwarnlimit ;
1726};
1727#line 165
1728struct dquot;
1729#line 165
1730struct dquot;
1731#line 185 "include/linux/quota.h"
1732typedef __kernel_uid32_t qid_t;
1733#line 186 "include/linux/quota.h"
1734typedef long long qsize_t;
1735#line 189 "include/linux/quota.h"
1736struct mem_dqblk {
1737 qsize_t dqb_bhardlimit ;
1738 qsize_t dqb_bsoftlimit ;
1739 qsize_t dqb_curspace ;
1740 qsize_t dqb_rsvspace ;
1741 qsize_t dqb_ihardlimit ;
1742 qsize_t dqb_isoftlimit ;
1743 qsize_t dqb_curinodes ;
1744 time_t dqb_btime ;
1745 time_t dqb_itime ;
1746};
1747#line 211
1748struct quota_format_type;
1749#line 211
1750struct quota_format_type;
1751#line 212 "include/linux/quota.h"
1752struct mem_dqinfo {
1753 struct quota_format_type *dqi_format ;
1754 int dqi_fmt_id ;
1755 struct list_head dqi_dirty_list ;
1756 unsigned long dqi_flags ;
1757 unsigned int dqi_bgrace ;
1758 unsigned int dqi_igrace ;
1759 qsize_t dqi_maxblimit ;
1760 qsize_t dqi_maxilimit ;
1761 void *dqi_priv ;
1762};
1763#line 275 "include/linux/quota.h"
1764struct dquot {
1765 struct hlist_node dq_hash ;
1766 struct list_head dq_inuse ;
1767 struct list_head dq_free ;
1768 struct list_head dq_dirty ;
1769 struct mutex dq_lock ;
1770 atomic_t dq_count ;
1771 wait_queue_head_t dq_wait_unused ;
1772 struct super_block *dq_sb ;
1773 unsigned int dq_id ;
1774 loff_t dq_off ;
1775 unsigned long dq_flags ;
1776 short dq_type ;
1777 struct mem_dqblk dq_dqb ;
1778};
1779#line 303 "include/linux/quota.h"
1780struct quota_format_ops {
1781 int (*check_quota_file)(struct super_block * , int ) ;
1782 int (*read_file_info)(struct super_block * , int ) ;
1783 int (*write_file_info)(struct super_block * , int ) ;
1784 int (*free_file_info)(struct super_block * , int ) ;
1785 int (*read_dqblk)(struct dquot * ) ;
1786 int (*commit_dqblk)(struct dquot * ) ;
1787 int (*release_dqblk)(struct dquot * ) ;
1788};
1789#line 314 "include/linux/quota.h"
1790struct dquot_operations {
1791 int (*write_dquot)(struct dquot * ) ;
1792 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1793 void (*destroy_dquot)(struct dquot * ) ;
1794 int (*acquire_dquot)(struct dquot * ) ;
1795 int (*release_dquot)(struct dquot * ) ;
1796 int (*mark_dirty)(struct dquot * ) ;
1797 int (*write_info)(struct super_block * , int ) ;
1798 qsize_t *(*get_reserved_space)(struct inode * ) ;
1799};
1800#line 328 "include/linux/quota.h"
1801struct quotactl_ops {
1802 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1803 int (*quota_on_meta)(struct super_block * , int , int ) ;
1804 int (*quota_off)(struct super_block * , int ) ;
1805 int (*quota_sync)(struct super_block * , int , int ) ;
1806 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1807 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1808 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1809 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1810 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1811 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1812};
1813#line 344 "include/linux/quota.h"
1814struct quota_format_type {
1815 int qf_fmt_id ;
1816 struct quota_format_ops const *qf_ops ;
1817 struct module *qf_owner ;
1818 struct quota_format_type *qf_next ;
1819};
1820#line 390 "include/linux/quota.h"
1821struct quota_info {
1822 unsigned int flags ;
1823 struct mutex dqio_mutex ;
1824 struct mutex dqonoff_mutex ;
1825 struct rw_semaphore dqptr_sem ;
1826 struct inode *files[2U] ;
1827 struct mem_dqinfo info[2U] ;
1828 struct quota_format_ops const *ops[2U] ;
1829};
1830#line 421
1831struct address_space;
1832#line 421
1833struct address_space;
1834#line 422
1835struct writeback_control;
1836#line 422
1837struct writeback_control;
1838#line 585 "include/linux/fs.h"
1839union __anonunion_arg_139 {
1840 char *buf ;
1841 void *data ;
1842};
1843#line 585 "include/linux/fs.h"
1844struct __anonstruct_read_descriptor_t_138 {
1845 size_t written ;
1846 size_t count ;
1847 union __anonunion_arg_139 arg ;
1848 int error ;
1849};
1850#line 585 "include/linux/fs.h"
1851typedef struct __anonstruct_read_descriptor_t_138 read_descriptor_t;
1852#line 588 "include/linux/fs.h"
1853struct address_space_operations {
1854 int (*writepage)(struct page * , struct writeback_control * ) ;
1855 int (*readpage)(struct file * , struct page * ) ;
1856 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1857 int (*set_page_dirty)(struct page * ) ;
1858 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
1859 unsigned int ) ;
1860 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
1861 unsigned int , struct page ** , void ** ) ;
1862 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
1863 unsigned int , struct page * , void * ) ;
1864 sector_t (*bmap)(struct address_space * , sector_t ) ;
1865 void (*invalidatepage)(struct page * , unsigned long ) ;
1866 int (*releasepage)(struct page * , gfp_t ) ;
1867 void (*freepage)(struct page * ) ;
1868 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
1869 unsigned long ) ;
1870 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1871 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1872 int (*launder_page)(struct page * ) ;
1873 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1874 int (*error_remove_page)(struct address_space * , struct page * ) ;
1875};
1876#line 642
1877struct backing_dev_info;
1878#line 642
1879struct backing_dev_info;
1880#line 643 "include/linux/fs.h"
1881struct address_space {
1882 struct inode *host ;
1883 struct radix_tree_root page_tree ;
1884 spinlock_t tree_lock ;
1885 unsigned int i_mmap_writable ;
1886 struct prio_tree_root i_mmap ;
1887 struct list_head i_mmap_nonlinear ;
1888 struct mutex i_mmap_mutex ;
1889 unsigned long nrpages ;
1890 unsigned long writeback_index ;
1891 struct address_space_operations const *a_ops ;
1892 unsigned long flags ;
1893 struct backing_dev_info *backing_dev_info ;
1894 spinlock_t private_lock ;
1895 struct list_head private_list ;
1896 struct address_space *assoc_mapping ;
1897};
1898#line 664
1899struct request_queue;
1900#line 664
1901struct request_queue;
1902#line 665
1903struct hd_struct;
1904#line 665
1905struct gendisk;
1906#line 665 "include/linux/fs.h"
1907struct block_device {
1908 dev_t bd_dev ;
1909 int bd_openers ;
1910 struct inode *bd_inode ;
1911 struct super_block *bd_super ;
1912 struct mutex bd_mutex ;
1913 struct list_head bd_inodes ;
1914 void *bd_claiming ;
1915 void *bd_holder ;
1916 int bd_holders ;
1917 bool bd_write_holder ;
1918 struct list_head bd_holder_disks ;
1919 struct block_device *bd_contains ;
1920 unsigned int bd_block_size ;
1921 struct hd_struct *bd_part ;
1922 unsigned int bd_part_count ;
1923 int bd_invalidated ;
1924 struct gendisk *bd_disk ;
1925 struct request_queue *bd_queue ;
1926 struct list_head bd_list ;
1927 unsigned long bd_private ;
1928 int bd_fsfreeze_count ;
1929 struct mutex bd_fsfreeze_mutex ;
1930};
1931#line 737
1932struct posix_acl;
1933#line 737
1934struct posix_acl;
1935#line 738
1936struct inode_operations;
1937#line 738 "include/linux/fs.h"
1938union __anonunion_ldv_16579_140 {
1939 unsigned int const i_nlink ;
1940 unsigned int __i_nlink ;
1941};
1942#line 738 "include/linux/fs.h"
1943union __anonunion_ldv_16598_141 {
1944 struct list_head i_dentry ;
1945 struct rcu_head i_rcu ;
1946};
1947#line 738
1948struct file_operations;
1949#line 738
1950struct file_lock;
1951#line 738
1952struct cdev;
1953#line 738 "include/linux/fs.h"
1954union __anonunion_ldv_16616_142 {
1955 struct pipe_inode_info *i_pipe ;
1956 struct block_device *i_bdev ;
1957 struct cdev *i_cdev ;
1958};
1959#line 738 "include/linux/fs.h"
1960struct inode {
1961 umode_t i_mode ;
1962 unsigned short i_opflags ;
1963 uid_t i_uid ;
1964 gid_t i_gid ;
1965 unsigned int i_flags ;
1966 struct posix_acl *i_acl ;
1967 struct posix_acl *i_default_acl ;
1968 struct inode_operations const *i_op ;
1969 struct super_block *i_sb ;
1970 struct address_space *i_mapping ;
1971 void *i_security ;
1972 unsigned long i_ino ;
1973 union __anonunion_ldv_16579_140 ldv_16579 ;
1974 dev_t i_rdev ;
1975 struct timespec i_atime ;
1976 struct timespec i_mtime ;
1977 struct timespec i_ctime ;
1978 spinlock_t i_lock ;
1979 unsigned short i_bytes ;
1980 blkcnt_t i_blocks ;
1981 loff_t i_size ;
1982 unsigned long i_state ;
1983 struct mutex i_mutex ;
1984 unsigned long dirtied_when ;
1985 struct hlist_node i_hash ;
1986 struct list_head i_wb_list ;
1987 struct list_head i_lru ;
1988 struct list_head i_sb_list ;
1989 union __anonunion_ldv_16598_141 ldv_16598 ;
1990 atomic_t i_count ;
1991 unsigned int i_blkbits ;
1992 u64 i_version ;
1993 atomic_t i_dio_count ;
1994 atomic_t i_writecount ;
1995 struct file_operations const *i_fop ;
1996 struct file_lock *i_flock ;
1997 struct address_space i_data ;
1998 struct dquot *i_dquot[2U] ;
1999 struct list_head i_devices ;
2000 union __anonunion_ldv_16616_142 ldv_16616 ;
2001 __u32 i_generation ;
2002 __u32 i_fsnotify_mask ;
2003 struct hlist_head i_fsnotify_marks ;
2004 atomic_t i_readcount ;
2005 void *i_private ;
2006};
2007#line 941 "include/linux/fs.h"
2008struct fown_struct {
2009 rwlock_t lock ;
2010 struct pid *pid ;
2011 enum pid_type pid_type ;
2012 uid_t uid ;
2013 uid_t euid ;
2014 int signum ;
2015};
2016#line 949 "include/linux/fs.h"
2017struct file_ra_state {
2018 unsigned long start ;
2019 unsigned int size ;
2020 unsigned int async_size ;
2021 unsigned int ra_pages ;
2022 unsigned int mmap_miss ;
2023 loff_t prev_pos ;
2024};
2025#line 972 "include/linux/fs.h"
2026union __anonunion_f_u_143 {
2027 struct list_head fu_list ;
2028 struct rcu_head fu_rcuhead ;
2029};
2030#line 972 "include/linux/fs.h"
2031struct file {
2032 union __anonunion_f_u_143 f_u ;
2033 struct path f_path ;
2034 struct file_operations const *f_op ;
2035 spinlock_t f_lock ;
2036 int f_sb_list_cpu ;
2037 atomic_long_t f_count ;
2038 unsigned int f_flags ;
2039 fmode_t f_mode ;
2040 loff_t f_pos ;
2041 struct fown_struct f_owner ;
2042 struct cred const *f_cred ;
2043 struct file_ra_state f_ra ;
2044 u64 f_version ;
2045 void *f_security ;
2046 void *private_data ;
2047 struct list_head f_ep_links ;
2048 struct list_head f_tfile_llink ;
2049 struct address_space *f_mapping ;
2050 unsigned long f_mnt_write_state ;
2051};
2052#line 1111
2053struct files_struct;
2054#line 1111 "include/linux/fs.h"
2055typedef struct files_struct *fl_owner_t;
2056#line 1112 "include/linux/fs.h"
2057struct file_lock_operations {
2058 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2059 void (*fl_release_private)(struct file_lock * ) ;
2060};
2061#line 1117 "include/linux/fs.h"
2062struct lock_manager_operations {
2063 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2064 void (*lm_notify)(struct file_lock * ) ;
2065 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2066 void (*lm_release_private)(struct file_lock * ) ;
2067 void (*lm_break)(struct file_lock * ) ;
2068 int (*lm_change)(struct file_lock ** , int ) ;
2069};
2070#line 1134
2071struct nlm_lockowner;
2072#line 1134
2073struct nlm_lockowner;
2074#line 1135 "include/linux/fs.h"
2075struct nfs_lock_info {
2076 u32 state ;
2077 struct nlm_lockowner *owner ;
2078 struct list_head list ;
2079};
2080#line 14 "include/linux/nfs_fs_i.h"
2081struct nfs4_lock_state;
2082#line 14
2083struct nfs4_lock_state;
2084#line 15 "include/linux/nfs_fs_i.h"
2085struct nfs4_lock_info {
2086 struct nfs4_lock_state *owner ;
2087};
2088#line 19
2089struct fasync_struct;
2090#line 19 "include/linux/nfs_fs_i.h"
2091struct __anonstruct_afs_145 {
2092 struct list_head link ;
2093 int state ;
2094};
2095#line 19 "include/linux/nfs_fs_i.h"
2096union __anonunion_fl_u_144 {
2097 struct nfs_lock_info nfs_fl ;
2098 struct nfs4_lock_info nfs4_fl ;
2099 struct __anonstruct_afs_145 afs ;
2100};
2101#line 19 "include/linux/nfs_fs_i.h"
2102struct file_lock {
2103 struct file_lock *fl_next ;
2104 struct list_head fl_link ;
2105 struct list_head fl_block ;
2106 fl_owner_t fl_owner ;
2107 unsigned int fl_flags ;
2108 unsigned char fl_type ;
2109 unsigned int fl_pid ;
2110 struct pid *fl_nspid ;
2111 wait_queue_head_t fl_wait ;
2112 struct file *fl_file ;
2113 loff_t fl_start ;
2114 loff_t fl_end ;
2115 struct fasync_struct *fl_fasync ;
2116 unsigned long fl_break_time ;
2117 unsigned long fl_downgrade_time ;
2118 struct file_lock_operations const *fl_ops ;
2119 struct lock_manager_operations const *fl_lmops ;
2120 union __anonunion_fl_u_144 fl_u ;
2121};
2122#line 1221 "include/linux/fs.h"
2123struct fasync_struct {
2124 spinlock_t fa_lock ;
2125 int magic ;
2126 int fa_fd ;
2127 struct fasync_struct *fa_next ;
2128 struct file *fa_file ;
2129 struct rcu_head fa_rcu ;
2130};
2131#line 1417
2132struct file_system_type;
2133#line 1417
2134struct super_operations;
2135#line 1417
2136struct xattr_handler;
2137#line 1417
2138struct mtd_info;
2139#line 1417 "include/linux/fs.h"
2140struct super_block {
2141 struct list_head s_list ;
2142 dev_t s_dev ;
2143 unsigned char s_dirt ;
2144 unsigned char s_blocksize_bits ;
2145 unsigned long s_blocksize ;
2146 loff_t s_maxbytes ;
2147 struct file_system_type *s_type ;
2148 struct super_operations const *s_op ;
2149 struct dquot_operations const *dq_op ;
2150 struct quotactl_ops const *s_qcop ;
2151 struct export_operations const *s_export_op ;
2152 unsigned long s_flags ;
2153 unsigned long s_magic ;
2154 struct dentry *s_root ;
2155 struct rw_semaphore s_umount ;
2156 struct mutex s_lock ;
2157 int s_count ;
2158 atomic_t s_active ;
2159 void *s_security ;
2160 struct xattr_handler const **s_xattr ;
2161 struct list_head s_inodes ;
2162 struct hlist_bl_head s_anon ;
2163 struct list_head *s_files ;
2164 struct list_head s_mounts ;
2165 struct list_head s_dentry_lru ;
2166 int s_nr_dentry_unused ;
2167 spinlock_t s_inode_lru_lock ;
2168 struct list_head s_inode_lru ;
2169 int s_nr_inodes_unused ;
2170 struct block_device *s_bdev ;
2171 struct backing_dev_info *s_bdi ;
2172 struct mtd_info *s_mtd ;
2173 struct hlist_node s_instances ;
2174 struct quota_info s_dquot ;
2175 int s_frozen ;
2176 wait_queue_head_t s_wait_unfrozen ;
2177 char s_id[32U] ;
2178 u8 s_uuid[16U] ;
2179 void *s_fs_info ;
2180 unsigned int s_max_links ;
2181 fmode_t s_mode ;
2182 u32 s_time_gran ;
2183 struct mutex s_vfs_rename_mutex ;
2184 char *s_subtype ;
2185 char *s_options ;
2186 struct dentry_operations const *s_d_op ;
2187 int cleancache_poolid ;
2188 struct shrinker s_shrink ;
2189 atomic_long_t s_remove_count ;
2190 int s_readonly_remount ;
2191};
2192#line 1563 "include/linux/fs.h"
2193struct fiemap_extent_info {
2194 unsigned int fi_flags ;
2195 unsigned int fi_extents_mapped ;
2196 unsigned int fi_extents_max ;
2197 struct fiemap_extent *fi_extents_start ;
2198};
2199#line 1602 "include/linux/fs.h"
2200struct file_operations {
2201 struct module *owner ;
2202 loff_t (*llseek)(struct file * , loff_t , int ) ;
2203 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2204 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2205 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2206 loff_t ) ;
2207 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2208 loff_t ) ;
2209 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2210 loff_t , u64 , unsigned int ) ) ;
2211 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2212 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2213 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2214 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2215 int (*open)(struct inode * , struct file * ) ;
2216 int (*flush)(struct file * , fl_owner_t ) ;
2217 int (*release)(struct inode * , struct file * ) ;
2218 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
2219 int (*aio_fsync)(struct kiocb * , int ) ;
2220 int (*fasync)(int , struct file * , int ) ;
2221 int (*lock)(struct file * , int , struct file_lock * ) ;
2222 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2223 int ) ;
2224 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2225 unsigned long , unsigned long ) ;
2226 int (*check_flags)(int ) ;
2227 int (*flock)(struct file * , int , struct file_lock * ) ;
2228 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2229 unsigned int ) ;
2230 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2231 unsigned int ) ;
2232 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2233 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
2234};
2235#line 1637 "include/linux/fs.h"
2236struct inode_operations {
2237 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2238 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2239 int (*permission)(struct inode * , int ) ;
2240 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2241 int (*readlink)(struct dentry * , char * , int ) ;
2242 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2243 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2244 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2245 int (*unlink)(struct inode * , struct dentry * ) ;
2246 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2247 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2248 int (*rmdir)(struct inode * , struct dentry * ) ;
2249 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2250 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2251 void (*truncate)(struct inode * ) ;
2252 int (*setattr)(struct dentry * , struct iattr * ) ;
2253 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
2254 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2255 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2256 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2257 int (*removexattr)(struct dentry * , char const * ) ;
2258 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2259 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
2260};
2261#line 1682 "include/linux/fs.h"
2262struct super_operations {
2263 struct inode *(*alloc_inode)(struct super_block * ) ;
2264 void (*destroy_inode)(struct inode * ) ;
2265 void (*dirty_inode)(struct inode * , int ) ;
2266 int (*write_inode)(struct inode * , struct writeback_control * ) ;
2267 int (*drop_inode)(struct inode * ) ;
2268 void (*evict_inode)(struct inode * ) ;
2269 void (*put_super)(struct super_block * ) ;
2270 void (*write_super)(struct super_block * ) ;
2271 int (*sync_fs)(struct super_block * , int ) ;
2272 int (*freeze_fs)(struct super_block * ) ;
2273 int (*unfreeze_fs)(struct super_block * ) ;
2274 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2275 int (*remount_fs)(struct super_block * , int * , char * ) ;
2276 void (*umount_begin)(struct super_block * ) ;
2277 int (*show_options)(struct seq_file * , struct dentry * ) ;
2278 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2279 int (*show_path)(struct seq_file * , struct dentry * ) ;
2280 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2281 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2282 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2283 loff_t ) ;
2284 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2285 int (*nr_cached_objects)(struct super_block * ) ;
2286 void (*free_cached_objects)(struct super_block * , int ) ;
2287};
2288#line 1834 "include/linux/fs.h"
2289struct file_system_type {
2290 char const *name ;
2291 int fs_flags ;
2292 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2293 void (*kill_sb)(struct super_block * ) ;
2294 struct module *owner ;
2295 struct file_system_type *next ;
2296 struct hlist_head fs_supers ;
2297 struct lock_class_key s_lock_key ;
2298 struct lock_class_key s_umount_key ;
2299 struct lock_class_key s_vfs_rename_key ;
2300 struct lock_class_key i_lock_key ;
2301 struct lock_class_key i_mutex_key ;
2302 struct lock_class_key i_mutex_dir_key ;
2303};
2304#line 12 "include/linux/mod_devicetable.h"
2305typedef unsigned long kernel_ulong_t;
2306#line 215 "include/linux/mod_devicetable.h"
2307struct of_device_id {
2308 char name[32U] ;
2309 char type[32U] ;
2310 char compatible[128U] ;
2311 void *data ;
2312};
2313#line 269 "include/linux/mod_devicetable.h"
2314struct input_device_id {
2315 kernel_ulong_t flags ;
2316 __u16 bustype ;
2317 __u16 vendor ;
2318 __u16 product ;
2319 __u16 version ;
2320 kernel_ulong_t evbit[1U] ;
2321 kernel_ulong_t keybit[12U] ;
2322 kernel_ulong_t relbit[1U] ;
2323 kernel_ulong_t absbit[1U] ;
2324 kernel_ulong_t mscbit[1U] ;
2325 kernel_ulong_t ledbit[1U] ;
2326 kernel_ulong_t sndbit[1U] ;
2327 kernel_ulong_t ffbit[2U] ;
2328 kernel_ulong_t swbit[1U] ;
2329 kernel_ulong_t driver_info ;
2330};
2331#line 425 "include/linux/mod_devicetable.h"
2332struct i2c_device_id {
2333 char name[20U] ;
2334 kernel_ulong_t driver_data ;
2335};
2336#line 584
2337struct ff_device;
2338#line 584
2339struct input_mt_slot;
2340#line 584
2341struct input_handle;
2342#line 584 "include/linux/mod_devicetable.h"
2343struct input_dev {
2344 char const *name ;
2345 char const *phys ;
2346 char const *uniq ;
2347 struct input_id id ;
2348 unsigned long propbit[1U] ;
2349 unsigned long evbit[1U] ;
2350 unsigned long keybit[12U] ;
2351 unsigned long relbit[1U] ;
2352 unsigned long absbit[1U] ;
2353 unsigned long mscbit[1U] ;
2354 unsigned long ledbit[1U] ;
2355 unsigned long sndbit[1U] ;
2356 unsigned long ffbit[2U] ;
2357 unsigned long swbit[1U] ;
2358 unsigned int hint_events_per_packet ;
2359 unsigned int keycodemax ;
2360 unsigned int keycodesize ;
2361 void *keycode ;
2362 int (*setkeycode)(struct input_dev * , struct input_keymap_entry const * , unsigned int * ) ;
2363 int (*getkeycode)(struct input_dev * , struct input_keymap_entry * ) ;
2364 struct ff_device *ff ;
2365 unsigned int repeat_key ;
2366 struct timer_list timer ;
2367 int rep[2U] ;
2368 struct input_mt_slot *mt ;
2369 int mtsize ;
2370 int slot ;
2371 int trkid ;
2372 struct input_absinfo *absinfo ;
2373 unsigned long key[12U] ;
2374 unsigned long led[1U] ;
2375 unsigned long snd[1U] ;
2376 unsigned long sw[1U] ;
2377 int (*open)(struct input_dev * ) ;
2378 void (*close)(struct input_dev * ) ;
2379 int (*flush)(struct input_dev * , struct file * ) ;
2380 int (*event)(struct input_dev * , unsigned int , unsigned int , int ) ;
2381 struct input_handle *grab ;
2382 spinlock_t event_lock ;
2383 struct mutex mutex ;
2384 unsigned int users ;
2385 bool going_away ;
2386 bool sync ;
2387 struct device dev ;
2388 struct list_head h_list ;
2389 struct list_head node ;
2390};
2391#line 1319 "include/linux/input.h"
2392struct input_handler {
2393 void *private ;
2394 void (*event)(struct input_handle * , unsigned int , unsigned int , int ) ;
2395 bool (*filter)(struct input_handle * , unsigned int , unsigned int , int ) ;
2396 bool (*match)(struct input_handler * , struct input_dev * ) ;
2397 int (*connect)(struct input_handler * , struct input_dev * , struct input_device_id const * ) ;
2398 void (*disconnect)(struct input_handle * ) ;
2399 void (*start)(struct input_handle * ) ;
2400 struct file_operations const *fops ;
2401 int minor ;
2402 char const *name ;
2403 struct input_device_id const *id_table ;
2404 struct list_head h_list ;
2405 struct list_head node ;
2406};
2407#line 1429 "include/linux/input.h"
2408struct input_handle {
2409 void *private ;
2410 int open ;
2411 char const *name ;
2412 struct input_dev *dev ;
2413 struct input_handler *handler ;
2414 struct list_head d_node ;
2415 struct list_head h_node ;
2416};
2417#line 1591 "include/linux/input.h"
2418struct ff_device {
2419 int (*upload)(struct input_dev * , struct ff_effect * , struct ff_effect * ) ;
2420 int (*erase)(struct input_dev * , int ) ;
2421 int (*playback)(struct input_dev * , int , int ) ;
2422 void (*set_gain)(struct input_dev * , u16 ) ;
2423 void (*set_autocenter)(struct input_dev * , u16 ) ;
2424 void (*destroy)(struct ff_device * ) ;
2425 void *private ;
2426 unsigned long ffbit[2U] ;
2427 struct mutex mutex ;
2428 int max_effects ;
2429 struct ff_effect *effects ;
2430 struct file *effect_owners[0U] ;
2431};
2432#line 1650
2433enum irqreturn {
2434 IRQ_NONE = 0,
2435 IRQ_HANDLED = 1,
2436 IRQ_WAKE_THREAD = 2
2437} ;
2438#line 16 "include/linux/irqreturn.h"
2439typedef enum irqreturn irqreturn_t;
2440#line 348 "include/linux/irq.h"
2441struct proc_dir_entry;
2442#line 348
2443struct proc_dir_entry;
2444#line 41 "include/asm-generic/sections.h"
2445struct exception_table_entry {
2446 unsigned long insn ;
2447 unsigned long fixup ;
2448};
2449#line 189 "include/linux/hardirq.h"
2450struct timerqueue_node {
2451 struct rb_node node ;
2452 ktime_t expires ;
2453};
2454#line 12 "include/linux/timerqueue.h"
2455struct timerqueue_head {
2456 struct rb_root head ;
2457 struct timerqueue_node *next ;
2458};
2459#line 50
2460struct hrtimer_clock_base;
2461#line 50
2462struct hrtimer_clock_base;
2463#line 51
2464struct hrtimer_cpu_base;
2465#line 51
2466struct hrtimer_cpu_base;
2467#line 60
2468enum hrtimer_restart {
2469 HRTIMER_NORESTART = 0,
2470 HRTIMER_RESTART = 1
2471} ;
2472#line 65 "include/linux/timerqueue.h"
2473struct hrtimer {
2474 struct timerqueue_node node ;
2475 ktime_t _softexpires ;
2476 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2477 struct hrtimer_clock_base *base ;
2478 unsigned long state ;
2479 int start_pid ;
2480 void *start_site ;
2481 char start_comm[16U] ;
2482};
2483#line 132 "include/linux/hrtimer.h"
2484struct hrtimer_clock_base {
2485 struct hrtimer_cpu_base *cpu_base ;
2486 int index ;
2487 clockid_t clockid ;
2488 struct timerqueue_head active ;
2489 ktime_t resolution ;
2490 ktime_t (*get_time)(void) ;
2491 ktime_t softirq_time ;
2492 ktime_t offset ;
2493};
2494#line 162 "include/linux/hrtimer.h"
2495struct hrtimer_cpu_base {
2496 raw_spinlock_t lock ;
2497 unsigned long active_bases ;
2498 ktime_t expires_next ;
2499 int hres_active ;
2500 int hang_detected ;
2501 unsigned long nr_events ;
2502 unsigned long nr_retries ;
2503 unsigned long nr_hangs ;
2504 ktime_t max_hang_time ;
2505 struct hrtimer_clock_base clock_base[3U] ;
2506};
2507#line 55 "include/linux/sched.h"
2508union __anonunion_ldv_20632_149 {
2509 unsigned long index ;
2510 void *freelist ;
2511};
2512#line 55 "include/linux/sched.h"
2513struct __anonstruct_ldv_20642_153 {
2514 unsigned short inuse ;
2515 unsigned short objects : 15 ;
2516 unsigned char frozen : 1 ;
2517};
2518#line 55 "include/linux/sched.h"
2519union __anonunion_ldv_20643_152 {
2520 atomic_t _mapcount ;
2521 struct __anonstruct_ldv_20642_153 ldv_20642 ;
2522};
2523#line 55 "include/linux/sched.h"
2524struct __anonstruct_ldv_20645_151 {
2525 union __anonunion_ldv_20643_152 ldv_20643 ;
2526 atomic_t _count ;
2527};
2528#line 55 "include/linux/sched.h"
2529union __anonunion_ldv_20646_150 {
2530 unsigned long counters ;
2531 struct __anonstruct_ldv_20645_151 ldv_20645 ;
2532};
2533#line 55 "include/linux/sched.h"
2534struct __anonstruct_ldv_20647_148 {
2535 union __anonunion_ldv_20632_149 ldv_20632 ;
2536 union __anonunion_ldv_20646_150 ldv_20646 ;
2537};
2538#line 55 "include/linux/sched.h"
2539struct __anonstruct_ldv_20654_155 {
2540 struct page *next ;
2541 int pages ;
2542 int pobjects ;
2543};
2544#line 55 "include/linux/sched.h"
2545union __anonunion_ldv_20655_154 {
2546 struct list_head lru ;
2547 struct __anonstruct_ldv_20654_155 ldv_20654 ;
2548};
2549#line 55 "include/linux/sched.h"
2550union __anonunion_ldv_20660_156 {
2551 unsigned long private ;
2552 struct kmem_cache *slab ;
2553 struct page *first_page ;
2554};
2555#line 55 "include/linux/sched.h"
2556struct page {
2557 unsigned long flags ;
2558 struct address_space *mapping ;
2559 struct __anonstruct_ldv_20647_148 ldv_20647 ;
2560 union __anonunion_ldv_20655_154 ldv_20655 ;
2561 union __anonunion_ldv_20660_156 ldv_20660 ;
2562 unsigned long debug_flags ;
2563};
2564#line 192 "include/linux/mm_types.h"
2565struct __anonstruct_vm_set_158 {
2566 struct list_head list ;
2567 void *parent ;
2568 struct vm_area_struct *head ;
2569};
2570#line 192 "include/linux/mm_types.h"
2571union __anonunion_shared_157 {
2572 struct __anonstruct_vm_set_158 vm_set ;
2573 struct raw_prio_tree_node prio_tree_node ;
2574};
2575#line 192
2576struct anon_vma;
2577#line 192
2578struct vm_operations_struct;
2579#line 192
2580struct mempolicy;
2581#line 192 "include/linux/mm_types.h"
2582struct vm_area_struct {
2583 struct mm_struct *vm_mm ;
2584 unsigned long vm_start ;
2585 unsigned long vm_end ;
2586 struct vm_area_struct *vm_next ;
2587 struct vm_area_struct *vm_prev ;
2588 pgprot_t vm_page_prot ;
2589 unsigned long vm_flags ;
2590 struct rb_node vm_rb ;
2591 union __anonunion_shared_157 shared ;
2592 struct list_head anon_vma_chain ;
2593 struct anon_vma *anon_vma ;
2594 struct vm_operations_struct const *vm_ops ;
2595 unsigned long vm_pgoff ;
2596 struct file *vm_file ;
2597 void *vm_private_data ;
2598 struct mempolicy *vm_policy ;
2599};
2600#line 255 "include/linux/mm_types.h"
2601struct core_thread {
2602 struct task_struct *task ;
2603 struct core_thread *next ;
2604};
2605#line 261 "include/linux/mm_types.h"
2606struct core_state {
2607 atomic_t nr_threads ;
2608 struct core_thread dumper ;
2609 struct completion startup ;
2610};
2611#line 274 "include/linux/mm_types.h"
2612struct mm_rss_stat {
2613 atomic_long_t count[3U] ;
2614};
2615#line 287
2616struct linux_binfmt;
2617#line 287
2618struct mmu_notifier_mm;
2619#line 287 "include/linux/mm_types.h"
2620struct mm_struct {
2621 struct vm_area_struct *mmap ;
2622 struct rb_root mm_rb ;
2623 struct vm_area_struct *mmap_cache ;
2624 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2625 unsigned long , unsigned long ) ;
2626 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
2627 unsigned long mmap_base ;
2628 unsigned long task_size ;
2629 unsigned long cached_hole_size ;
2630 unsigned long free_area_cache ;
2631 pgd_t *pgd ;
2632 atomic_t mm_users ;
2633 atomic_t mm_count ;
2634 int map_count ;
2635 spinlock_t page_table_lock ;
2636 struct rw_semaphore mmap_sem ;
2637 struct list_head mmlist ;
2638 unsigned long hiwater_rss ;
2639 unsigned long hiwater_vm ;
2640 unsigned long total_vm ;
2641 unsigned long locked_vm ;
2642 unsigned long pinned_vm ;
2643 unsigned long shared_vm ;
2644 unsigned long exec_vm ;
2645 unsigned long stack_vm ;
2646 unsigned long reserved_vm ;
2647 unsigned long def_flags ;
2648 unsigned long nr_ptes ;
2649 unsigned long start_code ;
2650 unsigned long end_code ;
2651 unsigned long start_data ;
2652 unsigned long end_data ;
2653 unsigned long start_brk ;
2654 unsigned long brk ;
2655 unsigned long start_stack ;
2656 unsigned long arg_start ;
2657 unsigned long arg_end ;
2658 unsigned long env_start ;
2659 unsigned long env_end ;
2660 unsigned long saved_auxv[44U] ;
2661 struct mm_rss_stat rss_stat ;
2662 struct linux_binfmt *binfmt ;
2663 cpumask_var_t cpu_vm_mask_var ;
2664 mm_context_t context ;
2665 unsigned int faultstamp ;
2666 unsigned int token_priority ;
2667 unsigned int last_interval ;
2668 unsigned long flags ;
2669 struct core_state *core_state ;
2670 spinlock_t ioctx_lock ;
2671 struct hlist_head ioctx_list ;
2672 struct task_struct *owner ;
2673 struct file *exe_file ;
2674 unsigned long num_exe_file_vmas ;
2675 struct mmu_notifier_mm *mmu_notifier_mm ;
2676 pgtable_t pmd_huge_pte ;
2677 struct cpumask cpumask_allocation ;
2678};
2679#line 7 "include/asm-generic/cputime.h"
2680typedef unsigned long cputime_t;
2681#line 98 "include/linux/sem.h"
2682struct sem_undo_list;
2683#line 98 "include/linux/sem.h"
2684struct sysv_sem {
2685 struct sem_undo_list *undo_list ;
2686};
2687#line 107
2688struct siginfo;
2689#line 107
2690struct siginfo;
2691#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2692struct __anonstruct_sigset_t_159 {
2693 unsigned long sig[1U] ;
2694};
2695#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2696typedef struct __anonstruct_sigset_t_159 sigset_t;
2697#line 17 "include/asm-generic/signal-defs.h"
2698typedef void __signalfn_t(int );
2699#line 18 "include/asm-generic/signal-defs.h"
2700typedef __signalfn_t *__sighandler_t;
2701#line 20 "include/asm-generic/signal-defs.h"
2702typedef void __restorefn_t(void);
2703#line 21 "include/asm-generic/signal-defs.h"
2704typedef __restorefn_t *__sigrestore_t;
2705#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2706struct sigaction {
2707 __sighandler_t sa_handler ;
2708 unsigned long sa_flags ;
2709 __sigrestore_t sa_restorer ;
2710 sigset_t sa_mask ;
2711};
2712#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2713struct k_sigaction {
2714 struct sigaction sa ;
2715};
2716#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2717union sigval {
2718 int sival_int ;
2719 void *sival_ptr ;
2720};
2721#line 10 "include/asm-generic/siginfo.h"
2722typedef union sigval sigval_t;
2723#line 11 "include/asm-generic/siginfo.h"
2724struct __anonstruct__kill_161 {
2725 __kernel_pid_t _pid ;
2726 __kernel_uid32_t _uid ;
2727};
2728#line 11 "include/asm-generic/siginfo.h"
2729struct __anonstruct__timer_162 {
2730 __kernel_timer_t _tid ;
2731 int _overrun ;
2732 char _pad[0U] ;
2733 sigval_t _sigval ;
2734 int _sys_private ;
2735};
2736#line 11 "include/asm-generic/siginfo.h"
2737struct __anonstruct__rt_163 {
2738 __kernel_pid_t _pid ;
2739 __kernel_uid32_t _uid ;
2740 sigval_t _sigval ;
2741};
2742#line 11 "include/asm-generic/siginfo.h"
2743struct __anonstruct__sigchld_164 {
2744 __kernel_pid_t _pid ;
2745 __kernel_uid32_t _uid ;
2746 int _status ;
2747 __kernel_clock_t _utime ;
2748 __kernel_clock_t _stime ;
2749};
2750#line 11 "include/asm-generic/siginfo.h"
2751struct __anonstruct__sigfault_165 {
2752 void *_addr ;
2753 short _addr_lsb ;
2754};
2755#line 11 "include/asm-generic/siginfo.h"
2756struct __anonstruct__sigpoll_166 {
2757 long _band ;
2758 int _fd ;
2759};
2760#line 11 "include/asm-generic/siginfo.h"
2761union __anonunion__sifields_160 {
2762 int _pad[28U] ;
2763 struct __anonstruct__kill_161 _kill ;
2764 struct __anonstruct__timer_162 _timer ;
2765 struct __anonstruct__rt_163 _rt ;
2766 struct __anonstruct__sigchld_164 _sigchld ;
2767 struct __anonstruct__sigfault_165 _sigfault ;
2768 struct __anonstruct__sigpoll_166 _sigpoll ;
2769};
2770#line 11 "include/asm-generic/siginfo.h"
2771struct siginfo {
2772 int si_signo ;
2773 int si_errno ;
2774 int si_code ;
2775 union __anonunion__sifields_160 _sifields ;
2776};
2777#line 102 "include/asm-generic/siginfo.h"
2778typedef struct siginfo siginfo_t;
2779#line 14 "include/linux/signal.h"
2780struct user_struct;
2781#line 24 "include/linux/signal.h"
2782struct sigpending {
2783 struct list_head list ;
2784 sigset_t signal ;
2785};
2786#line 10 "include/linux/seccomp.h"
2787struct __anonstruct_seccomp_t_169 {
2788 int mode ;
2789};
2790#line 10 "include/linux/seccomp.h"
2791typedef struct __anonstruct_seccomp_t_169 seccomp_t;
2792#line 26 "include/linux/seccomp.h"
2793struct plist_head {
2794 struct list_head node_list ;
2795};
2796#line 84 "include/linux/plist.h"
2797struct plist_node {
2798 int prio ;
2799 struct list_head prio_list ;
2800 struct list_head node_list ;
2801};
2802#line 20 "include/linux/rtmutex.h"
2803struct rt_mutex {
2804 raw_spinlock_t wait_lock ;
2805 struct plist_head wait_list ;
2806 struct task_struct *owner ;
2807 int save_state ;
2808 char const *name ;
2809 char const *file ;
2810 int line ;
2811 void *magic ;
2812};
2813#line 38
2814struct rt_mutex_waiter;
2815#line 38
2816struct rt_mutex_waiter;
2817#line 41 "include/linux/resource.h"
2818struct rlimit {
2819 unsigned long rlim_cur ;
2820 unsigned long rlim_max ;
2821};
2822#line 85 "include/linux/resource.h"
2823struct task_io_accounting {
2824 u64 rchar ;
2825 u64 wchar ;
2826 u64 syscr ;
2827 u64 syscw ;
2828 u64 read_bytes ;
2829 u64 write_bytes ;
2830 u64 cancelled_write_bytes ;
2831};
2832#line 45 "include/linux/task_io_accounting.h"
2833struct latency_record {
2834 unsigned long backtrace[12U] ;
2835 unsigned int count ;
2836 unsigned long time ;
2837 unsigned long max ;
2838};
2839#line 29 "include/linux/key.h"
2840typedef int32_t key_serial_t;
2841#line 32 "include/linux/key.h"
2842typedef uint32_t key_perm_t;
2843#line 33
2844struct key;
2845#line 33
2846struct key;
2847#line 34
2848struct signal_struct;
2849#line 34
2850struct signal_struct;
2851#line 35
2852struct key_type;
2853#line 35
2854struct key_type;
2855#line 37
2856struct keyring_list;
2857#line 37
2858struct keyring_list;
2859#line 115
2860struct key_user;
2861#line 115 "include/linux/key.h"
2862union __anonunion_ldv_21460_170 {
2863 time_t expiry ;
2864 time_t revoked_at ;
2865};
2866#line 115 "include/linux/key.h"
2867union __anonunion_type_data_171 {
2868 struct list_head link ;
2869 unsigned long x[2U] ;
2870 void *p[2U] ;
2871 int reject_error ;
2872};
2873#line 115 "include/linux/key.h"
2874union __anonunion_payload_172 {
2875 unsigned long value ;
2876 void *rcudata ;
2877 void *data ;
2878 struct keyring_list *subscriptions ;
2879};
2880#line 115 "include/linux/key.h"
2881struct key {
2882 atomic_t usage ;
2883 key_serial_t serial ;
2884 struct rb_node serial_node ;
2885 struct key_type *type ;
2886 struct rw_semaphore sem ;
2887 struct key_user *user ;
2888 void *security ;
2889 union __anonunion_ldv_21460_170 ldv_21460 ;
2890 uid_t uid ;
2891 gid_t gid ;
2892 key_perm_t perm ;
2893 unsigned short quotalen ;
2894 unsigned short datalen ;
2895 unsigned long flags ;
2896 char *description ;
2897 union __anonunion_type_data_171 type_data ;
2898 union __anonunion_payload_172 payload ;
2899};
2900#line 316
2901struct audit_context;
2902#line 316
2903struct audit_context;
2904#line 27 "include/linux/selinux.h"
2905struct group_info {
2906 atomic_t usage ;
2907 int ngroups ;
2908 int nblocks ;
2909 gid_t small_block[32U] ;
2910 gid_t *blocks[0U] ;
2911};
2912#line 77 "include/linux/cred.h"
2913struct thread_group_cred {
2914 atomic_t usage ;
2915 pid_t tgid ;
2916 spinlock_t lock ;
2917 struct key *session_keyring ;
2918 struct key *process_keyring ;
2919 struct rcu_head rcu ;
2920};
2921#line 91 "include/linux/cred.h"
2922struct cred {
2923 atomic_t usage ;
2924 atomic_t subscribers ;
2925 void *put_addr ;
2926 unsigned int magic ;
2927 uid_t uid ;
2928 gid_t gid ;
2929 uid_t suid ;
2930 gid_t sgid ;
2931 uid_t euid ;
2932 gid_t egid ;
2933 uid_t fsuid ;
2934 gid_t fsgid ;
2935 unsigned int securebits ;
2936 kernel_cap_t cap_inheritable ;
2937 kernel_cap_t cap_permitted ;
2938 kernel_cap_t cap_effective ;
2939 kernel_cap_t cap_bset ;
2940 unsigned char jit_keyring ;
2941 struct key *thread_keyring ;
2942 struct key *request_key_auth ;
2943 struct thread_group_cred *tgcred ;
2944 void *security ;
2945 struct user_struct *user ;
2946 struct user_namespace *user_ns ;
2947 struct group_info *group_info ;
2948 struct rcu_head rcu ;
2949};
2950#line 264
2951struct llist_node;
2952#line 64 "include/linux/llist.h"
2953struct llist_node {
2954 struct llist_node *next ;
2955};
2956#line 185
2957struct futex_pi_state;
2958#line 185
2959struct futex_pi_state;
2960#line 186
2961struct robust_list_head;
2962#line 186
2963struct robust_list_head;
2964#line 187
2965struct bio_list;
2966#line 187
2967struct bio_list;
2968#line 188
2969struct fs_struct;
2970#line 188
2971struct fs_struct;
2972#line 189
2973struct perf_event_context;
2974#line 189
2975struct perf_event_context;
2976#line 190
2977struct blk_plug;
2978#line 190
2979struct blk_plug;
2980#line 149 "include/linux/sched.h"
2981struct cfs_rq;
2982#line 149
2983struct cfs_rq;
2984#line 44 "include/linux/aio_abi.h"
2985struct io_event {
2986 __u64 data ;
2987 __u64 obj ;
2988 __s64 res ;
2989 __s64 res2 ;
2990};
2991#line 106 "include/linux/aio_abi.h"
2992struct iovec {
2993 void *iov_base ;
2994 __kernel_size_t iov_len ;
2995};
2996#line 54 "include/linux/uio.h"
2997struct kioctx;
2998#line 54
2999struct kioctx;
3000#line 55 "include/linux/uio.h"
3001union __anonunion_ki_obj_173 {
3002 void *user ;
3003 struct task_struct *tsk ;
3004};
3005#line 55
3006struct eventfd_ctx;
3007#line 55 "include/linux/uio.h"
3008struct kiocb {
3009 struct list_head ki_run_list ;
3010 unsigned long ki_flags ;
3011 int ki_users ;
3012 unsigned int ki_key ;
3013 struct file *ki_filp ;
3014 struct kioctx *ki_ctx ;
3015 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3016 ssize_t (*ki_retry)(struct kiocb * ) ;
3017 void (*ki_dtor)(struct kiocb * ) ;
3018 union __anonunion_ki_obj_173 ki_obj ;
3019 __u64 ki_user_data ;
3020 loff_t ki_pos ;
3021 void *private ;
3022 unsigned short ki_opcode ;
3023 size_t ki_nbytes ;
3024 char *ki_buf ;
3025 size_t ki_left ;
3026 struct iovec ki_inline_vec ;
3027 struct iovec *ki_iovec ;
3028 unsigned long ki_nr_segs ;
3029 unsigned long ki_cur_seg ;
3030 struct list_head ki_list ;
3031 struct list_head ki_batch ;
3032 struct eventfd_ctx *ki_eventfd ;
3033};
3034#line 162 "include/linux/aio.h"
3035struct aio_ring_info {
3036 unsigned long mmap_base ;
3037 unsigned long mmap_size ;
3038 struct page **ring_pages ;
3039 spinlock_t ring_lock ;
3040 long nr_pages ;
3041 unsigned int nr ;
3042 unsigned int tail ;
3043 struct page *internal_pages[8U] ;
3044};
3045#line 178 "include/linux/aio.h"
3046struct kioctx {
3047 atomic_t users ;
3048 int dead ;
3049 struct mm_struct *mm ;
3050 unsigned long user_id ;
3051 struct hlist_node list ;
3052 wait_queue_head_t wait ;
3053 spinlock_t ctx_lock ;
3054 int reqs_active ;
3055 struct list_head active_reqs ;
3056 struct list_head run_list ;
3057 unsigned int max_reqs ;
3058 struct aio_ring_info ring_info ;
3059 struct delayed_work wq ;
3060 struct rcu_head rcu_head ;
3061};
3062#line 406 "include/linux/sched.h"
3063struct sighand_struct {
3064 atomic_t count ;
3065 struct k_sigaction action[64U] ;
3066 spinlock_t siglock ;
3067 wait_queue_head_t signalfd_wqh ;
3068};
3069#line 449 "include/linux/sched.h"
3070struct pacct_struct {
3071 int ac_flag ;
3072 long ac_exitcode ;
3073 unsigned long ac_mem ;
3074 cputime_t ac_utime ;
3075 cputime_t ac_stime ;
3076 unsigned long ac_minflt ;
3077 unsigned long ac_majflt ;
3078};
3079#line 457 "include/linux/sched.h"
3080struct cpu_itimer {
3081 cputime_t expires ;
3082 cputime_t incr ;
3083 u32 error ;
3084 u32 incr_error ;
3085};
3086#line 464 "include/linux/sched.h"
3087struct task_cputime {
3088 cputime_t utime ;
3089 cputime_t stime ;
3090 unsigned long long sum_exec_runtime ;
3091};
3092#line 481 "include/linux/sched.h"
3093struct thread_group_cputimer {
3094 struct task_cputime cputime ;
3095 int running ;
3096 raw_spinlock_t lock ;
3097};
3098#line 517
3099struct autogroup;
3100#line 517
3101struct autogroup;
3102#line 518
3103struct tty_struct;
3104#line 518
3105struct taskstats;
3106#line 518
3107struct tty_audit_buf;
3108#line 518 "include/linux/sched.h"
3109struct signal_struct {
3110 atomic_t sigcnt ;
3111 atomic_t live ;
3112 int nr_threads ;
3113 wait_queue_head_t wait_chldexit ;
3114 struct task_struct *curr_target ;
3115 struct sigpending shared_pending ;
3116 int group_exit_code ;
3117 int notify_count ;
3118 struct task_struct *group_exit_task ;
3119 int group_stop_count ;
3120 unsigned int flags ;
3121 unsigned char is_child_subreaper : 1 ;
3122 unsigned char has_child_subreaper : 1 ;
3123 struct list_head posix_timers ;
3124 struct hrtimer real_timer ;
3125 struct pid *leader_pid ;
3126 ktime_t it_real_incr ;
3127 struct cpu_itimer it[2U] ;
3128 struct thread_group_cputimer cputimer ;
3129 struct task_cputime cputime_expires ;
3130 struct list_head cpu_timers[3U] ;
3131 struct pid *tty_old_pgrp ;
3132 int leader ;
3133 struct tty_struct *tty ;
3134 struct autogroup *autogroup ;
3135 cputime_t utime ;
3136 cputime_t stime ;
3137 cputime_t cutime ;
3138 cputime_t cstime ;
3139 cputime_t gtime ;
3140 cputime_t cgtime ;
3141 cputime_t prev_utime ;
3142 cputime_t prev_stime ;
3143 unsigned long nvcsw ;
3144 unsigned long nivcsw ;
3145 unsigned long cnvcsw ;
3146 unsigned long cnivcsw ;
3147 unsigned long min_flt ;
3148 unsigned long maj_flt ;
3149 unsigned long cmin_flt ;
3150 unsigned long cmaj_flt ;
3151 unsigned long inblock ;
3152 unsigned long oublock ;
3153 unsigned long cinblock ;
3154 unsigned long coublock ;
3155 unsigned long maxrss ;
3156 unsigned long cmaxrss ;
3157 struct task_io_accounting ioac ;
3158 unsigned long long sum_sched_runtime ;
3159 struct rlimit rlim[16U] ;
3160 struct pacct_struct pacct ;
3161 struct taskstats *stats ;
3162 unsigned int audit_tty ;
3163 struct tty_audit_buf *tty_audit_buf ;
3164 struct rw_semaphore group_rwsem ;
3165 int oom_adj ;
3166 int oom_score_adj ;
3167 int oom_score_adj_min ;
3168 struct mutex cred_guard_mutex ;
3169};
3170#line 699 "include/linux/sched.h"
3171struct user_struct {
3172 atomic_t __count ;
3173 atomic_t processes ;
3174 atomic_t files ;
3175 atomic_t sigpending ;
3176 atomic_t inotify_watches ;
3177 atomic_t inotify_devs ;
3178 atomic_t fanotify_listeners ;
3179 atomic_long_t epoll_watches ;
3180 unsigned long mq_bytes ;
3181 unsigned long locked_shm ;
3182 struct key *uid_keyring ;
3183 struct key *session_keyring ;
3184 struct hlist_node uidhash_node ;
3185 uid_t uid ;
3186 struct user_namespace *user_ns ;
3187 atomic_long_t locked_vm ;
3188};
3189#line 744
3190struct reclaim_state;
3191#line 744
3192struct reclaim_state;
3193#line 745 "include/linux/sched.h"
3194struct sched_info {
3195 unsigned long pcount ;
3196 unsigned long long run_delay ;
3197 unsigned long long last_arrival ;
3198 unsigned long long last_queued ;
3199};
3200#line 760 "include/linux/sched.h"
3201struct task_delay_info {
3202 spinlock_t lock ;
3203 unsigned int flags ;
3204 struct timespec blkio_start ;
3205 struct timespec blkio_end ;
3206 u64 blkio_delay ;
3207 u64 swapin_delay ;
3208 u32 blkio_count ;
3209 u32 swapin_count ;
3210 struct timespec freepages_start ;
3211 struct timespec freepages_end ;
3212 u64 freepages_delay ;
3213 u32 freepages_count ;
3214};
3215#line 1069
3216struct io_context;
3217#line 1069
3218struct io_context;
3219#line 1098
3220struct rq;
3221#line 1098
3222struct rq;
3223#line 1099 "include/linux/sched.h"
3224struct sched_class {
3225 struct sched_class const *next ;
3226 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
3227 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
3228 void (*yield_task)(struct rq * ) ;
3229 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
3230 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
3231 struct task_struct *(*pick_next_task)(struct rq * ) ;
3232 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
3233 int (*select_task_rq)(struct task_struct * , int , int ) ;
3234 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
3235 void (*post_schedule)(struct rq * ) ;
3236 void (*task_waking)(struct task_struct * ) ;
3237 void (*task_woken)(struct rq * , struct task_struct * ) ;
3238 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
3239 void (*rq_online)(struct rq * ) ;
3240 void (*rq_offline)(struct rq * ) ;
3241 void (*set_curr_task)(struct rq * ) ;
3242 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
3243 void (*task_fork)(struct task_struct * ) ;
3244 void (*switched_from)(struct rq * , struct task_struct * ) ;
3245 void (*switched_to)(struct rq * , struct task_struct * ) ;
3246 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
3247 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
3248 void (*task_move_group)(struct task_struct * , int ) ;
3249};
3250#line 1165 "include/linux/sched.h"
3251struct load_weight {
3252 unsigned long weight ;
3253 unsigned long inv_weight ;
3254};
3255#line 1170 "include/linux/sched.h"
3256struct sched_statistics {
3257 u64 wait_start ;
3258 u64 wait_max ;
3259 u64 wait_count ;
3260 u64 wait_sum ;
3261 u64 iowait_count ;
3262 u64 iowait_sum ;
3263 u64 sleep_start ;
3264 u64 sleep_max ;
3265 s64 sum_sleep_runtime ;
3266 u64 block_start ;
3267 u64 block_max ;
3268 u64 exec_max ;
3269 u64 slice_max ;
3270 u64 nr_migrations_cold ;
3271 u64 nr_failed_migrations_affine ;
3272 u64 nr_failed_migrations_running ;
3273 u64 nr_failed_migrations_hot ;
3274 u64 nr_forced_migrations ;
3275 u64 nr_wakeups ;
3276 u64 nr_wakeups_sync ;
3277 u64 nr_wakeups_migrate ;
3278 u64 nr_wakeups_local ;
3279 u64 nr_wakeups_remote ;
3280 u64 nr_wakeups_affine ;
3281 u64 nr_wakeups_affine_attempts ;
3282 u64 nr_wakeups_passive ;
3283 u64 nr_wakeups_idle ;
3284};
3285#line 1205 "include/linux/sched.h"
3286struct sched_entity {
3287 struct load_weight load ;
3288 struct rb_node run_node ;
3289 struct list_head group_node ;
3290 unsigned int on_rq ;
3291 u64 exec_start ;
3292 u64 sum_exec_runtime ;
3293 u64 vruntime ;
3294 u64 prev_sum_exec_runtime ;
3295 u64 nr_migrations ;
3296 struct sched_statistics statistics ;
3297 struct sched_entity *parent ;
3298 struct cfs_rq *cfs_rq ;
3299 struct cfs_rq *my_q ;
3300};
3301#line 1231
3302struct rt_rq;
3303#line 1231 "include/linux/sched.h"
3304struct sched_rt_entity {
3305 struct list_head run_list ;
3306 unsigned long timeout ;
3307 unsigned int time_slice ;
3308 int nr_cpus_allowed ;
3309 struct sched_rt_entity *back ;
3310 struct sched_rt_entity *parent ;
3311 struct rt_rq *rt_rq ;
3312 struct rt_rq *my_q ;
3313};
3314#line 1255
3315struct mem_cgroup;
3316#line 1255 "include/linux/sched.h"
3317struct memcg_batch_info {
3318 int do_batch ;
3319 struct mem_cgroup *memcg ;
3320 unsigned long nr_pages ;
3321 unsigned long memsw_nr_pages ;
3322};
3323#line 1616
3324struct css_set;
3325#line 1616
3326struct compat_robust_list_head;
3327#line 1616 "include/linux/sched.h"
3328struct task_struct {
3329 long volatile state ;
3330 void *stack ;
3331 atomic_t usage ;
3332 unsigned int flags ;
3333 unsigned int ptrace ;
3334 struct llist_node wake_entry ;
3335 int on_cpu ;
3336 int on_rq ;
3337 int prio ;
3338 int static_prio ;
3339 int normal_prio ;
3340 unsigned int rt_priority ;
3341 struct sched_class const *sched_class ;
3342 struct sched_entity se ;
3343 struct sched_rt_entity rt ;
3344 struct hlist_head preempt_notifiers ;
3345 unsigned char fpu_counter ;
3346 unsigned int policy ;
3347 cpumask_t cpus_allowed ;
3348 struct sched_info sched_info ;
3349 struct list_head tasks ;
3350 struct plist_node pushable_tasks ;
3351 struct mm_struct *mm ;
3352 struct mm_struct *active_mm ;
3353 unsigned char brk_randomized : 1 ;
3354 int exit_state ;
3355 int exit_code ;
3356 int exit_signal ;
3357 int pdeath_signal ;
3358 unsigned int jobctl ;
3359 unsigned int personality ;
3360 unsigned char did_exec : 1 ;
3361 unsigned char in_execve : 1 ;
3362 unsigned char in_iowait : 1 ;
3363 unsigned char sched_reset_on_fork : 1 ;
3364 unsigned char sched_contributes_to_load : 1 ;
3365 unsigned char irq_thread : 1 ;
3366 pid_t pid ;
3367 pid_t tgid ;
3368 unsigned long stack_canary ;
3369 struct task_struct *real_parent ;
3370 struct task_struct *parent ;
3371 struct list_head children ;
3372 struct list_head sibling ;
3373 struct task_struct *group_leader ;
3374 struct list_head ptraced ;
3375 struct list_head ptrace_entry ;
3376 struct pid_link pids[3U] ;
3377 struct list_head thread_group ;
3378 struct completion *vfork_done ;
3379 int *set_child_tid ;
3380 int *clear_child_tid ;
3381 cputime_t utime ;
3382 cputime_t stime ;
3383 cputime_t utimescaled ;
3384 cputime_t stimescaled ;
3385 cputime_t gtime ;
3386 cputime_t prev_utime ;
3387 cputime_t prev_stime ;
3388 unsigned long nvcsw ;
3389 unsigned long nivcsw ;
3390 struct timespec start_time ;
3391 struct timespec real_start_time ;
3392 unsigned long min_flt ;
3393 unsigned long maj_flt ;
3394 struct task_cputime cputime_expires ;
3395 struct list_head cpu_timers[3U] ;
3396 struct cred const *real_cred ;
3397 struct cred const *cred ;
3398 struct cred *replacement_session_keyring ;
3399 char comm[16U] ;
3400 int link_count ;
3401 int total_link_count ;
3402 struct sysv_sem sysvsem ;
3403 unsigned long last_switch_count ;
3404 struct thread_struct thread ;
3405 struct fs_struct *fs ;
3406 struct files_struct *files ;
3407 struct nsproxy *nsproxy ;
3408 struct signal_struct *signal ;
3409 struct sighand_struct *sighand ;
3410 sigset_t blocked ;
3411 sigset_t real_blocked ;
3412 sigset_t saved_sigmask ;
3413 struct sigpending pending ;
3414 unsigned long sas_ss_sp ;
3415 size_t sas_ss_size ;
3416 int (*notifier)(void * ) ;
3417 void *notifier_data ;
3418 sigset_t *notifier_mask ;
3419 struct audit_context *audit_context ;
3420 uid_t loginuid ;
3421 unsigned int sessionid ;
3422 seccomp_t seccomp ;
3423 u32 parent_exec_id ;
3424 u32 self_exec_id ;
3425 spinlock_t alloc_lock ;
3426 raw_spinlock_t pi_lock ;
3427 struct plist_head pi_waiters ;
3428 struct rt_mutex_waiter *pi_blocked_on ;
3429 struct mutex_waiter *blocked_on ;
3430 unsigned int irq_events ;
3431 unsigned long hardirq_enable_ip ;
3432 unsigned long hardirq_disable_ip ;
3433 unsigned int hardirq_enable_event ;
3434 unsigned int hardirq_disable_event ;
3435 int hardirqs_enabled ;
3436 int hardirq_context ;
3437 unsigned long softirq_disable_ip ;
3438 unsigned long softirq_enable_ip ;
3439 unsigned int softirq_disable_event ;
3440 unsigned int softirq_enable_event ;
3441 int softirqs_enabled ;
3442 int softirq_context ;
3443 u64 curr_chain_key ;
3444 int lockdep_depth ;
3445 unsigned int lockdep_recursion ;
3446 struct held_lock held_locks[48U] ;
3447 gfp_t lockdep_reclaim_gfp ;
3448 void *journal_info ;
3449 struct bio_list *bio_list ;
3450 struct blk_plug *plug ;
3451 struct reclaim_state *reclaim_state ;
3452 struct backing_dev_info *backing_dev_info ;
3453 struct io_context *io_context ;
3454 unsigned long ptrace_message ;
3455 siginfo_t *last_siginfo ;
3456 struct task_io_accounting ioac ;
3457 u64 acct_rss_mem1 ;
3458 u64 acct_vm_mem1 ;
3459 cputime_t acct_timexpd ;
3460 nodemask_t mems_allowed ;
3461 seqcount_t mems_allowed_seq ;
3462 int cpuset_mem_spread_rotor ;
3463 int cpuset_slab_spread_rotor ;
3464 struct css_set *cgroups ;
3465 struct list_head cg_list ;
3466 struct robust_list_head *robust_list ;
3467 struct compat_robust_list_head *compat_robust_list ;
3468 struct list_head pi_state_list ;
3469 struct futex_pi_state *pi_state_cache ;
3470 struct perf_event_context *perf_event_ctxp[2U] ;
3471 struct mutex perf_event_mutex ;
3472 struct list_head perf_event_list ;
3473 struct mempolicy *mempolicy ;
3474 short il_next ;
3475 short pref_node_fork ;
3476 struct rcu_head rcu ;
3477 struct pipe_inode_info *splice_pipe ;
3478 struct task_delay_info *delays ;
3479 int make_it_fail ;
3480 int nr_dirtied ;
3481 int nr_dirtied_pause ;
3482 unsigned long dirty_paused_when ;
3483 int latency_record_count ;
3484 struct latency_record latency_record[32U] ;
3485 unsigned long timer_slack_ns ;
3486 unsigned long default_timer_slack_ns ;
3487 struct list_head *scm_work_list ;
3488 unsigned long trace ;
3489 unsigned long trace_recursion ;
3490 struct memcg_batch_info memcg_batch ;
3491 atomic_t ptrace_bp_refcnt ;
3492};
3493#line 28 "include/linux/of.h"
3494typedef u32 phandle;
3495#line 30 "include/linux/of.h"
3496struct property {
3497 char *name ;
3498 int length ;
3499 void *value ;
3500 struct property *next ;
3501 unsigned long _flags ;
3502 unsigned int unique_id ;
3503};
3504#line 39 "include/linux/of.h"
3505struct device_node {
3506 char const *name ;
3507 char const *type ;
3508 phandle phandle ;
3509 char *full_name ;
3510 struct property *properties ;
3511 struct property *deadprops ;
3512 struct device_node *parent ;
3513 struct device_node *child ;
3514 struct device_node *sibling ;
3515 struct device_node *next ;
3516 struct device_node *allnext ;
3517 struct proc_dir_entry *pde ;
3518 struct kref kref ;
3519 unsigned long _flags ;
3520 void *data ;
3521};
3522#line 41 "include/linux/i2c.h"
3523struct i2c_msg;
3524#line 41
3525struct i2c_msg;
3526#line 42
3527struct i2c_algorithm;
3528#line 42
3529struct i2c_algorithm;
3530#line 43
3531struct i2c_adapter;
3532#line 43
3533struct i2c_adapter;
3534#line 44
3535struct i2c_client;
3536#line 44
3537struct i2c_client;
3538#line 45
3539struct i2c_driver;
3540#line 45
3541struct i2c_driver;
3542#line 46
3543union i2c_smbus_data;
3544#line 46
3545union i2c_smbus_data;
3546#line 47
3547struct i2c_board_info;
3548#line 47
3549struct i2c_board_info;
3550#line 119 "include/linux/i2c.h"
3551struct i2c_driver {
3552 unsigned int class ;
3553 int (*attach_adapter)(struct i2c_adapter * ) ;
3554 int (*detach_adapter)(struct i2c_adapter * ) ;
3555 int (*probe)(struct i2c_client * , struct i2c_device_id const * ) ;
3556 int (*remove)(struct i2c_client * ) ;
3557 void (*shutdown)(struct i2c_client * ) ;
3558 int (*suspend)(struct i2c_client * , pm_message_t ) ;
3559 int (*resume)(struct i2c_client * ) ;
3560 void (*alert)(struct i2c_client * , unsigned int ) ;
3561 int (*command)(struct i2c_client * , unsigned int , void * ) ;
3562 struct device_driver driver ;
3563 struct i2c_device_id const *id_table ;
3564 int (*detect)(struct i2c_client * , struct i2c_board_info * ) ;
3565 unsigned short const *address_list ;
3566 struct list_head clients ;
3567};
3568#line 200 "include/linux/i2c.h"
3569struct i2c_client {
3570 unsigned short flags ;
3571 unsigned short addr ;
3572 char name[20U] ;
3573 struct i2c_adapter *adapter ;
3574 struct i2c_driver *driver ;
3575 struct device dev ;
3576 int irq ;
3577 struct list_head detected ;
3578};
3579#line 251 "include/linux/i2c.h"
3580struct i2c_board_info {
3581 char type[20U] ;
3582 unsigned short flags ;
3583 unsigned short addr ;
3584 void *platform_data ;
3585 struct dev_archdata *archdata ;
3586 struct device_node *of_node ;
3587 int irq ;
3588};
3589#line 336 "include/linux/i2c.h"
3590struct i2c_algorithm {
3591 int (*master_xfer)(struct i2c_adapter * , struct i2c_msg * , int ) ;
3592 int (*smbus_xfer)(struct i2c_adapter * , u16 , unsigned short , char , u8 ,
3593 int , union i2c_smbus_data * ) ;
3594 u32 (*functionality)(struct i2c_adapter * ) ;
3595};
3596#line 368 "include/linux/i2c.h"
3597struct i2c_adapter {
3598 struct module *owner ;
3599 unsigned int class ;
3600 struct i2c_algorithm const *algo ;
3601 void *algo_data ;
3602 struct rt_mutex bus_lock ;
3603 int timeout ;
3604 int retries ;
3605 struct device dev ;
3606 int nr ;
3607 char name[48U] ;
3608 struct completion dev_released ;
3609 struct mutex userspace_clients_lock ;
3610 struct list_head userspace_clients ;
3611};
3612#line 486 "include/linux/i2c.h"
3613struct i2c_msg {
3614 __u16 addr ;
3615 __u16 flags ;
3616 __u16 len ;
3617 __u8 *buf ;
3618};
3619#line 551 "include/linux/i2c.h"
3620union i2c_smbus_data {
3621 __u8 byte ;
3622 __u16 word ;
3623 __u8 block[34U] ;
3624};
3625#line 50 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/gpio.h"
3626struct eeti_ts_platform_data {
3627 unsigned int irq_active_high ;
3628};
3629#line 60 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
3630struct eeti_ts_priv {
3631 struct i2c_client *client ;
3632 struct input_dev *input ;
3633 struct work_struct work ;
3634 struct mutex mutex ;
3635 int irq ;
3636 int irq_active_high ;
3637};
3638#line 2
3639void ldv_spin_lock(void) ;
3640#line 3
3641void ldv_spin_unlock(void) ;
3642#line 4
3643int ldv_spin_trylock(void) ;
3644#line 24 "include/linux/list.h"
3645__inline static void INIT_LIST_HEAD(struct list_head *list )
3646{ unsigned long __cil_tmp2 ;
3647 unsigned long __cil_tmp3 ;
3648
3649 {
3650#line 26
3651 *((struct list_head **)list) = list;
3652#line 27
3653 __cil_tmp2 = (unsigned long )list;
3654#line 27
3655 __cil_tmp3 = __cil_tmp2 + 8;
3656#line 27
3657 *((struct list_head **)__cil_tmp3) = list;
3658#line 28
3659 return;
3660}
3661}
3662#line 261 "include/linux/lockdep.h"
3663extern void lockdep_init_map(struct lockdep_map * , char const * , struct lock_class_key * ,
3664 int ) ;
3665#line 115 "include/linux/mutex.h"
3666extern void __mutex_init(struct mutex * , char const * , struct lock_class_key * ) ;
3667#line 134
3668extern void mutex_lock_nested(struct mutex * , unsigned int ) ;
3669#line 169
3670extern void mutex_unlock(struct mutex * ) ;
3671#line 156 "include/linux/workqueue.h"
3672extern void __init_work(struct work_struct * , int ) ;
3673#line 380
3674extern int schedule_work(struct work_struct * ) ;
3675#line 392
3676extern bool cancel_work_sync(struct work_struct * ) ;
3677#line 161 "include/linux/slab.h"
3678extern void kfree(void const * ) ;
3679#line 220 "include/linux/slub_def.h"
3680extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
3681#line 223
3682void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3683#line 353 "include/linux/slab.h"
3684__inline static void *kzalloc(size_t size , gfp_t flags ) ;
3685#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
3686extern void *__VERIFIER_nondet_pointer(void) ;
3687#line 11
3688void ldv_check_alloc_flags(gfp_t flags ) ;
3689#line 12
3690void ldv_check_alloc_nonatomic(void) ;
3691#line 14
3692struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3693#line 87 "include/linux/pm_wakeup.h"
3694extern int device_init_wakeup(struct device * , bool ) ;
3695#line 792 "include/linux/device.h"
3696extern void *dev_get_drvdata(struct device const * ) ;
3697#line 793
3698extern int dev_set_drvdata(struct device * , void * ) ;
3699#line 892
3700extern int dev_err(struct device const * , char const * , ...) ;
3701#line 1456 "include/linux/input.h"
3702extern struct input_dev *input_allocate_device(void) ;
3703#line 1457
3704extern void input_free_device(struct input_dev * ) ;
3705#line 1470 "include/linux/input.h"
3706__inline static void *input_get_drvdata(struct input_dev *dev )
3707{ void *tmp ;
3708 unsigned long __cil_tmp3 ;
3709 unsigned long __cil_tmp4 ;
3710 struct device *__cil_tmp5 ;
3711 struct device const *__cil_tmp6 ;
3712
3713 {
3714 {
3715#line 1472
3716 __cil_tmp3 = (unsigned long )dev;
3717#line 1472
3718 __cil_tmp4 = __cil_tmp3 + 840;
3719#line 1472
3720 __cil_tmp5 = (struct device *)__cil_tmp4;
3721#line 1472
3722 __cil_tmp6 = (struct device const *)__cil_tmp5;
3723#line 1472
3724 tmp = dev_get_drvdata(__cil_tmp6);
3725 }
3726#line 1472
3727 return (tmp);
3728}
3729}
3730#line 1475 "include/linux/input.h"
3731__inline static void input_set_drvdata(struct input_dev *dev , void *data )
3732{ unsigned long __cil_tmp3 ;
3733 unsigned long __cil_tmp4 ;
3734 struct device *__cil_tmp5 ;
3735
3736 {
3737 {
3738#line 1477
3739 __cil_tmp3 = (unsigned long )dev;
3740#line 1477
3741 __cil_tmp4 = __cil_tmp3 + 840;
3742#line 1477
3743 __cil_tmp5 = (struct device *)__cil_tmp4;
3744#line 1477
3745 dev_set_drvdata(__cil_tmp5, data);
3746 }
3747#line 1478
3748 return;
3749}
3750}
3751#line 1480
3752extern int input_register_device(struct input_dev * ) ;
3753#line 1481
3754extern void input_unregister_device(struct input_dev * ) ;
3755#line 1502
3756extern void input_event(struct input_dev * , unsigned int , unsigned int , int ) ;
3757#line 1505 "include/linux/input.h"
3758__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
3759 int value )
3760{ int __cil_tmp4 ;
3761
3762 {
3763 {
3764#line 1507
3765 __cil_tmp4 = value != 0;
3766#line 1507
3767 input_event(dev, 1U, code, __cil_tmp4);
3768 }
3769#line 1508
3770 return;
3771}
3772}
3773#line 1515 "include/linux/input.h"
3774__inline static void input_report_abs(struct input_dev *dev , unsigned int code ,
3775 int value )
3776{
3777
3778 {
3779 {
3780#line 1517
3781 input_event(dev, 3U, code, value);
3782 }
3783#line 1518
3784 return;
3785}
3786}
3787#line 1530 "include/linux/input.h"
3788__inline static void input_sync(struct input_dev *dev )
3789{
3790
3791 {
3792 {
3793#line 1532
3794 input_event(dev, 0U, 0U, 0);
3795 }
3796#line 1533
3797 return;
3798}
3799}
3800#line 1558
3801extern void input_set_abs_params(struct input_dev * , unsigned int , int , int ,
3802 int , int ) ;
3803#line 127 "include/linux/interrupt.h"
3804extern int request_threaded_irq(unsigned int , irqreturn_t (*)(int , void * ) ,
3805 irqreturn_t (*)(int , void * ) , unsigned long ,
3806 char const * , void * ) ;
3807#line 132 "include/linux/interrupt.h"
3808__inline static int request_irq(unsigned int irq , irqreturn_t (*handler)(int , void * ) ,
3809 unsigned long flags , char const *name , void *dev )
3810{ int tmp ;
3811 irqreturn_t (*__cil_tmp7)(int , void * ) ;
3812
3813 {
3814 {
3815#line 135
3816 __cil_tmp7 = (irqreturn_t (*)(int , void * ))0;
3817#line 135
3818 tmp = request_threaded_irq(irq, handler, __cil_tmp7, flags, name, dev);
3819 }
3820#line 135
3821 return (tmp);
3822}
3823}
3824#line 224
3825extern void disable_irq(unsigned int ) ;
3826#line 226
3827extern void enable_irq(unsigned int ) ;
3828#line 64 "include/linux/i2c.h"
3829extern int i2c_master_recv(struct i2c_client const * , char * , int ) ;
3830#line 247 "include/linux/i2c.h"
3831__inline static void i2c_set_clientdata(struct i2c_client *dev , void *data )
3832{ unsigned long __cil_tmp3 ;
3833 unsigned long __cil_tmp4 ;
3834 struct device *__cil_tmp5 ;
3835
3836 {
3837 {
3838#line 249
3839 __cil_tmp3 = (unsigned long )dev;
3840#line 249
3841 __cil_tmp4 = __cil_tmp3 + 40;
3842#line 249
3843 __cil_tmp5 = (struct device *)__cil_tmp4;
3844#line 249
3845 dev_set_drvdata(__cil_tmp5, data);
3846 }
3847#line 250
3848 return;
3849}
3850}
3851#line 169 "include/asm-generic/gpio.h"
3852extern int __gpio_get_value(unsigned int ) ;
3853#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/gpio.h"
3854__inline static int gpio_get_value(unsigned int gpio )
3855{ int tmp ;
3856
3857 {
3858 {
3859#line 28
3860 tmp = __gpio_get_value(gpio);
3861 }
3862#line 28
3863 return (tmp);
3864}
3865}
3866#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/gpio.h"
3867__inline static int irq_to_gpio(unsigned int irq )
3868{
3869
3870 {
3871#line 48
3872 return (-22);
3873}
3874}
3875#line 53 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
3876static bool flip_x ;
3877#line 57 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
3878static bool flip_y ;
3879#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
3880__inline static int eeti_ts_irq_active(struct eeti_ts_priv *priv )
3881{ int tmp ;
3882 int tmp___0 ;
3883 unsigned long __cil_tmp4 ;
3884 unsigned long __cil_tmp5 ;
3885 int __cil_tmp6 ;
3886 unsigned int __cil_tmp7 ;
3887 unsigned int __cil_tmp8 ;
3888 unsigned long __cil_tmp9 ;
3889 unsigned long __cil_tmp10 ;
3890 int __cil_tmp11 ;
3891
3892 {
3893 {
3894#line 80
3895 __cil_tmp4 = (unsigned long )priv;
3896#line 80
3897 __cil_tmp5 = __cil_tmp4 + 264;
3898#line 80
3899 __cil_tmp6 = *((int *)__cil_tmp5);
3900#line 80
3901 __cil_tmp7 = (unsigned int )__cil_tmp6;
3902#line 80
3903 tmp = irq_to_gpio(__cil_tmp7);
3904#line 80
3905 __cil_tmp8 = (unsigned int )tmp;
3906#line 80
3907 tmp___0 = gpio_get_value(__cil_tmp8);
3908 }
3909 {
3910#line 80
3911 __cil_tmp9 = (unsigned long )priv;
3912#line 80
3913 __cil_tmp10 = __cil_tmp9 + 268;
3914#line 80
3915 __cil_tmp11 = *((int *)__cil_tmp10);
3916#line 80
3917 return (tmp___0 == __cil_tmp11);
3918 }
3919}
3920}
3921#line 83 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
3922static void eeti_ts_read(struct work_struct *work )
3923{ char buf[6U] ;
3924 unsigned int x ;
3925 unsigned int y ;
3926 unsigned int res ;
3927 unsigned int pressed ;
3928 unsigned int to ;
3929 struct eeti_ts_priv *priv ;
3930 struct work_struct const *__mptr ;
3931 int tmp ;
3932 struct eeti_ts_priv *__cil_tmp11 ;
3933 unsigned long __cil_tmp12 ;
3934 unsigned long __cil_tmp13 ;
3935 struct mutex *__cil_tmp14 ;
3936 struct i2c_client *__cil_tmp15 ;
3937 struct i2c_client const *__cil_tmp16 ;
3938 char *__cil_tmp17 ;
3939 struct i2c_client *__cil_tmp18 ;
3940 unsigned long __cil_tmp19 ;
3941 unsigned long __cil_tmp20 ;
3942 struct device *__cil_tmp21 ;
3943 struct device const *__cil_tmp22 ;
3944 unsigned long __cil_tmp23 ;
3945 unsigned long __cil_tmp24 ;
3946 char __cil_tmp25 ;
3947 int __cil_tmp26 ;
3948 unsigned long __cil_tmp27 ;
3949 unsigned long __cil_tmp28 ;
3950 char __cil_tmp29 ;
3951 unsigned int __cil_tmp30 ;
3952 unsigned long __cil_tmp31 ;
3953 unsigned long __cil_tmp32 ;
3954 char __cil_tmp33 ;
3955 int __cil_tmp34 ;
3956 int __cil_tmp35 ;
3957 int __cil_tmp36 ;
3958 int __cil_tmp37 ;
3959 unsigned long __cil_tmp38 ;
3960 unsigned long __cil_tmp39 ;
3961 char __cil_tmp40 ;
3962 int __cil_tmp41 ;
3963 int __cil_tmp42 ;
3964 unsigned long __cil_tmp43 ;
3965 unsigned long __cil_tmp44 ;
3966 char __cil_tmp45 ;
3967 int __cil_tmp46 ;
3968 int __cil_tmp47 ;
3969 unsigned long __cil_tmp48 ;
3970 unsigned long __cil_tmp49 ;
3971 char __cil_tmp50 ;
3972 int __cil_tmp51 ;
3973 int __cil_tmp52 ;
3974 unsigned long __cil_tmp53 ;
3975 unsigned long __cil_tmp54 ;
3976 char __cil_tmp55 ;
3977 int __cil_tmp56 ;
3978 int __cil_tmp57 ;
3979 unsigned int __cil_tmp58 ;
3980 int __cil_tmp59 ;
3981 unsigned int __cil_tmp60 ;
3982 int __cil_tmp61 ;
3983 bool *__cil_tmp62 ;
3984 bool __cil_tmp63 ;
3985 bool *__cil_tmp64 ;
3986 bool __cil_tmp65 ;
3987 unsigned long __cil_tmp66 ;
3988 unsigned long __cil_tmp67 ;
3989 char __cil_tmp68 ;
3990 int __cil_tmp69 ;
3991 int __cil_tmp70 ;
3992 unsigned long __cil_tmp71 ;
3993 unsigned long __cil_tmp72 ;
3994 struct input_dev *__cil_tmp73 ;
3995 unsigned long __cil_tmp74 ;
3996 unsigned long __cil_tmp75 ;
3997 char __cil_tmp76 ;
3998 int __cil_tmp77 ;
3999 unsigned long __cil_tmp78 ;
4000 unsigned long __cil_tmp79 ;
4001 struct input_dev *__cil_tmp80 ;
4002 int __cil_tmp81 ;
4003 unsigned long __cil_tmp82 ;
4004 unsigned long __cil_tmp83 ;
4005 struct input_dev *__cil_tmp84 ;
4006 int __cil_tmp85 ;
4007 unsigned long __cil_tmp86 ;
4008 unsigned long __cil_tmp87 ;
4009 struct input_dev *__cil_tmp88 ;
4010 int __cil_tmp89 ;
4011 unsigned long __cil_tmp90 ;
4012 unsigned long __cil_tmp91 ;
4013 struct input_dev *__cil_tmp92 ;
4014 unsigned long __cil_tmp93 ;
4015 unsigned long __cil_tmp94 ;
4016 struct mutex *__cil_tmp95 ;
4017
4018 {
4019 {
4020#line 86
4021 to = 100U;
4022#line 88
4023 __mptr = (struct work_struct const *)work;
4024#line 88
4025 __cil_tmp11 = (struct eeti_ts_priv *)__mptr;
4026#line 88
4027 priv = __cil_tmp11 + 0xfffffffffffffff0UL;
4028#line 90
4029 __cil_tmp12 = (unsigned long )priv;
4030#line 90
4031 __cil_tmp13 = __cil_tmp12 + 96;
4032#line 90
4033 __cil_tmp14 = (struct mutex *)__cil_tmp13;
4034#line 90
4035 mutex_lock_nested(__cil_tmp14, 0U);
4036 }
4037#line 92
4038 goto ldv_23835;
4039 ldv_23834:
4040 {
4041#line 93
4042 __cil_tmp15 = *((struct i2c_client **)priv);
4043#line 93
4044 __cil_tmp16 = (struct i2c_client const *)__cil_tmp15;
4045#line 93
4046 __cil_tmp17 = (char *)(& buf);
4047#line 93
4048 i2c_master_recv(__cil_tmp16, __cil_tmp17, 6);
4049 }
4050 ldv_23835:
4051 {
4052#line 92
4053 tmp = eeti_ts_irq_active(priv);
4054 }
4055#line 92
4056 if (tmp != 0) {
4057#line 92
4058 to = to - 1U;
4059#line 92
4060 if (to != 0U) {
4061#line 93
4062 goto ldv_23834;
4063 } else {
4064#line 95
4065 goto ldv_23836;
4066 }
4067 } else {
4068#line 95
4069 goto ldv_23836;
4070 }
4071 ldv_23836: ;
4072#line 95
4073 if (to == 0U) {
4074 {
4075#line 96
4076 __cil_tmp18 = *((struct i2c_client **)priv);
4077#line 96
4078 __cil_tmp19 = (unsigned long )__cil_tmp18;
4079#line 96
4080 __cil_tmp20 = __cil_tmp19 + 40;
4081#line 96
4082 __cil_tmp21 = (struct device *)__cil_tmp20;
4083#line 96
4084 __cil_tmp22 = (struct device const *)__cil_tmp21;
4085#line 96
4086 dev_err(__cil_tmp22, "unable to clear IRQ - line stuck?\n");
4087 }
4088#line 98
4089 goto out;
4090 } else {
4091
4092 }
4093 {
4094#line 102
4095 __cil_tmp23 = 0 * 1UL;
4096#line 102
4097 __cil_tmp24 = (unsigned long )(buf) + __cil_tmp23;
4098#line 102
4099 __cil_tmp25 = *((char *)__cil_tmp24);
4100#line 102
4101 __cil_tmp26 = (int )__cil_tmp25;
4102#line 102
4103 if (__cil_tmp26 >= 0) {
4104#line 103
4105 goto out;
4106 } else {
4107
4108 }
4109 }
4110#line 105
4111 __cil_tmp27 = 0 * 1UL;
4112#line 105
4113 __cil_tmp28 = (unsigned long )(buf) + __cil_tmp27;
4114#line 105
4115 __cil_tmp29 = *((char *)__cil_tmp28);
4116#line 105
4117 __cil_tmp30 = (unsigned int )__cil_tmp29;
4118#line 105
4119 pressed = __cil_tmp30 & 1U;
4120#line 106
4121 __cil_tmp31 = 0 * 1UL;
4122#line 106
4123 __cil_tmp32 = (unsigned long )(buf) + __cil_tmp31;
4124#line 106
4125 __cil_tmp33 = *((char *)__cil_tmp32);
4126#line 106
4127 __cil_tmp34 = (int )__cil_tmp33;
4128#line 106
4129 __cil_tmp35 = __cil_tmp34 & 6;
4130#line 106
4131 __cil_tmp36 = __cil_tmp35 >> 1;
4132#line 106
4133 __cil_tmp37 = __cil_tmp36 + 11;
4134#line 106
4135 res = (unsigned int )__cil_tmp37;
4136#line 107
4137 __cil_tmp38 = 1 * 1UL;
4138#line 107
4139 __cil_tmp39 = (unsigned long )(buf) + __cil_tmp38;
4140#line 107
4141 __cil_tmp40 = *((char *)__cil_tmp39);
4142#line 107
4143 __cil_tmp41 = (int )__cil_tmp40;
4144#line 107
4145 __cil_tmp42 = __cil_tmp41 << 8;
4146#line 107
4147 __cil_tmp43 = 2 * 1UL;
4148#line 107
4149 __cil_tmp44 = (unsigned long )(buf) + __cil_tmp43;
4150#line 107
4151 __cil_tmp45 = *((char *)__cil_tmp44);
4152#line 107
4153 __cil_tmp46 = (int )__cil_tmp45;
4154#line 107
4155 __cil_tmp47 = __cil_tmp46 | __cil_tmp42;
4156#line 107
4157 x = (unsigned int )__cil_tmp47;
4158#line 108
4159 __cil_tmp48 = 3 * 1UL;
4160#line 108
4161 __cil_tmp49 = (unsigned long )(buf) + __cil_tmp48;
4162#line 108
4163 __cil_tmp50 = *((char *)__cil_tmp49);
4164#line 108
4165 __cil_tmp51 = (int )__cil_tmp50;
4166#line 108
4167 __cil_tmp52 = __cil_tmp51 << 8;
4168#line 108
4169 __cil_tmp53 = 4 * 1UL;
4170#line 108
4171 __cil_tmp54 = (unsigned long )(buf) + __cil_tmp53;
4172#line 108
4173 __cil_tmp55 = *((char *)__cil_tmp54);
4174#line 108
4175 __cil_tmp56 = (int )__cil_tmp55;
4176#line 108
4177 __cil_tmp57 = __cil_tmp56 | __cil_tmp52;
4178#line 108
4179 y = (unsigned int )__cil_tmp57;
4180#line 111
4181 __cil_tmp58 = res - 11U;
4182#line 111
4183 __cil_tmp59 = (int )__cil_tmp58;
4184#line 111
4185 x = x >> __cil_tmp59;
4186#line 112
4187 __cil_tmp60 = res - 11U;
4188#line 112
4189 __cil_tmp61 = (int )__cil_tmp60;
4190#line 112
4191 y = y >> __cil_tmp61;
4192 {
4193#line 114
4194 __cil_tmp62 = & flip_x;
4195#line 114
4196 __cil_tmp63 = *__cil_tmp62;
4197#line 114
4198 if ((int )__cil_tmp63) {
4199#line 115
4200 x = 4095U - x;
4201 } else {
4202
4203 }
4204 }
4205 {
4206#line 117
4207 __cil_tmp64 = & flip_y;
4208#line 117
4209 __cil_tmp65 = *__cil_tmp64;
4210#line 117
4211 if ((int )__cil_tmp65) {
4212#line 118
4213 y = 4095U - y;
4214 } else {
4215
4216 }
4217 }
4218 {
4219#line 120
4220 __cil_tmp66 = 0 * 1UL;
4221#line 120
4222 __cil_tmp67 = (unsigned long )(buf) + __cil_tmp66;
4223#line 120
4224 __cil_tmp68 = *((char *)__cil_tmp67);
4225#line 120
4226 __cil_tmp69 = (int )__cil_tmp68;
4227#line 120
4228 __cil_tmp70 = __cil_tmp69 & 64;
4229#line 120
4230 if (__cil_tmp70 != 0) {
4231 {
4232#line 121
4233 __cil_tmp71 = (unsigned long )priv;
4234#line 121
4235 __cil_tmp72 = __cil_tmp71 + 8;
4236#line 121
4237 __cil_tmp73 = *((struct input_dev **)__cil_tmp72);
4238#line 121
4239 __cil_tmp74 = 5 * 1UL;
4240#line 121
4241 __cil_tmp75 = (unsigned long )(buf) + __cil_tmp74;
4242#line 121
4243 __cil_tmp76 = *((char *)__cil_tmp75);
4244#line 121
4245 __cil_tmp77 = (int )__cil_tmp76;
4246#line 121
4247 input_report_abs(__cil_tmp73, 24U, __cil_tmp77);
4248 }
4249 } else {
4250
4251 }
4252 }
4253 {
4254#line 123
4255 __cil_tmp78 = (unsigned long )priv;
4256#line 123
4257 __cil_tmp79 = __cil_tmp78 + 8;
4258#line 123
4259 __cil_tmp80 = *((struct input_dev **)__cil_tmp79);
4260#line 123
4261 __cil_tmp81 = (int )x;
4262#line 123
4263 input_report_abs(__cil_tmp80, 0U, __cil_tmp81);
4264#line 124
4265 __cil_tmp82 = (unsigned long )priv;
4266#line 124
4267 __cil_tmp83 = __cil_tmp82 + 8;
4268#line 124
4269 __cil_tmp84 = *((struct input_dev **)__cil_tmp83);
4270#line 124
4271 __cil_tmp85 = (int )y;
4272#line 124
4273 input_report_abs(__cil_tmp84, 1U, __cil_tmp85);
4274#line 125
4275 __cil_tmp86 = (unsigned long )priv;
4276#line 125
4277 __cil_tmp87 = __cil_tmp86 + 8;
4278#line 125
4279 __cil_tmp88 = *((struct input_dev **)__cil_tmp87);
4280#line 125
4281 __cil_tmp89 = pressed != 0U;
4282#line 125
4283 input_report_key(__cil_tmp88, 330U, __cil_tmp89);
4284#line 126
4285 __cil_tmp90 = (unsigned long )priv;
4286#line 126
4287 __cil_tmp91 = __cil_tmp90 + 8;
4288#line 126
4289 __cil_tmp92 = *((struct input_dev **)__cil_tmp91);
4290#line 126
4291 input_sync(__cil_tmp92);
4292 }
4293 out:
4294 {
4295#line 129
4296 __cil_tmp93 = (unsigned long )priv;
4297#line 129
4298 __cil_tmp94 = __cil_tmp93 + 96;
4299#line 129
4300 __cil_tmp95 = (struct mutex *)__cil_tmp94;
4301#line 129
4302 mutex_unlock(__cil_tmp95);
4303 }
4304#line 130
4305 return;
4306}
4307}
4308#line 132 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4309static irqreturn_t eeti_ts_isr(int irq , void *dev_id )
4310{ struct eeti_ts_priv *priv ;
4311 unsigned long __cil_tmp4 ;
4312 unsigned long __cil_tmp5 ;
4313 struct work_struct *__cil_tmp6 ;
4314
4315 {
4316 {
4317#line 134
4318 priv = (struct eeti_ts_priv *)dev_id;
4319#line 137
4320 __cil_tmp4 = (unsigned long )priv;
4321#line 137
4322 __cil_tmp5 = __cil_tmp4 + 16;
4323#line 137
4324 __cil_tmp6 = (struct work_struct *)__cil_tmp5;
4325#line 137
4326 schedule_work(__cil_tmp6);
4327 }
4328#line 139
4329 return ((irqreturn_t )1);
4330}
4331}
4332#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4333static void eeti_ts_start(struct eeti_ts_priv *priv )
4334{ unsigned long __cil_tmp2 ;
4335 unsigned long __cil_tmp3 ;
4336 int __cil_tmp4 ;
4337 unsigned int __cil_tmp5 ;
4338 unsigned long __cil_tmp6 ;
4339 unsigned long __cil_tmp7 ;
4340 struct work_struct *__cil_tmp8 ;
4341
4342 {
4343 {
4344#line 144
4345 __cil_tmp2 = (unsigned long )priv;
4346#line 144
4347 __cil_tmp3 = __cil_tmp2 + 264;
4348#line 144
4349 __cil_tmp4 = *((int *)__cil_tmp3);
4350#line 144
4351 __cil_tmp5 = (unsigned int )__cil_tmp4;
4352#line 144
4353 enable_irq(__cil_tmp5);
4354#line 147
4355 __cil_tmp6 = (unsigned long )priv;
4356#line 147
4357 __cil_tmp7 = __cil_tmp6 + 16;
4358#line 147
4359 __cil_tmp8 = (struct work_struct *)__cil_tmp7;
4360#line 147
4361 eeti_ts_read(__cil_tmp8);
4362 }
4363#line 148
4364 return;
4365}
4366}
4367#line 150 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4368static void eeti_ts_stop(struct eeti_ts_priv *priv )
4369{ unsigned long __cil_tmp2 ;
4370 unsigned long __cil_tmp3 ;
4371 int __cil_tmp4 ;
4372 unsigned int __cil_tmp5 ;
4373 unsigned long __cil_tmp6 ;
4374 unsigned long __cil_tmp7 ;
4375 struct work_struct *__cil_tmp8 ;
4376
4377 {
4378 {
4379#line 152
4380 __cil_tmp2 = (unsigned long )priv;
4381#line 152
4382 __cil_tmp3 = __cil_tmp2 + 264;
4383#line 152
4384 __cil_tmp4 = *((int *)__cil_tmp3);
4385#line 152
4386 __cil_tmp5 = (unsigned int )__cil_tmp4;
4387#line 152
4388 disable_irq(__cil_tmp5);
4389#line 153
4390 __cil_tmp6 = (unsigned long )priv;
4391#line 153
4392 __cil_tmp7 = __cil_tmp6 + 16;
4393#line 153
4394 __cil_tmp8 = (struct work_struct *)__cil_tmp7;
4395#line 153
4396 cancel_work_sync(__cil_tmp8);
4397 }
4398#line 154
4399 return;
4400}
4401}
4402#line 156 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4403static int eeti_ts_open(struct input_dev *dev )
4404{ struct eeti_ts_priv *priv ;
4405 void *tmp ;
4406
4407 {
4408 {
4409#line 158
4410 tmp = input_get_drvdata(dev);
4411#line 158
4412 priv = (struct eeti_ts_priv *)tmp;
4413#line 160
4414 eeti_ts_start(priv);
4415 }
4416#line 162
4417 return (0);
4418}
4419}
4420#line 165 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4421static void eeti_ts_close(struct input_dev *dev )
4422{ struct eeti_ts_priv *priv ;
4423 void *tmp ;
4424
4425 {
4426 {
4427#line 167
4428 tmp = input_get_drvdata(dev);
4429#line 167
4430 priv = (struct eeti_ts_priv *)tmp;
4431#line 169
4432 eeti_ts_stop(priv);
4433 }
4434#line 170
4435 return;
4436}
4437}
4438#line 172 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4439static int eeti_ts_probe(struct i2c_client *client , struct i2c_device_id const *idp )
4440{ struct eeti_ts_platform_data *pdata ;
4441 struct eeti_ts_priv *priv ;
4442 struct input_dev *input ;
4443 unsigned int irq_flags ;
4444 int err ;
4445 void *tmp ;
4446 struct lock_class_key __key ;
4447 struct lock_class_key __key___0 ;
4448 atomic_long_t __constr_expr_0 ;
4449 struct eeti_ts_priv *__cil_tmp12 ;
4450 unsigned long __cil_tmp13 ;
4451 unsigned long __cil_tmp14 ;
4452 unsigned long __cil_tmp15 ;
4453 unsigned long __cil_tmp16 ;
4454 struct device *__cil_tmp17 ;
4455 struct device const *__cil_tmp18 ;
4456 unsigned long __cil_tmp19 ;
4457 unsigned long __cil_tmp20 ;
4458 struct mutex *__cil_tmp21 ;
4459 struct input_dev *__cil_tmp22 ;
4460 unsigned long __cil_tmp23 ;
4461 unsigned long __cil_tmp24 ;
4462 unsigned long __cil_tmp25 ;
4463 unsigned long __cil_tmp26 ;
4464 struct device *__cil_tmp27 ;
4465 struct device const *__cil_tmp28 ;
4466 unsigned long __cil_tmp29 ;
4467 unsigned long __cil_tmp30 ;
4468 unsigned long __cil_tmp31 ;
4469 unsigned long __cil_tmp32 ;
4470 unsigned long __cil_tmp33 ;
4471 unsigned long __cil_tmp34 ;
4472 unsigned long __cil_tmp35 ;
4473 unsigned long __cil_tmp36 ;
4474 unsigned long __cil_tmp37 ;
4475 unsigned long __cil_tmp38 ;
4476 char (*__cil_tmp39)[20U] ;
4477 unsigned long __cil_tmp40 ;
4478 unsigned long __cil_tmp41 ;
4479 unsigned long __cil_tmp42 ;
4480 unsigned long __cil_tmp43 ;
4481 unsigned long __cil_tmp44 ;
4482 unsigned long __cil_tmp45 ;
4483 unsigned long __cil_tmp46 ;
4484 unsigned long __cil_tmp47 ;
4485 unsigned long __cil_tmp48 ;
4486 unsigned long __cil_tmp49 ;
4487 unsigned long __cil_tmp50 ;
4488 unsigned long __cil_tmp51 ;
4489 unsigned long __cil_tmp52 ;
4490 unsigned long __cil_tmp53 ;
4491 unsigned long __cil_tmp54 ;
4492 unsigned long __cil_tmp55 ;
4493 unsigned long __cil_tmp56 ;
4494 unsigned long __cil_tmp57 ;
4495 unsigned long __cil_tmp58 ;
4496 void *__cil_tmp59 ;
4497 struct eeti_ts_platform_data *__cil_tmp60 ;
4498 unsigned long __cil_tmp61 ;
4499 unsigned long __cil_tmp62 ;
4500 unsigned long __cil_tmp63 ;
4501 unsigned long __cil_tmp64 ;
4502 unsigned int __cil_tmp65 ;
4503 unsigned long __cil_tmp66 ;
4504 unsigned long __cil_tmp67 ;
4505 int __cil_tmp68 ;
4506 unsigned long __cil_tmp69 ;
4507 unsigned long __cil_tmp70 ;
4508 struct work_struct *__cil_tmp71 ;
4509 unsigned long __cil_tmp72 ;
4510 unsigned long __cil_tmp73 ;
4511 unsigned long __cil_tmp74 ;
4512 unsigned long __cil_tmp75 ;
4513 unsigned long __cil_tmp76 ;
4514 struct lockdep_map *__cil_tmp77 ;
4515 unsigned long __cil_tmp78 ;
4516 unsigned long __cil_tmp79 ;
4517 unsigned long __cil_tmp80 ;
4518 struct list_head *__cil_tmp81 ;
4519 unsigned long __cil_tmp82 ;
4520 unsigned long __cil_tmp83 ;
4521 unsigned long __cil_tmp84 ;
4522 void *__cil_tmp85 ;
4523 void *__cil_tmp86 ;
4524 unsigned long __cil_tmp87 ;
4525 unsigned long __cil_tmp88 ;
4526 int __cil_tmp89 ;
4527 unsigned int __cil_tmp90 ;
4528 unsigned long __cil_tmp91 ;
4529 unsigned long __cil_tmp92 ;
4530 unsigned long __cil_tmp93 ;
4531 char (*__cil_tmp94)[20U] ;
4532 char const *__cil_tmp95 ;
4533 void *__cil_tmp96 ;
4534 unsigned long __cil_tmp97 ;
4535 unsigned long __cil_tmp98 ;
4536 struct device *__cil_tmp99 ;
4537 struct device const *__cil_tmp100 ;
4538 unsigned long __cil_tmp101 ;
4539 unsigned long __cil_tmp102 ;
4540 struct device *__cil_tmp103 ;
4541 bool __cil_tmp104 ;
4542 void const *__cil_tmp105 ;
4543 long __constr_expr_0_counter106 ;
4544
4545 {
4546 {
4547#line 179
4548 err = -12;
4549#line 188
4550 tmp = kzalloc(272UL, 208U);
4551#line 188
4552 priv = (struct eeti_ts_priv *)tmp;
4553 }
4554 {
4555#line 189
4556 __cil_tmp12 = (struct eeti_ts_priv *)0;
4557#line 189
4558 __cil_tmp13 = (unsigned long )__cil_tmp12;
4559#line 189
4560 __cil_tmp14 = (unsigned long )priv;
4561#line 189
4562 if (__cil_tmp14 == __cil_tmp13) {
4563 {
4564#line 190
4565 __cil_tmp15 = (unsigned long )client;
4566#line 190
4567 __cil_tmp16 = __cil_tmp15 + 40;
4568#line 190
4569 __cil_tmp17 = (struct device *)__cil_tmp16;
4570#line 190
4571 __cil_tmp18 = (struct device const *)__cil_tmp17;
4572#line 190
4573 dev_err(__cil_tmp18, "failed to allocate driver data\n");
4574 }
4575#line 191
4576 goto err0;
4577 } else {
4578
4579 }
4580 }
4581 {
4582#line 194
4583 __cil_tmp19 = (unsigned long )priv;
4584#line 194
4585 __cil_tmp20 = __cil_tmp19 + 96;
4586#line 194
4587 __cil_tmp21 = (struct mutex *)__cil_tmp20;
4588#line 194
4589 __mutex_init(__cil_tmp21, "&priv->mutex", & __key);
4590#line 195
4591 input = input_allocate_device();
4592 }
4593 {
4594#line 197
4595 __cil_tmp22 = (struct input_dev *)0;
4596#line 197
4597 __cil_tmp23 = (unsigned long )__cil_tmp22;
4598#line 197
4599 __cil_tmp24 = (unsigned long )input;
4600#line 197
4601 if (__cil_tmp24 == __cil_tmp23) {
4602 {
4603#line 198
4604 __cil_tmp25 = (unsigned long )client;
4605#line 198
4606 __cil_tmp26 = __cil_tmp25 + 40;
4607#line 198
4608 __cil_tmp27 = (struct device *)__cil_tmp26;
4609#line 198
4610 __cil_tmp28 = (struct device const *)__cil_tmp27;
4611#line 198
4612 dev_err(__cil_tmp28, "Failed to allocate input device.\n");
4613 }
4614#line 199
4615 goto err1;
4616 } else {
4617
4618 }
4619 }
4620 {
4621#line 202
4622 __cil_tmp29 = 0 * 8UL;
4623#line 202
4624 __cil_tmp30 = 40 + __cil_tmp29;
4625#line 202
4626 __cil_tmp31 = (unsigned long )input;
4627#line 202
4628 __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
4629#line 202
4630 *((unsigned long *)__cil_tmp32) = 10UL;
4631#line 203
4632 __cil_tmp33 = 5 * 8UL;
4633#line 203
4634 __cil_tmp34 = 48 + __cil_tmp33;
4635#line 203
4636 __cil_tmp35 = (unsigned long )input;
4637#line 203
4638 __cil_tmp36 = __cil_tmp35 + __cil_tmp34;
4639#line 203
4640 *((unsigned long *)__cil_tmp36) = 1024UL;
4641#line 205
4642 input_set_abs_params(input, 0U, 0, 4095, 0, 0);
4643#line 206
4644 input_set_abs_params(input, 1U, 0, 4095, 0, 0);
4645#line 207
4646 input_set_abs_params(input, 24U, 0, 255, 0, 0);
4647#line 209
4648 __cil_tmp37 = (unsigned long )client;
4649#line 209
4650 __cil_tmp38 = __cil_tmp37 + 4;
4651#line 209
4652 __cil_tmp39 = (char (*)[20U])__cil_tmp38;
4653#line 209
4654 *((char const **)input) = (char const *)__cil_tmp39;
4655#line 210
4656 __cil_tmp40 = (unsigned long )input;
4657#line 210
4658 __cil_tmp41 = __cil_tmp40 + 24;
4659#line 210
4660 *((__u16 *)__cil_tmp41) = (__u16 )24U;
4661#line 211
4662 __cil_tmp42 = (unsigned long )input;
4663#line 211
4664 __cil_tmp43 = __cil_tmp42 + 840;
4665#line 211
4666 __cil_tmp44 = (unsigned long )client;
4667#line 211
4668 __cil_tmp45 = __cil_tmp44 + 40;
4669#line 211
4670 *((struct device **)__cil_tmp43) = (struct device *)__cil_tmp45;
4671#line 212
4672 __cil_tmp46 = (unsigned long )input;
4673#line 212
4674 __cil_tmp47 = __cil_tmp46 + 552;
4675#line 212
4676 *((int (**)(struct input_dev * ))__cil_tmp47) = & eeti_ts_open;
4677#line 213
4678 __cil_tmp48 = (unsigned long )input;
4679#line 213
4680 __cil_tmp49 = __cil_tmp48 + 560;
4681#line 213
4682 *((void (**)(struct input_dev * ))__cil_tmp49) = & eeti_ts_close;
4683#line 215
4684 *((struct i2c_client **)priv) = client;
4685#line 216
4686 __cil_tmp50 = (unsigned long )priv;
4687#line 216
4688 __cil_tmp51 = __cil_tmp50 + 8;
4689#line 216
4690 *((struct input_dev **)__cil_tmp51) = input;
4691#line 217
4692 __cil_tmp52 = (unsigned long )priv;
4693#line 217
4694 __cil_tmp53 = __cil_tmp52 + 264;
4695#line 217
4696 __cil_tmp54 = (unsigned long )client;
4697#line 217
4698 __cil_tmp55 = __cil_tmp54 + 1192;
4699#line 217
4700 *((int *)__cil_tmp53) = *((int *)__cil_tmp55);
4701#line 219
4702 __cil_tmp56 = 40 + 280;
4703#line 219
4704 __cil_tmp57 = (unsigned long )client;
4705#line 219
4706 __cil_tmp58 = __cil_tmp57 + __cil_tmp56;
4707#line 219
4708 __cil_tmp59 = *((void **)__cil_tmp58);
4709#line 219
4710 pdata = (struct eeti_ts_platform_data *)__cil_tmp59;
4711 }
4712 {
4713#line 221
4714 __cil_tmp60 = (struct eeti_ts_platform_data *)0;
4715#line 221
4716 __cil_tmp61 = (unsigned long )__cil_tmp60;
4717#line 221
4718 __cil_tmp62 = (unsigned long )pdata;
4719#line 221
4720 if (__cil_tmp62 != __cil_tmp61) {
4721#line 222
4722 __cil_tmp63 = (unsigned long )priv;
4723#line 222
4724 __cil_tmp64 = __cil_tmp63 + 268;
4725#line 222
4726 __cil_tmp65 = *((unsigned int *)pdata);
4727#line 222
4728 *((int *)__cil_tmp64) = (int )__cil_tmp65;
4729 } else {
4730
4731 }
4732 }
4733 {
4734#line 224
4735 __cil_tmp66 = (unsigned long )priv;
4736#line 224
4737 __cil_tmp67 = __cil_tmp66 + 268;
4738#line 224
4739 __cil_tmp68 = *((int *)__cil_tmp67);
4740#line 224
4741 if (__cil_tmp68 != 0) {
4742#line 224
4743 irq_flags = 1U;
4744 } else {
4745#line 224
4746 irq_flags = 2U;
4747 }
4748 }
4749 {
4750#line 227
4751 __cil_tmp69 = (unsigned long )priv;
4752#line 227
4753 __cil_tmp70 = __cil_tmp69 + 16;
4754#line 227
4755 __cil_tmp71 = (struct work_struct *)__cil_tmp70;
4756#line 227
4757 __init_work(__cil_tmp71, 0);
4758#line 227
4759 __constr_expr_0_counter106 = 2097664L;
4760#line 227
4761 __cil_tmp72 = (unsigned long )priv;
4762#line 227
4763 __cil_tmp73 = __cil_tmp72 + 16;
4764#line 227
4765 ((atomic_long_t *)__cil_tmp73)->counter = __constr_expr_0_counter106;
4766#line 227
4767 __cil_tmp74 = 16 + 32;
4768#line 227
4769 __cil_tmp75 = (unsigned long )priv;
4770#line 227
4771 __cil_tmp76 = __cil_tmp75 + __cil_tmp74;
4772#line 227
4773 __cil_tmp77 = (struct lockdep_map *)__cil_tmp76;
4774#line 227
4775 lockdep_init_map(__cil_tmp77, "(&priv->work)", & __key___0, 0);
4776#line 227
4777 __cil_tmp78 = 16 + 8;
4778#line 227
4779 __cil_tmp79 = (unsigned long )priv;
4780#line 227
4781 __cil_tmp80 = __cil_tmp79 + __cil_tmp78;
4782#line 227
4783 __cil_tmp81 = (struct list_head *)__cil_tmp80;
4784#line 227
4785 INIT_LIST_HEAD(__cil_tmp81);
4786#line 227
4787 __cil_tmp82 = 16 + 24;
4788#line 227
4789 __cil_tmp83 = (unsigned long )priv;
4790#line 227
4791 __cil_tmp84 = __cil_tmp83 + __cil_tmp82;
4792#line 227
4793 *((void (**)(struct work_struct * ))__cil_tmp84) = & eeti_ts_read;
4794#line 228
4795 __cil_tmp85 = (void *)priv;
4796#line 228
4797 i2c_set_clientdata(client, __cil_tmp85);
4798#line 229
4799 __cil_tmp86 = (void *)priv;
4800#line 229
4801 input_set_drvdata(input, __cil_tmp86);
4802#line 231
4803 err = input_register_device(input);
4804 }
4805#line 232
4806 if (err != 0) {
4807#line 233
4808 goto err1;
4809 } else {
4810
4811 }
4812 {
4813#line 235
4814 __cil_tmp87 = (unsigned long )priv;
4815#line 235
4816 __cil_tmp88 = __cil_tmp87 + 264;
4817#line 235
4818 __cil_tmp89 = *((int *)__cil_tmp88);
4819#line 235
4820 __cil_tmp90 = (unsigned int )__cil_tmp89;
4821#line 235
4822 __cil_tmp91 = (unsigned long )irq_flags;
4823#line 235
4824 __cil_tmp92 = (unsigned long )client;
4825#line 235
4826 __cil_tmp93 = __cil_tmp92 + 4;
4827#line 235
4828 __cil_tmp94 = (char (*)[20U])__cil_tmp93;
4829#line 235
4830 __cil_tmp95 = (char const *)__cil_tmp94;
4831#line 235
4832 __cil_tmp96 = (void *)priv;
4833#line 235
4834 err = request_irq(__cil_tmp90, & eeti_ts_isr, __cil_tmp91, __cil_tmp95, __cil_tmp96);
4835 }
4836#line 237
4837 if (err != 0) {
4838 {
4839#line 238
4840 __cil_tmp97 = (unsigned long )client;
4841#line 238
4842 __cil_tmp98 = __cil_tmp97 + 40;
4843#line 238
4844 __cil_tmp99 = (struct device *)__cil_tmp98;
4845#line 238
4846 __cil_tmp100 = (struct device const *)__cil_tmp99;
4847#line 238
4848 dev_err(__cil_tmp100, "Unable to request touchscreen IRQ.\n");
4849 }
4850#line 239
4851 goto err2;
4852 } else {
4853
4854 }
4855 {
4856#line 246
4857 eeti_ts_stop(priv);
4858#line 248
4859 __cil_tmp101 = (unsigned long )client;
4860#line 248
4861 __cil_tmp102 = __cil_tmp101 + 40;
4862#line 248
4863 __cil_tmp103 = (struct device *)__cil_tmp102;
4864#line 248
4865 __cil_tmp104 = (bool )0;
4866#line 248
4867 device_init_wakeup(__cil_tmp103, __cil_tmp104);
4868 }
4869#line 249
4870 return (0);
4871 err2:
4872 {
4873#line 252
4874 input_unregister_device(input);
4875#line 253
4876 input = (struct input_dev *)0;
4877 }
4878 err1:
4879 {
4880#line 255
4881 input_free_device(input);
4882#line 256
4883 __cil_tmp105 = (void const *)priv;
4884#line 256
4885 kfree(__cil_tmp105);
4886 }
4887 err0: ;
4888#line 258
4889 return (err);
4890}
4891}
4892#line 324 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4893struct i2c_device_id const __mod_i2c_device_table ;
4894#line 360
4895extern void ldv_check_final_state(void) ;
4896#line 363
4897extern void ldv_check_return_value(int ) ;
4898#line 366
4899extern void ldv_initialize(void) ;
4900#line 369
4901extern int __VERIFIER_nondet_int(void) ;
4902#line 372 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4903int LDV_IN_INTERRUPT ;
4904#line 375 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
4905void main(void)
4906{ struct i2c_client *var_group1 ;
4907 struct i2c_device_id const *var_eeti_ts_probe_7_p1 ;
4908 int res_eeti_ts_probe_7 ;
4909 int var_eeti_ts_isr_2_p0 ;
4910 void *var_eeti_ts_isr_2_p1 ;
4911 int ldv_s_eeti_ts_driver_i2c_driver ;
4912 int tmp ;
4913 int tmp___0 ;
4914
4915 {
4916 {
4917#line 443
4918 ldv_s_eeti_ts_driver_i2c_driver = 0;
4919#line 433
4920 LDV_IN_INTERRUPT = 1;
4921#line 442
4922 ldv_initialize();
4923 }
4924#line 448
4925 goto ldv_23939;
4926 ldv_23938:
4927 {
4928#line 452
4929 tmp = __VERIFIER_nondet_int();
4930 }
4931#line 454
4932 if (tmp == 0) {
4933#line 454
4934 goto case_0;
4935 } else
4936#line 487
4937 if (tmp == 1) {
4938#line 487
4939 goto case_1;
4940 } else {
4941 {
4942#line 517
4943 goto switch_default;
4944#line 452
4945 if (0) {
4946 case_0: ;
4947#line 457
4948 if (ldv_s_eeti_ts_driver_i2c_driver == 0) {
4949 {
4950#line 470
4951 res_eeti_ts_probe_7 = eeti_ts_probe(var_group1, var_eeti_ts_probe_7_p1);
4952#line 471
4953 ldv_check_return_value(res_eeti_ts_probe_7);
4954 }
4955#line 472
4956 if (res_eeti_ts_probe_7 != 0) {
4957#line 473
4958 goto ldv_module_exit;
4959 } else {
4960
4961 }
4962#line 480
4963 ldv_s_eeti_ts_driver_i2c_driver = 0;
4964 } else {
4965
4966 }
4967#line 486
4968 goto ldv_23935;
4969 case_1:
4970 {
4971#line 490
4972 LDV_IN_INTERRUPT = 2;
4973#line 503
4974 eeti_ts_isr(var_eeti_ts_isr_2_p0, var_eeti_ts_isr_2_p1);
4975#line 510
4976 LDV_IN_INTERRUPT = 1;
4977 }
4978#line 516
4979 goto ldv_23935;
4980 switch_default: ;
4981#line 517
4982 goto ldv_23935;
4983 } else {
4984 switch_break: ;
4985 }
4986 }
4987 }
4988 ldv_23935: ;
4989 ldv_23939:
4990 {
4991#line 448
4992 tmp___0 = __VERIFIER_nondet_int();
4993 }
4994#line 448
4995 if (tmp___0 != 0) {
4996#line 450
4997 goto ldv_23938;
4998 } else
4999#line 448
5000 if (ldv_s_eeti_ts_driver_i2c_driver != 0) {
5001#line 450
5002 goto ldv_23938;
5003 } else {
5004#line 452
5005 goto ldv_23940;
5006 }
5007 ldv_23940: ;
5008 ldv_module_exit: ;
5009 {
5010#line 526
5011 ldv_check_final_state();
5012 }
5013#line 529
5014 return;
5015}
5016}
5017#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
5018void ldv_blast_assert(void)
5019{
5020
5021 {
5022 ERROR: ;
5023#line 6
5024 goto ERROR;
5025}
5026}
5027#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
5028extern int __VERIFIER_nondet_int(void) ;
5029#line 550 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5030int ldv_spin = 0;
5031#line 554 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5032void ldv_check_alloc_flags(gfp_t flags )
5033{
5034
5035 {
5036#line 557
5037 if (ldv_spin != 0) {
5038#line 557
5039 if (flags != 32U) {
5040 {
5041#line 557
5042 ldv_blast_assert();
5043 }
5044 } else {
5045
5046 }
5047 } else {
5048
5049 }
5050#line 560
5051 return;
5052}
5053}
5054#line 560
5055extern struct page *ldv_some_page(void) ;
5056#line 563 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5057struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
5058{ struct page *tmp ;
5059
5060 {
5061#line 566
5062 if (ldv_spin != 0) {
5063#line 566
5064 if (flags != 32U) {
5065 {
5066#line 566
5067 ldv_blast_assert();
5068 }
5069 } else {
5070
5071 }
5072 } else {
5073
5074 }
5075 {
5076#line 568
5077 tmp = ldv_some_page();
5078 }
5079#line 568
5080 return (tmp);
5081}
5082}
5083#line 572 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5084void ldv_check_alloc_nonatomic(void)
5085{
5086
5087 {
5088#line 575
5089 if (ldv_spin != 0) {
5090 {
5091#line 575
5092 ldv_blast_assert();
5093 }
5094 } else {
5095
5096 }
5097#line 578
5098 return;
5099}
5100}
5101#line 579 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5102void ldv_spin_lock(void)
5103{
5104
5105 {
5106#line 582
5107 ldv_spin = 1;
5108#line 583
5109 return;
5110}
5111}
5112#line 586 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5113void ldv_spin_unlock(void)
5114{
5115
5116 {
5117#line 589
5118 ldv_spin = 0;
5119#line 590
5120 return;
5121}
5122}
5123#line 593 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5124int ldv_spin_trylock(void)
5125{ int is_lock ;
5126
5127 {
5128 {
5129#line 598
5130 is_lock = __VERIFIER_nondet_int();
5131 }
5132#line 600
5133 if (is_lock != 0) {
5134#line 603
5135 return (0);
5136 } else {
5137#line 608
5138 ldv_spin = 1;
5139#line 610
5140 return (1);
5141 }
5142}
5143}
5144#line 777 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5145void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
5146{
5147
5148 {
5149 {
5150#line 783
5151 ldv_check_alloc_flags(ldv_func_arg2);
5152#line 785
5153 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
5154 }
5155#line 786
5156 return ((void *)0);
5157}
5158}
5159#line 788 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3102/dscv_tempdir/dscv/ri/43_1a/drivers/input/touchscreen/eeti_ts.c.p"
5160__inline static void *kzalloc(size_t size , gfp_t flags )
5161{ void *tmp ;
5162
5163 {
5164 {
5165#line 794
5166 ldv_check_alloc_flags(flags);
5167#line 795
5168 tmp = __VERIFIER_nondet_pointer();
5169 }
5170#line 795
5171 return (tmp);
5172}
5173}