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