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