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 93 "include/linux/capability.h"
1162struct kernel_cap_struct {
1163 __u32 cap[2U] ;
1164};
1165#line 96 "include/linux/capability.h"
1166typedef struct kernel_cap_struct kernel_cap_t;
1167#line 104
1168struct dentry;
1169#line 104
1170struct dentry;
1171#line 105
1172struct user_namespace;
1173#line 105
1174struct user_namespace;
1175#line 554
1176struct prio_tree_node;
1177#line 554 "include/linux/capability.h"
1178struct raw_prio_tree_node {
1179 struct prio_tree_node *left ;
1180 struct prio_tree_node *right ;
1181 struct prio_tree_node *parent ;
1182};
1183#line 19 "include/linux/prio_tree.h"
1184struct prio_tree_node {
1185 struct prio_tree_node *left ;
1186 struct prio_tree_node *right ;
1187 struct prio_tree_node *parent ;
1188 unsigned long start ;
1189 unsigned long last ;
1190};
1191#line 27 "include/linux/prio_tree.h"
1192struct prio_tree_root {
1193 struct prio_tree_node *prio_tree_node ;
1194 unsigned short index_bits ;
1195 unsigned short raw ;
1196};
1197#line 116
1198struct address_space;
1199#line 116
1200struct address_space;
1201#line 117 "include/linux/prio_tree.h"
1202union __anonunion_ldv_14345_137 {
1203 unsigned long index ;
1204 void *freelist ;
1205};
1206#line 117 "include/linux/prio_tree.h"
1207struct __anonstruct_ldv_14355_141 {
1208 unsigned short inuse ;
1209 unsigned short objects : 15 ;
1210 unsigned char frozen : 1 ;
1211};
1212#line 117 "include/linux/prio_tree.h"
1213union __anonunion_ldv_14356_140 {
1214 atomic_t _mapcount ;
1215 struct __anonstruct_ldv_14355_141 ldv_14355 ;
1216};
1217#line 117 "include/linux/prio_tree.h"
1218struct __anonstruct_ldv_14358_139 {
1219 union __anonunion_ldv_14356_140 ldv_14356 ;
1220 atomic_t _count ;
1221};
1222#line 117 "include/linux/prio_tree.h"
1223union __anonunion_ldv_14359_138 {
1224 unsigned long counters ;
1225 struct __anonstruct_ldv_14358_139 ldv_14358 ;
1226};
1227#line 117 "include/linux/prio_tree.h"
1228struct __anonstruct_ldv_14360_136 {
1229 union __anonunion_ldv_14345_137 ldv_14345 ;
1230 union __anonunion_ldv_14359_138 ldv_14359 ;
1231};
1232#line 117 "include/linux/prio_tree.h"
1233struct __anonstruct_ldv_14367_143 {
1234 struct page *next ;
1235 int pages ;
1236 int pobjects ;
1237};
1238#line 117 "include/linux/prio_tree.h"
1239union __anonunion_ldv_14368_142 {
1240 struct list_head lru ;
1241 struct __anonstruct_ldv_14367_143 ldv_14367 ;
1242};
1243#line 117 "include/linux/prio_tree.h"
1244union __anonunion_ldv_14373_144 {
1245 unsigned long private ;
1246 struct kmem_cache *slab ;
1247 struct page *first_page ;
1248};
1249#line 117 "include/linux/prio_tree.h"
1250struct page {
1251 unsigned long flags ;
1252 struct address_space *mapping ;
1253 struct __anonstruct_ldv_14360_136 ldv_14360 ;
1254 union __anonunion_ldv_14368_142 ldv_14368 ;
1255 union __anonunion_ldv_14373_144 ldv_14373 ;
1256 unsigned long debug_flags ;
1257};
1258#line 192 "include/linux/mm_types.h"
1259struct __anonstruct_vm_set_146 {
1260 struct list_head list ;
1261 void *parent ;
1262 struct vm_area_struct *head ;
1263};
1264#line 192 "include/linux/mm_types.h"
1265union __anonunion_shared_145 {
1266 struct __anonstruct_vm_set_146 vm_set ;
1267 struct raw_prio_tree_node prio_tree_node ;
1268};
1269#line 192
1270struct anon_vma;
1271#line 192
1272struct vm_operations_struct;
1273#line 192
1274struct mempolicy;
1275#line 192 "include/linux/mm_types.h"
1276struct vm_area_struct {
1277 struct mm_struct *vm_mm ;
1278 unsigned long vm_start ;
1279 unsigned long vm_end ;
1280 struct vm_area_struct *vm_next ;
1281 struct vm_area_struct *vm_prev ;
1282 pgprot_t vm_page_prot ;
1283 unsigned long vm_flags ;
1284 struct rb_node vm_rb ;
1285 union __anonunion_shared_145 shared ;
1286 struct list_head anon_vma_chain ;
1287 struct anon_vma *anon_vma ;
1288 struct vm_operations_struct const *vm_ops ;
1289 unsigned long vm_pgoff ;
1290 struct file *vm_file ;
1291 void *vm_private_data ;
1292 struct mempolicy *vm_policy ;
1293};
1294#line 255 "include/linux/mm_types.h"
1295struct core_thread {
1296 struct task_struct *task ;
1297 struct core_thread *next ;
1298};
1299#line 261 "include/linux/mm_types.h"
1300struct core_state {
1301 atomic_t nr_threads ;
1302 struct core_thread dumper ;
1303 struct completion startup ;
1304};
1305#line 274 "include/linux/mm_types.h"
1306struct mm_rss_stat {
1307 atomic_long_t count[3U] ;
1308};
1309#line 287
1310struct linux_binfmt;
1311#line 287
1312struct mmu_notifier_mm;
1313#line 287 "include/linux/mm_types.h"
1314struct mm_struct {
1315 struct vm_area_struct *mmap ;
1316 struct rb_root mm_rb ;
1317 struct vm_area_struct *mmap_cache ;
1318 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1319 unsigned long , unsigned long ) ;
1320 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
1321 unsigned long mmap_base ;
1322 unsigned long task_size ;
1323 unsigned long cached_hole_size ;
1324 unsigned long free_area_cache ;
1325 pgd_t *pgd ;
1326 atomic_t mm_users ;
1327 atomic_t mm_count ;
1328 int map_count ;
1329 spinlock_t page_table_lock ;
1330 struct rw_semaphore mmap_sem ;
1331 struct list_head mmlist ;
1332 unsigned long hiwater_rss ;
1333 unsigned long hiwater_vm ;
1334 unsigned long total_vm ;
1335 unsigned long locked_vm ;
1336 unsigned long pinned_vm ;
1337 unsigned long shared_vm ;
1338 unsigned long exec_vm ;
1339 unsigned long stack_vm ;
1340 unsigned long reserved_vm ;
1341 unsigned long def_flags ;
1342 unsigned long nr_ptes ;
1343 unsigned long start_code ;
1344 unsigned long end_code ;
1345 unsigned long start_data ;
1346 unsigned long end_data ;
1347 unsigned long start_brk ;
1348 unsigned long brk ;
1349 unsigned long start_stack ;
1350 unsigned long arg_start ;
1351 unsigned long arg_end ;
1352 unsigned long env_start ;
1353 unsigned long env_end ;
1354 unsigned long saved_auxv[44U] ;
1355 struct mm_rss_stat rss_stat ;
1356 struct linux_binfmt *binfmt ;
1357 cpumask_var_t cpu_vm_mask_var ;
1358 mm_context_t context ;
1359 unsigned int faultstamp ;
1360 unsigned int token_priority ;
1361 unsigned int last_interval ;
1362 unsigned long flags ;
1363 struct core_state *core_state ;
1364 spinlock_t ioctx_lock ;
1365 struct hlist_head ioctx_list ;
1366 struct task_struct *owner ;
1367 struct file *exe_file ;
1368 unsigned long num_exe_file_vmas ;
1369 struct mmu_notifier_mm *mmu_notifier_mm ;
1370 pgtable_t pmd_huge_pte ;
1371 struct cpumask cpumask_allocation ;
1372};
1373#line 7 "include/asm-generic/cputime.h"
1374typedef unsigned long cputime_t;
1375#line 98 "include/linux/sem.h"
1376struct sem_undo_list;
1377#line 98 "include/linux/sem.h"
1378struct sysv_sem {
1379 struct sem_undo_list *undo_list ;
1380};
1381#line 107
1382struct siginfo;
1383#line 107
1384struct siginfo;
1385#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1386struct __anonstruct_sigset_t_147 {
1387 unsigned long sig[1U] ;
1388};
1389#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1390typedef struct __anonstruct_sigset_t_147 sigset_t;
1391#line 17 "include/asm-generic/signal-defs.h"
1392typedef void __signalfn_t(int );
1393#line 18 "include/asm-generic/signal-defs.h"
1394typedef __signalfn_t *__sighandler_t;
1395#line 20 "include/asm-generic/signal-defs.h"
1396typedef void __restorefn_t(void);
1397#line 21 "include/asm-generic/signal-defs.h"
1398typedef __restorefn_t *__sigrestore_t;
1399#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1400struct sigaction {
1401 __sighandler_t sa_handler ;
1402 unsigned long sa_flags ;
1403 __sigrestore_t sa_restorer ;
1404 sigset_t sa_mask ;
1405};
1406#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1407struct k_sigaction {
1408 struct sigaction sa ;
1409};
1410#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1411union sigval {
1412 int sival_int ;
1413 void *sival_ptr ;
1414};
1415#line 10 "include/asm-generic/siginfo.h"
1416typedef union sigval sigval_t;
1417#line 11 "include/asm-generic/siginfo.h"
1418struct __anonstruct__kill_149 {
1419 __kernel_pid_t _pid ;
1420 __kernel_uid32_t _uid ;
1421};
1422#line 11 "include/asm-generic/siginfo.h"
1423struct __anonstruct__timer_150 {
1424 __kernel_timer_t _tid ;
1425 int _overrun ;
1426 char _pad[0U] ;
1427 sigval_t _sigval ;
1428 int _sys_private ;
1429};
1430#line 11 "include/asm-generic/siginfo.h"
1431struct __anonstruct__rt_151 {
1432 __kernel_pid_t _pid ;
1433 __kernel_uid32_t _uid ;
1434 sigval_t _sigval ;
1435};
1436#line 11 "include/asm-generic/siginfo.h"
1437struct __anonstruct__sigchld_152 {
1438 __kernel_pid_t _pid ;
1439 __kernel_uid32_t _uid ;
1440 int _status ;
1441 __kernel_clock_t _utime ;
1442 __kernel_clock_t _stime ;
1443};
1444#line 11 "include/asm-generic/siginfo.h"
1445struct __anonstruct__sigfault_153 {
1446 void *_addr ;
1447 short _addr_lsb ;
1448};
1449#line 11 "include/asm-generic/siginfo.h"
1450struct __anonstruct__sigpoll_154 {
1451 long _band ;
1452 int _fd ;
1453};
1454#line 11 "include/asm-generic/siginfo.h"
1455union __anonunion__sifields_148 {
1456 int _pad[28U] ;
1457 struct __anonstruct__kill_149 _kill ;
1458 struct __anonstruct__timer_150 _timer ;
1459 struct __anonstruct__rt_151 _rt ;
1460 struct __anonstruct__sigchld_152 _sigchld ;
1461 struct __anonstruct__sigfault_153 _sigfault ;
1462 struct __anonstruct__sigpoll_154 _sigpoll ;
1463};
1464#line 11 "include/asm-generic/siginfo.h"
1465struct siginfo {
1466 int si_signo ;
1467 int si_errno ;
1468 int si_code ;
1469 union __anonunion__sifields_148 _sifields ;
1470};
1471#line 102 "include/asm-generic/siginfo.h"
1472typedef struct siginfo siginfo_t;
1473#line 14 "include/linux/signal.h"
1474struct user_struct;
1475#line 24 "include/linux/signal.h"
1476struct sigpending {
1477 struct list_head list ;
1478 sigset_t signal ;
1479};
1480#line 388
1481enum pid_type {
1482 PIDTYPE_PID = 0,
1483 PIDTYPE_PGID = 1,
1484 PIDTYPE_SID = 2,
1485 PIDTYPE_MAX = 3
1486} ;
1487#line 395
1488struct pid_namespace;
1489#line 395 "include/linux/signal.h"
1490struct upid {
1491 int nr ;
1492 struct pid_namespace *ns ;
1493 struct hlist_node pid_chain ;
1494};
1495#line 56 "include/linux/pid.h"
1496struct pid {
1497 atomic_t count ;
1498 unsigned int level ;
1499 struct hlist_head tasks[3U] ;
1500 struct rcu_head rcu ;
1501 struct upid numbers[1U] ;
1502};
1503#line 68 "include/linux/pid.h"
1504struct pid_link {
1505 struct hlist_node node ;
1506 struct pid *pid ;
1507};
1508#line 10 "include/linux/seccomp.h"
1509struct __anonstruct_seccomp_t_157 {
1510 int mode ;
1511};
1512#line 10 "include/linux/seccomp.h"
1513typedef struct __anonstruct_seccomp_t_157 seccomp_t;
1514#line 427 "include/linux/rculist.h"
1515struct plist_head {
1516 struct list_head node_list ;
1517};
1518#line 84 "include/linux/plist.h"
1519struct plist_node {
1520 int prio ;
1521 struct list_head prio_list ;
1522 struct list_head node_list ;
1523};
1524#line 20 "include/linux/rtmutex.h"
1525struct rt_mutex {
1526 raw_spinlock_t wait_lock ;
1527 struct plist_head wait_list ;
1528 struct task_struct *owner ;
1529 int save_state ;
1530 char const *name ;
1531 char const *file ;
1532 int line ;
1533 void *magic ;
1534};
1535#line 38
1536struct rt_mutex_waiter;
1537#line 38
1538struct rt_mutex_waiter;
1539#line 41 "include/linux/resource.h"
1540struct rlimit {
1541 unsigned long rlim_cur ;
1542 unsigned long rlim_max ;
1543};
1544#line 85 "include/linux/resource.h"
1545struct timerqueue_node {
1546 struct rb_node node ;
1547 ktime_t expires ;
1548};
1549#line 12 "include/linux/timerqueue.h"
1550struct timerqueue_head {
1551 struct rb_root head ;
1552 struct timerqueue_node *next ;
1553};
1554#line 50
1555struct hrtimer_clock_base;
1556#line 50
1557struct hrtimer_clock_base;
1558#line 51
1559struct hrtimer_cpu_base;
1560#line 51
1561struct hrtimer_cpu_base;
1562#line 60
1563enum hrtimer_restart {
1564 HRTIMER_NORESTART = 0,
1565 HRTIMER_RESTART = 1
1566} ;
1567#line 65 "include/linux/timerqueue.h"
1568struct hrtimer {
1569 struct timerqueue_node node ;
1570 ktime_t _softexpires ;
1571 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1572 struct hrtimer_clock_base *base ;
1573 unsigned long state ;
1574 int start_pid ;
1575 void *start_site ;
1576 char start_comm[16U] ;
1577};
1578#line 132 "include/linux/hrtimer.h"
1579struct hrtimer_clock_base {
1580 struct hrtimer_cpu_base *cpu_base ;
1581 int index ;
1582 clockid_t clockid ;
1583 struct timerqueue_head active ;
1584 ktime_t resolution ;
1585 ktime_t (*get_time)(void) ;
1586 ktime_t softirq_time ;
1587 ktime_t offset ;
1588};
1589#line 162 "include/linux/hrtimer.h"
1590struct hrtimer_cpu_base {
1591 raw_spinlock_t lock ;
1592 unsigned long active_bases ;
1593 ktime_t expires_next ;
1594 int hres_active ;
1595 int hang_detected ;
1596 unsigned long nr_events ;
1597 unsigned long nr_retries ;
1598 unsigned long nr_hangs ;
1599 ktime_t max_hang_time ;
1600 struct hrtimer_clock_base clock_base[3U] ;
1601};
1602#line 452 "include/linux/hrtimer.h"
1603struct task_io_accounting {
1604 u64 rchar ;
1605 u64 wchar ;
1606 u64 syscr ;
1607 u64 syscw ;
1608 u64 read_bytes ;
1609 u64 write_bytes ;
1610 u64 cancelled_write_bytes ;
1611};
1612#line 45 "include/linux/task_io_accounting.h"
1613struct latency_record {
1614 unsigned long backtrace[12U] ;
1615 unsigned int count ;
1616 unsigned long time ;
1617 unsigned long max ;
1618};
1619#line 29 "include/linux/key.h"
1620typedef int32_t key_serial_t;
1621#line 32 "include/linux/key.h"
1622typedef uint32_t key_perm_t;
1623#line 33
1624struct key;
1625#line 33
1626struct key;
1627#line 34
1628struct signal_struct;
1629#line 34
1630struct signal_struct;
1631#line 35
1632struct key_type;
1633#line 35
1634struct key_type;
1635#line 37
1636struct keyring_list;
1637#line 37
1638struct keyring_list;
1639#line 115
1640struct key_user;
1641#line 115 "include/linux/key.h"
1642union __anonunion_ldv_15609_158 {
1643 time_t expiry ;
1644 time_t revoked_at ;
1645};
1646#line 115 "include/linux/key.h"
1647union __anonunion_type_data_159 {
1648 struct list_head link ;
1649 unsigned long x[2U] ;
1650 void *p[2U] ;
1651 int reject_error ;
1652};
1653#line 115 "include/linux/key.h"
1654union __anonunion_payload_160 {
1655 unsigned long value ;
1656 void *rcudata ;
1657 void *data ;
1658 struct keyring_list *subscriptions ;
1659};
1660#line 115 "include/linux/key.h"
1661struct key {
1662 atomic_t usage ;
1663 key_serial_t serial ;
1664 struct rb_node serial_node ;
1665 struct key_type *type ;
1666 struct rw_semaphore sem ;
1667 struct key_user *user ;
1668 void *security ;
1669 union __anonunion_ldv_15609_158 ldv_15609 ;
1670 uid_t uid ;
1671 gid_t gid ;
1672 key_perm_t perm ;
1673 unsigned short quotalen ;
1674 unsigned short datalen ;
1675 unsigned long flags ;
1676 char *description ;
1677 union __anonunion_type_data_159 type_data ;
1678 union __anonunion_payload_160 payload ;
1679};
1680#line 316
1681struct audit_context;
1682#line 316
1683struct audit_context;
1684#line 27 "include/linux/selinux.h"
1685struct inode;
1686#line 27
1687struct inode;
1688#line 28 "include/linux/selinux.h"
1689struct group_info {
1690 atomic_t usage ;
1691 int ngroups ;
1692 int nblocks ;
1693 gid_t small_block[32U] ;
1694 gid_t *blocks[0U] ;
1695};
1696#line 77 "include/linux/cred.h"
1697struct thread_group_cred {
1698 atomic_t usage ;
1699 pid_t tgid ;
1700 spinlock_t lock ;
1701 struct key *session_keyring ;
1702 struct key *process_keyring ;
1703 struct rcu_head rcu ;
1704};
1705#line 91 "include/linux/cred.h"
1706struct cred {
1707 atomic_t usage ;
1708 atomic_t subscribers ;
1709 void *put_addr ;
1710 unsigned int magic ;
1711 uid_t uid ;
1712 gid_t gid ;
1713 uid_t suid ;
1714 gid_t sgid ;
1715 uid_t euid ;
1716 gid_t egid ;
1717 uid_t fsuid ;
1718 gid_t fsgid ;
1719 unsigned int securebits ;
1720 kernel_cap_t cap_inheritable ;
1721 kernel_cap_t cap_permitted ;
1722 kernel_cap_t cap_effective ;
1723 kernel_cap_t cap_bset ;
1724 unsigned char jit_keyring ;
1725 struct key *thread_keyring ;
1726 struct key *request_key_auth ;
1727 struct thread_group_cred *tgcred ;
1728 void *security ;
1729 struct user_struct *user ;
1730 struct user_namespace *user_ns ;
1731 struct group_info *group_info ;
1732 struct rcu_head rcu ;
1733};
1734#line 264
1735struct llist_node;
1736#line 64 "include/linux/llist.h"
1737struct llist_node {
1738 struct llist_node *next ;
1739};
1740#line 185
1741struct futex_pi_state;
1742#line 185
1743struct futex_pi_state;
1744#line 186
1745struct robust_list_head;
1746#line 186
1747struct robust_list_head;
1748#line 187
1749struct bio_list;
1750#line 187
1751struct bio_list;
1752#line 188
1753struct fs_struct;
1754#line 188
1755struct fs_struct;
1756#line 189
1757struct perf_event_context;
1758#line 189
1759struct perf_event_context;
1760#line 190
1761struct blk_plug;
1762#line 190
1763struct blk_plug;
1764#line 149 "include/linux/sched.h"
1765struct cfs_rq;
1766#line 149
1767struct cfs_rq;
1768#line 44 "include/linux/aio_abi.h"
1769struct io_event {
1770 __u64 data ;
1771 __u64 obj ;
1772 __s64 res ;
1773 __s64 res2 ;
1774};
1775#line 106 "include/linux/aio_abi.h"
1776struct iovec {
1777 void *iov_base ;
1778 __kernel_size_t iov_len ;
1779};
1780#line 54 "include/linux/uio.h"
1781struct kioctx;
1782#line 54
1783struct kioctx;
1784#line 55 "include/linux/uio.h"
1785union __anonunion_ki_obj_161 {
1786 void *user ;
1787 struct task_struct *tsk ;
1788};
1789#line 55
1790struct eventfd_ctx;
1791#line 55 "include/linux/uio.h"
1792struct kiocb {
1793 struct list_head ki_run_list ;
1794 unsigned long ki_flags ;
1795 int ki_users ;
1796 unsigned int ki_key ;
1797 struct file *ki_filp ;
1798 struct kioctx *ki_ctx ;
1799 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
1800 ssize_t (*ki_retry)(struct kiocb * ) ;
1801 void (*ki_dtor)(struct kiocb * ) ;
1802 union __anonunion_ki_obj_161 ki_obj ;
1803 __u64 ki_user_data ;
1804 loff_t ki_pos ;
1805 void *private ;
1806 unsigned short ki_opcode ;
1807 size_t ki_nbytes ;
1808 char *ki_buf ;
1809 size_t ki_left ;
1810 struct iovec ki_inline_vec ;
1811 struct iovec *ki_iovec ;
1812 unsigned long ki_nr_segs ;
1813 unsigned long ki_cur_seg ;
1814 struct list_head ki_list ;
1815 struct list_head ki_batch ;
1816 struct eventfd_ctx *ki_eventfd ;
1817};
1818#line 162 "include/linux/aio.h"
1819struct aio_ring_info {
1820 unsigned long mmap_base ;
1821 unsigned long mmap_size ;
1822 struct page **ring_pages ;
1823 spinlock_t ring_lock ;
1824 long nr_pages ;
1825 unsigned int nr ;
1826 unsigned int tail ;
1827 struct page *internal_pages[8U] ;
1828};
1829#line 178 "include/linux/aio.h"
1830struct kioctx {
1831 atomic_t users ;
1832 int dead ;
1833 struct mm_struct *mm ;
1834 unsigned long user_id ;
1835 struct hlist_node list ;
1836 wait_queue_head_t wait ;
1837 spinlock_t ctx_lock ;
1838 int reqs_active ;
1839 struct list_head active_reqs ;
1840 struct list_head run_list ;
1841 unsigned int max_reqs ;
1842 struct aio_ring_info ring_info ;
1843 struct delayed_work wq ;
1844 struct rcu_head rcu_head ;
1845};
1846#line 406 "include/linux/sched.h"
1847struct sighand_struct {
1848 atomic_t count ;
1849 struct k_sigaction action[64U] ;
1850 spinlock_t siglock ;
1851 wait_queue_head_t signalfd_wqh ;
1852};
1853#line 449 "include/linux/sched.h"
1854struct pacct_struct {
1855 int ac_flag ;
1856 long ac_exitcode ;
1857 unsigned long ac_mem ;
1858 cputime_t ac_utime ;
1859 cputime_t ac_stime ;
1860 unsigned long ac_minflt ;
1861 unsigned long ac_majflt ;
1862};
1863#line 457 "include/linux/sched.h"
1864struct cpu_itimer {
1865 cputime_t expires ;
1866 cputime_t incr ;
1867 u32 error ;
1868 u32 incr_error ;
1869};
1870#line 464 "include/linux/sched.h"
1871struct task_cputime {
1872 cputime_t utime ;
1873 cputime_t stime ;
1874 unsigned long long sum_exec_runtime ;
1875};
1876#line 481 "include/linux/sched.h"
1877struct thread_group_cputimer {
1878 struct task_cputime cputime ;
1879 int running ;
1880 raw_spinlock_t lock ;
1881};
1882#line 517
1883struct autogroup;
1884#line 517
1885struct autogroup;
1886#line 518
1887struct tty_struct;
1888#line 518
1889struct taskstats;
1890#line 518
1891struct tty_audit_buf;
1892#line 518 "include/linux/sched.h"
1893struct signal_struct {
1894 atomic_t sigcnt ;
1895 atomic_t live ;
1896 int nr_threads ;
1897 wait_queue_head_t wait_chldexit ;
1898 struct task_struct *curr_target ;
1899 struct sigpending shared_pending ;
1900 int group_exit_code ;
1901 int notify_count ;
1902 struct task_struct *group_exit_task ;
1903 int group_stop_count ;
1904 unsigned int flags ;
1905 unsigned char is_child_subreaper : 1 ;
1906 unsigned char has_child_subreaper : 1 ;
1907 struct list_head posix_timers ;
1908 struct hrtimer real_timer ;
1909 struct pid *leader_pid ;
1910 ktime_t it_real_incr ;
1911 struct cpu_itimer it[2U] ;
1912 struct thread_group_cputimer cputimer ;
1913 struct task_cputime cputime_expires ;
1914 struct list_head cpu_timers[3U] ;
1915 struct pid *tty_old_pgrp ;
1916 int leader ;
1917 struct tty_struct *tty ;
1918 struct autogroup *autogroup ;
1919 cputime_t utime ;
1920 cputime_t stime ;
1921 cputime_t cutime ;
1922 cputime_t cstime ;
1923 cputime_t gtime ;
1924 cputime_t cgtime ;
1925 cputime_t prev_utime ;
1926 cputime_t prev_stime ;
1927 unsigned long nvcsw ;
1928 unsigned long nivcsw ;
1929 unsigned long cnvcsw ;
1930 unsigned long cnivcsw ;
1931 unsigned long min_flt ;
1932 unsigned long maj_flt ;
1933 unsigned long cmin_flt ;
1934 unsigned long cmaj_flt ;
1935 unsigned long inblock ;
1936 unsigned long oublock ;
1937 unsigned long cinblock ;
1938 unsigned long coublock ;
1939 unsigned long maxrss ;
1940 unsigned long cmaxrss ;
1941 struct task_io_accounting ioac ;
1942 unsigned long long sum_sched_runtime ;
1943 struct rlimit rlim[16U] ;
1944 struct pacct_struct pacct ;
1945 struct taskstats *stats ;
1946 unsigned int audit_tty ;
1947 struct tty_audit_buf *tty_audit_buf ;
1948 struct rw_semaphore group_rwsem ;
1949 int oom_adj ;
1950 int oom_score_adj ;
1951 int oom_score_adj_min ;
1952 struct mutex cred_guard_mutex ;
1953};
1954#line 699 "include/linux/sched.h"
1955struct user_struct {
1956 atomic_t __count ;
1957 atomic_t processes ;
1958 atomic_t files ;
1959 atomic_t sigpending ;
1960 atomic_t inotify_watches ;
1961 atomic_t inotify_devs ;
1962 atomic_t fanotify_listeners ;
1963 atomic_long_t epoll_watches ;
1964 unsigned long mq_bytes ;
1965 unsigned long locked_shm ;
1966 struct key *uid_keyring ;
1967 struct key *session_keyring ;
1968 struct hlist_node uidhash_node ;
1969 uid_t uid ;
1970 struct user_namespace *user_ns ;
1971 atomic_long_t locked_vm ;
1972};
1973#line 744
1974struct backing_dev_info;
1975#line 744
1976struct backing_dev_info;
1977#line 745
1978struct reclaim_state;
1979#line 745
1980struct reclaim_state;
1981#line 746 "include/linux/sched.h"
1982struct sched_info {
1983 unsigned long pcount ;
1984 unsigned long long run_delay ;
1985 unsigned long long last_arrival ;
1986 unsigned long long last_queued ;
1987};
1988#line 760 "include/linux/sched.h"
1989struct task_delay_info {
1990 spinlock_t lock ;
1991 unsigned int flags ;
1992 struct timespec blkio_start ;
1993 struct timespec blkio_end ;
1994 u64 blkio_delay ;
1995 u64 swapin_delay ;
1996 u32 blkio_count ;
1997 u32 swapin_count ;
1998 struct timespec freepages_start ;
1999 struct timespec freepages_end ;
2000 u64 freepages_delay ;
2001 u32 freepages_count ;
2002};
2003#line 1069
2004struct io_context;
2005#line 1069
2006struct io_context;
2007#line 1097
2008struct pipe_inode_info;
2009#line 1097
2010struct pipe_inode_info;
2011#line 1099
2012struct rq;
2013#line 1099
2014struct rq;
2015#line 1100 "include/linux/sched.h"
2016struct sched_class {
2017 struct sched_class const *next ;
2018 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
2019 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
2020 void (*yield_task)(struct rq * ) ;
2021 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
2022 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
2023 struct task_struct *(*pick_next_task)(struct rq * ) ;
2024 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
2025 int (*select_task_rq)(struct task_struct * , int , int ) ;
2026 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
2027 void (*post_schedule)(struct rq * ) ;
2028 void (*task_waking)(struct task_struct * ) ;
2029 void (*task_woken)(struct rq * , struct task_struct * ) ;
2030 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
2031 void (*rq_online)(struct rq * ) ;
2032 void (*rq_offline)(struct rq * ) ;
2033 void (*set_curr_task)(struct rq * ) ;
2034 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
2035 void (*task_fork)(struct task_struct * ) ;
2036 void (*switched_from)(struct rq * , struct task_struct * ) ;
2037 void (*switched_to)(struct rq * , struct task_struct * ) ;
2038 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
2039 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
2040 void (*task_move_group)(struct task_struct * , int ) ;
2041};
2042#line 1165 "include/linux/sched.h"
2043struct load_weight {
2044 unsigned long weight ;
2045 unsigned long inv_weight ;
2046};
2047#line 1170 "include/linux/sched.h"
2048struct sched_statistics {
2049 u64 wait_start ;
2050 u64 wait_max ;
2051 u64 wait_count ;
2052 u64 wait_sum ;
2053 u64 iowait_count ;
2054 u64 iowait_sum ;
2055 u64 sleep_start ;
2056 u64 sleep_max ;
2057 s64 sum_sleep_runtime ;
2058 u64 block_start ;
2059 u64 block_max ;
2060 u64 exec_max ;
2061 u64 slice_max ;
2062 u64 nr_migrations_cold ;
2063 u64 nr_failed_migrations_affine ;
2064 u64 nr_failed_migrations_running ;
2065 u64 nr_failed_migrations_hot ;
2066 u64 nr_forced_migrations ;
2067 u64 nr_wakeups ;
2068 u64 nr_wakeups_sync ;
2069 u64 nr_wakeups_migrate ;
2070 u64 nr_wakeups_local ;
2071 u64 nr_wakeups_remote ;
2072 u64 nr_wakeups_affine ;
2073 u64 nr_wakeups_affine_attempts ;
2074 u64 nr_wakeups_passive ;
2075 u64 nr_wakeups_idle ;
2076};
2077#line 1205 "include/linux/sched.h"
2078struct sched_entity {
2079 struct load_weight load ;
2080 struct rb_node run_node ;
2081 struct list_head group_node ;
2082 unsigned int on_rq ;
2083 u64 exec_start ;
2084 u64 sum_exec_runtime ;
2085 u64 vruntime ;
2086 u64 prev_sum_exec_runtime ;
2087 u64 nr_migrations ;
2088 struct sched_statistics statistics ;
2089 struct sched_entity *parent ;
2090 struct cfs_rq *cfs_rq ;
2091 struct cfs_rq *my_q ;
2092};
2093#line 1231
2094struct rt_rq;
2095#line 1231 "include/linux/sched.h"
2096struct sched_rt_entity {
2097 struct list_head run_list ;
2098 unsigned long timeout ;
2099 unsigned int time_slice ;
2100 int nr_cpus_allowed ;
2101 struct sched_rt_entity *back ;
2102 struct sched_rt_entity *parent ;
2103 struct rt_rq *rt_rq ;
2104 struct rt_rq *my_q ;
2105};
2106#line 1255
2107struct mem_cgroup;
2108#line 1255 "include/linux/sched.h"
2109struct memcg_batch_info {
2110 int do_batch ;
2111 struct mem_cgroup *memcg ;
2112 unsigned long nr_pages ;
2113 unsigned long memsw_nr_pages ;
2114};
2115#line 1616
2116struct files_struct;
2117#line 1616
2118struct css_set;
2119#line 1616
2120struct compat_robust_list_head;
2121#line 1616 "include/linux/sched.h"
2122struct task_struct {
2123 long volatile state ;
2124 void *stack ;
2125 atomic_t usage ;
2126 unsigned int flags ;
2127 unsigned int ptrace ;
2128 struct llist_node wake_entry ;
2129 int on_cpu ;
2130 int on_rq ;
2131 int prio ;
2132 int static_prio ;
2133 int normal_prio ;
2134 unsigned int rt_priority ;
2135 struct sched_class const *sched_class ;
2136 struct sched_entity se ;
2137 struct sched_rt_entity rt ;
2138 struct hlist_head preempt_notifiers ;
2139 unsigned char fpu_counter ;
2140 unsigned int policy ;
2141 cpumask_t cpus_allowed ;
2142 struct sched_info sched_info ;
2143 struct list_head tasks ;
2144 struct plist_node pushable_tasks ;
2145 struct mm_struct *mm ;
2146 struct mm_struct *active_mm ;
2147 unsigned char brk_randomized : 1 ;
2148 int exit_state ;
2149 int exit_code ;
2150 int exit_signal ;
2151 int pdeath_signal ;
2152 unsigned int jobctl ;
2153 unsigned int personality ;
2154 unsigned char did_exec : 1 ;
2155 unsigned char in_execve : 1 ;
2156 unsigned char in_iowait : 1 ;
2157 unsigned char sched_reset_on_fork : 1 ;
2158 unsigned char sched_contributes_to_load : 1 ;
2159 unsigned char irq_thread : 1 ;
2160 pid_t pid ;
2161 pid_t tgid ;
2162 unsigned long stack_canary ;
2163 struct task_struct *real_parent ;
2164 struct task_struct *parent ;
2165 struct list_head children ;
2166 struct list_head sibling ;
2167 struct task_struct *group_leader ;
2168 struct list_head ptraced ;
2169 struct list_head ptrace_entry ;
2170 struct pid_link pids[3U] ;
2171 struct list_head thread_group ;
2172 struct completion *vfork_done ;
2173 int *set_child_tid ;
2174 int *clear_child_tid ;
2175 cputime_t utime ;
2176 cputime_t stime ;
2177 cputime_t utimescaled ;
2178 cputime_t stimescaled ;
2179 cputime_t gtime ;
2180 cputime_t prev_utime ;
2181 cputime_t prev_stime ;
2182 unsigned long nvcsw ;
2183 unsigned long nivcsw ;
2184 struct timespec start_time ;
2185 struct timespec real_start_time ;
2186 unsigned long min_flt ;
2187 unsigned long maj_flt ;
2188 struct task_cputime cputime_expires ;
2189 struct list_head cpu_timers[3U] ;
2190 struct cred const *real_cred ;
2191 struct cred const *cred ;
2192 struct cred *replacement_session_keyring ;
2193 char comm[16U] ;
2194 int link_count ;
2195 int total_link_count ;
2196 struct sysv_sem sysvsem ;
2197 unsigned long last_switch_count ;
2198 struct thread_struct thread ;
2199 struct fs_struct *fs ;
2200 struct files_struct *files ;
2201 struct nsproxy *nsproxy ;
2202 struct signal_struct *signal ;
2203 struct sighand_struct *sighand ;
2204 sigset_t blocked ;
2205 sigset_t real_blocked ;
2206 sigset_t saved_sigmask ;
2207 struct sigpending pending ;
2208 unsigned long sas_ss_sp ;
2209 size_t sas_ss_size ;
2210 int (*notifier)(void * ) ;
2211 void *notifier_data ;
2212 sigset_t *notifier_mask ;
2213 struct audit_context *audit_context ;
2214 uid_t loginuid ;
2215 unsigned int sessionid ;
2216 seccomp_t seccomp ;
2217 u32 parent_exec_id ;
2218 u32 self_exec_id ;
2219 spinlock_t alloc_lock ;
2220 raw_spinlock_t pi_lock ;
2221 struct plist_head pi_waiters ;
2222 struct rt_mutex_waiter *pi_blocked_on ;
2223 struct mutex_waiter *blocked_on ;
2224 unsigned int irq_events ;
2225 unsigned long hardirq_enable_ip ;
2226 unsigned long hardirq_disable_ip ;
2227 unsigned int hardirq_enable_event ;
2228 unsigned int hardirq_disable_event ;
2229 int hardirqs_enabled ;
2230 int hardirq_context ;
2231 unsigned long softirq_disable_ip ;
2232 unsigned long softirq_enable_ip ;
2233 unsigned int softirq_disable_event ;
2234 unsigned int softirq_enable_event ;
2235 int softirqs_enabled ;
2236 int softirq_context ;
2237 u64 curr_chain_key ;
2238 int lockdep_depth ;
2239 unsigned int lockdep_recursion ;
2240 struct held_lock held_locks[48U] ;
2241 gfp_t lockdep_reclaim_gfp ;
2242 void *journal_info ;
2243 struct bio_list *bio_list ;
2244 struct blk_plug *plug ;
2245 struct reclaim_state *reclaim_state ;
2246 struct backing_dev_info *backing_dev_info ;
2247 struct io_context *io_context ;
2248 unsigned long ptrace_message ;
2249 siginfo_t *last_siginfo ;
2250 struct task_io_accounting ioac ;
2251 u64 acct_rss_mem1 ;
2252 u64 acct_vm_mem1 ;
2253 cputime_t acct_timexpd ;
2254 nodemask_t mems_allowed ;
2255 seqcount_t mems_allowed_seq ;
2256 int cpuset_mem_spread_rotor ;
2257 int cpuset_slab_spread_rotor ;
2258 struct css_set *cgroups ;
2259 struct list_head cg_list ;
2260 struct robust_list_head *robust_list ;
2261 struct compat_robust_list_head *compat_robust_list ;
2262 struct list_head pi_state_list ;
2263 struct futex_pi_state *pi_state_cache ;
2264 struct perf_event_context *perf_event_ctxp[2U] ;
2265 struct mutex perf_event_mutex ;
2266 struct list_head perf_event_list ;
2267 struct mempolicy *mempolicy ;
2268 short il_next ;
2269 short pref_node_fork ;
2270 struct rcu_head rcu ;
2271 struct pipe_inode_info *splice_pipe ;
2272 struct task_delay_info *delays ;
2273 int make_it_fail ;
2274 int nr_dirtied ;
2275 int nr_dirtied_pause ;
2276 unsigned long dirty_paused_when ;
2277 int latency_record_count ;
2278 struct latency_record latency_record[32U] ;
2279 unsigned long timer_slack_ns ;
2280 unsigned long default_timer_slack_ns ;
2281 struct list_head *scm_work_list ;
2282 unsigned long trace ;
2283 unsigned long trace_recursion ;
2284 struct memcg_batch_info memcg_batch ;
2285 atomic_t ptrace_bp_refcnt ;
2286};
2287#line 215 "include/linux/mod_devicetable.h"
2288struct of_device_id {
2289 char name[32U] ;
2290 char type[32U] ;
2291 char compatible[128U] ;
2292 void *data ;
2293};
2294#line 584
2295struct klist_node;
2296#line 584
2297struct klist_node;
2298#line 37 "include/linux/klist.h"
2299struct klist_node {
2300 void *n_klist ;
2301 struct list_head n_node ;
2302 struct kref n_ref ;
2303};
2304#line 67
2305struct dma_map_ops;
2306#line 67 "include/linux/klist.h"
2307struct dev_archdata {
2308 void *acpi_handle ;
2309 struct dma_map_ops *dma_ops ;
2310 void *iommu ;
2311};
2312#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2313struct device_private;
2314#line 17
2315struct device_private;
2316#line 18
2317struct device_driver;
2318#line 18
2319struct device_driver;
2320#line 19
2321struct driver_private;
2322#line 19
2323struct driver_private;
2324#line 20
2325struct class;
2326#line 20
2327struct class;
2328#line 21
2329struct subsys_private;
2330#line 21
2331struct subsys_private;
2332#line 22
2333struct bus_type;
2334#line 22
2335struct bus_type;
2336#line 23
2337struct device_node;
2338#line 23
2339struct device_node;
2340#line 24
2341struct iommu_ops;
2342#line 24
2343struct iommu_ops;
2344#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2345struct bus_attribute {
2346 struct attribute attr ;
2347 ssize_t (*show)(struct bus_type * , char * ) ;
2348 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
2349};
2350#line 51 "include/linux/device.h"
2351struct device_attribute;
2352#line 51
2353struct driver_attribute;
2354#line 51 "include/linux/device.h"
2355struct bus_type {
2356 char const *name ;
2357 char const *dev_name ;
2358 struct device *dev_root ;
2359 struct bus_attribute *bus_attrs ;
2360 struct device_attribute *dev_attrs ;
2361 struct driver_attribute *drv_attrs ;
2362 int (*match)(struct device * , struct device_driver * ) ;
2363 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
2364 int (*probe)(struct device * ) ;
2365 int (*remove)(struct device * ) ;
2366 void (*shutdown)(struct device * ) ;
2367 int (*suspend)(struct device * , pm_message_t ) ;
2368 int (*resume)(struct device * ) ;
2369 struct dev_pm_ops const *pm ;
2370 struct iommu_ops *iommu_ops ;
2371 struct subsys_private *p ;
2372};
2373#line 125
2374struct device_type;
2375#line 182 "include/linux/device.h"
2376struct device_driver {
2377 char const *name ;
2378 struct bus_type *bus ;
2379 struct module *owner ;
2380 char const *mod_name ;
2381 bool suppress_bind_attrs ;
2382 struct of_device_id const *of_match_table ;
2383 int (*probe)(struct device * ) ;
2384 int (*remove)(struct device * ) ;
2385 void (*shutdown)(struct device * ) ;
2386 int (*suspend)(struct device * , pm_message_t ) ;
2387 int (*resume)(struct device * ) ;
2388 struct attribute_group const **groups ;
2389 struct dev_pm_ops const *pm ;
2390 struct driver_private *p ;
2391};
2392#line 245 "include/linux/device.h"
2393struct driver_attribute {
2394 struct attribute attr ;
2395 ssize_t (*show)(struct device_driver * , char * ) ;
2396 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
2397};
2398#line 299
2399struct class_attribute;
2400#line 299 "include/linux/device.h"
2401struct class {
2402 char const *name ;
2403 struct module *owner ;
2404 struct class_attribute *class_attrs ;
2405 struct device_attribute *dev_attrs ;
2406 struct bin_attribute *dev_bin_attrs ;
2407 struct kobject *dev_kobj ;
2408 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
2409 char *(*devnode)(struct device * , umode_t * ) ;
2410 void (*class_release)(struct class * ) ;
2411 void (*dev_release)(struct device * ) ;
2412 int (*suspend)(struct device * , pm_message_t ) ;
2413 int (*resume)(struct device * ) ;
2414 struct kobj_ns_type_operations const *ns_type ;
2415 void const *(*namespace)(struct device * ) ;
2416 struct dev_pm_ops const *pm ;
2417 struct subsys_private *p ;
2418};
2419#line 394 "include/linux/device.h"
2420struct class_attribute {
2421 struct attribute attr ;
2422 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
2423 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
2424 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
2425};
2426#line 447 "include/linux/device.h"
2427struct device_type {
2428 char const *name ;
2429 struct attribute_group const **groups ;
2430 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
2431 char *(*devnode)(struct device * , umode_t * ) ;
2432 void (*release)(struct device * ) ;
2433 struct dev_pm_ops const *pm ;
2434};
2435#line 474 "include/linux/device.h"
2436struct device_attribute {
2437 struct attribute attr ;
2438 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
2439 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
2440 size_t ) ;
2441};
2442#line 557 "include/linux/device.h"
2443struct device_dma_parameters {
2444 unsigned int max_segment_size ;
2445 unsigned long segment_boundary_mask ;
2446};
2447#line 567
2448struct dma_coherent_mem;
2449#line 567 "include/linux/device.h"
2450struct device {
2451 struct device *parent ;
2452 struct device_private *p ;
2453 struct kobject kobj ;
2454 char const *init_name ;
2455 struct device_type const *type ;
2456 struct mutex mutex ;
2457 struct bus_type *bus ;
2458 struct device_driver *driver ;
2459 void *platform_data ;
2460 struct dev_pm_info power ;
2461 struct dev_pm_domain *pm_domain ;
2462 int numa_node ;
2463 u64 *dma_mask ;
2464 u64 coherent_dma_mask ;
2465 struct device_dma_parameters *dma_parms ;
2466 struct list_head dma_pools ;
2467 struct dma_coherent_mem *dma_mem ;
2468 struct dev_archdata archdata ;
2469 struct device_node *of_node ;
2470 dev_t devt ;
2471 u32 id ;
2472 spinlock_t devres_lock ;
2473 struct list_head devres_head ;
2474 struct klist_node knode_class ;
2475 struct class *class ;
2476 struct attribute_group const **groups ;
2477 void (*release)(struct device * ) ;
2478};
2479#line 681 "include/linux/device.h"
2480struct wakeup_source {
2481 char const *name ;
2482 struct list_head entry ;
2483 spinlock_t lock ;
2484 struct timer_list timer ;
2485 unsigned long timer_expires ;
2486 ktime_t total_time ;
2487 ktime_t max_time ;
2488 ktime_t last_time ;
2489 unsigned long event_count ;
2490 unsigned long active_count ;
2491 unsigned long relax_count ;
2492 unsigned long hit_count ;
2493 unsigned char active : 1 ;
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 54 "include/linux/delay.h"
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_20195_169 {
3218 unsigned int const i_nlink ;
3219 unsigned int __i_nlink ;
3220};
3221#line 738 "include/linux/fs.h"
3222union __anonunion_ldv_20214_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_20232_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_20195_169 ldv_20195 ;
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_20214_170 ldv_20214 ;
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_20232_171 ldv_20232 ;
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 tda18218_config {
3811 u8 i2c_address ;
3812 u8 i2c_wr_max ;
3813 unsigned char loop_through : 1 ;
3814};
3815#line 35 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18218.h"
3816struct tda18218_priv {
3817 struct tda18218_config *cfg ;
3818 struct i2c_adapter *i2c ;
3819 u32 if_frequency ;
3820 u8 regs[59U] ;
3821};
3822#line 1 "<compiler builtins>"
3823
3824#line 1
3825
3826#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
3827void ldv_spin_lock(void) ;
3828#line 3
3829void ldv_spin_unlock(void) ;
3830#line 4
3831int ldv_spin_trylock(void) ;
3832#line 101 "include/linux/printk.h"
3833extern int printk(char const * , ...) ;
3834#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3835extern void *__memcpy(void * , void const * , size_t ) ;
3836#line 161 "include/linux/slab.h"
3837extern void kfree(void const * ) ;
3838#line 220 "include/linux/slub_def.h"
3839extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
3840#line 223
3841void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3842#line 353 "include/linux/slab.h"
3843__inline static void *kzalloc(size_t size , gfp_t flags ) ;
3844#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
3845extern void *__VERIFIER_nondet_pointer(void) ;
3846#line 11
3847void ldv_check_alloc_flags(gfp_t flags ) ;
3848#line 12
3849void ldv_check_alloc_nonatomic(void) ;
3850#line 14
3851struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3852#line 69 "include/linux/i2c.h"
3853extern int i2c_transfer(struct i2c_adapter * , struct i2c_msg * , int ) ;
3854#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18218.h"
3855struct dvb_frontend *tda18218_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
3856 struct tda18218_config *cfg ) ;
3857#line 39 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
3858static int debug ;
3859#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
3860static int tda18218_wr_regs(struct tda18218_priv *priv , u8 reg , u8 *val , u8 len )
3861{ int ret ;
3862 u8 *buf ;
3863 unsigned long __lengthofbuf ;
3864 void *tmp ;
3865 u8 quotient ;
3866 u8 remainder ;
3867 u8 i ;
3868 u8 msg_len ;
3869 u8 msg_len_max ;
3870 struct i2c_msg msg[1U] ;
3871 size_t __len ;
3872 void *__ret ;
3873 int __cil_tmp17 ;
3874 int __cil_tmp18 ;
3875 long __cil_tmp19 ;
3876 unsigned long __cil_tmp20 ;
3877 u8 **__cil_tmp21 ;
3878 unsigned long __cil_tmp22 ;
3879 unsigned long __cil_tmp23 ;
3880 struct tda18218_config *__cil_tmp24 ;
3881 u8 __cil_tmp25 ;
3882 unsigned long __cil_tmp26 ;
3883 unsigned long __cil_tmp27 ;
3884 unsigned long __cil_tmp28 ;
3885 unsigned long __cil_tmp29 ;
3886 unsigned long __cil_tmp30 ;
3887 unsigned long __cil_tmp31 ;
3888 unsigned long __cil_tmp32 ;
3889 unsigned long __cil_tmp33 ;
3890 unsigned long __cil_tmp34 ;
3891 struct tda18218_config *__cil_tmp35 ;
3892 unsigned long __cil_tmp36 ;
3893 unsigned long __cil_tmp37 ;
3894 u8 __cil_tmp38 ;
3895 unsigned int __cil_tmp39 ;
3896 unsigned int __cil_tmp40 ;
3897 int __cil_tmp41 ;
3898 int __cil_tmp42 ;
3899 int __cil_tmp43 ;
3900 int __cil_tmp44 ;
3901 int __cil_tmp45 ;
3902 int __cil_tmp46 ;
3903 int __cil_tmp47 ;
3904 int __cil_tmp48 ;
3905 unsigned long __cil_tmp49 ;
3906 unsigned long __cil_tmp50 ;
3907 unsigned long __cil_tmp51 ;
3908 __u16 __cil_tmp52 ;
3909 unsigned int __cil_tmp53 ;
3910 unsigned int __cil_tmp54 ;
3911 u8 **__cil_tmp55 ;
3912 u8 *__cil_tmp56 ;
3913 u8 *__cil_tmp57 ;
3914 int __cil_tmp58 ;
3915 int __cil_tmp59 ;
3916 int __cil_tmp60 ;
3917 int __cil_tmp61 ;
3918 int __cil_tmp62 ;
3919 void *__cil_tmp63 ;
3920 void *__cil_tmp64 ;
3921 int __cil_tmp65 ;
3922 int __cil_tmp66 ;
3923 int __cil_tmp67 ;
3924 unsigned long __cil_tmp68 ;
3925 void const *__cil_tmp69 ;
3926 void const *__cil_tmp70 ;
3927 unsigned long __cil_tmp71 ;
3928 unsigned long __cil_tmp72 ;
3929 struct i2c_adapter *__cil_tmp73 ;
3930 struct i2c_msg *__cil_tmp74 ;
3931 int __cil_tmp75 ;
3932 int __cil_tmp76 ;
3933 int __cil_tmp77 ;
3934 int __cil_tmp78 ;
3935 unsigned int __cil_tmp79 ;
3936 int __cil_tmp80 ;
3937 int __cil_tmp81 ;
3938
3939 {
3940 {
3941#line 46
3942 ret = 0;
3943#line 47
3944 __cil_tmp17 = (int )len;
3945#line 47
3946 __cil_tmp18 = __cil_tmp17 + 1;
3947#line 47
3948 __cil_tmp19 = (long )__cil_tmp18;
3949#line 47
3950 __lengthofbuf = (unsigned long )__cil_tmp19;
3951#line 47
3952 __cil_tmp20 = 1UL * __lengthofbuf;
3953#line 47
3954 tmp = __builtin_alloca(__cil_tmp20);
3955#line 47
3956 __cil_tmp21 = & buf;
3957#line 47
3958 *__cil_tmp21 = (u8 *)tmp;
3959#line 48
3960 __cil_tmp22 = 0 * 16UL;
3961#line 48
3962 __cil_tmp23 = (unsigned long )(msg) + __cil_tmp22;
3963#line 48
3964 __cil_tmp24 = *((struct tda18218_config **)priv);
3965#line 48
3966 __cil_tmp25 = *((u8 *)__cil_tmp24);
3967#line 48
3968 *((__u16 *)__cil_tmp23) = (unsigned short )__cil_tmp25;
3969#line 48
3970 __cil_tmp26 = 0 * 16UL;
3971#line 48
3972 __cil_tmp27 = __cil_tmp26 + 2;
3973#line 48
3974 __cil_tmp28 = (unsigned long )(msg) + __cil_tmp27;
3975#line 48
3976 *((__u16 *)__cil_tmp28) = (__u16 )0U;
3977#line 48
3978 __cil_tmp29 = 0 * 16UL;
3979#line 48
3980 __cil_tmp30 = __cil_tmp29 + 4;
3981#line 48
3982 __cil_tmp31 = (unsigned long )(msg) + __cil_tmp30;
3983#line 48
3984 *((__u16 *)__cil_tmp31) = (unsigned short)0;
3985#line 48
3986 __cil_tmp32 = 0 * 16UL;
3987#line 48
3988 __cil_tmp33 = __cil_tmp32 + 8;
3989#line 48
3990 __cil_tmp34 = (unsigned long )(msg) + __cil_tmp33;
3991#line 48
3992 *((__u8 **)__cil_tmp34) = (__u8 *)(& buf);
3993#line 56
3994 __cil_tmp35 = *((struct tda18218_config **)priv);
3995#line 56
3996 __cil_tmp36 = (unsigned long )__cil_tmp35;
3997#line 56
3998 __cil_tmp37 = __cil_tmp36 + 1;
3999#line 56
4000 __cil_tmp38 = *((u8 *)__cil_tmp37);
4001#line 56
4002 __cil_tmp39 = (unsigned int )__cil_tmp38;
4003#line 56
4004 __cil_tmp40 = __cil_tmp39 + 255U;
4005#line 56
4006 msg_len_max = (u8 )__cil_tmp40;
4007#line 57
4008 __cil_tmp41 = (int )msg_len_max;
4009#line 57
4010 __cil_tmp42 = (int )len;
4011#line 57
4012 __cil_tmp43 = __cil_tmp42 / __cil_tmp41;
4013#line 57
4014 quotient = (u8 )__cil_tmp43;
4015#line 58
4016 __cil_tmp44 = (int )msg_len_max;
4017#line 58
4018 __cil_tmp45 = (int )len;
4019#line 58
4020 __cil_tmp46 = __cil_tmp45 % __cil_tmp44;
4021#line 58
4022 remainder = (u8 )__cil_tmp46;
4023#line 59
4024 msg_len = msg_len_max;
4025#line 60
4026 i = (u8 )0U;
4027 }
4028#line 60
4029 goto ldv_22777;
4030 ldv_22776: ;
4031 {
4032#line 61
4033 __cil_tmp47 = (int )quotient;
4034#line 61
4035 __cil_tmp48 = (int )i;
4036#line 61
4037 if (__cil_tmp48 == __cil_tmp47) {
4038#line 62
4039 msg_len = remainder;
4040 } else {
4041
4042 }
4043 }
4044 {
4045#line 64
4046 __cil_tmp49 = 0 * 16UL;
4047#line 64
4048 __cil_tmp50 = __cil_tmp49 + 4;
4049#line 64
4050 __cil_tmp51 = (unsigned long )(msg) + __cil_tmp50;
4051#line 64
4052 __cil_tmp52 = (__u16 )msg_len;
4053#line 64
4054 __cil_tmp53 = (unsigned int )__cil_tmp52;
4055#line 64
4056 __cil_tmp54 = __cil_tmp53 + 1U;
4057#line 64
4058 *((__u16 *)__cil_tmp51) = (__u16 )__cil_tmp54;
4059#line 65
4060 __cil_tmp55 = & buf;
4061#line 65
4062 __cil_tmp56 = *__cil_tmp55;
4063#line 65
4064 __cil_tmp57 = __cil_tmp56 + 0;
4065#line 65
4066 __cil_tmp58 = (int )reg;
4067#line 65
4068 __cil_tmp59 = (int )msg_len_max;
4069#line 65
4070 __cil_tmp60 = (int )i;
4071#line 65
4072 __cil_tmp61 = __cil_tmp60 * __cil_tmp59;
4073#line 65
4074 __cil_tmp62 = __cil_tmp61 + __cil_tmp58;
4075#line 65
4076 *__cil_tmp57 = (u8 )__cil_tmp62;
4077#line 66
4078 __len = (size_t )msg_len;
4079#line 66
4080 __cil_tmp63 = (void *)(& buf);
4081#line 66
4082 __cil_tmp64 = __cil_tmp63 + 1U;
4083#line 66
4084 __cil_tmp65 = (int )msg_len_max;
4085#line 66
4086 __cil_tmp66 = (int )i;
4087#line 66
4088 __cil_tmp67 = __cil_tmp66 * __cil_tmp65;
4089#line 66
4090 __cil_tmp68 = (unsigned long )__cil_tmp67;
4091#line 66
4092 __cil_tmp69 = (void const *)val;
4093#line 66
4094 __cil_tmp70 = __cil_tmp69 + __cil_tmp68;
4095#line 66
4096 __ret = __builtin_memcpy(__cil_tmp64, __cil_tmp70, __len);
4097#line 68
4098 __cil_tmp71 = (unsigned long )priv;
4099#line 68
4100 __cil_tmp72 = __cil_tmp71 + 8;
4101#line 68
4102 __cil_tmp73 = *((struct i2c_adapter **)__cil_tmp72);
4103#line 68
4104 __cil_tmp74 = (struct i2c_msg *)(& msg);
4105#line 68
4106 ret = i2c_transfer(__cil_tmp73, __cil_tmp74, 1);
4107 }
4108#line 69
4109 if (ret != 1) {
4110#line 70
4111 goto ldv_22775;
4112 } else {
4113
4114 }
4115#line 60
4116 __cil_tmp75 = (int )i;
4117#line 60
4118 __cil_tmp76 = __cil_tmp75 + 1;
4119#line 60
4120 i = (u8 )__cil_tmp76;
4121 ldv_22777: ;
4122 {
4123#line 60
4124 __cil_tmp77 = (int )quotient;
4125#line 60
4126 __cil_tmp78 = (int )i;
4127#line 60
4128 if (__cil_tmp78 <= __cil_tmp77) {
4129 {
4130#line 60
4131 __cil_tmp79 = (unsigned int )remainder;
4132#line 60
4133 if (__cil_tmp79 != 0U) {
4134#line 61
4135 goto ldv_22776;
4136 } else {
4137#line 63
4138 goto ldv_22775;
4139 }
4140 }
4141 } else {
4142#line 63
4143 goto ldv_22775;
4144 }
4145 }
4146 ldv_22775: ;
4147#line 73
4148 if (ret == 1) {
4149#line 74
4150 ret = 0;
4151 } else {
4152 {
4153#line 76
4154 __cil_tmp80 = (int )reg;
4155#line 76
4156 __cil_tmp81 = (int )len;
4157#line 76
4158 printk("<4>tda18218: i2c wr failed ret:%d reg:%02x len:%d\n", ret, __cil_tmp80,
4159 __cil_tmp81);
4160#line 77
4161 ret = -121;
4162 }
4163 }
4164#line 80
4165 return (ret);
4166}
4167}
4168#line 84 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
4169static int tda18218_rd_regs(struct tda18218_priv *priv , u8 reg , u8 *val , u8 len )
4170{ int ret ;
4171 u8 *buf ;
4172 unsigned long __lengthofbuf ;
4173 void *tmp ;
4174 struct i2c_msg msg[2U] ;
4175 size_t __len ;
4176 void *__ret ;
4177 int __cil_tmp12 ;
4178 int __cil_tmp13 ;
4179 int __cil_tmp14 ;
4180 long __cil_tmp15 ;
4181 unsigned long __cil_tmp16 ;
4182 u8 **__cil_tmp17 ;
4183 unsigned long __cil_tmp18 ;
4184 unsigned long __cil_tmp19 ;
4185 struct tda18218_config *__cil_tmp20 ;
4186 u8 __cil_tmp21 ;
4187 unsigned long __cil_tmp22 ;
4188 unsigned long __cil_tmp23 ;
4189 unsigned long __cil_tmp24 ;
4190 unsigned long __cil_tmp25 ;
4191 unsigned long __cil_tmp26 ;
4192 unsigned long __cil_tmp27 ;
4193 unsigned long __cil_tmp28 ;
4194 unsigned long __cil_tmp29 ;
4195 unsigned long __cil_tmp30 ;
4196 unsigned long __cil_tmp31 ;
4197 unsigned long __cil_tmp32 ;
4198 struct tda18218_config *__cil_tmp33 ;
4199 u8 __cil_tmp34 ;
4200 unsigned long __cil_tmp35 ;
4201 unsigned long __cil_tmp36 ;
4202 unsigned long __cil_tmp37 ;
4203 unsigned long __cil_tmp38 ;
4204 unsigned long __cil_tmp39 ;
4205 unsigned long __cil_tmp40 ;
4206 int __cil_tmp41 ;
4207 int __cil_tmp42 ;
4208 int __cil_tmp43 ;
4209 unsigned long __cil_tmp44 ;
4210 unsigned long __cil_tmp45 ;
4211 unsigned long __cil_tmp46 ;
4212 unsigned long __cil_tmp47 ;
4213 unsigned long __cil_tmp48 ;
4214 struct i2c_adapter *__cil_tmp49 ;
4215 struct i2c_msg *__cil_tmp50 ;
4216 void *__cil_tmp51 ;
4217 unsigned long __cil_tmp52 ;
4218 void const *__cil_tmp53 ;
4219 void const *__cil_tmp54 ;
4220 int __cil_tmp55 ;
4221 int __cil_tmp56 ;
4222
4223 {
4224 {
4225#line 87
4226 __cil_tmp12 = (int )len;
4227#line 87
4228 __cil_tmp13 = (int )reg;
4229#line 87
4230 __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
4231#line 87
4232 __cil_tmp15 = (long )__cil_tmp14;
4233#line 87
4234 __lengthofbuf = (unsigned long )__cil_tmp15;
4235#line 87
4236 __cil_tmp16 = 1UL * __lengthofbuf;
4237#line 87
4238 tmp = __builtin_alloca(__cil_tmp16);
4239#line 87
4240 __cil_tmp17 = & buf;
4241#line 87
4242 *__cil_tmp17 = (u8 *)tmp;
4243#line 88
4244 __cil_tmp18 = 0 * 16UL;
4245#line 88
4246 __cil_tmp19 = (unsigned long )(msg) + __cil_tmp18;
4247#line 88
4248 __cil_tmp20 = *((struct tda18218_config **)priv);
4249#line 88
4250 __cil_tmp21 = *((u8 *)__cil_tmp20);
4251#line 88
4252 *((__u16 *)__cil_tmp19) = (unsigned short )__cil_tmp21;
4253#line 88
4254 __cil_tmp22 = 0 * 16UL;
4255#line 88
4256 __cil_tmp23 = __cil_tmp22 + 2;
4257#line 88
4258 __cil_tmp24 = (unsigned long )(msg) + __cil_tmp23;
4259#line 88
4260 *((__u16 *)__cil_tmp24) = (__u16 )0U;
4261#line 88
4262 __cil_tmp25 = 0 * 16UL;
4263#line 88
4264 __cil_tmp26 = __cil_tmp25 + 4;
4265#line 88
4266 __cil_tmp27 = (unsigned long )(msg) + __cil_tmp26;
4267#line 88
4268 *((__u16 *)__cil_tmp27) = (__u16 )1U;
4269#line 88
4270 __cil_tmp28 = 0 * 16UL;
4271#line 88
4272 __cil_tmp29 = __cil_tmp28 + 8;
4273#line 88
4274 __cil_tmp30 = (unsigned long )(msg) + __cil_tmp29;
4275#line 88
4276 *((__u8 **)__cil_tmp30) = (__u8 *)"";
4277#line 88
4278 __cil_tmp31 = 1 * 16UL;
4279#line 88
4280 __cil_tmp32 = (unsigned long )(msg) + __cil_tmp31;
4281#line 88
4282 __cil_tmp33 = *((struct tda18218_config **)priv);
4283#line 88
4284 __cil_tmp34 = *((u8 *)__cil_tmp33);
4285#line 88
4286 *((__u16 *)__cil_tmp32) = (unsigned short )__cil_tmp34;
4287#line 88
4288 __cil_tmp35 = 1 * 16UL;
4289#line 88
4290 __cil_tmp36 = __cil_tmp35 + 2;
4291#line 88
4292 __cil_tmp37 = (unsigned long )(msg) + __cil_tmp36;
4293#line 88
4294 *((__u16 *)__cil_tmp37) = (__u16 )1U;
4295#line 88
4296 __cil_tmp38 = 1 * 16UL;
4297#line 88
4298 __cil_tmp39 = __cil_tmp38 + 4;
4299#line 88
4300 __cil_tmp40 = (unsigned long )(msg) + __cil_tmp39;
4301#line 88
4302 __cil_tmp41 = (int )len;
4303#line 88
4304 __cil_tmp42 = (int )reg;
4305#line 88
4306 __cil_tmp43 = __cil_tmp42 + __cil_tmp41;
4307#line 88
4308 *((__u16 *)__cil_tmp40) = (unsigned short )__cil_tmp43;
4309#line 88
4310 __cil_tmp44 = 1 * 16UL;
4311#line 88
4312 __cil_tmp45 = __cil_tmp44 + 8;
4313#line 88
4314 __cil_tmp46 = (unsigned long )(msg) + __cil_tmp45;
4315#line 88
4316 *((__u8 **)__cil_tmp46) = (__u8 *)(& buf);
4317#line 102
4318 __cil_tmp47 = (unsigned long )priv;
4319#line 102
4320 __cil_tmp48 = __cil_tmp47 + 8;
4321#line 102
4322 __cil_tmp49 = *((struct i2c_adapter **)__cil_tmp48);
4323#line 102
4324 __cil_tmp50 = (struct i2c_msg *)(& msg);
4325#line 102
4326 ret = i2c_transfer(__cil_tmp49, __cil_tmp50, 2);
4327 }
4328#line 103
4329 if (ret == 2) {
4330 {
4331#line 104
4332 __len = (size_t )len;
4333#line 104
4334 __cil_tmp51 = (void *)val;
4335#line 104
4336 __cil_tmp52 = (unsigned long )reg;
4337#line 104
4338 __cil_tmp53 = (void const *)(& buf);
4339#line 104
4340 __cil_tmp54 = __cil_tmp53 + __cil_tmp52;
4341#line 104
4342 __ret = __builtin_memcpy(__cil_tmp51, __cil_tmp54, __len);
4343#line 105
4344 ret = 0;
4345 }
4346 } else {
4347 {
4348#line 107
4349 __cil_tmp55 = (int )reg;
4350#line 107
4351 __cil_tmp56 = (int )len;
4352#line 107
4353 printk("<4>tda18218: i2c rd failed ret:%d reg:%02x len:%d\n", ret, __cil_tmp55,
4354 __cil_tmp56);
4355#line 108
4356 ret = -121;
4357 }
4358 }
4359#line 111
4360 return (ret);
4361}
4362}
4363#line 115 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
4364static int tda18218_wr_reg(struct tda18218_priv *priv , u8 reg , u8 val )
4365{ int tmp ;
4366 int __cil_tmp5 ;
4367 u8 __cil_tmp6 ;
4368 u8 __cil_tmp7 ;
4369
4370 {
4371 {
4372#line 117
4373 __cil_tmp5 = (int )reg;
4374#line 117
4375 __cil_tmp6 = (u8 )__cil_tmp5;
4376#line 117
4377 __cil_tmp7 = (u8 )1;
4378#line 117
4379 tmp = tda18218_wr_regs(priv, __cil_tmp6, & val, __cil_tmp7);
4380 }
4381#line 117
4382 return (tmp);
4383}
4384}
4385#line 122 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
4386static int tda18218_rd_reg(struct tda18218_priv *priv , u8 reg , u8 *val )
4387{ int tmp ;
4388 int __cil_tmp5 ;
4389 u8 __cil_tmp6 ;
4390 u8 __cil_tmp7 ;
4391
4392 {
4393 {
4394#line 124
4395 __cil_tmp5 = (int )reg;
4396#line 124
4397 __cil_tmp6 = (u8 )__cil_tmp5;
4398#line 124
4399 __cil_tmp7 = (u8 )1;
4400#line 124
4401 tmp = tda18218_rd_regs(priv, __cil_tmp6, val, __cil_tmp7);
4402 }
4403#line 124
4404 return (tmp);
4405}
4406}
4407#line 127 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
4408static int tda18218_set_params(struct dvb_frontend *fe )
4409{ struct tda18218_priv *priv ;
4410 struct dtv_frontend_properties *c ;
4411 u32 bw ;
4412 int ret ;
4413 u8 buf[3U] ;
4414 u8 i ;
4415 u8 BP_Filter ;
4416 u8 LP_Fc ;
4417 u32 LO_Frac ;
4418 u8 agc[14U][2U] ;
4419 unsigned long __cil_tmp12 ;
4420 unsigned long __cil_tmp13 ;
4421 void *__cil_tmp14 ;
4422 unsigned long __cil_tmp15 ;
4423 unsigned long __cil_tmp16 ;
4424 unsigned long __cil_tmp17 ;
4425 unsigned long __cil_tmp18 ;
4426 unsigned long __cil_tmp19 ;
4427 unsigned long __cil_tmp20 ;
4428 unsigned long __cil_tmp21 ;
4429 unsigned long __cil_tmp22 ;
4430 unsigned long __cil_tmp23 ;
4431 unsigned long __cil_tmp24 ;
4432 unsigned long __cil_tmp25 ;
4433 unsigned long __cil_tmp26 ;
4434 unsigned long __cil_tmp27 ;
4435 unsigned long __cil_tmp28 ;
4436 unsigned long __cil_tmp29 ;
4437 unsigned long __cil_tmp30 ;
4438 unsigned long __cil_tmp31 ;
4439 unsigned long __cil_tmp32 ;
4440 unsigned long __cil_tmp33 ;
4441 unsigned long __cil_tmp34 ;
4442 unsigned long __cil_tmp35 ;
4443 unsigned long __cil_tmp36 ;
4444 unsigned long __cil_tmp37 ;
4445 unsigned long __cil_tmp38 ;
4446 unsigned long __cil_tmp39 ;
4447 unsigned long __cil_tmp40 ;
4448 unsigned long __cil_tmp41 ;
4449 unsigned long __cil_tmp42 ;
4450 unsigned long __cil_tmp43 ;
4451 unsigned long __cil_tmp44 ;
4452 unsigned long __cil_tmp45 ;
4453 unsigned long __cil_tmp46 ;
4454 unsigned long __cil_tmp47 ;
4455 unsigned long __cil_tmp48 ;
4456 unsigned long __cil_tmp49 ;
4457 unsigned long __cil_tmp50 ;
4458 unsigned long __cil_tmp51 ;
4459 unsigned long __cil_tmp52 ;
4460 unsigned long __cil_tmp53 ;
4461 unsigned long __cil_tmp54 ;
4462 unsigned long __cil_tmp55 ;
4463 unsigned long __cil_tmp56 ;
4464 unsigned long __cil_tmp57 ;
4465 unsigned long __cil_tmp58 ;
4466 unsigned long __cil_tmp59 ;
4467 unsigned long __cil_tmp60 ;
4468 unsigned long __cil_tmp61 ;
4469 unsigned long __cil_tmp62 ;
4470 unsigned long __cil_tmp63 ;
4471 unsigned long __cil_tmp64 ;
4472 unsigned long __cil_tmp65 ;
4473 unsigned long __cil_tmp66 ;
4474 unsigned long __cil_tmp67 ;
4475 unsigned long __cil_tmp68 ;
4476 unsigned long __cil_tmp69 ;
4477 unsigned long __cil_tmp70 ;
4478 unsigned long __cil_tmp71 ;
4479 unsigned long __cil_tmp72 ;
4480 unsigned long __cil_tmp73 ;
4481 unsigned long __cil_tmp74 ;
4482 unsigned long __cil_tmp75 ;
4483 unsigned long __cil_tmp76 ;
4484 unsigned long __cil_tmp77 ;
4485 unsigned long __cil_tmp78 ;
4486 unsigned long __cil_tmp79 ;
4487 unsigned long __cil_tmp80 ;
4488 unsigned long __cil_tmp81 ;
4489 unsigned long __cil_tmp82 ;
4490 unsigned long __cil_tmp83 ;
4491 unsigned long __cil_tmp84 ;
4492 unsigned long __cil_tmp85 ;
4493 unsigned long __cil_tmp86 ;
4494 unsigned long __cil_tmp87 ;
4495 unsigned long __cil_tmp88 ;
4496 unsigned long __cil_tmp89 ;
4497 unsigned long __cil_tmp90 ;
4498 unsigned long __cil_tmp91 ;
4499 unsigned long __cil_tmp92 ;
4500 unsigned long __cil_tmp93 ;
4501 unsigned long __cil_tmp94 ;
4502 unsigned long __cil_tmp95 ;
4503 unsigned long __cil_tmp96 ;
4504 unsigned long __cil_tmp97 ;
4505 unsigned long __cil_tmp98 ;
4506 unsigned long __cil_tmp99 ;
4507 unsigned long __cil_tmp100 ;
4508 unsigned long __cil_tmp101 ;
4509 unsigned long __cil_tmp102 ;
4510 unsigned long __cil_tmp103 ;
4511 unsigned long __cil_tmp104 ;
4512 unsigned long __cil_tmp105 ;
4513 unsigned long __cil_tmp106 ;
4514 unsigned long __cil_tmp107 ;
4515 unsigned long __cil_tmp108 ;
4516 unsigned long __cil_tmp109 ;
4517 unsigned long __cil_tmp110 ;
4518 unsigned long __cil_tmp111 ;
4519 unsigned long __cil_tmp112 ;
4520 unsigned long __cil_tmp113 ;
4521 unsigned long __cil_tmp114 ;
4522 unsigned long __cil_tmp115 ;
4523 unsigned long __cil_tmp116 ;
4524 unsigned long __cil_tmp117 ;
4525 unsigned long __cil_tmp118 ;
4526 unsigned long __cil_tmp119 ;
4527 unsigned long __cil_tmp120 ;
4528 unsigned long __cil_tmp121 ;
4529 unsigned long __cil_tmp122 ;
4530 unsigned long __cil_tmp123 ;
4531 unsigned long __cil_tmp124 ;
4532 unsigned long __cil_tmp125 ;
4533 unsigned long __cil_tmp126 ;
4534 unsigned long __cil_tmp127 ;
4535 unsigned long __cil_tmp128 ;
4536 unsigned long __cil_tmp129 ;
4537 unsigned long __cil_tmp130 ;
4538 int (*__cil_tmp131)(struct dvb_frontend * , int ) ;
4539 unsigned long __cil_tmp132 ;
4540 unsigned long __cil_tmp133 ;
4541 unsigned long __cil_tmp134 ;
4542 unsigned long __cil_tmp135 ;
4543 int (*__cil_tmp136)(struct dvb_frontend * , int ) ;
4544 unsigned long __cil_tmp137 ;
4545 unsigned long __cil_tmp138 ;
4546 unsigned long __cil_tmp139 ;
4547 unsigned long __cil_tmp140 ;
4548 int (*__cil_tmp141)(struct dvb_frontend * , int ) ;
4549 unsigned long __cil_tmp142 ;
4550 unsigned long __cil_tmp143 ;
4551 unsigned long __cil_tmp144 ;
4552 unsigned long __cil_tmp145 ;
4553 unsigned long __cil_tmp146 ;
4554 unsigned long __cil_tmp147 ;
4555 unsigned long __cil_tmp148 ;
4556 unsigned long __cil_tmp149 ;
4557 u32 __cil_tmp150 ;
4558 unsigned long __cil_tmp151 ;
4559 unsigned long __cil_tmp152 ;
4560 u32 __cil_tmp153 ;
4561 unsigned long __cil_tmp154 ;
4562 unsigned long __cil_tmp155 ;
4563 signed char __cil_tmp156 ;
4564 int __cil_tmp157 ;
4565 unsigned long __cil_tmp158 ;
4566 unsigned long __cil_tmp159 ;
4567 unsigned long __cil_tmp160 ;
4568 unsigned long __cil_tmp161 ;
4569 u8 __cil_tmp162 ;
4570 signed char __cil_tmp163 ;
4571 int __cil_tmp164 ;
4572 int __cil_tmp165 ;
4573 int __cil_tmp166 ;
4574 unsigned long __cil_tmp167 ;
4575 unsigned long __cil_tmp168 ;
4576 signed char __cil_tmp169 ;
4577 int __cil_tmp170 ;
4578 unsigned long __cil_tmp171 ;
4579 unsigned long __cil_tmp172 ;
4580 unsigned long __cil_tmp173 ;
4581 unsigned long __cil_tmp174 ;
4582 u8 __cil_tmp175 ;
4583 signed char __cil_tmp176 ;
4584 int __cil_tmp177 ;
4585 int __cil_tmp178 ;
4586 int __cil_tmp179 ;
4587 unsigned long __cil_tmp180 ;
4588 unsigned long __cil_tmp181 ;
4589 unsigned long __cil_tmp182 ;
4590 unsigned long __cil_tmp183 ;
4591 unsigned long __cil_tmp184 ;
4592 unsigned long __cil_tmp185 ;
4593 u8 __cil_tmp186 ;
4594 u8 *__cil_tmp187 ;
4595 u8 __cil_tmp188 ;
4596 unsigned long __cil_tmp189 ;
4597 unsigned long __cil_tmp190 ;
4598 u32 __cil_tmp191 ;
4599 u32 __cil_tmp192 ;
4600 unsigned long __cil_tmp193 ;
4601 unsigned long __cil_tmp194 ;
4602 u32 __cil_tmp195 ;
4603 u32 __cil_tmp196 ;
4604 unsigned long __cil_tmp197 ;
4605 unsigned long __cil_tmp198 ;
4606 unsigned long __cil_tmp199 ;
4607 unsigned long __cil_tmp200 ;
4608 unsigned long __cil_tmp201 ;
4609 unsigned long __cil_tmp202 ;
4610 u8 __cil_tmp203 ;
4611 unsigned int __cil_tmp204 ;
4612 unsigned int __cil_tmp205 ;
4613 u32 __cil_tmp206 ;
4614 u8 __cil_tmp207 ;
4615 int __cil_tmp208 ;
4616 int __cil_tmp209 ;
4617 unsigned int __cil_tmp210 ;
4618 unsigned int __cil_tmp211 ;
4619 u8 __cil_tmp212 ;
4620 u8 *__cil_tmp213 ;
4621 u8 __cil_tmp214 ;
4622 unsigned long __cil_tmp215 ;
4623 unsigned long __cil_tmp216 ;
4624 unsigned long __cil_tmp217 ;
4625 unsigned long __cil_tmp218 ;
4626 unsigned long __cil_tmp219 ;
4627 unsigned long __cil_tmp220 ;
4628 u8 __cil_tmp221 ;
4629 unsigned int __cil_tmp222 ;
4630 unsigned int __cil_tmp223 ;
4631 u8 __cil_tmp224 ;
4632 u8 *__cil_tmp225 ;
4633 u8 __cil_tmp226 ;
4634 unsigned long __cil_tmp227 ;
4635 unsigned long __cil_tmp228 ;
4636 unsigned long __cil_tmp229 ;
4637 unsigned long __cil_tmp230 ;
4638 unsigned long __cil_tmp231 ;
4639 unsigned long __cil_tmp232 ;
4640 u8 __cil_tmp233 ;
4641 unsigned int __cil_tmp234 ;
4642 unsigned int __cil_tmp235 ;
4643 u8 __cil_tmp236 ;
4644 u8 *__cil_tmp237 ;
4645 u8 __cil_tmp238 ;
4646 unsigned long __cil_tmp239 ;
4647 int __cil_tmp240 ;
4648 unsigned long __cil_tmp241 ;
4649 unsigned long __cil_tmp242 ;
4650 unsigned long __cil_tmp243 ;
4651 u8 __cil_tmp244 ;
4652 int __cil_tmp245 ;
4653 u8 __cil_tmp246 ;
4654 unsigned long __cil_tmp247 ;
4655 int __cil_tmp248 ;
4656 unsigned long __cil_tmp249 ;
4657 unsigned long __cil_tmp250 ;
4658 unsigned long __cil_tmp251 ;
4659 u8 __cil_tmp252 ;
4660 int __cil_tmp253 ;
4661 u8 __cil_tmp254 ;
4662 int __cil_tmp255 ;
4663 int __cil_tmp256 ;
4664 unsigned int __cil_tmp257 ;
4665 int (*__cil_tmp258)(struct dvb_frontend * , int ) ;
4666 unsigned long __cil_tmp259 ;
4667 unsigned long __cil_tmp260 ;
4668 unsigned long __cil_tmp261 ;
4669 unsigned long __cil_tmp262 ;
4670 int (*__cil_tmp263)(struct dvb_frontend * , int ) ;
4671 unsigned long __cil_tmp264 ;
4672 unsigned long __cil_tmp265 ;
4673 unsigned long __cil_tmp266 ;
4674 unsigned long __cil_tmp267 ;
4675 int (*__cil_tmp268)(struct dvb_frontend * , int ) ;
4676 int *__cil_tmp269 ;
4677 int __cil_tmp270 ;
4678
4679 {
4680#line 129
4681 __cil_tmp12 = (unsigned long )fe;
4682#line 129
4683 __cil_tmp13 = __cil_tmp12 + 768;
4684#line 129
4685 __cil_tmp14 = *((void **)__cil_tmp13);
4686#line 129
4687 priv = (struct tda18218_priv *)__cil_tmp14;
4688#line 130
4689 __cil_tmp15 = (unsigned long )fe;
4690#line 130
4691 __cil_tmp16 = __cil_tmp15 + 800;
4692#line 130
4693 c = (struct dtv_frontend_properties *)__cil_tmp16;
4694#line 131
4695 __cil_tmp17 = (unsigned long )c;
4696#line 131
4697 __cil_tmp18 = __cil_tmp17 + 32;
4698#line 131
4699 bw = *((u32 *)__cil_tmp18);
4700#line 136
4701 __cil_tmp19 = 0 * 1UL;
4702#line 136
4703 __cil_tmp20 = 0 * 2UL;
4704#line 136
4705 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
4706#line 136
4707 __cil_tmp22 = (unsigned long )(agc) + __cil_tmp21;
4708#line 136
4709 *((u8 *)__cil_tmp22) = (u8 )32U;
4710#line 136
4711 __cil_tmp23 = 1 * 1UL;
4712#line 136
4713 __cil_tmp24 = 0 * 2UL;
4714#line 136
4715 __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
4716#line 136
4717 __cil_tmp26 = (unsigned long )(agc) + __cil_tmp25;
4718#line 136
4719 *((u8 *)__cil_tmp26) = (u8 )96U;
4720#line 136
4721 __cil_tmp27 = 0 * 1UL;
4722#line 136
4723 __cil_tmp28 = 1 * 2UL;
4724#line 136
4725 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
4726#line 136
4727 __cil_tmp30 = (unsigned long )(agc) + __cil_tmp29;
4728#line 136
4729 *((u8 *)__cil_tmp30) = (u8 )35U;
4730#line 136
4731 __cil_tmp31 = 1 * 1UL;
4732#line 136
4733 __cil_tmp32 = 1 * 2UL;
4734#line 136
4735 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
4736#line 136
4737 __cil_tmp34 = (unsigned long )(agc) + __cil_tmp33;
4738#line 136
4739 *((u8 *)__cil_tmp34) = (u8 )2U;
4740#line 136
4741 __cil_tmp35 = 0 * 1UL;
4742#line 136
4743 __cil_tmp36 = 2 * 2UL;
4744#line 136
4745 __cil_tmp37 = __cil_tmp36 + __cil_tmp35;
4746#line 136
4747 __cil_tmp38 = (unsigned long )(agc) + __cil_tmp37;
4748#line 136
4749 *((u8 *)__cil_tmp38) = (u8 )32U;
4750#line 136
4751 __cil_tmp39 = 1 * 1UL;
4752#line 136
4753 __cil_tmp40 = 2 * 2UL;
4754#line 136
4755 __cil_tmp41 = __cil_tmp40 + __cil_tmp39;
4756#line 136
4757 __cil_tmp42 = (unsigned long )(agc) + __cil_tmp41;
4758#line 136
4759 *((u8 *)__cil_tmp42) = (u8 )160U;
4760#line 136
4761 __cil_tmp43 = 0 * 1UL;
4762#line 136
4763 __cil_tmp44 = 3 * 2UL;
4764#line 136
4765 __cil_tmp45 = __cil_tmp44 + __cil_tmp43;
4766#line 136
4767 __cil_tmp46 = (unsigned long )(agc) + __cil_tmp45;
4768#line 136
4769 *((u8 *)__cil_tmp46) = (u8 )35U;
4770#line 136
4771 __cil_tmp47 = 1 * 1UL;
4772#line 136
4773 __cil_tmp48 = 3 * 2UL;
4774#line 136
4775 __cil_tmp49 = __cil_tmp48 + __cil_tmp47;
4776#line 136
4777 __cil_tmp50 = (unsigned long )(agc) + __cil_tmp49;
4778#line 136
4779 *((u8 *)__cil_tmp50) = (u8 )9U;
4780#line 136
4781 __cil_tmp51 = 0 * 1UL;
4782#line 136
4783 __cil_tmp52 = 4 * 2UL;
4784#line 136
4785 __cil_tmp53 = __cil_tmp52 + __cil_tmp51;
4786#line 136
4787 __cil_tmp54 = (unsigned long )(agc) + __cil_tmp53;
4788#line 136
4789 *((u8 *)__cil_tmp54) = (u8 )32U;
4790#line 136
4791 __cil_tmp55 = 1 * 1UL;
4792#line 136
4793 __cil_tmp56 = 4 * 2UL;
4794#line 136
4795 __cil_tmp57 = __cil_tmp56 + __cil_tmp55;
4796#line 136
4797 __cil_tmp58 = (unsigned long )(agc) + __cil_tmp57;
4798#line 136
4799 *((u8 *)__cil_tmp58) = (u8 )224U;
4800#line 136
4801 __cil_tmp59 = 0 * 1UL;
4802#line 136
4803 __cil_tmp60 = 5 * 2UL;
4804#line 136
4805 __cil_tmp61 = __cil_tmp60 + __cil_tmp59;
4806#line 136
4807 __cil_tmp62 = (unsigned long )(agc) + __cil_tmp61;
4808#line 136
4809 *((u8 *)__cil_tmp62) = (u8 )35U;
4810#line 136
4811 __cil_tmp63 = 1 * 1UL;
4812#line 136
4813 __cil_tmp64 = 5 * 2UL;
4814#line 136
4815 __cil_tmp65 = __cil_tmp64 + __cil_tmp63;
4816#line 136
4817 __cil_tmp66 = (unsigned long )(agc) + __cil_tmp65;
4818#line 136
4819 *((u8 *)__cil_tmp66) = (u8 )12U;
4820#line 136
4821 __cil_tmp67 = 0 * 1UL;
4822#line 136
4823 __cil_tmp68 = 6 * 2UL;
4824#line 136
4825 __cil_tmp69 = __cil_tmp68 + __cil_tmp67;
4826#line 136
4827 __cil_tmp70 = (unsigned long )(agc) + __cil_tmp69;
4828#line 136
4829 *((u8 *)__cil_tmp70) = (u8 )32U;
4830#line 136
4831 __cil_tmp71 = 1 * 1UL;
4832#line 136
4833 __cil_tmp72 = 6 * 2UL;
4834#line 136
4835 __cil_tmp73 = __cil_tmp72 + __cil_tmp71;
4836#line 136
4837 __cil_tmp74 = (unsigned long )(agc) + __cil_tmp73;
4838#line 136
4839 *((u8 *)__cil_tmp74) = (u8 )64U;
4840#line 136
4841 __cil_tmp75 = 0 * 1UL;
4842#line 136
4843 __cil_tmp76 = 7 * 2UL;
4844#line 136
4845 __cil_tmp77 = __cil_tmp76 + __cil_tmp75;
4846#line 136
4847 __cil_tmp78 = (unsigned long )(agc) + __cil_tmp77;
4848#line 136
4849 *((u8 *)__cil_tmp78) = (u8 )35U;
4850#line 136
4851 __cil_tmp79 = 1 * 1UL;
4852#line 136
4853 __cil_tmp80 = 7 * 2UL;
4854#line 136
4855 __cil_tmp81 = __cil_tmp80 + __cil_tmp79;
4856#line 136
4857 __cil_tmp82 = (unsigned long )(agc) + __cil_tmp81;
4858#line 136
4859 *((u8 *)__cil_tmp82) = (u8 )1U;
4860#line 136
4861 __cil_tmp83 = 0 * 1UL;
4862#line 136
4863 __cil_tmp84 = 8 * 2UL;
4864#line 136
4865 __cil_tmp85 = __cil_tmp84 + __cil_tmp83;
4866#line 136
4867 __cil_tmp86 = (unsigned long )(agc) + __cil_tmp85;
4868#line 136
4869 *((u8 *)__cil_tmp86) = (u8 )32U;
4870#line 136
4871 __cil_tmp87 = 1 * 1UL;
4872#line 136
4873 __cil_tmp88 = 8 * 2UL;
4874#line 136
4875 __cil_tmp89 = __cil_tmp88 + __cil_tmp87;
4876#line 136
4877 __cil_tmp90 = (unsigned long )(agc) + __cil_tmp89;
4878#line 136
4879 *((u8 *)__cil_tmp90) = (u8 )128U;
4880#line 136
4881 __cil_tmp91 = 0 * 1UL;
4882#line 136
4883 __cil_tmp92 = 9 * 2UL;
4884#line 136
4885 __cil_tmp93 = __cil_tmp92 + __cil_tmp91;
4886#line 136
4887 __cil_tmp94 = (unsigned long )(agc) + __cil_tmp93;
4888#line 136
4889 *((u8 *)__cil_tmp94) = (u8 )35U;
4890#line 136
4891 __cil_tmp95 = 1 * 1UL;
4892#line 136
4893 __cil_tmp96 = 9 * 2UL;
4894#line 136
4895 __cil_tmp97 = __cil_tmp96 + __cil_tmp95;
4896#line 136
4897 __cil_tmp98 = (unsigned long )(agc) + __cil_tmp97;
4898#line 136
4899 *((u8 *)__cil_tmp98) = (u8 )8U;
4900#line 136
4901 __cil_tmp99 = 0 * 1UL;
4902#line 136
4903 __cil_tmp100 = 10 * 2UL;
4904#line 136
4905 __cil_tmp101 = __cil_tmp100 + __cil_tmp99;
4906#line 136
4907 __cil_tmp102 = (unsigned long )(agc) + __cil_tmp101;
4908#line 136
4909 *((u8 *)__cil_tmp102) = (u8 )32U;
4910#line 136
4911 __cil_tmp103 = 1 * 1UL;
4912#line 136
4913 __cil_tmp104 = 10 * 2UL;
4914#line 136
4915 __cil_tmp105 = __cil_tmp104 + __cil_tmp103;
4916#line 136
4917 __cil_tmp106 = (unsigned long )(agc) + __cil_tmp105;
4918#line 136
4919 *((u8 *)__cil_tmp106) = (u8 )192U;
4920#line 136
4921 __cil_tmp107 = 0 * 1UL;
4922#line 136
4923 __cil_tmp108 = 11 * 2UL;
4924#line 136
4925 __cil_tmp109 = __cil_tmp108 + __cil_tmp107;
4926#line 136
4927 __cil_tmp110 = (unsigned long )(agc) + __cil_tmp109;
4928#line 136
4929 *((u8 *)__cil_tmp110) = (u8 )35U;
4930#line 136
4931 __cil_tmp111 = 1 * 1UL;
4932#line 136
4933 __cil_tmp112 = 11 * 2UL;
4934#line 136
4935 __cil_tmp113 = __cil_tmp112 + __cil_tmp111;
4936#line 136
4937 __cil_tmp114 = (unsigned long )(agc) + __cil_tmp113;
4938#line 136
4939 *((u8 *)__cil_tmp114) = (u8 )11U;
4940#line 136
4941 __cil_tmp115 = 0 * 1UL;
4942#line 136
4943 __cil_tmp116 = 12 * 2UL;
4944#line 136
4945 __cil_tmp117 = __cil_tmp116 + __cil_tmp115;
4946#line 136
4947 __cil_tmp118 = (unsigned long )(agc) + __cil_tmp117;
4948#line 136
4949 *((u8 *)__cil_tmp118) = (u8 )36U;
4950#line 136
4951 __cil_tmp119 = 1 * 1UL;
4952#line 136
4953 __cil_tmp120 = 12 * 2UL;
4954#line 136
4955 __cil_tmp121 = __cil_tmp120 + __cil_tmp119;
4956#line 136
4957 __cil_tmp122 = (unsigned long )(agc) + __cil_tmp121;
4958#line 136
4959 *((u8 *)__cil_tmp122) = (u8 )28U;
4960#line 136
4961 __cil_tmp123 = 0 * 1UL;
4962#line 136
4963 __cil_tmp124 = 13 * 2UL;
4964#line 136
4965 __cil_tmp125 = __cil_tmp124 + __cil_tmp123;
4966#line 136
4967 __cil_tmp126 = (unsigned long )(agc) + __cil_tmp125;
4968#line 136
4969 *((u8 *)__cil_tmp126) = (u8 )36U;
4970#line 136
4971 __cil_tmp127 = 1 * 1UL;
4972#line 136
4973 __cil_tmp128 = 13 * 2UL;
4974#line 136
4975 __cil_tmp129 = __cil_tmp128 + __cil_tmp127;
4976#line 136
4977 __cil_tmp130 = (unsigned long )(agc) + __cil_tmp129;
4978#line 136
4979 *((u8 *)__cil_tmp130) = (u8 )12U;
4980 {
4981#line 153
4982 __cil_tmp131 = (int (*)(struct dvb_frontend * , int ))0;
4983#line 153
4984 __cil_tmp132 = (unsigned long )__cil_tmp131;
4985#line 153
4986 __cil_tmp133 = 0 + 360;
4987#line 153
4988 __cil_tmp134 = (unsigned long )fe;
4989#line 153
4990 __cil_tmp135 = __cil_tmp134 + __cil_tmp133;
4991#line 153
4992 __cil_tmp136 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp135);
4993#line 153
4994 __cil_tmp137 = (unsigned long )__cil_tmp136;
4995#line 153
4996 if (__cil_tmp137 != __cil_tmp132) {
4997 {
4998#line 154
4999 __cil_tmp138 = 0 + 360;
5000#line 154
5001 __cil_tmp139 = (unsigned long )fe;
5002#line 154
5003 __cil_tmp140 = __cil_tmp139 + __cil_tmp138;
5004#line 154
5005 __cil_tmp141 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp140);
5006#line 154
5007 (*__cil_tmp141)(fe, 1);
5008 }
5009 } else {
5010
5011 }
5012 }
5013#line 157
5014 if (bw <= 6000000U) {
5015#line 158
5016 LP_Fc = (u8 )0U;
5017#line 159
5018 __cil_tmp142 = (unsigned long )priv;
5019#line 159
5020 __cil_tmp143 = __cil_tmp142 + 16;
5021#line 159
5022 *((u32 *)__cil_tmp143) = 3000000U;
5023 } else
5024#line 160
5025 if (bw <= 7000000U) {
5026#line 161
5027 LP_Fc = (u8 )1U;
5028#line 162
5029 __cil_tmp144 = (unsigned long )priv;
5030#line 162
5031 __cil_tmp145 = __cil_tmp144 + 16;
5032#line 162
5033 *((u32 *)__cil_tmp145) = 3500000U;
5034 } else {
5035#line 164
5036 LP_Fc = (u8 )2U;
5037#line 165
5038 __cil_tmp146 = (unsigned long )priv;
5039#line 165
5040 __cil_tmp147 = __cil_tmp146 + 16;
5041#line 165
5042 *((u32 *)__cil_tmp147) = 4000000U;
5043 }
5044#line 168
5045 __cil_tmp148 = (unsigned long )priv;
5046#line 168
5047 __cil_tmp149 = __cil_tmp148 + 16;
5048#line 168
5049 __cil_tmp150 = *((u32 *)__cil_tmp149);
5050#line 168
5051 __cil_tmp151 = (unsigned long )c;
5052#line 168
5053 __cil_tmp152 = __cil_tmp151 + 4;
5054#line 168
5055 __cil_tmp153 = *((u32 *)__cil_tmp152);
5056#line 168
5057 LO_Frac = __cil_tmp153 + __cil_tmp150;
5058#line 171
5059 if (LO_Frac <= 187999999U) {
5060#line 172
5061 BP_Filter = (u8 )3U;
5062 } else
5063#line 173
5064 if (LO_Frac <= 252999999U) {
5065#line 174
5066 BP_Filter = (u8 )4U;
5067 } else
5068#line 175
5069 if (LO_Frac <= 342999999U) {
5070#line 176
5071 BP_Filter = (u8 )5U;
5072 } else {
5073#line 178
5074 BP_Filter = (u8 )6U;
5075 }
5076 {
5077#line 180
5078 __cil_tmp154 = 0 * 1UL;
5079#line 180
5080 __cil_tmp155 = (unsigned long )(buf) + __cil_tmp154;
5081#line 180
5082 __cil_tmp156 = (signed char )BP_Filter;
5083#line 180
5084 __cil_tmp157 = (int )__cil_tmp156;
5085#line 180
5086 __cil_tmp158 = 26 * 1UL;
5087#line 180
5088 __cil_tmp159 = 20 + __cil_tmp158;
5089#line 180
5090 __cil_tmp160 = (unsigned long )priv;
5091#line 180
5092 __cil_tmp161 = __cil_tmp160 + __cil_tmp159;
5093#line 180
5094 __cil_tmp162 = *((u8 *)__cil_tmp161);
5095#line 180
5096 __cil_tmp163 = (signed char )__cil_tmp162;
5097#line 180
5098 __cil_tmp164 = (int )__cil_tmp163;
5099#line 180
5100 __cil_tmp165 = __cil_tmp164 & -8;
5101#line 180
5102 __cil_tmp166 = __cil_tmp165 | __cil_tmp157;
5103#line 180
5104 *((u8 *)__cil_tmp155) = (u8 )__cil_tmp166;
5105#line 181
5106 __cil_tmp167 = 1 * 1UL;
5107#line 181
5108 __cil_tmp168 = (unsigned long )(buf) + __cil_tmp167;
5109#line 181
5110 __cil_tmp169 = (signed char )LP_Fc;
5111#line 181
5112 __cil_tmp170 = (int )__cil_tmp169;
5113#line 181
5114 __cil_tmp171 = 27 * 1UL;
5115#line 181
5116 __cil_tmp172 = 20 + __cil_tmp171;
5117#line 181
5118 __cil_tmp173 = (unsigned long )priv;
5119#line 181
5120 __cil_tmp174 = __cil_tmp173 + __cil_tmp172;
5121#line 181
5122 __cil_tmp175 = *((u8 *)__cil_tmp174);
5123#line 181
5124 __cil_tmp176 = (signed char )__cil_tmp175;
5125#line 181
5126 __cil_tmp177 = (int )__cil_tmp176;
5127#line 181
5128 __cil_tmp178 = __cil_tmp177 & -4;
5129#line 181
5130 __cil_tmp179 = __cil_tmp178 | __cil_tmp170;
5131#line 181
5132 *((u8 *)__cil_tmp168) = (u8 )__cil_tmp179;
5133#line 182
5134 __cil_tmp180 = 2 * 1UL;
5135#line 182
5136 __cil_tmp181 = (unsigned long )(buf) + __cil_tmp180;
5137#line 182
5138 __cil_tmp182 = 28 * 1UL;
5139#line 182
5140 __cil_tmp183 = 20 + __cil_tmp182;
5141#line 182
5142 __cil_tmp184 = (unsigned long )priv;
5143#line 182
5144 __cil_tmp185 = __cil_tmp184 + __cil_tmp183;
5145#line 182
5146 *((u8 *)__cil_tmp181) = *((u8 *)__cil_tmp185);
5147#line 183
5148 __cil_tmp186 = (u8 )26;
5149#line 183
5150 __cil_tmp187 = (u8 *)(& buf);
5151#line 183
5152 __cil_tmp188 = (u8 )3;
5153#line 183
5154 ret = tda18218_wr_regs(priv, __cil_tmp186, __cil_tmp187, __cil_tmp188);
5155 }
5156#line 184
5157 if (ret != 0) {
5158#line 185
5159 goto error;
5160 } else {
5161
5162 }
5163 {
5164#line 187
5165 __cil_tmp189 = 0 * 1UL;
5166#line 187
5167 __cil_tmp190 = (unsigned long )(buf) + __cil_tmp189;
5168#line 187
5169 __cil_tmp191 = LO_Frac / 1000U;
5170#line 187
5171 __cil_tmp192 = __cil_tmp191 >> 12;
5172#line 187
5173 *((u8 *)__cil_tmp190) = (u8 )__cil_tmp192;
5174#line 188
5175 __cil_tmp193 = 1 * 1UL;
5176#line 188
5177 __cil_tmp194 = (unsigned long )(buf) + __cil_tmp193;
5178#line 188
5179 __cil_tmp195 = LO_Frac / 1000U;
5180#line 188
5181 __cil_tmp196 = __cil_tmp195 >> 4;
5182#line 188
5183 *((u8 *)__cil_tmp194) = (u8 )__cil_tmp196;
5184#line 189
5185 __cil_tmp197 = 2 * 1UL;
5186#line 189
5187 __cil_tmp198 = (unsigned long )(buf) + __cil_tmp197;
5188#line 189
5189 __cil_tmp199 = 12 * 1UL;
5190#line 189
5191 __cil_tmp200 = 20 + __cil_tmp199;
5192#line 189
5193 __cil_tmp201 = (unsigned long )priv;
5194#line 189
5195 __cil_tmp202 = __cil_tmp201 + __cil_tmp200;
5196#line 189
5197 __cil_tmp203 = *((u8 *)__cil_tmp202);
5198#line 189
5199 __cil_tmp204 = (unsigned int )__cil_tmp203;
5200#line 189
5201 __cil_tmp205 = __cil_tmp204 & 15U;
5202#line 189
5203 __cil_tmp206 = LO_Frac / 1000U;
5204#line 189
5205 __cil_tmp207 = (u8 )__cil_tmp206;
5206#line 189
5207 __cil_tmp208 = (int )__cil_tmp207;
5208#line 189
5209 __cil_tmp209 = __cil_tmp208 << 4U;
5210#line 189
5211 __cil_tmp210 = (unsigned int )__cil_tmp209;
5212#line 189
5213 __cil_tmp211 = __cil_tmp210 | __cil_tmp205;
5214#line 189
5215 *((u8 *)__cil_tmp198) = (u8 )__cil_tmp211;
5216#line 191
5217 __cil_tmp212 = (u8 )10;
5218#line 191
5219 __cil_tmp213 = (u8 *)(& buf);
5220#line 191
5221 __cil_tmp214 = (u8 )3;
5222#line 191
5223 ret = tda18218_wr_regs(priv, __cil_tmp212, __cil_tmp213, __cil_tmp214);
5224 }
5225#line 192
5226 if (ret != 0) {
5227#line 193
5228 goto error;
5229 } else {
5230
5231 }
5232 {
5233#line 195
5234 __cil_tmp215 = 0 * 1UL;
5235#line 195
5236 __cil_tmp216 = (unsigned long )(buf) + __cil_tmp215;
5237#line 195
5238 __cil_tmp217 = 15 * 1UL;
5239#line 195
5240 __cil_tmp218 = 20 + __cil_tmp217;
5241#line 195
5242 __cil_tmp219 = (unsigned long )priv;
5243#line 195
5244 __cil_tmp220 = __cil_tmp219 + __cil_tmp218;
5245#line 195
5246 __cil_tmp221 = *((u8 *)__cil_tmp220);
5247#line 195
5248 __cil_tmp222 = (unsigned int )__cil_tmp221;
5249#line 195
5250 __cil_tmp223 = __cil_tmp222 | 64U;
5251#line 195
5252 *((u8 *)__cil_tmp216) = (u8 )__cil_tmp223;
5253#line 196
5254 __cil_tmp224 = (u8 )15;
5255#line 196
5256 __cil_tmp225 = (u8 *)(& buf);
5257#line 196
5258 __cil_tmp226 = (u8 )1;
5259#line 196
5260 ret = tda18218_wr_regs(priv, __cil_tmp224, __cil_tmp225, __cil_tmp226);
5261 }
5262#line 197
5263 if (ret != 0) {
5264#line 198
5265 goto error;
5266 } else {
5267
5268 }
5269 {
5270#line 200
5271 __cil_tmp227 = 0 * 1UL;
5272#line 200
5273 __cil_tmp228 = (unsigned long )(buf) + __cil_tmp227;
5274#line 200
5275 __cil_tmp229 = 15 * 1UL;
5276#line 200
5277 __cil_tmp230 = 20 + __cil_tmp229;
5278#line 200
5279 __cil_tmp231 = (unsigned long )priv;
5280#line 200
5281 __cil_tmp232 = __cil_tmp231 + __cil_tmp230;
5282#line 200
5283 __cil_tmp233 = *((u8 *)__cil_tmp232);
5284#line 200
5285 __cil_tmp234 = (unsigned int )__cil_tmp233;
5286#line 200
5287 __cil_tmp235 = __cil_tmp234 & 191U;
5288#line 200
5289 *((u8 *)__cil_tmp228) = (u8 )__cil_tmp235;
5290#line 201
5291 __cil_tmp236 = (u8 )15;
5292#line 201
5293 __cil_tmp237 = (u8 *)(& buf);
5294#line 201
5295 __cil_tmp238 = (u8 )1;
5296#line 201
5297 ret = tda18218_wr_regs(priv, __cil_tmp236, __cil_tmp237, __cil_tmp238);
5298 }
5299#line 202
5300 if (ret != 0) {
5301#line 203
5302 goto error;
5303 } else {
5304
5305 }
5306#line 206
5307 i = (u8 )0U;
5308#line 206
5309 goto ldv_22817;
5310 ldv_22816:
5311 {
5312#line 207
5313 __cil_tmp239 = 0 * 1UL;
5314#line 207
5315 __cil_tmp240 = (int )i;
5316#line 207
5317 __cil_tmp241 = __cil_tmp240 * 2UL;
5318#line 207
5319 __cil_tmp242 = __cil_tmp241 + __cil_tmp239;
5320#line 207
5321 __cil_tmp243 = (unsigned long )(agc) + __cil_tmp242;
5322#line 207
5323 __cil_tmp244 = *((u8 *)__cil_tmp243);
5324#line 207
5325 __cil_tmp245 = (int )__cil_tmp244;
5326#line 207
5327 __cil_tmp246 = (u8 )__cil_tmp245;
5328#line 207
5329 __cil_tmp247 = 1 * 1UL;
5330#line 207
5331 __cil_tmp248 = (int )i;
5332#line 207
5333 __cil_tmp249 = __cil_tmp248 * 2UL;
5334#line 207
5335 __cil_tmp250 = __cil_tmp249 + __cil_tmp247;
5336#line 207
5337 __cil_tmp251 = (unsigned long )(agc) + __cil_tmp250;
5338#line 207
5339 __cil_tmp252 = *((u8 *)__cil_tmp251);
5340#line 207
5341 __cil_tmp253 = (int )__cil_tmp252;
5342#line 207
5343 __cil_tmp254 = (u8 )__cil_tmp253;
5344#line 207
5345 ret = tda18218_wr_reg(priv, __cil_tmp246, __cil_tmp254);
5346 }
5347#line 208
5348 if (ret != 0) {
5349#line 209
5350 goto error;
5351 } else {
5352
5353 }
5354#line 206
5355 __cil_tmp255 = (int )i;
5356#line 206
5357 __cil_tmp256 = __cil_tmp255 + 1;
5358#line 206
5359 i = (u8 )__cil_tmp256;
5360 ldv_22817: ;
5361 {
5362#line 206
5363 __cil_tmp257 = (unsigned int )i;
5364#line 206
5365 if (__cil_tmp257 <= 13U) {
5366#line 207
5367 goto ldv_22816;
5368 } else {
5369#line 209
5370 goto ldv_22818;
5371 }
5372 }
5373 ldv_22818: ;
5374 error: ;
5375 {
5376#line 213
5377 __cil_tmp258 = (int (*)(struct dvb_frontend * , int ))0;
5378#line 213
5379 __cil_tmp259 = (unsigned long )__cil_tmp258;
5380#line 213
5381 __cil_tmp260 = 0 + 360;
5382#line 213
5383 __cil_tmp261 = (unsigned long )fe;
5384#line 213
5385 __cil_tmp262 = __cil_tmp261 + __cil_tmp260;
5386#line 213
5387 __cil_tmp263 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp262);
5388#line 213
5389 __cil_tmp264 = (unsigned long )__cil_tmp263;
5390#line 213
5391 if (__cil_tmp264 != __cil_tmp259) {
5392 {
5393#line 214
5394 __cil_tmp265 = 0 + 360;
5395#line 214
5396 __cil_tmp266 = (unsigned long )fe;
5397#line 214
5398 __cil_tmp267 = __cil_tmp266 + __cil_tmp265;
5399#line 214
5400 __cil_tmp268 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp267);
5401#line 214
5402 (*__cil_tmp268)(fe, 0);
5403 }
5404 } else {
5405
5406 }
5407 }
5408#line 216
5409 if (ret != 0) {
5410 {
5411#line 217
5412 __cil_tmp269 = & debug;
5413#line 217
5414 __cil_tmp270 = *__cil_tmp269;
5415#line 217
5416 if (__cil_tmp270 != 0) {
5417 {
5418#line 217
5419 printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_set_params", ret);
5420 }
5421 } else {
5422
5423 }
5424 }
5425 } else {
5426
5427 }
5428#line 219
5429 return (ret);
5430}
5431}
5432#line 222 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5433static int tda18218_get_if_frequency(struct dvb_frontend *fe , u32 *frequency )
5434{ struct tda18218_priv *priv ;
5435 unsigned long __cil_tmp4 ;
5436 unsigned long __cil_tmp5 ;
5437 void *__cil_tmp6 ;
5438 unsigned long __cil_tmp7 ;
5439 unsigned long __cil_tmp8 ;
5440 int *__cil_tmp9 ;
5441 int __cil_tmp10 ;
5442 u32 __cil_tmp11 ;
5443
5444 {
5445#line 224
5446 __cil_tmp4 = (unsigned long )fe;
5447#line 224
5448 __cil_tmp5 = __cil_tmp4 + 768;
5449#line 224
5450 __cil_tmp6 = *((void **)__cil_tmp5);
5451#line 224
5452 priv = (struct tda18218_priv *)__cil_tmp6;
5453#line 225
5454 __cil_tmp7 = (unsigned long )priv;
5455#line 225
5456 __cil_tmp8 = __cil_tmp7 + 16;
5457#line 225
5458 *frequency = *((u32 *)__cil_tmp8);
5459 {
5460#line 226
5461 __cil_tmp9 = & debug;
5462#line 226
5463 __cil_tmp10 = *__cil_tmp9;
5464#line 226
5465 if (__cil_tmp10 != 0) {
5466 {
5467#line 226
5468 __cil_tmp11 = *frequency;
5469#line 226
5470 printk("<7>tda18218: %s: if=%d\n", "tda18218_get_if_frequency", __cil_tmp11);
5471 }
5472 } else {
5473
5474 }
5475 }
5476#line 227
5477 return (0);
5478}
5479}
5480#line 230 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5481static int tda18218_sleep(struct dvb_frontend *fe )
5482{ struct tda18218_priv *priv ;
5483 int ret ;
5484 unsigned long __cil_tmp4 ;
5485 unsigned long __cil_tmp5 ;
5486 void *__cil_tmp6 ;
5487 int (*__cil_tmp7)(struct dvb_frontend * , int ) ;
5488 unsigned long __cil_tmp8 ;
5489 unsigned long __cil_tmp9 ;
5490 unsigned long __cil_tmp10 ;
5491 unsigned long __cil_tmp11 ;
5492 int (*__cil_tmp12)(struct dvb_frontend * , int ) ;
5493 unsigned long __cil_tmp13 ;
5494 unsigned long __cil_tmp14 ;
5495 unsigned long __cil_tmp15 ;
5496 unsigned long __cil_tmp16 ;
5497 int (*__cil_tmp17)(struct dvb_frontend * , int ) ;
5498 u8 __cil_tmp18 ;
5499 unsigned long __cil_tmp19 ;
5500 unsigned long __cil_tmp20 ;
5501 unsigned long __cil_tmp21 ;
5502 unsigned long __cil_tmp22 ;
5503 u8 __cil_tmp23 ;
5504 unsigned int __cil_tmp24 ;
5505 unsigned int __cil_tmp25 ;
5506 int __cil_tmp26 ;
5507 u8 __cil_tmp27 ;
5508 int (*__cil_tmp28)(struct dvb_frontend * , int ) ;
5509 unsigned long __cil_tmp29 ;
5510 unsigned long __cil_tmp30 ;
5511 unsigned long __cil_tmp31 ;
5512 unsigned long __cil_tmp32 ;
5513 int (*__cil_tmp33)(struct dvb_frontend * , int ) ;
5514 unsigned long __cil_tmp34 ;
5515 unsigned long __cil_tmp35 ;
5516 unsigned long __cil_tmp36 ;
5517 unsigned long __cil_tmp37 ;
5518 int (*__cil_tmp38)(struct dvb_frontend * , int ) ;
5519 int *__cil_tmp39 ;
5520 int __cil_tmp40 ;
5521
5522 {
5523#line 232
5524 __cil_tmp4 = (unsigned long )fe;
5525#line 232
5526 __cil_tmp5 = __cil_tmp4 + 768;
5527#line 232
5528 __cil_tmp6 = *((void **)__cil_tmp5);
5529#line 232
5530 priv = (struct tda18218_priv *)__cil_tmp6;
5531 {
5532#line 235
5533 __cil_tmp7 = (int (*)(struct dvb_frontend * , int ))0;
5534#line 235
5535 __cil_tmp8 = (unsigned long )__cil_tmp7;
5536#line 235
5537 __cil_tmp9 = 0 + 360;
5538#line 235
5539 __cil_tmp10 = (unsigned long )fe;
5540#line 235
5541 __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
5542#line 235
5543 __cil_tmp12 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp11);
5544#line 235
5545 __cil_tmp13 = (unsigned long )__cil_tmp12;
5546#line 235
5547 if (__cil_tmp13 != __cil_tmp8) {
5548 {
5549#line 236
5550 __cil_tmp14 = 0 + 360;
5551#line 236
5552 __cil_tmp15 = (unsigned long )fe;
5553#line 236
5554 __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
5555#line 236
5556 __cil_tmp17 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp16);
5557#line 236
5558 (*__cil_tmp17)(fe, 1);
5559 }
5560 } else {
5561
5562 }
5563 }
5564 {
5565#line 239
5566 __cil_tmp18 = (u8 )23;
5567#line 239
5568 __cil_tmp19 = 23 * 1UL;
5569#line 239
5570 __cil_tmp20 = 20 + __cil_tmp19;
5571#line 239
5572 __cil_tmp21 = (unsigned long )priv;
5573#line 239
5574 __cil_tmp22 = __cil_tmp21 + __cil_tmp20;
5575#line 239
5576 __cil_tmp23 = *((u8 *)__cil_tmp22);
5577#line 239
5578 __cil_tmp24 = (unsigned int )__cil_tmp23;
5579#line 239
5580 __cil_tmp25 = __cil_tmp24 | 1U;
5581#line 239
5582 __cil_tmp26 = (int )__cil_tmp25;
5583#line 239
5584 __cil_tmp27 = (u8 )__cil_tmp26;
5585#line 239
5586 ret = tda18218_wr_reg(priv, __cil_tmp18, __cil_tmp27);
5587 }
5588 {
5589#line 241
5590 __cil_tmp28 = (int (*)(struct dvb_frontend * , int ))0;
5591#line 241
5592 __cil_tmp29 = (unsigned long )__cil_tmp28;
5593#line 241
5594 __cil_tmp30 = 0 + 360;
5595#line 241
5596 __cil_tmp31 = (unsigned long )fe;
5597#line 241
5598 __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
5599#line 241
5600 __cil_tmp33 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp32);
5601#line 241
5602 __cil_tmp34 = (unsigned long )__cil_tmp33;
5603#line 241
5604 if (__cil_tmp34 != __cil_tmp29) {
5605 {
5606#line 242
5607 __cil_tmp35 = 0 + 360;
5608#line 242
5609 __cil_tmp36 = (unsigned long )fe;
5610#line 242
5611 __cil_tmp37 = __cil_tmp36 + __cil_tmp35;
5612#line 242
5613 __cil_tmp38 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp37);
5614#line 242
5615 (*__cil_tmp38)(fe, 0);
5616 }
5617 } else {
5618
5619 }
5620 }
5621#line 244
5622 if (ret != 0) {
5623 {
5624#line 245
5625 __cil_tmp39 = & debug;
5626#line 245
5627 __cil_tmp40 = *__cil_tmp39;
5628#line 245
5629 if (__cil_tmp40 != 0) {
5630 {
5631#line 245
5632 printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_sleep", ret);
5633 }
5634 } else {
5635
5636 }
5637 }
5638 } else {
5639
5640 }
5641#line 247
5642 return (ret);
5643}
5644}
5645#line 250 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5646static int tda18218_init(struct dvb_frontend *fe )
5647{ struct tda18218_priv *priv ;
5648 int ret ;
5649 unsigned long __cil_tmp4 ;
5650 unsigned long __cil_tmp5 ;
5651 void *__cil_tmp6 ;
5652 int (*__cil_tmp7)(struct dvb_frontend * , int ) ;
5653 unsigned long __cil_tmp8 ;
5654 unsigned long __cil_tmp9 ;
5655 unsigned long __cil_tmp10 ;
5656 unsigned long __cil_tmp11 ;
5657 int (*__cil_tmp12)(struct dvb_frontend * , int ) ;
5658 unsigned long __cil_tmp13 ;
5659 unsigned long __cil_tmp14 ;
5660 unsigned long __cil_tmp15 ;
5661 unsigned long __cil_tmp16 ;
5662 int (*__cil_tmp17)(struct dvb_frontend * , int ) ;
5663 u8 __cil_tmp18 ;
5664 unsigned long __cil_tmp19 ;
5665 unsigned long __cil_tmp20 ;
5666 u8 (*__cil_tmp21)[59U] ;
5667 u8 *__cil_tmp22 ;
5668 u8 __cil_tmp23 ;
5669 int (*__cil_tmp24)(struct dvb_frontend * , int ) ;
5670 unsigned long __cil_tmp25 ;
5671 unsigned long __cil_tmp26 ;
5672 unsigned long __cil_tmp27 ;
5673 unsigned long __cil_tmp28 ;
5674 int (*__cil_tmp29)(struct dvb_frontend * , int ) ;
5675 unsigned long __cil_tmp30 ;
5676 unsigned long __cil_tmp31 ;
5677 unsigned long __cil_tmp32 ;
5678 unsigned long __cil_tmp33 ;
5679 int (*__cil_tmp34)(struct dvb_frontend * , int ) ;
5680 int *__cil_tmp35 ;
5681 int __cil_tmp36 ;
5682
5683 {
5684#line 252
5685 __cil_tmp4 = (unsigned long )fe;
5686#line 252
5687 __cil_tmp5 = __cil_tmp4 + 768;
5688#line 252
5689 __cil_tmp6 = *((void **)__cil_tmp5);
5690#line 252
5691 priv = (struct tda18218_priv *)__cil_tmp6;
5692 {
5693#line 257
5694 __cil_tmp7 = (int (*)(struct dvb_frontend * , int ))0;
5695#line 257
5696 __cil_tmp8 = (unsigned long )__cil_tmp7;
5697#line 257
5698 __cil_tmp9 = 0 + 360;
5699#line 257
5700 __cil_tmp10 = (unsigned long )fe;
5701#line 257
5702 __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
5703#line 257
5704 __cil_tmp12 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp11);
5705#line 257
5706 __cil_tmp13 = (unsigned long )__cil_tmp12;
5707#line 257
5708 if (__cil_tmp13 != __cil_tmp8) {
5709 {
5710#line 258
5711 __cil_tmp14 = 0 + 360;
5712#line 258
5713 __cil_tmp15 = (unsigned long )fe;
5714#line 258
5715 __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
5716#line 258
5717 __cil_tmp17 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp16);
5718#line 258
5719 (*__cil_tmp17)(fe, 1);
5720 }
5721 } else {
5722
5723 }
5724 }
5725 {
5726#line 260
5727 __cil_tmp18 = (u8 )0;
5728#line 260
5729 __cil_tmp19 = (unsigned long )priv;
5730#line 260
5731 __cil_tmp20 = __cil_tmp19 + 20;
5732#line 260
5733 __cil_tmp21 = (u8 (*)[59U])__cil_tmp20;
5734#line 260
5735 __cil_tmp22 = (u8 *)__cil_tmp21;
5736#line 260
5737 __cil_tmp23 = (u8 )59;
5738#line 260
5739 ret = tda18218_wr_regs(priv, __cil_tmp18, __cil_tmp22, __cil_tmp23);
5740 }
5741 {
5742#line 262
5743 __cil_tmp24 = (int (*)(struct dvb_frontend * , int ))0;
5744#line 262
5745 __cil_tmp25 = (unsigned long )__cil_tmp24;
5746#line 262
5747 __cil_tmp26 = 0 + 360;
5748#line 262
5749 __cil_tmp27 = (unsigned long )fe;
5750#line 262
5751 __cil_tmp28 = __cil_tmp27 + __cil_tmp26;
5752#line 262
5753 __cil_tmp29 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp28);
5754#line 262
5755 __cil_tmp30 = (unsigned long )__cil_tmp29;
5756#line 262
5757 if (__cil_tmp30 != __cil_tmp25) {
5758 {
5759#line 263
5760 __cil_tmp31 = 0 + 360;
5761#line 263
5762 __cil_tmp32 = (unsigned long )fe;
5763#line 263
5764 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
5765#line 263
5766 __cil_tmp34 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp33);
5767#line 263
5768 (*__cil_tmp34)(fe, 0);
5769 }
5770 } else {
5771
5772 }
5773 }
5774#line 265
5775 if (ret != 0) {
5776 {
5777#line 266
5778 __cil_tmp35 = & debug;
5779#line 266
5780 __cil_tmp36 = *__cil_tmp35;
5781#line 266
5782 if (__cil_tmp36 != 0) {
5783 {
5784#line 266
5785 printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_init", ret);
5786 }
5787 } else {
5788
5789 }
5790 }
5791 } else {
5792
5793 }
5794#line 268
5795 return (ret);
5796}
5797}
5798#line 271 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5799static int tda18218_release(struct dvb_frontend *fe )
5800{ unsigned long __cil_tmp2 ;
5801 unsigned long __cil_tmp3 ;
5802 void *__cil_tmp4 ;
5803 void const *__cil_tmp5 ;
5804 unsigned long __cil_tmp6 ;
5805 unsigned long __cil_tmp7 ;
5806
5807 {
5808 {
5809#line 273
5810 __cil_tmp2 = (unsigned long )fe;
5811#line 273
5812 __cil_tmp3 = __cil_tmp2 + 768;
5813#line 273
5814 __cil_tmp4 = *((void **)__cil_tmp3);
5815#line 273
5816 __cil_tmp5 = (void const *)__cil_tmp4;
5817#line 273
5818 kfree(__cil_tmp5);
5819#line 274
5820 __cil_tmp6 = (unsigned long )fe;
5821#line 274
5822 __cil_tmp7 = __cil_tmp6 + 768;
5823#line 274
5824 *((void **)__cil_tmp7) = (void *)0;
5825 }
5826#line 275
5827 return (0);
5828}
5829}
5830#line 278 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5831static struct dvb_tuner_ops const tda18218_tuner_ops =
5832#line 278
5833 {{{(char )'N', (char )'X', (char )'P', (char )' ', (char )'T', (char )'D', (char )'A',
5834 (char )'1', (char )'8', (char )'2', (char )'1', (char )'8', (char )'\000'},
5835 174000000U, 864000000U, 1000U, 0U, 0U, 0U}, & tda18218_release, & tda18218_init,
5836 & tda18218_sleep, & tda18218_set_params, (int (*)(struct dvb_frontend * , struct analog_parameters * ))0,
5837 (int (*)(struct dvb_frontend * , u8 * , int ))0, (int (*)(struct dvb_frontend * ,
5838 void * ))0, (int (*)(struct dvb_frontend * ,
5839 u32 * ))0,
5840 (int (*)(struct dvb_frontend * , u32 * ))0, & tda18218_get_if_frequency, (int (*)(struct dvb_frontend * ,
5841 u32 * ))0,
5842 (int (*)(struct dvb_frontend * , u16 * ))0, (int (*)(struct dvb_frontend * , u32 ))0,
5843 (int (*)(struct dvb_frontend * , u32 ))0, (int (*)(struct dvb_frontend * , enum tuner_param ,
5844 struct tuner_state * ))0,
5845 (int (*)(struct dvb_frontend * , enum tuner_param , struct tuner_state * ))0};
5846#line 296 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5847struct dvb_frontend *tda18218_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
5848 struct tda18218_config *cfg )
5849{ struct tda18218_priv *priv ;
5850 u8 val ;
5851 int ret ;
5852 u8 def_regs[59U] ;
5853 void *tmp ;
5854 size_t __len ;
5855 void *__ret ;
5856 size_t __len___0 ;
5857 void *__ret___0 ;
5858 unsigned long __cil_tmp13 ;
5859 unsigned long __cil_tmp14 ;
5860 unsigned long __cil_tmp15 ;
5861 unsigned long __cil_tmp16 ;
5862 unsigned long __cil_tmp17 ;
5863 unsigned long __cil_tmp18 ;
5864 unsigned long __cil_tmp19 ;
5865 unsigned long __cil_tmp20 ;
5866 unsigned long __cil_tmp21 ;
5867 unsigned long __cil_tmp22 ;
5868 unsigned long __cil_tmp23 ;
5869 unsigned long __cil_tmp24 ;
5870 unsigned long __cil_tmp25 ;
5871 unsigned long __cil_tmp26 ;
5872 unsigned long __cil_tmp27 ;
5873 unsigned long __cil_tmp28 ;
5874 unsigned long __cil_tmp29 ;
5875 unsigned long __cil_tmp30 ;
5876 unsigned long __cil_tmp31 ;
5877 unsigned long __cil_tmp32 ;
5878 unsigned long __cil_tmp33 ;
5879 unsigned long __cil_tmp34 ;
5880 unsigned long __cil_tmp35 ;
5881 unsigned long __cil_tmp36 ;
5882 unsigned long __cil_tmp37 ;
5883 unsigned long __cil_tmp38 ;
5884 unsigned long __cil_tmp39 ;
5885 unsigned long __cil_tmp40 ;
5886 unsigned long __cil_tmp41 ;
5887 unsigned long __cil_tmp42 ;
5888 unsigned long __cil_tmp43 ;
5889 unsigned long __cil_tmp44 ;
5890 unsigned long __cil_tmp45 ;
5891 unsigned long __cil_tmp46 ;
5892 unsigned long __cil_tmp47 ;
5893 unsigned long __cil_tmp48 ;
5894 unsigned long __cil_tmp49 ;
5895 unsigned long __cil_tmp50 ;
5896 unsigned long __cil_tmp51 ;
5897 unsigned long __cil_tmp52 ;
5898 unsigned long __cil_tmp53 ;
5899 unsigned long __cil_tmp54 ;
5900 unsigned long __cil_tmp55 ;
5901 unsigned long __cil_tmp56 ;
5902 unsigned long __cil_tmp57 ;
5903 unsigned long __cil_tmp58 ;
5904 unsigned long __cil_tmp59 ;
5905 unsigned long __cil_tmp60 ;
5906 unsigned long __cil_tmp61 ;
5907 unsigned long __cil_tmp62 ;
5908 unsigned long __cil_tmp63 ;
5909 unsigned long __cil_tmp64 ;
5910 unsigned long __cil_tmp65 ;
5911 unsigned long __cil_tmp66 ;
5912 unsigned long __cil_tmp67 ;
5913 unsigned long __cil_tmp68 ;
5914 unsigned long __cil_tmp69 ;
5915 unsigned long __cil_tmp70 ;
5916 unsigned long __cil_tmp71 ;
5917 unsigned long __cil_tmp72 ;
5918 unsigned long __cil_tmp73 ;
5919 unsigned long __cil_tmp74 ;
5920 unsigned long __cil_tmp75 ;
5921 unsigned long __cil_tmp76 ;
5922 unsigned long __cil_tmp77 ;
5923 unsigned long __cil_tmp78 ;
5924 unsigned long __cil_tmp79 ;
5925 unsigned long __cil_tmp80 ;
5926 unsigned long __cil_tmp81 ;
5927 unsigned long __cil_tmp82 ;
5928 unsigned long __cil_tmp83 ;
5929 unsigned long __cil_tmp84 ;
5930 unsigned long __cil_tmp85 ;
5931 unsigned long __cil_tmp86 ;
5932 unsigned long __cil_tmp87 ;
5933 unsigned long __cil_tmp88 ;
5934 unsigned long __cil_tmp89 ;
5935 unsigned long __cil_tmp90 ;
5936 unsigned long __cil_tmp91 ;
5937 unsigned long __cil_tmp92 ;
5938 unsigned long __cil_tmp93 ;
5939 unsigned long __cil_tmp94 ;
5940 unsigned long __cil_tmp95 ;
5941 unsigned long __cil_tmp96 ;
5942 unsigned long __cil_tmp97 ;
5943 unsigned long __cil_tmp98 ;
5944 unsigned long __cil_tmp99 ;
5945 unsigned long __cil_tmp100 ;
5946 unsigned long __cil_tmp101 ;
5947 unsigned long __cil_tmp102 ;
5948 unsigned long __cil_tmp103 ;
5949 unsigned long __cil_tmp104 ;
5950 unsigned long __cil_tmp105 ;
5951 unsigned long __cil_tmp106 ;
5952 unsigned long __cil_tmp107 ;
5953 unsigned long __cil_tmp108 ;
5954 unsigned long __cil_tmp109 ;
5955 unsigned long __cil_tmp110 ;
5956 unsigned long __cil_tmp111 ;
5957 unsigned long __cil_tmp112 ;
5958 unsigned long __cil_tmp113 ;
5959 unsigned long __cil_tmp114 ;
5960 unsigned long __cil_tmp115 ;
5961 unsigned long __cil_tmp116 ;
5962 unsigned long __cil_tmp117 ;
5963 unsigned long __cil_tmp118 ;
5964 unsigned long __cil_tmp119 ;
5965 unsigned long __cil_tmp120 ;
5966 unsigned long __cil_tmp121 ;
5967 unsigned long __cil_tmp122 ;
5968 unsigned long __cil_tmp123 ;
5969 unsigned long __cil_tmp124 ;
5970 unsigned long __cil_tmp125 ;
5971 unsigned long __cil_tmp126 ;
5972 unsigned long __cil_tmp127 ;
5973 unsigned long __cil_tmp128 ;
5974 unsigned long __cil_tmp129 ;
5975 unsigned long __cil_tmp130 ;
5976 struct tda18218_priv *__cil_tmp131 ;
5977 unsigned long __cil_tmp132 ;
5978 unsigned long __cil_tmp133 ;
5979 unsigned long __cil_tmp134 ;
5980 unsigned long __cil_tmp135 ;
5981 unsigned long __cil_tmp136 ;
5982 unsigned long __cil_tmp137 ;
5983 int (*__cil_tmp138)(struct dvb_frontend * , int ) ;
5984 unsigned long __cil_tmp139 ;
5985 unsigned long __cil_tmp140 ;
5986 unsigned long __cil_tmp141 ;
5987 unsigned long __cil_tmp142 ;
5988 int (*__cil_tmp143)(struct dvb_frontend * , int ) ;
5989 unsigned long __cil_tmp144 ;
5990 unsigned long __cil_tmp145 ;
5991 unsigned long __cil_tmp146 ;
5992 unsigned long __cil_tmp147 ;
5993 int (*__cil_tmp148)(struct dvb_frontend * , int ) ;
5994 u8 __cil_tmp149 ;
5995 int *__cil_tmp150 ;
5996 int __cil_tmp151 ;
5997 u8 *__cil_tmp152 ;
5998 u8 __cil_tmp153 ;
5999 int __cil_tmp154 ;
6000 void const *__cil_tmp155 ;
6001 u8 *__cil_tmp156 ;
6002 u8 __cil_tmp157 ;
6003 int __cil_tmp158 ;
6004 unsigned long __cil_tmp159 ;
6005 unsigned long __cil_tmp160 ;
6006 u8 __cil_tmp161 ;
6007 int __cil_tmp162 ;
6008 void const *__cil_tmp163 ;
6009 unsigned long __cil_tmp164 ;
6010 unsigned long __cil_tmp165 ;
6011 unsigned long __cil_tmp166 ;
6012 struct dvb_tuner_ops *__cil_tmp167 ;
6013 void *__cil_tmp168 ;
6014 void const *__cil_tmp169 ;
6015 unsigned long __cil_tmp170 ;
6016 unsigned long __cil_tmp171 ;
6017 unsigned long __cil_tmp172 ;
6018 struct dvb_tuner_ops *__cil_tmp173 ;
6019 void *__cil_tmp174 ;
6020 void const *__cil_tmp175 ;
6021 unsigned long __cil_tmp176 ;
6022 unsigned long __cil_tmp177 ;
6023 u8 (*__cil_tmp178)[59U] ;
6024 void *__cil_tmp179 ;
6025 void const *__cil_tmp180 ;
6026 unsigned long __cil_tmp181 ;
6027 unsigned long __cil_tmp182 ;
6028 u8 (*__cil_tmp183)[59U] ;
6029 void *__cil_tmp184 ;
6030 void const *__cil_tmp185 ;
6031 struct tda18218_config *__cil_tmp186 ;
6032 unsigned char *__cil_tmp187 ;
6033 unsigned char *__cil_tmp188 ;
6034 unsigned char __cil_tmp189 ;
6035 unsigned int __cil_tmp190 ;
6036 unsigned long __cil_tmp191 ;
6037 unsigned long __cil_tmp192 ;
6038 unsigned long __cil_tmp193 ;
6039 unsigned long __cil_tmp194 ;
6040 unsigned long __cil_tmp195 ;
6041 unsigned long __cil_tmp196 ;
6042 unsigned long __cil_tmp197 ;
6043 unsigned long __cil_tmp198 ;
6044 u8 __cil_tmp199 ;
6045 unsigned long __cil_tmp200 ;
6046 unsigned long __cil_tmp201 ;
6047 unsigned long __cil_tmp202 ;
6048 unsigned long __cil_tmp203 ;
6049 u8 __cil_tmp204 ;
6050 unsigned int __cil_tmp205 ;
6051 unsigned int __cil_tmp206 ;
6052 int __cil_tmp207 ;
6053 u8 __cil_tmp208 ;
6054 int *__cil_tmp209 ;
6055 int __cil_tmp210 ;
6056 int (*__cil_tmp211)(struct dvb_frontend * , int ) ;
6057 unsigned long __cil_tmp212 ;
6058 unsigned long __cil_tmp213 ;
6059 unsigned long __cil_tmp214 ;
6060 unsigned long __cil_tmp215 ;
6061 int (*__cil_tmp216)(struct dvb_frontend * , int ) ;
6062 unsigned long __cil_tmp217 ;
6063 unsigned long __cil_tmp218 ;
6064 unsigned long __cil_tmp219 ;
6065 unsigned long __cil_tmp220 ;
6066 int (*__cil_tmp221)(struct dvb_frontend * , int ) ;
6067
6068 {
6069 {
6070#line 299
6071 priv = (struct tda18218_priv *)0;
6072#line 303
6073 __cil_tmp13 = 0 * 1UL;
6074#line 303
6075 __cil_tmp14 = (unsigned long )(def_regs) + __cil_tmp13;
6076#line 303
6077 *((u8 *)__cil_tmp14) = (u8 )192U;
6078#line 303
6079 __cil_tmp15 = 1 * 1UL;
6080#line 303
6081 __cil_tmp16 = (unsigned long )(def_regs) + __cil_tmp15;
6082#line 303
6083 *((u8 *)__cil_tmp16) = (u8 )136U;
6084#line 303
6085 __cil_tmp17 = 2 * 1UL;
6086#line 303
6087 __cil_tmp18 = (unsigned long )(def_regs) + __cil_tmp17;
6088#line 303
6089 *((u8 *)__cil_tmp18) = (u8 )0U;
6090#line 303
6091 __cil_tmp19 = 3 * 1UL;
6092#line 303
6093 __cil_tmp20 = (unsigned long )(def_regs) + __cil_tmp19;
6094#line 303
6095 *((u8 *)__cil_tmp20) = (u8 )142U;
6096#line 303
6097 __cil_tmp21 = 4 * 1UL;
6098#line 303
6099 __cil_tmp22 = (unsigned long )(def_regs) + __cil_tmp21;
6100#line 303
6101 *((u8 *)__cil_tmp22) = (u8 )3U;
6102#line 303
6103 __cil_tmp23 = 5 * 1UL;
6104#line 303
6105 __cil_tmp24 = (unsigned long )(def_regs) + __cil_tmp23;
6106#line 303
6107 *((u8 *)__cil_tmp24) = (u8 )0U;
6108#line 303
6109 __cil_tmp25 = 6 * 1UL;
6110#line 303
6111 __cil_tmp26 = (unsigned long )(def_regs) + __cil_tmp25;
6112#line 303
6113 *((u8 *)__cil_tmp26) = (u8 )0U;
6114#line 303
6115 __cil_tmp27 = 7 * 1UL;
6116#line 303
6117 __cil_tmp28 = (unsigned long )(def_regs) + __cil_tmp27;
6118#line 303
6119 *((u8 *)__cil_tmp28) = (u8 )208U;
6120#line 303
6121 __cil_tmp29 = 8 * 1UL;
6122#line 303
6123 __cil_tmp30 = (unsigned long )(def_regs) + __cil_tmp29;
6124#line 303
6125 *((u8 *)__cil_tmp30) = (u8 )0U;
6126#line 303
6127 __cil_tmp31 = 9 * 1UL;
6128#line 303
6129 __cil_tmp32 = (unsigned long )(def_regs) + __cil_tmp31;
6130#line 303
6131 *((u8 *)__cil_tmp32) = (u8 )64U;
6132#line 303
6133 __cil_tmp33 = 10 * 1UL;
6134#line 303
6135 __cil_tmp34 = (unsigned long )(def_regs) + __cil_tmp33;
6136#line 303
6137 *((u8 *)__cil_tmp34) = (u8 )0U;
6138#line 303
6139 __cil_tmp35 = 11 * 1UL;
6140#line 303
6141 __cil_tmp36 = (unsigned long )(def_regs) + __cil_tmp35;
6142#line 303
6143 *((u8 *)__cil_tmp36) = (u8 )0U;
6144#line 303
6145 __cil_tmp37 = 12 * 1UL;
6146#line 303
6147 __cil_tmp38 = (unsigned long )(def_regs) + __cil_tmp37;
6148#line 303
6149 *((u8 *)__cil_tmp38) = (u8 )7U;
6150#line 303
6151 __cil_tmp39 = 13 * 1UL;
6152#line 303
6153 __cil_tmp40 = (unsigned long )(def_regs) + __cil_tmp39;
6154#line 303
6155 *((u8 *)__cil_tmp40) = (u8 )255U;
6156#line 303
6157 __cil_tmp41 = 14 * 1UL;
6158#line 303
6159 __cil_tmp42 = (unsigned long )(def_regs) + __cil_tmp41;
6160#line 303
6161 *((u8 *)__cil_tmp42) = (u8 )132U;
6162#line 303
6163 __cil_tmp43 = 15 * 1UL;
6164#line 303
6165 __cil_tmp44 = (unsigned long )(def_regs) + __cil_tmp43;
6166#line 303
6167 *((u8 *)__cil_tmp44) = (u8 )9U;
6168#line 303
6169 __cil_tmp45 = 16 * 1UL;
6170#line 303
6171 __cil_tmp46 = (unsigned long )(def_regs) + __cil_tmp45;
6172#line 303
6173 *((u8 *)__cil_tmp46) = (u8 )0U;
6174#line 303
6175 __cil_tmp47 = 17 * 1UL;
6176#line 303
6177 __cil_tmp48 = (unsigned long )(def_regs) + __cil_tmp47;
6178#line 303
6179 *((u8 *)__cil_tmp48) = (u8 )19U;
6180#line 303
6181 __cil_tmp49 = 18 * 1UL;
6182#line 303
6183 __cil_tmp50 = (unsigned long )(def_regs) + __cil_tmp49;
6184#line 303
6185 *((u8 *)__cil_tmp50) = (u8 )0U;
6186#line 303
6187 __cil_tmp51 = 19 * 1UL;
6188#line 303
6189 __cil_tmp52 = (unsigned long )(def_regs) + __cil_tmp51;
6190#line 303
6191 *((u8 *)__cil_tmp52) = (u8 )0U;
6192#line 303
6193 __cil_tmp53 = 20 * 1UL;
6194#line 303
6195 __cil_tmp54 = (unsigned long )(def_regs) + __cil_tmp53;
6196#line 303
6197 *((u8 *)__cil_tmp54) = (u8 )1U;
6198#line 303
6199 __cil_tmp55 = 21 * 1UL;
6200#line 303
6201 __cil_tmp56 = (unsigned long )(def_regs) + __cil_tmp55;
6202#line 303
6203 *((u8 *)__cil_tmp56) = (u8 )132U;
6204#line 303
6205 __cil_tmp57 = 22 * 1UL;
6206#line 303
6207 __cil_tmp58 = (unsigned long )(def_regs) + __cil_tmp57;
6208#line 303
6209 *((u8 *)__cil_tmp58) = (u8 )9U;
6210#line 303
6211 __cil_tmp59 = 23 * 1UL;
6212#line 303
6213 __cil_tmp60 = (unsigned long )(def_regs) + __cil_tmp59;
6214#line 303
6215 *((u8 *)__cil_tmp60) = (u8 )240U;
6216#line 303
6217 __cil_tmp61 = 24 * 1UL;
6218#line 303
6219 __cil_tmp62 = (unsigned long )(def_regs) + __cil_tmp61;
6220#line 303
6221 *((u8 *)__cil_tmp62) = (u8 )25U;
6222#line 303
6223 __cil_tmp63 = 25 * 1UL;
6224#line 303
6225 __cil_tmp64 = (unsigned long )(def_regs) + __cil_tmp63;
6226#line 303
6227 *((u8 *)__cil_tmp64) = (u8 )10U;
6228#line 303
6229 __cil_tmp65 = 26 * 1UL;
6230#line 303
6231 __cil_tmp66 = (unsigned long )(def_regs) + __cil_tmp65;
6232#line 303
6233 *((u8 *)__cil_tmp66) = (u8 )142U;
6234#line 303
6235 __cil_tmp67 = 27 * 1UL;
6236#line 303
6237 __cil_tmp68 = (unsigned long )(def_regs) + __cil_tmp67;
6238#line 303
6239 *((u8 *)__cil_tmp68) = (u8 )105U;
6240#line 303
6241 __cil_tmp69 = 28 * 1UL;
6242#line 303
6243 __cil_tmp70 = (unsigned long )(def_regs) + __cil_tmp69;
6244#line 303
6245 *((u8 *)__cil_tmp70) = (u8 )152U;
6246#line 303
6247 __cil_tmp71 = 29 * 1UL;
6248#line 303
6249 __cil_tmp72 = (unsigned long )(def_regs) + __cil_tmp71;
6250#line 303
6251 *((u8 *)__cil_tmp72) = (u8 )1U;
6252#line 303
6253 __cil_tmp73 = 30 * 1UL;
6254#line 303
6255 __cil_tmp74 = (unsigned long )(def_regs) + __cil_tmp73;
6256#line 303
6257 *((u8 *)__cil_tmp74) = (u8 )0U;
6258#line 303
6259 __cil_tmp75 = 31 * 1UL;
6260#line 303
6261 __cil_tmp76 = (unsigned long )(def_regs) + __cil_tmp75;
6262#line 303
6263 *((u8 *)__cil_tmp76) = (u8 )88U;
6264#line 303
6265 __cil_tmp77 = 32 * 1UL;
6266#line 303
6267 __cil_tmp78 = (unsigned long )(def_regs) + __cil_tmp77;
6268#line 303
6269 *((u8 *)__cil_tmp78) = (u8 )16U;
6270#line 303
6271 __cil_tmp79 = 33 * 1UL;
6272#line 303
6273 __cil_tmp80 = (unsigned long )(def_regs) + __cil_tmp79;
6274#line 303
6275 *((u8 *)__cil_tmp80) = (u8 )64U;
6276#line 303
6277 __cil_tmp81 = 34 * 1UL;
6278#line 303
6279 __cil_tmp82 = (unsigned long )(def_regs) + __cil_tmp81;
6280#line 303
6281 *((u8 *)__cil_tmp82) = (u8 )140U;
6282#line 303
6283 __cil_tmp83 = 35 * 1UL;
6284#line 303
6285 __cil_tmp84 = (unsigned long )(def_regs) + __cil_tmp83;
6286#line 303
6287 *((u8 *)__cil_tmp84) = (u8 )0U;
6288#line 303
6289 __cil_tmp85 = 36 * 1UL;
6290#line 303
6291 __cil_tmp86 = (unsigned long )(def_regs) + __cil_tmp85;
6292#line 303
6293 *((u8 *)__cil_tmp86) = (u8 )12U;
6294#line 303
6295 __cil_tmp87 = 37 * 1UL;
6296#line 303
6297 __cil_tmp88 = (unsigned long )(def_regs) + __cil_tmp87;
6298#line 303
6299 *((u8 *)__cil_tmp88) = (u8 )72U;
6300#line 303
6301 __cil_tmp89 = 38 * 1UL;
6302#line 303
6303 __cil_tmp90 = (unsigned long )(def_regs) + __cil_tmp89;
6304#line 303
6305 *((u8 *)__cil_tmp90) = (u8 )133U;
6306#line 303
6307 __cil_tmp91 = 39 * 1UL;
6308#line 303
6309 __cil_tmp92 = (unsigned long )(def_regs) + __cil_tmp91;
6310#line 303
6311 *((u8 *)__cil_tmp92) = (u8 )201U;
6312#line 303
6313 __cil_tmp93 = 40 * 1UL;
6314#line 303
6315 __cil_tmp94 = (unsigned long )(def_regs) + __cil_tmp93;
6316#line 303
6317 *((u8 *)__cil_tmp94) = (u8 )167U;
6318#line 303
6319 __cil_tmp95 = 41 * 1UL;
6320#line 303
6321 __cil_tmp96 = (unsigned long )(def_regs) + __cil_tmp95;
6322#line 303
6323 *((u8 *)__cil_tmp96) = (u8 )0U;
6324#line 303
6325 __cil_tmp97 = 42 * 1UL;
6326#line 303
6327 __cil_tmp98 = (unsigned long )(def_regs) + __cil_tmp97;
6328#line 303
6329 *((u8 *)__cil_tmp98) = (u8 )0U;
6330#line 303
6331 __cil_tmp99 = 43 * 1UL;
6332#line 303
6333 __cil_tmp100 = (unsigned long )(def_regs) + __cil_tmp99;
6334#line 303
6335 *((u8 *)__cil_tmp100) = (u8 )0U;
6336#line 303
6337 __cil_tmp101 = 44 * 1UL;
6338#line 303
6339 __cil_tmp102 = (unsigned long )(def_regs) + __cil_tmp101;
6340#line 303
6341 *((u8 *)__cil_tmp102) = (u8 )48U;
6342#line 303
6343 __cil_tmp103 = 45 * 1UL;
6344#line 303
6345 __cil_tmp104 = (unsigned long )(def_regs) + __cil_tmp103;
6346#line 303
6347 *((u8 *)__cil_tmp104) = (u8 )129U;
6348#line 303
6349 __cil_tmp105 = 46 * 1UL;
6350#line 303
6351 __cil_tmp106 = (unsigned long )(def_regs) + __cil_tmp105;
6352#line 303
6353 *((u8 *)__cil_tmp106) = (u8 )128U;
6354#line 303
6355 __cil_tmp107 = 47 * 1UL;
6356#line 303
6357 __cil_tmp108 = (unsigned long )(def_regs) + __cil_tmp107;
6358#line 303
6359 *((u8 *)__cil_tmp108) = (u8 )0U;
6360#line 303
6361 __cil_tmp109 = 48 * 1UL;
6362#line 303
6363 __cil_tmp110 = (unsigned long )(def_regs) + __cil_tmp109;
6364#line 303
6365 *((u8 *)__cil_tmp110) = (u8 )57U;
6366#line 303
6367 __cil_tmp111 = 49 * 1UL;
6368#line 303
6369 __cil_tmp112 = (unsigned long )(def_regs) + __cil_tmp111;
6370#line 303
6371 *((u8 *)__cil_tmp112) = (u8 )0U;
6372#line 303
6373 __cil_tmp113 = 50 * 1UL;
6374#line 303
6375 __cil_tmp114 = (unsigned long )(def_regs) + __cil_tmp113;
6376#line 303
6377 *((u8 *)__cil_tmp114) = (u8 )138U;
6378#line 303
6379 __cil_tmp115 = 51 * 1UL;
6380#line 303
6381 __cil_tmp116 = (unsigned long )(def_regs) + __cil_tmp115;
6382#line 303
6383 *((u8 *)__cil_tmp116) = (u8 )0U;
6384#line 303
6385 __cil_tmp117 = 52 * 1UL;
6386#line 303
6387 __cil_tmp118 = (unsigned long )(def_regs) + __cil_tmp117;
6388#line 303
6389 *((u8 *)__cil_tmp118) = (u8 )0U;
6390#line 303
6391 __cil_tmp119 = 53 * 1UL;
6392#line 303
6393 __cil_tmp120 = (unsigned long )(def_regs) + __cil_tmp119;
6394#line 303
6395 *((u8 *)__cil_tmp120) = (u8 )0U;
6396#line 303
6397 __cil_tmp121 = 54 * 1UL;
6398#line 303
6399 __cil_tmp122 = (unsigned long )(def_regs) + __cil_tmp121;
6400#line 303
6401 *((u8 *)__cil_tmp122) = (u8 )0U;
6402#line 303
6403 __cil_tmp123 = 55 * 1UL;
6404#line 303
6405 __cil_tmp124 = (unsigned long )(def_regs) + __cil_tmp123;
6406#line 303
6407 *((u8 *)__cil_tmp124) = (u8 )0U;
6408#line 303
6409 __cil_tmp125 = 56 * 1UL;
6410#line 303
6411 __cil_tmp126 = (unsigned long )(def_regs) + __cil_tmp125;
6412#line 303
6413 *((u8 *)__cil_tmp126) = (u8 )0U;
6414#line 303
6415 __cil_tmp127 = 57 * 1UL;
6416#line 303
6417 __cil_tmp128 = (unsigned long )(def_regs) + __cil_tmp127;
6418#line 303
6419 *((u8 *)__cil_tmp128) = (u8 )246U;
6420#line 303
6421 __cil_tmp129 = 58 * 1UL;
6422#line 303
6423 __cil_tmp130 = (unsigned long )(def_regs) + __cil_tmp129;
6424#line 303
6425 *((u8 *)__cil_tmp130) = (u8 )246U;
6426#line 312
6427 tmp = kzalloc(80UL, 208U);
6428#line 312
6429 priv = (struct tda18218_priv *)tmp;
6430 }
6431 {
6432#line 313
6433 __cil_tmp131 = (struct tda18218_priv *)0;
6434#line 313
6435 __cil_tmp132 = (unsigned long )__cil_tmp131;
6436#line 313
6437 __cil_tmp133 = (unsigned long )priv;
6438#line 313
6439 if (__cil_tmp133 == __cil_tmp132) {
6440#line 314
6441 return ((struct dvb_frontend *)0);
6442 } else {
6443
6444 }
6445 }
6446#line 316
6447 *((struct tda18218_config **)priv) = cfg;
6448#line 317
6449 __cil_tmp134 = (unsigned long )priv;
6450#line 317
6451 __cil_tmp135 = __cil_tmp134 + 8;
6452#line 317
6453 *((struct i2c_adapter **)__cil_tmp135) = i2c;
6454#line 318
6455 __cil_tmp136 = (unsigned long )fe;
6456#line 318
6457 __cil_tmp137 = __cil_tmp136 + 768;
6458#line 318
6459 *((void **)__cil_tmp137) = (void *)priv;
6460 {
6461#line 320
6462 __cil_tmp138 = (int (*)(struct dvb_frontend * , int ))0;
6463#line 320
6464 __cil_tmp139 = (unsigned long )__cil_tmp138;
6465#line 320
6466 __cil_tmp140 = 0 + 360;
6467#line 320
6468 __cil_tmp141 = (unsigned long )fe;
6469#line 320
6470 __cil_tmp142 = __cil_tmp141 + __cil_tmp140;
6471#line 320
6472 __cil_tmp143 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp142);
6473#line 320
6474 __cil_tmp144 = (unsigned long )__cil_tmp143;
6475#line 320
6476 if (__cil_tmp144 != __cil_tmp139) {
6477 {
6478#line 321
6479 __cil_tmp145 = 0 + 360;
6480#line 321
6481 __cil_tmp146 = (unsigned long )fe;
6482#line 321
6483 __cil_tmp147 = __cil_tmp146 + __cil_tmp145;
6484#line 321
6485 __cil_tmp148 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp147);
6486#line 321
6487 (*__cil_tmp148)(fe, 1);
6488 }
6489 } else {
6490
6491 }
6492 }
6493 {
6494#line 324
6495 __cil_tmp149 = (u8 )0;
6496#line 324
6497 ret = tda18218_rd_reg(priv, __cil_tmp149, & val);
6498 }
6499 {
6500#line 325
6501 __cil_tmp150 = & debug;
6502#line 325
6503 __cil_tmp151 = *__cil_tmp150;
6504#line 325
6505 if (__cil_tmp151 != 0) {
6506 {
6507#line 325
6508 __cil_tmp152 = & val;
6509#line 325
6510 __cil_tmp153 = *__cil_tmp152;
6511#line 325
6512 __cil_tmp154 = (int )__cil_tmp153;
6513#line 325
6514 printk("<7>tda18218: %s: ret:%d chip ID:%02x\n", "tda18218_attach", ret, __cil_tmp154);
6515 }
6516 } else {
6517
6518 }
6519 }
6520#line 326
6521 if (ret != 0) {
6522 {
6523#line 327
6524 __cil_tmp155 = (void const *)priv;
6525#line 327
6526 kfree(__cil_tmp155);
6527 }
6528#line 328
6529 return ((struct dvb_frontend *)0);
6530 } else {
6531 {
6532#line 326
6533 __cil_tmp156 = & val;
6534#line 326
6535 __cil_tmp157 = *__cil_tmp156;
6536#line 326
6537 __cil_tmp158 = (int )__cil_tmp157;
6538#line 326
6539 __cil_tmp159 = 0 * 1UL;
6540#line 326
6541 __cil_tmp160 = (unsigned long )(def_regs) + __cil_tmp159;
6542#line 326
6543 __cil_tmp161 = *((u8 *)__cil_tmp160);
6544#line 326
6545 __cil_tmp162 = (int )__cil_tmp161;
6546#line 326
6547 if (__cil_tmp162 != __cil_tmp158) {
6548 {
6549#line 327
6550 __cil_tmp163 = (void const *)priv;
6551#line 327
6552 kfree(__cil_tmp163);
6553 }
6554#line 328
6555 return ((struct dvb_frontend *)0);
6556 } else {
6557
6558 }
6559 }
6560 }
6561 {
6562#line 331
6563 printk("<6>tda18218: NXP TDA18218HN successfully identified.\n");
6564#line 333
6565 __len = 280UL;
6566 }
6567#line 333
6568 if (__len > 63UL) {
6569 {
6570#line 333
6571 __cil_tmp164 = 0 + 384;
6572#line 333
6573 __cil_tmp165 = (unsigned long )fe;
6574#line 333
6575 __cil_tmp166 = __cil_tmp165 + __cil_tmp164;
6576#line 333
6577 __cil_tmp167 = (struct dvb_tuner_ops *)__cil_tmp166;
6578#line 333
6579 __cil_tmp168 = (void *)__cil_tmp167;
6580#line 333
6581 __cil_tmp169 = (void const *)(& tda18218_tuner_ops);
6582#line 333
6583 __ret = __memcpy(__cil_tmp168, __cil_tmp169, __len);
6584 }
6585 } else {
6586 {
6587#line 333
6588 __cil_tmp170 = 0 + 384;
6589#line 333
6590 __cil_tmp171 = (unsigned long )fe;
6591#line 333
6592 __cil_tmp172 = __cil_tmp171 + __cil_tmp170;
6593#line 333
6594 __cil_tmp173 = (struct dvb_tuner_ops *)__cil_tmp172;
6595#line 333
6596 __cil_tmp174 = (void *)__cil_tmp173;
6597#line 333
6598 __cil_tmp175 = (void const *)(& tda18218_tuner_ops);
6599#line 333
6600 __ret = __builtin_memcpy(__cil_tmp174, __cil_tmp175, __len);
6601 }
6602 }
6603#line 335
6604 __len___0 = 59UL;
6605#line 335
6606 if (__len___0 > 63UL) {
6607 {
6608#line 335
6609 __cil_tmp176 = (unsigned long )priv;
6610#line 335
6611 __cil_tmp177 = __cil_tmp176 + 20;
6612#line 335
6613 __cil_tmp178 = (u8 (*)[59U])__cil_tmp177;
6614#line 335
6615 __cil_tmp179 = (void *)__cil_tmp178;
6616#line 335
6617 __cil_tmp180 = (void const *)(& def_regs);
6618#line 335
6619 __ret___0 = __memcpy(__cil_tmp179, __cil_tmp180, __len___0);
6620 }
6621 } else {
6622 {
6623#line 335
6624 __cil_tmp181 = (unsigned long )priv;
6625#line 335
6626 __cil_tmp182 = __cil_tmp181 + 20;
6627#line 335
6628 __cil_tmp183 = (u8 (*)[59U])__cil_tmp182;
6629#line 335
6630 __cil_tmp184 = (void *)__cil_tmp183;
6631#line 335
6632 __cil_tmp185 = (void const *)(& def_regs);
6633#line 335
6634 __ret___0 = __builtin_memcpy(__cil_tmp184, __cil_tmp185, __len___0);
6635 }
6636 }
6637 {
6638#line 338
6639 __cil_tmp186 = *((struct tda18218_config **)priv);
6640#line 338
6641 __cil_tmp187 = (unsigned char *)__cil_tmp186;
6642#line 338
6643 __cil_tmp188 = __cil_tmp187 + 2UL;
6644#line 338
6645 __cil_tmp189 = *__cil_tmp188;
6646#line 338
6647 __cil_tmp190 = (unsigned int )__cil_tmp189;
6648#line 338
6649 if (__cil_tmp190 != 0U) {
6650#line 339
6651 __cil_tmp191 = 23 * 1UL;
6652#line 339
6653 __cil_tmp192 = 20 + __cil_tmp191;
6654#line 339
6655 __cil_tmp193 = (unsigned long )priv;
6656#line 339
6657 __cil_tmp194 = __cil_tmp193 + __cil_tmp192;
6658#line 339
6659 *((u8 *)__cil_tmp194) = (u8 )176U;
6660#line 340
6661 __cil_tmp195 = 24 * 1UL;
6662#line 340
6663 __cil_tmp196 = 20 + __cil_tmp195;
6664#line 340
6665 __cil_tmp197 = (unsigned long )priv;
6666#line 340
6667 __cil_tmp198 = __cil_tmp197 + __cil_tmp196;
6668#line 340
6669 *((u8 *)__cil_tmp198) = (u8 )89U;
6670 } else {
6671
6672 }
6673 }
6674 {
6675#line 344
6676 __cil_tmp199 = (u8 )23;
6677#line 344
6678 __cil_tmp200 = 23 * 1UL;
6679#line 344
6680 __cil_tmp201 = 20 + __cil_tmp200;
6681#line 344
6682 __cil_tmp202 = (unsigned long )priv;
6683#line 344
6684 __cil_tmp203 = __cil_tmp202 + __cil_tmp201;
6685#line 344
6686 __cil_tmp204 = *((u8 *)__cil_tmp203);
6687#line 344
6688 __cil_tmp205 = (unsigned int )__cil_tmp204;
6689#line 344
6690 __cil_tmp206 = __cil_tmp205 | 1U;
6691#line 344
6692 __cil_tmp207 = (int )__cil_tmp206;
6693#line 344
6694 __cil_tmp208 = (u8 )__cil_tmp207;
6695#line 344
6696 ret = tda18218_wr_reg(priv, __cil_tmp199, __cil_tmp208);
6697 }
6698#line 345
6699 if (ret != 0) {
6700 {
6701#line 346
6702 __cil_tmp209 = & debug;
6703#line 346
6704 __cil_tmp210 = *__cil_tmp209;
6705#line 346
6706 if (__cil_tmp210 != 0) {
6707 {
6708#line 346
6709 printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_attach", ret);
6710 }
6711 } else {
6712
6713 }
6714 }
6715 } else {
6716
6717 }
6718 {
6719#line 348
6720 __cil_tmp211 = (int (*)(struct dvb_frontend * , int ))0;
6721#line 348
6722 __cil_tmp212 = (unsigned long )__cil_tmp211;
6723#line 348
6724 __cil_tmp213 = 0 + 360;
6725#line 348
6726 __cil_tmp214 = (unsigned long )fe;
6727#line 348
6728 __cil_tmp215 = __cil_tmp214 + __cil_tmp213;
6729#line 348
6730 __cil_tmp216 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp215);
6731#line 348
6732 __cil_tmp217 = (unsigned long )__cil_tmp216;
6733#line 348
6734 if (__cil_tmp217 != __cil_tmp212) {
6735 {
6736#line 349
6737 __cil_tmp218 = 0 + 360;
6738#line 349
6739 __cil_tmp219 = (unsigned long )fe;
6740#line 349
6741 __cil_tmp220 = __cil_tmp219 + __cil_tmp218;
6742#line 349
6743 __cil_tmp221 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp220);
6744#line 349
6745 (*__cil_tmp221)(fe, 0);
6746 }
6747 } else {
6748
6749 }
6750 }
6751#line 351
6752 return (fe);
6753}
6754}
6755#line 375
6756extern void ldv_check_final_state(void) ;
6757#line 381
6758extern void ldv_initialize(void) ;
6759#line 384
6760extern int __VERIFIER_nondet_int(void) ;
6761#line 387 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
6762int LDV_IN_INTERRUPT ;
6763#line 390 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
6764void main(void)
6765{ struct dvb_frontend *var_group1 ;
6766 u32 *var_tda18218_get_if_frequency_5_p1 ;
6767 int ldv_s_tda18218_tuner_ops_dvb_tuner_ops ;
6768 int tmp ;
6769 int tmp___0 ;
6770
6771 {
6772 {
6773#line 428
6774 ldv_s_tda18218_tuner_ops_dvb_tuner_ops = 0;
6775#line 418
6776 LDV_IN_INTERRUPT = 1;
6777#line 427
6778 ldv_initialize();
6779 }
6780#line 432
6781 goto ldv_22892;
6782 ldv_22891:
6783 {
6784#line 436
6785 tmp = __VERIFIER_nondet_int();
6786 }
6787#line 438
6788 if (tmp == 0) {
6789#line 438
6790 goto case_0;
6791 } else
6792#line 454
6793 if (tmp == 1) {
6794#line 454
6795 goto case_1;
6796 } else
6797#line 470
6798 if (tmp == 2) {
6799#line 470
6800 goto case_2;
6801 } else
6802#line 486
6803 if (tmp == 3) {
6804#line 486
6805 goto case_3;
6806 } else
6807#line 502
6808 if (tmp == 4) {
6809#line 502
6810 goto case_4;
6811 } else {
6812 {
6813#line 518
6814 goto switch_default;
6815#line 436
6816 if (0) {
6817 case_0: ;
6818#line 441
6819 if (ldv_s_tda18218_tuner_ops_dvb_tuner_ops == 0) {
6820 {
6821#line 446
6822 tda18218_release(var_group1);
6823#line 447
6824 ldv_s_tda18218_tuner_ops_dvb_tuner_ops = 0;
6825 }
6826 } else {
6827
6828 }
6829#line 453
6830 goto ldv_22885;
6831 case_1:
6832 {
6833#line 462
6834 tda18218_init(var_group1);
6835 }
6836#line 469
6837 goto ldv_22885;
6838 case_2:
6839 {
6840#line 478
6841 tda18218_sleep(var_group1);
6842 }
6843#line 485
6844 goto ldv_22885;
6845 case_3:
6846 {
6847#line 494
6848 tda18218_set_params(var_group1);
6849 }
6850#line 501
6851 goto ldv_22885;
6852 case_4:
6853 {
6854#line 510
6855 tda18218_get_if_frequency(var_group1, var_tda18218_get_if_frequency_5_p1);
6856 }
6857#line 517
6858 goto ldv_22885;
6859 switch_default: ;
6860#line 518
6861 goto ldv_22885;
6862 } else {
6863 switch_break: ;
6864 }
6865 }
6866 }
6867 ldv_22885: ;
6868 ldv_22892:
6869 {
6870#line 432
6871 tmp___0 = __VERIFIER_nondet_int();
6872 }
6873#line 432
6874 if (tmp___0 != 0) {
6875#line 434
6876 goto ldv_22891;
6877 } else
6878#line 432
6879 if (ldv_s_tda18218_tuner_ops_dvb_tuner_ops != 0) {
6880#line 434
6881 goto ldv_22891;
6882 } else {
6883#line 436
6884 goto ldv_22893;
6885 }
6886 ldv_22893: ;
6887
6888 {
6889#line 527
6890 ldv_check_final_state();
6891 }
6892#line 530
6893 return;
6894}
6895}
6896#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
6897void ldv_blast_assert(void)
6898{
6899
6900 {
6901 ERROR: ;
6902#line 6
6903 goto ERROR;
6904}
6905}
6906#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
6907extern int __VERIFIER_nondet_int(void) ;
6908#line 551 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
6909int ldv_spin = 0;
6910#line 555 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
6911void ldv_check_alloc_flags(gfp_t flags )
6912{
6913
6914 {
6915#line 558
6916 if (ldv_spin != 0) {
6917#line 558
6918 if (flags != 32U) {
6919 {
6920#line 558
6921 ldv_blast_assert();
6922 }
6923 } else {
6924
6925 }
6926 } else {
6927
6928 }
6929#line 561
6930 return;
6931}
6932}
6933#line 561
6934extern struct page *ldv_some_page(void) ;
6935#line 564 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
6936struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
6937{ struct page *tmp ;
6938
6939 {
6940#line 567
6941 if (ldv_spin != 0) {
6942#line 567
6943 if (flags != 32U) {
6944 {
6945#line 567
6946 ldv_blast_assert();
6947 }
6948 } else {
6949
6950 }
6951 } else {
6952
6953 }
6954 {
6955#line 569
6956 tmp = ldv_some_page();
6957 }
6958#line 569
6959 return (tmp);
6960}
6961}
6962#line 573 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
6963void ldv_check_alloc_nonatomic(void)
6964{
6965
6966 {
6967#line 576
6968 if (ldv_spin != 0) {
6969 {
6970#line 576
6971 ldv_blast_assert();
6972 }
6973 } else {
6974
6975 }
6976#line 579
6977 return;
6978}
6979}
6980#line 580 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
6981void ldv_spin_lock(void)
6982{
6983
6984 {
6985#line 583
6986 ldv_spin = 1;
6987#line 584
6988 return;
6989}
6990}
6991#line 587 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
6992void ldv_spin_unlock(void)
6993{
6994
6995 {
6996#line 590
6997 ldv_spin = 0;
6998#line 591
6999 return;
7000}
7001}
7002#line 594 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
7003int ldv_spin_trylock(void)
7004{ int is_lock ;
7005
7006 {
7007 {
7008#line 599
7009 is_lock = __VERIFIER_nondet_int();
7010 }
7011#line 601
7012 if (is_lock != 0) {
7013#line 604
7014 return (0);
7015 } else {
7016#line 609
7017 ldv_spin = 1;
7018#line 611
7019 return (1);
7020 }
7021}
7022}
7023#line 778 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
7024void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
7025{
7026
7027 {
7028 {
7029#line 784
7030 ldv_check_alloc_flags(ldv_func_arg2);
7031#line 786
7032 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
7033 }
7034#line 787
7035 return ((void *)0);
7036}
7037}
7038#line 789 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
7039__inline static void *kzalloc(size_t size , gfp_t flags )
7040{ void *tmp ;
7041
7042 {
7043 {
7044#line 795
7045 ldv_check_alloc_flags(flags);
7046#line 796
7047 tmp = __VERIFIER_nondet_pointer();
7048 }
7049#line 796
7050 return (tmp);
7051}
7052}