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