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 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18218.h"
3888struct tda18218_config {
3889 u8 i2c_address ;
3890 u8 i2c_wr_max ;
3891 u8 loop_through : 1 ;
3892};
3893#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18218_priv.h"
3894struct tda18218_priv {
3895 struct tda18218_config *cfg ;
3896 struct i2c_adapter *i2c ;
3897 u32 if_frequency ;
3898 u8 regs[59] ;
3899};
3900#line 192 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
3901struct __anonstruct_254 {
3902 int : 0 ;
3903};
3904#line 1 "<compiler builtins>"
3905
3906#line 1
3907
3908#line 1
3909long __builtin_expect(long val , long res ) ;
3910#line 100 "include/linux/printk.h"
3911extern int ( printk)(char const *fmt , ...) ;
3912#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3913extern void *__memcpy(void *to , void const *from , size_t len ) ;
3914#line 152 "include/linux/mutex.h"
3915void mutex_lock(struct mutex *lock ) ;
3916#line 153
3917int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3918#line 154
3919int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3920#line 168
3921int mutex_trylock(struct mutex *lock ) ;
3922#line 169
3923void mutex_unlock(struct mutex *lock ) ;
3924#line 170
3925int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3926#line 69 "include/linux/i2c.h"
3927extern int i2c_transfer(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
3928#line 356 "include/linux/moduleparam.h"
3929extern struct kernel_param_ops param_ops_int ;
3930#line 161 "include/linux/slab.h"
3931extern void kfree(void const * ) ;
3932#line 221 "include/linux/slub_def.h"
3933extern void *__kmalloc(size_t size , gfp_t flags ) ;
3934#line 268
3935__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3936 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3937#line 268 "include/linux/slub_def.h"
3938__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3939 gfp_t flags )
3940{ void *tmp___10 ;
3941
3942 {
3943 {
3944#line 283
3945 tmp___10 = __kmalloc(size, flags);
3946 }
3947#line 283
3948 return (tmp___10);
3949}
3950}
3951#line 349 "include/linux/slab.h"
3952__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3953#line 349 "include/linux/slab.h"
3954__inline static void *kzalloc(size_t size , gfp_t flags )
3955{ void *tmp___7 ;
3956 unsigned int __cil_tmp4 ;
3957
3958 {
3959 {
3960#line 351
3961 __cil_tmp4 = flags | 32768U;
3962#line 351
3963 tmp___7 = kmalloc(size, __cil_tmp4);
3964 }
3965#line 351
3966 return (tmp___7);
3967}
3968}
3969#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18218.h"
3970struct dvb_frontend *tda18218_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
3971 struct tda18218_config *cfg ) ;
3972#line 25 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
3973static int debug ;
3974#line 26 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
3975static char const __param_str_debug[6] = { (char const )'d', (char const )'e', (char const )'b', (char const )'u',
3976 (char const )'g', (char const )'\000'};
3977#line 26 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
3978static struct kernel_param const __param_debug __attribute__((__used__, __unused__,
3979__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_debug, (struct kernel_param_ops const *)(& param_ops_int), (u16 )420,
3980 (s16 )0, {(void *)(& debug)}};
3981#line 26 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
3982static char const __mod_debugtype26[19] __attribute__((__used__, __unused__, __section__(".modinfo"),
3983__aligned__(1))) =
3984#line 26
3985 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
3986 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
3987 (char const )'=', (char const )'d', (char const )'e', (char const )'b',
3988 (char const )'u', (char const )'g', (char const )':', (char const )'i',
3989 (char const )'n', (char const )'t', (char const )'\000'};
3990#line 27 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
3991static char const __mod_debug27[48] __attribute__((__used__, __unused__, __section__(".modinfo"),
3992__aligned__(1))) =
3993#line 27
3994 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
3995 (char const )'=', (char const )'d', (char const )'e', (char const )'b',
3996 (char const )'u', (char const )'g', (char const )':', (char const )'T',
3997 (char const )'u', (char const )'r', (char const )'n', (char const )' ',
3998 (char const )'o', (char const )'n', (char const )'/', (char const )'o',
3999 (char const )'f', (char const )'f', (char const )' ', (char const )'d',
4000 (char const )'e', (char const )'b', (char const )'u', (char const )'g',
4001 (char const )'g', (char const )'i', (char const )'n', (char const )'g',
4002 (char const )' ', (char const )'(', (char const )'d', (char const )'e',
4003 (char const )'f', (char const )'a', (char const )'u', (char const )'l',
4004 (char const )'t', (char const )':', (char const )'o', (char const )'f',
4005 (char const )'f', (char const )')', (char const )'.', (char const )'\000'};
4006#line 30 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
4007static int tda18218_wr_regs(struct tda18218_priv *priv , u8 reg , u8 *val , u8 len )
4008{ int ret ;
4009 u8 *buf ;
4010 unsigned long __lengthofbuf ;
4011 void *tmp___7 ;
4012 u8 quotient ;
4013 u8 remainder ;
4014 u8 i ;
4015 u8 msg_len ;
4016 u8 msg_len_max ;
4017 struct i2c_msg msg[1] ;
4018 size_t __len ;
4019 void *__ret ;
4020 int __cil_tmp17 ;
4021 int __cil_tmp18 ;
4022 unsigned long __cil_tmp19 ;
4023 unsigned long __cil_tmp20 ;
4024 unsigned long __cil_tmp21 ;
4025 struct tda18218_config *__cil_tmp22 ;
4026 u8 __cil_tmp23 ;
4027 unsigned long __cil_tmp24 ;
4028 unsigned long __cil_tmp25 ;
4029 unsigned long __cil_tmp26 ;
4030 unsigned long __cil_tmp27 ;
4031 unsigned long __cil_tmp28 ;
4032 unsigned long __cil_tmp29 ;
4033 unsigned long __cil_tmp30 ;
4034 unsigned long __cil_tmp31 ;
4035 unsigned long __cil_tmp32 ;
4036 struct tda18218_config *__cil_tmp33 ;
4037 unsigned long __cil_tmp34 ;
4038 unsigned long __cil_tmp35 ;
4039 u8 __cil_tmp36 ;
4040 int __cil_tmp37 ;
4041 int __cil_tmp38 ;
4042 int __cil_tmp39 ;
4043 int __cil_tmp40 ;
4044 int __cil_tmp41 ;
4045 int __cil_tmp42 ;
4046 int __cil_tmp43 ;
4047 int __cil_tmp44 ;
4048 int __cil_tmp45 ;
4049 int __cil_tmp46 ;
4050 int __cil_tmp47 ;
4051 int __cil_tmp48 ;
4052 unsigned long __cil_tmp49 ;
4053 unsigned long __cil_tmp50 ;
4054 unsigned long __cil_tmp51 ;
4055 int __cil_tmp52 ;
4056 int __cil_tmp53 ;
4057 u8 *__cil_tmp54 ;
4058 int __cil_tmp55 ;
4059 int __cil_tmp56 ;
4060 int __cil_tmp57 ;
4061 int __cil_tmp58 ;
4062 int __cil_tmp59 ;
4063 u8 *__cil_tmp60 ;
4064 void *__cil_tmp61 ;
4065 int __cil_tmp62 ;
4066 int __cil_tmp63 ;
4067 int __cil_tmp64 ;
4068 u8 *__cil_tmp65 ;
4069 void const *__cil_tmp66 ;
4070 unsigned long __cil_tmp67 ;
4071 unsigned long __cil_tmp68 ;
4072 struct i2c_adapter *__cil_tmp69 ;
4073 unsigned long __cil_tmp70 ;
4074 unsigned long __cil_tmp71 ;
4075 struct i2c_msg *__cil_tmp72 ;
4076 int __cil_tmp73 ;
4077 int __cil_tmp74 ;
4078 int __cil_tmp75 ;
4079 int __cil_tmp76 ;
4080
4081 {
4082 {
4083#line 32
4084 ret = 0;
4085#line 33
4086 __cil_tmp17 = (int )len;
4087#line 33
4088 __cil_tmp18 = 1 + __cil_tmp17;
4089#line 33
4090 __lengthofbuf = (unsigned long )__cil_tmp18;
4091#line 33
4092 __cil_tmp19 = 1UL * __lengthofbuf;
4093#line 33
4094 tmp___7 = __builtin_alloca(__cil_tmp19);
4095#line 33
4096 buf = (u8 *)tmp___7;
4097#line 34
4098 __cil_tmp20 = 0 * 16UL;
4099#line 34
4100 __cil_tmp21 = (unsigned long )(msg) + __cil_tmp20;
4101#line 34
4102 __cil_tmp22 = *((struct tda18218_config **)priv);
4103#line 34
4104 __cil_tmp23 = *((u8 *)__cil_tmp22);
4105#line 34
4106 *((__u16 *)__cil_tmp21) = (__u16 )__cil_tmp23;
4107#line 34
4108 __cil_tmp24 = 0 * 16UL;
4109#line 34
4110 __cil_tmp25 = __cil_tmp24 + 2;
4111#line 34
4112 __cil_tmp26 = (unsigned long )(msg) + __cil_tmp25;
4113#line 34
4114 *((__u16 *)__cil_tmp26) = (__u16 )0;
4115#line 34
4116 __cil_tmp27 = 0 * 16UL;
4117#line 34
4118 __cil_tmp28 = __cil_tmp27 + 4;
4119#line 34
4120 __cil_tmp29 = (unsigned long )(msg) + __cil_tmp28;
4121#line 34
4122 *((__u16 *)__cil_tmp29) = (unsigned short)0;
4123#line 34
4124 __cil_tmp30 = 0 * 16UL;
4125#line 34
4126 __cil_tmp31 = __cil_tmp30 + 8;
4127#line 34
4128 __cil_tmp32 = (unsigned long )(msg) + __cil_tmp31;
4129#line 34
4130 *((__u8 **)__cil_tmp32) = buf;
4131#line 42
4132 __cil_tmp33 = *((struct tda18218_config **)priv);
4133#line 42
4134 __cil_tmp34 = (unsigned long )__cil_tmp33;
4135#line 42
4136 __cil_tmp35 = __cil_tmp34 + 1;
4137#line 42
4138 __cil_tmp36 = *((u8 *)__cil_tmp35);
4139#line 42
4140 __cil_tmp37 = (int )__cil_tmp36;
4141#line 42
4142 __cil_tmp38 = __cil_tmp37 - 1;
4143#line 42
4144 msg_len_max = (u8 )__cil_tmp38;
4145#line 43
4146 __cil_tmp39 = (int )msg_len_max;
4147#line 43
4148 __cil_tmp40 = (int )len;
4149#line 43
4150 __cil_tmp41 = __cil_tmp40 / __cil_tmp39;
4151#line 43
4152 quotient = (u8 )__cil_tmp41;
4153#line 44
4154 __cil_tmp42 = (int )msg_len_max;
4155#line 44
4156 __cil_tmp43 = (int )len;
4157#line 44
4158 __cil_tmp44 = __cil_tmp43 % __cil_tmp42;
4159#line 44
4160 remainder = (u8 )__cil_tmp44;
4161#line 45
4162 msg_len = msg_len_max;
4163#line 46
4164 i = (u8 )0;
4165 }
4166 {
4167#line 46
4168 while (1) {
4169 while_continue: ;
4170 {
4171#line 46
4172 __cil_tmp45 = (int )quotient;
4173#line 46
4174 __cil_tmp46 = (int )i;
4175#line 46
4176 if (__cil_tmp46 <= __cil_tmp45) {
4177#line 46
4178 if (remainder) {
4179
4180 } else {
4181#line 46
4182 goto while_break;
4183 }
4184 } else {
4185#line 46
4186 goto while_break;
4187 }
4188 }
4189 {
4190#line 47
4191 __cil_tmp47 = (int )quotient;
4192#line 47
4193 __cil_tmp48 = (int )i;
4194#line 47
4195 if (__cil_tmp48 == __cil_tmp47) {
4196#line 48
4197 msg_len = remainder;
4198 } else {
4199
4200 }
4201 }
4202 {
4203#line 50
4204 __cil_tmp49 = 0 * 16UL;
4205#line 50
4206 __cil_tmp50 = __cil_tmp49 + 4;
4207#line 50
4208 __cil_tmp51 = (unsigned long )(msg) + __cil_tmp50;
4209#line 50
4210 __cil_tmp52 = (int )msg_len;
4211#line 50
4212 __cil_tmp53 = __cil_tmp52 + 1;
4213#line 50
4214 *((__u16 *)__cil_tmp51) = (__u16 )__cil_tmp53;
4215#line 51
4216 __cil_tmp54 = buf + 0;
4217#line 51
4218 __cil_tmp55 = (int )msg_len_max;
4219#line 51
4220 __cil_tmp56 = (int )i;
4221#line 51
4222 __cil_tmp57 = __cil_tmp56 * __cil_tmp55;
4223#line 51
4224 __cil_tmp58 = (int )reg;
4225#line 51
4226 __cil_tmp59 = __cil_tmp58 + __cil_tmp57;
4227#line 51
4228 *__cil_tmp54 = (u8 )__cil_tmp59;
4229#line 52
4230 __len = (size_t )msg_len;
4231#line 52
4232 __cil_tmp60 = buf + 1;
4233#line 52
4234 __cil_tmp61 = (void *)__cil_tmp60;
4235#line 52
4236 __cil_tmp62 = (int )msg_len_max;
4237#line 52
4238 __cil_tmp63 = (int )i;
4239#line 52
4240 __cil_tmp64 = __cil_tmp63 * __cil_tmp62;
4241#line 52
4242 __cil_tmp65 = val + __cil_tmp64;
4243#line 52
4244 __cil_tmp66 = (void const *)__cil_tmp65;
4245#line 52
4246 __ret = __builtin_memcpy(__cil_tmp61, __cil_tmp66, __len);
4247#line 54
4248 __cil_tmp67 = (unsigned long )priv;
4249#line 54
4250 __cil_tmp68 = __cil_tmp67 + 8;
4251#line 54
4252 __cil_tmp69 = *((struct i2c_adapter **)__cil_tmp68);
4253#line 54
4254 __cil_tmp70 = 0 * 16UL;
4255#line 54
4256 __cil_tmp71 = (unsigned long )(msg) + __cil_tmp70;
4257#line 54
4258 __cil_tmp72 = (struct i2c_msg *)__cil_tmp71;
4259#line 54
4260 ret = i2c_transfer(__cil_tmp69, __cil_tmp72, 1);
4261 }
4262#line 55
4263 if (ret != 1) {
4264#line 56
4265 goto while_break;
4266 } else {
4267
4268 }
4269#line 46
4270 __cil_tmp73 = (int )i;
4271#line 46
4272 __cil_tmp74 = __cil_tmp73 + 1;
4273#line 46
4274 i = (u8 )__cil_tmp74;
4275 }
4276 while_break: ;
4277 }
4278#line 59
4279 if (ret == 1) {
4280#line 60
4281 ret = 0;
4282 } else {
4283 {
4284#line 62
4285 __cil_tmp75 = (int )reg;
4286#line 62
4287 __cil_tmp76 = (int )len;
4288#line 62
4289 printk("<4>tda18218: i2c wr failed ret:%d reg:%02x len:%d\n", ret, __cil_tmp75,
4290 __cil_tmp76);
4291#line 63
4292 ret = -121;
4293 }
4294 }
4295#line 66
4296 return (ret);
4297}
4298}
4299#line 70 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
4300static int tda18218_rd_regs(struct tda18218_priv *priv , u8 reg , u8 *val , u8 len )
4301{ int ret ;
4302 u8 *buf ;
4303 unsigned long __lengthofbuf ;
4304 void *tmp___7 ;
4305 struct i2c_msg msg[2] ;
4306 size_t __len ;
4307 void *__ret ;
4308 int __cil_tmp12 ;
4309 int __cil_tmp13 ;
4310 int __cil_tmp14 ;
4311 unsigned long __cil_tmp15 ;
4312 unsigned long __cil_tmp16 ;
4313 unsigned long __cil_tmp17 ;
4314 struct tda18218_config *__cil_tmp18 ;
4315 u8 __cil_tmp19 ;
4316 unsigned long __cil_tmp20 ;
4317 unsigned long __cil_tmp21 ;
4318 unsigned long __cil_tmp22 ;
4319 unsigned long __cil_tmp23 ;
4320 unsigned long __cil_tmp24 ;
4321 unsigned long __cil_tmp25 ;
4322 unsigned long __cil_tmp26 ;
4323 unsigned long __cil_tmp27 ;
4324 unsigned long __cil_tmp28 ;
4325 unsigned long __cil_tmp29 ;
4326 unsigned long __cil_tmp30 ;
4327 struct tda18218_config *__cil_tmp31 ;
4328 u8 __cil_tmp32 ;
4329 unsigned long __cil_tmp33 ;
4330 unsigned long __cil_tmp34 ;
4331 unsigned long __cil_tmp35 ;
4332 unsigned long __cil_tmp36 ;
4333 unsigned long __cil_tmp37 ;
4334 unsigned long __cil_tmp38 ;
4335 unsigned long __cil_tmp39 ;
4336 unsigned long __cil_tmp40 ;
4337 unsigned long __cil_tmp41 ;
4338 unsigned long __cil_tmp42 ;
4339 unsigned long __cil_tmp43 ;
4340 unsigned long __cil_tmp44 ;
4341 struct i2c_adapter *__cil_tmp45 ;
4342 unsigned long __cil_tmp46 ;
4343 unsigned long __cil_tmp47 ;
4344 struct i2c_msg *__cil_tmp48 ;
4345 void *__cil_tmp49 ;
4346 u8 *__cil_tmp50 ;
4347 void const *__cil_tmp51 ;
4348 int __cil_tmp52 ;
4349 int __cil_tmp53 ;
4350
4351 {
4352 {
4353#line 73
4354 __cil_tmp12 = (int )len;
4355#line 73
4356 __cil_tmp13 = (int )reg;
4357#line 73
4358 __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
4359#line 73
4360 __lengthofbuf = (unsigned long )__cil_tmp14;
4361#line 73
4362 __cil_tmp15 = 1UL * __lengthofbuf;
4363#line 73
4364 tmp___7 = __builtin_alloca(__cil_tmp15);
4365#line 73
4366 buf = (u8 *)tmp___7;
4367#line 74
4368 __cil_tmp16 = 0 * 16UL;
4369#line 74
4370 __cil_tmp17 = (unsigned long )(msg) + __cil_tmp16;
4371#line 74
4372 __cil_tmp18 = *((struct tda18218_config **)priv);
4373#line 74
4374 __cil_tmp19 = *((u8 *)__cil_tmp18);
4375#line 74
4376 *((__u16 *)__cil_tmp17) = (__u16 )__cil_tmp19;
4377#line 74
4378 __cil_tmp20 = 0 * 16UL;
4379#line 74
4380 __cil_tmp21 = __cil_tmp20 + 2;
4381#line 74
4382 __cil_tmp22 = (unsigned long )(msg) + __cil_tmp21;
4383#line 74
4384 *((__u16 *)__cil_tmp22) = (__u16 )0;
4385#line 74
4386 __cil_tmp23 = 0 * 16UL;
4387#line 74
4388 __cil_tmp24 = __cil_tmp23 + 4;
4389#line 74
4390 __cil_tmp25 = (unsigned long )(msg) + __cil_tmp24;
4391#line 74
4392 *((__u16 *)__cil_tmp25) = (__u16 )1;
4393#line 74
4394 __cil_tmp26 = 0 * 16UL;
4395#line 74
4396 __cil_tmp27 = __cil_tmp26 + 8;
4397#line 74
4398 __cil_tmp28 = (unsigned long )(msg) + __cil_tmp27;
4399#line 74
4400 *((__u8 **)__cil_tmp28) = (__u8 *)"\000";
4401#line 74
4402 __cil_tmp29 = 1 * 16UL;
4403#line 74
4404 __cil_tmp30 = (unsigned long )(msg) + __cil_tmp29;
4405#line 74
4406 __cil_tmp31 = *((struct tda18218_config **)priv);
4407#line 74
4408 __cil_tmp32 = *((u8 *)__cil_tmp31);
4409#line 74
4410 *((__u16 *)__cil_tmp30) = (__u16 )__cil_tmp32;
4411#line 74
4412 __cil_tmp33 = 1 * 16UL;
4413#line 74
4414 __cil_tmp34 = __cil_tmp33 + 2;
4415#line 74
4416 __cil_tmp35 = (unsigned long )(msg) + __cil_tmp34;
4417#line 74
4418 *((__u16 *)__cil_tmp35) = (__u16 )1;
4419#line 74
4420 __cil_tmp36 = 1 * 16UL;
4421#line 74
4422 __cil_tmp37 = __cil_tmp36 + 4;
4423#line 74
4424 __cil_tmp38 = (unsigned long )(msg) + __cil_tmp37;
4425#line 74
4426 __cil_tmp39 = 1UL * __lengthofbuf;
4427#line 74
4428 *((__u16 *)__cil_tmp38) = (__u16 )__cil_tmp39;
4429#line 74
4430 __cil_tmp40 = 1 * 16UL;
4431#line 74
4432 __cil_tmp41 = __cil_tmp40 + 8;
4433#line 74
4434 __cil_tmp42 = (unsigned long )(msg) + __cil_tmp41;
4435#line 74
4436 *((__u8 **)__cil_tmp42) = buf;
4437#line 88
4438 __cil_tmp43 = (unsigned long )priv;
4439#line 88
4440 __cil_tmp44 = __cil_tmp43 + 8;
4441#line 88
4442 __cil_tmp45 = *((struct i2c_adapter **)__cil_tmp44);
4443#line 88
4444 __cil_tmp46 = 0 * 16UL;
4445#line 88
4446 __cil_tmp47 = (unsigned long )(msg) + __cil_tmp46;
4447#line 88
4448 __cil_tmp48 = (struct i2c_msg *)__cil_tmp47;
4449#line 88
4450 ret = i2c_transfer(__cil_tmp45, __cil_tmp48, 2);
4451 }
4452#line 89
4453 if (ret == 2) {
4454 {
4455#line 90
4456 __len = (size_t )len;
4457#line 90
4458 __cil_tmp49 = (void *)val;
4459#line 90
4460 __cil_tmp50 = buf + reg;
4461#line 90
4462 __cil_tmp51 = (void const *)__cil_tmp50;
4463#line 90
4464 __ret = __builtin_memcpy(__cil_tmp49, __cil_tmp51, __len);
4465#line 91
4466 ret = 0;
4467 }
4468 } else {
4469 {
4470#line 93
4471 __cil_tmp52 = (int )reg;
4472#line 93
4473 __cil_tmp53 = (int )len;
4474#line 93
4475 printk("<4>tda18218: i2c rd failed ret:%d reg:%02x len:%d\n", ret, __cil_tmp52,
4476 __cil_tmp53);
4477#line 94
4478 ret = -121;
4479 }
4480 }
4481#line 97
4482 return (ret);
4483}
4484}
4485#line 101 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
4486static int tda18218_wr_reg(struct tda18218_priv *priv , u8 reg , u8 val )
4487{ int tmp___7 ;
4488 u8 __cil_tmp5 ;
4489
4490 {
4491 {
4492#line 103
4493 __cil_tmp5 = (u8 )1;
4494#line 103
4495 tmp___7 = tda18218_wr_regs(priv, reg, & val, __cil_tmp5);
4496 }
4497#line 103
4498 return (tmp___7);
4499}
4500}
4501#line 108 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
4502static int tda18218_rd_reg(struct tda18218_priv *priv , u8 reg , u8 *val )
4503{ int tmp___7 ;
4504 u8 __cil_tmp5 ;
4505
4506 {
4507 {
4508#line 110
4509 __cil_tmp5 = (u8 )1;
4510#line 110
4511 tmp___7 = tda18218_rd_regs(priv, reg, val, __cil_tmp5);
4512 }
4513#line 110
4514 return (tmp___7);
4515}
4516}
4517#line 113 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
4518static int tda18218_set_params(struct dvb_frontend *fe )
4519{ struct tda18218_priv *priv ;
4520 struct dtv_frontend_properties *c ;
4521 u32 bw ;
4522 int ret ;
4523 u8 buf[3] ;
4524 u8 i ;
4525 u8 BP_Filter ;
4526 u8 LP_Fc ;
4527 u32 LO_Frac ;
4528 u8 agc[14][2] ;
4529 unsigned long __cil_tmp12 ;
4530 unsigned long __cil_tmp13 ;
4531 void *__cil_tmp14 ;
4532 unsigned long __cil_tmp15 ;
4533 unsigned long __cil_tmp16 ;
4534 unsigned long __cil_tmp17 ;
4535 unsigned long __cil_tmp18 ;
4536 unsigned long __cil_tmp19 ;
4537 unsigned long __cil_tmp20 ;
4538 unsigned long __cil_tmp21 ;
4539 unsigned long __cil_tmp22 ;
4540 unsigned long __cil_tmp23 ;
4541 unsigned long __cil_tmp24 ;
4542 unsigned long __cil_tmp25 ;
4543 unsigned long __cil_tmp26 ;
4544 unsigned long __cil_tmp27 ;
4545 unsigned long __cil_tmp28 ;
4546 unsigned long __cil_tmp29 ;
4547 unsigned long __cil_tmp30 ;
4548 unsigned long __cil_tmp31 ;
4549 unsigned long __cil_tmp32 ;
4550 unsigned long __cil_tmp33 ;
4551 unsigned long __cil_tmp34 ;
4552 unsigned long __cil_tmp35 ;
4553 unsigned long __cil_tmp36 ;
4554 unsigned long __cil_tmp37 ;
4555 unsigned long __cil_tmp38 ;
4556 unsigned long __cil_tmp39 ;
4557 unsigned long __cil_tmp40 ;
4558 unsigned long __cil_tmp41 ;
4559 unsigned long __cil_tmp42 ;
4560 unsigned long __cil_tmp43 ;
4561 unsigned long __cil_tmp44 ;
4562 unsigned long __cil_tmp45 ;
4563 unsigned long __cil_tmp46 ;
4564 unsigned long __cil_tmp47 ;
4565 unsigned long __cil_tmp48 ;
4566 unsigned long __cil_tmp49 ;
4567 unsigned long __cil_tmp50 ;
4568 unsigned long __cil_tmp51 ;
4569 unsigned long __cil_tmp52 ;
4570 unsigned long __cil_tmp53 ;
4571 unsigned long __cil_tmp54 ;
4572 unsigned long __cil_tmp55 ;
4573 unsigned long __cil_tmp56 ;
4574 unsigned long __cil_tmp57 ;
4575 unsigned long __cil_tmp58 ;
4576 unsigned long __cil_tmp59 ;
4577 unsigned long __cil_tmp60 ;
4578 unsigned long __cil_tmp61 ;
4579 unsigned long __cil_tmp62 ;
4580 unsigned long __cil_tmp63 ;
4581 unsigned long __cil_tmp64 ;
4582 unsigned long __cil_tmp65 ;
4583 unsigned long __cil_tmp66 ;
4584 unsigned long __cil_tmp67 ;
4585 unsigned long __cil_tmp68 ;
4586 unsigned long __cil_tmp69 ;
4587 unsigned long __cil_tmp70 ;
4588 unsigned long __cil_tmp71 ;
4589 unsigned long __cil_tmp72 ;
4590 unsigned long __cil_tmp73 ;
4591 unsigned long __cil_tmp74 ;
4592 unsigned long __cil_tmp75 ;
4593 unsigned long __cil_tmp76 ;
4594 unsigned long __cil_tmp77 ;
4595 unsigned long __cil_tmp78 ;
4596 unsigned long __cil_tmp79 ;
4597 unsigned long __cil_tmp80 ;
4598 unsigned long __cil_tmp81 ;
4599 unsigned long __cil_tmp82 ;
4600 unsigned long __cil_tmp83 ;
4601 unsigned long __cil_tmp84 ;
4602 unsigned long __cil_tmp85 ;
4603 unsigned long __cil_tmp86 ;
4604 unsigned long __cil_tmp87 ;
4605 unsigned long __cil_tmp88 ;
4606 unsigned long __cil_tmp89 ;
4607 unsigned long __cil_tmp90 ;
4608 unsigned long __cil_tmp91 ;
4609 unsigned long __cil_tmp92 ;
4610 unsigned long __cil_tmp93 ;
4611 unsigned long __cil_tmp94 ;
4612 unsigned long __cil_tmp95 ;
4613 unsigned long __cil_tmp96 ;
4614 unsigned long __cil_tmp97 ;
4615 unsigned long __cil_tmp98 ;
4616 unsigned long __cil_tmp99 ;
4617 unsigned long __cil_tmp100 ;
4618 unsigned long __cil_tmp101 ;
4619 unsigned long __cil_tmp102 ;
4620 unsigned long __cil_tmp103 ;
4621 unsigned long __cil_tmp104 ;
4622 unsigned long __cil_tmp105 ;
4623 unsigned long __cil_tmp106 ;
4624 unsigned long __cil_tmp107 ;
4625 unsigned long __cil_tmp108 ;
4626 unsigned long __cil_tmp109 ;
4627 unsigned long __cil_tmp110 ;
4628 unsigned long __cil_tmp111 ;
4629 unsigned long __cil_tmp112 ;
4630 unsigned long __cil_tmp113 ;
4631 unsigned long __cil_tmp114 ;
4632 unsigned long __cil_tmp115 ;
4633 unsigned long __cil_tmp116 ;
4634 unsigned long __cil_tmp117 ;
4635 unsigned long __cil_tmp118 ;
4636 unsigned long __cil_tmp119 ;
4637 unsigned long __cil_tmp120 ;
4638 unsigned long __cil_tmp121 ;
4639 unsigned long __cil_tmp122 ;
4640 unsigned long __cil_tmp123 ;
4641 unsigned long __cil_tmp124 ;
4642 unsigned long __cil_tmp125 ;
4643 unsigned long __cil_tmp126 ;
4644 unsigned long __cil_tmp127 ;
4645 unsigned long __cil_tmp128 ;
4646 unsigned long __cil_tmp129 ;
4647 unsigned long __cil_tmp130 ;
4648 unsigned long __cil_tmp131 ;
4649 unsigned long __cil_tmp132 ;
4650 unsigned long __cil_tmp133 ;
4651 unsigned long __cil_tmp134 ;
4652 unsigned long __cil_tmp135 ;
4653 unsigned long __cil_tmp136 ;
4654 int (*__cil_tmp137)(struct dvb_frontend *fe , int enable ) ;
4655 unsigned long __cil_tmp138 ;
4656 unsigned long __cil_tmp139 ;
4657 unsigned long __cil_tmp140 ;
4658 unsigned long __cil_tmp141 ;
4659 unsigned long __cil_tmp142 ;
4660 unsigned long __cil_tmp143 ;
4661 unsigned long __cil_tmp144 ;
4662 unsigned long __cil_tmp145 ;
4663 u32 __cil_tmp146 ;
4664 unsigned long __cil_tmp147 ;
4665 unsigned long __cil_tmp148 ;
4666 u32 __cil_tmp149 ;
4667 unsigned long __cil_tmp150 ;
4668 unsigned long __cil_tmp151 ;
4669 int __cil_tmp152 ;
4670 unsigned long __cil_tmp153 ;
4671 unsigned long __cil_tmp154 ;
4672 unsigned long __cil_tmp155 ;
4673 unsigned long __cil_tmp156 ;
4674 u8 __cil_tmp157 ;
4675 int __cil_tmp158 ;
4676 int __cil_tmp159 ;
4677 int __cil_tmp160 ;
4678 unsigned long __cil_tmp161 ;
4679 unsigned long __cil_tmp162 ;
4680 int __cil_tmp163 ;
4681 unsigned long __cil_tmp164 ;
4682 unsigned long __cil_tmp165 ;
4683 unsigned long __cil_tmp166 ;
4684 unsigned long __cil_tmp167 ;
4685 u8 __cil_tmp168 ;
4686 int __cil_tmp169 ;
4687 int __cil_tmp170 ;
4688 int __cil_tmp171 ;
4689 unsigned long __cil_tmp172 ;
4690 unsigned long __cil_tmp173 ;
4691 unsigned long __cil_tmp174 ;
4692 unsigned long __cil_tmp175 ;
4693 unsigned long __cil_tmp176 ;
4694 unsigned long __cil_tmp177 ;
4695 u8 __cil_tmp178 ;
4696 unsigned long __cil_tmp179 ;
4697 unsigned long __cil_tmp180 ;
4698 u8 *__cil_tmp181 ;
4699 u8 __cil_tmp182 ;
4700 unsigned long __cil_tmp183 ;
4701 unsigned long __cil_tmp184 ;
4702 u32 __cil_tmp185 ;
4703 u32 __cil_tmp186 ;
4704 unsigned long __cil_tmp187 ;
4705 unsigned long __cil_tmp188 ;
4706 u32 __cil_tmp189 ;
4707 u32 __cil_tmp190 ;
4708 unsigned long __cil_tmp191 ;
4709 unsigned long __cil_tmp192 ;
4710 unsigned long __cil_tmp193 ;
4711 unsigned long __cil_tmp194 ;
4712 unsigned long __cil_tmp195 ;
4713 unsigned long __cil_tmp196 ;
4714 u8 __cil_tmp197 ;
4715 int __cil_tmp198 ;
4716 int __cil_tmp199 ;
4717 unsigned int __cil_tmp200 ;
4718 u32 __cil_tmp201 ;
4719 u32 __cil_tmp202 ;
4720 unsigned int __cil_tmp203 ;
4721 u8 __cil_tmp204 ;
4722 unsigned long __cil_tmp205 ;
4723 unsigned long __cil_tmp206 ;
4724 u8 *__cil_tmp207 ;
4725 u8 __cil_tmp208 ;
4726 unsigned long __cil_tmp209 ;
4727 unsigned long __cil_tmp210 ;
4728 int __cil_tmp211 ;
4729 unsigned long __cil_tmp212 ;
4730 unsigned long __cil_tmp213 ;
4731 unsigned long __cil_tmp214 ;
4732 unsigned long __cil_tmp215 ;
4733 u8 __cil_tmp216 ;
4734 int __cil_tmp217 ;
4735 int __cil_tmp218 ;
4736 u8 __cil_tmp219 ;
4737 unsigned long __cil_tmp220 ;
4738 unsigned long __cil_tmp221 ;
4739 u8 *__cil_tmp222 ;
4740 u8 __cil_tmp223 ;
4741 unsigned long __cil_tmp224 ;
4742 unsigned long __cil_tmp225 ;
4743 int __cil_tmp226 ;
4744 int __cil_tmp227 ;
4745 unsigned long __cil_tmp228 ;
4746 unsigned long __cil_tmp229 ;
4747 unsigned long __cil_tmp230 ;
4748 unsigned long __cil_tmp231 ;
4749 u8 __cil_tmp232 ;
4750 int __cil_tmp233 ;
4751 int __cil_tmp234 ;
4752 u8 __cil_tmp235 ;
4753 unsigned long __cil_tmp236 ;
4754 unsigned long __cil_tmp237 ;
4755 u8 *__cil_tmp238 ;
4756 u8 __cil_tmp239 ;
4757 unsigned long __cil_tmp240 ;
4758 unsigned long __cil_tmp241 ;
4759 unsigned long __cil_tmp242 ;
4760 unsigned long __cil_tmp243 ;
4761 unsigned long __cil_tmp244 ;
4762 unsigned long __cil_tmp245 ;
4763 unsigned long __cil_tmp246 ;
4764 u8 __cil_tmp247 ;
4765 unsigned long __cil_tmp248 ;
4766 unsigned long __cil_tmp249 ;
4767 unsigned long __cil_tmp250 ;
4768 unsigned long __cil_tmp251 ;
4769 u8 __cil_tmp252 ;
4770 int __cil_tmp253 ;
4771 int __cil_tmp254 ;
4772 unsigned long __cil_tmp255 ;
4773 unsigned long __cil_tmp256 ;
4774 unsigned long __cil_tmp257 ;
4775 unsigned long __cil_tmp258 ;
4776 unsigned long __cil_tmp259 ;
4777 unsigned long __cil_tmp260 ;
4778 int (*__cil_tmp261)(struct dvb_frontend *fe , int enable ) ;
4779 int *__cil_tmp262 ;
4780
4781 {
4782#line 115
4783 __cil_tmp12 = (unsigned long )fe;
4784#line 115
4785 __cil_tmp13 = __cil_tmp12 + 768;
4786#line 115
4787 __cil_tmp14 = *((void **)__cil_tmp13);
4788#line 115
4789 priv = (struct tda18218_priv *)__cil_tmp14;
4790#line 116
4791 __cil_tmp15 = (unsigned long )fe;
4792#line 116
4793 __cil_tmp16 = __cil_tmp15 + 800;
4794#line 116
4795 c = (struct dtv_frontend_properties *)__cil_tmp16;
4796#line 117
4797 __cil_tmp17 = (unsigned long )c;
4798#line 117
4799 __cil_tmp18 = __cil_tmp17 + 32;
4800#line 117
4801 bw = *((u32 *)__cil_tmp18);
4802#line 122
4803 __cil_tmp19 = 0 * 1UL;
4804#line 122
4805 __cil_tmp20 = 0 * 2UL;
4806#line 122
4807 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
4808#line 122
4809 __cil_tmp22 = (unsigned long )(agc) + __cil_tmp21;
4810#line 122
4811 *((u8 *)__cil_tmp22) = (u8 )32;
4812#line 122
4813 __cil_tmp23 = 1 * 1UL;
4814#line 122
4815 __cil_tmp24 = 0 * 2UL;
4816#line 122
4817 __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
4818#line 122
4819 __cil_tmp26 = (unsigned long )(agc) + __cil_tmp25;
4820#line 122
4821 *((u8 *)__cil_tmp26) = (u8 )96;
4822#line 122
4823 __cil_tmp27 = 0 * 1UL;
4824#line 122
4825 __cil_tmp28 = 1 * 2UL;
4826#line 122
4827 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
4828#line 122
4829 __cil_tmp30 = (unsigned long )(agc) + __cil_tmp29;
4830#line 122
4831 *((u8 *)__cil_tmp30) = (u8 )35;
4832#line 122
4833 __cil_tmp31 = 1 * 1UL;
4834#line 122
4835 __cil_tmp32 = 1 * 2UL;
4836#line 122
4837 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
4838#line 122
4839 __cil_tmp34 = (unsigned long )(agc) + __cil_tmp33;
4840#line 122
4841 *((u8 *)__cil_tmp34) = (u8 )2;
4842#line 122
4843 __cil_tmp35 = 0 * 1UL;
4844#line 122
4845 __cil_tmp36 = 2 * 2UL;
4846#line 122
4847 __cil_tmp37 = __cil_tmp36 + __cil_tmp35;
4848#line 122
4849 __cil_tmp38 = (unsigned long )(agc) + __cil_tmp37;
4850#line 122
4851 *((u8 *)__cil_tmp38) = (u8 )32;
4852#line 122
4853 __cil_tmp39 = 1 * 1UL;
4854#line 122
4855 __cil_tmp40 = 2 * 2UL;
4856#line 122
4857 __cil_tmp41 = __cil_tmp40 + __cil_tmp39;
4858#line 122
4859 __cil_tmp42 = (unsigned long )(agc) + __cil_tmp41;
4860#line 122
4861 *((u8 *)__cil_tmp42) = (u8 )160;
4862#line 122
4863 __cil_tmp43 = 0 * 1UL;
4864#line 122
4865 __cil_tmp44 = 3 * 2UL;
4866#line 122
4867 __cil_tmp45 = __cil_tmp44 + __cil_tmp43;
4868#line 122
4869 __cil_tmp46 = (unsigned long )(agc) + __cil_tmp45;
4870#line 122
4871 *((u8 *)__cil_tmp46) = (u8 )35;
4872#line 122
4873 __cil_tmp47 = 1 * 1UL;
4874#line 122
4875 __cil_tmp48 = 3 * 2UL;
4876#line 122
4877 __cil_tmp49 = __cil_tmp48 + __cil_tmp47;
4878#line 122
4879 __cil_tmp50 = (unsigned long )(agc) + __cil_tmp49;
4880#line 122
4881 *((u8 *)__cil_tmp50) = (u8 )9;
4882#line 122
4883 __cil_tmp51 = 0 * 1UL;
4884#line 122
4885 __cil_tmp52 = 4 * 2UL;
4886#line 122
4887 __cil_tmp53 = __cil_tmp52 + __cil_tmp51;
4888#line 122
4889 __cil_tmp54 = (unsigned long )(agc) + __cil_tmp53;
4890#line 122
4891 *((u8 *)__cil_tmp54) = (u8 )32;
4892#line 122
4893 __cil_tmp55 = 1 * 1UL;
4894#line 122
4895 __cil_tmp56 = 4 * 2UL;
4896#line 122
4897 __cil_tmp57 = __cil_tmp56 + __cil_tmp55;
4898#line 122
4899 __cil_tmp58 = (unsigned long )(agc) + __cil_tmp57;
4900#line 122
4901 *((u8 *)__cil_tmp58) = (u8 )224;
4902#line 122
4903 __cil_tmp59 = 0 * 1UL;
4904#line 122
4905 __cil_tmp60 = 5 * 2UL;
4906#line 122
4907 __cil_tmp61 = __cil_tmp60 + __cil_tmp59;
4908#line 122
4909 __cil_tmp62 = (unsigned long )(agc) + __cil_tmp61;
4910#line 122
4911 *((u8 *)__cil_tmp62) = (u8 )35;
4912#line 122
4913 __cil_tmp63 = 1 * 1UL;
4914#line 122
4915 __cil_tmp64 = 5 * 2UL;
4916#line 122
4917 __cil_tmp65 = __cil_tmp64 + __cil_tmp63;
4918#line 122
4919 __cil_tmp66 = (unsigned long )(agc) + __cil_tmp65;
4920#line 122
4921 *((u8 *)__cil_tmp66) = (u8 )12;
4922#line 122
4923 __cil_tmp67 = 0 * 1UL;
4924#line 122
4925 __cil_tmp68 = 6 * 2UL;
4926#line 122
4927 __cil_tmp69 = __cil_tmp68 + __cil_tmp67;
4928#line 122
4929 __cil_tmp70 = (unsigned long )(agc) + __cil_tmp69;
4930#line 122
4931 *((u8 *)__cil_tmp70) = (u8 )32;
4932#line 122
4933 __cil_tmp71 = 1 * 1UL;
4934#line 122
4935 __cil_tmp72 = 6 * 2UL;
4936#line 122
4937 __cil_tmp73 = __cil_tmp72 + __cil_tmp71;
4938#line 122
4939 __cil_tmp74 = (unsigned long )(agc) + __cil_tmp73;
4940#line 122
4941 *((u8 *)__cil_tmp74) = (u8 )64;
4942#line 122
4943 __cil_tmp75 = 0 * 1UL;
4944#line 122
4945 __cil_tmp76 = 7 * 2UL;
4946#line 122
4947 __cil_tmp77 = __cil_tmp76 + __cil_tmp75;
4948#line 122
4949 __cil_tmp78 = (unsigned long )(agc) + __cil_tmp77;
4950#line 122
4951 *((u8 *)__cil_tmp78) = (u8 )35;
4952#line 122
4953 __cil_tmp79 = 1 * 1UL;
4954#line 122
4955 __cil_tmp80 = 7 * 2UL;
4956#line 122
4957 __cil_tmp81 = __cil_tmp80 + __cil_tmp79;
4958#line 122
4959 __cil_tmp82 = (unsigned long )(agc) + __cil_tmp81;
4960#line 122
4961 *((u8 *)__cil_tmp82) = (u8 )1;
4962#line 122
4963 __cil_tmp83 = 0 * 1UL;
4964#line 122
4965 __cil_tmp84 = 8 * 2UL;
4966#line 122
4967 __cil_tmp85 = __cil_tmp84 + __cil_tmp83;
4968#line 122
4969 __cil_tmp86 = (unsigned long )(agc) + __cil_tmp85;
4970#line 122
4971 *((u8 *)__cil_tmp86) = (u8 )32;
4972#line 122
4973 __cil_tmp87 = 1 * 1UL;
4974#line 122
4975 __cil_tmp88 = 8 * 2UL;
4976#line 122
4977 __cil_tmp89 = __cil_tmp88 + __cil_tmp87;
4978#line 122
4979 __cil_tmp90 = (unsigned long )(agc) + __cil_tmp89;
4980#line 122
4981 *((u8 *)__cil_tmp90) = (u8 )128;
4982#line 122
4983 __cil_tmp91 = 0 * 1UL;
4984#line 122
4985 __cil_tmp92 = 9 * 2UL;
4986#line 122
4987 __cil_tmp93 = __cil_tmp92 + __cil_tmp91;
4988#line 122
4989 __cil_tmp94 = (unsigned long )(agc) + __cil_tmp93;
4990#line 122
4991 *((u8 *)__cil_tmp94) = (u8 )35;
4992#line 122
4993 __cil_tmp95 = 1 * 1UL;
4994#line 122
4995 __cil_tmp96 = 9 * 2UL;
4996#line 122
4997 __cil_tmp97 = __cil_tmp96 + __cil_tmp95;
4998#line 122
4999 __cil_tmp98 = (unsigned long )(agc) + __cil_tmp97;
5000#line 122
5001 *((u8 *)__cil_tmp98) = (u8 )8;
5002#line 122
5003 __cil_tmp99 = 0 * 1UL;
5004#line 122
5005 __cil_tmp100 = 10 * 2UL;
5006#line 122
5007 __cil_tmp101 = __cil_tmp100 + __cil_tmp99;
5008#line 122
5009 __cil_tmp102 = (unsigned long )(agc) + __cil_tmp101;
5010#line 122
5011 *((u8 *)__cil_tmp102) = (u8 )32;
5012#line 122
5013 __cil_tmp103 = 1 * 1UL;
5014#line 122
5015 __cil_tmp104 = 10 * 2UL;
5016#line 122
5017 __cil_tmp105 = __cil_tmp104 + __cil_tmp103;
5018#line 122
5019 __cil_tmp106 = (unsigned long )(agc) + __cil_tmp105;
5020#line 122
5021 *((u8 *)__cil_tmp106) = (u8 )192;
5022#line 122
5023 __cil_tmp107 = 0 * 1UL;
5024#line 122
5025 __cil_tmp108 = 11 * 2UL;
5026#line 122
5027 __cil_tmp109 = __cil_tmp108 + __cil_tmp107;
5028#line 122
5029 __cil_tmp110 = (unsigned long )(agc) + __cil_tmp109;
5030#line 122
5031 *((u8 *)__cil_tmp110) = (u8 )35;
5032#line 122
5033 __cil_tmp111 = 1 * 1UL;
5034#line 122
5035 __cil_tmp112 = 11 * 2UL;
5036#line 122
5037 __cil_tmp113 = __cil_tmp112 + __cil_tmp111;
5038#line 122
5039 __cil_tmp114 = (unsigned long )(agc) + __cil_tmp113;
5040#line 122
5041 *((u8 *)__cil_tmp114) = (u8 )11;
5042#line 122
5043 __cil_tmp115 = 0 * 1UL;
5044#line 122
5045 __cil_tmp116 = 12 * 2UL;
5046#line 122
5047 __cil_tmp117 = __cil_tmp116 + __cil_tmp115;
5048#line 122
5049 __cil_tmp118 = (unsigned long )(agc) + __cil_tmp117;
5050#line 122
5051 *((u8 *)__cil_tmp118) = (u8 )36;
5052#line 122
5053 __cil_tmp119 = 1 * 1UL;
5054#line 122
5055 __cil_tmp120 = 12 * 2UL;
5056#line 122
5057 __cil_tmp121 = __cil_tmp120 + __cil_tmp119;
5058#line 122
5059 __cil_tmp122 = (unsigned long )(agc) + __cil_tmp121;
5060#line 122
5061 *((u8 *)__cil_tmp122) = (u8 )28;
5062#line 122
5063 __cil_tmp123 = 0 * 1UL;
5064#line 122
5065 __cil_tmp124 = 13 * 2UL;
5066#line 122
5067 __cil_tmp125 = __cil_tmp124 + __cil_tmp123;
5068#line 122
5069 __cil_tmp126 = (unsigned long )(agc) + __cil_tmp125;
5070#line 122
5071 *((u8 *)__cil_tmp126) = (u8 )36;
5072#line 122
5073 __cil_tmp127 = 1 * 1UL;
5074#line 122
5075 __cil_tmp128 = 13 * 2UL;
5076#line 122
5077 __cil_tmp129 = __cil_tmp128 + __cil_tmp127;
5078#line 122
5079 __cil_tmp130 = (unsigned long )(agc) + __cil_tmp129;
5080#line 122
5081 *((u8 *)__cil_tmp130) = (u8 )12;
5082 {
5083#line 139
5084 __cil_tmp131 = 0 + 360;
5085#line 139
5086 __cil_tmp132 = (unsigned long )fe;
5087#line 139
5088 __cil_tmp133 = __cil_tmp132 + __cil_tmp131;
5089#line 139
5090 if (*((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp133)) {
5091 {
5092#line 140
5093 __cil_tmp134 = 0 + 360;
5094#line 140
5095 __cil_tmp135 = (unsigned long )fe;
5096#line 140
5097 __cil_tmp136 = __cil_tmp135 + __cil_tmp134;
5098#line 140
5099 __cil_tmp137 = *((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp136);
5100#line 140
5101 (*__cil_tmp137)(fe, 1);
5102 }
5103 } else {
5104
5105 }
5106 }
5107#line 143
5108 if (bw <= 6000000U) {
5109#line 144
5110 LP_Fc = (u8 )0;
5111#line 145
5112 __cil_tmp138 = (unsigned long )priv;
5113#line 145
5114 __cil_tmp139 = __cil_tmp138 + 16;
5115#line 145
5116 *((u32 *)__cil_tmp139) = (u32 )3000000;
5117 } else
5118#line 146
5119 if (bw <= 7000000U) {
5120#line 147
5121 LP_Fc = (u8 )1;
5122#line 148
5123 __cil_tmp140 = (unsigned long )priv;
5124#line 148
5125 __cil_tmp141 = __cil_tmp140 + 16;
5126#line 148
5127 *((u32 *)__cil_tmp141) = (u32 )3500000;
5128 } else {
5129#line 150
5130 LP_Fc = (u8 )2;
5131#line 151
5132 __cil_tmp142 = (unsigned long )priv;
5133#line 151
5134 __cil_tmp143 = __cil_tmp142 + 16;
5135#line 151
5136 *((u32 *)__cil_tmp143) = (u32 )4000000;
5137 }
5138#line 154
5139 __cil_tmp144 = (unsigned long )priv;
5140#line 154
5141 __cil_tmp145 = __cil_tmp144 + 16;
5142#line 154
5143 __cil_tmp146 = *((u32 *)__cil_tmp145);
5144#line 154
5145 __cil_tmp147 = (unsigned long )c;
5146#line 154
5147 __cil_tmp148 = __cil_tmp147 + 4;
5148#line 154
5149 __cil_tmp149 = *((u32 *)__cil_tmp148);
5150#line 154
5151 LO_Frac = __cil_tmp149 + __cil_tmp146;
5152#line 157
5153 if (LO_Frac < 188000000U) {
5154#line 158
5155 BP_Filter = (u8 )3;
5156 } else
5157#line 159
5158 if (LO_Frac < 253000000U) {
5159#line 160
5160 BP_Filter = (u8 )4;
5161 } else
5162#line 161
5163 if (LO_Frac < 343000000U) {
5164#line 162
5165 BP_Filter = (u8 )5;
5166 } else {
5167#line 164
5168 BP_Filter = (u8 )6;
5169 }
5170 {
5171#line 166
5172 __cil_tmp150 = 0 * 1UL;
5173#line 166
5174 __cil_tmp151 = (unsigned long )(buf) + __cil_tmp150;
5175#line 166
5176 __cil_tmp152 = (int )BP_Filter;
5177#line 166
5178 __cil_tmp153 = 26 * 1UL;
5179#line 166
5180 __cil_tmp154 = 20 + __cil_tmp153;
5181#line 166
5182 __cil_tmp155 = (unsigned long )priv;
5183#line 166
5184 __cil_tmp156 = __cil_tmp155 + __cil_tmp154;
5185#line 166
5186 __cil_tmp157 = *((u8 *)__cil_tmp156);
5187#line 166
5188 __cil_tmp158 = (int )__cil_tmp157;
5189#line 166
5190 __cil_tmp159 = __cil_tmp158 & -8;
5191#line 166
5192 __cil_tmp160 = __cil_tmp159 | __cil_tmp152;
5193#line 166
5194 *((u8 *)__cil_tmp151) = (u8 )__cil_tmp160;
5195#line 167
5196 __cil_tmp161 = 1 * 1UL;
5197#line 167
5198 __cil_tmp162 = (unsigned long )(buf) + __cil_tmp161;
5199#line 167
5200 __cil_tmp163 = (int )LP_Fc;
5201#line 167
5202 __cil_tmp164 = 27 * 1UL;
5203#line 167
5204 __cil_tmp165 = 20 + __cil_tmp164;
5205#line 167
5206 __cil_tmp166 = (unsigned long )priv;
5207#line 167
5208 __cil_tmp167 = __cil_tmp166 + __cil_tmp165;
5209#line 167
5210 __cil_tmp168 = *((u8 *)__cil_tmp167);
5211#line 167
5212 __cil_tmp169 = (int )__cil_tmp168;
5213#line 167
5214 __cil_tmp170 = __cil_tmp169 & -4;
5215#line 167
5216 __cil_tmp171 = __cil_tmp170 | __cil_tmp163;
5217#line 167
5218 *((u8 *)__cil_tmp162) = (u8 )__cil_tmp171;
5219#line 168
5220 __cil_tmp172 = 2 * 1UL;
5221#line 168
5222 __cil_tmp173 = (unsigned long )(buf) + __cil_tmp172;
5223#line 168
5224 __cil_tmp174 = 28 * 1UL;
5225#line 168
5226 __cil_tmp175 = 20 + __cil_tmp174;
5227#line 168
5228 __cil_tmp176 = (unsigned long )priv;
5229#line 168
5230 __cil_tmp177 = __cil_tmp176 + __cil_tmp175;
5231#line 168
5232 *((u8 *)__cil_tmp173) = *((u8 *)__cil_tmp177);
5233#line 169
5234 __cil_tmp178 = (u8 )26;
5235#line 169
5236 __cil_tmp179 = 0 * 1UL;
5237#line 169
5238 __cil_tmp180 = (unsigned long )(buf) + __cil_tmp179;
5239#line 169
5240 __cil_tmp181 = (u8 *)__cil_tmp180;
5241#line 169
5242 __cil_tmp182 = (u8 )3;
5243#line 169
5244 ret = tda18218_wr_regs(priv, __cil_tmp178, __cil_tmp181, __cil_tmp182);
5245 }
5246#line 170
5247 if (ret) {
5248#line 171
5249 goto error;
5250 } else {
5251
5252 }
5253 {
5254#line 173
5255 __cil_tmp183 = 0 * 1UL;
5256#line 173
5257 __cil_tmp184 = (unsigned long )(buf) + __cil_tmp183;
5258#line 173
5259 __cil_tmp185 = LO_Frac / 1000U;
5260#line 173
5261 __cil_tmp186 = __cil_tmp185 >> 12;
5262#line 173
5263 *((u8 *)__cil_tmp184) = (u8 )__cil_tmp186;
5264#line 174
5265 __cil_tmp187 = 1 * 1UL;
5266#line 174
5267 __cil_tmp188 = (unsigned long )(buf) + __cil_tmp187;
5268#line 174
5269 __cil_tmp189 = LO_Frac / 1000U;
5270#line 174
5271 __cil_tmp190 = __cil_tmp189 >> 4;
5272#line 174
5273 *((u8 *)__cil_tmp188) = (u8 )__cil_tmp190;
5274#line 175
5275 __cil_tmp191 = 2 * 1UL;
5276#line 175
5277 __cil_tmp192 = (unsigned long )(buf) + __cil_tmp191;
5278#line 175
5279 __cil_tmp193 = 12 * 1UL;
5280#line 175
5281 __cil_tmp194 = 20 + __cil_tmp193;
5282#line 175
5283 __cil_tmp195 = (unsigned long )priv;
5284#line 175
5285 __cil_tmp196 = __cil_tmp195 + __cil_tmp194;
5286#line 175
5287 __cil_tmp197 = *((u8 *)__cil_tmp196);
5288#line 175
5289 __cil_tmp198 = (int )__cil_tmp197;
5290#line 175
5291 __cil_tmp199 = __cil_tmp198 & 15;
5292#line 175
5293 __cil_tmp200 = (unsigned int )__cil_tmp199;
5294#line 175
5295 __cil_tmp201 = LO_Frac / 1000U;
5296#line 175
5297 __cil_tmp202 = __cil_tmp201 << 4;
5298#line 175
5299 __cil_tmp203 = __cil_tmp202 | __cil_tmp200;
5300#line 175
5301 *((u8 *)__cil_tmp192) = (u8 )__cil_tmp203;
5302#line 177
5303 __cil_tmp204 = (u8 )10;
5304#line 177
5305 __cil_tmp205 = 0 * 1UL;
5306#line 177
5307 __cil_tmp206 = (unsigned long )(buf) + __cil_tmp205;
5308#line 177
5309 __cil_tmp207 = (u8 *)__cil_tmp206;
5310#line 177
5311 __cil_tmp208 = (u8 )3;
5312#line 177
5313 ret = tda18218_wr_regs(priv, __cil_tmp204, __cil_tmp207, __cil_tmp208);
5314 }
5315#line 178
5316 if (ret) {
5317#line 179
5318 goto error;
5319 } else {
5320
5321 }
5322 {
5323#line 181
5324 __cil_tmp209 = 0 * 1UL;
5325#line 181
5326 __cil_tmp210 = (unsigned long )(buf) + __cil_tmp209;
5327#line 181
5328 __cil_tmp211 = 1 << 6;
5329#line 181
5330 __cil_tmp212 = 15 * 1UL;
5331#line 181
5332 __cil_tmp213 = 20 + __cil_tmp212;
5333#line 181
5334 __cil_tmp214 = (unsigned long )priv;
5335#line 181
5336 __cil_tmp215 = __cil_tmp214 + __cil_tmp213;
5337#line 181
5338 __cil_tmp216 = *((u8 *)__cil_tmp215);
5339#line 181
5340 __cil_tmp217 = (int )__cil_tmp216;
5341#line 181
5342 __cil_tmp218 = __cil_tmp217 | __cil_tmp211;
5343#line 181
5344 *((u8 *)__cil_tmp210) = (u8 )__cil_tmp218;
5345#line 182
5346 __cil_tmp219 = (u8 )15;
5347#line 182
5348 __cil_tmp220 = 0 * 1UL;
5349#line 182
5350 __cil_tmp221 = (unsigned long )(buf) + __cil_tmp220;
5351#line 182
5352 __cil_tmp222 = (u8 *)__cil_tmp221;
5353#line 182
5354 __cil_tmp223 = (u8 )1;
5355#line 182
5356 ret = tda18218_wr_regs(priv, __cil_tmp219, __cil_tmp222, __cil_tmp223);
5357 }
5358#line 183
5359 if (ret) {
5360#line 184
5361 goto error;
5362 } else {
5363
5364 }
5365 {
5366#line 186
5367 __cil_tmp224 = 0 * 1UL;
5368#line 186
5369 __cil_tmp225 = (unsigned long )(buf) + __cil_tmp224;
5370#line 186
5371 __cil_tmp226 = 1 << 6;
5372#line 186
5373 __cil_tmp227 = ~ __cil_tmp226;
5374#line 186
5375 __cil_tmp228 = 15 * 1UL;
5376#line 186
5377 __cil_tmp229 = 20 + __cil_tmp228;
5378#line 186
5379 __cil_tmp230 = (unsigned long )priv;
5380#line 186
5381 __cil_tmp231 = __cil_tmp230 + __cil_tmp229;
5382#line 186
5383 __cil_tmp232 = *((u8 *)__cil_tmp231);
5384#line 186
5385 __cil_tmp233 = (int )__cil_tmp232;
5386#line 186
5387 __cil_tmp234 = __cil_tmp233 & __cil_tmp227;
5388#line 186
5389 *((u8 *)__cil_tmp225) = (u8 )__cil_tmp234;
5390#line 187
5391 __cil_tmp235 = (u8 )15;
5392#line 187
5393 __cil_tmp236 = 0 * 1UL;
5394#line 187
5395 __cil_tmp237 = (unsigned long )(buf) + __cil_tmp236;
5396#line 187
5397 __cil_tmp238 = (u8 *)__cil_tmp237;
5398#line 187
5399 __cil_tmp239 = (u8 )1;
5400#line 187
5401 ret = tda18218_wr_regs(priv, __cil_tmp235, __cil_tmp238, __cil_tmp239);
5402 }
5403#line 188
5404 if (ret) {
5405#line 189
5406 goto error;
5407 } else {
5408
5409 }
5410#line 192
5411 i = (u8 )0;
5412 {
5413#line 192
5414 while (1) {
5415 while_continue: ;
5416 {
5417#line 192
5418 __cil_tmp240 = 28UL / 2UL;
5419#line 192
5420 __cil_tmp241 = __cil_tmp240 + 0UL;
5421#line 192
5422 __cil_tmp242 = (unsigned long )i;
5423#line 192
5424 if (__cil_tmp242 < __cil_tmp241) {
5425
5426 } else {
5427#line 192
5428 goto while_break;
5429 }
5430 }
5431 {
5432#line 193
5433 __cil_tmp243 = 0 * 1UL;
5434#line 193
5435 __cil_tmp244 = i * 2UL;
5436#line 193
5437 __cil_tmp245 = __cil_tmp244 + __cil_tmp243;
5438#line 193
5439 __cil_tmp246 = (unsigned long )(agc) + __cil_tmp245;
5440#line 193
5441 __cil_tmp247 = *((u8 *)__cil_tmp246);
5442#line 193
5443 __cil_tmp248 = 1 * 1UL;
5444#line 193
5445 __cil_tmp249 = i * 2UL;
5446#line 193
5447 __cil_tmp250 = __cil_tmp249 + __cil_tmp248;
5448#line 193
5449 __cil_tmp251 = (unsigned long )(agc) + __cil_tmp250;
5450#line 193
5451 __cil_tmp252 = *((u8 *)__cil_tmp251);
5452#line 193
5453 ret = tda18218_wr_reg(priv, __cil_tmp247, __cil_tmp252);
5454 }
5455#line 194
5456 if (ret) {
5457#line 195
5458 goto error;
5459 } else {
5460
5461 }
5462#line 192
5463 __cil_tmp253 = (int )i;
5464#line 192
5465 __cil_tmp254 = __cil_tmp253 + 1;
5466#line 192
5467 i = (u8 )__cil_tmp254;
5468 }
5469 while_break: ;
5470 }
5471 error:
5472 {
5473#line 199
5474 __cil_tmp255 = 0 + 360;
5475#line 199
5476 __cil_tmp256 = (unsigned long )fe;
5477#line 199
5478 __cil_tmp257 = __cil_tmp256 + __cil_tmp255;
5479#line 199
5480 if (*((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp257)) {
5481 {
5482#line 200
5483 __cil_tmp258 = 0 + 360;
5484#line 200
5485 __cil_tmp259 = (unsigned long )fe;
5486#line 200
5487 __cil_tmp260 = __cil_tmp259 + __cil_tmp258;
5488#line 200
5489 __cil_tmp261 = *((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp260);
5490#line 200
5491 (*__cil_tmp261)(fe, 0);
5492 }
5493 } else {
5494
5495 }
5496 }
5497#line 202
5498 if (ret) {
5499 {
5500#line 203
5501 __cil_tmp262 = & debug;
5502#line 203
5503 if (*__cil_tmp262) {
5504 {
5505#line 203
5506 printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_set_params", ret);
5507 }
5508 } else {
5509
5510 }
5511 }
5512 } else {
5513
5514 }
5515#line 205
5516 return (ret);
5517}
5518}
5519#line 208 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
5520static int tda18218_get_if_frequency(struct dvb_frontend *fe , u32 *frequency )
5521{ struct tda18218_priv *priv ;
5522 unsigned long __cil_tmp4 ;
5523 unsigned long __cil_tmp5 ;
5524 void *__cil_tmp6 ;
5525 unsigned long __cil_tmp7 ;
5526 unsigned long __cil_tmp8 ;
5527 int *__cil_tmp9 ;
5528 u32 __cil_tmp10 ;
5529
5530 {
5531#line 210
5532 __cil_tmp4 = (unsigned long )fe;
5533#line 210
5534 __cil_tmp5 = __cil_tmp4 + 768;
5535#line 210
5536 __cil_tmp6 = *((void **)__cil_tmp5);
5537#line 210
5538 priv = (struct tda18218_priv *)__cil_tmp6;
5539#line 211
5540 __cil_tmp7 = (unsigned long )priv;
5541#line 211
5542 __cil_tmp8 = __cil_tmp7 + 16;
5543#line 211
5544 *frequency = *((u32 *)__cil_tmp8);
5545 {
5546#line 212
5547 __cil_tmp9 = & debug;
5548#line 212
5549 if (*__cil_tmp9) {
5550 {
5551#line 212
5552 __cil_tmp10 = *frequency;
5553#line 212
5554 printk("<7>tda18218: %s: if=%d\n", "tda18218_get_if_frequency", __cil_tmp10);
5555 }
5556 } else {
5557
5558 }
5559 }
5560#line 213
5561 return (0);
5562}
5563}
5564#line 216 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
5565static int tda18218_sleep(struct dvb_frontend *fe )
5566{ struct tda18218_priv *priv ;
5567 int ret ;
5568 unsigned long __cil_tmp4 ;
5569 unsigned long __cil_tmp5 ;
5570 void *__cil_tmp6 ;
5571 unsigned long __cil_tmp7 ;
5572 unsigned long __cil_tmp8 ;
5573 unsigned long __cil_tmp9 ;
5574 unsigned long __cil_tmp10 ;
5575 unsigned long __cil_tmp11 ;
5576 unsigned long __cil_tmp12 ;
5577 int (*__cil_tmp13)(struct dvb_frontend *fe , int enable ) ;
5578 u8 __cil_tmp14 ;
5579 unsigned long __cil_tmp15 ;
5580 unsigned long __cil_tmp16 ;
5581 unsigned long __cil_tmp17 ;
5582 unsigned long __cil_tmp18 ;
5583 u8 __cil_tmp19 ;
5584 int __cil_tmp20 ;
5585 int __cil_tmp21 ;
5586 u8 __cil_tmp22 ;
5587 unsigned long __cil_tmp23 ;
5588 unsigned long __cil_tmp24 ;
5589 unsigned long __cil_tmp25 ;
5590 unsigned long __cil_tmp26 ;
5591 unsigned long __cil_tmp27 ;
5592 unsigned long __cil_tmp28 ;
5593 int (*__cil_tmp29)(struct dvb_frontend *fe , int enable ) ;
5594 int *__cil_tmp30 ;
5595
5596 {
5597#line 218
5598 __cil_tmp4 = (unsigned long )fe;
5599#line 218
5600 __cil_tmp5 = __cil_tmp4 + 768;
5601#line 218
5602 __cil_tmp6 = *((void **)__cil_tmp5);
5603#line 218
5604 priv = (struct tda18218_priv *)__cil_tmp6;
5605 {
5606#line 221
5607 __cil_tmp7 = 0 + 360;
5608#line 221
5609 __cil_tmp8 = (unsigned long )fe;
5610#line 221
5611 __cil_tmp9 = __cil_tmp8 + __cil_tmp7;
5612#line 221
5613 if (*((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp9)) {
5614 {
5615#line 222
5616 __cil_tmp10 = 0 + 360;
5617#line 222
5618 __cil_tmp11 = (unsigned long )fe;
5619#line 222
5620 __cil_tmp12 = __cil_tmp11 + __cil_tmp10;
5621#line 222
5622 __cil_tmp13 = *((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp12);
5623#line 222
5624 (*__cil_tmp13)(fe, 1);
5625 }
5626 } else {
5627
5628 }
5629 }
5630 {
5631#line 225
5632 __cil_tmp14 = (u8 )23;
5633#line 225
5634 __cil_tmp15 = 23 * 1UL;
5635#line 225
5636 __cil_tmp16 = 20 + __cil_tmp15;
5637#line 225
5638 __cil_tmp17 = (unsigned long )priv;
5639#line 225
5640 __cil_tmp18 = __cil_tmp17 + __cil_tmp16;
5641#line 225
5642 __cil_tmp19 = *((u8 *)__cil_tmp18);
5643#line 225
5644 __cil_tmp20 = (int )__cil_tmp19;
5645#line 225
5646 __cil_tmp21 = __cil_tmp20 | 1;
5647#line 225
5648 __cil_tmp22 = (u8 )__cil_tmp21;
5649#line 225
5650 ret = tda18218_wr_reg(priv, __cil_tmp14, __cil_tmp22);
5651 }
5652 {
5653#line 227
5654 __cil_tmp23 = 0 + 360;
5655#line 227
5656 __cil_tmp24 = (unsigned long )fe;
5657#line 227
5658 __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
5659#line 227
5660 if (*((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp25)) {
5661 {
5662#line 228
5663 __cil_tmp26 = 0 + 360;
5664#line 228
5665 __cil_tmp27 = (unsigned long )fe;
5666#line 228
5667 __cil_tmp28 = __cil_tmp27 + __cil_tmp26;
5668#line 228
5669 __cil_tmp29 = *((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp28);
5670#line 228
5671 (*__cil_tmp29)(fe, 0);
5672 }
5673 } else {
5674
5675 }
5676 }
5677#line 230
5678 if (ret) {
5679 {
5680#line 231
5681 __cil_tmp30 = & debug;
5682#line 231
5683 if (*__cil_tmp30) {
5684 {
5685#line 231
5686 printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_sleep", ret);
5687 }
5688 } else {
5689
5690 }
5691 }
5692 } else {
5693
5694 }
5695#line 233
5696 return (ret);
5697}
5698}
5699#line 236 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
5700static int tda18218_init(struct dvb_frontend *fe )
5701{ struct tda18218_priv *priv ;
5702 int ret ;
5703 unsigned long __cil_tmp4 ;
5704 unsigned long __cil_tmp5 ;
5705 void *__cil_tmp6 ;
5706 unsigned long __cil_tmp7 ;
5707 unsigned long __cil_tmp8 ;
5708 unsigned long __cil_tmp9 ;
5709 unsigned long __cil_tmp10 ;
5710 unsigned long __cil_tmp11 ;
5711 unsigned long __cil_tmp12 ;
5712 int (*__cil_tmp13)(struct dvb_frontend *fe , int enable ) ;
5713 u8 __cil_tmp14 ;
5714 unsigned long __cil_tmp15 ;
5715 unsigned long __cil_tmp16 ;
5716 unsigned long __cil_tmp17 ;
5717 unsigned long __cil_tmp18 ;
5718 u8 *__cil_tmp19 ;
5719 u8 __cil_tmp20 ;
5720 unsigned long __cil_tmp21 ;
5721 unsigned long __cil_tmp22 ;
5722 unsigned long __cil_tmp23 ;
5723 unsigned long __cil_tmp24 ;
5724 unsigned long __cil_tmp25 ;
5725 unsigned long __cil_tmp26 ;
5726 int (*__cil_tmp27)(struct dvb_frontend *fe , int enable ) ;
5727 int *__cil_tmp28 ;
5728
5729 {
5730#line 238
5731 __cil_tmp4 = (unsigned long )fe;
5732#line 238
5733 __cil_tmp5 = __cil_tmp4 + 768;
5734#line 238
5735 __cil_tmp6 = *((void **)__cil_tmp5);
5736#line 238
5737 priv = (struct tda18218_priv *)__cil_tmp6;
5738 {
5739#line 243
5740 __cil_tmp7 = 0 + 360;
5741#line 243
5742 __cil_tmp8 = (unsigned long )fe;
5743#line 243
5744 __cil_tmp9 = __cil_tmp8 + __cil_tmp7;
5745#line 243
5746 if (*((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp9)) {
5747 {
5748#line 244
5749 __cil_tmp10 = 0 + 360;
5750#line 244
5751 __cil_tmp11 = (unsigned long )fe;
5752#line 244
5753 __cil_tmp12 = __cil_tmp11 + __cil_tmp10;
5754#line 244
5755 __cil_tmp13 = *((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp12);
5756#line 244
5757 (*__cil_tmp13)(fe, 1);
5758 }
5759 } else {
5760
5761 }
5762 }
5763 {
5764#line 246
5765 __cil_tmp14 = (u8 )0;
5766#line 246
5767 __cil_tmp15 = 0 * 1UL;
5768#line 246
5769 __cil_tmp16 = 20 + __cil_tmp15;
5770#line 246
5771 __cil_tmp17 = (unsigned long )priv;
5772#line 246
5773 __cil_tmp18 = __cil_tmp17 + __cil_tmp16;
5774#line 246
5775 __cil_tmp19 = (u8 *)__cil_tmp18;
5776#line 246
5777 __cil_tmp20 = (u8 )59;
5778#line 246
5779 ret = tda18218_wr_regs(priv, __cil_tmp14, __cil_tmp19, __cil_tmp20);
5780 }
5781 {
5782#line 248
5783 __cil_tmp21 = 0 + 360;
5784#line 248
5785 __cil_tmp22 = (unsigned long )fe;
5786#line 248
5787 __cil_tmp23 = __cil_tmp22 + __cil_tmp21;
5788#line 248
5789 if (*((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp23)) {
5790 {
5791#line 249
5792 __cil_tmp24 = 0 + 360;
5793#line 249
5794 __cil_tmp25 = (unsigned long )fe;
5795#line 249
5796 __cil_tmp26 = __cil_tmp25 + __cil_tmp24;
5797#line 249
5798 __cil_tmp27 = *((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp26);
5799#line 249
5800 (*__cil_tmp27)(fe, 0);
5801 }
5802 } else {
5803
5804 }
5805 }
5806#line 251
5807 if (ret) {
5808 {
5809#line 252
5810 __cil_tmp28 = & debug;
5811#line 252
5812 if (*__cil_tmp28) {
5813 {
5814#line 252
5815 printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_init", ret);
5816 }
5817 } else {
5818
5819 }
5820 }
5821 } else {
5822
5823 }
5824#line 254
5825 return (ret);
5826}
5827}
5828#line 257 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
5829static int tda18218_release(struct dvb_frontend *fe )
5830{ unsigned long __cil_tmp2 ;
5831 unsigned long __cil_tmp3 ;
5832 void *__cil_tmp4 ;
5833 void const *__cil_tmp5 ;
5834 unsigned long __cil_tmp6 ;
5835 unsigned long __cil_tmp7 ;
5836
5837 {
5838 {
5839#line 259
5840 __cil_tmp2 = (unsigned long )fe;
5841#line 259
5842 __cil_tmp3 = __cil_tmp2 + 768;
5843#line 259
5844 __cil_tmp4 = *((void **)__cil_tmp3);
5845#line 259
5846 __cil_tmp5 = (void const *)__cil_tmp4;
5847#line 259
5848 kfree(__cil_tmp5);
5849#line 260
5850 __cil_tmp6 = (unsigned long )fe;
5851#line 260
5852 __cil_tmp7 = __cil_tmp6 + 768;
5853#line 260
5854 *((void **)__cil_tmp7) = (void *)0;
5855 }
5856#line 261
5857 return (0);
5858}
5859}
5860#line 264 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
5861static struct dvb_tuner_ops const tda18218_tuner_ops =
5862#line 264
5863 {{{(char )'N', (char )'X', (char )'P', (char )' ', (char )'T', (char )'D', (char )'A',
5864 (char )'1', (char )'8', (char )'2', (char )'1', (char )'8', (char )'\000'},
5865 (u32 )174000000, (u32 )864000000, (u32 )1000, 0U, 0U, 0U}, & tda18218_release,
5866 & tda18218_init, & tda18218_sleep, & tda18218_set_params, (int (*)(struct dvb_frontend *fe ,
5867 struct analog_parameters *p ))0,
5868 (int (*)(struct dvb_frontend *fe , u8 *buf , int buf_len ))0, (int (*)(struct dvb_frontend *fe ,
5869 void *priv_cfg ))0,
5870 (int (*)(struct dvb_frontend *fe , u32 *frequency ))0, (int (*)(struct dvb_frontend *fe ,
5871 u32 *bandwidth ))0,
5872 & tda18218_get_if_frequency, (int (*)(struct dvb_frontend *fe , u32 *status ))0,
5873 (int (*)(struct dvb_frontend *fe , u16 *strength ))0, (int (*)(struct dvb_frontend *fe ,
5874 u32 frequency ))0,
5875 (int (*)(struct dvb_frontend *fe , u32 bandwidth ))0, (int (*)(struct dvb_frontend *fe ,
5876 enum tuner_param param ,
5877 struct tuner_state *state ))0,
5878 (int (*)(struct dvb_frontend *fe , enum tuner_param param , struct tuner_state *state ))0};
5879#line 289
5880struct dvb_frontend *tda18218_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
5881 struct tda18218_config *cfg ) ;
5882#line 289 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
5883static u8 def_regs[59] =
5884#line 289
5885 { (u8 )192, (u8 )136, (u8 )0, (u8 )142,
5886 (u8 )3, (u8 )0, (u8 )0, (u8 )208,
5887 (u8 )0, (u8 )64, (u8 )0, (u8 )0,
5888 (u8 )7, (u8 )255, (u8 )132, (u8 )9,
5889 (u8 )0, (u8 )19, (u8 )0, (u8 )0,
5890 (u8 )1, (u8 )132, (u8 )9, (u8 )240,
5891 (u8 )25, (u8 )10, (u8 )142, (u8 )105,
5892 (u8 )152, (u8 )1, (u8 )0, (u8 )88,
5893 (u8 )16, (u8 )64, (u8 )140, (u8 )0,
5894 (u8 )12, (u8 )72, (u8 )133, (u8 )201,
5895 (u8 )167, (u8 )0, (u8 )0, (u8 )0,
5896 (u8 )48, (u8 )129, (u8 )128, (u8 )0,
5897 (u8 )57, (u8 )0, (u8 )138, (u8 )0,
5898 (u8 )0, (u8 )0, (u8 )0, (u8 )0,
5899 (u8 )0, (u8 )246, (u8 )246};
5900#line 282 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
5901struct dvb_frontend *tda18218_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
5902 struct tda18218_config *cfg )
5903{ struct tda18218_priv *priv ;
5904 u8 val ;
5905 int ret ;
5906 void *tmp___7 ;
5907 size_t __len ;
5908 void *__ret ;
5909 size_t __len___0 ;
5910 void *__ret___0 ;
5911 void *__cil_tmp12 ;
5912 void *__cil_tmp13 ;
5913 unsigned long __cil_tmp14 ;
5914 unsigned long __cil_tmp15 ;
5915 void *__cil_tmp16 ;
5916 unsigned long __cil_tmp17 ;
5917 unsigned long __cil_tmp18 ;
5918 unsigned long __cil_tmp19 ;
5919 unsigned long __cil_tmp20 ;
5920 unsigned long __cil_tmp21 ;
5921 unsigned long __cil_tmp22 ;
5922 unsigned long __cil_tmp23 ;
5923 unsigned long __cil_tmp24 ;
5924 unsigned long __cil_tmp25 ;
5925 unsigned long __cil_tmp26 ;
5926 int (*__cil_tmp27)(struct dvb_frontend *fe , int enable ) ;
5927 u8 __cil_tmp28 ;
5928 int *__cil_tmp29 ;
5929 u8 *__cil_tmp30 ;
5930 u8 __cil_tmp31 ;
5931 int __cil_tmp32 ;
5932 void const *__cil_tmp33 ;
5933 void *__cil_tmp34 ;
5934 unsigned long __cil_tmp35 ;
5935 unsigned long __cil_tmp36 ;
5936 u8 __cil_tmp37 ;
5937 int __cil_tmp38 ;
5938 u8 *__cil_tmp39 ;
5939 u8 __cil_tmp40 ;
5940 int __cil_tmp41 ;
5941 void const *__cil_tmp42 ;
5942 void *__cil_tmp43 ;
5943 unsigned long __cil_tmp44 ;
5944 unsigned long __cil_tmp45 ;
5945 unsigned long __cil_tmp46 ;
5946 struct dvb_tuner_ops *__cil_tmp47 ;
5947 void *__cil_tmp48 ;
5948 void const *__cil_tmp49 ;
5949 unsigned long __cil_tmp50 ;
5950 unsigned long __cil_tmp51 ;
5951 unsigned long __cil_tmp52 ;
5952 struct dvb_tuner_ops *__cil_tmp53 ;
5953 void *__cil_tmp54 ;
5954 void const *__cil_tmp55 ;
5955 unsigned long __cil_tmp56 ;
5956 unsigned long __cil_tmp57 ;
5957 unsigned long __cil_tmp58 ;
5958 unsigned long __cil_tmp59 ;
5959 u8 *__cil_tmp60 ;
5960 void *__cil_tmp61 ;
5961 unsigned long __cil_tmp62 ;
5962 unsigned long __cil_tmp63 ;
5963 u8 *__cil_tmp64 ;
5964 void const *__cil_tmp65 ;
5965 unsigned long __cil_tmp66 ;
5966 unsigned long __cil_tmp67 ;
5967 unsigned long __cil_tmp68 ;
5968 unsigned long __cil_tmp69 ;
5969 u8 *__cil_tmp70 ;
5970 void *__cil_tmp71 ;
5971 unsigned long __cil_tmp72 ;
5972 unsigned long __cil_tmp73 ;
5973 u8 *__cil_tmp74 ;
5974 void const *__cil_tmp75 ;
5975 struct tda18218_config *__cil_tmp76 ;
5976 unsigned long __cil_tmp77 ;
5977 unsigned long __cil_tmp78 ;
5978 unsigned long __cil_tmp79 ;
5979 unsigned long __cil_tmp80 ;
5980 unsigned long __cil_tmp81 ;
5981 unsigned long __cil_tmp82 ;
5982 unsigned long __cil_tmp83 ;
5983 unsigned long __cil_tmp84 ;
5984 unsigned long __cil_tmp85 ;
5985 unsigned long __cil_tmp86 ;
5986 u8 __cil_tmp87 ;
5987 unsigned long __cil_tmp88 ;
5988 unsigned long __cil_tmp89 ;
5989 unsigned long __cil_tmp90 ;
5990 unsigned long __cil_tmp91 ;
5991 u8 __cil_tmp92 ;
5992 int __cil_tmp93 ;
5993 int __cil_tmp94 ;
5994 u8 __cil_tmp95 ;
5995 int *__cil_tmp96 ;
5996 unsigned long __cil_tmp97 ;
5997 unsigned long __cil_tmp98 ;
5998 unsigned long __cil_tmp99 ;
5999 unsigned long __cil_tmp100 ;
6000 unsigned long __cil_tmp101 ;
6001 unsigned long __cil_tmp102 ;
6002 int (*__cil_tmp103)(struct dvb_frontend *fe , int enable ) ;
6003
6004 {
6005 {
6006#line 285
6007 __cil_tmp12 = (void *)0;
6008#line 285
6009 priv = (struct tda18218_priv *)__cil_tmp12;
6010#line 298
6011 tmp___7 = kzalloc(80UL, 208U);
6012#line 298
6013 priv = (struct tda18218_priv *)tmp___7;
6014 }
6015 {
6016#line 299
6017 __cil_tmp13 = (void *)0;
6018#line 299
6019 __cil_tmp14 = (unsigned long )__cil_tmp13;
6020#line 299
6021 __cil_tmp15 = (unsigned long )priv;
6022#line 299
6023 if (__cil_tmp15 == __cil_tmp14) {
6024 {
6025#line 300
6026 __cil_tmp16 = (void *)0;
6027#line 300
6028 return ((struct dvb_frontend *)__cil_tmp16);
6029 }
6030 } else {
6031
6032 }
6033 }
6034#line 302
6035 *((struct tda18218_config **)priv) = cfg;
6036#line 303
6037 __cil_tmp17 = (unsigned long )priv;
6038#line 303
6039 __cil_tmp18 = __cil_tmp17 + 8;
6040#line 303
6041 *((struct i2c_adapter **)__cil_tmp18) = i2c;
6042#line 304
6043 __cil_tmp19 = (unsigned long )fe;
6044#line 304
6045 __cil_tmp20 = __cil_tmp19 + 768;
6046#line 304
6047 *((void **)__cil_tmp20) = (void *)priv;
6048 {
6049#line 306
6050 __cil_tmp21 = 0 + 360;
6051#line 306
6052 __cil_tmp22 = (unsigned long )fe;
6053#line 306
6054 __cil_tmp23 = __cil_tmp22 + __cil_tmp21;
6055#line 306
6056 if (*((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp23)) {
6057 {
6058#line 307
6059 __cil_tmp24 = 0 + 360;
6060#line 307
6061 __cil_tmp25 = (unsigned long )fe;
6062#line 307
6063 __cil_tmp26 = __cil_tmp25 + __cil_tmp24;
6064#line 307
6065 __cil_tmp27 = *((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp26);
6066#line 307
6067 (*__cil_tmp27)(fe, 1);
6068 }
6069 } else {
6070
6071 }
6072 }
6073 {
6074#line 310
6075 __cil_tmp28 = (u8 )0;
6076#line 310
6077 ret = tda18218_rd_reg(priv, __cil_tmp28, & val);
6078 }
6079 {
6080#line 311
6081 __cil_tmp29 = & debug;
6082#line 311
6083 if (*__cil_tmp29) {
6084 {
6085#line 311
6086 __cil_tmp30 = & val;
6087#line 311
6088 __cil_tmp31 = *__cil_tmp30;
6089#line 311
6090 __cil_tmp32 = (int )__cil_tmp31;
6091#line 311
6092 printk("<7>tda18218: %s: ret:%d chip ID:%02x\n", "tda18218_attach", ret, __cil_tmp32);
6093 }
6094 } else {
6095
6096 }
6097 }
6098#line 312
6099 if (ret) {
6100 {
6101#line 313
6102 __cil_tmp33 = (void const *)priv;
6103#line 313
6104 kfree(__cil_tmp33);
6105 }
6106 {
6107#line 314
6108 __cil_tmp34 = (void *)0;
6109#line 314
6110 return ((struct dvb_frontend *)__cil_tmp34);
6111 }
6112 } else {
6113 {
6114#line 312
6115 __cil_tmp35 = 0 * 1UL;
6116#line 312
6117 __cil_tmp36 = (unsigned long )(def_regs) + __cil_tmp35;
6118#line 312
6119 __cil_tmp37 = *((u8 *)__cil_tmp36);
6120#line 312
6121 __cil_tmp38 = (int )__cil_tmp37;
6122#line 312
6123 __cil_tmp39 = & val;
6124#line 312
6125 __cil_tmp40 = *__cil_tmp39;
6126#line 312
6127 __cil_tmp41 = (int )__cil_tmp40;
6128#line 312
6129 if (__cil_tmp41 != __cil_tmp38) {
6130 {
6131#line 313
6132 __cil_tmp42 = (void const *)priv;
6133#line 313
6134 kfree(__cil_tmp42);
6135 }
6136 {
6137#line 314
6138 __cil_tmp43 = (void *)0;
6139#line 314
6140 return ((struct dvb_frontend *)__cil_tmp43);
6141 }
6142 } else {
6143
6144 }
6145 }
6146 }
6147 {
6148#line 317
6149 printk("<6>tda18218: NXP TDA18218HN successfully identified.\n");
6150#line 319
6151 __len = 280UL;
6152 }
6153#line 319
6154 if (__len >= 64UL) {
6155 {
6156#line 319
6157 __cil_tmp44 = 0 + 384;
6158#line 319
6159 __cil_tmp45 = (unsigned long )fe;
6160#line 319
6161 __cil_tmp46 = __cil_tmp45 + __cil_tmp44;
6162#line 319
6163 __cil_tmp47 = (struct dvb_tuner_ops *)__cil_tmp46;
6164#line 319
6165 __cil_tmp48 = (void *)__cil_tmp47;
6166#line 319
6167 __cil_tmp49 = (void const *)(& tda18218_tuner_ops);
6168#line 319
6169 __ret = __memcpy(__cil_tmp48, __cil_tmp49, __len);
6170 }
6171 } else {
6172 {
6173#line 319
6174 __cil_tmp50 = 0 + 384;
6175#line 319
6176 __cil_tmp51 = (unsigned long )fe;
6177#line 319
6178 __cil_tmp52 = __cil_tmp51 + __cil_tmp50;
6179#line 319
6180 __cil_tmp53 = (struct dvb_tuner_ops *)__cil_tmp52;
6181#line 319
6182 __cil_tmp54 = (void *)__cil_tmp53;
6183#line 319
6184 __cil_tmp55 = (void const *)(& tda18218_tuner_ops);
6185#line 319
6186 __ret = __builtin_memcpy(__cil_tmp54, __cil_tmp55, __len);
6187 }
6188 }
6189#line 321
6190 __len___0 = 59UL;
6191#line 321
6192 if (__len___0 >= 64UL) {
6193 {
6194#line 321
6195 __cil_tmp56 = 0 * 1UL;
6196#line 321
6197 __cil_tmp57 = 20 + __cil_tmp56;
6198#line 321
6199 __cil_tmp58 = (unsigned long )priv;
6200#line 321
6201 __cil_tmp59 = __cil_tmp58 + __cil_tmp57;
6202#line 321
6203 __cil_tmp60 = (u8 *)__cil_tmp59;
6204#line 321
6205 __cil_tmp61 = (void *)__cil_tmp60;
6206#line 321
6207 __cil_tmp62 = 0 * 1UL;
6208#line 321
6209 __cil_tmp63 = (unsigned long )(def_regs) + __cil_tmp62;
6210#line 321
6211 __cil_tmp64 = (u8 *)__cil_tmp63;
6212#line 321
6213 __cil_tmp65 = (void const *)__cil_tmp64;
6214#line 321
6215 __ret___0 = __memcpy(__cil_tmp61, __cil_tmp65, __len___0);
6216 }
6217 } else {
6218 {
6219#line 321
6220 __cil_tmp66 = 0 * 1UL;
6221#line 321
6222 __cil_tmp67 = 20 + __cil_tmp66;
6223#line 321
6224 __cil_tmp68 = (unsigned long )priv;
6225#line 321
6226 __cil_tmp69 = __cil_tmp68 + __cil_tmp67;
6227#line 321
6228 __cil_tmp70 = (u8 *)__cil_tmp69;
6229#line 321
6230 __cil_tmp71 = (void *)__cil_tmp70;
6231#line 321
6232 __cil_tmp72 = 0 * 1UL;
6233#line 321
6234 __cil_tmp73 = (unsigned long )(def_regs) + __cil_tmp72;
6235#line 321
6236 __cil_tmp74 = (u8 *)__cil_tmp73;
6237#line 321
6238 __cil_tmp75 = (void const *)__cil_tmp74;
6239#line 321
6240 __ret___0 = __builtin_memcpy(__cil_tmp71, __cil_tmp75, __len___0);
6241 }
6242 }
6243 {
6244#line 324
6245 __cil_tmp76 = *((struct tda18218_config **)priv);
6246#line 324
6247 __cil_tmp77 = (unsigned long )__cil_tmp76;
6248#line 324
6249 __cil_tmp78 = __cil_tmp77 + 2;
6250#line 324
6251 if (*((u8 *)__cil_tmp78)) {
6252#line 325
6253 __cil_tmp79 = 23 * 1UL;
6254#line 325
6255 __cil_tmp80 = 20 + __cil_tmp79;
6256#line 325
6257 __cil_tmp81 = (unsigned long )priv;
6258#line 325
6259 __cil_tmp82 = __cil_tmp81 + __cil_tmp80;
6260#line 325
6261 *((u8 *)__cil_tmp82) = (u8 )176;
6262#line 326
6263 __cil_tmp83 = 24 * 1UL;
6264#line 326
6265 __cil_tmp84 = 20 + __cil_tmp83;
6266#line 326
6267 __cil_tmp85 = (unsigned long )priv;
6268#line 326
6269 __cil_tmp86 = __cil_tmp85 + __cil_tmp84;
6270#line 326
6271 *((u8 *)__cil_tmp86) = (u8 )89;
6272 } else {
6273
6274 }
6275 }
6276 {
6277#line 330
6278 __cil_tmp87 = (u8 )23;
6279#line 330
6280 __cil_tmp88 = 23 * 1UL;
6281#line 330
6282 __cil_tmp89 = 20 + __cil_tmp88;
6283#line 330
6284 __cil_tmp90 = (unsigned long )priv;
6285#line 330
6286 __cil_tmp91 = __cil_tmp90 + __cil_tmp89;
6287#line 330
6288 __cil_tmp92 = *((u8 *)__cil_tmp91);
6289#line 330
6290 __cil_tmp93 = (int )__cil_tmp92;
6291#line 330
6292 __cil_tmp94 = __cil_tmp93 | 1;
6293#line 330
6294 __cil_tmp95 = (u8 )__cil_tmp94;
6295#line 330
6296 ret = tda18218_wr_reg(priv, __cil_tmp87, __cil_tmp95);
6297 }
6298#line 331
6299 if (ret) {
6300 {
6301#line 332
6302 __cil_tmp96 = & debug;
6303#line 332
6304 if (*__cil_tmp96) {
6305 {
6306#line 332
6307 printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_attach", ret);
6308 }
6309 } else {
6310
6311 }
6312 }
6313 } else {
6314
6315 }
6316 {
6317#line 334
6318 __cil_tmp97 = 0 + 360;
6319#line 334
6320 __cil_tmp98 = (unsigned long )fe;
6321#line 334
6322 __cil_tmp99 = __cil_tmp98 + __cil_tmp97;
6323#line 334
6324 if (*((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp99)) {
6325 {
6326#line 335
6327 __cil_tmp100 = 0 + 360;
6328#line 335
6329 __cil_tmp101 = (unsigned long )fe;
6330#line 335
6331 __cil_tmp102 = __cil_tmp101 + __cil_tmp100;
6332#line 335
6333 __cil_tmp103 = *((int (**)(struct dvb_frontend *fe , int enable ))__cil_tmp102);
6334#line 335
6335 (*__cil_tmp103)(fe, 0);
6336 }
6337 } else {
6338
6339 }
6340 }
6341#line 337
6342 return (fe);
6343}
6344}
6345#line 339
6346extern void *__crc_tda18218_attach __attribute__((__weak__)) ;
6347#line 339 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6348static unsigned long const __kcrctab_tda18218_attach __attribute__((__used__, __unused__,
6349__section__("___kcrctab+tda18218_attach"))) = (unsigned long const )((unsigned long )(& __crc_tda18218_attach));
6350#line 339 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6351static char const __kstrtab_tda18218_attach[16] __attribute__((__section__("__ksymtab_strings"),
6352__aligned__(1))) =
6353#line 339
6354 { (char const )'t', (char const )'d', (char const )'a', (char const )'1',
6355 (char const )'8', (char const )'2', (char const )'1', (char const )'8',
6356 (char const )'_', (char const )'a', (char const )'t', (char const )'t',
6357 (char const )'a', (char const )'c', (char const )'h', (char const )'\000'};
6358#line 339 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6359static struct kernel_symbol const __ksymtab_tda18218_attach __attribute__((__used__,
6360__unused__, __section__("___ksymtab+tda18218_attach"))) = {(unsigned long )(& tda18218_attach), __kstrtab_tda18218_attach};
6361#line 341 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6362static char const __mod_description341[48] __attribute__((__used__, __unused__,
6363__section__(".modinfo"), __aligned__(1))) =
6364#line 341
6365 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
6366 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
6367 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
6368 (char const )'N', (char const )'X', (char const )'P', (char const )' ',
6369 (char const )'T', (char const )'D', (char const )'A', (char const )'1',
6370 (char const )'8', (char const )'2', (char const )'1', (char const )'8',
6371 (char const )'H', (char const )'N', (char const )' ', (char const )'s',
6372 (char const )'i', (char const )'l', (char const )'i', (char const )'c',
6373 (char const )'o', (char const )'n', (char const )' ', (char const )'t',
6374 (char const )'u', (char const )'n', (char const )'e', (char const )'r',
6375 (char const )' ', (char const )'d', (char const )'r', (char const )'i',
6376 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
6377#line 342 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6378static char const __mod_author342[38] __attribute__((__used__, __unused__, __section__(".modinfo"),
6379__aligned__(1))) =
6380#line 342
6381 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
6382 (char const )'o', (char const )'r', (char const )'=', (char const )'A',
6383 (char const )'n', (char const )'t', (char const )'t', (char const )'i',
6384 (char const )' ', (char const )'P', (char const )'a', (char const )'l',
6385 (char const )'o', (char const )'s', (char const )'a', (char const )'a',
6386 (char const )'r', (char const )'i', (char const )' ', (char const )'<',
6387 (char const )'c', (char const )'r', (char const )'o', (char const )'p',
6388 (char const )'e', (char const )'@', (char const )'i', (char const )'k',
6389 (char const )'i', (char const )'.', (char const )'f', (char const )'i',
6390 (char const )'>', (char const )'\000'};
6391#line 343 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6392static char const __mod_license343[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
6393__aligned__(1))) =
6394#line 343
6395 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
6396 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
6397 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
6398#line 361
6399void ldv_check_final_state(void) ;
6400#line 367
6401extern void ldv_initialize(void) ;
6402#line 370
6403extern int __VERIFIER_nondet_int(void) ;
6404#line 373 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6405int LDV_IN_INTERRUPT ;
6406#line 376 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6407void main(void)
6408{ struct dvb_frontend *var_group1 ;
6409 u32 *var_tda18218_get_if_frequency_5_p1 ;
6410 int ldv_s_tda18218_tuner_ops_dvb_tuner_ops ;
6411 int tmp___7 ;
6412 int tmp___8 ;
6413 int __cil_tmp6 ;
6414
6415 {
6416 {
6417#line 404
6418 LDV_IN_INTERRUPT = 1;
6419#line 413
6420 ldv_initialize();
6421#line 414
6422 ldv_s_tda18218_tuner_ops_dvb_tuner_ops = 0;
6423 }
6424 {
6425#line 418
6426 while (1) {
6427 while_continue: ;
6428 {
6429#line 418
6430 tmp___8 = __VERIFIER_nondet_int();
6431 }
6432#line 418
6433 if (tmp___8) {
6434
6435 } else {
6436 {
6437#line 418
6438 __cil_tmp6 = ldv_s_tda18218_tuner_ops_dvb_tuner_ops == 0;
6439#line 418
6440 if (! __cil_tmp6) {
6441
6442 } else {
6443#line 418
6444 goto while_break;
6445 }
6446 }
6447 }
6448 {
6449#line 422
6450 tmp___7 = __VERIFIER_nondet_int();
6451 }
6452#line 424
6453 if (tmp___7 == 0) {
6454#line 424
6455 goto case_0;
6456 } else
6457#line 440
6458 if (tmp___7 == 1) {
6459#line 440
6460 goto case_1;
6461 } else
6462#line 456
6463 if (tmp___7 == 2) {
6464#line 456
6465 goto case_2;
6466 } else
6467#line 472
6468 if (tmp___7 == 3) {
6469#line 472
6470 goto case_3;
6471 } else
6472#line 488
6473 if (tmp___7 == 4) {
6474#line 488
6475 goto case_4;
6476 } else {
6477 {
6478#line 504
6479 goto switch_default;
6480#line 422
6481 if (0) {
6482 case_0:
6483#line 427
6484 if (ldv_s_tda18218_tuner_ops_dvb_tuner_ops == 0) {
6485 {
6486#line 432
6487 tda18218_release(var_group1);
6488#line 433
6489 ldv_s_tda18218_tuner_ops_dvb_tuner_ops = 0;
6490 }
6491 } else {
6492
6493 }
6494#line 439
6495 goto switch_break;
6496 case_1:
6497 {
6498#line 448
6499 tda18218_init(var_group1);
6500 }
6501#line 455
6502 goto switch_break;
6503 case_2:
6504 {
6505#line 464
6506 tda18218_sleep(var_group1);
6507 }
6508#line 471
6509 goto switch_break;
6510 case_3:
6511 {
6512#line 480
6513 tda18218_set_params(var_group1);
6514 }
6515#line 487
6516 goto switch_break;
6517 case_4:
6518 {
6519#line 496
6520 tda18218_get_if_frequency(var_group1, var_tda18218_get_if_frequency_5_p1);
6521 }
6522#line 503
6523 goto switch_break;
6524 switch_default:
6525#line 504
6526 goto switch_break;
6527 } else {
6528 switch_break: ;
6529 }
6530 }
6531 }
6532 }
6533 while_break: ;
6534 }
6535 {
6536#line 513
6537 ldv_check_final_state();
6538 }
6539#line 516
6540 return;
6541}
6542}
6543#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
6544void ldv_blast_assert(void)
6545{
6546
6547 {
6548 ERROR:
6549#line 6
6550 goto ERROR;
6551}
6552}
6553#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
6554extern int __VERIFIER_nondet_int(void) ;
6555#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6556int ldv_mutex = 1;
6557#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6558int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
6559{ int nondetermined ;
6560
6561 {
6562#line 29
6563 if (ldv_mutex == 1) {
6564
6565 } else {
6566 {
6567#line 29
6568 ldv_blast_assert();
6569 }
6570 }
6571 {
6572#line 32
6573 nondetermined = __VERIFIER_nondet_int();
6574 }
6575#line 35
6576 if (nondetermined) {
6577#line 38
6578 ldv_mutex = 2;
6579#line 40
6580 return (0);
6581 } else {
6582#line 45
6583 return (-4);
6584 }
6585}
6586}
6587#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6588int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
6589{ int nondetermined ;
6590
6591 {
6592#line 57
6593 if (ldv_mutex == 1) {
6594
6595 } else {
6596 {
6597#line 57
6598 ldv_blast_assert();
6599 }
6600 }
6601 {
6602#line 60
6603 nondetermined = __VERIFIER_nondet_int();
6604 }
6605#line 63
6606 if (nondetermined) {
6607#line 66
6608 ldv_mutex = 2;
6609#line 68
6610 return (0);
6611 } else {
6612#line 73
6613 return (-4);
6614 }
6615}
6616}
6617#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6618int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
6619{ int atomic_value_after_dec ;
6620
6621 {
6622#line 83
6623 if (ldv_mutex == 1) {
6624
6625 } else {
6626 {
6627#line 83
6628 ldv_blast_assert();
6629 }
6630 }
6631 {
6632#line 86
6633 atomic_value_after_dec = __VERIFIER_nondet_int();
6634 }
6635#line 89
6636 if (atomic_value_after_dec == 0) {
6637#line 92
6638 ldv_mutex = 2;
6639#line 94
6640 return (1);
6641 } else {
6642
6643 }
6644#line 98
6645 return (0);
6646}
6647}
6648#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6649void mutex_lock(struct mutex *lock )
6650{
6651
6652 {
6653#line 108
6654 if (ldv_mutex == 1) {
6655
6656 } else {
6657 {
6658#line 108
6659 ldv_blast_assert();
6660 }
6661 }
6662#line 110
6663 ldv_mutex = 2;
6664#line 111
6665 return;
6666}
6667}
6668#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6669int mutex_trylock(struct mutex *lock )
6670{ int nondetermined ;
6671
6672 {
6673#line 121
6674 if (ldv_mutex == 1) {
6675
6676 } else {
6677 {
6678#line 121
6679 ldv_blast_assert();
6680 }
6681 }
6682 {
6683#line 124
6684 nondetermined = __VERIFIER_nondet_int();
6685 }
6686#line 127
6687 if (nondetermined) {
6688#line 130
6689 ldv_mutex = 2;
6690#line 132
6691 return (1);
6692 } else {
6693#line 137
6694 return (0);
6695 }
6696}
6697}
6698#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6699void mutex_unlock(struct mutex *lock )
6700{
6701
6702 {
6703#line 147
6704 if (ldv_mutex == 2) {
6705
6706 } else {
6707 {
6708#line 147
6709 ldv_blast_assert();
6710 }
6711 }
6712#line 149
6713 ldv_mutex = 1;
6714#line 150
6715 return;
6716}
6717}
6718#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6719void ldv_check_final_state(void)
6720{
6721
6722 {
6723#line 156
6724 if (ldv_mutex == 1) {
6725
6726 } else {
6727 {
6728#line 156
6729 ldv_blast_assert();
6730 }
6731 }
6732#line 157
6733 return;
6734}
6735}
6736#line 525 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14006/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/tda18218.c.common.c"
6737long s__builtin_expect(long val , long res )
6738{
6739
6740 {
6741#line 526
6742 return (val);
6743}
6744}