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 tda18212_config {
3811 u8 i2c_address ;
3812 u16 if_dvbt_6 ;
3813 u16 if_dvbt_7 ;
3814 u16 if_dvbt_8 ;
3815 u16 if_dvbt2_5 ;
3816 u16 if_dvbt2_6 ;
3817 u16 if_dvbt2_7 ;
3818 u16 if_dvbt2_8 ;
3819 u16 if_dvbc ;
3820};
3821#line 42 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18212.h"
3822struct tda18212_priv {
3823 struct tda18212_config *cfg ;
3824 struct i2c_adapter *i2c ;
3825 u32 if_frequency ;
3826};
3827#line 1 "<compiler builtins>"
3828
3829#line 1
3830
3831#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
3832void ldv_spin_lock(void) ;
3833#line 3
3834void ldv_spin_unlock(void) ;
3835#line 4
3836int ldv_spin_trylock(void) ;
3837#line 101 "include/linux/printk.h"
3838extern int printk(char const * , ...) ;
3839#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3840extern void *__memcpy(void * , void const * , size_t ) ;
3841#line 161 "include/linux/slab.h"
3842extern void kfree(void const * ) ;
3843#line 220 "include/linux/slub_def.h"
3844extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
3845#line 223
3846void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3847#line 353 "include/linux/slab.h"
3848__inline static void *kzalloc(size_t size , gfp_t flags ) ;
3849#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
3850extern void *__VERIFIER_nondet_pointer(void) ;
3851#line 11
3852void ldv_check_alloc_flags(gfp_t flags ) ;
3853#line 12
3854void ldv_check_alloc_nonatomic(void) ;
3855#line 14
3856struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3857#line 69 "include/linux/i2c.h"
3858extern int i2c_transfer(struct i2c_adapter * , struct i2c_msg * , int ) ;
3859#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18212.h"
3860struct dvb_frontend *tda18212_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
3861 struct tda18212_config *cfg ) ;
3862#line 53 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
3863static int debug ;
3864#line 58 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
3865static int tda18212_wr_regs(struct tda18212_priv *priv , u8 reg , u8 *val , int len )
3866{ int ret ;
3867 u8 *buf ;
3868 unsigned long __lengthofbuf ;
3869 void *tmp ;
3870 struct i2c_msg msg[1U] ;
3871 size_t __len ;
3872 void *__ret ;
3873 int __cil_tmp12 ;
3874 long __cil_tmp13 ;
3875 unsigned long __cil_tmp14 ;
3876 u8 **__cil_tmp15 ;
3877 unsigned long __cil_tmp16 ;
3878 unsigned long __cil_tmp17 ;
3879 struct tda18212_config *__cil_tmp18 ;
3880 u8 __cil_tmp19 ;
3881 unsigned long __cil_tmp20 ;
3882 unsigned long __cil_tmp21 ;
3883 unsigned long __cil_tmp22 ;
3884 unsigned long __cil_tmp23 ;
3885 unsigned long __cil_tmp24 ;
3886 unsigned long __cil_tmp25 ;
3887 int __cil_tmp26 ;
3888 unsigned long __cil_tmp27 ;
3889 unsigned long __cil_tmp28 ;
3890 unsigned long __cil_tmp29 ;
3891 u8 **__cil_tmp30 ;
3892 u8 *__cil_tmp31 ;
3893 u8 *__cil_tmp32 ;
3894 void *__cil_tmp33 ;
3895 void *__cil_tmp34 ;
3896 void const *__cil_tmp35 ;
3897 unsigned long __cil_tmp36 ;
3898 unsigned long __cil_tmp37 ;
3899 struct i2c_adapter *__cil_tmp38 ;
3900 struct i2c_msg *__cil_tmp39 ;
3901 int __cil_tmp40 ;
3902
3903 {
3904 {
3905#line 62
3906 __cil_tmp12 = len + 1;
3907#line 62
3908 __cil_tmp13 = (long )__cil_tmp12;
3909#line 62
3910 __lengthofbuf = (unsigned long )__cil_tmp13;
3911#line 62
3912 __cil_tmp14 = 1UL * __lengthofbuf;
3913#line 62
3914 tmp = __builtin_alloca(__cil_tmp14);
3915#line 62
3916 __cil_tmp15 = & buf;
3917#line 62
3918 *__cil_tmp15 = (u8 *)tmp;
3919#line 63
3920 __cil_tmp16 = 0 * 16UL;
3921#line 63
3922 __cil_tmp17 = (unsigned long )(msg) + __cil_tmp16;
3923#line 63
3924 __cil_tmp18 = *((struct tda18212_config **)priv);
3925#line 63
3926 __cil_tmp19 = *((u8 *)__cil_tmp18);
3927#line 63
3928 *((__u16 *)__cil_tmp17) = (unsigned short )__cil_tmp19;
3929#line 63
3930 __cil_tmp20 = 0 * 16UL;
3931#line 63
3932 __cil_tmp21 = __cil_tmp20 + 2;
3933#line 63
3934 __cil_tmp22 = (unsigned long )(msg) + __cil_tmp21;
3935#line 63
3936 *((__u16 *)__cil_tmp22) = (__u16 )0U;
3937#line 63
3938 __cil_tmp23 = 0 * 16UL;
3939#line 63
3940 __cil_tmp24 = __cil_tmp23 + 4;
3941#line 63
3942 __cil_tmp25 = (unsigned long )(msg) + __cil_tmp24;
3943#line 63
3944 __cil_tmp26 = len + 1;
3945#line 63
3946 *((__u16 *)__cil_tmp25) = (unsigned short )__cil_tmp26;
3947#line 63
3948 __cil_tmp27 = 0 * 16UL;
3949#line 63
3950 __cil_tmp28 = __cil_tmp27 + 8;
3951#line 63
3952 __cil_tmp29 = (unsigned long )(msg) + __cil_tmp28;
3953#line 63
3954 *((__u8 **)__cil_tmp29) = (__u8 *)(& buf);
3955#line 72
3956 __cil_tmp30 = & buf;
3957#line 72
3958 __cil_tmp31 = *__cil_tmp30;
3959#line 72
3960 __cil_tmp32 = __cil_tmp31 + 0;
3961#line 72
3962 *__cil_tmp32 = reg;
3963#line 73
3964 __len = (size_t )len;
3965#line 73
3966 __cil_tmp33 = (void *)(& buf);
3967#line 73
3968 __cil_tmp34 = __cil_tmp33 + 1U;
3969#line 73
3970 __cil_tmp35 = (void const *)val;
3971#line 73
3972 __ret = __builtin_memcpy(__cil_tmp34, __cil_tmp35, __len);
3973#line 75
3974 __cil_tmp36 = (unsigned long )priv;
3975#line 75
3976 __cil_tmp37 = __cil_tmp36 + 8;
3977#line 75
3978 __cil_tmp38 = *((struct i2c_adapter **)__cil_tmp37);
3979#line 75
3980 __cil_tmp39 = (struct i2c_msg *)(& msg);
3981#line 75
3982 ret = i2c_transfer(__cil_tmp38, __cil_tmp39, 1);
3983 }
3984#line 76
3985 if (ret == 1) {
3986#line 77
3987 ret = 0;
3988 } else {
3989 {
3990#line 79
3991 __cil_tmp40 = (int )reg;
3992#line 79
3993 printk("<4>tda18212: i2c wr failed ret:%d reg:%02x len:%d\n", ret, __cil_tmp40,
3994 len);
3995#line 81
3996 ret = -121;
3997 }
3998 }
3999#line 83
4000 return (ret);
4001}
4002}
4003#line 87 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
4004static int tda18212_rd_regs(struct tda18212_priv *priv , u8 reg , u8 *val , int len )
4005{ int ret ;
4006 u8 *buf ;
4007 unsigned long __lengthofbuf ;
4008 void *tmp ;
4009 struct i2c_msg msg[2U] ;
4010 size_t __len ;
4011 void *__ret ;
4012 long __cil_tmp12 ;
4013 unsigned long __cil_tmp13 ;
4014 u8 **__cil_tmp14 ;
4015 unsigned long __cil_tmp15 ;
4016 unsigned long __cil_tmp16 ;
4017 struct tda18212_config *__cil_tmp17 ;
4018 u8 __cil_tmp18 ;
4019 unsigned long __cil_tmp19 ;
4020 unsigned long __cil_tmp20 ;
4021 unsigned long __cil_tmp21 ;
4022 unsigned long __cil_tmp22 ;
4023 unsigned long __cil_tmp23 ;
4024 unsigned long __cil_tmp24 ;
4025 unsigned long __cil_tmp25 ;
4026 unsigned long __cil_tmp26 ;
4027 unsigned long __cil_tmp27 ;
4028 unsigned long __cil_tmp28 ;
4029 unsigned long __cil_tmp29 ;
4030 struct tda18212_config *__cil_tmp30 ;
4031 u8 __cil_tmp31 ;
4032 unsigned long __cil_tmp32 ;
4033 unsigned long __cil_tmp33 ;
4034 unsigned long __cil_tmp34 ;
4035 unsigned long __cil_tmp35 ;
4036 unsigned long __cil_tmp36 ;
4037 unsigned long __cil_tmp37 ;
4038 unsigned long __cil_tmp38 ;
4039 unsigned long __cil_tmp39 ;
4040 unsigned long __cil_tmp40 ;
4041 unsigned long __cil_tmp41 ;
4042 unsigned long __cil_tmp42 ;
4043 struct i2c_adapter *__cil_tmp43 ;
4044 struct i2c_msg *__cil_tmp44 ;
4045 void *__cil_tmp45 ;
4046 void const *__cil_tmp46 ;
4047 u8 *__cil_tmp47 ;
4048 u8 __cil_tmp48 ;
4049 int __cil_tmp49 ;
4050
4051 {
4052 {
4053#line 91
4054 __cil_tmp12 = (long )len;
4055#line 91
4056 __lengthofbuf = (unsigned long )__cil_tmp12;
4057#line 91
4058 __cil_tmp13 = 1UL * __lengthofbuf;
4059#line 91
4060 tmp = __builtin_alloca(__cil_tmp13);
4061#line 91
4062 __cil_tmp14 = & buf;
4063#line 91
4064 *__cil_tmp14 = (u8 *)tmp;
4065#line 92
4066 __cil_tmp15 = 0 * 16UL;
4067#line 92
4068 __cil_tmp16 = (unsigned long )(msg) + __cil_tmp15;
4069#line 92
4070 __cil_tmp17 = *((struct tda18212_config **)priv);
4071#line 92
4072 __cil_tmp18 = *((u8 *)__cil_tmp17);
4073#line 92
4074 *((__u16 *)__cil_tmp16) = (unsigned short )__cil_tmp18;
4075#line 92
4076 __cil_tmp19 = 0 * 16UL;
4077#line 92
4078 __cil_tmp20 = __cil_tmp19 + 2;
4079#line 92
4080 __cil_tmp21 = (unsigned long )(msg) + __cil_tmp20;
4081#line 92
4082 *((__u16 *)__cil_tmp21) = (__u16 )0U;
4083#line 92
4084 __cil_tmp22 = 0 * 16UL;
4085#line 92
4086 __cil_tmp23 = __cil_tmp22 + 4;
4087#line 92
4088 __cil_tmp24 = (unsigned long )(msg) + __cil_tmp23;
4089#line 92
4090 *((__u16 *)__cil_tmp24) = (__u16 )1U;
4091#line 92
4092 __cil_tmp25 = 0 * 16UL;
4093#line 92
4094 __cil_tmp26 = __cil_tmp25 + 8;
4095#line 92
4096 __cil_tmp27 = (unsigned long )(msg) + __cil_tmp26;
4097#line 92
4098 *((__u8 **)__cil_tmp27) = & reg;
4099#line 92
4100 __cil_tmp28 = 1 * 16UL;
4101#line 92
4102 __cil_tmp29 = (unsigned long )(msg) + __cil_tmp28;
4103#line 92
4104 __cil_tmp30 = *((struct tda18212_config **)priv);
4105#line 92
4106 __cil_tmp31 = *((u8 *)__cil_tmp30);
4107#line 92
4108 *((__u16 *)__cil_tmp29) = (unsigned short )__cil_tmp31;
4109#line 92
4110 __cil_tmp32 = 1 * 16UL;
4111#line 92
4112 __cil_tmp33 = __cil_tmp32 + 2;
4113#line 92
4114 __cil_tmp34 = (unsigned long )(msg) + __cil_tmp33;
4115#line 92
4116 *((__u16 *)__cil_tmp34) = (__u16 )1U;
4117#line 92
4118 __cil_tmp35 = 1 * 16UL;
4119#line 92
4120 __cil_tmp36 = __cil_tmp35 + 4;
4121#line 92
4122 __cil_tmp37 = (unsigned long )(msg) + __cil_tmp36;
4123#line 92
4124 *((__u16 *)__cil_tmp37) = (unsigned short )len;
4125#line 92
4126 __cil_tmp38 = 1 * 16UL;
4127#line 92
4128 __cil_tmp39 = __cil_tmp38 + 8;
4129#line 92
4130 __cil_tmp40 = (unsigned long )(msg) + __cil_tmp39;
4131#line 92
4132 *((__u8 **)__cil_tmp40) = (__u8 *)(& buf);
4133#line 106
4134 __cil_tmp41 = (unsigned long )priv;
4135#line 106
4136 __cil_tmp42 = __cil_tmp41 + 8;
4137#line 106
4138 __cil_tmp43 = *((struct i2c_adapter **)__cil_tmp42);
4139#line 106
4140 __cil_tmp44 = (struct i2c_msg *)(& msg);
4141#line 106
4142 ret = i2c_transfer(__cil_tmp43, __cil_tmp44, 2);
4143 }
4144#line 107
4145 if (ret == 2) {
4146 {
4147#line 108
4148 __len = (size_t )len;
4149#line 108
4150 __cil_tmp45 = (void *)val;
4151#line 108
4152 __cil_tmp46 = (void const *)(& buf);
4153#line 108
4154 __ret = __builtin_memcpy(__cil_tmp45, __cil_tmp46, __len);
4155#line 109
4156 ret = 0;
4157 }
4158 } else {
4159 {
4160#line 111
4161 __cil_tmp47 = & reg;
4162#line 111
4163 __cil_tmp48 = *__cil_tmp47;
4164#line 111
4165 __cil_tmp49 = (int )__cil_tmp48;
4166#line 111
4167 printk("<4>tda18212: i2c rd failed ret:%d reg:%02x len:%d\n", ret, __cil_tmp49,
4168 len);
4169#line 113
4170 ret = -121;
4171 }
4172 }
4173#line 116
4174 return (ret);
4175}
4176}
4177#line 120 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
4178static int tda18212_wr_reg(struct tda18212_priv *priv , u8 reg , u8 val )
4179{ int tmp ;
4180 int __cil_tmp5 ;
4181 u8 __cil_tmp6 ;
4182
4183 {
4184 {
4185#line 122
4186 __cil_tmp5 = (int )reg;
4187#line 122
4188 __cil_tmp6 = (u8 )__cil_tmp5;
4189#line 122
4190 tmp = tda18212_wr_regs(priv, __cil_tmp6, & val, 1);
4191 }
4192#line 122
4193 return (tmp);
4194}
4195}
4196#line 126 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
4197static int tda18212_rd_reg(struct tda18212_priv *priv , u8 reg , u8 *val )
4198{ int tmp ;
4199 int __cil_tmp5 ;
4200 u8 __cil_tmp6 ;
4201
4202 {
4203 {
4204#line 128
4205 __cil_tmp5 = (int )reg;
4206#line 128
4207 __cil_tmp6 = (u8 )__cil_tmp5;
4208#line 128
4209 tmp = tda18212_rd_regs(priv, __cil_tmp6, val, 1);
4210 }
4211#line 128
4212 return (tmp);
4213}
4214}
4215#line 148 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
4216static int tda18212_set_params(struct dvb_frontend *fe )
4217{ struct tda18212_priv *priv ;
4218 struct dtv_frontend_properties *c ;
4219 int ret ;
4220 int i ;
4221 u32 if_khz ;
4222 u8 buf[9U] ;
4223 u8 bw_params[8U][3U] ;
4224 int __divisor ;
4225 unsigned long __cil_tmp10 ;
4226 unsigned long __cil_tmp11 ;
4227 void *__cil_tmp12 ;
4228 unsigned long __cil_tmp13 ;
4229 unsigned long __cil_tmp14 ;
4230 unsigned long __cil_tmp15 ;
4231 unsigned long __cil_tmp16 ;
4232 unsigned long __cil_tmp17 ;
4233 unsigned long __cil_tmp18 ;
4234 unsigned long __cil_tmp19 ;
4235 unsigned long __cil_tmp20 ;
4236 unsigned long __cil_tmp21 ;
4237 unsigned long __cil_tmp22 ;
4238 unsigned long __cil_tmp23 ;
4239 unsigned long __cil_tmp24 ;
4240 unsigned long __cil_tmp25 ;
4241 unsigned long __cil_tmp26 ;
4242 unsigned long __cil_tmp27 ;
4243 unsigned long __cil_tmp28 ;
4244 unsigned long __cil_tmp29 ;
4245 unsigned long __cil_tmp30 ;
4246 unsigned long __cil_tmp31 ;
4247 unsigned long __cil_tmp32 ;
4248 unsigned long __cil_tmp33 ;
4249 unsigned long __cil_tmp34 ;
4250 unsigned long __cil_tmp35 ;
4251 unsigned long __cil_tmp36 ;
4252 unsigned long __cil_tmp37 ;
4253 unsigned long __cil_tmp38 ;
4254 unsigned long __cil_tmp39 ;
4255 unsigned long __cil_tmp40 ;
4256 unsigned long __cil_tmp41 ;
4257 unsigned long __cil_tmp42 ;
4258 unsigned long __cil_tmp43 ;
4259 unsigned long __cil_tmp44 ;
4260 unsigned long __cil_tmp45 ;
4261 unsigned long __cil_tmp46 ;
4262 unsigned long __cil_tmp47 ;
4263 unsigned long __cil_tmp48 ;
4264 unsigned long __cil_tmp49 ;
4265 unsigned long __cil_tmp50 ;
4266 unsigned long __cil_tmp51 ;
4267 unsigned long __cil_tmp52 ;
4268 unsigned long __cil_tmp53 ;
4269 unsigned long __cil_tmp54 ;
4270 unsigned long __cil_tmp55 ;
4271 unsigned long __cil_tmp56 ;
4272 unsigned long __cil_tmp57 ;
4273 unsigned long __cil_tmp58 ;
4274 unsigned long __cil_tmp59 ;
4275 unsigned long __cil_tmp60 ;
4276 unsigned long __cil_tmp61 ;
4277 unsigned long __cil_tmp62 ;
4278 unsigned long __cil_tmp63 ;
4279 unsigned long __cil_tmp64 ;
4280 unsigned long __cil_tmp65 ;
4281 unsigned long __cil_tmp66 ;
4282 unsigned long __cil_tmp67 ;
4283 unsigned long __cil_tmp68 ;
4284 unsigned long __cil_tmp69 ;
4285 unsigned long __cil_tmp70 ;
4286 unsigned long __cil_tmp71 ;
4287 unsigned long __cil_tmp72 ;
4288 unsigned long __cil_tmp73 ;
4289 unsigned long __cil_tmp74 ;
4290 unsigned long __cil_tmp75 ;
4291 unsigned long __cil_tmp76 ;
4292 unsigned long __cil_tmp77 ;
4293 unsigned long __cil_tmp78 ;
4294 unsigned long __cil_tmp79 ;
4295 unsigned long __cil_tmp80 ;
4296 unsigned long __cil_tmp81 ;
4297 unsigned long __cil_tmp82 ;
4298 unsigned long __cil_tmp83 ;
4299 unsigned long __cil_tmp84 ;
4300 unsigned long __cil_tmp85 ;
4301 unsigned long __cil_tmp86 ;
4302 unsigned long __cil_tmp87 ;
4303 unsigned long __cil_tmp88 ;
4304 unsigned long __cil_tmp89 ;
4305 unsigned long __cil_tmp90 ;
4306 unsigned long __cil_tmp91 ;
4307 unsigned long __cil_tmp92 ;
4308 unsigned long __cil_tmp93 ;
4309 unsigned long __cil_tmp94 ;
4310 unsigned long __cil_tmp95 ;
4311 unsigned long __cil_tmp96 ;
4312 unsigned long __cil_tmp97 ;
4313 unsigned long __cil_tmp98 ;
4314 unsigned long __cil_tmp99 ;
4315 unsigned long __cil_tmp100 ;
4316 unsigned long __cil_tmp101 ;
4317 unsigned long __cil_tmp102 ;
4318 unsigned long __cil_tmp103 ;
4319 unsigned long __cil_tmp104 ;
4320 unsigned long __cil_tmp105 ;
4321 unsigned long __cil_tmp106 ;
4322 unsigned long __cil_tmp107 ;
4323 unsigned long __cil_tmp108 ;
4324 unsigned long __cil_tmp109 ;
4325 unsigned long __cil_tmp110 ;
4326 int *__cil_tmp111 ;
4327 int __cil_tmp112 ;
4328 unsigned long __cil_tmp113 ;
4329 unsigned long __cil_tmp114 ;
4330 fe_delivery_system_t __cil_tmp115 ;
4331 unsigned int __cil_tmp116 ;
4332 unsigned long __cil_tmp117 ;
4333 unsigned long __cil_tmp118 ;
4334 u32 __cil_tmp119 ;
4335 unsigned long __cil_tmp120 ;
4336 unsigned long __cil_tmp121 ;
4337 u32 __cil_tmp122 ;
4338 int (*__cil_tmp123)(struct dvb_frontend * , int ) ;
4339 unsigned long __cil_tmp124 ;
4340 unsigned long __cil_tmp125 ;
4341 unsigned long __cil_tmp126 ;
4342 unsigned long __cil_tmp127 ;
4343 int (*__cil_tmp128)(struct dvb_frontend * , int ) ;
4344 unsigned long __cil_tmp129 ;
4345 unsigned long __cil_tmp130 ;
4346 unsigned long __cil_tmp131 ;
4347 unsigned long __cil_tmp132 ;
4348 int (*__cil_tmp133)(struct dvb_frontend * , int ) ;
4349 unsigned long __cil_tmp134 ;
4350 unsigned long __cil_tmp135 ;
4351 fe_delivery_system_t __cil_tmp136 ;
4352 unsigned int __cil_tmp137 ;
4353 unsigned long __cil_tmp138 ;
4354 unsigned long __cil_tmp139 ;
4355 u32 __cil_tmp140 ;
4356 struct tda18212_config *__cil_tmp141 ;
4357 unsigned long __cil_tmp142 ;
4358 unsigned long __cil_tmp143 ;
4359 u16 __cil_tmp144 ;
4360 struct tda18212_config *__cil_tmp145 ;
4361 unsigned long __cil_tmp146 ;
4362 unsigned long __cil_tmp147 ;
4363 u16 __cil_tmp148 ;
4364 struct tda18212_config *__cil_tmp149 ;
4365 unsigned long __cil_tmp150 ;
4366 unsigned long __cil_tmp151 ;
4367 u16 __cil_tmp152 ;
4368 unsigned long __cil_tmp153 ;
4369 unsigned long __cil_tmp154 ;
4370 u32 __cil_tmp155 ;
4371 struct tda18212_config *__cil_tmp156 ;
4372 unsigned long __cil_tmp157 ;
4373 unsigned long __cil_tmp158 ;
4374 u16 __cil_tmp159 ;
4375 struct tda18212_config *__cil_tmp160 ;
4376 unsigned long __cil_tmp161 ;
4377 unsigned long __cil_tmp162 ;
4378 u16 __cil_tmp163 ;
4379 struct tda18212_config *__cil_tmp164 ;
4380 unsigned long __cil_tmp165 ;
4381 unsigned long __cil_tmp166 ;
4382 u16 __cil_tmp167 ;
4383 struct tda18212_config *__cil_tmp168 ;
4384 unsigned long __cil_tmp169 ;
4385 unsigned long __cil_tmp170 ;
4386 u16 __cil_tmp171 ;
4387 u8 __cil_tmp172 ;
4388 unsigned long __cil_tmp173 ;
4389 unsigned long __cil_tmp174 ;
4390 unsigned long __cil_tmp175 ;
4391 unsigned long __cil_tmp176 ;
4392 u8 __cil_tmp177 ;
4393 int __cil_tmp178 ;
4394 u8 __cil_tmp179 ;
4395 u8 __cil_tmp180 ;
4396 u8 __cil_tmp181 ;
4397 u8 __cil_tmp182 ;
4398 unsigned long __cil_tmp183 ;
4399 unsigned long __cil_tmp184 ;
4400 unsigned long __cil_tmp185 ;
4401 unsigned long __cil_tmp186 ;
4402 u8 __cil_tmp187 ;
4403 int __cil_tmp188 ;
4404 u8 __cil_tmp189 ;
4405 unsigned long __cil_tmp190 ;
4406 unsigned long __cil_tmp191 ;
4407 unsigned long __cil_tmp192 ;
4408 unsigned long __cil_tmp193 ;
4409 unsigned long __cil_tmp194 ;
4410 unsigned long __cil_tmp195 ;
4411 unsigned long __cil_tmp196 ;
4412 unsigned long __cil_tmp197 ;
4413 unsigned long __cil_tmp198 ;
4414 unsigned long __cil_tmp199 ;
4415 unsigned long __cil_tmp200 ;
4416 unsigned long __cil_tmp201 ;
4417 u32 __cil_tmp202 ;
4418 int __cil_tmp203 ;
4419 u32 __cil_tmp204 ;
4420 u32 __cil_tmp205 ;
4421 u32 __cil_tmp206 ;
4422 unsigned long __cil_tmp207 ;
4423 unsigned long __cil_tmp208 ;
4424 unsigned long __cil_tmp209 ;
4425 unsigned long __cil_tmp210 ;
4426 u32 __cil_tmp211 ;
4427 u32 __cil_tmp212 ;
4428 u32 __cil_tmp213 ;
4429 unsigned long __cil_tmp214 ;
4430 unsigned long __cil_tmp215 ;
4431 unsigned long __cil_tmp216 ;
4432 unsigned long __cil_tmp217 ;
4433 u32 __cil_tmp218 ;
4434 u32 __cil_tmp219 ;
4435 u32 __cil_tmp220 ;
4436 unsigned long __cil_tmp221 ;
4437 unsigned long __cil_tmp222 ;
4438 unsigned long __cil_tmp223 ;
4439 unsigned long __cil_tmp224 ;
4440 u32 __cil_tmp225 ;
4441 u32 __cil_tmp226 ;
4442 unsigned long __cil_tmp227 ;
4443 unsigned long __cil_tmp228 ;
4444 unsigned long __cil_tmp229 ;
4445 unsigned long __cil_tmp230 ;
4446 u8 __cil_tmp231 ;
4447 u8 *__cil_tmp232 ;
4448 unsigned long __cil_tmp233 ;
4449 unsigned long __cil_tmp234 ;
4450 unsigned long __cil_tmp235 ;
4451 unsigned long __cil_tmp236 ;
4452 u8 __cil_tmp237 ;
4453 int __cil_tmp238 ;
4454 int __cil_tmp239 ;
4455 int (*__cil_tmp240)(struct dvb_frontend * , int ) ;
4456 unsigned long __cil_tmp241 ;
4457 unsigned long __cil_tmp242 ;
4458 unsigned long __cil_tmp243 ;
4459 unsigned long __cil_tmp244 ;
4460 int (*__cil_tmp245)(struct dvb_frontend * , int ) ;
4461 unsigned long __cil_tmp246 ;
4462 unsigned long __cil_tmp247 ;
4463 unsigned long __cil_tmp248 ;
4464 unsigned long __cil_tmp249 ;
4465 int (*__cil_tmp250)(struct dvb_frontend * , int ) ;
4466 int *__cil_tmp251 ;
4467 int __cil_tmp252 ;
4468
4469 {
4470#line 150
4471 __cil_tmp10 = (unsigned long )fe;
4472#line 150
4473 __cil_tmp11 = __cil_tmp10 + 768;
4474#line 150
4475 __cil_tmp12 = *((void **)__cil_tmp11);
4476#line 150
4477 priv = (struct tda18212_priv *)__cil_tmp12;
4478#line 151
4479 __cil_tmp13 = (unsigned long )fe;
4480#line 151
4481 __cil_tmp14 = __cil_tmp13 + 800;
4482#line 151
4483 c = (struct dtv_frontend_properties *)__cil_tmp14;
4484#line 163
4485 __cil_tmp15 = 0 * 1UL;
4486#line 163
4487 __cil_tmp16 = 0 * 3UL;
4488#line 163
4489 __cil_tmp17 = __cil_tmp16 + __cil_tmp15;
4490#line 163
4491 __cil_tmp18 = (unsigned long )(bw_params) + __cil_tmp17;
4492#line 163
4493 *((u8 *)__cil_tmp18) = (u8 )179U;
4494#line 163
4495 __cil_tmp19 = 1 * 1UL;
4496#line 163
4497 __cil_tmp20 = 0 * 3UL;
4498#line 163
4499 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
4500#line 163
4501 __cil_tmp22 = (unsigned long )(bw_params) + __cil_tmp21;
4502#line 163
4503 *((u8 *)__cil_tmp22) = (u8 )32U;
4504#line 163
4505 __cil_tmp23 = 2 * 1UL;
4506#line 163
4507 __cil_tmp24 = 0 * 3UL;
4508#line 163
4509 __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
4510#line 163
4511 __cil_tmp26 = (unsigned long )(bw_params) + __cil_tmp25;
4512#line 163
4513 *((u8 *)__cil_tmp26) = (u8 )3U;
4514#line 163
4515 __cil_tmp27 = 0 * 1UL;
4516#line 163
4517 __cil_tmp28 = 1 * 3UL;
4518#line 163
4519 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
4520#line 163
4521 __cil_tmp30 = (unsigned long )(bw_params) + __cil_tmp29;
4522#line 163
4523 *((u8 *)__cil_tmp30) = (u8 )179U;
4524#line 163
4525 __cil_tmp31 = 1 * 1UL;
4526#line 163
4527 __cil_tmp32 = 1 * 3UL;
4528#line 163
4529 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
4530#line 163
4531 __cil_tmp34 = (unsigned long )(bw_params) + __cil_tmp33;
4532#line 163
4533 *((u8 *)__cil_tmp34) = (u8 )49U;
4534#line 163
4535 __cil_tmp35 = 2 * 1UL;
4536#line 163
4537 __cil_tmp36 = 1 * 3UL;
4538#line 163
4539 __cil_tmp37 = __cil_tmp36 + __cil_tmp35;
4540#line 163
4541 __cil_tmp38 = (unsigned long )(bw_params) + __cil_tmp37;
4542#line 163
4543 *((u8 *)__cil_tmp38) = (u8 )1U;
4544#line 163
4545 __cil_tmp39 = 0 * 1UL;
4546#line 163
4547 __cil_tmp40 = 2 * 3UL;
4548#line 163
4549 __cil_tmp41 = __cil_tmp40 + __cil_tmp39;
4550#line 163
4551 __cil_tmp42 = (unsigned long )(bw_params) + __cil_tmp41;
4552#line 163
4553 *((u8 *)__cil_tmp42) = (u8 )179U;
4554#line 163
4555 __cil_tmp43 = 1 * 1UL;
4556#line 163
4557 __cil_tmp44 = 2 * 3UL;
4558#line 163
4559 __cil_tmp45 = __cil_tmp44 + __cil_tmp43;
4560#line 163
4561 __cil_tmp46 = (unsigned long )(bw_params) + __cil_tmp45;
4562#line 163
4563 *((u8 *)__cil_tmp46) = (u8 )34U;
4564#line 163
4565 __cil_tmp47 = 2 * 1UL;
4566#line 163
4567 __cil_tmp48 = 2 * 3UL;
4568#line 163
4569 __cil_tmp49 = __cil_tmp48 + __cil_tmp47;
4570#line 163
4571 __cil_tmp50 = (unsigned long )(bw_params) + __cil_tmp49;
4572#line 163
4573 *((u8 *)__cil_tmp50) = (u8 )1U;
4574#line 163
4575 __cil_tmp51 = 0 * 1UL;
4576#line 163
4577 __cil_tmp52 = 3 * 3UL;
4578#line 163
4579 __cil_tmp53 = __cil_tmp52 + __cil_tmp51;
4580#line 163
4581 __cil_tmp54 = (unsigned long )(bw_params) + __cil_tmp53;
4582#line 163
4583 *((u8 *)__cil_tmp54) = (u8 )188U;
4584#line 163
4585 __cil_tmp55 = 1 * 1UL;
4586#line 163
4587 __cil_tmp56 = 3 * 3UL;
4588#line 163
4589 __cil_tmp57 = __cil_tmp56 + __cil_tmp55;
4590#line 163
4591 __cil_tmp58 = (unsigned long )(bw_params) + __cil_tmp57;
4592#line 163
4593 *((u8 *)__cil_tmp58) = (u8 )32U;
4594#line 163
4595 __cil_tmp59 = 2 * 1UL;
4596#line 163
4597 __cil_tmp60 = 3 * 3UL;
4598#line 163
4599 __cil_tmp61 = __cil_tmp60 + __cil_tmp59;
4600#line 163
4601 __cil_tmp62 = (unsigned long )(bw_params) + __cil_tmp61;
4602#line 163
4603 *((u8 *)__cil_tmp62) = (u8 )3U;
4604#line 163
4605 __cil_tmp63 = 0 * 1UL;
4606#line 163
4607 __cil_tmp64 = 4 * 3UL;
4608#line 163
4609 __cil_tmp65 = __cil_tmp64 + __cil_tmp63;
4610#line 163
4611 __cil_tmp66 = (unsigned long )(bw_params) + __cil_tmp65;
4612#line 163
4613 *((u8 *)__cil_tmp66) = (u8 )188U;
4614#line 163
4615 __cil_tmp67 = 1 * 1UL;
4616#line 163
4617 __cil_tmp68 = 4 * 3UL;
4618#line 163
4619 __cil_tmp69 = __cil_tmp68 + __cil_tmp67;
4620#line 163
4621 __cil_tmp70 = (unsigned long )(bw_params) + __cil_tmp69;
4622#line 163
4623 *((u8 *)__cil_tmp70) = (u8 )114U;
4624#line 163
4625 __cil_tmp71 = 2 * 1UL;
4626#line 163
4627 __cil_tmp72 = 4 * 3UL;
4628#line 163
4629 __cil_tmp73 = __cil_tmp72 + __cil_tmp71;
4630#line 163
4631 __cil_tmp74 = (unsigned long )(bw_params) + __cil_tmp73;
4632#line 163
4633 *((u8 *)__cil_tmp74) = (u8 )3U;
4634#line 163
4635 __cil_tmp75 = 0 * 1UL;
4636#line 163
4637 __cil_tmp76 = 5 * 3UL;
4638#line 163
4639 __cil_tmp77 = __cil_tmp76 + __cil_tmp75;
4640#line 163
4641 __cil_tmp78 = (unsigned long )(bw_params) + __cil_tmp77;
4642#line 163
4643 *((u8 *)__cil_tmp78) = (u8 )188U;
4644#line 163
4645 __cil_tmp79 = 1 * 1UL;
4646#line 163
4647 __cil_tmp80 = 5 * 3UL;
4648#line 163
4649 __cil_tmp81 = __cil_tmp80 + __cil_tmp79;
4650#line 163
4651 __cil_tmp82 = (unsigned long )(bw_params) + __cil_tmp81;
4652#line 163
4653 *((u8 *)__cil_tmp82) = (u8 )34U;
4654#line 163
4655 __cil_tmp83 = 2 * 1UL;
4656#line 163
4657 __cil_tmp84 = 5 * 3UL;
4658#line 163
4659 __cil_tmp85 = __cil_tmp84 + __cil_tmp83;
4660#line 163
4661 __cil_tmp86 = (unsigned long )(bw_params) + __cil_tmp85;
4662#line 163
4663 *((u8 *)__cil_tmp86) = (u8 )1U;
4664#line 163
4665 __cil_tmp87 = 0 * 1UL;
4666#line 163
4667 __cil_tmp88 = 6 * 3UL;
4668#line 163
4669 __cil_tmp89 = __cil_tmp88 + __cil_tmp87;
4670#line 163
4671 __cil_tmp90 = (unsigned long )(bw_params) + __cil_tmp89;
4672#line 163
4673 *((u8 *)__cil_tmp90) = (u8 )146U;
4674#line 163
4675 __cil_tmp91 = 1 * 1UL;
4676#line 163
4677 __cil_tmp92 = 6 * 3UL;
4678#line 163
4679 __cil_tmp93 = __cil_tmp92 + __cil_tmp91;
4680#line 163
4681 __cil_tmp94 = (unsigned long )(bw_params) + __cil_tmp93;
4682#line 163
4683 *((u8 *)__cil_tmp94) = (u8 )80U;
4684#line 163
4685 __cil_tmp95 = 2 * 1UL;
4686#line 163
4687 __cil_tmp96 = 6 * 3UL;
4688#line 163
4689 __cil_tmp97 = __cil_tmp96 + __cil_tmp95;
4690#line 163
4691 __cil_tmp98 = (unsigned long )(bw_params) + __cil_tmp97;
4692#line 163
4693 *((u8 *)__cil_tmp98) = (u8 )3U;
4694#line 163
4695 __cil_tmp99 = 0 * 1UL;
4696#line 163
4697 __cil_tmp100 = 7 * 3UL;
4698#line 163
4699 __cil_tmp101 = __cil_tmp100 + __cil_tmp99;
4700#line 163
4701 __cil_tmp102 = (unsigned long )(bw_params) + __cil_tmp101;
4702#line 163
4703 *((u8 *)__cil_tmp102) = (u8 )146U;
4704#line 163
4705 __cil_tmp103 = 1 * 1UL;
4706#line 163
4707 __cil_tmp104 = 7 * 3UL;
4708#line 163
4709 __cil_tmp105 = __cil_tmp104 + __cil_tmp103;
4710#line 163
4711 __cil_tmp106 = (unsigned long )(bw_params) + __cil_tmp105;
4712#line 163
4713 *((u8 *)__cil_tmp106) = (u8 )83U;
4714#line 163
4715 __cil_tmp107 = 2 * 1UL;
4716#line 163
4717 __cil_tmp108 = 7 * 3UL;
4718#line 163
4719 __cil_tmp109 = __cil_tmp108 + __cil_tmp107;
4720#line 163
4721 __cil_tmp110 = (unsigned long )(bw_params) + __cil_tmp109;
4722#line 163
4723 *((u8 *)__cil_tmp110) = (u8 )3U;
4724 {
4725#line 175
4726 __cil_tmp111 = & debug;
4727#line 175
4728 __cil_tmp112 = *__cil_tmp111;
4729#line 175
4730 if (__cil_tmp112 != 0) {
4731 {
4732#line 175
4733 __cil_tmp113 = (unsigned long )c;
4734#line 175
4735 __cil_tmp114 = __cil_tmp113 + 64;
4736#line 175
4737 __cil_tmp115 = *((fe_delivery_system_t *)__cil_tmp114);
4738#line 175
4739 __cil_tmp116 = (unsigned int )__cil_tmp115;
4740#line 175
4741 __cil_tmp117 = (unsigned long )c;
4742#line 175
4743 __cil_tmp118 = __cil_tmp117 + 4;
4744#line 175
4745 __cil_tmp119 = *((u32 *)__cil_tmp118);
4746#line 175
4747 __cil_tmp120 = (unsigned long )c;
4748#line 175
4749 __cil_tmp121 = __cil_tmp120 + 32;
4750#line 175
4751 __cil_tmp122 = *((u32 *)__cil_tmp121);
4752#line 175
4753 printk("<6>tda18212: %s: delsys=%d RF=%d BW=%d\n", "tda18212_set_params", __cil_tmp116,
4754 __cil_tmp119, __cil_tmp122);
4755 }
4756 } else {
4757
4758 }
4759 }
4760 {
4761#line 178
4762 __cil_tmp123 = (int (*)(struct dvb_frontend * , int ))0;
4763#line 178
4764 __cil_tmp124 = (unsigned long )__cil_tmp123;
4765#line 178
4766 __cil_tmp125 = 0 + 360;
4767#line 178
4768 __cil_tmp126 = (unsigned long )fe;
4769#line 178
4770 __cil_tmp127 = __cil_tmp126 + __cil_tmp125;
4771#line 178
4772 __cil_tmp128 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp127);
4773#line 178
4774 __cil_tmp129 = (unsigned long )__cil_tmp128;
4775#line 178
4776 if (__cil_tmp129 != __cil_tmp124) {
4777 {
4778#line 179
4779 __cil_tmp130 = 0 + 360;
4780#line 179
4781 __cil_tmp131 = (unsigned long )fe;
4782#line 179
4783 __cil_tmp132 = __cil_tmp131 + __cil_tmp130;
4784#line 179
4785 __cil_tmp133 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp132);
4786#line 179
4787 (*__cil_tmp133)(fe, 1);
4788 }
4789 } else {
4790
4791 }
4792 }
4793 {
4794#line 181
4795 __cil_tmp134 = (unsigned long )c;
4796#line 181
4797 __cil_tmp135 = __cil_tmp134 + 64;
4798#line 181
4799 __cil_tmp136 = *((fe_delivery_system_t *)__cil_tmp135);
4800#line 181
4801 __cil_tmp137 = (unsigned int )__cil_tmp136;
4802#line 182
4803 if ((int )__cil_tmp137 == 3) {
4804#line 182
4805 goto case_3;
4806 } else
4807#line 201
4808 if ((int )__cil_tmp137 == 16) {
4809#line 201
4810 goto case_16;
4811 } else
4812#line 220
4813 if ((int )__cil_tmp137 == 1) {
4814#line 220
4815 goto case_1;
4816 } else
4817#line 221
4818 if ((int )__cil_tmp137 == 18) {
4819#line 221
4820 goto case_18;
4821 } else {
4822 {
4823#line 225
4824 goto switch_default___1;
4825#line 181
4826 if (0) {
4827 case_3: ;
4828 {
4829#line 183
4830 __cil_tmp138 = (unsigned long )c;
4831#line 183
4832 __cil_tmp139 = __cil_tmp138 + 32;
4833#line 183
4834 __cil_tmp140 = *((u32 *)__cil_tmp139);
4835#line 184
4836 if ((int )__cil_tmp140 == 6000000) {
4837#line 184
4838 goto case_6000000;
4839 } else
4840#line 188
4841 if ((int )__cil_tmp140 == 7000000) {
4842#line 188
4843 goto case_7000000;
4844 } else
4845#line 192
4846 if ((int )__cil_tmp140 == 8000000) {
4847#line 192
4848 goto case_8000000;
4849 } else {
4850 {
4851#line 196
4852 goto switch_default;
4853#line 183
4854 if (0) {
4855 case_6000000:
4856#line 185
4857 __cil_tmp141 = *((struct tda18212_config **)priv);
4858#line 185
4859 __cil_tmp142 = (unsigned long )__cil_tmp141;
4860#line 185
4861 __cil_tmp143 = __cil_tmp142 + 2;
4862#line 185
4863 __cil_tmp144 = *((u16 *)__cil_tmp143);
4864#line 185
4865 if_khz = (u32 )__cil_tmp144;
4866#line 186
4867 i = 0;
4868#line 187
4869 goto ldv_22810;
4870 case_7000000:
4871#line 189
4872 __cil_tmp145 = *((struct tda18212_config **)priv);
4873#line 189
4874 __cil_tmp146 = (unsigned long )__cil_tmp145;
4875#line 189
4876 __cil_tmp147 = __cil_tmp146 + 4;
4877#line 189
4878 __cil_tmp148 = *((u16 *)__cil_tmp147);
4879#line 189
4880 if_khz = (u32 )__cil_tmp148;
4881#line 190
4882 i = 1;
4883#line 191
4884 goto ldv_22810;
4885 case_8000000:
4886#line 193
4887 __cil_tmp149 = *((struct tda18212_config **)priv);
4888#line 193
4889 __cil_tmp150 = (unsigned long )__cil_tmp149;
4890#line 193
4891 __cil_tmp151 = __cil_tmp150 + 6;
4892#line 193
4893 __cil_tmp152 = *((u16 *)__cil_tmp151);
4894#line 193
4895 if_khz = (u32 )__cil_tmp152;
4896#line 194
4897 i = 2;
4898#line 195
4899 goto ldv_22810;
4900 switch_default:
4901#line 197
4902 ret = -22;
4903#line 198
4904 goto error;
4905 } else {
4906 switch_break___0: ;
4907 }
4908 }
4909 }
4910 }
4911 ldv_22810: ;
4912#line 200
4913 goto ldv_22815;
4914 case_16: ;
4915 {
4916#line 202
4917 __cil_tmp153 = (unsigned long )c;
4918#line 202
4919 __cil_tmp154 = __cil_tmp153 + 32;
4920#line 202
4921 __cil_tmp155 = *((u32 *)__cil_tmp154);
4922#line 203
4923 if ((int )__cil_tmp155 == 6000000) {
4924#line 203
4925 goto case_6000000___0;
4926 } else
4927#line 207
4928 if ((int )__cil_tmp155 == 7000000) {
4929#line 207
4930 goto case_7000000___0;
4931 } else
4932#line 211
4933 if ((int )__cil_tmp155 == 8000000) {
4934#line 211
4935 goto case_8000000___0;
4936 } else {
4937 {
4938#line 215
4939 goto switch_default___0;
4940#line 202
4941 if (0) {
4942 case_6000000___0:
4943#line 204
4944 __cil_tmp156 = *((struct tda18212_config **)priv);
4945#line 204
4946 __cil_tmp157 = (unsigned long )__cil_tmp156;
4947#line 204
4948 __cil_tmp158 = __cil_tmp157 + 10;
4949#line 204
4950 __cil_tmp159 = *((u16 *)__cil_tmp158);
4951#line 204
4952 if_khz = (u32 )__cil_tmp159;
4953#line 205
4954 i = 3;
4955#line 206
4956 goto ldv_22818;
4957 case_7000000___0:
4958#line 208
4959 __cil_tmp160 = *((struct tda18212_config **)priv);
4960#line 208
4961 __cil_tmp161 = (unsigned long )__cil_tmp160;
4962#line 208
4963 __cil_tmp162 = __cil_tmp161 + 12;
4964#line 208
4965 __cil_tmp163 = *((u16 *)__cil_tmp162);
4966#line 208
4967 if_khz = (u32 )__cil_tmp163;
4968#line 209
4969 i = 4;
4970#line 210
4971 goto ldv_22818;
4972 case_8000000___0:
4973#line 212
4974 __cil_tmp164 = *((struct tda18212_config **)priv);
4975#line 212
4976 __cil_tmp165 = (unsigned long )__cil_tmp164;
4977#line 212
4978 __cil_tmp166 = __cil_tmp165 + 14;
4979#line 212
4980 __cil_tmp167 = *((u16 *)__cil_tmp166);
4981#line 212
4982 if_khz = (u32 )__cil_tmp167;
4983#line 213
4984 i = 5;
4985#line 214
4986 goto ldv_22818;
4987 switch_default___0:
4988#line 216
4989 ret = -22;
4990#line 217
4991 goto error;
4992 } else {
4993 switch_break___1: ;
4994 }
4995 }
4996 }
4997 }
4998 ldv_22818: ;
4999#line 219
5000 goto ldv_22815;
5001 case_1: ;
5002 case_18:
5003#line 222
5004 __cil_tmp168 = *((struct tda18212_config **)priv);
5005#line 222
5006 __cil_tmp169 = (unsigned long )__cil_tmp168;
5007#line 222
5008 __cil_tmp170 = __cil_tmp169 + 16;
5009#line 222
5010 __cil_tmp171 = *((u16 *)__cil_tmp170);
5011#line 222
5012 if_khz = (u32 )__cil_tmp171;
5013#line 223
5014 i = 7;
5015#line 224
5016 goto ldv_22815;
5017 switch_default___1:
5018#line 226
5019 ret = -22;
5020#line 227
5021 goto error;
5022 } else {
5023 switch_break: ;
5024 }
5025 }
5026 }
5027 }
5028 ldv_22815:
5029 {
5030#line 230
5031 __cil_tmp172 = (u8 )35;
5032#line 230
5033 __cil_tmp173 = 2 * 1UL;
5034#line 230
5035 __cil_tmp174 = i * 3UL;
5036#line 230
5037 __cil_tmp175 = __cil_tmp174 + __cil_tmp173;
5038#line 230
5039 __cil_tmp176 = (unsigned long )(bw_params) + __cil_tmp175;
5040#line 230
5041 __cil_tmp177 = *((u8 *)__cil_tmp176);
5042#line 230
5043 __cil_tmp178 = (int )__cil_tmp177;
5044#line 230
5045 __cil_tmp179 = (u8 )__cil_tmp178;
5046#line 230
5047 ret = tda18212_wr_reg(priv, __cil_tmp172, __cil_tmp179);
5048 }
5049#line 231
5050 if (ret != 0) {
5051#line 232
5052 goto error;
5053 } else {
5054
5055 }
5056 {
5057#line 234
5058 __cil_tmp180 = (u8 )6;
5059#line 234
5060 __cil_tmp181 = (u8 )0;
5061#line 234
5062 ret = tda18212_wr_reg(priv, __cil_tmp180, __cil_tmp181);
5063 }
5064#line 235
5065 if (ret != 0) {
5066#line 236
5067 goto error;
5068 } else {
5069
5070 }
5071 {
5072#line 238
5073 __cil_tmp182 = (u8 )15;
5074#line 238
5075 __cil_tmp183 = 0 * 1UL;
5076#line 238
5077 __cil_tmp184 = i * 3UL;
5078#line 238
5079 __cil_tmp185 = __cil_tmp184 + __cil_tmp183;
5080#line 238
5081 __cil_tmp186 = (unsigned long )(bw_params) + __cil_tmp185;
5082#line 238
5083 __cil_tmp187 = *((u8 *)__cil_tmp186);
5084#line 238
5085 __cil_tmp188 = (int )__cil_tmp187;
5086#line 238
5087 __cil_tmp189 = (u8 )__cil_tmp188;
5088#line 238
5089 ret = tda18212_wr_reg(priv, __cil_tmp182, __cil_tmp189);
5090 }
5091#line 239
5092 if (ret != 0) {
5093#line 240
5094 goto error;
5095 } else {
5096
5097 }
5098 {
5099#line 242
5100 __cil_tmp190 = 0 * 1UL;
5101#line 242
5102 __cil_tmp191 = (unsigned long )(buf) + __cil_tmp190;
5103#line 242
5104 *((u8 *)__cil_tmp191) = (u8 )2U;
5105#line 243
5106 __cil_tmp192 = 1 * 1UL;
5107#line 243
5108 __cil_tmp193 = (unsigned long )(buf) + __cil_tmp192;
5109#line 243
5110 __cil_tmp194 = 1 * 1UL;
5111#line 243
5112 __cil_tmp195 = i * 3UL;
5113#line 243
5114 __cil_tmp196 = __cil_tmp195 + __cil_tmp194;
5115#line 243
5116 __cil_tmp197 = (unsigned long )(bw_params) + __cil_tmp196;
5117#line 243
5118 *((u8 *)__cil_tmp193) = *((u8 *)__cil_tmp197);
5119#line 244
5120 __cil_tmp198 = 2 * 1UL;
5121#line 244
5122 __cil_tmp199 = (unsigned long )(buf) + __cil_tmp198;
5123#line 244
5124 *((u8 *)__cil_tmp199) = (u8 )3U;
5125#line 245
5126 __divisor = 50;
5127#line 245
5128 __cil_tmp200 = 3 * 1UL;
5129#line 245
5130 __cil_tmp201 = (unsigned long )(buf) + __cil_tmp200;
5131#line 245
5132 __cil_tmp202 = (u32 )__divisor;
5133#line 245
5134 __cil_tmp203 = __divisor / 2;
5135#line 245
5136 __cil_tmp204 = (u32 )__cil_tmp203;
5137#line 245
5138 __cil_tmp205 = __cil_tmp204 + if_khz;
5139#line 245
5140 __cil_tmp206 = __cil_tmp205 / __cil_tmp202;
5141#line 245
5142 *((u8 *)__cil_tmp201) = (u8 )__cil_tmp206;
5143#line 246
5144 __cil_tmp207 = 4 * 1UL;
5145#line 246
5146 __cil_tmp208 = (unsigned long )(buf) + __cil_tmp207;
5147#line 246
5148 __cil_tmp209 = (unsigned long )c;
5149#line 246
5150 __cil_tmp210 = __cil_tmp209 + 4;
5151#line 246
5152 __cil_tmp211 = *((u32 *)__cil_tmp210);
5153#line 246
5154 __cil_tmp212 = __cil_tmp211 / 1000U;
5155#line 246
5156 __cil_tmp213 = __cil_tmp212 >> 16;
5157#line 246
5158 *((u8 *)__cil_tmp208) = (u8 )__cil_tmp213;
5159#line 247
5160 __cil_tmp214 = 5 * 1UL;
5161#line 247
5162 __cil_tmp215 = (unsigned long )(buf) + __cil_tmp214;
5163#line 247
5164 __cil_tmp216 = (unsigned long )c;
5165#line 247
5166 __cil_tmp217 = __cil_tmp216 + 4;
5167#line 247
5168 __cil_tmp218 = *((u32 *)__cil_tmp217);
5169#line 247
5170 __cil_tmp219 = __cil_tmp218 / 1000U;
5171#line 247
5172 __cil_tmp220 = __cil_tmp219 >> 8;
5173#line 247
5174 *((u8 *)__cil_tmp215) = (u8 )__cil_tmp220;
5175#line 248
5176 __cil_tmp221 = 6 * 1UL;
5177#line 248
5178 __cil_tmp222 = (unsigned long )(buf) + __cil_tmp221;
5179#line 248
5180 __cil_tmp223 = (unsigned long )c;
5181#line 248
5182 __cil_tmp224 = __cil_tmp223 + 4;
5183#line 248
5184 __cil_tmp225 = *((u32 *)__cil_tmp224);
5185#line 248
5186 __cil_tmp226 = __cil_tmp225 / 1000U;
5187#line 248
5188 *((u8 *)__cil_tmp222) = (u8 )__cil_tmp226;
5189#line 249
5190 __cil_tmp227 = 7 * 1UL;
5191#line 249
5192 __cil_tmp228 = (unsigned long )(buf) + __cil_tmp227;
5193#line 249
5194 *((u8 *)__cil_tmp228) = (u8 )193U;
5195#line 250
5196 __cil_tmp229 = 8 * 1UL;
5197#line 250
5198 __cil_tmp230 = (unsigned long )(buf) + __cil_tmp229;
5199#line 250
5200 *((u8 *)__cil_tmp230) = (u8 )1U;
5201#line 251
5202 __cil_tmp231 = (u8 )18;
5203#line 251
5204 __cil_tmp232 = (u8 *)(& buf);
5205#line 251
5206 ret = tda18212_wr_regs(priv, __cil_tmp231, __cil_tmp232, 9);
5207 }
5208#line 252
5209 if (ret != 0) {
5210#line 253
5211 goto error;
5212 } else {
5213
5214 }
5215#line 256
5216 __cil_tmp233 = (unsigned long )priv;
5217#line 256
5218 __cil_tmp234 = __cil_tmp233 + 16;
5219#line 256
5220 __cil_tmp235 = 3 * 1UL;
5221#line 256
5222 __cil_tmp236 = (unsigned long )(buf) + __cil_tmp235;
5223#line 256
5224 __cil_tmp237 = *((u8 *)__cil_tmp236);
5225#line 256
5226 __cil_tmp238 = (int )__cil_tmp237;
5227#line 256
5228 __cil_tmp239 = __cil_tmp238 * 50000;
5229#line 256
5230 *((u32 *)__cil_tmp234) = (u32 )__cil_tmp239;
5231 exit: ;
5232 {
5233#line 259
5234 __cil_tmp240 = (int (*)(struct dvb_frontend * , int ))0;
5235#line 259
5236 __cil_tmp241 = (unsigned long )__cil_tmp240;
5237#line 259
5238 __cil_tmp242 = 0 + 360;
5239#line 259
5240 __cil_tmp243 = (unsigned long )fe;
5241#line 259
5242 __cil_tmp244 = __cil_tmp243 + __cil_tmp242;
5243#line 259
5244 __cil_tmp245 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp244);
5245#line 259
5246 __cil_tmp246 = (unsigned long )__cil_tmp245;
5247#line 259
5248 if (__cil_tmp246 != __cil_tmp241) {
5249 {
5250#line 260
5251 __cil_tmp247 = 0 + 360;
5252#line 260
5253 __cil_tmp248 = (unsigned long )fe;
5254#line 260
5255 __cil_tmp249 = __cil_tmp248 + __cil_tmp247;
5256#line 260
5257 __cil_tmp250 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp249);
5258#line 260
5259 (*__cil_tmp250)(fe, 0);
5260 }
5261 } else {
5262
5263 }
5264 }
5265#line 262
5266 return (ret);
5267 error: ;
5268 {
5269#line 265
5270 __cil_tmp251 = & debug;
5271#line 265
5272 __cil_tmp252 = *__cil_tmp251;
5273#line 265
5274 if (__cil_tmp252 != 0) {
5275 {
5276#line 265
5277 printk("<6>tda18212: %s: failed:%d\n", "tda18212_set_params", ret);
5278 }
5279 } else {
5280
5281 }
5282 }
5283#line 266
5284 goto exit;
5285}
5286}
5287#line 269 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5288static int tda18212_get_if_frequency(struct dvb_frontend *fe , u32 *frequency )
5289{ struct tda18212_priv *priv ;
5290 unsigned long __cil_tmp4 ;
5291 unsigned long __cil_tmp5 ;
5292 void *__cil_tmp6 ;
5293 unsigned long __cil_tmp7 ;
5294 unsigned long __cil_tmp8 ;
5295
5296 {
5297#line 271
5298 __cil_tmp4 = (unsigned long )fe;
5299#line 271
5300 __cil_tmp5 = __cil_tmp4 + 768;
5301#line 271
5302 __cil_tmp6 = *((void **)__cil_tmp5);
5303#line 271
5304 priv = (struct tda18212_priv *)__cil_tmp6;
5305#line 273
5306 __cil_tmp7 = (unsigned long )priv;
5307#line 273
5308 __cil_tmp8 = __cil_tmp7 + 16;
5309#line 273
5310 *frequency = *((u32 *)__cil_tmp8);
5311#line 275
5312 return (0);
5313}
5314}
5315#line 278 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5316static int tda18212_release(struct dvb_frontend *fe )
5317{ unsigned long __cil_tmp2 ;
5318 unsigned long __cil_tmp3 ;
5319 void *__cil_tmp4 ;
5320 void const *__cil_tmp5 ;
5321 unsigned long __cil_tmp6 ;
5322 unsigned long __cil_tmp7 ;
5323
5324 {
5325 {
5326#line 280
5327 __cil_tmp2 = (unsigned long )fe;
5328#line 280
5329 __cil_tmp3 = __cil_tmp2 + 768;
5330#line 280
5331 __cil_tmp4 = *((void **)__cil_tmp3);
5332#line 280
5333 __cil_tmp5 = (void const *)__cil_tmp4;
5334#line 280
5335 kfree(__cil_tmp5);
5336#line 281
5337 __cil_tmp6 = (unsigned long )fe;
5338#line 281
5339 __cil_tmp7 = __cil_tmp6 + 768;
5340#line 281
5341 *((void **)__cil_tmp7) = (void *)0;
5342 }
5343#line 282
5344 return (0);
5345}
5346}
5347#line 285 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5348static struct dvb_tuner_ops const tda18212_tuner_ops =
5349#line 285
5350 {{{(char )'N', (char )'X', (char )'P', (char )' ', (char )'T', (char )'D', (char )'A',
5351 (char )'1', (char )'8', (char )'2', (char )'1', (char )'2', (char )'\000'},
5352 48000000U, 864000000U, 1000U, 0U, 0U, 0U}, & tda18212_release, (int (*)(struct dvb_frontend * ))0,
5353 (int (*)(struct dvb_frontend * ))0, & tda18212_set_params, (int (*)(struct dvb_frontend * ,
5354 struct analog_parameters * ))0,
5355 (int (*)(struct dvb_frontend * , u8 * , int ))0, (int (*)(struct dvb_frontend * ,
5356 void * ))0, (int (*)(struct dvb_frontend * ,
5357 u32 * ))0,
5358 (int (*)(struct dvb_frontend * , u32 * ))0, & tda18212_get_if_frequency, (int (*)(struct dvb_frontend * ,
5359 u32 * ))0,
5360 (int (*)(struct dvb_frontend * , u16 * ))0, (int (*)(struct dvb_frontend * , u32 ))0,
5361 (int (*)(struct dvb_frontend * , u32 ))0, (int (*)(struct dvb_frontend * , enum tuner_param ,
5362 struct tuner_state * ))0,
5363 (int (*)(struct dvb_frontend * , enum tuner_param , struct tuner_state * ))0};
5364#line 300 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5365struct dvb_frontend *tda18212_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
5366 struct tda18212_config *cfg )
5367{ struct tda18212_priv *priv ;
5368 int ret ;
5369 u8 val ;
5370 void *tmp ;
5371 size_t __len ;
5372 void *__ret ;
5373 struct tda18212_priv *__cil_tmp10 ;
5374 unsigned long __cil_tmp11 ;
5375 unsigned long __cil_tmp12 ;
5376 unsigned long __cil_tmp13 ;
5377 unsigned long __cil_tmp14 ;
5378 unsigned long __cil_tmp15 ;
5379 unsigned long __cil_tmp16 ;
5380 int (*__cil_tmp17)(struct dvb_frontend * , int ) ;
5381 unsigned long __cil_tmp18 ;
5382 unsigned long __cil_tmp19 ;
5383 unsigned long __cil_tmp20 ;
5384 unsigned long __cil_tmp21 ;
5385 int (*__cil_tmp22)(struct dvb_frontend * , int ) ;
5386 unsigned long __cil_tmp23 ;
5387 unsigned long __cil_tmp24 ;
5388 unsigned long __cil_tmp25 ;
5389 unsigned long __cil_tmp26 ;
5390 int (*__cil_tmp27)(struct dvb_frontend * , int ) ;
5391 u8 __cil_tmp28 ;
5392 int (*__cil_tmp29)(struct dvb_frontend * , int ) ;
5393 unsigned long __cil_tmp30 ;
5394 unsigned long __cil_tmp31 ;
5395 unsigned long __cil_tmp32 ;
5396 unsigned long __cil_tmp33 ;
5397 int (*__cil_tmp34)(struct dvb_frontend * , int ) ;
5398 unsigned long __cil_tmp35 ;
5399 unsigned long __cil_tmp36 ;
5400 unsigned long __cil_tmp37 ;
5401 unsigned long __cil_tmp38 ;
5402 int (*__cil_tmp39)(struct dvb_frontend * , int ) ;
5403 int *__cil_tmp40 ;
5404 int __cil_tmp41 ;
5405 u8 *__cil_tmp42 ;
5406 u8 __cil_tmp43 ;
5407 int __cil_tmp44 ;
5408 void const *__cil_tmp45 ;
5409 u8 *__cil_tmp46 ;
5410 u8 __cil_tmp47 ;
5411 unsigned int __cil_tmp48 ;
5412 void const *__cil_tmp49 ;
5413 unsigned long __cil_tmp50 ;
5414 unsigned long __cil_tmp51 ;
5415 unsigned long __cil_tmp52 ;
5416 struct dvb_tuner_ops *__cil_tmp53 ;
5417 void *__cil_tmp54 ;
5418 void const *__cil_tmp55 ;
5419 unsigned long __cil_tmp56 ;
5420 unsigned long __cil_tmp57 ;
5421 unsigned long __cil_tmp58 ;
5422 struct dvb_tuner_ops *__cil_tmp59 ;
5423 void *__cil_tmp60 ;
5424 void const *__cil_tmp61 ;
5425
5426 {
5427 {
5428#line 303
5429 priv = (struct tda18212_priv *)0;
5430#line 307
5431 tmp = kzalloc(24UL, 208U);
5432#line 307
5433 priv = (struct tda18212_priv *)tmp;
5434 }
5435 {
5436#line 308
5437 __cil_tmp10 = (struct tda18212_priv *)0;
5438#line 308
5439 __cil_tmp11 = (unsigned long )__cil_tmp10;
5440#line 308
5441 __cil_tmp12 = (unsigned long )priv;
5442#line 308
5443 if (__cil_tmp12 == __cil_tmp11) {
5444#line 309
5445 return ((struct dvb_frontend *)0);
5446 } else {
5447
5448 }
5449 }
5450#line 311
5451 *((struct tda18212_config **)priv) = cfg;
5452#line 312
5453 __cil_tmp13 = (unsigned long )priv;
5454#line 312
5455 __cil_tmp14 = __cil_tmp13 + 8;
5456#line 312
5457 *((struct i2c_adapter **)__cil_tmp14) = i2c;
5458#line 313
5459 __cil_tmp15 = (unsigned long )fe;
5460#line 313
5461 __cil_tmp16 = __cil_tmp15 + 768;
5462#line 313
5463 *((void **)__cil_tmp16) = (void *)priv;
5464 {
5465#line 315
5466 __cil_tmp17 = (int (*)(struct dvb_frontend * , int ))0;
5467#line 315
5468 __cil_tmp18 = (unsigned long )__cil_tmp17;
5469#line 315
5470 __cil_tmp19 = 0 + 360;
5471#line 315
5472 __cil_tmp20 = (unsigned long )fe;
5473#line 315
5474 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
5475#line 315
5476 __cil_tmp22 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp21);
5477#line 315
5478 __cil_tmp23 = (unsigned long )__cil_tmp22;
5479#line 315
5480 if (__cil_tmp23 != __cil_tmp18) {
5481 {
5482#line 316
5483 __cil_tmp24 = 0 + 360;
5484#line 316
5485 __cil_tmp25 = (unsigned long )fe;
5486#line 316
5487 __cil_tmp26 = __cil_tmp25 + __cil_tmp24;
5488#line 316
5489 __cil_tmp27 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp26);
5490#line 316
5491 (*__cil_tmp27)(fe, 1);
5492 }
5493 } else {
5494
5495 }
5496 }
5497 {
5498#line 319
5499 __cil_tmp28 = (u8 )0;
5500#line 319
5501 ret = tda18212_rd_reg(priv, __cil_tmp28, & val);
5502 }
5503 {
5504#line 321
5505 __cil_tmp29 = (int (*)(struct dvb_frontend * , int ))0;
5506#line 321
5507 __cil_tmp30 = (unsigned long )__cil_tmp29;
5508#line 321
5509 __cil_tmp31 = 0 + 360;
5510#line 321
5511 __cil_tmp32 = (unsigned long )fe;
5512#line 321
5513 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
5514#line 321
5515 __cil_tmp34 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp33);
5516#line 321
5517 __cil_tmp35 = (unsigned long )__cil_tmp34;
5518#line 321
5519 if (__cil_tmp35 != __cil_tmp30) {
5520 {
5521#line 322
5522 __cil_tmp36 = 0 + 360;
5523#line 322
5524 __cil_tmp37 = (unsigned long )fe;
5525#line 322
5526 __cil_tmp38 = __cil_tmp37 + __cil_tmp36;
5527#line 322
5528 __cil_tmp39 = *((int (**)(struct dvb_frontend * , int ))__cil_tmp38);
5529#line 322
5530 (*__cil_tmp39)(fe, 0);
5531 }
5532 } else {
5533
5534 }
5535 }
5536 {
5537#line 324
5538 __cil_tmp40 = & debug;
5539#line 324
5540 __cil_tmp41 = *__cil_tmp40;
5541#line 324
5542 if (__cil_tmp41 != 0) {
5543 {
5544#line 324
5545 __cil_tmp42 = & val;
5546#line 324
5547 __cil_tmp43 = *__cil_tmp42;
5548#line 324
5549 __cil_tmp44 = (int )__cil_tmp43;
5550#line 324
5551 printk("<6>tda18212: %s: ret:%d chip ID:%02x\n", "tda18212_attach", ret, __cil_tmp44);
5552 }
5553 } else {
5554
5555 }
5556 }
5557#line 325
5558 if (ret != 0) {
5559 {
5560#line 326
5561 __cil_tmp45 = (void const *)priv;
5562#line 326
5563 kfree(__cil_tmp45);
5564 }
5565#line 327
5566 return ((struct dvb_frontend *)0);
5567 } else {
5568 {
5569#line 325
5570 __cil_tmp46 = & val;
5571#line 325
5572 __cil_tmp47 = *__cil_tmp46;
5573#line 325
5574 __cil_tmp48 = (unsigned int )__cil_tmp47;
5575#line 325
5576 if (__cil_tmp48 != 199U) {
5577 {
5578#line 326
5579 __cil_tmp49 = (void const *)priv;
5580#line 326
5581 kfree(__cil_tmp49);
5582 }
5583#line 327
5584 return ((struct dvb_frontend *)0);
5585 } else {
5586
5587 }
5588 }
5589 }
5590 {
5591#line 330
5592 printk("<6>tda18212: NXP TDA18212HN successfully identified\n");
5593#line 332
5594 __len = 280UL;
5595 }
5596#line 332
5597 if (__len > 63UL) {
5598 {
5599#line 332
5600 __cil_tmp50 = 0 + 384;
5601#line 332
5602 __cil_tmp51 = (unsigned long )fe;
5603#line 332
5604 __cil_tmp52 = __cil_tmp51 + __cil_tmp50;
5605#line 332
5606 __cil_tmp53 = (struct dvb_tuner_ops *)__cil_tmp52;
5607#line 332
5608 __cil_tmp54 = (void *)__cil_tmp53;
5609#line 332
5610 __cil_tmp55 = (void const *)(& tda18212_tuner_ops);
5611#line 332
5612 __ret = __memcpy(__cil_tmp54, __cil_tmp55, __len);
5613 }
5614 } else {
5615 {
5616#line 332
5617 __cil_tmp56 = 0 + 384;
5618#line 332
5619 __cil_tmp57 = (unsigned long )fe;
5620#line 332
5621 __cil_tmp58 = __cil_tmp57 + __cil_tmp56;
5622#line 332
5623 __cil_tmp59 = (struct dvb_tuner_ops *)__cil_tmp58;
5624#line 332
5625 __cil_tmp60 = (void *)__cil_tmp59;
5626#line 332
5627 __cil_tmp61 = (void const *)(& tda18212_tuner_ops);
5628#line 332
5629 __ret = __builtin_memcpy(__cil_tmp60, __cil_tmp61, __len);
5630 }
5631 }
5632#line 335
5633 return (fe);
5634}
5635}
5636#line 359
5637extern void ldv_check_final_state(void) ;
5638#line 365
5639extern void ldv_initialize(void) ;
5640#line 368
5641extern int __VERIFIER_nondet_int(void) ;
5642#line 371 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5643int LDV_IN_INTERRUPT ;
5644#line 374 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5645void main(void)
5646{ struct dvb_frontend *var_group1 ;
5647 u32 *var_tda18212_get_if_frequency_6_p1 ;
5648 int ldv_s_tda18212_tuner_ops_dvb_tuner_ops ;
5649 int tmp ;
5650 int tmp___0 ;
5651
5652 {
5653 {
5654#line 454
5655 ldv_s_tda18212_tuner_ops_dvb_tuner_ops = 0;
5656#line 444
5657 LDV_IN_INTERRUPT = 1;
5658#line 453
5659 ldv_initialize();
5660 }
5661#line 458
5662 goto ldv_22881;
5663 ldv_22880:
5664 {
5665#line 462
5666 tmp = __VERIFIER_nondet_int();
5667 }
5668#line 464
5669 if (tmp == 0) {
5670#line 464
5671 goto case_0;
5672 } else
5673#line 498
5674 if (tmp == 1) {
5675#line 498
5676 goto case_1;
5677 } else
5678#line 524
5679 if (tmp == 2) {
5680#line 524
5681 goto case_2;
5682 } else {
5683 {
5684#line 558
5685 goto switch_default;
5686#line 462
5687 if (0) {
5688 case_0: ;
5689#line 467
5690 if (ldv_s_tda18212_tuner_ops_dvb_tuner_ops == 0) {
5691 {
5692#line 490
5693 tda18212_release(var_group1);
5694#line 491
5695 ldv_s_tda18212_tuner_ops_dvb_tuner_ops = 0;
5696 }
5697 } else {
5698
5699 }
5700#line 497
5701 goto ldv_22876;
5702 case_1:
5703 {
5704#line 516
5705 tda18212_set_params(var_group1);
5706 }
5707#line 523
5708 goto ldv_22876;
5709 case_2:
5710 {
5711#line 550
5712 tda18212_get_if_frequency(var_group1, var_tda18212_get_if_frequency_6_p1);
5713 }
5714#line 557
5715 goto ldv_22876;
5716 switch_default: ;
5717#line 558
5718 goto ldv_22876;
5719 } else {
5720 switch_break: ;
5721 }
5722 }
5723 }
5724 ldv_22876: ;
5725 ldv_22881:
5726 {
5727#line 458
5728 tmp___0 = __VERIFIER_nondet_int();
5729 }
5730#line 458
5731 if (tmp___0 != 0) {
5732#line 460
5733 goto ldv_22880;
5734 } else
5735#line 458
5736 if (ldv_s_tda18212_tuner_ops_dvb_tuner_ops != 0) {
5737#line 460
5738 goto ldv_22880;
5739 } else {
5740#line 462
5741 goto ldv_22882;
5742 }
5743 ldv_22882: ;
5744
5745 {
5746#line 567
5747 ldv_check_final_state();
5748 }
5749#line 570
5750 return;
5751}
5752}
5753#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
5754void ldv_blast_assert(void)
5755{
5756
5757 {
5758 ERROR: ;
5759#line 6
5760 goto ERROR;
5761}
5762}
5763#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
5764extern int __VERIFIER_nondet_int(void) ;
5765#line 591 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5766int ldv_spin = 0;
5767#line 595 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5768void ldv_check_alloc_flags(gfp_t flags )
5769{
5770
5771 {
5772#line 598
5773 if (ldv_spin != 0) {
5774#line 598
5775 if (flags != 32U) {
5776 {
5777#line 598
5778 ldv_blast_assert();
5779 }
5780 } else {
5781
5782 }
5783 } else {
5784
5785 }
5786#line 601
5787 return;
5788}
5789}
5790#line 601
5791extern struct page *ldv_some_page(void) ;
5792#line 604 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5793struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
5794{ struct page *tmp ;
5795
5796 {
5797#line 607
5798 if (ldv_spin != 0) {
5799#line 607
5800 if (flags != 32U) {
5801 {
5802#line 607
5803 ldv_blast_assert();
5804 }
5805 } else {
5806
5807 }
5808 } else {
5809
5810 }
5811 {
5812#line 609
5813 tmp = ldv_some_page();
5814 }
5815#line 609
5816 return (tmp);
5817}
5818}
5819#line 613 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5820void ldv_check_alloc_nonatomic(void)
5821{
5822
5823 {
5824#line 616
5825 if (ldv_spin != 0) {
5826 {
5827#line 616
5828 ldv_blast_assert();
5829 }
5830 } else {
5831
5832 }
5833#line 619
5834 return;
5835}
5836}
5837#line 620 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5838void ldv_spin_lock(void)
5839{
5840
5841 {
5842#line 623
5843 ldv_spin = 1;
5844#line 624
5845 return;
5846}
5847}
5848#line 627 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5849void ldv_spin_unlock(void)
5850{
5851
5852 {
5853#line 630
5854 ldv_spin = 0;
5855#line 631
5856 return;
5857}
5858}
5859#line 634 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5860int ldv_spin_trylock(void)
5861{ int is_lock ;
5862
5863 {
5864 {
5865#line 639
5866 is_lock = __VERIFIER_nondet_int();
5867 }
5868#line 641
5869 if (is_lock != 0) {
5870#line 644
5871 return (0);
5872 } else {
5873#line 649
5874 ldv_spin = 1;
5875#line 651
5876 return (1);
5877 }
5878}
5879}
5880#line 818 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5881void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
5882{
5883
5884 {
5885 {
5886#line 824
5887 ldv_check_alloc_flags(ldv_func_arg2);
5888#line 826
5889 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
5890 }
5891#line 827
5892 return ((void *)0);
5893}
5894}
5895#line 829 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9527/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18212.c.p"
5896__inline static void *kzalloc(size_t size , gfp_t flags )
5897{ void *tmp ;
5898
5899 {
5900 {
5901#line 835
5902 ldv_check_alloc_flags(flags);
5903#line 836
5904 tmp = __VERIFIER_nondet_pointer();
5905 }
5906#line 836
5907 return (tmp);
5908}
5909}