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