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