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 44 "include/asm-generic/posix_types.h"
41typedef __kernel_long_t __kernel_suseconds_t;
42#line 52 "include/asm-generic/posix_types.h"
43typedef unsigned int __kernel_uid32_t;
44#line 53 "include/asm-generic/posix_types.h"
45typedef unsigned int __kernel_gid32_t;
46#line 75 "include/asm-generic/posix_types.h"
47typedef __kernel_ulong_t __kernel_size_t;
48#line 76 "include/asm-generic/posix_types.h"
49typedef __kernel_long_t __kernel_ssize_t;
50#line 91 "include/asm-generic/posix_types.h"
51typedef long long __kernel_loff_t;
52#line 92 "include/asm-generic/posix_types.h"
53typedef __kernel_long_t __kernel_time_t;
54#line 93 "include/asm-generic/posix_types.h"
55typedef __kernel_long_t __kernel_clock_t;
56#line 94 "include/asm-generic/posix_types.h"
57typedef int __kernel_timer_t;
58#line 95 "include/asm-generic/posix_types.h"
59typedef int __kernel_clockid_t;
60#line 21 "include/linux/types.h"
61typedef __u32 __kernel_dev_t;
62#line 24 "include/linux/types.h"
63typedef __kernel_dev_t dev_t;
64#line 27 "include/linux/types.h"
65typedef unsigned short umode_t;
66#line 30 "include/linux/types.h"
67typedef __kernel_pid_t pid_t;
68#line 35 "include/linux/types.h"
69typedef __kernel_clockid_t clockid_t;
70#line 38 "include/linux/types.h"
71typedef _Bool bool;
72#line 40 "include/linux/types.h"
73typedef __kernel_uid32_t uid_t;
74#line 41 "include/linux/types.h"
75typedef __kernel_gid32_t gid_t;
76#line 54 "include/linux/types.h"
77typedef __kernel_loff_t loff_t;
78#line 63 "include/linux/types.h"
79typedef __kernel_size_t size_t;
80#line 68 "include/linux/types.h"
81typedef __kernel_ssize_t ssize_t;
82#line 78 "include/linux/types.h"
83typedef __kernel_time_t time_t;
84#line 111 "include/linux/types.h"
85typedef __s32 int32_t;
86#line 117 "include/linux/types.h"
87typedef __u32 uint32_t;
88#line 142 "include/linux/types.h"
89typedef unsigned long sector_t;
90#line 143 "include/linux/types.h"
91typedef unsigned long blkcnt_t;
92#line 155 "include/linux/types.h"
93typedef u64 dma_addr_t;
94#line 178 "include/linux/types.h"
95typedef __u16 __le16;
96#line 180 "include/linux/types.h"
97typedef __u32 __le32;
98#line 202 "include/linux/types.h"
99typedef unsigned int gfp_t;
100#line 203 "include/linux/types.h"
101typedef unsigned int fmode_t;
102#line 221 "include/linux/types.h"
103struct __anonstruct_atomic_t_6 {
104 int counter ;
105};
106#line 221 "include/linux/types.h"
107typedef struct __anonstruct_atomic_t_6 atomic_t;
108#line 226 "include/linux/types.h"
109struct __anonstruct_atomic64_t_7 {
110 long counter ;
111};
112#line 226 "include/linux/types.h"
113typedef struct __anonstruct_atomic64_t_7 atomic64_t;
114#line 227 "include/linux/types.h"
115struct list_head {
116 struct list_head *next ;
117 struct list_head *prev ;
118};
119#line 232
120struct hlist_node;
121#line 232 "include/linux/types.h"
122struct hlist_head {
123 struct hlist_node *first ;
124};
125#line 236 "include/linux/types.h"
126struct hlist_node {
127 struct hlist_node *next ;
128 struct hlist_node **pprev ;
129};
130#line 247 "include/linux/types.h"
131struct rcu_head {
132 struct rcu_head *next ;
133 void (*func)(struct rcu_head * ) ;
134};
135#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
136struct module;
137#line 55
138struct module;
139#line 146 "include/linux/init.h"
140typedef void (*ctor_fn_t)(void);
141#line 46 "include/linux/dynamic_debug.h"
142struct device;
143#line 46
144struct device;
145#line 57
146struct completion;
147#line 57
148struct completion;
149#line 58
150struct pt_regs;
151#line 58
152struct pt_regs;
153#line 348 "include/linux/kernel.h"
154struct pid;
155#line 348
156struct pid;
157#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h"
158struct timespec;
159#line 112
160struct timespec;
161#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h"
162struct page;
163#line 58
164struct page;
165#line 26 "include/asm-generic/getorder.h"
166struct task_struct;
167#line 26
168struct task_struct;
169#line 28
170struct mm_struct;
171#line 28
172struct mm_struct;
173#line 268 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/segment.h"
174struct pt_regs {
175 unsigned long r15 ;
176 unsigned long r14 ;
177 unsigned long r13 ;
178 unsigned long r12 ;
179 unsigned long bp ;
180 unsigned long bx ;
181 unsigned long r11 ;
182 unsigned long r10 ;
183 unsigned long r9 ;
184 unsigned long r8 ;
185 unsigned long ax ;
186 unsigned long cx ;
187 unsigned long dx ;
188 unsigned long si ;
189 unsigned long di ;
190 unsigned long orig_ax ;
191 unsigned long ip ;
192 unsigned long cs ;
193 unsigned long flags ;
194 unsigned long sp ;
195 unsigned long ss ;
196};
197#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
198struct __anonstruct_ldv_2180_13 {
199 unsigned int a ;
200 unsigned int b ;
201};
202#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
203struct __anonstruct_ldv_2195_14 {
204 u16 limit0 ;
205 u16 base0 ;
206 unsigned char base1 ;
207 unsigned char type : 4 ;
208 unsigned char s : 1 ;
209 unsigned char dpl : 2 ;
210 unsigned char p : 1 ;
211 unsigned char limit : 4 ;
212 unsigned char avl : 1 ;
213 unsigned char l : 1 ;
214 unsigned char d : 1 ;
215 unsigned char g : 1 ;
216 unsigned char base2 ;
217};
218#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
219union __anonunion_ldv_2196_12 {
220 struct __anonstruct_ldv_2180_13 ldv_2180 ;
221 struct __anonstruct_ldv_2195_14 ldv_2195 ;
222};
223#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
224struct desc_struct {
225 union __anonunion_ldv_2196_12 ldv_2196 ;
226};
227#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
228typedef unsigned long pgdval_t;
229#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
230typedef unsigned long pgprotval_t;
231#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
232struct pgprot {
233 pgprotval_t pgprot ;
234};
235#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
236typedef struct pgprot pgprot_t;
237#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
238struct __anonstruct_pgd_t_16 {
239 pgdval_t pgd ;
240};
241#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
242typedef struct __anonstruct_pgd_t_16 pgd_t;
243#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
244typedef struct page *pgtable_t;
245#line 290
246struct file;
247#line 290
248struct file;
249#line 305
250struct seq_file;
251#line 305
252struct seq_file;
253#line 337
254struct thread_struct;
255#line 337
256struct thread_struct;
257#line 339
258struct cpumask;
259#line 339
260struct cpumask;
261#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
262struct arch_spinlock;
263#line 327
264struct arch_spinlock;
265#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
266struct kernel_vm86_regs {
267 struct pt_regs pt ;
268 unsigned short es ;
269 unsigned short __esh ;
270 unsigned short ds ;
271 unsigned short __dsh ;
272 unsigned short fs ;
273 unsigned short __fsh ;
274 unsigned short gs ;
275 unsigned short __gsh ;
276};
277#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
278union __anonunion_ldv_2824_19 {
279 struct pt_regs *regs ;
280 struct kernel_vm86_regs *vm86 ;
281};
282#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
283struct math_emu_info {
284 long ___orig_eip ;
285 union __anonunion_ldv_2824_19 ldv_2824 ;
286};
287#line 306 "include/linux/bitmap.h"
288struct bug_entry {
289 int bug_addr_disp ;
290 int file_disp ;
291 unsigned short line ;
292 unsigned short flags ;
293};
294#line 89 "include/linux/bug.h"
295struct cpumask {
296 unsigned long bits[64U] ;
297};
298#line 14 "include/linux/cpumask.h"
299typedef struct cpumask cpumask_t;
300#line 637 "include/linux/cpumask.h"
301typedef struct cpumask *cpumask_var_t;
302#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
303struct static_key;
304#line 234
305struct static_key;
306#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
307struct i387_fsave_struct {
308 u32 cwd ;
309 u32 swd ;
310 u32 twd ;
311 u32 fip ;
312 u32 fcs ;
313 u32 foo ;
314 u32 fos ;
315 u32 st_space[20U] ;
316 u32 status ;
317};
318#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
319struct __anonstruct_ldv_5180_24 {
320 u64 rip ;
321 u64 rdp ;
322};
323#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
324struct __anonstruct_ldv_5186_25 {
325 u32 fip ;
326 u32 fcs ;
327 u32 foo ;
328 u32 fos ;
329};
330#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
331union __anonunion_ldv_5187_23 {
332 struct __anonstruct_ldv_5180_24 ldv_5180 ;
333 struct __anonstruct_ldv_5186_25 ldv_5186 ;
334};
335#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
336union __anonunion_ldv_5196_26 {
337 u32 padding1[12U] ;
338 u32 sw_reserved[12U] ;
339};
340#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
341struct i387_fxsave_struct {
342 u16 cwd ;
343 u16 swd ;
344 u16 twd ;
345 u16 fop ;
346 union __anonunion_ldv_5187_23 ldv_5187 ;
347 u32 mxcsr ;
348 u32 mxcsr_mask ;
349 u32 st_space[32U] ;
350 u32 xmm_space[64U] ;
351 u32 padding[12U] ;
352 union __anonunion_ldv_5196_26 ldv_5196 ;
353};
354#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
355struct i387_soft_struct {
356 u32 cwd ;
357 u32 swd ;
358 u32 twd ;
359 u32 fip ;
360 u32 fcs ;
361 u32 foo ;
362 u32 fos ;
363 u32 st_space[20U] ;
364 u8 ftop ;
365 u8 changed ;
366 u8 lookahead ;
367 u8 no_update ;
368 u8 rm ;
369 u8 alimit ;
370 struct math_emu_info *info ;
371 u32 entry_eip ;
372};
373#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
374struct ymmh_struct {
375 u32 ymmh_space[64U] ;
376};
377#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
378struct xsave_hdr_struct {
379 u64 xstate_bv ;
380 u64 reserved1[2U] ;
381 u64 reserved2[5U] ;
382};
383#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
384struct xsave_struct {
385 struct i387_fxsave_struct i387 ;
386 struct xsave_hdr_struct xsave_hdr ;
387 struct ymmh_struct ymmh ;
388};
389#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
390union thread_xstate {
391 struct i387_fsave_struct fsave ;
392 struct i387_fxsave_struct fxsave ;
393 struct i387_soft_struct soft ;
394 struct xsave_struct xsave ;
395};
396#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
397struct fpu {
398 unsigned int last_cpu ;
399 unsigned int has_fpu ;
400 union thread_xstate *state ;
401};
402#line 433
403struct kmem_cache;
404#line 434
405struct perf_event;
406#line 434
407struct perf_event;
408#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
409struct thread_struct {
410 struct desc_struct tls_array[3U] ;
411 unsigned long sp0 ;
412 unsigned long sp ;
413 unsigned long usersp ;
414 unsigned short es ;
415 unsigned short ds ;
416 unsigned short fsindex ;
417 unsigned short gsindex ;
418 unsigned long fs ;
419 unsigned long gs ;
420 struct perf_event *ptrace_bps[4U] ;
421 unsigned long debugreg6 ;
422 unsigned long ptrace_dr7 ;
423 unsigned long cr2 ;
424 unsigned long trap_nr ;
425 unsigned long error_code ;
426 struct fpu fpu ;
427 unsigned long *io_bitmap_ptr ;
428 unsigned long iopl ;
429 unsigned int io_bitmap_max ;
430};
431#line 23 "include/asm-generic/atomic-long.h"
432typedef atomic64_t atomic_long_t;
433#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
434typedef u16 __ticket_t;
435#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
436typedef u32 __ticketpair_t;
437#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
438struct __raw_tickets {
439 __ticket_t head ;
440 __ticket_t tail ;
441};
442#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
443union __anonunion_ldv_5907_29 {
444 __ticketpair_t head_tail ;
445 struct __raw_tickets tickets ;
446};
447#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
448struct arch_spinlock {
449 union __anonunion_ldv_5907_29 ldv_5907 ;
450};
451#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
452typedef struct arch_spinlock arch_spinlock_t;
453#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
454struct __anonstruct_ldv_5914_31 {
455 u32 read ;
456 s32 write ;
457};
458#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
459union __anonunion_arch_rwlock_t_30 {
460 s64 lock ;
461 struct __anonstruct_ldv_5914_31 ldv_5914 ;
462};
463#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
464typedef union __anonunion_arch_rwlock_t_30 arch_rwlock_t;
465#line 34
466struct lockdep_map;
467#line 34
468struct lockdep_map;
469#line 55 "include/linux/debug_locks.h"
470struct stack_trace {
471 unsigned int nr_entries ;
472 unsigned int max_entries ;
473 unsigned long *entries ;
474 int skip ;
475};
476#line 26 "include/linux/stacktrace.h"
477struct lockdep_subclass_key {
478 char __one_byte ;
479};
480#line 53 "include/linux/lockdep.h"
481struct lock_class_key {
482 struct lockdep_subclass_key subkeys[8U] ;
483};
484#line 59 "include/linux/lockdep.h"
485struct lock_class {
486 struct list_head hash_entry ;
487 struct list_head lock_entry ;
488 struct lockdep_subclass_key *key ;
489 unsigned int subclass ;
490 unsigned int dep_gen_id ;
491 unsigned long usage_mask ;
492 struct stack_trace usage_traces[13U] ;
493 struct list_head locks_after ;
494 struct list_head locks_before ;
495 unsigned int version ;
496 unsigned long ops ;
497 char const *name ;
498 int name_version ;
499 unsigned long contention_point[4U] ;
500 unsigned long contending_point[4U] ;
501};
502#line 144 "include/linux/lockdep.h"
503struct lockdep_map {
504 struct lock_class_key *key ;
505 struct lock_class *class_cache[2U] ;
506 char const *name ;
507 int cpu ;
508 unsigned long ip ;
509};
510#line 187 "include/linux/lockdep.h"
511struct held_lock {
512 u64 prev_chain_key ;
513 unsigned long acquire_ip ;
514 struct lockdep_map *instance ;
515 struct lockdep_map *nest_lock ;
516 u64 waittime_stamp ;
517 u64 holdtime_stamp ;
518 unsigned short class_idx : 13 ;
519 unsigned char irq_context : 2 ;
520 unsigned char trylock : 1 ;
521 unsigned char read : 2 ;
522 unsigned char check : 2 ;
523 unsigned char hardirqs_off : 1 ;
524 unsigned short references : 11 ;
525};
526#line 556 "include/linux/lockdep.h"
527struct raw_spinlock {
528 arch_spinlock_t raw_lock ;
529 unsigned int magic ;
530 unsigned int owner_cpu ;
531 void *owner ;
532 struct lockdep_map dep_map ;
533};
534#line 32 "include/linux/spinlock_types.h"
535typedef struct raw_spinlock raw_spinlock_t;
536#line 33 "include/linux/spinlock_types.h"
537struct __anonstruct_ldv_6122_33 {
538 u8 __padding[24U] ;
539 struct lockdep_map dep_map ;
540};
541#line 33 "include/linux/spinlock_types.h"
542union __anonunion_ldv_6123_32 {
543 struct raw_spinlock rlock ;
544 struct __anonstruct_ldv_6122_33 ldv_6122 ;
545};
546#line 33 "include/linux/spinlock_types.h"
547struct spinlock {
548 union __anonunion_ldv_6123_32 ldv_6123 ;
549};
550#line 76 "include/linux/spinlock_types.h"
551typedef struct spinlock spinlock_t;
552#line 23 "include/linux/rwlock_types.h"
553struct __anonstruct_rwlock_t_34 {
554 arch_rwlock_t raw_lock ;
555 unsigned int magic ;
556 unsigned int owner_cpu ;
557 void *owner ;
558 struct lockdep_map dep_map ;
559};
560#line 23 "include/linux/rwlock_types.h"
561typedef struct __anonstruct_rwlock_t_34 rwlock_t;
562#line 110 "include/linux/seqlock.h"
563struct seqcount {
564 unsigned int sequence ;
565};
566#line 121 "include/linux/seqlock.h"
567typedef struct seqcount seqcount_t;
568#line 254 "include/linux/seqlock.h"
569struct timespec {
570 __kernel_time_t tv_sec ;
571 long tv_nsec ;
572};
573#line 18 "include/linux/time.h"
574struct timeval {
575 __kernel_time_t tv_sec ;
576 __kernel_suseconds_t tv_usec ;
577};
578#line 286 "include/linux/time.h"
579struct kstat {
580 u64 ino ;
581 dev_t dev ;
582 umode_t mode ;
583 unsigned int nlink ;
584 uid_t uid ;
585 gid_t gid ;
586 dev_t rdev ;
587 loff_t size ;
588 struct timespec atime ;
589 struct timespec mtime ;
590 struct timespec ctime ;
591 unsigned long blksize ;
592 unsigned long long blocks ;
593};
594#line 48 "include/linux/wait.h"
595struct __wait_queue_head {
596 spinlock_t lock ;
597 struct list_head task_list ;
598};
599#line 53 "include/linux/wait.h"
600typedef struct __wait_queue_head wait_queue_head_t;
601#line 98 "include/linux/nodemask.h"
602struct __anonstruct_nodemask_t_36 {
603 unsigned long bits[16U] ;
604};
605#line 98 "include/linux/nodemask.h"
606typedef struct __anonstruct_nodemask_t_36 nodemask_t;
607#line 670 "include/linux/mmzone.h"
608struct mutex {
609 atomic_t count ;
610 spinlock_t wait_lock ;
611 struct list_head wait_list ;
612 struct task_struct *owner ;
613 char const *name ;
614 void *magic ;
615 struct lockdep_map dep_map ;
616};
617#line 63 "include/linux/mutex.h"
618struct mutex_waiter {
619 struct list_head list ;
620 struct task_struct *task ;
621 void *magic ;
622};
623#line 171
624struct rw_semaphore;
625#line 171
626struct rw_semaphore;
627#line 172 "include/linux/mutex.h"
628struct rw_semaphore {
629 long count ;
630 raw_spinlock_t wait_lock ;
631 struct list_head wait_list ;
632 struct lockdep_map dep_map ;
633};
634#line 128 "include/linux/rwsem.h"
635struct completion {
636 unsigned int done ;
637 wait_queue_head_t wait ;
638};
639#line 312 "include/linux/jiffies.h"
640union ktime {
641 s64 tv64 ;
642};
643#line 59 "include/linux/ktime.h"
644typedef union ktime ktime_t;
645#line 341
646struct tvec_base;
647#line 341
648struct tvec_base;
649#line 342 "include/linux/ktime.h"
650struct timer_list {
651 struct list_head entry ;
652 unsigned long expires ;
653 struct tvec_base *base ;
654 void (*function)(unsigned long ) ;
655 unsigned long data ;
656 int slack ;
657 int start_pid ;
658 void *start_site ;
659 char start_comm[16U] ;
660 struct lockdep_map lockdep_map ;
661};
662#line 289 "include/linux/timer.h"
663struct hrtimer;
664#line 289
665struct hrtimer;
666#line 290
667enum hrtimer_restart;
668#line 302
669struct work_struct;
670#line 302
671struct work_struct;
672#line 45 "include/linux/workqueue.h"
673struct work_struct {
674 atomic_long_t data ;
675 struct list_head entry ;
676 void (*func)(struct work_struct * ) ;
677 struct lockdep_map lockdep_map ;
678};
679#line 86 "include/linux/workqueue.h"
680struct delayed_work {
681 struct work_struct work ;
682 struct timer_list timer ;
683};
684#line 46 "include/linux/pm.h"
685struct pm_message {
686 int event ;
687};
688#line 52 "include/linux/pm.h"
689typedef struct pm_message pm_message_t;
690#line 53 "include/linux/pm.h"
691struct dev_pm_ops {
692 int (*prepare)(struct device * ) ;
693 void (*complete)(struct device * ) ;
694 int (*suspend)(struct device * ) ;
695 int (*resume)(struct device * ) ;
696 int (*freeze)(struct device * ) ;
697 int (*thaw)(struct device * ) ;
698 int (*poweroff)(struct device * ) ;
699 int (*restore)(struct device * ) ;
700 int (*suspend_late)(struct device * ) ;
701 int (*resume_early)(struct device * ) ;
702 int (*freeze_late)(struct device * ) ;
703 int (*thaw_early)(struct device * ) ;
704 int (*poweroff_late)(struct device * ) ;
705 int (*restore_early)(struct device * ) ;
706 int (*suspend_noirq)(struct device * ) ;
707 int (*resume_noirq)(struct device * ) ;
708 int (*freeze_noirq)(struct device * ) ;
709 int (*thaw_noirq)(struct device * ) ;
710 int (*poweroff_noirq)(struct device * ) ;
711 int (*restore_noirq)(struct device * ) ;
712 int (*runtime_suspend)(struct device * ) ;
713 int (*runtime_resume)(struct device * ) ;
714 int (*runtime_idle)(struct device * ) ;
715};
716#line 289
717enum rpm_status {
718 RPM_ACTIVE = 0,
719 RPM_RESUMING = 1,
720 RPM_SUSPENDED = 2,
721 RPM_SUSPENDING = 3
722} ;
723#line 296
724enum rpm_request {
725 RPM_REQ_NONE = 0,
726 RPM_REQ_IDLE = 1,
727 RPM_REQ_SUSPEND = 2,
728 RPM_REQ_AUTOSUSPEND = 3,
729 RPM_REQ_RESUME = 4
730} ;
731#line 304
732struct wakeup_source;
733#line 304
734struct wakeup_source;
735#line 494 "include/linux/pm.h"
736struct pm_subsys_data {
737 spinlock_t lock ;
738 unsigned int refcount ;
739};
740#line 499
741struct dev_pm_qos_request;
742#line 499
743struct pm_qos_constraints;
744#line 499 "include/linux/pm.h"
745struct dev_pm_info {
746 pm_message_t power_state ;
747 unsigned char can_wakeup : 1 ;
748 unsigned char async_suspend : 1 ;
749 bool is_prepared ;
750 bool is_suspended ;
751 bool ignore_children ;
752 spinlock_t lock ;
753 struct list_head entry ;
754 struct completion completion ;
755 struct wakeup_source *wakeup ;
756 bool wakeup_path ;
757 struct timer_list suspend_timer ;
758 unsigned long timer_expires ;
759 struct work_struct work ;
760 wait_queue_head_t wait_queue ;
761 atomic_t usage_count ;
762 atomic_t child_count ;
763 unsigned char disable_depth : 3 ;
764 unsigned char idle_notification : 1 ;
765 unsigned char request_pending : 1 ;
766 unsigned char deferred_resume : 1 ;
767 unsigned char run_wake : 1 ;
768 unsigned char runtime_auto : 1 ;
769 unsigned char no_callbacks : 1 ;
770 unsigned char irq_safe : 1 ;
771 unsigned char use_autosuspend : 1 ;
772 unsigned char timer_autosuspends : 1 ;
773 enum rpm_request request ;
774 enum rpm_status runtime_status ;
775 int runtime_error ;
776 int autosuspend_delay ;
777 unsigned long last_busy ;
778 unsigned long active_jiffies ;
779 unsigned long suspended_jiffies ;
780 unsigned long accounting_timestamp ;
781 ktime_t suspend_time ;
782 s64 max_time_suspended_ns ;
783 struct dev_pm_qos_request *pq_req ;
784 struct pm_subsys_data *subsys_data ;
785 struct pm_qos_constraints *constraints ;
786};
787#line 558 "include/linux/pm.h"
788struct dev_pm_domain {
789 struct dev_pm_ops ops ;
790};
791#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
792struct __anonstruct_mm_context_t_101 {
793 void *ldt ;
794 int size ;
795 unsigned short ia32_compat ;
796 struct mutex lock ;
797 void *vdso ;
798};
799#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
800typedef struct __anonstruct_mm_context_t_101 mm_context_t;
801#line 18 "include/asm-generic/pci_iomap.h"
802struct vm_area_struct;
803#line 18
804struct vm_area_struct;
805#line 835 "include/linux/sysctl.h"
806struct rb_node {
807 unsigned long rb_parent_color ;
808 struct rb_node *rb_right ;
809 struct rb_node *rb_left ;
810};
811#line 108 "include/linux/rbtree.h"
812struct rb_root {
813 struct rb_node *rb_node ;
814};
815#line 176
816struct nsproxy;
817#line 176
818struct nsproxy;
819#line 37 "include/linux/kmod.h"
820struct cred;
821#line 37
822struct cred;
823#line 18 "include/linux/elf.h"
824typedef __u64 Elf64_Addr;
825#line 19 "include/linux/elf.h"
826typedef __u16 Elf64_Half;
827#line 23 "include/linux/elf.h"
828typedef __u32 Elf64_Word;
829#line 24 "include/linux/elf.h"
830typedef __u64 Elf64_Xword;
831#line 193 "include/linux/elf.h"
832struct elf64_sym {
833 Elf64_Word st_name ;
834 unsigned char st_info ;
835 unsigned char st_other ;
836 Elf64_Half st_shndx ;
837 Elf64_Addr st_value ;
838 Elf64_Xword st_size ;
839};
840#line 201 "include/linux/elf.h"
841typedef struct elf64_sym Elf64_Sym;
842#line 445
843struct sock;
844#line 445
845struct sock;
846#line 446
847struct kobject;
848#line 446
849struct kobject;
850#line 447
851enum kobj_ns_type {
852 KOBJ_NS_TYPE_NONE = 0,
853 KOBJ_NS_TYPE_NET = 1,
854 KOBJ_NS_TYPES = 2
855} ;
856#line 453 "include/linux/elf.h"
857struct kobj_ns_type_operations {
858 enum kobj_ns_type type ;
859 void *(*grab_current_ns)(void) ;
860 void const *(*netlink_ns)(struct sock * ) ;
861 void const *(*initial_ns)(void) ;
862 void (*drop_ns)(void * ) ;
863};
864#line 57 "include/linux/kobject_ns.h"
865struct attribute {
866 char const *name ;
867 umode_t mode ;
868 struct lock_class_key *key ;
869 struct lock_class_key skey ;
870};
871#line 33 "include/linux/sysfs.h"
872struct attribute_group {
873 char const *name ;
874 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
875 struct attribute **attrs ;
876};
877#line 62 "include/linux/sysfs.h"
878struct bin_attribute {
879 struct attribute attr ;
880 size_t size ;
881 void *private ;
882 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
883 loff_t , size_t ) ;
884 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
885 loff_t , size_t ) ;
886 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
887};
888#line 98 "include/linux/sysfs.h"
889struct sysfs_ops {
890 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
891 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
892 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
893};
894#line 117
895struct sysfs_dirent;
896#line 117
897struct sysfs_dirent;
898#line 182 "include/linux/sysfs.h"
899struct kref {
900 atomic_t refcount ;
901};
902#line 49 "include/linux/kobject.h"
903struct kset;
904#line 49
905struct kobj_type;
906#line 49 "include/linux/kobject.h"
907struct kobject {
908 char const *name ;
909 struct list_head entry ;
910 struct kobject *parent ;
911 struct kset *kset ;
912 struct kobj_type *ktype ;
913 struct sysfs_dirent *sd ;
914 struct kref kref ;
915 unsigned char state_initialized : 1 ;
916 unsigned char state_in_sysfs : 1 ;
917 unsigned char state_add_uevent_sent : 1 ;
918 unsigned char state_remove_uevent_sent : 1 ;
919 unsigned char uevent_suppress : 1 ;
920};
921#line 107 "include/linux/kobject.h"
922struct kobj_type {
923 void (*release)(struct kobject * ) ;
924 struct sysfs_ops const *sysfs_ops ;
925 struct attribute **default_attrs ;
926 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
927 void const *(*namespace)(struct kobject * ) ;
928};
929#line 115 "include/linux/kobject.h"
930struct kobj_uevent_env {
931 char *envp[32U] ;
932 int envp_idx ;
933 char buf[2048U] ;
934 int buflen ;
935};
936#line 122 "include/linux/kobject.h"
937struct kset_uevent_ops {
938 int (* const filter)(struct kset * , struct kobject * ) ;
939 char const *(* const name)(struct kset * , struct kobject * ) ;
940 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
941};
942#line 139 "include/linux/kobject.h"
943struct kset {
944 struct list_head list ;
945 spinlock_t list_lock ;
946 struct kobject kobj ;
947 struct kset_uevent_ops const *uevent_ops ;
948};
949#line 215
950struct kernel_param;
951#line 215
952struct kernel_param;
953#line 216 "include/linux/kobject.h"
954struct kernel_param_ops {
955 int (*set)(char const * , struct kernel_param const * ) ;
956 int (*get)(char * , struct kernel_param const * ) ;
957 void (*free)(void * ) ;
958};
959#line 49 "include/linux/moduleparam.h"
960struct kparam_string;
961#line 49
962struct kparam_array;
963#line 49 "include/linux/moduleparam.h"
964union __anonunion_ldv_13363_134 {
965 void *arg ;
966 struct kparam_string const *str ;
967 struct kparam_array const *arr ;
968};
969#line 49 "include/linux/moduleparam.h"
970struct kernel_param {
971 char const *name ;
972 struct kernel_param_ops const *ops ;
973 u16 perm ;
974 s16 level ;
975 union __anonunion_ldv_13363_134 ldv_13363 ;
976};
977#line 61 "include/linux/moduleparam.h"
978struct kparam_string {
979 unsigned int maxlen ;
980 char *string ;
981};
982#line 67 "include/linux/moduleparam.h"
983struct kparam_array {
984 unsigned int max ;
985 unsigned int elemsize ;
986 unsigned int *num ;
987 struct kernel_param_ops const *ops ;
988 void *elem ;
989};
990#line 458 "include/linux/moduleparam.h"
991struct static_key {
992 atomic_t enabled ;
993};
994#line 225 "include/linux/jump_label.h"
995struct tracepoint;
996#line 225
997struct tracepoint;
998#line 226 "include/linux/jump_label.h"
999struct tracepoint_func {
1000 void *func ;
1001 void *data ;
1002};
1003#line 29 "include/linux/tracepoint.h"
1004struct tracepoint {
1005 char const *name ;
1006 struct static_key key ;
1007 void (*regfunc)(void) ;
1008 void (*unregfunc)(void) ;
1009 struct tracepoint_func *funcs ;
1010};
1011#line 86 "include/linux/tracepoint.h"
1012struct kernel_symbol {
1013 unsigned long value ;
1014 char const *name ;
1015};
1016#line 27 "include/linux/export.h"
1017struct mod_arch_specific {
1018
1019};
1020#line 34 "include/linux/module.h"
1021struct module_param_attrs;
1022#line 34 "include/linux/module.h"
1023struct module_kobject {
1024 struct kobject kobj ;
1025 struct module *mod ;
1026 struct kobject *drivers_dir ;
1027 struct module_param_attrs *mp ;
1028};
1029#line 43 "include/linux/module.h"
1030struct module_attribute {
1031 struct attribute attr ;
1032 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1033 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1034 size_t ) ;
1035 void (*setup)(struct module * , char const * ) ;
1036 int (*test)(struct module * ) ;
1037 void (*free)(struct module * ) ;
1038};
1039#line 69
1040struct exception_table_entry;
1041#line 69
1042struct exception_table_entry;
1043#line 198
1044enum module_state {
1045 MODULE_STATE_LIVE = 0,
1046 MODULE_STATE_COMING = 1,
1047 MODULE_STATE_GOING = 2
1048} ;
1049#line 204 "include/linux/module.h"
1050struct module_ref {
1051 unsigned long incs ;
1052 unsigned long decs ;
1053};
1054#line 219
1055struct module_sect_attrs;
1056#line 219
1057struct module_notes_attrs;
1058#line 219
1059struct ftrace_event_call;
1060#line 219 "include/linux/module.h"
1061struct module {
1062 enum module_state state ;
1063 struct list_head list ;
1064 char name[56U] ;
1065 struct module_kobject mkobj ;
1066 struct module_attribute *modinfo_attrs ;
1067 char const *version ;
1068 char const *srcversion ;
1069 struct kobject *holders_dir ;
1070 struct kernel_symbol const *syms ;
1071 unsigned long const *crcs ;
1072 unsigned int num_syms ;
1073 struct kernel_param *kp ;
1074 unsigned int num_kp ;
1075 unsigned int num_gpl_syms ;
1076 struct kernel_symbol const *gpl_syms ;
1077 unsigned long const *gpl_crcs ;
1078 struct kernel_symbol const *unused_syms ;
1079 unsigned long const *unused_crcs ;
1080 unsigned int num_unused_syms ;
1081 unsigned int num_unused_gpl_syms ;
1082 struct kernel_symbol const *unused_gpl_syms ;
1083 unsigned long const *unused_gpl_crcs ;
1084 struct kernel_symbol const *gpl_future_syms ;
1085 unsigned long const *gpl_future_crcs ;
1086 unsigned int num_gpl_future_syms ;
1087 unsigned int num_exentries ;
1088 struct exception_table_entry *extable ;
1089 int (*init)(void) ;
1090 void *module_init ;
1091 void *module_core ;
1092 unsigned int init_size ;
1093 unsigned int core_size ;
1094 unsigned int init_text_size ;
1095 unsigned int core_text_size ;
1096 unsigned int init_ro_size ;
1097 unsigned int core_ro_size ;
1098 struct mod_arch_specific arch ;
1099 unsigned int taints ;
1100 unsigned int num_bugs ;
1101 struct list_head bug_list ;
1102 struct bug_entry *bug_table ;
1103 Elf64_Sym *symtab ;
1104 Elf64_Sym *core_symtab ;
1105 unsigned int num_symtab ;
1106 unsigned int core_num_syms ;
1107 char *strtab ;
1108 char *core_strtab ;
1109 struct module_sect_attrs *sect_attrs ;
1110 struct module_notes_attrs *notes_attrs ;
1111 char *args ;
1112 void *percpu ;
1113 unsigned int percpu_size ;
1114 unsigned int num_tracepoints ;
1115 struct tracepoint * const *tracepoints_ptrs ;
1116 unsigned int num_trace_bprintk_fmt ;
1117 char const **trace_bprintk_fmt_start ;
1118 struct ftrace_event_call **trace_events ;
1119 unsigned int num_trace_events ;
1120 struct list_head source_list ;
1121 struct list_head target_list ;
1122 struct task_struct *waiter ;
1123 void (*exit)(void) ;
1124 struct module_ref *refptr ;
1125 ctor_fn_t (**ctors)(void) ;
1126 unsigned int num_ctors ;
1127};
1128#line 88 "include/linux/kmemleak.h"
1129struct kmem_cache_cpu {
1130 void **freelist ;
1131 unsigned long tid ;
1132 struct page *page ;
1133 struct page *partial ;
1134 int node ;
1135 unsigned int stat[26U] ;
1136};
1137#line 55 "include/linux/slub_def.h"
1138struct kmem_cache_node {
1139 spinlock_t list_lock ;
1140 unsigned long nr_partial ;
1141 struct list_head partial ;
1142 atomic_long_t nr_slabs ;
1143 atomic_long_t total_objects ;
1144 struct list_head full ;
1145};
1146#line 66 "include/linux/slub_def.h"
1147struct kmem_cache_order_objects {
1148 unsigned long x ;
1149};
1150#line 76 "include/linux/slub_def.h"
1151struct kmem_cache {
1152 struct kmem_cache_cpu *cpu_slab ;
1153 unsigned long flags ;
1154 unsigned long min_partial ;
1155 int size ;
1156 int objsize ;
1157 int offset ;
1158 int cpu_partial ;
1159 struct kmem_cache_order_objects oo ;
1160 struct kmem_cache_order_objects max ;
1161 struct kmem_cache_order_objects min ;
1162 gfp_t allocflags ;
1163 int refcount ;
1164 void (*ctor)(void * ) ;
1165 int inuse ;
1166 int align ;
1167 int reserved ;
1168 char const *name ;
1169 struct list_head list ;
1170 struct kobject kobj ;
1171 int remote_node_defrag_ratio ;
1172 struct kmem_cache_node *node[1024U] ;
1173};
1174#line 32 "include/linux/input.h"
1175struct input_id {
1176 __u16 bustype ;
1177 __u16 vendor ;
1178 __u16 product ;
1179 __u16 version ;
1180};
1181#line 49 "include/linux/input.h"
1182struct input_absinfo {
1183 __s32 value ;
1184 __s32 minimum ;
1185 __s32 maximum ;
1186 __s32 fuzz ;
1187 __s32 flat ;
1188 __s32 resolution ;
1189};
1190#line 77 "include/linux/input.h"
1191struct input_keymap_entry {
1192 __u8 flags ;
1193 __u8 len ;
1194 __u16 index ;
1195 __u32 keycode ;
1196 __u8 scancode[32U] ;
1197};
1198#line 101 "include/linux/input.h"
1199struct ff_replay {
1200 __u16 length ;
1201 __u16 delay ;
1202};
1203#line 961 "include/linux/input.h"
1204struct ff_trigger {
1205 __u16 button ;
1206 __u16 interval ;
1207};
1208#line 971 "include/linux/input.h"
1209struct ff_envelope {
1210 __u16 attack_length ;
1211 __u16 attack_level ;
1212 __u16 fade_length ;
1213 __u16 fade_level ;
1214};
1215#line 990 "include/linux/input.h"
1216struct ff_constant_effect {
1217 __s16 level ;
1218 struct ff_envelope envelope ;
1219};
1220#line 1000 "include/linux/input.h"
1221struct ff_ramp_effect {
1222 __s16 start_level ;
1223 __s16 end_level ;
1224 struct ff_envelope envelope ;
1225};
1226#line 1012 "include/linux/input.h"
1227struct ff_condition_effect {
1228 __u16 right_saturation ;
1229 __u16 left_saturation ;
1230 __s16 right_coeff ;
1231 __s16 left_coeff ;
1232 __u16 deadband ;
1233 __s16 center ;
1234};
1235#line 1033 "include/linux/input.h"
1236struct ff_periodic_effect {
1237 __u16 waveform ;
1238 __u16 period ;
1239 __s16 magnitude ;
1240 __s16 offset ;
1241 __u16 phase ;
1242 struct ff_envelope envelope ;
1243 __u32 custom_len ;
1244 __s16 *custom_data ;
1245};
1246#line 1064 "include/linux/input.h"
1247struct ff_rumble_effect {
1248 __u16 strong_magnitude ;
1249 __u16 weak_magnitude ;
1250};
1251#line 1077 "include/linux/input.h"
1252union __anonunion_u_135 {
1253 struct ff_constant_effect constant ;
1254 struct ff_ramp_effect ramp ;
1255 struct ff_periodic_effect periodic ;
1256 struct ff_condition_effect condition[2U] ;
1257 struct ff_rumble_effect rumble ;
1258};
1259#line 1077 "include/linux/input.h"
1260struct ff_effect {
1261 __u16 type ;
1262 __s16 id ;
1263 __u16 direction ;
1264 struct ff_trigger trigger ;
1265 struct ff_replay replay ;
1266 union __anonunion_u_135 u ;
1267};
1268#line 1116
1269struct klist_node;
1270#line 1116
1271struct klist_node;
1272#line 37 "include/linux/klist.h"
1273struct klist_node {
1274 void *n_klist ;
1275 struct list_head n_node ;
1276 struct kref n_ref ;
1277};
1278#line 67
1279struct dma_map_ops;
1280#line 67 "include/linux/klist.h"
1281struct dev_archdata {
1282 void *acpi_handle ;
1283 struct dma_map_ops *dma_ops ;
1284 void *iommu ;
1285};
1286#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1287struct device_private;
1288#line 17
1289struct device_private;
1290#line 18
1291struct device_driver;
1292#line 18
1293struct device_driver;
1294#line 19
1295struct driver_private;
1296#line 19
1297struct driver_private;
1298#line 20
1299struct class;
1300#line 20
1301struct class;
1302#line 21
1303struct subsys_private;
1304#line 21
1305struct subsys_private;
1306#line 22
1307struct bus_type;
1308#line 22
1309struct bus_type;
1310#line 23
1311struct device_node;
1312#line 23
1313struct device_node;
1314#line 24
1315struct iommu_ops;
1316#line 24
1317struct iommu_ops;
1318#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1319struct bus_attribute {
1320 struct attribute attr ;
1321 ssize_t (*show)(struct bus_type * , char * ) ;
1322 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
1323};
1324#line 51 "include/linux/device.h"
1325struct device_attribute;
1326#line 51
1327struct driver_attribute;
1328#line 51 "include/linux/device.h"
1329struct bus_type {
1330 char const *name ;
1331 char const *dev_name ;
1332 struct device *dev_root ;
1333 struct bus_attribute *bus_attrs ;
1334 struct device_attribute *dev_attrs ;
1335 struct driver_attribute *drv_attrs ;
1336 int (*match)(struct device * , struct device_driver * ) ;
1337 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1338 int (*probe)(struct device * ) ;
1339 int (*remove)(struct device * ) ;
1340 void (*shutdown)(struct device * ) ;
1341 int (*suspend)(struct device * , pm_message_t ) ;
1342 int (*resume)(struct device * ) ;
1343 struct dev_pm_ops const *pm ;
1344 struct iommu_ops *iommu_ops ;
1345 struct subsys_private *p ;
1346};
1347#line 125
1348struct device_type;
1349#line 182
1350struct of_device_id;
1351#line 182 "include/linux/device.h"
1352struct device_driver {
1353 char const *name ;
1354 struct bus_type *bus ;
1355 struct module *owner ;
1356 char const *mod_name ;
1357 bool suppress_bind_attrs ;
1358 struct of_device_id const *of_match_table ;
1359 int (*probe)(struct device * ) ;
1360 int (*remove)(struct device * ) ;
1361 void (*shutdown)(struct device * ) ;
1362 int (*suspend)(struct device * , pm_message_t ) ;
1363 int (*resume)(struct device * ) ;
1364 struct attribute_group const **groups ;
1365 struct dev_pm_ops const *pm ;
1366 struct driver_private *p ;
1367};
1368#line 245 "include/linux/device.h"
1369struct driver_attribute {
1370 struct attribute attr ;
1371 ssize_t (*show)(struct device_driver * , char * ) ;
1372 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
1373};
1374#line 299
1375struct class_attribute;
1376#line 299 "include/linux/device.h"
1377struct class {
1378 char const *name ;
1379 struct module *owner ;
1380 struct class_attribute *class_attrs ;
1381 struct device_attribute *dev_attrs ;
1382 struct bin_attribute *dev_bin_attrs ;
1383 struct kobject *dev_kobj ;
1384 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1385 char *(*devnode)(struct device * , umode_t * ) ;
1386 void (*class_release)(struct class * ) ;
1387 void (*dev_release)(struct device * ) ;
1388 int (*suspend)(struct device * , pm_message_t ) ;
1389 int (*resume)(struct device * ) ;
1390 struct kobj_ns_type_operations const *ns_type ;
1391 void const *(*namespace)(struct device * ) ;
1392 struct dev_pm_ops const *pm ;
1393 struct subsys_private *p ;
1394};
1395#line 394 "include/linux/device.h"
1396struct class_attribute {
1397 struct attribute attr ;
1398 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1399 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
1400 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
1401};
1402#line 447 "include/linux/device.h"
1403struct device_type {
1404 char const *name ;
1405 struct attribute_group const **groups ;
1406 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1407 char *(*devnode)(struct device * , umode_t * ) ;
1408 void (*release)(struct device * ) ;
1409 struct dev_pm_ops const *pm ;
1410};
1411#line 474 "include/linux/device.h"
1412struct device_attribute {
1413 struct attribute attr ;
1414 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1415 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
1416 size_t ) ;
1417};
1418#line 557 "include/linux/device.h"
1419struct device_dma_parameters {
1420 unsigned int max_segment_size ;
1421 unsigned long segment_boundary_mask ;
1422};
1423#line 567
1424struct dma_coherent_mem;
1425#line 567 "include/linux/device.h"
1426struct device {
1427 struct device *parent ;
1428 struct device_private *p ;
1429 struct kobject kobj ;
1430 char const *init_name ;
1431 struct device_type const *type ;
1432 struct mutex mutex ;
1433 struct bus_type *bus ;
1434 struct device_driver *driver ;
1435 void *platform_data ;
1436 struct dev_pm_info power ;
1437 struct dev_pm_domain *pm_domain ;
1438 int numa_node ;
1439 u64 *dma_mask ;
1440 u64 coherent_dma_mask ;
1441 struct device_dma_parameters *dma_parms ;
1442 struct list_head dma_pools ;
1443 struct dma_coherent_mem *dma_mem ;
1444 struct dev_archdata archdata ;
1445 struct device_node *of_node ;
1446 dev_t devt ;
1447 u32 id ;
1448 spinlock_t devres_lock ;
1449 struct list_head devres_head ;
1450 struct klist_node knode_class ;
1451 struct class *class ;
1452 struct attribute_group const **groups ;
1453 void (*release)(struct device * ) ;
1454};
1455#line 681 "include/linux/device.h"
1456struct wakeup_source {
1457 char const *name ;
1458 struct list_head entry ;
1459 spinlock_t lock ;
1460 struct timer_list timer ;
1461 unsigned long timer_expires ;
1462 ktime_t total_time ;
1463 ktime_t max_time ;
1464 ktime_t last_time ;
1465 unsigned long event_count ;
1466 unsigned long active_count ;
1467 unsigned long relax_count ;
1468 unsigned long hit_count ;
1469 unsigned char active : 1 ;
1470};
1471#line 994
1472struct block_device;
1473#line 994
1474struct block_device;
1475#line 93 "include/linux/bit_spinlock.h"
1476struct hlist_bl_node;
1477#line 93 "include/linux/bit_spinlock.h"
1478struct hlist_bl_head {
1479 struct hlist_bl_node *first ;
1480};
1481#line 36 "include/linux/list_bl.h"
1482struct hlist_bl_node {
1483 struct hlist_bl_node *next ;
1484 struct hlist_bl_node **pprev ;
1485};
1486#line 114 "include/linux/rculist_bl.h"
1487struct nameidata;
1488#line 114
1489struct nameidata;
1490#line 115
1491struct path;
1492#line 115
1493struct path;
1494#line 116
1495struct vfsmount;
1496#line 116
1497struct vfsmount;
1498#line 117 "include/linux/rculist_bl.h"
1499struct qstr {
1500 unsigned int hash ;
1501 unsigned int len ;
1502 unsigned char const *name ;
1503};
1504#line 72 "include/linux/dcache.h"
1505struct inode;
1506#line 72
1507struct dentry_operations;
1508#line 72
1509struct super_block;
1510#line 72 "include/linux/dcache.h"
1511union __anonunion_d_u_136 {
1512 struct list_head d_child ;
1513 struct rcu_head d_rcu ;
1514};
1515#line 72 "include/linux/dcache.h"
1516struct dentry {
1517 unsigned int d_flags ;
1518 seqcount_t d_seq ;
1519 struct hlist_bl_node d_hash ;
1520 struct dentry *d_parent ;
1521 struct qstr d_name ;
1522 struct inode *d_inode ;
1523 unsigned char d_iname[32U] ;
1524 unsigned int d_count ;
1525 spinlock_t d_lock ;
1526 struct dentry_operations const *d_op ;
1527 struct super_block *d_sb ;
1528 unsigned long d_time ;
1529 void *d_fsdata ;
1530 struct list_head d_lru ;
1531 union __anonunion_d_u_136 d_u ;
1532 struct list_head d_subdirs ;
1533 struct list_head d_alias ;
1534};
1535#line 123 "include/linux/dcache.h"
1536struct dentry_operations {
1537 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1538 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1539 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1540 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1541 int (*d_delete)(struct dentry const * ) ;
1542 void (*d_release)(struct dentry * ) ;
1543 void (*d_prune)(struct dentry * ) ;
1544 void (*d_iput)(struct dentry * , struct inode * ) ;
1545 char *(*d_dname)(struct dentry * , char * , int ) ;
1546 struct vfsmount *(*d_automount)(struct path * ) ;
1547 int (*d_manage)(struct dentry * , bool ) ;
1548};
1549#line 402 "include/linux/dcache.h"
1550struct path {
1551 struct vfsmount *mnt ;
1552 struct dentry *dentry ;
1553};
1554#line 58 "include/linux/radix-tree.h"
1555struct radix_tree_node;
1556#line 58 "include/linux/radix-tree.h"
1557struct radix_tree_root {
1558 unsigned int height ;
1559 gfp_t gfp_mask ;
1560 struct radix_tree_node *rnode ;
1561};
1562#line 377
1563struct prio_tree_node;
1564#line 377 "include/linux/radix-tree.h"
1565struct raw_prio_tree_node {
1566 struct prio_tree_node *left ;
1567 struct prio_tree_node *right ;
1568 struct prio_tree_node *parent ;
1569};
1570#line 19 "include/linux/prio_tree.h"
1571struct prio_tree_node {
1572 struct prio_tree_node *left ;
1573 struct prio_tree_node *right ;
1574 struct prio_tree_node *parent ;
1575 unsigned long start ;
1576 unsigned long last ;
1577};
1578#line 27 "include/linux/prio_tree.h"
1579struct prio_tree_root {
1580 struct prio_tree_node *prio_tree_node ;
1581 unsigned short index_bits ;
1582 unsigned short raw ;
1583};
1584#line 111
1585enum pid_type {
1586 PIDTYPE_PID = 0,
1587 PIDTYPE_PGID = 1,
1588 PIDTYPE_SID = 2,
1589 PIDTYPE_MAX = 3
1590} ;
1591#line 118
1592struct pid_namespace;
1593#line 118 "include/linux/prio_tree.h"
1594struct upid {
1595 int nr ;
1596 struct pid_namespace *ns ;
1597 struct hlist_node pid_chain ;
1598};
1599#line 56 "include/linux/pid.h"
1600struct pid {
1601 atomic_t count ;
1602 unsigned int level ;
1603 struct hlist_head tasks[3U] ;
1604 struct rcu_head rcu ;
1605 struct upid numbers[1U] ;
1606};
1607#line 68 "include/linux/pid.h"
1608struct pid_link {
1609 struct hlist_node node ;
1610 struct pid *pid ;
1611};
1612#line 93 "include/linux/capability.h"
1613struct kernel_cap_struct {
1614 __u32 cap[2U] ;
1615};
1616#line 96 "include/linux/capability.h"
1617typedef struct kernel_cap_struct kernel_cap_t;
1618#line 104
1619struct user_namespace;
1620#line 104
1621struct user_namespace;
1622#line 45 "include/linux/semaphore.h"
1623struct fiemap_extent {
1624 __u64 fe_logical ;
1625 __u64 fe_physical ;
1626 __u64 fe_length ;
1627 __u64 fe_reserved64[2U] ;
1628 __u32 fe_flags ;
1629 __u32 fe_reserved[3U] ;
1630};
1631#line 38 "include/linux/fiemap.h"
1632struct shrink_control {
1633 gfp_t gfp_mask ;
1634 unsigned long nr_to_scan ;
1635};
1636#line 14 "include/linux/shrinker.h"
1637struct shrinker {
1638 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
1639 int seeks ;
1640 long batch ;
1641 struct list_head list ;
1642 atomic_long_t nr_in_batch ;
1643};
1644#line 43
1645enum migrate_mode {
1646 MIGRATE_ASYNC = 0,
1647 MIGRATE_SYNC_LIGHT = 1,
1648 MIGRATE_SYNC = 2
1649} ;
1650#line 49
1651struct export_operations;
1652#line 49
1653struct export_operations;
1654#line 51
1655struct iovec;
1656#line 51
1657struct iovec;
1658#line 52
1659struct kiocb;
1660#line 52
1661struct kiocb;
1662#line 53
1663struct pipe_inode_info;
1664#line 53
1665struct pipe_inode_info;
1666#line 54
1667struct poll_table_struct;
1668#line 54
1669struct poll_table_struct;
1670#line 55
1671struct kstatfs;
1672#line 55
1673struct kstatfs;
1674#line 435 "include/linux/fs.h"
1675struct iattr {
1676 unsigned int ia_valid ;
1677 umode_t ia_mode ;
1678 uid_t ia_uid ;
1679 gid_t ia_gid ;
1680 loff_t ia_size ;
1681 struct timespec ia_atime ;
1682 struct timespec ia_mtime ;
1683 struct timespec ia_ctime ;
1684 struct file *ia_file ;
1685};
1686#line 119 "include/linux/quota.h"
1687struct if_dqinfo {
1688 __u64 dqi_bgrace ;
1689 __u64 dqi_igrace ;
1690 __u32 dqi_flags ;
1691 __u32 dqi_valid ;
1692};
1693#line 176 "include/linux/percpu_counter.h"
1694struct fs_disk_quota {
1695 __s8 d_version ;
1696 __s8 d_flags ;
1697 __u16 d_fieldmask ;
1698 __u32 d_id ;
1699 __u64 d_blk_hardlimit ;
1700 __u64 d_blk_softlimit ;
1701 __u64 d_ino_hardlimit ;
1702 __u64 d_ino_softlimit ;
1703 __u64 d_bcount ;
1704 __u64 d_icount ;
1705 __s32 d_itimer ;
1706 __s32 d_btimer ;
1707 __u16 d_iwarns ;
1708 __u16 d_bwarns ;
1709 __s32 d_padding2 ;
1710 __u64 d_rtb_hardlimit ;
1711 __u64 d_rtb_softlimit ;
1712 __u64 d_rtbcount ;
1713 __s32 d_rtbtimer ;
1714 __u16 d_rtbwarns ;
1715 __s16 d_padding3 ;
1716 char d_padding4[8U] ;
1717};
1718#line 75 "include/linux/dqblk_xfs.h"
1719struct fs_qfilestat {
1720 __u64 qfs_ino ;
1721 __u64 qfs_nblks ;
1722 __u32 qfs_nextents ;
1723};
1724#line 150 "include/linux/dqblk_xfs.h"
1725typedef struct fs_qfilestat fs_qfilestat_t;
1726#line 151 "include/linux/dqblk_xfs.h"
1727struct fs_quota_stat {
1728 __s8 qs_version ;
1729 __u16 qs_flags ;
1730 __s8 qs_pad ;
1731 fs_qfilestat_t qs_uquota ;
1732 fs_qfilestat_t qs_gquota ;
1733 __u32 qs_incoredqs ;
1734 __s32 qs_btimelimit ;
1735 __s32 qs_itimelimit ;
1736 __s32 qs_rtbtimelimit ;
1737 __u16 qs_bwarnlimit ;
1738 __u16 qs_iwarnlimit ;
1739};
1740#line 165
1741struct dquot;
1742#line 165
1743struct dquot;
1744#line 185 "include/linux/quota.h"
1745typedef __kernel_uid32_t qid_t;
1746#line 186 "include/linux/quota.h"
1747typedef long long qsize_t;
1748#line 189 "include/linux/quota.h"
1749struct mem_dqblk {
1750 qsize_t dqb_bhardlimit ;
1751 qsize_t dqb_bsoftlimit ;
1752 qsize_t dqb_curspace ;
1753 qsize_t dqb_rsvspace ;
1754 qsize_t dqb_ihardlimit ;
1755 qsize_t dqb_isoftlimit ;
1756 qsize_t dqb_curinodes ;
1757 time_t dqb_btime ;
1758 time_t dqb_itime ;
1759};
1760#line 211
1761struct quota_format_type;
1762#line 211
1763struct quota_format_type;
1764#line 212 "include/linux/quota.h"
1765struct mem_dqinfo {
1766 struct quota_format_type *dqi_format ;
1767 int dqi_fmt_id ;
1768 struct list_head dqi_dirty_list ;
1769 unsigned long dqi_flags ;
1770 unsigned int dqi_bgrace ;
1771 unsigned int dqi_igrace ;
1772 qsize_t dqi_maxblimit ;
1773 qsize_t dqi_maxilimit ;
1774 void *dqi_priv ;
1775};
1776#line 275 "include/linux/quota.h"
1777struct dquot {
1778 struct hlist_node dq_hash ;
1779 struct list_head dq_inuse ;
1780 struct list_head dq_free ;
1781 struct list_head dq_dirty ;
1782 struct mutex dq_lock ;
1783 atomic_t dq_count ;
1784 wait_queue_head_t dq_wait_unused ;
1785 struct super_block *dq_sb ;
1786 unsigned int dq_id ;
1787 loff_t dq_off ;
1788 unsigned long dq_flags ;
1789 short dq_type ;
1790 struct mem_dqblk dq_dqb ;
1791};
1792#line 303 "include/linux/quota.h"
1793struct quota_format_ops {
1794 int (*check_quota_file)(struct super_block * , int ) ;
1795 int (*read_file_info)(struct super_block * , int ) ;
1796 int (*write_file_info)(struct super_block * , int ) ;
1797 int (*free_file_info)(struct super_block * , int ) ;
1798 int (*read_dqblk)(struct dquot * ) ;
1799 int (*commit_dqblk)(struct dquot * ) ;
1800 int (*release_dqblk)(struct dquot * ) ;
1801};
1802#line 314 "include/linux/quota.h"
1803struct dquot_operations {
1804 int (*write_dquot)(struct dquot * ) ;
1805 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1806 void (*destroy_dquot)(struct dquot * ) ;
1807 int (*acquire_dquot)(struct dquot * ) ;
1808 int (*release_dquot)(struct dquot * ) ;
1809 int (*mark_dirty)(struct dquot * ) ;
1810 int (*write_info)(struct super_block * , int ) ;
1811 qsize_t *(*get_reserved_space)(struct inode * ) ;
1812};
1813#line 328 "include/linux/quota.h"
1814struct quotactl_ops {
1815 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1816 int (*quota_on_meta)(struct super_block * , int , int ) ;
1817 int (*quota_off)(struct super_block * , int ) ;
1818 int (*quota_sync)(struct super_block * , int , int ) ;
1819 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1820 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1821 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1822 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1823 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1824 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1825};
1826#line 344 "include/linux/quota.h"
1827struct quota_format_type {
1828 int qf_fmt_id ;
1829 struct quota_format_ops const *qf_ops ;
1830 struct module *qf_owner ;
1831 struct quota_format_type *qf_next ;
1832};
1833#line 390 "include/linux/quota.h"
1834struct quota_info {
1835 unsigned int flags ;
1836 struct mutex dqio_mutex ;
1837 struct mutex dqonoff_mutex ;
1838 struct rw_semaphore dqptr_sem ;
1839 struct inode *files[2U] ;
1840 struct mem_dqinfo info[2U] ;
1841 struct quota_format_ops const *ops[2U] ;
1842};
1843#line 421
1844struct address_space;
1845#line 421
1846struct address_space;
1847#line 422
1848struct writeback_control;
1849#line 422
1850struct writeback_control;
1851#line 585 "include/linux/fs.h"
1852union __anonunion_arg_139 {
1853 char *buf ;
1854 void *data ;
1855};
1856#line 585 "include/linux/fs.h"
1857struct __anonstruct_read_descriptor_t_138 {
1858 size_t written ;
1859 size_t count ;
1860 union __anonunion_arg_139 arg ;
1861 int error ;
1862};
1863#line 585 "include/linux/fs.h"
1864typedef struct __anonstruct_read_descriptor_t_138 read_descriptor_t;
1865#line 588 "include/linux/fs.h"
1866struct address_space_operations {
1867 int (*writepage)(struct page * , struct writeback_control * ) ;
1868 int (*readpage)(struct file * , struct page * ) ;
1869 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1870 int (*set_page_dirty)(struct page * ) ;
1871 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
1872 unsigned int ) ;
1873 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
1874 unsigned int , struct page ** , void ** ) ;
1875 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
1876 unsigned int , struct page * , void * ) ;
1877 sector_t (*bmap)(struct address_space * , sector_t ) ;
1878 void (*invalidatepage)(struct page * , unsigned long ) ;
1879 int (*releasepage)(struct page * , gfp_t ) ;
1880 void (*freepage)(struct page * ) ;
1881 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
1882 unsigned long ) ;
1883 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1884 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1885 int (*launder_page)(struct page * ) ;
1886 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1887 int (*error_remove_page)(struct address_space * , struct page * ) ;
1888};
1889#line 642
1890struct backing_dev_info;
1891#line 642
1892struct backing_dev_info;
1893#line 643 "include/linux/fs.h"
1894struct address_space {
1895 struct inode *host ;
1896 struct radix_tree_root page_tree ;
1897 spinlock_t tree_lock ;
1898 unsigned int i_mmap_writable ;
1899 struct prio_tree_root i_mmap ;
1900 struct list_head i_mmap_nonlinear ;
1901 struct mutex i_mmap_mutex ;
1902 unsigned long nrpages ;
1903 unsigned long writeback_index ;
1904 struct address_space_operations const *a_ops ;
1905 unsigned long flags ;
1906 struct backing_dev_info *backing_dev_info ;
1907 spinlock_t private_lock ;
1908 struct list_head private_list ;
1909 struct address_space *assoc_mapping ;
1910};
1911#line 664
1912struct request_queue;
1913#line 664
1914struct request_queue;
1915#line 665
1916struct hd_struct;
1917#line 665
1918struct gendisk;
1919#line 665 "include/linux/fs.h"
1920struct block_device {
1921 dev_t bd_dev ;
1922 int bd_openers ;
1923 struct inode *bd_inode ;
1924 struct super_block *bd_super ;
1925 struct mutex bd_mutex ;
1926 struct list_head bd_inodes ;
1927 void *bd_claiming ;
1928 void *bd_holder ;
1929 int bd_holders ;
1930 bool bd_write_holder ;
1931 struct list_head bd_holder_disks ;
1932 struct block_device *bd_contains ;
1933 unsigned int bd_block_size ;
1934 struct hd_struct *bd_part ;
1935 unsigned int bd_part_count ;
1936 int bd_invalidated ;
1937 struct gendisk *bd_disk ;
1938 struct request_queue *bd_queue ;
1939 struct list_head bd_list ;
1940 unsigned long bd_private ;
1941 int bd_fsfreeze_count ;
1942 struct mutex bd_fsfreeze_mutex ;
1943};
1944#line 737
1945struct posix_acl;
1946#line 737
1947struct posix_acl;
1948#line 738
1949struct inode_operations;
1950#line 738 "include/linux/fs.h"
1951union __anonunion_ldv_16579_140 {
1952 unsigned int const i_nlink ;
1953 unsigned int __i_nlink ;
1954};
1955#line 738 "include/linux/fs.h"
1956union __anonunion_ldv_16598_141 {
1957 struct list_head i_dentry ;
1958 struct rcu_head i_rcu ;
1959};
1960#line 738
1961struct file_operations;
1962#line 738
1963struct file_lock;
1964#line 738
1965struct cdev;
1966#line 738 "include/linux/fs.h"
1967union __anonunion_ldv_16616_142 {
1968 struct pipe_inode_info *i_pipe ;
1969 struct block_device *i_bdev ;
1970 struct cdev *i_cdev ;
1971};
1972#line 738 "include/linux/fs.h"
1973struct inode {
1974 umode_t i_mode ;
1975 unsigned short i_opflags ;
1976 uid_t i_uid ;
1977 gid_t i_gid ;
1978 unsigned int i_flags ;
1979 struct posix_acl *i_acl ;
1980 struct posix_acl *i_default_acl ;
1981 struct inode_operations const *i_op ;
1982 struct super_block *i_sb ;
1983 struct address_space *i_mapping ;
1984 void *i_security ;
1985 unsigned long i_ino ;
1986 union __anonunion_ldv_16579_140 ldv_16579 ;
1987 dev_t i_rdev ;
1988 struct timespec i_atime ;
1989 struct timespec i_mtime ;
1990 struct timespec i_ctime ;
1991 spinlock_t i_lock ;
1992 unsigned short i_bytes ;
1993 blkcnt_t i_blocks ;
1994 loff_t i_size ;
1995 unsigned long i_state ;
1996 struct mutex i_mutex ;
1997 unsigned long dirtied_when ;
1998 struct hlist_node i_hash ;
1999 struct list_head i_wb_list ;
2000 struct list_head i_lru ;
2001 struct list_head i_sb_list ;
2002 union __anonunion_ldv_16598_141 ldv_16598 ;
2003 atomic_t i_count ;
2004 unsigned int i_blkbits ;
2005 u64 i_version ;
2006 atomic_t i_dio_count ;
2007 atomic_t i_writecount ;
2008 struct file_operations const *i_fop ;
2009 struct file_lock *i_flock ;
2010 struct address_space i_data ;
2011 struct dquot *i_dquot[2U] ;
2012 struct list_head i_devices ;
2013 union __anonunion_ldv_16616_142 ldv_16616 ;
2014 __u32 i_generation ;
2015 __u32 i_fsnotify_mask ;
2016 struct hlist_head i_fsnotify_marks ;
2017 atomic_t i_readcount ;
2018 void *i_private ;
2019};
2020#line 941 "include/linux/fs.h"
2021struct fown_struct {
2022 rwlock_t lock ;
2023 struct pid *pid ;
2024 enum pid_type pid_type ;
2025 uid_t uid ;
2026 uid_t euid ;
2027 int signum ;
2028};
2029#line 949 "include/linux/fs.h"
2030struct file_ra_state {
2031 unsigned long start ;
2032 unsigned int size ;
2033 unsigned int async_size ;
2034 unsigned int ra_pages ;
2035 unsigned int mmap_miss ;
2036 loff_t prev_pos ;
2037};
2038#line 972 "include/linux/fs.h"
2039union __anonunion_f_u_143 {
2040 struct list_head fu_list ;
2041 struct rcu_head fu_rcuhead ;
2042};
2043#line 972 "include/linux/fs.h"
2044struct file {
2045 union __anonunion_f_u_143 f_u ;
2046 struct path f_path ;
2047 struct file_operations const *f_op ;
2048 spinlock_t f_lock ;
2049 int f_sb_list_cpu ;
2050 atomic_long_t f_count ;
2051 unsigned int f_flags ;
2052 fmode_t f_mode ;
2053 loff_t f_pos ;
2054 struct fown_struct f_owner ;
2055 struct cred const *f_cred ;
2056 struct file_ra_state f_ra ;
2057 u64 f_version ;
2058 void *f_security ;
2059 void *private_data ;
2060 struct list_head f_ep_links ;
2061 struct list_head f_tfile_llink ;
2062 struct address_space *f_mapping ;
2063 unsigned long f_mnt_write_state ;
2064};
2065#line 1111
2066struct files_struct;
2067#line 1111 "include/linux/fs.h"
2068typedef struct files_struct *fl_owner_t;
2069#line 1112 "include/linux/fs.h"
2070struct file_lock_operations {
2071 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2072 void (*fl_release_private)(struct file_lock * ) ;
2073};
2074#line 1117 "include/linux/fs.h"
2075struct lock_manager_operations {
2076 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2077 void (*lm_notify)(struct file_lock * ) ;
2078 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2079 void (*lm_release_private)(struct file_lock * ) ;
2080 void (*lm_break)(struct file_lock * ) ;
2081 int (*lm_change)(struct file_lock ** , int ) ;
2082};
2083#line 1134
2084struct nlm_lockowner;
2085#line 1134
2086struct nlm_lockowner;
2087#line 1135 "include/linux/fs.h"
2088struct nfs_lock_info {
2089 u32 state ;
2090 struct nlm_lockowner *owner ;
2091 struct list_head list ;
2092};
2093#line 14 "include/linux/nfs_fs_i.h"
2094struct nfs4_lock_state;
2095#line 14
2096struct nfs4_lock_state;
2097#line 15 "include/linux/nfs_fs_i.h"
2098struct nfs4_lock_info {
2099 struct nfs4_lock_state *owner ;
2100};
2101#line 19
2102struct fasync_struct;
2103#line 19 "include/linux/nfs_fs_i.h"
2104struct __anonstruct_afs_145 {
2105 struct list_head link ;
2106 int state ;
2107};
2108#line 19 "include/linux/nfs_fs_i.h"
2109union __anonunion_fl_u_144 {
2110 struct nfs_lock_info nfs_fl ;
2111 struct nfs4_lock_info nfs4_fl ;
2112 struct __anonstruct_afs_145 afs ;
2113};
2114#line 19 "include/linux/nfs_fs_i.h"
2115struct file_lock {
2116 struct file_lock *fl_next ;
2117 struct list_head fl_link ;
2118 struct list_head fl_block ;
2119 fl_owner_t fl_owner ;
2120 unsigned int fl_flags ;
2121 unsigned char fl_type ;
2122 unsigned int fl_pid ;
2123 struct pid *fl_nspid ;
2124 wait_queue_head_t fl_wait ;
2125 struct file *fl_file ;
2126 loff_t fl_start ;
2127 loff_t fl_end ;
2128 struct fasync_struct *fl_fasync ;
2129 unsigned long fl_break_time ;
2130 unsigned long fl_downgrade_time ;
2131 struct file_lock_operations const *fl_ops ;
2132 struct lock_manager_operations const *fl_lmops ;
2133 union __anonunion_fl_u_144 fl_u ;
2134};
2135#line 1221 "include/linux/fs.h"
2136struct fasync_struct {
2137 spinlock_t fa_lock ;
2138 int magic ;
2139 int fa_fd ;
2140 struct fasync_struct *fa_next ;
2141 struct file *fa_file ;
2142 struct rcu_head fa_rcu ;
2143};
2144#line 1417
2145struct file_system_type;
2146#line 1417
2147struct super_operations;
2148#line 1417
2149struct xattr_handler;
2150#line 1417
2151struct mtd_info;
2152#line 1417 "include/linux/fs.h"
2153struct super_block {
2154 struct list_head s_list ;
2155 dev_t s_dev ;
2156 unsigned char s_dirt ;
2157 unsigned char s_blocksize_bits ;
2158 unsigned long s_blocksize ;
2159 loff_t s_maxbytes ;
2160 struct file_system_type *s_type ;
2161 struct super_operations const *s_op ;
2162 struct dquot_operations const *dq_op ;
2163 struct quotactl_ops const *s_qcop ;
2164 struct export_operations const *s_export_op ;
2165 unsigned long s_flags ;
2166 unsigned long s_magic ;
2167 struct dentry *s_root ;
2168 struct rw_semaphore s_umount ;
2169 struct mutex s_lock ;
2170 int s_count ;
2171 atomic_t s_active ;
2172 void *s_security ;
2173 struct xattr_handler const **s_xattr ;
2174 struct list_head s_inodes ;
2175 struct hlist_bl_head s_anon ;
2176 struct list_head *s_files ;
2177 struct list_head s_mounts ;
2178 struct list_head s_dentry_lru ;
2179 int s_nr_dentry_unused ;
2180 spinlock_t s_inode_lru_lock ;
2181 struct list_head s_inode_lru ;
2182 int s_nr_inodes_unused ;
2183 struct block_device *s_bdev ;
2184 struct backing_dev_info *s_bdi ;
2185 struct mtd_info *s_mtd ;
2186 struct hlist_node s_instances ;
2187 struct quota_info s_dquot ;
2188 int s_frozen ;
2189 wait_queue_head_t s_wait_unfrozen ;
2190 char s_id[32U] ;
2191 u8 s_uuid[16U] ;
2192 void *s_fs_info ;
2193 unsigned int s_max_links ;
2194 fmode_t s_mode ;
2195 u32 s_time_gran ;
2196 struct mutex s_vfs_rename_mutex ;
2197 char *s_subtype ;
2198 char *s_options ;
2199 struct dentry_operations const *s_d_op ;
2200 int cleancache_poolid ;
2201 struct shrinker s_shrink ;
2202 atomic_long_t s_remove_count ;
2203 int s_readonly_remount ;
2204};
2205#line 1563 "include/linux/fs.h"
2206struct fiemap_extent_info {
2207 unsigned int fi_flags ;
2208 unsigned int fi_extents_mapped ;
2209 unsigned int fi_extents_max ;
2210 struct fiemap_extent *fi_extents_start ;
2211};
2212#line 1602 "include/linux/fs.h"
2213struct file_operations {
2214 struct module *owner ;
2215 loff_t (*llseek)(struct file * , loff_t , int ) ;
2216 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2217 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2218 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2219 loff_t ) ;
2220 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2221 loff_t ) ;
2222 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2223 loff_t , u64 , unsigned int ) ) ;
2224 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2225 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2226 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2227 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2228 int (*open)(struct inode * , struct file * ) ;
2229 int (*flush)(struct file * , fl_owner_t ) ;
2230 int (*release)(struct inode * , struct file * ) ;
2231 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
2232 int (*aio_fsync)(struct kiocb * , int ) ;
2233 int (*fasync)(int , struct file * , int ) ;
2234 int (*lock)(struct file * , int , struct file_lock * ) ;
2235 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2236 int ) ;
2237 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2238 unsigned long , unsigned long ) ;
2239 int (*check_flags)(int ) ;
2240 int (*flock)(struct file * , int , struct file_lock * ) ;
2241 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2242 unsigned int ) ;
2243 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2244 unsigned int ) ;
2245 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2246 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
2247};
2248#line 1637 "include/linux/fs.h"
2249struct inode_operations {
2250 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2251 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2252 int (*permission)(struct inode * , int ) ;
2253 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2254 int (*readlink)(struct dentry * , char * , int ) ;
2255 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2256 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2257 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2258 int (*unlink)(struct inode * , struct dentry * ) ;
2259 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2260 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2261 int (*rmdir)(struct inode * , struct dentry * ) ;
2262 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2263 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2264 void (*truncate)(struct inode * ) ;
2265 int (*setattr)(struct dentry * , struct iattr * ) ;
2266 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
2267 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2268 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2269 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2270 int (*removexattr)(struct dentry * , char const * ) ;
2271 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2272 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
2273};
2274#line 1682 "include/linux/fs.h"
2275struct super_operations {
2276 struct inode *(*alloc_inode)(struct super_block * ) ;
2277 void (*destroy_inode)(struct inode * ) ;
2278 void (*dirty_inode)(struct inode * , int ) ;
2279 int (*write_inode)(struct inode * , struct writeback_control * ) ;
2280 int (*drop_inode)(struct inode * ) ;
2281 void (*evict_inode)(struct inode * ) ;
2282 void (*put_super)(struct super_block * ) ;
2283 void (*write_super)(struct super_block * ) ;
2284 int (*sync_fs)(struct super_block * , int ) ;
2285 int (*freeze_fs)(struct super_block * ) ;
2286 int (*unfreeze_fs)(struct super_block * ) ;
2287 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2288 int (*remount_fs)(struct super_block * , int * , char * ) ;
2289 void (*umount_begin)(struct super_block * ) ;
2290 int (*show_options)(struct seq_file * , struct dentry * ) ;
2291 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2292 int (*show_path)(struct seq_file * , struct dentry * ) ;
2293 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2294 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2295 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2296 loff_t ) ;
2297 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2298 int (*nr_cached_objects)(struct super_block * ) ;
2299 void (*free_cached_objects)(struct super_block * , int ) ;
2300};
2301#line 1834 "include/linux/fs.h"
2302struct file_system_type {
2303 char const *name ;
2304 int fs_flags ;
2305 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2306 void (*kill_sb)(struct super_block * ) ;
2307 struct module *owner ;
2308 struct file_system_type *next ;
2309 struct hlist_head fs_supers ;
2310 struct lock_class_key s_lock_key ;
2311 struct lock_class_key s_umount_key ;
2312 struct lock_class_key s_vfs_rename_key ;
2313 struct lock_class_key i_lock_key ;
2314 struct lock_class_key i_mutex_key ;
2315 struct lock_class_key i_mutex_dir_key ;
2316};
2317#line 12 "include/linux/mod_devicetable.h"
2318typedef unsigned long kernel_ulong_t;
2319#line 38 "include/linux/mod_devicetable.h"
2320struct usb_device_id {
2321 __u16 match_flags ;
2322 __u16 idVendor ;
2323 __u16 idProduct ;
2324 __u16 bcdDevice_lo ;
2325 __u16 bcdDevice_hi ;
2326 __u8 bDeviceClass ;
2327 __u8 bDeviceSubClass ;
2328 __u8 bDeviceProtocol ;
2329 __u8 bInterfaceClass ;
2330 __u8 bInterfaceSubClass ;
2331 __u8 bInterfaceProtocol ;
2332 kernel_ulong_t driver_info ;
2333};
2334#line 215 "include/linux/mod_devicetable.h"
2335struct of_device_id {
2336 char name[32U] ;
2337 char type[32U] ;
2338 char compatible[128U] ;
2339 void *data ;
2340};
2341#line 269 "include/linux/mod_devicetable.h"
2342struct input_device_id {
2343 kernel_ulong_t flags ;
2344 __u16 bustype ;
2345 __u16 vendor ;
2346 __u16 product ;
2347 __u16 version ;
2348 kernel_ulong_t evbit[1U] ;
2349 kernel_ulong_t keybit[12U] ;
2350 kernel_ulong_t relbit[1U] ;
2351 kernel_ulong_t absbit[1U] ;
2352 kernel_ulong_t mscbit[1U] ;
2353 kernel_ulong_t ledbit[1U] ;
2354 kernel_ulong_t sndbit[1U] ;
2355 kernel_ulong_t ffbit[2U] ;
2356 kernel_ulong_t swbit[1U] ;
2357 kernel_ulong_t driver_info ;
2358};
2359#line 584
2360struct ff_device;
2361#line 584
2362struct input_mt_slot;
2363#line 584
2364struct input_handle;
2365#line 584 "include/linux/mod_devicetable.h"
2366struct input_dev {
2367 char const *name ;
2368 char const *phys ;
2369 char const *uniq ;
2370 struct input_id id ;
2371 unsigned long propbit[1U] ;
2372 unsigned long evbit[1U] ;
2373 unsigned long keybit[12U] ;
2374 unsigned long relbit[1U] ;
2375 unsigned long absbit[1U] ;
2376 unsigned long mscbit[1U] ;
2377 unsigned long ledbit[1U] ;
2378 unsigned long sndbit[1U] ;
2379 unsigned long ffbit[2U] ;
2380 unsigned long swbit[1U] ;
2381 unsigned int hint_events_per_packet ;
2382 unsigned int keycodemax ;
2383 unsigned int keycodesize ;
2384 void *keycode ;
2385 int (*setkeycode)(struct input_dev * , struct input_keymap_entry const * , unsigned int * ) ;
2386 int (*getkeycode)(struct input_dev * , struct input_keymap_entry * ) ;
2387 struct ff_device *ff ;
2388 unsigned int repeat_key ;
2389 struct timer_list timer ;
2390 int rep[2U] ;
2391 struct input_mt_slot *mt ;
2392 int mtsize ;
2393 int slot ;
2394 int trkid ;
2395 struct input_absinfo *absinfo ;
2396 unsigned long key[12U] ;
2397 unsigned long led[1U] ;
2398 unsigned long snd[1U] ;
2399 unsigned long sw[1U] ;
2400 int (*open)(struct input_dev * ) ;
2401 void (*close)(struct input_dev * ) ;
2402 int (*flush)(struct input_dev * , struct file * ) ;
2403 int (*event)(struct input_dev * , unsigned int , unsigned int , int ) ;
2404 struct input_handle *grab ;
2405 spinlock_t event_lock ;
2406 struct mutex mutex ;
2407 unsigned int users ;
2408 bool going_away ;
2409 bool sync ;
2410 struct device dev ;
2411 struct list_head h_list ;
2412 struct list_head node ;
2413};
2414#line 1319 "include/linux/input.h"
2415struct input_handler {
2416 void *private ;
2417 void (*event)(struct input_handle * , unsigned int , unsigned int , int ) ;
2418 bool (*filter)(struct input_handle * , unsigned int , unsigned int , int ) ;
2419 bool (*match)(struct input_handler * , struct input_dev * ) ;
2420 int (*connect)(struct input_handler * , struct input_dev * , struct input_device_id const * ) ;
2421 void (*disconnect)(struct input_handle * ) ;
2422 void (*start)(struct input_handle * ) ;
2423 struct file_operations const *fops ;
2424 int minor ;
2425 char const *name ;
2426 struct input_device_id const *id_table ;
2427 struct list_head h_list ;
2428 struct list_head node ;
2429};
2430#line 1429 "include/linux/input.h"
2431struct input_handle {
2432 void *private ;
2433 int open ;
2434 char const *name ;
2435 struct input_dev *dev ;
2436 struct input_handler *handler ;
2437 struct list_head d_node ;
2438 struct list_head h_node ;
2439};
2440#line 1591 "include/linux/input.h"
2441struct ff_device {
2442 int (*upload)(struct input_dev * , struct ff_effect * , struct ff_effect * ) ;
2443 int (*erase)(struct input_dev * , int ) ;
2444 int (*playback)(struct input_dev * , int , int ) ;
2445 void (*set_gain)(struct input_dev * , u16 ) ;
2446 void (*set_autocenter)(struct input_dev * , u16 ) ;
2447 void (*destroy)(struct ff_device * ) ;
2448 void *private ;
2449 unsigned long ffbit[2U] ;
2450 struct mutex mutex ;
2451 int max_effects ;
2452 struct ff_effect *effects ;
2453 struct file *effect_owners[0U] ;
2454};
2455#line 245 "include/linux/usb/ch9.h"
2456struct usb_device_descriptor {
2457 __u8 bLength ;
2458 __u8 bDescriptorType ;
2459 __le16 bcdUSB ;
2460 __u8 bDeviceClass ;
2461 __u8 bDeviceSubClass ;
2462 __u8 bDeviceProtocol ;
2463 __u8 bMaxPacketSize0 ;
2464 __le16 idVendor ;
2465 __le16 idProduct ;
2466 __le16 bcdDevice ;
2467 __u8 iManufacturer ;
2468 __u8 iProduct ;
2469 __u8 iSerialNumber ;
2470 __u8 bNumConfigurations ;
2471};
2472#line 267 "include/linux/usb/ch9.h"
2473struct usb_config_descriptor {
2474 __u8 bLength ;
2475 __u8 bDescriptorType ;
2476 __le16 wTotalLength ;
2477 __u8 bNumInterfaces ;
2478 __u8 bConfigurationValue ;
2479 __u8 iConfiguration ;
2480 __u8 bmAttributes ;
2481 __u8 bMaxPower ;
2482};
2483#line 335 "include/linux/usb/ch9.h"
2484struct usb_interface_descriptor {
2485 __u8 bLength ;
2486 __u8 bDescriptorType ;
2487 __u8 bInterfaceNumber ;
2488 __u8 bAlternateSetting ;
2489 __u8 bNumEndpoints ;
2490 __u8 bInterfaceClass ;
2491 __u8 bInterfaceSubClass ;
2492 __u8 bInterfaceProtocol ;
2493 __u8 iInterface ;
2494};
2495#line 355 "include/linux/usb/ch9.h"
2496struct usb_endpoint_descriptor {
2497 __u8 bLength ;
2498 __u8 bDescriptorType ;
2499 __u8 bEndpointAddress ;
2500 __u8 bmAttributes ;
2501 __le16 wMaxPacketSize ;
2502 __u8 bInterval ;
2503 __u8 bRefresh ;
2504 __u8 bSynchAddress ;
2505};
2506#line 594 "include/linux/usb/ch9.h"
2507struct usb_ss_ep_comp_descriptor {
2508 __u8 bLength ;
2509 __u8 bDescriptorType ;
2510 __u8 bMaxBurst ;
2511 __u8 bmAttributes ;
2512 __le16 wBytesPerInterval ;
2513};
2514#line 673 "include/linux/usb/ch9.h"
2515struct usb_interface_assoc_descriptor {
2516 __u8 bLength ;
2517 __u8 bDescriptorType ;
2518 __u8 bFirstInterface ;
2519 __u8 bInterfaceCount ;
2520 __u8 bFunctionClass ;
2521 __u8 bFunctionSubClass ;
2522 __u8 bFunctionProtocol ;
2523 __u8 iFunction ;
2524};
2525#line 732 "include/linux/usb/ch9.h"
2526struct usb_bos_descriptor {
2527 __u8 bLength ;
2528 __u8 bDescriptorType ;
2529 __le16 wTotalLength ;
2530 __u8 bNumDeviceCaps ;
2531};
2532#line 782 "include/linux/usb/ch9.h"
2533struct usb_ext_cap_descriptor {
2534 __u8 bLength ;
2535 __u8 bDescriptorType ;
2536 __u8 bDevCapabilityType ;
2537 __le32 bmAttributes ;
2538};
2539#line 792 "include/linux/usb/ch9.h"
2540struct usb_ss_cap_descriptor {
2541 __u8 bLength ;
2542 __u8 bDescriptorType ;
2543 __u8 bDevCapabilityType ;
2544 __u8 bmAttributes ;
2545 __le16 wSpeedSupported ;
2546 __u8 bFunctionalitySupport ;
2547 __u8 bU1devExitLat ;
2548 __le16 bU2DevExitLat ;
2549};
2550#line 821 "include/linux/usb/ch9.h"
2551struct usb_ss_container_id_descriptor {
2552 __u8 bLength ;
2553 __u8 bDescriptorType ;
2554 __u8 bDevCapabilityType ;
2555 __u8 bReserved ;
2556 __u8 ContainerID[16U] ;
2557};
2558#line 886
2559enum usb_device_speed {
2560 USB_SPEED_UNKNOWN = 0,
2561 USB_SPEED_LOW = 1,
2562 USB_SPEED_FULL = 2,
2563 USB_SPEED_HIGH = 3,
2564 USB_SPEED_WIRELESS = 4,
2565 USB_SPEED_SUPER = 5
2566} ;
2567#line 908
2568enum usb_device_state {
2569 USB_STATE_NOTATTACHED = 0,
2570 USB_STATE_ATTACHED = 1,
2571 USB_STATE_POWERED = 2,
2572 USB_STATE_RECONNECTING = 3,
2573 USB_STATE_UNAUTHENTICATED = 4,
2574 USB_STATE_DEFAULT = 5,
2575 USB_STATE_ADDRESS = 6,
2576 USB_STATE_CONFIGURED = 7,
2577 USB_STATE_SUSPENDED = 8
2578} ;
2579#line 41 "include/asm-generic/sections.h"
2580struct exception_table_entry {
2581 unsigned long insn ;
2582 unsigned long fixup ;
2583};
2584#line 189 "include/linux/hardirq.h"
2585struct timerqueue_node {
2586 struct rb_node node ;
2587 ktime_t expires ;
2588};
2589#line 12 "include/linux/timerqueue.h"
2590struct timerqueue_head {
2591 struct rb_root head ;
2592 struct timerqueue_node *next ;
2593};
2594#line 50
2595struct hrtimer_clock_base;
2596#line 50
2597struct hrtimer_clock_base;
2598#line 51
2599struct hrtimer_cpu_base;
2600#line 51
2601struct hrtimer_cpu_base;
2602#line 60
2603enum hrtimer_restart {
2604 HRTIMER_NORESTART = 0,
2605 HRTIMER_RESTART = 1
2606} ;
2607#line 65 "include/linux/timerqueue.h"
2608struct hrtimer {
2609 struct timerqueue_node node ;
2610 ktime_t _softexpires ;
2611 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2612 struct hrtimer_clock_base *base ;
2613 unsigned long state ;
2614 int start_pid ;
2615 void *start_site ;
2616 char start_comm[16U] ;
2617};
2618#line 132 "include/linux/hrtimer.h"
2619struct hrtimer_clock_base {
2620 struct hrtimer_cpu_base *cpu_base ;
2621 int index ;
2622 clockid_t clockid ;
2623 struct timerqueue_head active ;
2624 ktime_t resolution ;
2625 ktime_t (*get_time)(void) ;
2626 ktime_t softirq_time ;
2627 ktime_t offset ;
2628};
2629#line 162 "include/linux/hrtimer.h"
2630struct hrtimer_cpu_base {
2631 raw_spinlock_t lock ;
2632 unsigned long active_bases ;
2633 ktime_t expires_next ;
2634 int hres_active ;
2635 int hang_detected ;
2636 unsigned long nr_events ;
2637 unsigned long nr_retries ;
2638 unsigned long nr_hangs ;
2639 ktime_t max_hang_time ;
2640 struct hrtimer_clock_base clock_base[3U] ;
2641};
2642#line 55 "include/linux/sched.h"
2643union __anonunion_ldv_20895_149 {
2644 unsigned long index ;
2645 void *freelist ;
2646};
2647#line 55 "include/linux/sched.h"
2648struct __anonstruct_ldv_20905_153 {
2649 unsigned short inuse ;
2650 unsigned short objects : 15 ;
2651 unsigned char frozen : 1 ;
2652};
2653#line 55 "include/linux/sched.h"
2654union __anonunion_ldv_20906_152 {
2655 atomic_t _mapcount ;
2656 struct __anonstruct_ldv_20905_153 ldv_20905 ;
2657};
2658#line 55 "include/linux/sched.h"
2659struct __anonstruct_ldv_20908_151 {
2660 union __anonunion_ldv_20906_152 ldv_20906 ;
2661 atomic_t _count ;
2662};
2663#line 55 "include/linux/sched.h"
2664union __anonunion_ldv_20909_150 {
2665 unsigned long counters ;
2666 struct __anonstruct_ldv_20908_151 ldv_20908 ;
2667};
2668#line 55 "include/linux/sched.h"
2669struct __anonstruct_ldv_20910_148 {
2670 union __anonunion_ldv_20895_149 ldv_20895 ;
2671 union __anonunion_ldv_20909_150 ldv_20909 ;
2672};
2673#line 55 "include/linux/sched.h"
2674struct __anonstruct_ldv_20917_155 {
2675 struct page *next ;
2676 int pages ;
2677 int pobjects ;
2678};
2679#line 55 "include/linux/sched.h"
2680union __anonunion_ldv_20918_154 {
2681 struct list_head lru ;
2682 struct __anonstruct_ldv_20917_155 ldv_20917 ;
2683};
2684#line 55 "include/linux/sched.h"
2685union __anonunion_ldv_20923_156 {
2686 unsigned long private ;
2687 struct kmem_cache *slab ;
2688 struct page *first_page ;
2689};
2690#line 55 "include/linux/sched.h"
2691struct page {
2692 unsigned long flags ;
2693 struct address_space *mapping ;
2694 struct __anonstruct_ldv_20910_148 ldv_20910 ;
2695 union __anonunion_ldv_20918_154 ldv_20918 ;
2696 union __anonunion_ldv_20923_156 ldv_20923 ;
2697 unsigned long debug_flags ;
2698};
2699#line 192 "include/linux/mm_types.h"
2700struct __anonstruct_vm_set_158 {
2701 struct list_head list ;
2702 void *parent ;
2703 struct vm_area_struct *head ;
2704};
2705#line 192 "include/linux/mm_types.h"
2706union __anonunion_shared_157 {
2707 struct __anonstruct_vm_set_158 vm_set ;
2708 struct raw_prio_tree_node prio_tree_node ;
2709};
2710#line 192
2711struct anon_vma;
2712#line 192
2713struct vm_operations_struct;
2714#line 192
2715struct mempolicy;
2716#line 192 "include/linux/mm_types.h"
2717struct vm_area_struct {
2718 struct mm_struct *vm_mm ;
2719 unsigned long vm_start ;
2720 unsigned long vm_end ;
2721 struct vm_area_struct *vm_next ;
2722 struct vm_area_struct *vm_prev ;
2723 pgprot_t vm_page_prot ;
2724 unsigned long vm_flags ;
2725 struct rb_node vm_rb ;
2726 union __anonunion_shared_157 shared ;
2727 struct list_head anon_vma_chain ;
2728 struct anon_vma *anon_vma ;
2729 struct vm_operations_struct const *vm_ops ;
2730 unsigned long vm_pgoff ;
2731 struct file *vm_file ;
2732 void *vm_private_data ;
2733 struct mempolicy *vm_policy ;
2734};
2735#line 255 "include/linux/mm_types.h"
2736struct core_thread {
2737 struct task_struct *task ;
2738 struct core_thread *next ;
2739};
2740#line 261 "include/linux/mm_types.h"
2741struct core_state {
2742 atomic_t nr_threads ;
2743 struct core_thread dumper ;
2744 struct completion startup ;
2745};
2746#line 274 "include/linux/mm_types.h"
2747struct mm_rss_stat {
2748 atomic_long_t count[3U] ;
2749};
2750#line 287
2751struct linux_binfmt;
2752#line 287
2753struct mmu_notifier_mm;
2754#line 287 "include/linux/mm_types.h"
2755struct mm_struct {
2756 struct vm_area_struct *mmap ;
2757 struct rb_root mm_rb ;
2758 struct vm_area_struct *mmap_cache ;
2759 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2760 unsigned long , unsigned long ) ;
2761 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
2762 unsigned long mmap_base ;
2763 unsigned long task_size ;
2764 unsigned long cached_hole_size ;
2765 unsigned long free_area_cache ;
2766 pgd_t *pgd ;
2767 atomic_t mm_users ;
2768 atomic_t mm_count ;
2769 int map_count ;
2770 spinlock_t page_table_lock ;
2771 struct rw_semaphore mmap_sem ;
2772 struct list_head mmlist ;
2773 unsigned long hiwater_rss ;
2774 unsigned long hiwater_vm ;
2775 unsigned long total_vm ;
2776 unsigned long locked_vm ;
2777 unsigned long pinned_vm ;
2778 unsigned long shared_vm ;
2779 unsigned long exec_vm ;
2780 unsigned long stack_vm ;
2781 unsigned long reserved_vm ;
2782 unsigned long def_flags ;
2783 unsigned long nr_ptes ;
2784 unsigned long start_code ;
2785 unsigned long end_code ;
2786 unsigned long start_data ;
2787 unsigned long end_data ;
2788 unsigned long start_brk ;
2789 unsigned long brk ;
2790 unsigned long start_stack ;
2791 unsigned long arg_start ;
2792 unsigned long arg_end ;
2793 unsigned long env_start ;
2794 unsigned long env_end ;
2795 unsigned long saved_auxv[44U] ;
2796 struct mm_rss_stat rss_stat ;
2797 struct linux_binfmt *binfmt ;
2798 cpumask_var_t cpu_vm_mask_var ;
2799 mm_context_t context ;
2800 unsigned int faultstamp ;
2801 unsigned int token_priority ;
2802 unsigned int last_interval ;
2803 unsigned long flags ;
2804 struct core_state *core_state ;
2805 spinlock_t ioctx_lock ;
2806 struct hlist_head ioctx_list ;
2807 struct task_struct *owner ;
2808 struct file *exe_file ;
2809 unsigned long num_exe_file_vmas ;
2810 struct mmu_notifier_mm *mmu_notifier_mm ;
2811 pgtable_t pmd_huge_pte ;
2812 struct cpumask cpumask_allocation ;
2813};
2814#line 7 "include/asm-generic/cputime.h"
2815typedef unsigned long cputime_t;
2816#line 98 "include/linux/sem.h"
2817struct sem_undo_list;
2818#line 98 "include/linux/sem.h"
2819struct sysv_sem {
2820 struct sem_undo_list *undo_list ;
2821};
2822#line 107
2823struct siginfo;
2824#line 107
2825struct siginfo;
2826#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2827struct __anonstruct_sigset_t_159 {
2828 unsigned long sig[1U] ;
2829};
2830#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2831typedef struct __anonstruct_sigset_t_159 sigset_t;
2832#line 17 "include/asm-generic/signal-defs.h"
2833typedef void __signalfn_t(int );
2834#line 18 "include/asm-generic/signal-defs.h"
2835typedef __signalfn_t *__sighandler_t;
2836#line 20 "include/asm-generic/signal-defs.h"
2837typedef void __restorefn_t(void);
2838#line 21 "include/asm-generic/signal-defs.h"
2839typedef __restorefn_t *__sigrestore_t;
2840#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2841struct sigaction {
2842 __sighandler_t sa_handler ;
2843 unsigned long sa_flags ;
2844 __sigrestore_t sa_restorer ;
2845 sigset_t sa_mask ;
2846};
2847#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2848struct k_sigaction {
2849 struct sigaction sa ;
2850};
2851#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2852union sigval {
2853 int sival_int ;
2854 void *sival_ptr ;
2855};
2856#line 10 "include/asm-generic/siginfo.h"
2857typedef union sigval sigval_t;
2858#line 11 "include/asm-generic/siginfo.h"
2859struct __anonstruct__kill_161 {
2860 __kernel_pid_t _pid ;
2861 __kernel_uid32_t _uid ;
2862};
2863#line 11 "include/asm-generic/siginfo.h"
2864struct __anonstruct__timer_162 {
2865 __kernel_timer_t _tid ;
2866 int _overrun ;
2867 char _pad[0U] ;
2868 sigval_t _sigval ;
2869 int _sys_private ;
2870};
2871#line 11 "include/asm-generic/siginfo.h"
2872struct __anonstruct__rt_163 {
2873 __kernel_pid_t _pid ;
2874 __kernel_uid32_t _uid ;
2875 sigval_t _sigval ;
2876};
2877#line 11 "include/asm-generic/siginfo.h"
2878struct __anonstruct__sigchld_164 {
2879 __kernel_pid_t _pid ;
2880 __kernel_uid32_t _uid ;
2881 int _status ;
2882 __kernel_clock_t _utime ;
2883 __kernel_clock_t _stime ;
2884};
2885#line 11 "include/asm-generic/siginfo.h"
2886struct __anonstruct__sigfault_165 {
2887 void *_addr ;
2888 short _addr_lsb ;
2889};
2890#line 11 "include/asm-generic/siginfo.h"
2891struct __anonstruct__sigpoll_166 {
2892 long _band ;
2893 int _fd ;
2894};
2895#line 11 "include/asm-generic/siginfo.h"
2896union __anonunion__sifields_160 {
2897 int _pad[28U] ;
2898 struct __anonstruct__kill_161 _kill ;
2899 struct __anonstruct__timer_162 _timer ;
2900 struct __anonstruct__rt_163 _rt ;
2901 struct __anonstruct__sigchld_164 _sigchld ;
2902 struct __anonstruct__sigfault_165 _sigfault ;
2903 struct __anonstruct__sigpoll_166 _sigpoll ;
2904};
2905#line 11 "include/asm-generic/siginfo.h"
2906struct siginfo {
2907 int si_signo ;
2908 int si_errno ;
2909 int si_code ;
2910 union __anonunion__sifields_160 _sifields ;
2911};
2912#line 102 "include/asm-generic/siginfo.h"
2913typedef struct siginfo siginfo_t;
2914#line 14 "include/linux/signal.h"
2915struct user_struct;
2916#line 24 "include/linux/signal.h"
2917struct sigpending {
2918 struct list_head list ;
2919 sigset_t signal ;
2920};
2921#line 10 "include/linux/seccomp.h"
2922struct __anonstruct_seccomp_t_169 {
2923 int mode ;
2924};
2925#line 10 "include/linux/seccomp.h"
2926typedef struct __anonstruct_seccomp_t_169 seccomp_t;
2927#line 26 "include/linux/seccomp.h"
2928struct plist_head {
2929 struct list_head node_list ;
2930};
2931#line 84 "include/linux/plist.h"
2932struct plist_node {
2933 int prio ;
2934 struct list_head prio_list ;
2935 struct list_head node_list ;
2936};
2937#line 38 "include/linux/rtmutex.h"
2938struct rt_mutex_waiter;
2939#line 38
2940struct rt_mutex_waiter;
2941#line 41 "include/linux/resource.h"
2942struct rlimit {
2943 unsigned long rlim_cur ;
2944 unsigned long rlim_max ;
2945};
2946#line 85 "include/linux/resource.h"
2947struct task_io_accounting {
2948 u64 rchar ;
2949 u64 wchar ;
2950 u64 syscr ;
2951 u64 syscw ;
2952 u64 read_bytes ;
2953 u64 write_bytes ;
2954 u64 cancelled_write_bytes ;
2955};
2956#line 45 "include/linux/task_io_accounting.h"
2957struct latency_record {
2958 unsigned long backtrace[12U] ;
2959 unsigned int count ;
2960 unsigned long time ;
2961 unsigned long max ;
2962};
2963#line 29 "include/linux/key.h"
2964typedef int32_t key_serial_t;
2965#line 32 "include/linux/key.h"
2966typedef uint32_t key_perm_t;
2967#line 33
2968struct key;
2969#line 33
2970struct key;
2971#line 34
2972struct signal_struct;
2973#line 34
2974struct signal_struct;
2975#line 35
2976struct key_type;
2977#line 35
2978struct key_type;
2979#line 37
2980struct keyring_list;
2981#line 37
2982struct keyring_list;
2983#line 115
2984struct key_user;
2985#line 115 "include/linux/key.h"
2986union __anonunion_ldv_21723_170 {
2987 time_t expiry ;
2988 time_t revoked_at ;
2989};
2990#line 115 "include/linux/key.h"
2991union __anonunion_type_data_171 {
2992 struct list_head link ;
2993 unsigned long x[2U] ;
2994 void *p[2U] ;
2995 int reject_error ;
2996};
2997#line 115 "include/linux/key.h"
2998union __anonunion_payload_172 {
2999 unsigned long value ;
3000 void *rcudata ;
3001 void *data ;
3002 struct keyring_list *subscriptions ;
3003};
3004#line 115 "include/linux/key.h"
3005struct key {
3006 atomic_t usage ;
3007 key_serial_t serial ;
3008 struct rb_node serial_node ;
3009 struct key_type *type ;
3010 struct rw_semaphore sem ;
3011 struct key_user *user ;
3012 void *security ;
3013 union __anonunion_ldv_21723_170 ldv_21723 ;
3014 uid_t uid ;
3015 gid_t gid ;
3016 key_perm_t perm ;
3017 unsigned short quotalen ;
3018 unsigned short datalen ;
3019 unsigned long flags ;
3020 char *description ;
3021 union __anonunion_type_data_171 type_data ;
3022 union __anonunion_payload_172 payload ;
3023};
3024#line 316
3025struct audit_context;
3026#line 316
3027struct audit_context;
3028#line 27 "include/linux/selinux.h"
3029struct group_info {
3030 atomic_t usage ;
3031 int ngroups ;
3032 int nblocks ;
3033 gid_t small_block[32U] ;
3034 gid_t *blocks[0U] ;
3035};
3036#line 77 "include/linux/cred.h"
3037struct thread_group_cred {
3038 atomic_t usage ;
3039 pid_t tgid ;
3040 spinlock_t lock ;
3041 struct key *session_keyring ;
3042 struct key *process_keyring ;
3043 struct rcu_head rcu ;
3044};
3045#line 91 "include/linux/cred.h"
3046struct cred {
3047 atomic_t usage ;
3048 atomic_t subscribers ;
3049 void *put_addr ;
3050 unsigned int magic ;
3051 uid_t uid ;
3052 gid_t gid ;
3053 uid_t suid ;
3054 gid_t sgid ;
3055 uid_t euid ;
3056 gid_t egid ;
3057 uid_t fsuid ;
3058 gid_t fsgid ;
3059 unsigned int securebits ;
3060 kernel_cap_t cap_inheritable ;
3061 kernel_cap_t cap_permitted ;
3062 kernel_cap_t cap_effective ;
3063 kernel_cap_t cap_bset ;
3064 unsigned char jit_keyring ;
3065 struct key *thread_keyring ;
3066 struct key *request_key_auth ;
3067 struct thread_group_cred *tgcred ;
3068 void *security ;
3069 struct user_struct *user ;
3070 struct user_namespace *user_ns ;
3071 struct group_info *group_info ;
3072 struct rcu_head rcu ;
3073};
3074#line 264
3075struct llist_node;
3076#line 64 "include/linux/llist.h"
3077struct llist_node {
3078 struct llist_node *next ;
3079};
3080#line 185
3081struct futex_pi_state;
3082#line 185
3083struct futex_pi_state;
3084#line 186
3085struct robust_list_head;
3086#line 186
3087struct robust_list_head;
3088#line 187
3089struct bio_list;
3090#line 187
3091struct bio_list;
3092#line 188
3093struct fs_struct;
3094#line 188
3095struct fs_struct;
3096#line 189
3097struct perf_event_context;
3098#line 189
3099struct perf_event_context;
3100#line 190
3101struct blk_plug;
3102#line 190
3103struct blk_plug;
3104#line 149 "include/linux/sched.h"
3105struct cfs_rq;
3106#line 149
3107struct cfs_rq;
3108#line 44 "include/linux/aio_abi.h"
3109struct io_event {
3110 __u64 data ;
3111 __u64 obj ;
3112 __s64 res ;
3113 __s64 res2 ;
3114};
3115#line 106 "include/linux/aio_abi.h"
3116struct iovec {
3117 void *iov_base ;
3118 __kernel_size_t iov_len ;
3119};
3120#line 54 "include/linux/uio.h"
3121struct kioctx;
3122#line 54
3123struct kioctx;
3124#line 55 "include/linux/uio.h"
3125union __anonunion_ki_obj_173 {
3126 void *user ;
3127 struct task_struct *tsk ;
3128};
3129#line 55
3130struct eventfd_ctx;
3131#line 55 "include/linux/uio.h"
3132struct kiocb {
3133 struct list_head ki_run_list ;
3134 unsigned long ki_flags ;
3135 int ki_users ;
3136 unsigned int ki_key ;
3137 struct file *ki_filp ;
3138 struct kioctx *ki_ctx ;
3139 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3140 ssize_t (*ki_retry)(struct kiocb * ) ;
3141 void (*ki_dtor)(struct kiocb * ) ;
3142 union __anonunion_ki_obj_173 ki_obj ;
3143 __u64 ki_user_data ;
3144 loff_t ki_pos ;
3145 void *private ;
3146 unsigned short ki_opcode ;
3147 size_t ki_nbytes ;
3148 char *ki_buf ;
3149 size_t ki_left ;
3150 struct iovec ki_inline_vec ;
3151 struct iovec *ki_iovec ;
3152 unsigned long ki_nr_segs ;
3153 unsigned long ki_cur_seg ;
3154 struct list_head ki_list ;
3155 struct list_head ki_batch ;
3156 struct eventfd_ctx *ki_eventfd ;
3157};
3158#line 162 "include/linux/aio.h"
3159struct aio_ring_info {
3160 unsigned long mmap_base ;
3161 unsigned long mmap_size ;
3162 struct page **ring_pages ;
3163 spinlock_t ring_lock ;
3164 long nr_pages ;
3165 unsigned int nr ;
3166 unsigned int tail ;
3167 struct page *internal_pages[8U] ;
3168};
3169#line 178 "include/linux/aio.h"
3170struct kioctx {
3171 atomic_t users ;
3172 int dead ;
3173 struct mm_struct *mm ;
3174 unsigned long user_id ;
3175 struct hlist_node list ;
3176 wait_queue_head_t wait ;
3177 spinlock_t ctx_lock ;
3178 int reqs_active ;
3179 struct list_head active_reqs ;
3180 struct list_head run_list ;
3181 unsigned int max_reqs ;
3182 struct aio_ring_info ring_info ;
3183 struct delayed_work wq ;
3184 struct rcu_head rcu_head ;
3185};
3186#line 406 "include/linux/sched.h"
3187struct sighand_struct {
3188 atomic_t count ;
3189 struct k_sigaction action[64U] ;
3190 spinlock_t siglock ;
3191 wait_queue_head_t signalfd_wqh ;
3192};
3193#line 449 "include/linux/sched.h"
3194struct pacct_struct {
3195 int ac_flag ;
3196 long ac_exitcode ;
3197 unsigned long ac_mem ;
3198 cputime_t ac_utime ;
3199 cputime_t ac_stime ;
3200 unsigned long ac_minflt ;
3201 unsigned long ac_majflt ;
3202};
3203#line 457 "include/linux/sched.h"
3204struct cpu_itimer {
3205 cputime_t expires ;
3206 cputime_t incr ;
3207 u32 error ;
3208 u32 incr_error ;
3209};
3210#line 464 "include/linux/sched.h"
3211struct task_cputime {
3212 cputime_t utime ;
3213 cputime_t stime ;
3214 unsigned long long sum_exec_runtime ;
3215};
3216#line 481 "include/linux/sched.h"
3217struct thread_group_cputimer {
3218 struct task_cputime cputime ;
3219 int running ;
3220 raw_spinlock_t lock ;
3221};
3222#line 517
3223struct autogroup;
3224#line 517
3225struct autogroup;
3226#line 518
3227struct tty_struct;
3228#line 518
3229struct taskstats;
3230#line 518
3231struct tty_audit_buf;
3232#line 518 "include/linux/sched.h"
3233struct signal_struct {
3234 atomic_t sigcnt ;
3235 atomic_t live ;
3236 int nr_threads ;
3237 wait_queue_head_t wait_chldexit ;
3238 struct task_struct *curr_target ;
3239 struct sigpending shared_pending ;
3240 int group_exit_code ;
3241 int notify_count ;
3242 struct task_struct *group_exit_task ;
3243 int group_stop_count ;
3244 unsigned int flags ;
3245 unsigned char is_child_subreaper : 1 ;
3246 unsigned char has_child_subreaper : 1 ;
3247 struct list_head posix_timers ;
3248 struct hrtimer real_timer ;
3249 struct pid *leader_pid ;
3250 ktime_t it_real_incr ;
3251 struct cpu_itimer it[2U] ;
3252 struct thread_group_cputimer cputimer ;
3253 struct task_cputime cputime_expires ;
3254 struct list_head cpu_timers[3U] ;
3255 struct pid *tty_old_pgrp ;
3256 int leader ;
3257 struct tty_struct *tty ;
3258 struct autogroup *autogroup ;
3259 cputime_t utime ;
3260 cputime_t stime ;
3261 cputime_t cutime ;
3262 cputime_t cstime ;
3263 cputime_t gtime ;
3264 cputime_t cgtime ;
3265 cputime_t prev_utime ;
3266 cputime_t prev_stime ;
3267 unsigned long nvcsw ;
3268 unsigned long nivcsw ;
3269 unsigned long cnvcsw ;
3270 unsigned long cnivcsw ;
3271 unsigned long min_flt ;
3272 unsigned long maj_flt ;
3273 unsigned long cmin_flt ;
3274 unsigned long cmaj_flt ;
3275 unsigned long inblock ;
3276 unsigned long oublock ;
3277 unsigned long cinblock ;
3278 unsigned long coublock ;
3279 unsigned long maxrss ;
3280 unsigned long cmaxrss ;
3281 struct task_io_accounting ioac ;
3282 unsigned long long sum_sched_runtime ;
3283 struct rlimit rlim[16U] ;
3284 struct pacct_struct pacct ;
3285 struct taskstats *stats ;
3286 unsigned int audit_tty ;
3287 struct tty_audit_buf *tty_audit_buf ;
3288 struct rw_semaphore group_rwsem ;
3289 int oom_adj ;
3290 int oom_score_adj ;
3291 int oom_score_adj_min ;
3292 struct mutex cred_guard_mutex ;
3293};
3294#line 699 "include/linux/sched.h"
3295struct user_struct {
3296 atomic_t __count ;
3297 atomic_t processes ;
3298 atomic_t files ;
3299 atomic_t sigpending ;
3300 atomic_t inotify_watches ;
3301 atomic_t inotify_devs ;
3302 atomic_t fanotify_listeners ;
3303 atomic_long_t epoll_watches ;
3304 unsigned long mq_bytes ;
3305 unsigned long locked_shm ;
3306 struct key *uid_keyring ;
3307 struct key *session_keyring ;
3308 struct hlist_node uidhash_node ;
3309 uid_t uid ;
3310 struct user_namespace *user_ns ;
3311 atomic_long_t locked_vm ;
3312};
3313#line 744
3314struct reclaim_state;
3315#line 744
3316struct reclaim_state;
3317#line 745 "include/linux/sched.h"
3318struct sched_info {
3319 unsigned long pcount ;
3320 unsigned long long run_delay ;
3321 unsigned long long last_arrival ;
3322 unsigned long long last_queued ;
3323};
3324#line 760 "include/linux/sched.h"
3325struct task_delay_info {
3326 spinlock_t lock ;
3327 unsigned int flags ;
3328 struct timespec blkio_start ;
3329 struct timespec blkio_end ;
3330 u64 blkio_delay ;
3331 u64 swapin_delay ;
3332 u32 blkio_count ;
3333 u32 swapin_count ;
3334 struct timespec freepages_start ;
3335 struct timespec freepages_end ;
3336 u64 freepages_delay ;
3337 u32 freepages_count ;
3338};
3339#line 1069
3340struct io_context;
3341#line 1069
3342struct io_context;
3343#line 1098
3344struct rq;
3345#line 1098
3346struct rq;
3347#line 1099 "include/linux/sched.h"
3348struct sched_class {
3349 struct sched_class const *next ;
3350 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
3351 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
3352 void (*yield_task)(struct rq * ) ;
3353 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
3354 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
3355 struct task_struct *(*pick_next_task)(struct rq * ) ;
3356 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
3357 int (*select_task_rq)(struct task_struct * , int , int ) ;
3358 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
3359 void (*post_schedule)(struct rq * ) ;
3360 void (*task_waking)(struct task_struct * ) ;
3361 void (*task_woken)(struct rq * , struct task_struct * ) ;
3362 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
3363 void (*rq_online)(struct rq * ) ;
3364 void (*rq_offline)(struct rq * ) ;
3365 void (*set_curr_task)(struct rq * ) ;
3366 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
3367 void (*task_fork)(struct task_struct * ) ;
3368 void (*switched_from)(struct rq * , struct task_struct * ) ;
3369 void (*switched_to)(struct rq * , struct task_struct * ) ;
3370 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
3371 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
3372 void (*task_move_group)(struct task_struct * , int ) ;
3373};
3374#line 1165 "include/linux/sched.h"
3375struct load_weight {
3376 unsigned long weight ;
3377 unsigned long inv_weight ;
3378};
3379#line 1170 "include/linux/sched.h"
3380struct sched_statistics {
3381 u64 wait_start ;
3382 u64 wait_max ;
3383 u64 wait_count ;
3384 u64 wait_sum ;
3385 u64 iowait_count ;
3386 u64 iowait_sum ;
3387 u64 sleep_start ;
3388 u64 sleep_max ;
3389 s64 sum_sleep_runtime ;
3390 u64 block_start ;
3391 u64 block_max ;
3392 u64 exec_max ;
3393 u64 slice_max ;
3394 u64 nr_migrations_cold ;
3395 u64 nr_failed_migrations_affine ;
3396 u64 nr_failed_migrations_running ;
3397 u64 nr_failed_migrations_hot ;
3398 u64 nr_forced_migrations ;
3399 u64 nr_wakeups ;
3400 u64 nr_wakeups_sync ;
3401 u64 nr_wakeups_migrate ;
3402 u64 nr_wakeups_local ;
3403 u64 nr_wakeups_remote ;
3404 u64 nr_wakeups_affine ;
3405 u64 nr_wakeups_affine_attempts ;
3406 u64 nr_wakeups_passive ;
3407 u64 nr_wakeups_idle ;
3408};
3409#line 1205 "include/linux/sched.h"
3410struct sched_entity {
3411 struct load_weight load ;
3412 struct rb_node run_node ;
3413 struct list_head group_node ;
3414 unsigned int on_rq ;
3415 u64 exec_start ;
3416 u64 sum_exec_runtime ;
3417 u64 vruntime ;
3418 u64 prev_sum_exec_runtime ;
3419 u64 nr_migrations ;
3420 struct sched_statistics statistics ;
3421 struct sched_entity *parent ;
3422 struct cfs_rq *cfs_rq ;
3423 struct cfs_rq *my_q ;
3424};
3425#line 1231
3426struct rt_rq;
3427#line 1231 "include/linux/sched.h"
3428struct sched_rt_entity {
3429 struct list_head run_list ;
3430 unsigned long timeout ;
3431 unsigned int time_slice ;
3432 int nr_cpus_allowed ;
3433 struct sched_rt_entity *back ;
3434 struct sched_rt_entity *parent ;
3435 struct rt_rq *rt_rq ;
3436 struct rt_rq *my_q ;
3437};
3438#line 1255
3439struct mem_cgroup;
3440#line 1255 "include/linux/sched.h"
3441struct memcg_batch_info {
3442 int do_batch ;
3443 struct mem_cgroup *memcg ;
3444 unsigned long nr_pages ;
3445 unsigned long memsw_nr_pages ;
3446};
3447#line 1616
3448struct css_set;
3449#line 1616
3450struct compat_robust_list_head;
3451#line 1616 "include/linux/sched.h"
3452struct task_struct {
3453 long volatile state ;
3454 void *stack ;
3455 atomic_t usage ;
3456 unsigned int flags ;
3457 unsigned int ptrace ;
3458 struct llist_node wake_entry ;
3459 int on_cpu ;
3460 int on_rq ;
3461 int prio ;
3462 int static_prio ;
3463 int normal_prio ;
3464 unsigned int rt_priority ;
3465 struct sched_class const *sched_class ;
3466 struct sched_entity se ;
3467 struct sched_rt_entity rt ;
3468 struct hlist_head preempt_notifiers ;
3469 unsigned char fpu_counter ;
3470 unsigned int policy ;
3471 cpumask_t cpus_allowed ;
3472 struct sched_info sched_info ;
3473 struct list_head tasks ;
3474 struct plist_node pushable_tasks ;
3475 struct mm_struct *mm ;
3476 struct mm_struct *active_mm ;
3477 unsigned char brk_randomized : 1 ;
3478 int exit_state ;
3479 int exit_code ;
3480 int exit_signal ;
3481 int pdeath_signal ;
3482 unsigned int jobctl ;
3483 unsigned int personality ;
3484 unsigned char did_exec : 1 ;
3485 unsigned char in_execve : 1 ;
3486 unsigned char in_iowait : 1 ;
3487 unsigned char sched_reset_on_fork : 1 ;
3488 unsigned char sched_contributes_to_load : 1 ;
3489 unsigned char irq_thread : 1 ;
3490 pid_t pid ;
3491 pid_t tgid ;
3492 unsigned long stack_canary ;
3493 struct task_struct *real_parent ;
3494 struct task_struct *parent ;
3495 struct list_head children ;
3496 struct list_head sibling ;
3497 struct task_struct *group_leader ;
3498 struct list_head ptraced ;
3499 struct list_head ptrace_entry ;
3500 struct pid_link pids[3U] ;
3501 struct list_head thread_group ;
3502 struct completion *vfork_done ;
3503 int *set_child_tid ;
3504 int *clear_child_tid ;
3505 cputime_t utime ;
3506 cputime_t stime ;
3507 cputime_t utimescaled ;
3508 cputime_t stimescaled ;
3509 cputime_t gtime ;
3510 cputime_t prev_utime ;
3511 cputime_t prev_stime ;
3512 unsigned long nvcsw ;
3513 unsigned long nivcsw ;
3514 struct timespec start_time ;
3515 struct timespec real_start_time ;
3516 unsigned long min_flt ;
3517 unsigned long maj_flt ;
3518 struct task_cputime cputime_expires ;
3519 struct list_head cpu_timers[3U] ;
3520 struct cred const *real_cred ;
3521 struct cred const *cred ;
3522 struct cred *replacement_session_keyring ;
3523 char comm[16U] ;
3524 int link_count ;
3525 int total_link_count ;
3526 struct sysv_sem sysvsem ;
3527 unsigned long last_switch_count ;
3528 struct thread_struct thread ;
3529 struct fs_struct *fs ;
3530 struct files_struct *files ;
3531 struct nsproxy *nsproxy ;
3532 struct signal_struct *signal ;
3533 struct sighand_struct *sighand ;
3534 sigset_t blocked ;
3535 sigset_t real_blocked ;
3536 sigset_t saved_sigmask ;
3537 struct sigpending pending ;
3538 unsigned long sas_ss_sp ;
3539 size_t sas_ss_size ;
3540 int (*notifier)(void * ) ;
3541 void *notifier_data ;
3542 sigset_t *notifier_mask ;
3543 struct audit_context *audit_context ;
3544 uid_t loginuid ;
3545 unsigned int sessionid ;
3546 seccomp_t seccomp ;
3547 u32 parent_exec_id ;
3548 u32 self_exec_id ;
3549 spinlock_t alloc_lock ;
3550 raw_spinlock_t pi_lock ;
3551 struct plist_head pi_waiters ;
3552 struct rt_mutex_waiter *pi_blocked_on ;
3553 struct mutex_waiter *blocked_on ;
3554 unsigned int irq_events ;
3555 unsigned long hardirq_enable_ip ;
3556 unsigned long hardirq_disable_ip ;
3557 unsigned int hardirq_enable_event ;
3558 unsigned int hardirq_disable_event ;
3559 int hardirqs_enabled ;
3560 int hardirq_context ;
3561 unsigned long softirq_disable_ip ;
3562 unsigned long softirq_enable_ip ;
3563 unsigned int softirq_disable_event ;
3564 unsigned int softirq_enable_event ;
3565 int softirqs_enabled ;
3566 int softirq_context ;
3567 u64 curr_chain_key ;
3568 int lockdep_depth ;
3569 unsigned int lockdep_recursion ;
3570 struct held_lock held_locks[48U] ;
3571 gfp_t lockdep_reclaim_gfp ;
3572 void *journal_info ;
3573 struct bio_list *bio_list ;
3574 struct blk_plug *plug ;
3575 struct reclaim_state *reclaim_state ;
3576 struct backing_dev_info *backing_dev_info ;
3577 struct io_context *io_context ;
3578 unsigned long ptrace_message ;
3579 siginfo_t *last_siginfo ;
3580 struct task_io_accounting ioac ;
3581 u64 acct_rss_mem1 ;
3582 u64 acct_vm_mem1 ;
3583 cputime_t acct_timexpd ;
3584 nodemask_t mems_allowed ;
3585 seqcount_t mems_allowed_seq ;
3586 int cpuset_mem_spread_rotor ;
3587 int cpuset_slab_spread_rotor ;
3588 struct css_set *cgroups ;
3589 struct list_head cg_list ;
3590 struct robust_list_head *robust_list ;
3591 struct compat_robust_list_head *compat_robust_list ;
3592 struct list_head pi_state_list ;
3593 struct futex_pi_state *pi_state_cache ;
3594 struct perf_event_context *perf_event_ctxp[2U] ;
3595 struct mutex perf_event_mutex ;
3596 struct list_head perf_event_list ;
3597 struct mempolicy *mempolicy ;
3598 short il_next ;
3599 short pref_node_fork ;
3600 struct rcu_head rcu ;
3601 struct pipe_inode_info *splice_pipe ;
3602 struct task_delay_info *delays ;
3603 int make_it_fail ;
3604 int nr_dirtied ;
3605 int nr_dirtied_pause ;
3606 unsigned long dirty_paused_when ;
3607 int latency_record_count ;
3608 struct latency_record latency_record[32U] ;
3609 unsigned long timer_slack_ns ;
3610 unsigned long default_timer_slack_ns ;
3611 struct list_head *scm_work_list ;
3612 unsigned long trace ;
3613 unsigned long trace_recursion ;
3614 struct memcg_batch_info memcg_batch ;
3615 atomic_t ptrace_bp_refcnt ;
3616};
3617#line 253 "include/linux/pm_runtime.h"
3618struct usb_device;
3619#line 253
3620struct usb_device;
3621#line 255
3622struct wusb_dev;
3623#line 255
3624struct wusb_dev;
3625#line 256
3626struct ep_device;
3627#line 256
3628struct ep_device;
3629#line 257 "include/linux/pm_runtime.h"
3630struct usb_host_endpoint {
3631 struct usb_endpoint_descriptor desc ;
3632 struct usb_ss_ep_comp_descriptor ss_ep_comp ;
3633 struct list_head urb_list ;
3634 void *hcpriv ;
3635 struct ep_device *ep_dev ;
3636 unsigned char *extra ;
3637 int extralen ;
3638 int enabled ;
3639};
3640#line 75 "include/linux/usb.h"
3641struct usb_host_interface {
3642 struct usb_interface_descriptor desc ;
3643 struct usb_host_endpoint *endpoint ;
3644 char *string ;
3645 unsigned char *extra ;
3646 int extralen ;
3647};
3648#line 89
3649enum usb_interface_condition {
3650 USB_INTERFACE_UNBOUND = 0,
3651 USB_INTERFACE_BINDING = 1,
3652 USB_INTERFACE_BOUND = 2,
3653 USB_INTERFACE_UNBINDING = 3
3654} ;
3655#line 96 "include/linux/usb.h"
3656struct usb_interface {
3657 struct usb_host_interface *altsetting ;
3658 struct usb_host_interface *cur_altsetting ;
3659 unsigned int num_altsetting ;
3660 struct usb_interface_assoc_descriptor *intf_assoc ;
3661 int minor ;
3662 enum usb_interface_condition condition ;
3663 unsigned char sysfs_files_created : 1 ;
3664 unsigned char ep_devs_created : 1 ;
3665 unsigned char unregistering : 1 ;
3666 unsigned char needs_remote_wakeup : 1 ;
3667 unsigned char needs_altsetting0 : 1 ;
3668 unsigned char needs_binding : 1 ;
3669 unsigned char reset_running : 1 ;
3670 unsigned char resetting_device : 1 ;
3671 struct device dev ;
3672 struct device *usb_dev ;
3673 atomic_t pm_usage_cnt ;
3674 struct work_struct reset_ws ;
3675};
3676#line 203 "include/linux/usb.h"
3677struct usb_interface_cache {
3678 unsigned int num_altsetting ;
3679 struct kref ref ;
3680 struct usb_host_interface altsetting[0U] ;
3681};
3682#line 230 "include/linux/usb.h"
3683struct usb_host_config {
3684 struct usb_config_descriptor desc ;
3685 char *string ;
3686 struct usb_interface_assoc_descriptor *intf_assoc[16U] ;
3687 struct usb_interface *interface[32U] ;
3688 struct usb_interface_cache *intf_cache[32U] ;
3689 unsigned char *extra ;
3690 int extralen ;
3691};
3692#line 294 "include/linux/usb.h"
3693struct usb_host_bos {
3694 struct usb_bos_descriptor *desc ;
3695 struct usb_ext_cap_descriptor *ext_cap ;
3696 struct usb_ss_cap_descriptor *ss_cap ;
3697 struct usb_ss_container_id_descriptor *ss_id ;
3698};
3699#line 306 "include/linux/usb.h"
3700struct usb_devmap {
3701 unsigned long devicemap[2U] ;
3702};
3703#line 318
3704struct mon_bus;
3705#line 318 "include/linux/usb.h"
3706struct usb_bus {
3707 struct device *controller ;
3708 int busnum ;
3709 char const *bus_name ;
3710 u8 uses_dma ;
3711 u8 uses_pio_for_control ;
3712 u8 otg_port ;
3713 unsigned char is_b_host : 1 ;
3714 unsigned char b_hnp_enable : 1 ;
3715 unsigned int sg_tablesize ;
3716 int devnum_next ;
3717 struct usb_devmap devmap ;
3718 struct usb_device *root_hub ;
3719 struct usb_bus *hs_companion ;
3720 struct list_head bus_list ;
3721 int bandwidth_allocated ;
3722 int bandwidth_int_reqs ;
3723 int bandwidth_isoc_reqs ;
3724 struct dentry *usbfs_dentry ;
3725 struct mon_bus *mon_bus ;
3726 int monitored ;
3727};
3728#line 362
3729struct usb_tt;
3730#line 362
3731struct usb_tt;
3732#line 363
3733enum usb_device_removable {
3734 USB_DEVICE_REMOVABLE_UNKNOWN = 0,
3735 USB_DEVICE_REMOVABLE = 1,
3736 USB_DEVICE_FIXED = 2
3737} ;
3738#line 369 "include/linux/usb.h"
3739struct usb_device {
3740 int devnum ;
3741 char devpath[16U] ;
3742 u32 route ;
3743 enum usb_device_state state ;
3744 enum usb_device_speed speed ;
3745 struct usb_tt *tt ;
3746 int ttport ;
3747 unsigned int toggle[2U] ;
3748 struct usb_device *parent ;
3749 struct usb_bus *bus ;
3750 struct usb_host_endpoint ep0 ;
3751 struct device dev ;
3752 struct usb_device_descriptor descriptor ;
3753 struct usb_host_bos *bos ;
3754 struct usb_host_config *config ;
3755 struct usb_host_config *actconfig ;
3756 struct usb_host_endpoint *ep_in[16U] ;
3757 struct usb_host_endpoint *ep_out[16U] ;
3758 char **rawdescriptors ;
3759 unsigned short bus_mA ;
3760 u8 portnum ;
3761 u8 level ;
3762 unsigned char can_submit : 1 ;
3763 unsigned char persist_enabled : 1 ;
3764 unsigned char have_langid : 1 ;
3765 unsigned char authorized : 1 ;
3766 unsigned char authenticated : 1 ;
3767 unsigned char wusb : 1 ;
3768 unsigned char lpm_capable : 1 ;
3769 unsigned char usb2_hw_lpm_capable : 1 ;
3770 unsigned char usb2_hw_lpm_enabled : 1 ;
3771 int string_langid ;
3772 char *product ;
3773 char *manufacturer ;
3774 char *serial ;
3775 struct list_head filelist ;
3776 struct device *usb_classdev ;
3777 struct dentry *usbfs_dentry ;
3778 int maxchild ;
3779 struct usb_device **children ;
3780 u32 quirks ;
3781 atomic_t urbnum ;
3782 unsigned long active_duration ;
3783 unsigned long connect_time ;
3784 unsigned char do_remote_wakeup : 1 ;
3785 unsigned char reset_resume : 1 ;
3786 struct wusb_dev *wusb_dev ;
3787 int slot_id ;
3788 enum usb_device_removable removable ;
3789};
3790#line 986 "include/linux/usb.h"
3791struct usb_iso_packet_descriptor {
3792 unsigned int offset ;
3793 unsigned int length ;
3794 unsigned int actual_length ;
3795 int status ;
3796};
3797#line 1028
3798struct urb;
3799#line 1028
3800struct urb;
3801#line 1029 "include/linux/usb.h"
3802struct usb_anchor {
3803 struct list_head urb_list ;
3804 wait_queue_head_t wait ;
3805 spinlock_t lock ;
3806 unsigned char poisoned : 1 ;
3807};
3808#line 1046
3809struct scatterlist;
3810#line 1046 "include/linux/usb.h"
3811struct urb {
3812 struct kref kref ;
3813 void *hcpriv ;
3814 atomic_t use_count ;
3815 atomic_t reject ;
3816 int unlinked ;
3817 struct list_head urb_list ;
3818 struct list_head anchor_list ;
3819 struct usb_anchor *anchor ;
3820 struct usb_device *dev ;
3821 struct usb_host_endpoint *ep ;
3822 unsigned int pipe ;
3823 unsigned int stream_id ;
3824 int status ;
3825 unsigned int transfer_flags ;
3826 void *transfer_buffer ;
3827 dma_addr_t transfer_dma ;
3828 struct scatterlist *sg ;
3829 int num_mapped_sgs ;
3830 int num_sgs ;
3831 u32 transfer_buffer_length ;
3832 u32 actual_length ;
3833 unsigned char *setup_packet ;
3834 dma_addr_t setup_dma ;
3835 int start_frame ;
3836 int number_of_packets ;
3837 int interval ;
3838 int error_count ;
3839 void *context ;
3840 void (*complete)(struct urb * ) ;
3841 struct usb_iso_packet_descriptor iso_frame_desc[0U] ;
3842};
3843#line 1660
3844enum v4l2_field {
3845 V4L2_FIELD_ANY = 0,
3846 V4L2_FIELD_NONE = 1,
3847 V4L2_FIELD_TOP = 2,
3848 V4L2_FIELD_BOTTOM = 3,
3849 V4L2_FIELD_INTERLACED = 4,
3850 V4L2_FIELD_SEQ_TB = 5,
3851 V4L2_FIELD_SEQ_BT = 6,
3852 V4L2_FIELD_ALTERNATE = 7,
3853 V4L2_FIELD_INTERLACED_TB = 8,
3854 V4L2_FIELD_INTERLACED_BT = 9
3855} ;
3856#line 1673
3857enum v4l2_buf_type {
3858 V4L2_BUF_TYPE_VIDEO_CAPTURE = 1,
3859 V4L2_BUF_TYPE_VIDEO_OUTPUT = 2,
3860 V4L2_BUF_TYPE_VIDEO_OVERLAY = 3,
3861 V4L2_BUF_TYPE_VBI_CAPTURE = 4,
3862 V4L2_BUF_TYPE_VBI_OUTPUT = 5,
3863 V4L2_BUF_TYPE_SLICED_VBI_CAPTURE = 6,
3864 V4L2_BUF_TYPE_SLICED_VBI_OUTPUT = 7,
3865 V4L2_BUF_TYPE_VIDEO_OUTPUT_OVERLAY = 8,
3866 V4L2_BUF_TYPE_VIDEO_CAPTURE_MPLANE = 9,
3867 V4L2_BUF_TYPE_VIDEO_OUTPUT_MPLANE = 10,
3868 V4L2_BUF_TYPE_PRIVATE = 128
3869} ;
3870#line 1693
3871enum v4l2_memory {
3872 V4L2_MEMORY_MMAP = 1,
3873 V4L2_MEMORY_USERPTR = 2,
3874 V4L2_MEMORY_OVERLAY = 3
3875} ;
3876#line 1699
3877enum v4l2_colorspace {
3878 V4L2_COLORSPACE_SMPTE170M = 1,
3879 V4L2_COLORSPACE_SMPTE240M = 2,
3880 V4L2_COLORSPACE_REC709 = 3,
3881 V4L2_COLORSPACE_BT878 = 4,
3882 V4L2_COLORSPACE_470_SYSTEM_M = 5,
3883 V4L2_COLORSPACE_470_SYSTEM_BG = 6,
3884 V4L2_COLORSPACE_JPEG = 7,
3885 V4L2_COLORSPACE_SRGB = 8
3886} ;
3887#line 232 "include/linux/videodev2.h"
3888struct v4l2_fract {
3889 __u32 numerator ;
3890 __u32 denominator ;
3891};
3892#line 258 "include/linux/videodev2.h"
3893struct v4l2_pix_format {
3894 __u32 width ;
3895 __u32 height ;
3896 __u32 pixelformat ;
3897 enum v4l2_field field ;
3898 __u32 bytesperline ;
3899 __u32 sizeimage ;
3900 enum v4l2_colorspace colorspace ;
3901 __u32 priv ;
3902};
3903#line 512 "include/linux/videodev2.h"
3904struct v4l2_timecode {
3905 __u32 type ;
3906 __u32 flags ;
3907 __u8 frames ;
3908 __u8 seconds ;
3909 __u8 minutes ;
3910 __u8 hours ;
3911 __u8 userbits[4U] ;
3912};
3913#line 526 "include/linux/videodev2.h"
3914struct v4l2_jpegcompression {
3915 int quality ;
3916 int APPn ;
3917 int APP_len ;
3918 char APP_data[60U] ;
3919 int COM_len ;
3920 char COM_data[60U] ;
3921 __u32 jpeg_markers ;
3922};
3923#line 580 "include/linux/videodev2.h"
3924union __anonunion_m_177 {
3925 __u32 mem_offset ;
3926 unsigned long userptr ;
3927};
3928#line 580 "include/linux/videodev2.h"
3929struct v4l2_plane {
3930 __u32 bytesused ;
3931 __u32 length ;
3932 union __anonunion_m_177 m ;
3933 __u32 data_offset ;
3934 __u32 reserved[11U] ;
3935};
3936#line 609 "include/linux/videodev2.h"
3937union __anonunion_m_178 {
3938 __u32 offset ;
3939 unsigned long userptr ;
3940 struct v4l2_plane *planes ;
3941};
3942#line 609 "include/linux/videodev2.h"
3943struct v4l2_buffer {
3944 __u32 index ;
3945 enum v4l2_buf_type type ;
3946 __u32 bytesused ;
3947 __u32 flags ;
3948 enum v4l2_field field ;
3949 struct timeval timestamp ;
3950 struct v4l2_timecode timecode ;
3951 __u32 sequence ;
3952 enum v4l2_memory memory ;
3953 union __anonunion_m_178 m ;
3954 __u32 length ;
3955 __u32 input ;
3956 __u32 reserved ;
3957};
3958#line 718 "include/linux/videodev2.h"
3959struct v4l2_captureparm {
3960 __u32 capability ;
3961 __u32 capturemode ;
3962 struct v4l2_fract timeperframe ;
3963 __u32 extendedmode ;
3964 __u32 readbuffers ;
3965 __u32 reserved[4U] ;
3966};
3967#line 730 "include/linux/videodev2.h"
3968struct v4l2_outputparm {
3969 __u32 capability ;
3970 __u32 outputmode ;
3971 struct v4l2_fract timeperframe ;
3972 __u32 extendedmode ;
3973 __u32 writebuffers ;
3974 __u32 reserved[4U] ;
3975};
3976#line 805 "include/linux/videodev2.h"
3977typedef __u64 v4l2_std_id;
3978#line 1132
3979enum v4l2_ctrl_type {
3980 V4L2_CTRL_TYPE_INTEGER = 1,
3981 V4L2_CTRL_TYPE_BOOLEAN = 2,
3982 V4L2_CTRL_TYPE_MENU = 3,
3983 V4L2_CTRL_TYPE_BUTTON = 4,
3984 V4L2_CTRL_TYPE_INTEGER64 = 5,
3985 V4L2_CTRL_TYPE_CTRL_CLASS = 6,
3986 V4L2_CTRL_TYPE_STRING = 7,
3987 V4L2_CTRL_TYPE_BITMASK = 8
3988} ;
3989#line 1143 "include/linux/videodev2.h"
3990struct v4l2_queryctrl {
3991 __u32 id ;
3992 enum v4l2_ctrl_type type ;
3993 __u8 name[32U] ;
3994 __s32 minimum ;
3995 __s32 maximum ;
3996 __s32 step ;
3997 __s32 default_value ;
3998 __u32 flags ;
3999 __u32 reserved[2U] ;
4000};
4001#line 1168 "include/linux/videodev2.h"
4002struct v4l2_querymenu {
4003 __u32 id ;
4004 __u32 index ;
4005 __u8 name[32U] ;
4006 __u32 reserved ;
4007};
4008#line 2178 "include/linux/videodev2.h"
4009union __anonunion_parm_189 {
4010 struct v4l2_captureparm capture ;
4011 struct v4l2_outputparm output ;
4012 __u8 raw_data[200U] ;
4013};
4014#line 2178 "include/linux/videodev2.h"
4015struct v4l2_streamparm {
4016 enum v4l2_buf_type type ;
4017 union __anonunion_parm_189 parm ;
4018};
4019#line 2253 "include/linux/videodev2.h"
4020union __anonunion_ldv_25043_192 {
4021 __u32 addr ;
4022 char name[32U] ;
4023};
4024#line 2253 "include/linux/videodev2.h"
4025struct v4l2_dbg_match {
4026 __u32 type ;
4027 union __anonunion_ldv_25043_192 ldv_25043 ;
4028};
4029#line 2275 "include/linux/videodev2.h"
4030struct v4l2_dbg_register {
4031 struct v4l2_dbg_match match ;
4032 __u32 size ;
4033 __u64 reg ;
4034 __u64 val ;
4035};
4036#line 2282 "include/linux/videodev2.h"
4037struct v4l2_dbg_chip_ident {
4038 struct v4l2_dbg_match match ;
4039 __u32 ident ;
4040 __u32 revision ;
4041};
4042#line 34 "include/linux/poll.h"
4043struct poll_table_struct {
4044 void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
4045 unsigned long _key ;
4046};
4047#line 165 "include/linux/poll.h"
4048struct cdev {
4049 struct kobject kobj ;
4050 struct module *owner ;
4051 struct file_operations const *ops ;
4052 struct list_head list ;
4053 dev_t dev ;
4054 unsigned int count ;
4055};
4056#line 126 "include/linux/media.h"
4057struct media_pipeline {
4058
4059};
4060#line 129
4061struct media_pad;
4062#line 129 "include/linux/media.h"
4063struct media_link {
4064 struct media_pad *source ;
4065 struct media_pad *sink ;
4066 struct media_link *reverse ;
4067 unsigned long flags ;
4068};
4069#line 38 "include/media/media-entity.h"
4070struct media_entity;
4071#line 38 "include/media/media-entity.h"
4072struct media_pad {
4073 struct media_entity *entity ;
4074 u16 index ;
4075 unsigned long flags ;
4076};
4077#line 44 "include/media/media-entity.h"
4078struct media_entity_operations {
4079 int (*link_setup)(struct media_entity * , struct media_pad const * , struct media_pad const * ,
4080 u32 ) ;
4081};
4082#line 48
4083struct media_device;
4084#line 48 "include/media/media-entity.h"
4085struct __anonstruct_v4l_199 {
4086 u32 major ;
4087 u32 minor ;
4088};
4089#line 48 "include/media/media-entity.h"
4090struct __anonstruct_fb_200 {
4091 u32 major ;
4092 u32 minor ;
4093};
4094#line 48 "include/media/media-entity.h"
4095struct __anonstruct_alsa_201 {
4096 u32 card ;
4097 u32 device ;
4098 u32 subdevice ;
4099};
4100#line 48 "include/media/media-entity.h"
4101union __anonunion_info_198 {
4102 struct __anonstruct_v4l_199 v4l ;
4103 struct __anonstruct_fb_200 fb ;
4104 struct __anonstruct_alsa_201 alsa ;
4105 int dvb ;
4106};
4107#line 48 "include/media/media-entity.h"
4108struct media_entity {
4109 struct list_head list ;
4110 struct media_device *parent ;
4111 u32 id ;
4112 char const *name ;
4113 u32 type ;
4114 u32 revision ;
4115 unsigned long flags ;
4116 u32 group_id ;
4117 u16 num_pads ;
4118 u16 num_links ;
4119 u16 num_backlinks ;
4120 u16 max_links ;
4121 struct media_pad *pads ;
4122 struct media_link *links ;
4123 struct media_entity_operations const *ops ;
4124 int stream_count ;
4125 int use_count ;
4126 struct media_pipeline *pipe ;
4127 union __anonunion_info_198 info ;
4128};
4129#line 147
4130struct video_device;
4131#line 147
4132struct video_device;
4133#line 148
4134struct v4l2_device;
4135#line 148
4136struct v4l2_device;
4137#line 149
4138struct v4l2_ctrl_handler;
4139#line 149
4140struct v4l2_ctrl_handler;
4141#line 150 "include/media/media-entity.h"
4142struct v4l2_prio_state {
4143 atomic_t prios[4U] ;
4144};
4145#line 56 "include/media/v4l2-dev.h"
4146struct v4l2_file_operations {
4147 struct module *owner ;
4148 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
4149 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
4150 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
4151 long (*ioctl)(struct file * , unsigned int , unsigned long ) ;
4152 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
4153 long (*compat_ioctl32)(struct file * , unsigned int , unsigned long ) ;
4154 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
4155 unsigned long , unsigned long ) ;
4156 int (*mmap)(struct file * , struct vm_area_struct * ) ;
4157 int (*open)(struct file * ) ;
4158 int (*release)(struct file * ) ;
4159};
4160#line 74
4161struct v4l2_ioctl_ops;
4162#line 74 "include/media/v4l2-dev.h"
4163struct video_device {
4164 struct media_entity entity ;
4165 struct v4l2_file_operations const *fops ;
4166 struct device dev ;
4167 struct cdev *cdev ;
4168 struct device *parent ;
4169 struct v4l2_device *v4l2_dev ;
4170 struct v4l2_ctrl_handler *ctrl_handler ;
4171 struct v4l2_prio_state *prio ;
4172 char name[32U] ;
4173 int vfl_type ;
4174 int minor ;
4175 u16 num ;
4176 unsigned long flags ;
4177 int index ;
4178 spinlock_t fh_lock ;
4179 struct list_head fh_list ;
4180 int debug ;
4181 v4l2_std_id tvnorms ;
4182 v4l2_std_id current_norm ;
4183 void (*release)(struct video_device * ) ;
4184 struct v4l2_ioctl_ops const *ioctl_ops ;
4185 struct mutex *lock ;
4186};
4187#line 212 "include/media/v4l2-common.h"
4188struct framerates {
4189 u8 const *rates ;
4190 int nrates ;
4191};
4192#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4193struct gspca_ctrl {
4194 s16 val ;
4195 s16 def ;
4196 s16 min ;
4197 s16 max ;
4198};
4199#line 53 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4200struct cam {
4201 struct v4l2_pix_format const *cam_mode ;
4202 struct framerates const *mode_framerates ;
4203 struct gspca_ctrl *ctrls ;
4204 u32 bulk_size ;
4205 u32 input_flags ;
4206 u8 nmodes ;
4207 u8 no_urb_create ;
4208 u8 bulk_nurbs ;
4209 u8 bulk ;
4210 u8 npkt ;
4211 u8 needs_full_bandwidth ;
4212};
4213#line 74
4214struct gspca_dev;
4215#line 74
4216struct gspca_dev;
4217#line 75
4218struct gspca_frame;
4219#line 75
4220struct gspca_frame;
4221#line 98 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4222struct ctrl {
4223 struct v4l2_queryctrl qctrl ;
4224 int (*set)(struct gspca_dev * , __s32 ) ;
4225 int (*get)(struct gspca_dev * , __s32 * ) ;
4226 void (*set_control)(struct gspca_dev * ) ;
4227};
4228#line 107 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4229struct sd_desc {
4230 char const *name ;
4231 struct ctrl const *ctrls ;
4232 int nctrls ;
4233 int (*config)(struct gspca_dev * , struct usb_device_id const * ) ;
4234 int (*init)(struct gspca_dev * ) ;
4235 int (*start)(struct gspca_dev * ) ;
4236 void (*pkt_scan)(struct gspca_dev * , u8 * , int ) ;
4237 int (*isoc_init)(struct gspca_dev * ) ;
4238 int (*isoc_nego)(struct gspca_dev * ) ;
4239 void (*stopN)(struct gspca_dev * ) ;
4240 void (*stop0)(struct gspca_dev * ) ;
4241 void (*dq_callback)(struct gspca_dev * ) ;
4242 int (*get_jcomp)(struct gspca_dev * , struct v4l2_jpegcompression * ) ;
4243 int (*set_jcomp)(struct gspca_dev * , struct v4l2_jpegcompression * ) ;
4244 int (*querymenu)(struct gspca_dev * , struct v4l2_querymenu * ) ;
4245 void (*get_streamparm)(struct gspca_dev * , struct v4l2_streamparm * ) ;
4246 void (*set_streamparm)(struct gspca_dev * , struct v4l2_streamparm * ) ;
4247 int (*set_register)(struct gspca_dev * , struct v4l2_dbg_register * ) ;
4248 int (*get_register)(struct gspca_dev * , struct v4l2_dbg_register * ) ;
4249 int (*get_chip_ident)(struct gspca_dev * , struct v4l2_dbg_chip_ident * ) ;
4250 int (*int_pkt_scan)(struct gspca_dev * , u8 * , int ) ;
4251 u8 other_input ;
4252};
4253#line 142
4254enum gspca_packet_type {
4255 DISCARD_PACKET = 0,
4256 FIRST_PACKET = 1,
4257 INTER_PACKET = 2,
4258 LAST_PACKET = 3
4259} ;
4260#line 149 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4261struct gspca_frame {
4262 __u8 *data ;
4263 int vma_use_count ;
4264 struct v4l2_buffer v4l2_buf ;
4265};
4266#line 157 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4267struct gspca_dev {
4268 struct video_device vdev ;
4269 struct module *module ;
4270 struct usb_device *dev ;
4271 struct file *capt_file ;
4272 struct input_dev *input_dev ;
4273 char phys[64U] ;
4274 struct cam cam ;
4275 struct sd_desc const *sd_desc ;
4276 unsigned int ctrl_dis ;
4277 unsigned int ctrl_inac ;
4278 __u8 *usb_buf ;
4279 struct urb *urb[4U] ;
4280 struct urb *int_urb ;
4281 __u8 *frbuf ;
4282 struct gspca_frame frame[16U] ;
4283 u8 *image ;
4284 __u32 frsz ;
4285 u32 image_len ;
4286 atomic_t fr_q ;
4287 atomic_t fr_i ;
4288 signed char fr_queue[16U] ;
4289 char nframes ;
4290 u8 fr_o ;
4291 __u8 last_packet_type ;
4292 __s8 empty_packet ;
4293 __u8 streaming ;
4294 __u8 curr_mode ;
4295 __u32 pixfmt ;
4296 __u16 width ;
4297 __u16 height ;
4298 __u32 sequence ;
4299 wait_queue_head_t wq ;
4300 struct mutex usb_lock ;
4301 struct mutex queue_lock ;
4302 int usb_err ;
4303 u16 pkt_size ;
4304 char frozen ;
4305 char present ;
4306 char nbufread ;
4307 char memory ;
4308 __u8 iface ;
4309 __u8 alt ;
4310 u8 audio ;
4311};
4312#line 51 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4313struct sd {
4314 struct gspca_dev gspca_dev ;
4315 u8 mode ;
4316 u8 brightness ;
4317 u8 exposure ;
4318 u8 autogain ;
4319 u8 gain ;
4320 u8 sof_read ;
4321 u8 header_read ;
4322 u8 autogain_ignore_frames ;
4323 atomic_t avg_lum ;
4324};
4325#line 1 "<compiler builtins>"
4326
4327#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4328void ldv_spin_lock(void) ;
4329#line 3
4330void ldv_spin_unlock(void) ;
4331#line 4
4332int ldv_spin_trylock(void) ;
4333#line 101 "include/linux/printk.h"
4334extern int printk(char const * , ...) ;
4335#line 23 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/atomic.h"
4336__inline static int atomic_read(atomic_t const *v )
4337{ int const *__cil_tmp2 ;
4338 int volatile *__cil_tmp3 ;
4339 int volatile __cil_tmp4 ;
4340
4341 {
4342 {
4343#line 25
4344 __cil_tmp2 = (int const *)v;
4345#line 25
4346 __cil_tmp3 = (int volatile *)__cil_tmp2;
4347#line 25
4348 __cil_tmp4 = *__cil_tmp3;
4349#line 25
4350 return ((int )__cil_tmp4);
4351 }
4352}
4353}
4354#line 35 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/atomic.h"
4355__inline static void atomic_set(atomic_t *v , int i )
4356{
4357
4358 {
4359#line 37
4360 *((int *)v) = i;
4361#line 38
4362 return;
4363}
4364}
4365#line 26 "include/linux/export.h"
4366extern struct module __this_module ;
4367#line 220 "include/linux/slub_def.h"
4368extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
4369#line 223
4370void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
4371#line 11 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4372void ldv_check_alloc_flags(gfp_t flags ) ;
4373#line 12
4374void ldv_check_alloc_nonatomic(void) ;
4375#line 14
4376struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
4377#line 1502 "include/linux/input.h"
4378extern void input_event(struct input_dev * , unsigned int , unsigned int , int ) ;
4379#line 1505 "include/linux/input.h"
4380__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
4381 int value )
4382{ int __cil_tmp4 ;
4383
4384 {
4385 {
4386#line 1507
4387 __cil_tmp4 = value != 0;
4388#line 1507
4389 input_event(dev, 1U, code, __cil_tmp4);
4390 }
4391#line 1508
4392 return;
4393}
4394}
4395#line 1530 "include/linux/input.h"
4396__inline static void input_sync(struct input_dev *dev )
4397{
4398
4399 {
4400 {
4401#line 1532
4402 input_event(dev, 0U, 0U, 0);
4403 }
4404#line 1533
4405 return;
4406}
4407}
4408#line 46 "include/linux/delay.h"
4409extern void msleep(unsigned int ) ;
4410#line 1443 "include/linux/usb.h"
4411extern int usb_control_msg(struct usb_device * , unsigned int , __u8 , __u8 , __u16 ,
4412 __u16 , void * , __u16 , int ) ;
4413#line 1567 "include/linux/usb.h"
4414__inline static unsigned int __create_pipe(struct usb_device *dev , unsigned int endpoint )
4415{ unsigned int __cil_tmp3 ;
4416 int __cil_tmp4 ;
4417 int __cil_tmp5 ;
4418 unsigned int __cil_tmp6 ;
4419
4420 {
4421 {
4422#line 1570
4423 __cil_tmp3 = endpoint << 15;
4424#line 1570
4425 __cil_tmp4 = *((int *)dev);
4426#line 1570
4427 __cil_tmp5 = __cil_tmp4 << 8;
4428#line 1570
4429 __cil_tmp6 = (unsigned int )__cil_tmp5;
4430#line 1570
4431 return (__cil_tmp6 | __cil_tmp3);
4432 }
4433}
4434}
4435#line 216 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4436extern int gspca_dev_probe(struct usb_interface * , struct usb_device_id const * ,
4437 struct sd_desc const * , int , struct module * ) ;
4438#line 227
4439extern void gspca_frame_add(struct gspca_dev * , enum gspca_packet_type , u8 const * ,
4440 int ) ;
4441#line 235
4442extern int gspca_auto_gain_n_exposure(struct gspca_dev * , int , int , int , int ,
4443 int ) ;
4444#line 89 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4445static int sd_setbrightness(struct gspca_dev *gspca_dev , __s32 val ) ;
4446#line 90
4447static int sd_getbrightness(struct gspca_dev *gspca_dev , __s32 *val ) ;
4448#line 91
4449static int sd_setexposure(struct gspca_dev *gspca_dev , __s32 val ) ;
4450#line 92
4451static int sd_getexposure(struct gspca_dev *gspca_dev , __s32 *val ) ;
4452#line 93
4453static int sd_setautogain(struct gspca_dev *gspca_dev , __s32 val ) ;
4454#line 94
4455static int sd_getautogain(struct gspca_dev *gspca_dev , __s32 *val ) ;
4456#line 95
4457static int sd_setgain(struct gspca_dev *gspca_dev , __s32 val ) ;
4458#line 96
4459static int sd_getgain(struct gspca_dev *gspca_dev , __s32 *val ) ;
4460#line 98 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4461static struct ctrl const sd_ctrls[4U] = { {{9963776U, (enum v4l2_ctrl_type )1, {(__u8 )'B', (__u8 )'r', (__u8 )'i', (__u8 )'g',
4462 (__u8 )'h', (__u8 )'t', (__u8 )'n', (__u8 )'e',
4463 (__u8 )'s', (__u8 )'s', (__u8 )'\000'},
4464 0, 255, 1, 46, 0U, {0U, 0U}}, & sd_setbrightness, & sd_getbrightness, (void (*)(struct gspca_dev * ))0},
4465 {{9963793U,
4466 (enum v4l2_ctrl_type )1, {(__u8 )'E', (__u8 )'x', (__u8 )'p', (__u8 )'o', (__u8 )'s',
4467 (__u8 )'u', (__u8 )'r', (__u8 )'e', (__u8 )'\000'},
4468 3, 90, 1, 5, 0U, {0U, 0U}}, & sd_setexposure, & sd_getexposure, (void (*)(struct gspca_dev * ))0},
4469 {{9963794U,
4470 (enum v4l2_ctrl_type )2, {(__u8 )'A', (__u8 )'u', (__u8 )'t', (__u8 )'o', (__u8 )' ',
4471 (__u8 )'G', (__u8 )'a', (__u8 )'i', (__u8 )'n', (__u8 )'\000'},
4472 0, 1, 1, 1, 0U, {0U, 0U}}, & sd_setautogain, & sd_getautogain, (void (*)(struct gspca_dev * ))0},
4473 {{9963795U,
4474 (enum v4l2_ctrl_type )1, {(__u8 )'G', (__u8 )'a', (__u8 )'i', (__u8 )'n', (__u8 )'\000'},
4475 0, 31, 1, 7, 0U, {0U, 0U}}, & sd_setgain, & sd_getgain, (void (*)(struct gspca_dev * ))0}};
4476#line 162 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4477static struct v4l2_pix_format const sif_mode[2U] = { {176U, 144U, 925905488U, (enum v4l2_field )1, 176U, 25632U, (enum v4l2_colorspace )8,
4478 1U},
4479 {352U, 288U, 925905488U, (enum v4l2_field )1, 352U, 101952U, (enum v4l2_colorspace )8,
4480 0U}};
4481#line 178 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4482static __u8 const pac207_sensor_init[4U][8U] = { { (__u8 const )16U, (__u8 const )18U, (__u8 const )13U, (__u8 const )18U,
4483 (__u8 const )12U, (__u8 const )1U, (__u8 const )41U, (__u8 const )132U},
4484 { (__u8 const )73U, (__u8 const )100U, (__u8 const )100U, (__u8 const )100U,
4485 (__u8 const )4U, (__u8 const )16U, (__u8 const )240U, (__u8 const )48U},
4486 { (__u8 const )0U, (__u8 const )0U, (__u8 const )0U, (__u8 const )112U,
4487 (__u8 const )160U, (__u8 const )248U, (__u8 const )0U, (__u8 const )0U},
4488 { (__u8 const )50U, (__u8 const )0U, (__u8 const )150U, (__u8 const )0U,
4489 (__u8 const )162U, (__u8 const )2U, (__u8 const )175U, (__u8 const )0U}};
4490#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4491static int pac207_write_regs(struct gspca_dev *gspca_dev , u16 index , u8 const *buffer ,
4492 u16 length )
4493{ struct usb_device *udev ;
4494 int err ;
4495 size_t __len ;
4496 void *__ret ;
4497 unsigned int tmp ;
4498 unsigned long __cil_tmp10 ;
4499 unsigned long __cil_tmp11 ;
4500 unsigned long __cil_tmp12 ;
4501 unsigned long __cil_tmp13 ;
4502 __u8 *__cil_tmp14 ;
4503 void *__cil_tmp15 ;
4504 void const *__cil_tmp16 ;
4505 unsigned int __cil_tmp17 ;
4506 __u8 __cil_tmp18 ;
4507 __u8 __cil_tmp19 ;
4508 __u16 __cil_tmp20 ;
4509 int __cil_tmp21 ;
4510 __u16 __cil_tmp22 ;
4511 unsigned long __cil_tmp23 ;
4512 unsigned long __cil_tmp24 ;
4513 __u8 *__cil_tmp25 ;
4514 void *__cil_tmp26 ;
4515 int __cil_tmp27 ;
4516 __u16 __cil_tmp28 ;
4517 int __cil_tmp29 ;
4518
4519 {
4520 {
4521#line 188
4522 __cil_tmp10 = (unsigned long )gspca_dev;
4523#line 188
4524 __cil_tmp11 = __cil_tmp10 + 1536;
4525#line 188
4526 udev = *((struct usb_device **)__cil_tmp11);
4527#line 191
4528 __len = (size_t )length;
4529#line 191
4530 __cil_tmp12 = (unsigned long )gspca_dev;
4531#line 191
4532 __cil_tmp13 = __cil_tmp12 + 1680;
4533#line 191
4534 __cil_tmp14 = *((__u8 **)__cil_tmp13);
4535#line 191
4536 __cil_tmp15 = (void *)__cil_tmp14;
4537#line 191
4538 __cil_tmp16 = (void const *)buffer;
4539#line 191
4540 __ret = __builtin_memcpy(__cil_tmp15, __cil_tmp16, __len);
4541#line 193
4542 tmp = __create_pipe(udev, 0U);
4543#line 193
4544 __cil_tmp17 = tmp | 2147483648U;
4545#line 193
4546 __cil_tmp18 = (__u8 )1;
4547#line 193
4548 __cil_tmp19 = (__u8 )65;
4549#line 193
4550 __cil_tmp20 = (__u16 )0;
4551#line 193
4552 __cil_tmp21 = (int )index;
4553#line 193
4554 __cil_tmp22 = (__u16 )__cil_tmp21;
4555#line 193
4556 __cil_tmp23 = (unsigned long )gspca_dev;
4557#line 193
4558 __cil_tmp24 = __cil_tmp23 + 1680;
4559#line 193
4560 __cil_tmp25 = *((__u8 **)__cil_tmp24);
4561#line 193
4562 __cil_tmp26 = (void *)__cil_tmp25;
4563#line 193
4564 __cil_tmp27 = (int )length;
4565#line 193
4566 __cil_tmp28 = (__u16 )__cil_tmp27;
4567#line 193
4568 err = usb_control_msg(udev, __cil_tmp17, __cil_tmp18, __cil_tmp19, __cil_tmp20,
4569 __cil_tmp22, __cil_tmp26, __cil_tmp28, 100);
4570 }
4571#line 197
4572 if (err < 0) {
4573 {
4574#line 198
4575 __cil_tmp29 = (int )index;
4576#line 198
4577 printk("<3>gspca_pac207: Failed to write registers to index 0x%04X, error %d\n",
4578 __cil_tmp29, err);
4579 }
4580 } else {
4581
4582 }
4583#line 201
4584 return (err);
4585}
4586}
4587#line 205 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4588static int pac207_write_reg(struct gspca_dev *gspca_dev , u16 index , u16 value )
4589{ struct usb_device *udev ;
4590 int err ;
4591 unsigned int tmp ;
4592 unsigned long __cil_tmp7 ;
4593 unsigned long __cil_tmp8 ;
4594 unsigned int __cil_tmp9 ;
4595 __u8 __cil_tmp10 ;
4596 __u8 __cil_tmp11 ;
4597 int __cil_tmp12 ;
4598 __u16 __cil_tmp13 ;
4599 int __cil_tmp14 ;
4600 __u16 __cil_tmp15 ;
4601 void *__cil_tmp16 ;
4602 __u16 __cil_tmp17 ;
4603 int __cil_tmp18 ;
4604 int __cil_tmp19 ;
4605
4606 {
4607 {
4608#line 207
4609 __cil_tmp7 = (unsigned long )gspca_dev;
4610#line 207
4611 __cil_tmp8 = __cil_tmp7 + 1536;
4612#line 207
4613 udev = *((struct usb_device **)__cil_tmp8);
4614#line 210
4615 tmp = __create_pipe(udev, 0U);
4616#line 210
4617 __cil_tmp9 = tmp | 2147483648U;
4618#line 210
4619 __cil_tmp10 = (__u8 )0;
4620#line 210
4621 __cil_tmp11 = (__u8 )65;
4622#line 210
4623 __cil_tmp12 = (int )value;
4624#line 210
4625 __cil_tmp13 = (__u16 )__cil_tmp12;
4626#line 210
4627 __cil_tmp14 = (int )index;
4628#line 210
4629 __cil_tmp15 = (__u16 )__cil_tmp14;
4630#line 210
4631 __cil_tmp16 = (void *)0;
4632#line 210
4633 __cil_tmp17 = (__u16 )0;
4634#line 210
4635 err = usb_control_msg(udev, __cil_tmp9, __cil_tmp10, __cil_tmp11, __cil_tmp13, __cil_tmp15,
4636 __cil_tmp16, __cil_tmp17, 100);
4637 }
4638#line 213
4639 if (err != 0) {
4640 {
4641#line 214
4642 __cil_tmp18 = (int )index;
4643#line 214
4644 __cil_tmp19 = (int )value;
4645#line 214
4646 printk("<3>gspca_pac207: Failed to write a register (index 0x%04X, value 0x%02X, error %d)\n",
4647 __cil_tmp18, __cil_tmp19, err);
4648 }
4649 } else {
4650
4651 }
4652#line 217
4653 return (err);
4654}
4655}
4656#line 220 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4657static int pac207_read_reg(struct gspca_dev *gspca_dev , u16 index )
4658{ struct usb_device *udev ;
4659 int res ;
4660 unsigned int tmp ;
4661 unsigned long __cil_tmp6 ;
4662 unsigned long __cil_tmp7 ;
4663 unsigned int __cil_tmp8 ;
4664 __u8 __cil_tmp9 ;
4665 __u8 __cil_tmp10 ;
4666 __u16 __cil_tmp11 ;
4667 int __cil_tmp12 ;
4668 __u16 __cil_tmp13 ;
4669 unsigned long __cil_tmp14 ;
4670 unsigned long __cil_tmp15 ;
4671 __u8 *__cil_tmp16 ;
4672 void *__cil_tmp17 ;
4673 __u16 __cil_tmp18 ;
4674 int __cil_tmp19 ;
4675 unsigned long __cil_tmp20 ;
4676 unsigned long __cil_tmp21 ;
4677 __u8 *__cil_tmp22 ;
4678 __u8 __cil_tmp23 ;
4679
4680 {
4681 {
4682#line 222
4683 __cil_tmp6 = (unsigned long )gspca_dev;
4684#line 222
4685 __cil_tmp7 = __cil_tmp6 + 1536;
4686#line 222
4687 udev = *((struct usb_device **)__cil_tmp7);
4688#line 225
4689 tmp = __create_pipe(udev, 0U);
4690#line 225
4691 __cil_tmp8 = tmp | 2147483776U;
4692#line 225
4693 __cil_tmp9 = (__u8 )0;
4694#line 225
4695 __cil_tmp10 = (__u8 )193;
4696#line 225
4697 __cil_tmp11 = (__u16 )0;
4698#line 225
4699 __cil_tmp12 = (int )index;
4700#line 225
4701 __cil_tmp13 = (__u16 )__cil_tmp12;
4702#line 225
4703 __cil_tmp14 = (unsigned long )gspca_dev;
4704#line 225
4705 __cil_tmp15 = __cil_tmp14 + 1680;
4706#line 225
4707 __cil_tmp16 = *((__u8 **)__cil_tmp15);
4708#line 225
4709 __cil_tmp17 = (void *)__cil_tmp16;
4710#line 225
4711 __cil_tmp18 = (__u16 )1;
4712#line 225
4713 res = usb_control_msg(udev, __cil_tmp8, __cil_tmp9, __cil_tmp10, __cil_tmp11, __cil_tmp13,
4714 __cil_tmp17, __cil_tmp18, 100);
4715 }
4716#line 229
4717 if (res < 0) {
4718 {
4719#line 230
4720 __cil_tmp19 = (int )index;
4721#line 230
4722 printk("<3>gspca_pac207: Failed to read a register (index 0x%04X, error %d)\n",
4723 __cil_tmp19, res);
4724 }
4725#line 232
4726 return (res);
4727 } else {
4728
4729 }
4730 {
4731#line 235
4732 __cil_tmp20 = (unsigned long )gspca_dev;
4733#line 235
4734 __cil_tmp21 = __cil_tmp20 + 1680;
4735#line 235
4736 __cil_tmp22 = *((__u8 **)__cil_tmp21);
4737#line 235
4738 __cil_tmp23 = *__cil_tmp22;
4739#line 235
4740 return ((int )__cil_tmp23);
4741 }
4742}
4743}
4744#line 239 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4745static int sd_config(struct gspca_dev *gspca_dev , struct usb_device_id const *id )
4746{ struct sd *sd ;
4747 struct cam *cam ;
4748 u8 idreg[2U] ;
4749 int tmp ;
4750 int tmp___0 ;
4751 u16 __cil_tmp8 ;
4752 unsigned long __cil_tmp9 ;
4753 unsigned long __cil_tmp10 ;
4754 u16 __cil_tmp11 ;
4755 unsigned long __cil_tmp12 ;
4756 unsigned long __cil_tmp13 ;
4757 unsigned long __cil_tmp14 ;
4758 unsigned long __cil_tmp15 ;
4759 unsigned long __cil_tmp16 ;
4760 unsigned long __cil_tmp17 ;
4761 u8 __cil_tmp18 ;
4762 int __cil_tmp19 ;
4763 int __cil_tmp20 ;
4764 signed char __cil_tmp21 ;
4765 int __cil_tmp22 ;
4766 unsigned long __cil_tmp23 ;
4767 unsigned long __cil_tmp24 ;
4768 u8 __cil_tmp25 ;
4769 int __cil_tmp26 ;
4770 int __cil_tmp27 ;
4771 signed char __cil_tmp28 ;
4772 int __cil_tmp29 ;
4773 int __cil_tmp30 ;
4774 unsigned long __cil_tmp31 ;
4775 unsigned long __cil_tmp32 ;
4776 unsigned long __cil_tmp33 ;
4777 unsigned long __cil_tmp34 ;
4778 u8 __cil_tmp35 ;
4779 unsigned int __cil_tmp36 ;
4780 unsigned int __cil_tmp37 ;
4781 unsigned long __cil_tmp38 ;
4782 unsigned long __cil_tmp39 ;
4783 u8 __cil_tmp40 ;
4784 unsigned int __cil_tmp41 ;
4785 unsigned long __cil_tmp42 ;
4786 unsigned long __cil_tmp43 ;
4787 unsigned long __cil_tmp44 ;
4788 unsigned long __cil_tmp45 ;
4789 unsigned long __cil_tmp46 ;
4790 unsigned long __cil_tmp47 ;
4791 unsigned long __cil_tmp48 ;
4792 unsigned long __cil_tmp49 ;
4793 unsigned long __cil_tmp50 ;
4794 unsigned long __cil_tmp51 ;
4795 unsigned long __cil_tmp52 ;
4796 unsigned long __cil_tmp53 ;
4797
4798 {
4799 {
4800#line 242
4801 sd = (struct sd *)gspca_dev;
4802#line 246
4803 __cil_tmp8 = (u16 )0;
4804#line 246
4805 tmp = pac207_read_reg(gspca_dev, __cil_tmp8);
4806#line 246
4807 __cil_tmp9 = 0 * 1UL;
4808#line 246
4809 __cil_tmp10 = (unsigned long )(idreg) + __cil_tmp9;
4810#line 246
4811 *((u8 *)__cil_tmp10) = (u8 )tmp;
4812#line 247
4813 __cil_tmp11 = (u16 )1;
4814#line 247
4815 tmp___0 = pac207_read_reg(gspca_dev, __cil_tmp11);
4816#line 247
4817 __cil_tmp12 = 1 * 1UL;
4818#line 247
4819 __cil_tmp13 = (unsigned long )(idreg) + __cil_tmp12;
4820#line 247
4821 *((u8 *)__cil_tmp13) = (u8 )tmp___0;
4822#line 248
4823 __cil_tmp14 = 0 * 1UL;
4824#line 248
4825 __cil_tmp15 = (unsigned long )(idreg) + __cil_tmp14;
4826#line 248
4827 __cil_tmp16 = 1 * 1UL;
4828#line 248
4829 __cil_tmp17 = (unsigned long )(idreg) + __cil_tmp16;
4830#line 248
4831 __cil_tmp18 = *((u8 *)__cil_tmp17);
4832#line 248
4833 __cil_tmp19 = (int )__cil_tmp18;
4834#line 248
4835 __cil_tmp20 = __cil_tmp19 >> 4;
4836#line 248
4837 __cil_tmp21 = (signed char )__cil_tmp20;
4838#line 248
4839 __cil_tmp22 = (int )__cil_tmp21;
4840#line 248
4841 __cil_tmp23 = 0 * 1UL;
4842#line 248
4843 __cil_tmp24 = (unsigned long )(idreg) + __cil_tmp23;
4844#line 248
4845 __cil_tmp25 = *((u8 *)__cil_tmp24);
4846#line 248
4847 __cil_tmp26 = (int )__cil_tmp25;
4848#line 248
4849 __cil_tmp27 = __cil_tmp26 << 4;
4850#line 248
4851 __cil_tmp28 = (signed char )__cil_tmp27;
4852#line 248
4853 __cil_tmp29 = (int )__cil_tmp28;
4854#line 248
4855 __cil_tmp30 = __cil_tmp29 | __cil_tmp22;
4856#line 248
4857 *((u8 *)__cil_tmp15) = (u8 )__cil_tmp30;
4858#line 249
4859 __cil_tmp31 = 1 * 1UL;
4860#line 249
4861 __cil_tmp32 = (unsigned long )(idreg) + __cil_tmp31;
4862#line 249
4863 __cil_tmp33 = 1 * 1UL;
4864#line 249
4865 __cil_tmp34 = (unsigned long )(idreg) + __cil_tmp33;
4866#line 249
4867 __cil_tmp35 = *((u8 *)__cil_tmp34);
4868#line 249
4869 __cil_tmp36 = (unsigned int )__cil_tmp35;
4870#line 249
4871 __cil_tmp37 = __cil_tmp36 & 15U;
4872#line 249
4873 *((u8 *)__cil_tmp32) = (u8 )__cil_tmp37;
4874 }
4875 {
4876#line 253
4877 __cil_tmp38 = 0 * 1UL;
4878#line 253
4879 __cil_tmp39 = (unsigned long )(idreg) + __cil_tmp38;
4880#line 253
4881 __cil_tmp40 = *((u8 *)__cil_tmp39);
4882#line 253
4883 __cil_tmp41 = (unsigned int )__cil_tmp40;
4884#line 253
4885 if (__cil_tmp41 != 39U) {
4886#line 255
4887 return (-19);
4888 } else {
4889
4890 }
4891 }
4892#line 262
4893 __cil_tmp42 = (unsigned long )gspca_dev;
4894#line 262
4895 __cil_tmp43 = __cil_tmp42 + 1624;
4896#line 262
4897 cam = (struct cam *)__cil_tmp43;
4898#line 263
4899 *((struct v4l2_pix_format const **)cam) = (struct v4l2_pix_format const *)(& sif_mode);
4900#line 264
4901 __cil_tmp44 = (unsigned long )cam;
4902#line 264
4903 __cil_tmp45 = __cil_tmp44 + 32;
4904#line 264
4905 *((u8 *)__cil_tmp45) = (u8 )2U;
4906#line 265
4907 __cil_tmp46 = (unsigned long )sd;
4908#line 265
4909 __cil_tmp47 = __cil_tmp46 + 3905;
4910#line 265
4911 *((u8 *)__cil_tmp47) = (u8 )46U;
4912#line 266
4913 __cil_tmp48 = (unsigned long )sd;
4914#line 266
4915 __cil_tmp49 = __cil_tmp48 + 3906;
4916#line 266
4917 *((u8 *)__cil_tmp49) = (u8 )5U;
4918#line 267
4919 __cil_tmp50 = (unsigned long )sd;
4920#line 267
4921 __cil_tmp51 = __cil_tmp50 + 3908;
4922#line 267
4923 *((u8 *)__cil_tmp51) = (u8 )7U;
4924#line 268
4925 __cil_tmp52 = (unsigned long )sd;
4926#line 268
4927 __cil_tmp53 = __cil_tmp52 + 3907;
4928#line 268
4929 *((u8 *)__cil_tmp53) = (u8 )1U;
4930#line 270
4931 return (0);
4932}
4933}
4934#line 274 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4935static int sd_init(struct gspca_dev *gspca_dev )
4936{ u16 __cil_tmp2 ;
4937 u16 __cil_tmp3 ;
4938 u16 __cil_tmp4 ;
4939 u16 __cil_tmp5 ;
4940
4941 {
4942 {
4943#line 276
4944 __cil_tmp2 = (u16 )65;
4945#line 276
4946 __cil_tmp3 = (u16 )0;
4947#line 276
4948 pac207_write_reg(gspca_dev, __cil_tmp2, __cil_tmp3);
4949#line 280
4950 __cil_tmp4 = (u16 )15;
4951#line 280
4952 __cil_tmp5 = (u16 )0;
4953#line 280
4954 pac207_write_reg(gspca_dev, __cil_tmp4, __cil_tmp5);
4955 }
4956#line 282
4957 return (0);
4958}
4959}
4960#line 286 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
4961static int sd_start(struct gspca_dev *gspca_dev )
4962{ struct sd *sd ;
4963 __u8 mode ;
4964 u16 __cil_tmp4 ;
4965 u16 __cil_tmp5 ;
4966 u16 __cil_tmp6 ;
4967 u8 const *__cil_tmp7 ;
4968 u16 __cil_tmp8 ;
4969 u16 __cil_tmp9 ;
4970 u8 const *__cil_tmp10 ;
4971 u8 const *__cil_tmp11 ;
4972 u16 __cil_tmp12 ;
4973 u16 __cil_tmp13 ;
4974 u8 const *__cil_tmp14 ;
4975 u8 const *__cil_tmp15 ;
4976 u16 __cil_tmp16 ;
4977 u16 __cil_tmp17 ;
4978 u8 const *__cil_tmp18 ;
4979 u8 const *__cil_tmp19 ;
4980 u16 __cil_tmp20 ;
4981 unsigned long __cil_tmp21 ;
4982 unsigned long __cil_tmp22 ;
4983 __u16 __cil_tmp23 ;
4984 unsigned int __cil_tmp24 ;
4985 u16 __cil_tmp25 ;
4986 u16 __cil_tmp26 ;
4987 u16 __cil_tmp27 ;
4988 u16 __cil_tmp28 ;
4989 u16 __cil_tmp29 ;
4990 u16 __cil_tmp30 ;
4991 u16 __cil_tmp31 ;
4992 unsigned long __cil_tmp32 ;
4993 unsigned long __cil_tmp33 ;
4994 u8 __cil_tmp34 ;
4995 int __cil_tmp35 ;
4996 u16 __cil_tmp36 ;
4997 u16 __cil_tmp37 ;
4998 unsigned long __cil_tmp38 ;
4999 unsigned long __cil_tmp39 ;
5000 u8 __cil_tmp40 ;
5001 int __cil_tmp41 ;
5002 u16 __cil_tmp42 ;
5003 u16 __cil_tmp43 ;
5004 unsigned long __cil_tmp44 ;
5005 unsigned long __cil_tmp45 ;
5006 u8 __cil_tmp46 ;
5007 int __cil_tmp47 ;
5008 u16 __cil_tmp48 ;
5009 unsigned long __cil_tmp49 ;
5010 unsigned long __cil_tmp50 ;
5011 __u16 __cil_tmp51 ;
5012 unsigned int __cil_tmp52 ;
5013 unsigned int __cil_tmp53 ;
5014 unsigned int __cil_tmp54 ;
5015 u16 __cil_tmp55 ;
5016 int __cil_tmp56 ;
5017 u16 __cil_tmp57 ;
5018 u16 __cil_tmp58 ;
5019 u16 __cil_tmp59 ;
5020 u16 __cil_tmp60 ;
5021 u16 __cil_tmp61 ;
5022 u16 __cil_tmp62 ;
5023 u16 __cil_tmp63 ;
5024 unsigned long __cil_tmp64 ;
5025 unsigned long __cil_tmp65 ;
5026 unsigned long __cil_tmp66 ;
5027 unsigned long __cil_tmp67 ;
5028 unsigned long __cil_tmp68 ;
5029 unsigned long __cil_tmp69 ;
5030 atomic_t *__cil_tmp70 ;
5031
5032 {
5033 {
5034#line 288
5035 sd = (struct sd *)gspca_dev;
5036#line 291
5037 __cil_tmp4 = (u16 )15;
5038#line 291
5039 __cil_tmp5 = (u16 )16;
5040#line 291
5041 pac207_write_reg(gspca_dev, __cil_tmp4, __cil_tmp5);
5042#line 292
5043 __cil_tmp6 = (u16 )2;
5044#line 292
5045 __cil_tmp7 = (u8 const *)(& pac207_sensor_init);
5046#line 292
5047 __cil_tmp8 = (u16 )8;
5048#line 292
5049 pac207_write_regs(gspca_dev, __cil_tmp6, __cil_tmp7, __cil_tmp8);
5050#line 293
5051 __cil_tmp9 = (u16 )10;
5052#line 293
5053 __cil_tmp10 = (u8 const *)(& pac207_sensor_init);
5054#line 293
5055 __cil_tmp11 = __cil_tmp10 + 1U;
5056#line 293
5057 __cil_tmp12 = (u16 )8;
5058#line 293
5059 pac207_write_regs(gspca_dev, __cil_tmp9, __cil_tmp11, __cil_tmp12);
5060#line 294
5061 __cil_tmp13 = (u16 )18;
5062#line 294
5063 __cil_tmp14 = (u8 const *)(& pac207_sensor_init);
5064#line 294
5065 __cil_tmp15 = __cil_tmp14 + 2U;
5066#line 294
5067 __cil_tmp16 = (u16 )8;
5068#line 294
5069 pac207_write_regs(gspca_dev, __cil_tmp13, __cil_tmp15, __cil_tmp16);
5070#line 295
5071 __cil_tmp17 = (u16 )66;
5072#line 295
5073 __cil_tmp18 = (u8 const *)(& pac207_sensor_init);
5074#line 295
5075 __cil_tmp19 = __cil_tmp18 + 3U;
5076#line 295
5077 __cil_tmp20 = (u16 )8;
5078#line 295
5079 pac207_write_regs(gspca_dev, __cil_tmp17, __cil_tmp19, __cil_tmp20);
5080 }
5081 {
5082#line 298
5083 __cil_tmp21 = (unsigned long )gspca_dev;
5084#line 298
5085 __cil_tmp22 = __cil_tmp21 + 3452;
5086#line 298
5087 __cil_tmp23 = *((__u16 *)__cil_tmp22);
5088#line 298
5089 __cil_tmp24 = (unsigned int )__cil_tmp23;
5090#line 298
5091 if (__cil_tmp24 == 176U) {
5092 {
5093#line 299
5094 __cil_tmp25 = (u16 )74;
5095#line 299
5096 __cil_tmp26 = (u16 )255;
5097#line 299
5098 pac207_write_reg(gspca_dev, __cil_tmp25, __cil_tmp26);
5099 }
5100 } else {
5101 {
5102#line 301
5103 __cil_tmp27 = (u16 )74;
5104#line 301
5105 __cil_tmp28 = (u16 )48;
5106#line 301
5107 pac207_write_reg(gspca_dev, __cil_tmp27, __cil_tmp28);
5108 }
5109 }
5110 }
5111 {
5112#line 302
5113 __cil_tmp29 = (u16 )75;
5114#line 302
5115 __cil_tmp30 = (u16 )0;
5116#line 302
5117 pac207_write_reg(gspca_dev, __cil_tmp29, __cil_tmp30);
5118#line 303
5119 __cil_tmp31 = (u16 )8;
5120#line 303
5121 __cil_tmp32 = (unsigned long )sd;
5122#line 303
5123 __cil_tmp33 = __cil_tmp32 + 3905;
5124#line 303
5125 __cil_tmp34 = *((u8 *)__cil_tmp33);
5126#line 303
5127 __cil_tmp35 = (int )__cil_tmp34;
5128#line 303
5129 __cil_tmp36 = (u16 )__cil_tmp35;
5130#line 303
5131 pac207_write_reg(gspca_dev, __cil_tmp31, __cil_tmp36);
5132#line 306
5133 __cil_tmp37 = (u16 )14;
5134#line 306
5135 __cil_tmp38 = (unsigned long )sd;
5136#line 306
5137 __cil_tmp39 = __cil_tmp38 + 3908;
5138#line 306
5139 __cil_tmp40 = *((u8 *)__cil_tmp39);
5140#line 306
5141 __cil_tmp41 = (int )__cil_tmp40;
5142#line 306
5143 __cil_tmp42 = (u16 )__cil_tmp41;
5144#line 306
5145 pac207_write_reg(gspca_dev, __cil_tmp37, __cil_tmp42);
5146#line 307
5147 __cil_tmp43 = (u16 )2;
5148#line 307
5149 __cil_tmp44 = (unsigned long )sd;
5150#line 307
5151 __cil_tmp45 = __cil_tmp44 + 3906;
5152#line 307
5153 __cil_tmp46 = *((u8 *)__cil_tmp45);
5154#line 307
5155 __cil_tmp47 = (int )__cil_tmp46;
5156#line 307
5157 __cil_tmp48 = (u16 )__cil_tmp47;
5158#line 307
5159 pac207_write_reg(gspca_dev, __cil_tmp43, __cil_tmp48);
5160#line 309
5161 mode = (__u8 )2U;
5162 }
5163 {
5164#line 310
5165 __cil_tmp49 = (unsigned long )gspca_dev;
5166#line 310
5167 __cil_tmp50 = __cil_tmp49 + 3452;
5168#line 310
5169 __cil_tmp51 = *((__u16 *)__cil_tmp50);
5170#line 310
5171 __cil_tmp52 = (unsigned int )__cil_tmp51;
5172#line 310
5173 if (__cil_tmp52 == 176U) {
5174#line 311
5175 __cil_tmp53 = (unsigned int )mode;
5176#line 311
5177 __cil_tmp54 = __cil_tmp53 | 1U;
5178#line 311
5179 mode = (__u8 )__cil_tmp54;
5180 } else {
5181
5182 }
5183 }
5184 {
5185#line 316
5186 __cil_tmp55 = (u16 )65;
5187#line 316
5188 __cil_tmp56 = (int )mode;
5189#line 316
5190 __cil_tmp57 = (u16 )__cil_tmp56;
5191#line 316
5192 pac207_write_reg(gspca_dev, __cil_tmp55, __cil_tmp57);
5193#line 318
5194 __cil_tmp58 = (u16 )19;
5195#line 318
5196 __cil_tmp59 = (u16 )1;
5197#line 318
5198 pac207_write_reg(gspca_dev, __cil_tmp58, __cil_tmp59);
5199#line 319
5200 __cil_tmp60 = (u16 )28;
5201#line 319
5202 __cil_tmp61 = (u16 )1;
5203#line 319
5204 pac207_write_reg(gspca_dev, __cil_tmp60, __cil_tmp61);
5205#line 320
5206 msleep(10U);
5207#line 321
5208 __cil_tmp62 = (u16 )64;
5209#line 321
5210 __cil_tmp63 = (u16 )1;
5211#line 321
5212 pac207_write_reg(gspca_dev, __cil_tmp62, __cil_tmp63);
5213#line 323
5214 __cil_tmp64 = (unsigned long )sd;
5215#line 323
5216 __cil_tmp65 = __cil_tmp64 + 3909;
5217#line 323
5218 *((u8 *)__cil_tmp65) = (u8 )0U;
5219#line 324
5220 __cil_tmp66 = (unsigned long )sd;
5221#line 324
5222 __cil_tmp67 = __cil_tmp66 + 3911;
5223#line 324
5224 *((u8 *)__cil_tmp67) = (u8 )0U;
5225#line 325
5226 __cil_tmp68 = (unsigned long )sd;
5227#line 325
5228 __cil_tmp69 = __cil_tmp68 + 3912;
5229#line 325
5230 __cil_tmp70 = (atomic_t *)__cil_tmp69;
5231#line 325
5232 atomic_set(__cil_tmp70, -1);
5233 }
5234#line 326
5235 return (0);
5236}
5237}
5238#line 329 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
5239static void sd_stopN(struct gspca_dev *gspca_dev )
5240{ u16 __cil_tmp2 ;
5241 u16 __cil_tmp3 ;
5242 u16 __cil_tmp4 ;
5243 u16 __cil_tmp5 ;
5244 u16 __cil_tmp6 ;
5245 u16 __cil_tmp7 ;
5246
5247 {
5248 {
5249#line 331
5250 __cil_tmp2 = (u16 )64;
5251#line 331
5252 __cil_tmp3 = (u16 )0;
5253#line 331
5254 pac207_write_reg(gspca_dev, __cil_tmp2, __cil_tmp3);
5255#line 332
5256 __cil_tmp4 = (u16 )65;
5257#line 332
5258 __cil_tmp5 = (u16 )0;
5259#line 332
5260 pac207_write_reg(gspca_dev, __cil_tmp4, __cil_tmp5);
5261#line 333
5262 __cil_tmp6 = (u16 )15;
5263#line 333
5264 __cil_tmp7 = (u16 )0;
5265#line 333
5266 pac207_write_reg(gspca_dev, __cil_tmp6, __cil_tmp7);
5267 }
5268#line 334
5269 return;
5270}
5271}
5272#line 74 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/pac_common.h"
5273static unsigned char *pac_find_sof(u8 *sof_read , unsigned char *m , int len )
5274{ int i ;
5275 u8 __cil_tmp5 ;
5276 unsigned long __cil_tmp6 ;
5277 unsigned char *__cil_tmp7 ;
5278 unsigned char __cil_tmp8 ;
5279 unsigned int __cil_tmp9 ;
5280 unsigned long __cil_tmp10 ;
5281 unsigned char *__cil_tmp11 ;
5282 unsigned char __cil_tmp12 ;
5283 unsigned int __cil_tmp13 ;
5284 unsigned long __cil_tmp14 ;
5285 unsigned char *__cil_tmp15 ;
5286 unsigned char __cil_tmp16 ;
5287 unsigned long __cil_tmp17 ;
5288 unsigned char *__cil_tmp18 ;
5289 unsigned char __cil_tmp19 ;
5290 unsigned int __cil_tmp20 ;
5291 unsigned long __cil_tmp21 ;
5292 unsigned char *__cil_tmp22 ;
5293 unsigned char __cil_tmp23 ;
5294 unsigned long __cil_tmp24 ;
5295 unsigned long __cil_tmp25 ;
5296
5297 {
5298#line 80
5299 i = 0;
5300#line 80
5301 goto ldv_26123;
5302 ldv_26122: ;
5303 {
5304#line 81
5305 __cil_tmp5 = *sof_read;
5306#line 82
5307 if ((int )__cil_tmp5 == 0) {
5308#line 82
5309 goto case_0;
5310 } else
5311#line 86
5312 if ((int )__cil_tmp5 == 1) {
5313#line 86
5314 goto case_1;
5315 } else
5316#line 92
5317 if ((int )__cil_tmp5 == 2) {
5318#line 92
5319 goto case_2;
5320 } else
5321#line 104
5322 if ((int )__cil_tmp5 == 3) {
5323#line 104
5324 goto case_3;
5325 } else
5326#line 110
5327 if ((int )__cil_tmp5 == 4) {
5328#line 110
5329 goto case_4;
5330 } else {
5331 {
5332#line 128
5333 goto switch_default___1;
5334#line 81
5335 if (0) {
5336 case_0: ;
5337 {
5338#line 83
5339 __cil_tmp6 = (unsigned long )i;
5340#line 83
5341 __cil_tmp7 = m + __cil_tmp6;
5342#line 83
5343 __cil_tmp8 = *__cil_tmp7;
5344#line 83
5345 __cil_tmp9 = (unsigned int )__cil_tmp8;
5346#line 83
5347 if (__cil_tmp9 == 255U) {
5348#line 84
5349 *sof_read = (u8 )1U;
5350 } else {
5351
5352 }
5353 }
5354#line 85
5355 goto ldv_26108;
5356 case_1: ;
5357 {
5358#line 87
5359 __cil_tmp10 = (unsigned long )i;
5360#line 87
5361 __cil_tmp11 = m + __cil_tmp10;
5362#line 87
5363 __cil_tmp12 = *__cil_tmp11;
5364#line 87
5365 __cil_tmp13 = (unsigned int )__cil_tmp12;
5366#line 87
5367 if (__cil_tmp13 == 255U) {
5368#line 88
5369 *sof_read = (u8 )2U;
5370 } else {
5371#line 90
5372 *sof_read = (u8 )0U;
5373 }
5374 }
5375#line 91
5376 goto ldv_26108;
5377 case_2: ;
5378 {
5379#line 93
5380 __cil_tmp14 = (unsigned long )i;
5381#line 93
5382 __cil_tmp15 = m + __cil_tmp14;
5383#line 93
5384 __cil_tmp16 = *__cil_tmp15;
5385#line 94
5386 if ((int )__cil_tmp16 == 0) {
5387#line 94
5388 goto case_0___0;
5389 } else
5390#line 97
5391 if ((int )__cil_tmp16 == 255) {
5392#line 97
5393 goto case_255;
5394 } else {
5395 {
5396#line 100
5397 goto switch_default;
5398#line 93
5399 if (0) {
5400 case_0___0:
5401#line 95
5402 *sof_read = (u8 )3U;
5403#line 96
5404 goto ldv_26112;
5405 case_255: ;
5406#line 99
5407 goto ldv_26112;
5408 switch_default:
5409#line 101
5410 *sof_read = (u8 )0U;
5411 } else {
5412 switch_break___0: ;
5413 }
5414 }
5415 }
5416 }
5417 ldv_26112: ;
5418#line 103
5419 goto ldv_26108;
5420 case_3: ;
5421 {
5422#line 105
5423 __cil_tmp17 = (unsigned long )i;
5424#line 105
5425 __cil_tmp18 = m + __cil_tmp17;
5426#line 105
5427 __cil_tmp19 = *__cil_tmp18;
5428#line 105
5429 __cil_tmp20 = (unsigned int )__cil_tmp19;
5430#line 105
5431 if (__cil_tmp20 == 255U) {
5432#line 106
5433 *sof_read = (u8 )4U;
5434 } else {
5435#line 108
5436 *sof_read = (u8 )0U;
5437 }
5438 }
5439#line 109
5440 goto ldv_26108;
5441 case_4: ;
5442 {
5443#line 111
5444 __cil_tmp21 = (unsigned long )i;
5445#line 111
5446 __cil_tmp22 = m + __cil_tmp21;
5447#line 111
5448 __cil_tmp23 = *__cil_tmp22;
5449#line 112
5450 if ((int )__cil_tmp23 == 150) {
5451#line 112
5452 goto case_150;
5453 } else
5454#line 121
5455 if ((int )__cil_tmp23 == 255) {
5456#line 121
5457 goto case_255___0;
5458 } else {
5459 {
5460#line 124
5461 goto switch_default___0;
5462#line 111
5463 if (0) {
5464 case_150:
5465#line 118
5466 *sof_read = (u8 )0U;
5467 {
5468#line 119
5469 __cil_tmp24 = (unsigned long )i;
5470#line 119
5471 __cil_tmp25 = __cil_tmp24 + 1UL;
5472#line 119
5473 return (m + __cil_tmp25);
5474 }
5475 case_255___0:
5476#line 122
5477 *sof_read = (u8 )2U;
5478#line 123
5479 goto ldv_26119;
5480 switch_default___0:
5481#line 125
5482 *sof_read = (u8 )0U;
5483 } else {
5484 switch_break___1: ;
5485 }
5486 }
5487 }
5488 }
5489 ldv_26119: ;
5490#line 127
5491 goto ldv_26108;
5492 switch_default___1:
5493#line 129
5494 *sof_read = (u8 )0U;
5495 } else {
5496 switch_break: ;
5497 }
5498 }
5499 }
5500 }
5501 ldv_26108:
5502#line 80
5503 i = i + 1;
5504 ldv_26123: ;
5505#line 80
5506 if (i < len) {
5507#line 81
5508 goto ldv_26122;
5509 } else {
5510#line 83
5511 goto ldv_26124;
5512 }
5513 ldv_26124: ;
5514#line 133
5515 return ((unsigned char *)0);
5516}
5517}
5518#line 339 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
5519static void pac207_do_auto_gain(struct gspca_dev *gspca_dev )
5520{ struct sd *sd ;
5521 int avg_lum ;
5522 int tmp ;
5523 int tmp___0 ;
5524 unsigned long __cil_tmp6 ;
5525 unsigned long __cil_tmp7 ;
5526 atomic_t *__cil_tmp8 ;
5527 atomic_t const *__cil_tmp9 ;
5528 unsigned long __cil_tmp10 ;
5529 unsigned long __cil_tmp11 ;
5530 u8 __cil_tmp12 ;
5531 unsigned int __cil_tmp13 ;
5532 unsigned long __cil_tmp14 ;
5533 unsigned long __cil_tmp15 ;
5534 unsigned long __cil_tmp16 ;
5535 unsigned long __cil_tmp17 ;
5536 u8 __cil_tmp18 ;
5537 int __cil_tmp19 ;
5538 int __cil_tmp20 ;
5539 unsigned long __cil_tmp21 ;
5540 unsigned long __cil_tmp22 ;
5541
5542 {
5543 {
5544#line 341
5545 sd = (struct sd *)gspca_dev;
5546#line 342
5547 __cil_tmp6 = (unsigned long )sd;
5548#line 342
5549 __cil_tmp7 = __cil_tmp6 + 3912;
5550#line 342
5551 __cil_tmp8 = (atomic_t *)__cil_tmp7;
5552#line 342
5553 __cil_tmp9 = (atomic_t const *)__cil_tmp8;
5554#line 342
5555 tmp = atomic_read(__cil_tmp9);
5556#line 342
5557 avg_lum = tmp;
5558 }
5559#line 344
5560 if (avg_lum == -1) {
5561#line 345
5562 return;
5563 } else {
5564
5565 }
5566 {
5567#line 347
5568 __cil_tmp10 = (unsigned long )sd;
5569#line 347
5570 __cil_tmp11 = __cil_tmp10 + 3911;
5571#line 347
5572 __cil_tmp12 = *((u8 *)__cil_tmp11);
5573#line 347
5574 __cil_tmp13 = (unsigned int )__cil_tmp12;
5575#line 347
5576 if (__cil_tmp13 != 0U) {
5577#line 348
5578 __cil_tmp14 = (unsigned long )sd;
5579#line 348
5580 __cil_tmp15 = __cil_tmp14 + 3911;
5581#line 348
5582 __cil_tmp16 = (unsigned long )sd;
5583#line 348
5584 __cil_tmp17 = __cil_tmp16 + 3911;
5585#line 348
5586 __cil_tmp18 = *((u8 *)__cil_tmp17);
5587#line 348
5588 __cil_tmp19 = (int )__cil_tmp18;
5589#line 348
5590 __cil_tmp20 = __cil_tmp19 - 1;
5591#line 348
5592 *((u8 *)__cil_tmp15) = (u8 )__cil_tmp20;
5593 } else {
5594 {
5595#line 349
5596 tmp___0 = gspca_auto_gain_n_exposure(gspca_dev, avg_lum, 90, 30, 15, 9);
5597 }
5598#line 349
5599 if (tmp___0 != 0) {
5600#line 352
5601 __cil_tmp21 = (unsigned long )sd;
5602#line 352
5603 __cil_tmp22 = __cil_tmp21 + 3911;
5604#line 352
5605 *((u8 *)__cil_tmp22) = (u8 )2U;
5606 } else {
5607
5608 }
5609 }
5610 }
5611#line 353
5612 return;
5613}
5614}
5615#line 355 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
5616static void sd_pkt_scan(struct gspca_dev *gspca_dev , u8 *data , int len )
5617{ struct sd *sd ;
5618 unsigned char *sof ;
5619 int n ;
5620 int needed ;
5621 unsigned long __cil_tmp8 ;
5622 unsigned long __cil_tmp9 ;
5623 u8 *__cil_tmp10 ;
5624 unsigned char *__cil_tmp11 ;
5625 unsigned long __cil_tmp12 ;
5626 unsigned long __cil_tmp13 ;
5627 long __cil_tmp14 ;
5628 unsigned int __cil_tmp15 ;
5629 long __cil_tmp16 ;
5630 unsigned int __cil_tmp17 ;
5631 unsigned int __cil_tmp18 ;
5632 unsigned int __cil_tmp19 ;
5633 unsigned int __cil_tmp20 ;
5634 unsigned int __cil_tmp21 ;
5635 enum gspca_packet_type __cil_tmp22 ;
5636 u8 const *__cil_tmp23 ;
5637 unsigned long __cil_tmp24 ;
5638 unsigned long __cil_tmp25 ;
5639 enum gspca_packet_type __cil_tmp26 ;
5640 u8 const *__cil_tmp27 ;
5641 unsigned int __cil_tmp28 ;
5642 long __cil_tmp29 ;
5643 unsigned int __cil_tmp30 ;
5644 long __cil_tmp31 ;
5645 unsigned int __cil_tmp32 ;
5646 unsigned int __cil_tmp33 ;
5647 unsigned int __cil_tmp34 ;
5648 unsigned long __cil_tmp35 ;
5649 unsigned long __cil_tmp36 ;
5650 u8 __cil_tmp37 ;
5651 unsigned int __cil_tmp38 ;
5652 unsigned long __cil_tmp39 ;
5653 unsigned long __cil_tmp40 ;
5654 u8 __cil_tmp41 ;
5655 unsigned int __cil_tmp42 ;
5656 unsigned long __cil_tmp43 ;
5657 unsigned long __cil_tmp44 ;
5658 u8 __cil_tmp45 ;
5659 int __cil_tmp46 ;
5660 unsigned long __cil_tmp47 ;
5661 unsigned long __cil_tmp48 ;
5662 atomic_t *__cil_tmp49 ;
5663 unsigned long __cil_tmp50 ;
5664 unsigned long __cil_tmp51 ;
5665 u8 *__cil_tmp52 ;
5666 u8 __cil_tmp53 ;
5667 int __cil_tmp54 ;
5668 unsigned long __cil_tmp55 ;
5669 unsigned long __cil_tmp56 ;
5670 u8 __cil_tmp57 ;
5671 int __cil_tmp58 ;
5672 unsigned long __cil_tmp59 ;
5673 unsigned long __cil_tmp60 ;
5674 u8 __cil_tmp61 ;
5675 int __cil_tmp62 ;
5676 unsigned long __cil_tmp63 ;
5677 unsigned long __cil_tmp64 ;
5678 u8 __cil_tmp65 ;
5679 int __cil_tmp66 ;
5680 int __cil_tmp67 ;
5681 unsigned long __cil_tmp68 ;
5682 unsigned long __cil_tmp69 ;
5683 unsigned long __cil_tmp70 ;
5684 enum gspca_packet_type __cil_tmp71 ;
5685 u8 const *__cil_tmp72 ;
5686
5687 {
5688 {
5689#line 359
5690 sd = (struct sd *)gspca_dev;
5691#line 362
5692 __cil_tmp8 = (unsigned long )sd;
5693#line 362
5694 __cil_tmp9 = __cil_tmp8 + 3909;
5695#line 362
5696 __cil_tmp10 = (u8 *)__cil_tmp9;
5697#line 362
5698 sof = pac_find_sof(__cil_tmp10, data, len);
5699 }
5700 {
5701#line 363
5702 __cil_tmp11 = (unsigned char *)0;
5703#line 363
5704 __cil_tmp12 = (unsigned long )__cil_tmp11;
5705#line 363
5706 __cil_tmp13 = (unsigned long )sof;
5707#line 363
5708 if (__cil_tmp13 != __cil_tmp12) {
5709#line 367
5710 __cil_tmp14 = (long )data;
5711#line 367
5712 __cil_tmp15 = (unsigned int )__cil_tmp14;
5713#line 367
5714 __cil_tmp16 = (long )sof;
5715#line 367
5716 __cil_tmp17 = (unsigned int )__cil_tmp16;
5717#line 367
5718 __cil_tmp18 = __cil_tmp17 - __cil_tmp15;
5719#line 367
5720 n = (int )__cil_tmp18;
5721 {
5722#line 368
5723 __cil_tmp19 = (unsigned int )n;
5724#line 368
5725 if (__cil_tmp19 > 5U) {
5726#line 369
5727 __cil_tmp20 = (unsigned int )n;
5728#line 369
5729 __cil_tmp21 = __cil_tmp20 - 5U;
5730#line 369
5731 n = (int )__cil_tmp21;
5732 } else {
5733#line 371
5734 n = 0;
5735 }
5736 }
5737 {
5738#line 372
5739 __cil_tmp22 = (enum gspca_packet_type )3;
5740#line 372
5741 __cil_tmp23 = (u8 const *)data;
5742#line 372
5743 gspca_frame_add(gspca_dev, __cil_tmp22, __cil_tmp23, n);
5744#line 374
5745 __cil_tmp24 = (unsigned long )sd;
5746#line 374
5747 __cil_tmp25 = __cil_tmp24 + 3910;
5748#line 374
5749 *((u8 *)__cil_tmp25) = (u8 )0U;
5750#line 375
5751 __cil_tmp26 = (enum gspca_packet_type )1;
5752#line 375
5753 __cil_tmp27 = (u8 const *)0;
5754#line 375
5755 gspca_frame_add(gspca_dev, __cil_tmp26, __cil_tmp27, 0);
5756#line 376
5757 __cil_tmp28 = (unsigned int )len;
5758#line 376
5759 __cil_tmp29 = (long )sof;
5760#line 376
5761 __cil_tmp30 = (unsigned int )__cil_tmp29;
5762#line 376
5763 __cil_tmp31 = (long )data;
5764#line 376
5765 __cil_tmp32 = (unsigned int )__cil_tmp31;
5766#line 376
5767 __cil_tmp33 = __cil_tmp32 - __cil_tmp30;
5768#line 376
5769 __cil_tmp34 = __cil_tmp33 + __cil_tmp28;
5770#line 376
5771 len = (int )__cil_tmp34;
5772#line 377
5773 data = sof;
5774 }
5775 } else {
5776
5777 }
5778 }
5779 {
5780#line 379
5781 __cil_tmp35 = (unsigned long )sd;
5782#line 379
5783 __cil_tmp36 = __cil_tmp35 + 3910;
5784#line 379
5785 __cil_tmp37 = *((u8 *)__cil_tmp36);
5786#line 379
5787 __cil_tmp38 = (unsigned int )__cil_tmp37;
5788#line 379
5789 if (__cil_tmp38 <= 10U) {
5790 {
5791#line 383
5792 __cil_tmp39 = (unsigned long )sd;
5793#line 383
5794 __cil_tmp40 = __cil_tmp39 + 3910;
5795#line 383
5796 __cil_tmp41 = *((u8 *)__cil_tmp40);
5797#line 383
5798 __cil_tmp42 = (unsigned int )__cil_tmp41;
5799#line 383
5800 if (__cil_tmp42 <= 4U) {
5801#line 384
5802 __cil_tmp43 = (unsigned long )sd;
5803#line 384
5804 __cil_tmp44 = __cil_tmp43 + 3910;
5805#line 384
5806 __cil_tmp45 = *((u8 *)__cil_tmp44);
5807#line 384
5808 __cil_tmp46 = (int )__cil_tmp45;
5809#line 384
5810 needed = 5 - __cil_tmp46;
5811#line 385
5812 if (len >= needed) {
5813 {
5814#line 386
5815 __cil_tmp47 = (unsigned long )sd;
5816#line 386
5817 __cil_tmp48 = __cil_tmp47 + 3912;
5818#line 386
5819 __cil_tmp49 = (atomic_t *)__cil_tmp48;
5820#line 386
5821 __cil_tmp50 = (unsigned long )needed;
5822#line 386
5823 __cil_tmp51 = __cil_tmp50 + 0xffffffffffffffffUL;
5824#line 386
5825 __cil_tmp52 = data + __cil_tmp51;
5826#line 386
5827 __cil_tmp53 = *__cil_tmp52;
5828#line 386
5829 __cil_tmp54 = (int )__cil_tmp53;
5830#line 386
5831 atomic_set(__cil_tmp49, __cil_tmp54);
5832 }
5833 } else {
5834
5835 }
5836 } else {
5837
5838 }
5839 }
5840#line 389
5841 __cil_tmp55 = (unsigned long )sd;
5842#line 389
5843 __cil_tmp56 = __cil_tmp55 + 3910;
5844#line 389
5845 __cil_tmp57 = *((u8 *)__cil_tmp56);
5846#line 389
5847 __cil_tmp58 = (int )__cil_tmp57;
5848#line 389
5849 needed = 11 - __cil_tmp58;
5850#line 390
5851 if (len <= needed) {
5852#line 391
5853 __cil_tmp59 = (unsigned long )sd;
5854#line 391
5855 __cil_tmp60 = __cil_tmp59 + 3910;
5856#line 391
5857 __cil_tmp61 = (u8 )len;
5858#line 391
5859 __cil_tmp62 = (int )__cil_tmp61;
5860#line 391
5861 __cil_tmp63 = (unsigned long )sd;
5862#line 391
5863 __cil_tmp64 = __cil_tmp63 + 3910;
5864#line 391
5865 __cil_tmp65 = *((u8 *)__cil_tmp64);
5866#line 391
5867 __cil_tmp66 = (int )__cil_tmp65;
5868#line 391
5869 __cil_tmp67 = __cil_tmp66 + __cil_tmp62;
5870#line 391
5871 *((u8 *)__cil_tmp60) = (u8 )__cil_tmp67;
5872#line 392
5873 return;
5874 } else {
5875
5876 }
5877#line 394
5878 __cil_tmp68 = (unsigned long )needed;
5879#line 394
5880 data = data + __cil_tmp68;
5881#line 395
5882 len = len - needed;
5883#line 396
5884 __cil_tmp69 = (unsigned long )sd;
5885#line 396
5886 __cil_tmp70 = __cil_tmp69 + 3910;
5887#line 396
5888 *((u8 *)__cil_tmp70) = (u8 )11U;
5889 } else {
5890
5891 }
5892 }
5893 {
5894#line 399
5895 __cil_tmp71 = (enum gspca_packet_type )2;
5896#line 399
5897 __cil_tmp72 = (u8 const *)data;
5898#line 399
5899 gspca_frame_add(gspca_dev, __cil_tmp71, __cil_tmp72, len);
5900 }
5901#line 400
5902 return;
5903}
5904}
5905#line 402 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
5906static void setbrightness(struct gspca_dev *gspca_dev )
5907{ struct sd *sd ;
5908 u16 __cil_tmp3 ;
5909 unsigned long __cil_tmp4 ;
5910 unsigned long __cil_tmp5 ;
5911 u8 __cil_tmp6 ;
5912 int __cil_tmp7 ;
5913 u16 __cil_tmp8 ;
5914 u16 __cil_tmp9 ;
5915 u16 __cil_tmp10 ;
5916 u16 __cil_tmp11 ;
5917 u16 __cil_tmp12 ;
5918
5919 {
5920 {
5921#line 404
5922 sd = (struct sd *)gspca_dev;
5923#line 406
5924 __cil_tmp3 = (u16 )8;
5925#line 406
5926 __cil_tmp4 = (unsigned long )sd;
5927#line 406
5928 __cil_tmp5 = __cil_tmp4 + 3905;
5929#line 406
5930 __cil_tmp6 = *((u8 *)__cil_tmp5);
5931#line 406
5932 __cil_tmp7 = (int )__cil_tmp6;
5933#line 406
5934 __cil_tmp8 = (u16 )__cil_tmp7;
5935#line 406
5936 pac207_write_reg(gspca_dev, __cil_tmp3, __cil_tmp8);
5937#line 407
5938 __cil_tmp9 = (u16 )19;
5939#line 407
5940 __cil_tmp10 = (u16 )1;
5941#line 407
5942 pac207_write_reg(gspca_dev, __cil_tmp9, __cil_tmp10);
5943#line 408
5944 __cil_tmp11 = (u16 )28;
5945#line 408
5946 __cil_tmp12 = (u16 )1;
5947#line 408
5948 pac207_write_reg(gspca_dev, __cil_tmp11, __cil_tmp12);
5949 }
5950#line 409
5951 return;
5952}
5953}
5954#line 411 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
5955static void setexposure(struct gspca_dev *gspca_dev )
5956{ struct sd *sd ;
5957 u16 __cil_tmp3 ;
5958 unsigned long __cil_tmp4 ;
5959 unsigned long __cil_tmp5 ;
5960 u8 __cil_tmp6 ;
5961 int __cil_tmp7 ;
5962 u16 __cil_tmp8 ;
5963 u16 __cil_tmp9 ;
5964 u16 __cil_tmp10 ;
5965 u16 __cil_tmp11 ;
5966 u16 __cil_tmp12 ;
5967
5968 {
5969 {
5970#line 413
5971 sd = (struct sd *)gspca_dev;
5972#line 415
5973 __cil_tmp3 = (u16 )2;
5974#line 415
5975 __cil_tmp4 = (unsigned long )sd;
5976#line 415
5977 __cil_tmp5 = __cil_tmp4 + 3906;
5978#line 415
5979 __cil_tmp6 = *((u8 *)__cil_tmp5);
5980#line 415
5981 __cil_tmp7 = (int )__cil_tmp6;
5982#line 415
5983 __cil_tmp8 = (u16 )__cil_tmp7;
5984#line 415
5985 pac207_write_reg(gspca_dev, __cil_tmp3, __cil_tmp8);
5986#line 416
5987 __cil_tmp9 = (u16 )19;
5988#line 416
5989 __cil_tmp10 = (u16 )1;
5990#line 416
5991 pac207_write_reg(gspca_dev, __cil_tmp9, __cil_tmp10);
5992#line 417
5993 __cil_tmp11 = (u16 )28;
5994#line 417
5995 __cil_tmp12 = (u16 )1;
5996#line 417
5997 pac207_write_reg(gspca_dev, __cil_tmp11, __cil_tmp12);
5998 }
5999#line 418
6000 return;
6001}
6002}
6003#line 420 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6004static void setgain(struct gspca_dev *gspca_dev )
6005{ struct sd *sd ;
6006 u16 __cil_tmp3 ;
6007 unsigned long __cil_tmp4 ;
6008 unsigned long __cil_tmp5 ;
6009 u8 __cil_tmp6 ;
6010 int __cil_tmp7 ;
6011 u16 __cil_tmp8 ;
6012 u16 __cil_tmp9 ;
6013 u16 __cil_tmp10 ;
6014 u16 __cil_tmp11 ;
6015 u16 __cil_tmp12 ;
6016
6017 {
6018 {
6019#line 422
6020 sd = (struct sd *)gspca_dev;
6021#line 424
6022 __cil_tmp3 = (u16 )14;
6023#line 424
6024 __cil_tmp4 = (unsigned long )sd;
6025#line 424
6026 __cil_tmp5 = __cil_tmp4 + 3908;
6027#line 424
6028 __cil_tmp6 = *((u8 *)__cil_tmp5);
6029#line 424
6030 __cil_tmp7 = (int )__cil_tmp6;
6031#line 424
6032 __cil_tmp8 = (u16 )__cil_tmp7;
6033#line 424
6034 pac207_write_reg(gspca_dev, __cil_tmp3, __cil_tmp8);
6035#line 425
6036 __cil_tmp9 = (u16 )19;
6037#line 425
6038 __cil_tmp10 = (u16 )1;
6039#line 425
6040 pac207_write_reg(gspca_dev, __cil_tmp9, __cil_tmp10);
6041#line 426
6042 __cil_tmp11 = (u16 )28;
6043#line 426
6044 __cil_tmp12 = (u16 )1;
6045#line 426
6046 pac207_write_reg(gspca_dev, __cil_tmp11, __cil_tmp12);
6047 }
6048#line 427
6049 return;
6050}
6051}
6052#line 429 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6053static int sd_setbrightness(struct gspca_dev *gspca_dev , __s32 val )
6054{ struct sd *sd ;
6055 unsigned long __cil_tmp4 ;
6056 unsigned long __cil_tmp5 ;
6057 unsigned long __cil_tmp6 ;
6058 unsigned long __cil_tmp7 ;
6059 __u8 __cil_tmp8 ;
6060 unsigned int __cil_tmp9 ;
6061
6062 {
6063#line 431
6064 sd = (struct sd *)gspca_dev;
6065#line 433
6066 __cil_tmp4 = (unsigned long )sd;
6067#line 433
6068 __cil_tmp5 = __cil_tmp4 + 3905;
6069#line 433
6070 *((u8 *)__cil_tmp5) = (u8 )val;
6071 {
6072#line 434
6073 __cil_tmp6 = (unsigned long )gspca_dev;
6074#line 434
6075 __cil_tmp7 = __cil_tmp6 + 3444;
6076#line 434
6077 __cil_tmp8 = *((__u8 *)__cil_tmp7);
6078#line 434
6079 __cil_tmp9 = (unsigned int )__cil_tmp8;
6080#line 434
6081 if (__cil_tmp9 != 0U) {
6082 {
6083#line 435
6084 setbrightness(gspca_dev);
6085 }
6086 } else {
6087
6088 }
6089 }
6090#line 436
6091 return (0);
6092}
6093}
6094#line 439 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6095static int sd_getbrightness(struct gspca_dev *gspca_dev , __s32 *val )
6096{ struct sd *sd ;
6097 unsigned long __cil_tmp4 ;
6098 unsigned long __cil_tmp5 ;
6099 u8 __cil_tmp6 ;
6100
6101 {
6102#line 441
6103 sd = (struct sd *)gspca_dev;
6104#line 443
6105 __cil_tmp4 = (unsigned long )sd;
6106#line 443
6107 __cil_tmp5 = __cil_tmp4 + 3905;
6108#line 443
6109 __cil_tmp6 = *((u8 *)__cil_tmp5);
6110#line 443
6111 *val = (__s32 )__cil_tmp6;
6112#line 444
6113 return (0);
6114}
6115}
6116#line 447 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6117static int sd_setexposure(struct gspca_dev *gspca_dev , __s32 val )
6118{ struct sd *sd ;
6119 unsigned long __cil_tmp4 ;
6120 unsigned long __cil_tmp5 ;
6121 unsigned long __cil_tmp6 ;
6122 unsigned long __cil_tmp7 ;
6123 __u8 __cil_tmp8 ;
6124 unsigned int __cil_tmp9 ;
6125
6126 {
6127#line 449
6128 sd = (struct sd *)gspca_dev;
6129#line 451
6130 __cil_tmp4 = (unsigned long )sd;
6131#line 451
6132 __cil_tmp5 = __cil_tmp4 + 3906;
6133#line 451
6134 *((u8 *)__cil_tmp5) = (u8 )val;
6135 {
6136#line 452
6137 __cil_tmp6 = (unsigned long )gspca_dev;
6138#line 452
6139 __cil_tmp7 = __cil_tmp6 + 3444;
6140#line 452
6141 __cil_tmp8 = *((__u8 *)__cil_tmp7);
6142#line 452
6143 __cil_tmp9 = (unsigned int )__cil_tmp8;
6144#line 452
6145 if (__cil_tmp9 != 0U) {
6146 {
6147#line 453
6148 setexposure(gspca_dev);
6149 }
6150 } else {
6151
6152 }
6153 }
6154#line 454
6155 return (0);
6156}
6157}
6158#line 457 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6159static int sd_getexposure(struct gspca_dev *gspca_dev , __s32 *val )
6160{ struct sd *sd ;
6161 unsigned long __cil_tmp4 ;
6162 unsigned long __cil_tmp5 ;
6163 u8 __cil_tmp6 ;
6164
6165 {
6166#line 459
6167 sd = (struct sd *)gspca_dev;
6168#line 461
6169 __cil_tmp4 = (unsigned long )sd;
6170#line 461
6171 __cil_tmp5 = __cil_tmp4 + 3906;
6172#line 461
6173 __cil_tmp6 = *((u8 *)__cil_tmp5);
6174#line 461
6175 *val = (__s32 )__cil_tmp6;
6176#line 462
6177 return (0);
6178}
6179}
6180#line 465 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6181static int sd_setgain(struct gspca_dev *gspca_dev , __s32 val )
6182{ struct sd *sd ;
6183 unsigned long __cil_tmp4 ;
6184 unsigned long __cil_tmp5 ;
6185 unsigned long __cil_tmp6 ;
6186 unsigned long __cil_tmp7 ;
6187 __u8 __cil_tmp8 ;
6188 unsigned int __cil_tmp9 ;
6189
6190 {
6191#line 467
6192 sd = (struct sd *)gspca_dev;
6193#line 469
6194 __cil_tmp4 = (unsigned long )sd;
6195#line 469
6196 __cil_tmp5 = __cil_tmp4 + 3908;
6197#line 469
6198 *((u8 *)__cil_tmp5) = (u8 )val;
6199 {
6200#line 470
6201 __cil_tmp6 = (unsigned long )gspca_dev;
6202#line 470
6203 __cil_tmp7 = __cil_tmp6 + 3444;
6204#line 470
6205 __cil_tmp8 = *((__u8 *)__cil_tmp7);
6206#line 470
6207 __cil_tmp9 = (unsigned int )__cil_tmp8;
6208#line 470
6209 if (__cil_tmp9 != 0U) {
6210 {
6211#line 471
6212 setgain(gspca_dev);
6213 }
6214 } else {
6215
6216 }
6217 }
6218#line 472
6219 return (0);
6220}
6221}
6222#line 475 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6223static int sd_getgain(struct gspca_dev *gspca_dev , __s32 *val )
6224{ struct sd *sd ;
6225 unsigned long __cil_tmp4 ;
6226 unsigned long __cil_tmp5 ;
6227 u8 __cil_tmp6 ;
6228
6229 {
6230#line 477
6231 sd = (struct sd *)gspca_dev;
6232#line 479
6233 __cil_tmp4 = (unsigned long )sd;
6234#line 479
6235 __cil_tmp5 = __cil_tmp4 + 3908;
6236#line 479
6237 __cil_tmp6 = *((u8 *)__cil_tmp5);
6238#line 479
6239 *val = (__s32 )__cil_tmp6;
6240#line 480
6241 return (0);
6242}
6243}
6244#line 483 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6245static int sd_setautogain(struct gspca_dev *gspca_dev , __s32 val )
6246{ struct sd *sd ;
6247 unsigned long __cil_tmp4 ;
6248 unsigned long __cil_tmp5 ;
6249 unsigned long __cil_tmp6 ;
6250 unsigned long __cil_tmp7 ;
6251 u8 __cil_tmp8 ;
6252 unsigned int __cil_tmp9 ;
6253 unsigned long __cil_tmp10 ;
6254 unsigned long __cil_tmp11 ;
6255 unsigned long __cil_tmp12 ;
6256 unsigned long __cil_tmp13 ;
6257 unsigned long __cil_tmp14 ;
6258 unsigned long __cil_tmp15 ;
6259 __u8 __cil_tmp16 ;
6260 unsigned int __cil_tmp17 ;
6261 unsigned long __cil_tmp18 ;
6262 unsigned long __cil_tmp19 ;
6263
6264 {
6265#line 485
6266 sd = (struct sd *)gspca_dev;
6267#line 487
6268 __cil_tmp4 = (unsigned long )sd;
6269#line 487
6270 __cil_tmp5 = __cil_tmp4 + 3907;
6271#line 487
6272 *((u8 *)__cil_tmp5) = (u8 )val;
6273 {
6274#line 492
6275 __cil_tmp6 = (unsigned long )sd;
6276#line 492
6277 __cil_tmp7 = __cil_tmp6 + 3907;
6278#line 492
6279 __cil_tmp8 = *((u8 *)__cil_tmp7);
6280#line 492
6281 __cil_tmp9 = (unsigned int )__cil_tmp8;
6282#line 492
6283 if (__cil_tmp9 != 0U) {
6284#line 493
6285 __cil_tmp10 = (unsigned long )sd;
6286#line 493
6287 __cil_tmp11 = __cil_tmp10 + 3906;
6288#line 493
6289 *((u8 *)__cil_tmp11) = (u8 )5U;
6290#line 494
6291 __cil_tmp12 = (unsigned long )sd;
6292#line 494
6293 __cil_tmp13 = __cil_tmp12 + 3908;
6294#line 494
6295 *((u8 *)__cil_tmp13) = (u8 )7U;
6296 {
6297#line 495
6298 __cil_tmp14 = (unsigned long )gspca_dev;
6299#line 495
6300 __cil_tmp15 = __cil_tmp14 + 3444;
6301#line 495
6302 __cil_tmp16 = *((__u8 *)__cil_tmp15);
6303#line 495
6304 __cil_tmp17 = (unsigned int )__cil_tmp16;
6305#line 495
6306 if (__cil_tmp17 != 0U) {
6307 {
6308#line 496
6309 __cil_tmp18 = (unsigned long )sd;
6310#line 496
6311 __cil_tmp19 = __cil_tmp18 + 3911;
6312#line 496
6313 *((u8 *)__cil_tmp19) = (u8 )2U;
6314#line 498
6315 setexposure(gspca_dev);
6316#line 499
6317 setgain(gspca_dev);
6318 }
6319 } else {
6320
6321 }
6322 }
6323 } else {
6324
6325 }
6326 }
6327#line 503
6328 return (0);
6329}
6330}
6331#line 506 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6332static int sd_getautogain(struct gspca_dev *gspca_dev , __s32 *val )
6333{ struct sd *sd ;
6334 unsigned long __cil_tmp4 ;
6335 unsigned long __cil_tmp5 ;
6336 u8 __cil_tmp6 ;
6337
6338 {
6339#line 508
6340 sd = (struct sd *)gspca_dev;
6341#line 510
6342 __cil_tmp4 = (unsigned long )sd;
6343#line 510
6344 __cil_tmp5 = __cil_tmp4 + 3907;
6345#line 510
6346 __cil_tmp6 = *((u8 *)__cil_tmp5);
6347#line 510
6348 *val = (__s32 )__cil_tmp6;
6349#line 511
6350 return (0);
6351}
6352}
6353#line 515 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6354static int sd_int_pkt_scan(struct gspca_dev *gspca_dev , u8 *data , int len )
6355{ int ret ;
6356 u8 __cil_tmp5 ;
6357 unsigned int __cil_tmp6 ;
6358 u8 *__cil_tmp7 ;
6359 u8 __cil_tmp8 ;
6360 unsigned int __cil_tmp9 ;
6361 unsigned long __cil_tmp10 ;
6362 unsigned long __cil_tmp11 ;
6363 struct input_dev *__cil_tmp12 ;
6364 unsigned long __cil_tmp13 ;
6365 unsigned long __cil_tmp14 ;
6366 struct input_dev *__cil_tmp15 ;
6367 unsigned long __cil_tmp16 ;
6368 unsigned long __cil_tmp17 ;
6369 struct input_dev *__cil_tmp18 ;
6370 unsigned long __cil_tmp19 ;
6371 unsigned long __cil_tmp20 ;
6372 struct input_dev *__cil_tmp21 ;
6373
6374 {
6375#line 519
6376 ret = -22;
6377#line 521
6378 if (len == 2) {
6379 {
6380#line 521
6381 __cil_tmp5 = *data;
6382#line 521
6383 __cil_tmp6 = (unsigned int )__cil_tmp5;
6384#line 521
6385 if (__cil_tmp6 == 90U) {
6386 {
6387#line 521
6388 __cil_tmp7 = data + 1UL;
6389#line 521
6390 __cil_tmp8 = *__cil_tmp7;
6391#line 521
6392 __cil_tmp9 = (unsigned int )__cil_tmp8;
6393#line 521
6394 if (__cil_tmp9 == 90U) {
6395 {
6396#line 522
6397 __cil_tmp10 = (unsigned long )gspca_dev;
6398#line 522
6399 __cil_tmp11 = __cil_tmp10 + 1552;
6400#line 522
6401 __cil_tmp12 = *((struct input_dev **)__cil_tmp11);
6402#line 522
6403 input_report_key(__cil_tmp12, 212U, 1);
6404#line 523
6405 __cil_tmp13 = (unsigned long )gspca_dev;
6406#line 523
6407 __cil_tmp14 = __cil_tmp13 + 1552;
6408#line 523
6409 __cil_tmp15 = *((struct input_dev **)__cil_tmp14);
6410#line 523
6411 input_sync(__cil_tmp15);
6412#line 524
6413 __cil_tmp16 = (unsigned long )gspca_dev;
6414#line 524
6415 __cil_tmp17 = __cil_tmp16 + 1552;
6416#line 524
6417 __cil_tmp18 = *((struct input_dev **)__cil_tmp17);
6418#line 524
6419 input_report_key(__cil_tmp18, 212U, 0);
6420#line 525
6421 __cil_tmp19 = (unsigned long )gspca_dev;
6422#line 525
6423 __cil_tmp20 = __cil_tmp19 + 1552;
6424#line 525
6425 __cil_tmp21 = *((struct input_dev **)__cil_tmp20);
6426#line 525
6427 input_sync(__cil_tmp21);
6428#line 526
6429 ret = 0;
6430 }
6431 } else {
6432
6433 }
6434 }
6435 } else {
6436
6437 }
6438 }
6439 } else {
6440
6441 }
6442#line 529
6443 return (ret);
6444}
6445}
6446#line 534 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6447static struct sd_desc const sd_desc =
6448#line 534
6449 {"pac207", (struct ctrl const *)(& sd_ctrls), 4, & sd_config, & sd_init, & sd_start,
6450 & sd_pkt_scan, (int (*)(struct gspca_dev * ))0, (int (*)(struct gspca_dev * ))0,
6451 & sd_stopN, (void (*)(struct gspca_dev * ))0, & pac207_do_auto_gain, (int (*)(struct gspca_dev * ,
6452 struct v4l2_jpegcompression * ))0,
6453 (int (*)(struct gspca_dev * , struct v4l2_jpegcompression * ))0, (int (*)(struct gspca_dev * ,
6454 struct v4l2_querymenu * ))0,
6455 (void (*)(struct gspca_dev * , struct v4l2_streamparm * ))0, (void (*)(struct gspca_dev * ,
6456 struct v4l2_streamparm * ))0,
6457 (int (*)(struct gspca_dev * , struct v4l2_dbg_register * ))0, (int (*)(struct gspca_dev * ,
6458 struct v4l2_dbg_register * ))0,
6459 (int (*)(struct gspca_dev * , struct v4l2_dbg_chip_ident * ))0, & sd_int_pkt_scan,
6460 (unsigned char)0};
6461#line 566 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6462struct usb_device_id const __mod_usb_device_table ;
6463#line 569 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6464static int sd_probe(struct usb_interface *intf , struct usb_device_id const *id )
6465{ int tmp ;
6466
6467 {
6468 {
6469#line 572
6470 tmp = gspca_dev_probe(intf, id, & sd_desc, 3920, & __this_module);
6471 }
6472#line 572
6473 return (tmp);
6474}
6475}
6476#line 605
6477extern void ldv_check_final_state(void) ;
6478#line 608
6479extern void ldv_check_return_value(int ) ;
6480#line 611
6481extern void ldv_initialize(void) ;
6482#line 614
6483extern int __VERIFIER_nondet_int(void) ;
6484#line 617 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6485int LDV_IN_INTERRUPT ;
6486#line 620 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6487void main(void)
6488{ struct gspca_dev *var_group1 ;
6489 struct usb_device_id const *var_sd_config_3_p1 ;
6490 u8 *var_sd_pkt_scan_8_p1 ;
6491 int var_sd_pkt_scan_8_p2 ;
6492 u8 *var_sd_int_pkt_scan_20_p1 ;
6493 int var_sd_int_pkt_scan_20_p2 ;
6494 struct usb_interface *var_group2 ;
6495 struct usb_device_id const *var_sd_probe_21_p1 ;
6496 int res_sd_probe_21 ;
6497 int ldv_s_sd_driver_usb_driver ;
6498 int tmp ;
6499 int tmp___0 ;
6500
6501 {
6502 {
6503#line 914
6504 ldv_s_sd_driver_usb_driver = 0;
6505#line 902
6506 LDV_IN_INTERRUPT = 1;
6507#line 911
6508 ldv_initialize();
6509 }
6510#line 917
6511 goto ldv_26257;
6512 ldv_26256:
6513 {
6514#line 921
6515 tmp = __VERIFIER_nondet_int();
6516 }
6517#line 923
6518 if (tmp == 0) {
6519#line 923
6520 goto case_0;
6521 } else
6522#line 968
6523 if (tmp == 1) {
6524#line 968
6525 goto case_1;
6526 } else
6527#line 1013
6528 if (tmp == 2) {
6529#line 1013
6530 goto case_2;
6531 } else
6532#line 1058
6533 if (tmp == 3) {
6534#line 1058
6535 goto case_3;
6536 } else
6537#line 1103
6538 if (tmp == 4) {
6539#line 1103
6540 goto case_4;
6541 } else
6542#line 1148
6543 if (tmp == 5) {
6544#line 1148
6545 goto case_5;
6546 } else
6547#line 1193
6548 if (tmp == 6) {
6549#line 1193
6550 goto case_6;
6551 } else
6552#line 1238
6553 if (tmp == 7) {
6554#line 1238
6555 goto case_7;
6556 } else {
6557 {
6558#line 1286
6559 goto switch_default;
6560#line 921
6561 if (0) {
6562 case_0:
6563 {
6564#line 952
6565 sd_config(var_group1, var_sd_config_3_p1);
6566 }
6567#line 967
6568 goto ldv_26246;
6569 case_1:
6570 {
6571#line 997
6572 sd_init(var_group1);
6573 }
6574#line 1012
6575 goto ldv_26246;
6576 case_2:
6577 {
6578#line 1042
6579 sd_start(var_group1);
6580 }
6581#line 1057
6582 goto ldv_26246;
6583 case_3:
6584 {
6585#line 1087
6586 sd_stopN(var_group1);
6587 }
6588#line 1102
6589 goto ldv_26246;
6590 case_4:
6591 {
6592#line 1132
6593 pac207_do_auto_gain(var_group1);
6594 }
6595#line 1147
6596 goto ldv_26246;
6597 case_5:
6598 {
6599#line 1177
6600 sd_pkt_scan(var_group1, var_sd_pkt_scan_8_p1, var_sd_pkt_scan_8_p2);
6601 }
6602#line 1192
6603 goto ldv_26246;
6604 case_6:
6605 {
6606#line 1223
6607 sd_int_pkt_scan(var_group1, var_sd_int_pkt_scan_20_p1, var_sd_int_pkt_scan_20_p2);
6608 }
6609#line 1237
6610 goto ldv_26246;
6611 case_7: ;
6612#line 1241
6613 if (ldv_s_sd_driver_usb_driver == 0) {
6614 {
6615#line 1271
6616 res_sd_probe_21 = sd_probe(var_group2, var_sd_probe_21_p1);
6617#line 1272
6618 ldv_check_return_value(res_sd_probe_21);
6619 }
6620#line 1273
6621 if (res_sd_probe_21 != 0) {
6622#line 1274
6623 goto ldv_module_exit;
6624 } else {
6625
6626 }
6627#line 1279
6628 ldv_s_sd_driver_usb_driver = 0;
6629 } else {
6630
6631 }
6632#line 1285
6633 goto ldv_26246;
6634 switch_default: ;
6635#line 1286
6636 goto ldv_26246;
6637 } else {
6638 switch_break: ;
6639 }
6640 }
6641 }
6642 ldv_26246: ;
6643 ldv_26257:
6644 {
6645#line 917
6646 tmp___0 = __VERIFIER_nondet_int();
6647 }
6648#line 917
6649 if (tmp___0 != 0) {
6650#line 919
6651 goto ldv_26256;
6652 } else
6653#line 917
6654 if (ldv_s_sd_driver_usb_driver != 0) {
6655#line 919
6656 goto ldv_26256;
6657 } else {
6658#line 921
6659 goto ldv_26258;
6660 }
6661 ldv_26258: ;
6662 ldv_module_exit: ;
6663 {
6664#line 1295
6665 ldv_check_final_state();
6666 }
6667#line 1298
6668 return;
6669}
6670}
6671#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
6672void ldv_blast_assert(void)
6673{
6674
6675 {
6676 ERROR: ;
6677#line 6
6678 goto ERROR;
6679}
6680}
6681#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
6682extern int __VERIFIER_nondet_int(void) ;
6683#line 1319 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6684int ldv_spin = 0;
6685#line 1323 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6686void ldv_check_alloc_flags(gfp_t flags )
6687{
6688
6689 {
6690#line 1326
6691 if (ldv_spin != 0) {
6692#line 1326
6693 if (flags != 32U) {
6694 {
6695#line 1326
6696 ldv_blast_assert();
6697 }
6698 } else {
6699
6700 }
6701 } else {
6702
6703 }
6704#line 1329
6705 return;
6706}
6707}
6708#line 1329
6709extern struct page *ldv_some_page(void) ;
6710#line 1332 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6711struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
6712{ struct page *tmp ;
6713
6714 {
6715#line 1335
6716 if (ldv_spin != 0) {
6717#line 1335
6718 if (flags != 32U) {
6719 {
6720#line 1335
6721 ldv_blast_assert();
6722 }
6723 } else {
6724
6725 }
6726 } else {
6727
6728 }
6729 {
6730#line 1337
6731 tmp = ldv_some_page();
6732 }
6733#line 1337
6734 return (tmp);
6735}
6736}
6737#line 1341 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6738void ldv_check_alloc_nonatomic(void)
6739{
6740
6741 {
6742#line 1344
6743 if (ldv_spin != 0) {
6744 {
6745#line 1344
6746 ldv_blast_assert();
6747 }
6748 } else {
6749
6750 }
6751#line 1347
6752 return;
6753}
6754}
6755#line 1348 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6756void ldv_spin_lock(void)
6757{
6758
6759 {
6760#line 1351
6761 ldv_spin = 1;
6762#line 1352
6763 return;
6764}
6765}
6766#line 1355 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6767void ldv_spin_unlock(void)
6768{
6769
6770 {
6771#line 1358
6772 ldv_spin = 0;
6773#line 1359
6774 return;
6775}
6776}
6777#line 1362 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6778int ldv_spin_trylock(void)
6779{ int is_lock ;
6780
6781 {
6782 {
6783#line 1367
6784 is_lock = __VERIFIER_nondet_int();
6785 }
6786#line 1369
6787 if (is_lock != 0) {
6788#line 1372
6789 return (0);
6790 } else {
6791#line 1377
6792 ldv_spin = 1;
6793#line 1379
6794 return (1);
6795 }
6796}
6797}
6798#line 1546 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/7640/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/gspca/pac207.c.p"
6799void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
6800{
6801
6802 {
6803 {
6804#line 1552
6805 ldv_check_alloc_flags(ldv_func_arg2);
6806#line 1554
6807 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
6808 }
6809#line 1555
6810 return ((void *)0);
6811}
6812}