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