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