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