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