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