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/mt2131.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/mt2131.h"
3894struct mt2131_config {
3895 u8 i2c_address ;
3896 u8 clock_out ;
3897};
3898#line 36 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/mt2131_priv.h"
3899struct mt2131_priv {
3900 struct mt2131_config *cfg ;
3901 struct i2c_adapter *i2c ;
3902 u32 frequency ;
3903};
3904#line 1 "<compiler builtins>"
3905
3906#line 1
3907long __builtin_expect(long val , long res ) ;
3908#line 100 "include/linux/printk.h"
3909extern int ( printk)(char const *fmt , ...) ;
3910#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3911extern void *__memcpy(void *to , void const *from , size_t len ) ;
3912#line 152 "include/linux/mutex.h"
3913void mutex_lock(struct mutex *lock ) ;
3914#line 153
3915int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3916#line 154
3917int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3918#line 168
3919int mutex_trylock(struct mutex *lock ) ;
3920#line 169
3921void mutex_unlock(struct mutex *lock ) ;
3922#line 170
3923int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3924#line 356 "include/linux/moduleparam.h"
3925extern struct kernel_param_ops param_ops_int ;
3926#line 46 "include/linux/delay.h"
3927extern void msleep(unsigned int msecs ) ;
3928#line 69 "include/linux/i2c.h"
3929extern int i2c_transfer(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
3930#line 161 "include/linux/slab.h"
3931extern void kfree(void const * ) ;
3932#line 221 "include/linux/slub_def.h"
3933extern void *__kmalloc(size_t size , gfp_t flags ) ;
3934#line 268
3935__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3936 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3937#line 268 "include/linux/slub_def.h"
3938__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3939 gfp_t flags )
3940{ void *tmp___10 ;
3941
3942 {
3943 {
3944#line 283
3945 tmp___10 = __kmalloc(size, flags);
3946 }
3947#line 283
3948 return (tmp___10);
3949}
3950}
3951#line 349 "include/linux/slab.h"
3952__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3953#line 349 "include/linux/slab.h"
3954__inline static void *kzalloc(size_t size , gfp_t flags )
3955{ void *tmp___7 ;
3956 unsigned int __cil_tmp4 ;
3957
3958 {
3959 {
3960#line 351
3961 __cil_tmp4 = flags | 32768U;
3962#line 351
3963 tmp___7 = kmalloc(size, __cil_tmp4);
3964 }
3965#line 351
3966 return (tmp___7);
3967}
3968}
3969#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/mt2131.h"
3970struct dvb_frontend *mt2131_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
3971 struct mt2131_config *cfg , u16 if1 ) ;
3972#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
3973static int debug ;
3974#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
3975static char const __param_str_debug[6] = { (char const )'d', (char const )'e', (char const )'b', (char const )'u',
3976 (char const )'g', (char const )'\000'};
3977#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
3978static struct kernel_param const __param_debug __attribute__((__used__, __unused__,
3979__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_debug, (struct kernel_param_ops const *)(& param_ops_int), (u16 )420,
3980 (s16 )0, {(void *)(& debug)}};
3981#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
3982static char const __mod_debugtype35[19] __attribute__((__used__, __unused__, __section__(".modinfo"),
3983__aligned__(1))) =
3984#line 35
3985 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
3986 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
3987 (char const )'=', (char const )'d', (char const )'e', (char const )'b',
3988 (char const )'u', (char const )'g', (char const )':', (char const )'i',
3989 (char const )'n', (char const )'t', (char const )'\000'};
3990#line 36 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
3991static char const __mod_debug36[48] __attribute__((__used__, __unused__, __section__(".modinfo"),
3992__aligned__(1))) =
3993#line 36
3994 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
3995 (char const )'=', (char const )'d', (char const )'e', (char const )'b',
3996 (char const )'u', (char const )'g', (char const )':', (char const )'T',
3997 (char const )'u', (char const )'r', (char const )'n', (char const )' ',
3998 (char const )'o', (char const )'n', (char const )'/', (char const )'o',
3999 (char const )'f', (char const )'f', (char const )' ', (char const )'d',
4000 (char const )'e', (char const )'b', (char const )'u', (char const )'g',
4001 (char const )'g', (char const )'i', (char const )'n', (char const )'g',
4002 (char const )' ', (char const )'(', (char const )'d', (char const )'e',
4003 (char const )'f', (char const )'a', (char const )'u', (char const )'l',
4004 (char const )'t', (char const )':', (char const )'o', (char const )'f',
4005 (char const )'f', (char const )')', (char const )'.', (char const )'\000'};
4006#line 41 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
4007static u8 mt2131_config1[32] =
4008#line 41
4009 { (u8 )1, (u8 )80, (u8 )0, (u8 )80,
4010 (u8 )128, (u8 )0, (u8 )73, (u8 )250,
4011 (u8 )136, (u8 )8, (u8 )119, (u8 )65,
4012 (u8 )4, (u8 )0, (u8 )0, (u8 )0,
4013 (u8 )50, (u8 )127, (u8 )218, (u8 )76,
4014 (u8 )0, (u8 )16, (u8 )170, (u8 )120,
4015 (u8 )128, (u8 )255, (u8 )104, (u8 )160,
4016 (u8 )255, (u8 )221, (u8 )0, (u8 )0};
4017#line 49 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
4018static u8 mt2131_config2[7] = { (u8 )16, (u8 )127, (u8 )200, (u8 )10,
4019 (u8 )95, (u8 )0, (u8 )4};
4020#line 54 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
4021static int mt2131_readreg(struct mt2131_priv *priv , u8 reg , u8 *val )
4022{ struct i2c_msg msg[2] ;
4023 int tmp___7 ;
4024 unsigned long __cil_tmp6 ;
4025 unsigned long __cil_tmp7 ;
4026 struct mt2131_config *__cil_tmp8 ;
4027 u8 __cil_tmp9 ;
4028 unsigned long __cil_tmp10 ;
4029 unsigned long __cil_tmp11 ;
4030 unsigned long __cil_tmp12 ;
4031 unsigned long __cil_tmp13 ;
4032 unsigned long __cil_tmp14 ;
4033 unsigned long __cil_tmp15 ;
4034 unsigned long __cil_tmp16 ;
4035 unsigned long __cil_tmp17 ;
4036 unsigned long __cil_tmp18 ;
4037 unsigned long __cil_tmp19 ;
4038 unsigned long __cil_tmp20 ;
4039 struct mt2131_config *__cil_tmp21 ;
4040 u8 __cil_tmp22 ;
4041 unsigned long __cil_tmp23 ;
4042 unsigned long __cil_tmp24 ;
4043 unsigned long __cil_tmp25 ;
4044 unsigned long __cil_tmp26 ;
4045 unsigned long __cil_tmp27 ;
4046 unsigned long __cil_tmp28 ;
4047 unsigned long __cil_tmp29 ;
4048 unsigned long __cil_tmp30 ;
4049 unsigned long __cil_tmp31 ;
4050 unsigned long __cil_tmp32 ;
4051 unsigned long __cil_tmp33 ;
4052 struct i2c_adapter *__cil_tmp34 ;
4053 unsigned long __cil_tmp35 ;
4054 unsigned long __cil_tmp36 ;
4055 struct i2c_msg *__cil_tmp37 ;
4056
4057 {
4058 {
4059#line 56
4060 __cil_tmp6 = 0 * 16UL;
4061#line 56
4062 __cil_tmp7 = (unsigned long )(msg) + __cil_tmp6;
4063#line 56
4064 __cil_tmp8 = *((struct mt2131_config **)priv);
4065#line 56
4066 __cil_tmp9 = *((u8 *)__cil_tmp8);
4067#line 56
4068 *((__u16 *)__cil_tmp7) = (__u16 )__cil_tmp9;
4069#line 56
4070 __cil_tmp10 = 0 * 16UL;
4071#line 56
4072 __cil_tmp11 = __cil_tmp10 + 2;
4073#line 56
4074 __cil_tmp12 = (unsigned long )(msg) + __cil_tmp11;
4075#line 56
4076 *((__u16 *)__cil_tmp12) = (__u16 )0;
4077#line 56
4078 __cil_tmp13 = 0 * 16UL;
4079#line 56
4080 __cil_tmp14 = __cil_tmp13 + 4;
4081#line 56
4082 __cil_tmp15 = (unsigned long )(msg) + __cil_tmp14;
4083#line 56
4084 *((__u16 *)__cil_tmp15) = (__u16 )1;
4085#line 56
4086 __cil_tmp16 = 0 * 16UL;
4087#line 56
4088 __cil_tmp17 = __cil_tmp16 + 8;
4089#line 56
4090 __cil_tmp18 = (unsigned long )(msg) + __cil_tmp17;
4091#line 56
4092 *((__u8 **)__cil_tmp18) = & reg;
4093#line 56
4094 __cil_tmp19 = 1 * 16UL;
4095#line 56
4096 __cil_tmp20 = (unsigned long )(msg) + __cil_tmp19;
4097#line 56
4098 __cil_tmp21 = *((struct mt2131_config **)priv);
4099#line 56
4100 __cil_tmp22 = *((u8 *)__cil_tmp21);
4101#line 56
4102 *((__u16 *)__cil_tmp20) = (__u16 )__cil_tmp22;
4103#line 56
4104 __cil_tmp23 = 1 * 16UL;
4105#line 56
4106 __cil_tmp24 = __cil_tmp23 + 2;
4107#line 56
4108 __cil_tmp25 = (unsigned long )(msg) + __cil_tmp24;
4109#line 56
4110 *((__u16 *)__cil_tmp25) = (__u16 )1;
4111#line 56
4112 __cil_tmp26 = 1 * 16UL;
4113#line 56
4114 __cil_tmp27 = __cil_tmp26 + 4;
4115#line 56
4116 __cil_tmp28 = (unsigned long )(msg) + __cil_tmp27;
4117#line 56
4118 *((__u16 *)__cil_tmp28) = (__u16 )1;
4119#line 56
4120 __cil_tmp29 = 1 * 16UL;
4121#line 56
4122 __cil_tmp30 = __cil_tmp29 + 8;
4123#line 56
4124 __cil_tmp31 = (unsigned long )(msg) + __cil_tmp30;
4125#line 56
4126 *((__u8 **)__cil_tmp31) = val;
4127#line 63
4128 __cil_tmp32 = (unsigned long )priv;
4129#line 63
4130 __cil_tmp33 = __cil_tmp32 + 8;
4131#line 63
4132 __cil_tmp34 = *((struct i2c_adapter **)__cil_tmp33);
4133#line 63
4134 __cil_tmp35 = 0 * 16UL;
4135#line 63
4136 __cil_tmp36 = (unsigned long )(msg) + __cil_tmp35;
4137#line 63
4138 __cil_tmp37 = (struct i2c_msg *)__cil_tmp36;
4139#line 63
4140 tmp___7 = i2c_transfer(__cil_tmp34, __cil_tmp37, 2);
4141 }
4142#line 63
4143 if (tmp___7 != 2) {
4144 {
4145#line 64
4146 printk("<4>mt2131 I2C read failed\n");
4147 }
4148#line 65
4149 return (-121);
4150 } else {
4151
4152 }
4153#line 67
4154 return (0);
4155}
4156}
4157#line 70 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
4158static int mt2131_writereg(struct mt2131_priv *priv , u8 reg , u8 val )
4159{ u8 buf[2] ;
4160 struct i2c_msg msg ;
4161 int tmp___7 ;
4162 unsigned long __cil_tmp7 ;
4163 unsigned long __cil_tmp8 ;
4164 unsigned long __cil_tmp9 ;
4165 unsigned long __cil_tmp10 ;
4166 struct i2c_msg *__cil_tmp11 ;
4167 struct mt2131_config *__cil_tmp12 ;
4168 u8 __cil_tmp13 ;
4169 unsigned long __cil_tmp14 ;
4170 unsigned long __cil_tmp15 ;
4171 unsigned long __cil_tmp16 ;
4172 unsigned long __cil_tmp17 ;
4173 unsigned long __cil_tmp18 ;
4174 unsigned long __cil_tmp19 ;
4175 unsigned long __cil_tmp20 ;
4176 struct i2c_adapter *__cil_tmp21 ;
4177
4178 {
4179 {
4180#line 72
4181 __cil_tmp7 = 0 * 1UL;
4182#line 72
4183 __cil_tmp8 = (unsigned long )(buf) + __cil_tmp7;
4184#line 72
4185 *((u8 *)__cil_tmp8) = reg;
4186#line 72
4187 __cil_tmp9 = 1 * 1UL;
4188#line 72
4189 __cil_tmp10 = (unsigned long )(buf) + __cil_tmp9;
4190#line 72
4191 *((u8 *)__cil_tmp10) = val;
4192#line 73
4193 __cil_tmp11 = & msg;
4194#line 73
4195 __cil_tmp12 = *((struct mt2131_config **)priv);
4196#line 73
4197 __cil_tmp13 = *((u8 *)__cil_tmp12);
4198#line 73
4199 *((__u16 *)__cil_tmp11) = (__u16 )__cil_tmp13;
4200#line 73
4201 __cil_tmp14 = (unsigned long )(& msg) + 2;
4202#line 73
4203 *((__u16 *)__cil_tmp14) = (__u16 )0;
4204#line 73
4205 __cil_tmp15 = (unsigned long )(& msg) + 4;
4206#line 73
4207 *((__u16 *)__cil_tmp15) = (__u16 )2;
4208#line 73
4209 __cil_tmp16 = (unsigned long )(& msg) + 8;
4210#line 73
4211 __cil_tmp17 = 0 * 1UL;
4212#line 73
4213 __cil_tmp18 = (unsigned long )(buf) + __cil_tmp17;
4214#line 73
4215 *((__u8 **)__cil_tmp16) = (u8 *)__cil_tmp18;
4216#line 76
4217 __cil_tmp19 = (unsigned long )priv;
4218#line 76
4219 __cil_tmp20 = __cil_tmp19 + 8;
4220#line 76
4221 __cil_tmp21 = *((struct i2c_adapter **)__cil_tmp20);
4222#line 76
4223 tmp___7 = i2c_transfer(__cil_tmp21, & msg, 1);
4224 }
4225#line 76
4226 if (tmp___7 != 1) {
4227 {
4228#line 77
4229 printk("<4>mt2131 I2C write failed\n");
4230 }
4231#line 78
4232 return (-121);
4233 } else {
4234
4235 }
4236#line 80
4237 return (0);
4238}
4239}
4240#line 83 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
4241static int mt2131_writeregs(struct mt2131_priv *priv , u8 *buf , u8 len )
4242{ struct i2c_msg msg ;
4243 int tmp___7 ;
4244 struct i2c_msg *__cil_tmp6 ;
4245 struct mt2131_config *__cil_tmp7 ;
4246 u8 __cil_tmp8 ;
4247 unsigned long __cil_tmp9 ;
4248 unsigned long __cil_tmp10 ;
4249 unsigned long __cil_tmp11 ;
4250 unsigned long __cil_tmp12 ;
4251 unsigned long __cil_tmp13 ;
4252 struct i2c_adapter *__cil_tmp14 ;
4253 int __cil_tmp15 ;
4254
4255 {
4256 {
4257#line 85
4258 __cil_tmp6 = & msg;
4259#line 85
4260 __cil_tmp7 = *((struct mt2131_config **)priv);
4261#line 85
4262 __cil_tmp8 = *((u8 *)__cil_tmp7);
4263#line 85
4264 *((__u16 *)__cil_tmp6) = (__u16 )__cil_tmp8;
4265#line 85
4266 __cil_tmp9 = (unsigned long )(& msg) + 2;
4267#line 85
4268 *((__u16 *)__cil_tmp9) = (__u16 )0;
4269#line 85
4270 __cil_tmp10 = (unsigned long )(& msg) + 4;
4271#line 85
4272 *((__u16 *)__cil_tmp10) = (__u16 )len;
4273#line 85
4274 __cil_tmp11 = (unsigned long )(& msg) + 8;
4275#line 85
4276 *((__u8 **)__cil_tmp11) = buf;
4277#line 88
4278 __cil_tmp12 = (unsigned long )priv;
4279#line 88
4280 __cil_tmp13 = __cil_tmp12 + 8;
4281#line 88
4282 __cil_tmp14 = *((struct i2c_adapter **)__cil_tmp13);
4283#line 88
4284 tmp___7 = i2c_transfer(__cil_tmp14, & msg, 1);
4285 }
4286#line 88
4287 if (tmp___7 != 1) {
4288 {
4289#line 89
4290 __cil_tmp15 = (int )len;
4291#line 89
4292 printk("<4>mt2131 I2C write failed (len=%i)\n", __cil_tmp15);
4293 }
4294#line 91
4295 return (-121);
4296 } else {
4297
4298 }
4299#line 93
4300 return (0);
4301}
4302}
4303#line 96 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
4304static int mt2131_set_params(struct dvb_frontend *fe )
4305{ struct dtv_frontend_properties *c ;
4306 struct mt2131_priv *priv ;
4307 int ret ;
4308 int i ;
4309 u32 freq ;
4310 u8 if_band_center ;
4311 u32 f_lo1 ;
4312 u32 f_lo2 ;
4313 u32 div1 ;
4314 u32 num1 ;
4315 u32 div2 ;
4316 u32 num2 ;
4317 u8 b[8] ;
4318 u8 lockval ;
4319 unsigned long __cil_tmp16 ;
4320 unsigned long __cil_tmp17 ;
4321 u8 *__cil_tmp18 ;
4322 unsigned long __cil_tmp19 ;
4323 unsigned long __cil_tmp20 ;
4324 void *__cil_tmp21 ;
4325 unsigned long __cil_tmp22 ;
4326 unsigned long __cil_tmp23 ;
4327 u32 __cil_tmp24 ;
4328 int *__cil_tmp25 ;
4329 int __cil_tmp26 ;
4330 u32 __cil_tmp27 ;
4331 u32 __cil_tmp28 ;
4332 unsigned long __cil_tmp29 ;
4333 unsigned long __cil_tmp30 ;
4334 u32 __cil_tmp31 ;
4335 u32 __cil_tmp32 ;
4336 u32 __cil_tmp33 ;
4337 u32 __cil_tmp34 ;
4338 unsigned long __cil_tmp35 ;
4339 unsigned long __cil_tmp36 ;
4340 unsigned long __cil_tmp37 ;
4341 unsigned long __cil_tmp38 ;
4342 u32 __cil_tmp39 ;
4343 unsigned int __cil_tmp40 ;
4344 unsigned long __cil_tmp41 ;
4345 unsigned long __cil_tmp42 ;
4346 unsigned int __cil_tmp43 ;
4347 unsigned long __cil_tmp44 ;
4348 unsigned long __cil_tmp45 ;
4349 unsigned long __cil_tmp46 ;
4350 unsigned long __cil_tmp47 ;
4351 u32 __cil_tmp48 ;
4352 unsigned int __cil_tmp49 ;
4353 unsigned long __cil_tmp50 ;
4354 unsigned long __cil_tmp51 ;
4355 unsigned int __cil_tmp52 ;
4356 unsigned long __cil_tmp53 ;
4357 unsigned long __cil_tmp54 ;
4358 int *__cil_tmp55 ;
4359 int __cil_tmp56 ;
4360 int *__cil_tmp57 ;
4361 int __cil_tmp58 ;
4362 int __cil_tmp59 ;
4363 int __cil_tmp60 ;
4364 int *__cil_tmp61 ;
4365 int __cil_tmp62 ;
4366 int __cil_tmp63 ;
4367 int __cil_tmp64 ;
4368 int *__cil_tmp65 ;
4369 int __cil_tmp66 ;
4370 int __cil_tmp67 ;
4371 int __cil_tmp68 ;
4372 int __cil_tmp69 ;
4373 int __cil_tmp70 ;
4374 int *__cil_tmp71 ;
4375 int __cil_tmp72 ;
4376 unsigned long __cil_tmp73 ;
4377 unsigned long __cil_tmp74 ;
4378 u8 __cil_tmp75 ;
4379 int __cil_tmp76 ;
4380 unsigned long __cil_tmp77 ;
4381 unsigned long __cil_tmp78 ;
4382 u8 __cil_tmp79 ;
4383 int __cil_tmp80 ;
4384 unsigned long __cil_tmp81 ;
4385 unsigned long __cil_tmp82 ;
4386 u8 __cil_tmp83 ;
4387 int __cil_tmp84 ;
4388 unsigned long __cil_tmp85 ;
4389 unsigned long __cil_tmp86 ;
4390 u8 __cil_tmp87 ;
4391 int __cil_tmp88 ;
4392 unsigned long __cil_tmp89 ;
4393 unsigned long __cil_tmp90 ;
4394 u8 __cil_tmp91 ;
4395 int __cil_tmp92 ;
4396 unsigned long __cil_tmp93 ;
4397 unsigned long __cil_tmp94 ;
4398 u8 __cil_tmp95 ;
4399 int __cil_tmp96 ;
4400 unsigned long __cil_tmp97 ;
4401 unsigned long __cil_tmp98 ;
4402 u8 *__cil_tmp99 ;
4403 u8 __cil_tmp100 ;
4404 u8 __cil_tmp101 ;
4405 u8 __cil_tmp102 ;
4406 u8 *__cil_tmp103 ;
4407 u8 __cil_tmp104 ;
4408 int __cil_tmp105 ;
4409 int __cil_tmp106 ;
4410
4411 {
4412#line 98
4413 __cil_tmp16 = (unsigned long )fe;
4414#line 98
4415 __cil_tmp17 = __cil_tmp16 + 800;
4416#line 98
4417 c = (struct dtv_frontend_properties *)__cil_tmp17;
4418#line 100
4419 ret = 0;
4420#line 106
4421 __cil_tmp18 = & lockval;
4422#line 106
4423 *__cil_tmp18 = (u8 )0;
4424#line 108
4425 __cil_tmp19 = (unsigned long )fe;
4426#line 108
4427 __cil_tmp20 = __cil_tmp19 + 768;
4428#line 108
4429 __cil_tmp21 = *((void **)__cil_tmp20);
4430#line 108
4431 priv = (struct mt2131_priv *)__cil_tmp21;
4432#line 110
4433 __cil_tmp22 = (unsigned long )c;
4434#line 110
4435 __cil_tmp23 = __cil_tmp22 + 4;
4436#line 110
4437 __cil_tmp24 = *((u32 *)__cil_tmp23);
4438#line 110
4439 freq = __cil_tmp24 / 1000U;
4440 {
4441#line 111
4442 __cil_tmp25 = & debug;
4443#line 111
4444 __cil_tmp26 = *__cil_tmp25;
4445#line 111
4446 if (__cil_tmp26 >= 1) {
4447 {
4448#line 111
4449 printk("<6>%s: %s() freq=%d\n", "mt2131", "mt2131_set_params", freq);
4450 }
4451 } else {
4452
4453 }
4454 }
4455#line 113
4456 f_lo1 = freq + 1220000U;
4457#line 114
4458 __cil_tmp27 = f_lo1 / 250U;
4459#line 114
4460 f_lo1 = __cil_tmp27 * 250U;
4461#line 115
4462 __cil_tmp28 = f_lo1 - freq;
4463#line 115
4464 f_lo2 = __cil_tmp28 - 44000U;
4465#line 117
4466 __cil_tmp29 = (unsigned long )priv;
4467#line 117
4468 __cil_tmp30 = __cil_tmp29 + 16;
4469#line 117
4470 __cil_tmp31 = f_lo1 - f_lo2;
4471#line 117
4472 __cil_tmp32 = __cil_tmp31 - 44000U;
4473#line 117
4474 *((u32 *)__cil_tmp30) = __cil_tmp32 * 1000U;
4475#line 120
4476 __cil_tmp33 = f_lo1 * 64U;
4477#line 120
4478 num1 = __cil_tmp33 / 125U;
4479#line 121
4480 div1 = num1 / 8192U;
4481#line 122
4482 num1 = num1 & 8191U;
4483#line 125
4484 __cil_tmp34 = f_lo2 * 64U;
4485#line 125
4486 num2 = __cil_tmp34 / 125U;
4487#line 126
4488 div2 = num2 / 8192U;
4489#line 127
4490 num2 = num2 & 8191U;
4491#line 129
4492 if (freq <= 82500U) {
4493#line 129
4494 if_band_center = (u8 )0;
4495 } else
4496#line 130
4497 if (freq <= 137500U) {
4498#line 130
4499 if_band_center = (u8 )1;
4500 } else
4501#line 131
4502 if (freq <= 192500U) {
4503#line 131
4504 if_band_center = (u8 )2;
4505 } else
4506#line 132
4507 if (freq <= 247500U) {
4508#line 132
4509 if_band_center = (u8 )3;
4510 } else
4511#line 133
4512 if (freq <= 302500U) {
4513#line 133
4514 if_band_center = (u8 )4;
4515 } else
4516#line 134
4517 if (freq <= 357500U) {
4518#line 134
4519 if_band_center = (u8 )5;
4520 } else
4521#line 135
4522 if (freq <= 412500U) {
4523#line 135
4524 if_band_center = (u8 )6;
4525 } else
4526#line 136
4527 if (freq <= 467500U) {
4528#line 136
4529 if_band_center = (u8 )7;
4530 } else
4531#line 137
4532 if (freq <= 522500U) {
4533#line 137
4534 if_band_center = (u8 )8;
4535 } else
4536#line 138
4537 if (freq <= 577500U) {
4538#line 138
4539 if_band_center = (u8 )9;
4540 } else
4541#line 139
4542 if (freq <= 632500U) {
4543#line 139
4544 if_band_center = (u8 )10;
4545 } else
4546#line 140
4547 if (freq <= 687500U) {
4548#line 140
4549 if_band_center = (u8 )11;
4550 } else
4551#line 141
4552 if (freq <= 742500U) {
4553#line 141
4554 if_band_center = (u8 )12;
4555 } else
4556#line 142
4557 if (freq <= 797500U) {
4558#line 142
4559 if_band_center = (u8 )13;
4560 } else
4561#line 143
4562 if (freq <= 852500U) {
4563#line 143
4564 if_band_center = (u8 )14;
4565 } else
4566#line 144
4567 if (freq <= 907500U) {
4568#line 144
4569 if_band_center = (u8 )15;
4570 } else
4571#line 145
4572 if (freq <= 962500U) {
4573#line 145
4574 if_band_center = (u8 )16;
4575 } else
4576#line 146
4577 if (freq <= 1017500U) {
4578#line 146
4579 if_band_center = (u8 )17;
4580 } else
4581#line 147
4582 if (freq <= 1072500U) {
4583#line 147
4584 if_band_center = (u8 )18;
4585 } else {
4586#line 147
4587 if_band_center = (u8 )19;
4588 }
4589#line 149
4590 __cil_tmp35 = 0 * 1UL;
4591#line 149
4592 __cil_tmp36 = (unsigned long )(b) + __cil_tmp35;
4593#line 149
4594 *((u8 *)__cil_tmp36) = (u8 )1;
4595#line 150
4596 __cil_tmp37 = 1 * 1UL;
4597#line 150
4598 __cil_tmp38 = (unsigned long )(b) + __cil_tmp37;
4599#line 150
4600 __cil_tmp39 = num1 >> 5;
4601#line 150
4602 __cil_tmp40 = __cil_tmp39 & 255U;
4603#line 150
4604 *((u8 *)__cil_tmp38) = (u8 )__cil_tmp40;
4605#line 151
4606 __cil_tmp41 = 2 * 1UL;
4607#line 151
4608 __cil_tmp42 = (unsigned long )(b) + __cil_tmp41;
4609#line 151
4610 __cil_tmp43 = num1 & 31U;
4611#line 151
4612 *((u8 *)__cil_tmp42) = (u8 )__cil_tmp43;
4613#line 152
4614 __cil_tmp44 = 3 * 1UL;
4615#line 152
4616 __cil_tmp45 = (unsigned long )(b) + __cil_tmp44;
4617#line 152
4618 *((u8 *)__cil_tmp45) = (u8 )div1;
4619#line 153
4620 __cil_tmp46 = 4 * 1UL;
4621#line 153
4622 __cil_tmp47 = (unsigned long )(b) + __cil_tmp46;
4623#line 153
4624 __cil_tmp48 = num2 >> 5;
4625#line 153
4626 __cil_tmp49 = __cil_tmp48 & 255U;
4627#line 153
4628 *((u8 *)__cil_tmp47) = (u8 )__cil_tmp49;
4629#line 154
4630 __cil_tmp50 = 5 * 1UL;
4631#line 154
4632 __cil_tmp51 = (unsigned long )(b) + __cil_tmp50;
4633#line 154
4634 __cil_tmp52 = num2 & 31U;
4635#line 154
4636 *((u8 *)__cil_tmp51) = (u8 )__cil_tmp52;
4637#line 155
4638 __cil_tmp53 = 6 * 1UL;
4639#line 155
4640 __cil_tmp54 = (unsigned long )(b) + __cil_tmp53;
4641#line 155
4642 *((u8 *)__cil_tmp54) = (u8 )div2;
4643 {
4644#line 157
4645 __cil_tmp55 = & debug;
4646#line 157
4647 __cil_tmp56 = *__cil_tmp55;
4648#line 157
4649 if (__cil_tmp56 >= 1) {
4650 {
4651#line 157
4652 printk("<6>%s: IF1: %dMHz IF2: %dMHz\n", "mt2131", 1220, 44000);
4653 }
4654 } else {
4655
4656 }
4657 }
4658 {
4659#line 158
4660 __cil_tmp57 = & debug;
4661#line 158
4662 __cil_tmp58 = *__cil_tmp57;
4663#line 158
4664 if (__cil_tmp58 >= 1) {
4665 {
4666#line 158
4667 __cil_tmp59 = (int )freq;
4668#line 158
4669 __cil_tmp60 = (int )if_band_center;
4670#line 158
4671 printk("<6>%s: PLL freq=%dkHz band=%d\n", "mt2131", __cil_tmp59, __cil_tmp60);
4672 }
4673 } else {
4674
4675 }
4676 }
4677 {
4678#line 159
4679 __cil_tmp61 = & debug;
4680#line 159
4681 __cil_tmp62 = *__cil_tmp61;
4682#line 159
4683 if (__cil_tmp62 >= 1) {
4684 {
4685#line 159
4686 __cil_tmp63 = (int )f_lo1;
4687#line 159
4688 __cil_tmp64 = (int )f_lo2;
4689#line 159
4690 printk("<6>%s: PLL f_lo1=%dkHz f_lo2=%dkHz\n", "mt2131", __cil_tmp63, __cil_tmp64);
4691 }
4692 } else {
4693
4694 }
4695 }
4696 {
4697#line 160
4698 __cil_tmp65 = & debug;
4699#line 160
4700 __cil_tmp66 = *__cil_tmp65;
4701#line 160
4702 if (__cil_tmp66 >= 1) {
4703 {
4704#line 160
4705 __cil_tmp67 = (int )div1;
4706#line 160
4707 __cil_tmp68 = (int )num1;
4708#line 160
4709 __cil_tmp69 = (int )div2;
4710#line 160
4711 __cil_tmp70 = (int )num2;
4712#line 160
4713 printk("<6>%s: PLL div1=%d num1=%d div2=%d num2=%d\n", "mt2131", __cil_tmp67,
4714 __cil_tmp68, __cil_tmp69, __cil_tmp70);
4715 }
4716 } else {
4717
4718 }
4719 }
4720 {
4721#line 162
4722 __cil_tmp71 = & debug;
4723#line 162
4724 __cil_tmp72 = *__cil_tmp71;
4725#line 162
4726 if (__cil_tmp72 >= 1) {
4727 {
4728#line 162
4729 __cil_tmp73 = 1 * 1UL;
4730#line 162
4731 __cil_tmp74 = (unsigned long )(b) + __cil_tmp73;
4732#line 162
4733 __cil_tmp75 = *((u8 *)__cil_tmp74);
4734#line 162
4735 __cil_tmp76 = (int )__cil_tmp75;
4736#line 162
4737 __cil_tmp77 = 2 * 1UL;
4738#line 162
4739 __cil_tmp78 = (unsigned long )(b) + __cil_tmp77;
4740#line 162
4741 __cil_tmp79 = *((u8 *)__cil_tmp78);
4742#line 162
4743 __cil_tmp80 = (int )__cil_tmp79;
4744#line 162
4745 __cil_tmp81 = 3 * 1UL;
4746#line 162
4747 __cil_tmp82 = (unsigned long )(b) + __cil_tmp81;
4748#line 162
4749 __cil_tmp83 = *((u8 *)__cil_tmp82);
4750#line 162
4751 __cil_tmp84 = (int )__cil_tmp83;
4752#line 162
4753 __cil_tmp85 = 4 * 1UL;
4754#line 162
4755 __cil_tmp86 = (unsigned long )(b) + __cil_tmp85;
4756#line 162
4757 __cil_tmp87 = *((u8 *)__cil_tmp86);
4758#line 162
4759 __cil_tmp88 = (int )__cil_tmp87;
4760#line 162
4761 __cil_tmp89 = 5 * 1UL;
4762#line 162
4763 __cil_tmp90 = (unsigned long )(b) + __cil_tmp89;
4764#line 162
4765 __cil_tmp91 = *((u8 *)__cil_tmp90);
4766#line 162
4767 __cil_tmp92 = (int )__cil_tmp91;
4768#line 162
4769 __cil_tmp93 = 6 * 1UL;
4770#line 162
4771 __cil_tmp94 = (unsigned long )(b) + __cil_tmp93;
4772#line 162
4773 __cil_tmp95 = *((u8 *)__cil_tmp94);
4774#line 162
4775 __cil_tmp96 = (int )__cil_tmp95;
4776#line 162
4777 printk("<6>%s: PLL [1..6]: %2x %2x %2x %2x %2x %2x\n", "mt2131", __cil_tmp76,
4778 __cil_tmp80, __cil_tmp84, __cil_tmp88, __cil_tmp92, __cil_tmp96);
4779 }
4780 } else {
4781
4782 }
4783 }
4784 {
4785#line 166
4786 __cil_tmp97 = 0 * 1UL;
4787#line 166
4788 __cil_tmp98 = (unsigned long )(b) + __cil_tmp97;
4789#line 166
4790 __cil_tmp99 = (u8 *)__cil_tmp98;
4791#line 166
4792 __cil_tmp100 = (u8 )7;
4793#line 166
4794 ret = mt2131_writeregs(priv, __cil_tmp99, __cil_tmp100);
4795 }
4796#line 167
4797 if (ret < 0) {
4798#line 168
4799 return (ret);
4800 } else {
4801
4802 }
4803 {
4804#line 170
4805 __cil_tmp101 = (u8 )11;
4806#line 170
4807 mt2131_writereg(priv, __cil_tmp101, if_band_center);
4808#line 173
4809 i = 0;
4810 }
4811 {
4812#line 174
4813 while (1) {
4814 while_continue: ;
4815 {
4816#line 175
4817 __cil_tmp102 = (u8 )8;
4818#line 175
4819 mt2131_readreg(priv, __cil_tmp102, & lockval);
4820 }
4821 {
4822#line 176
4823 __cil_tmp103 = & lockval;
4824#line 176
4825 __cil_tmp104 = *__cil_tmp103;
4826#line 176
4827 __cil_tmp105 = (int )__cil_tmp104;
4828#line 176
4829 __cil_tmp106 = __cil_tmp105 & 136;
4830#line 176
4831 if (__cil_tmp106 == 136) {
4832#line 177
4833 goto while_break;
4834 } else {
4835
4836 }
4837 }
4838 {
4839#line 178
4840 msleep(4U);
4841#line 179
4842 i = i + 1;
4843 }
4844#line 174
4845 if (i < 10) {
4846
4847 } else {
4848#line 174
4849 goto while_break;
4850 }
4851 }
4852 while_break: ;
4853 }
4854#line 182
4855 return (ret);
4856}
4857}
4858#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
4859static int mt2131_get_frequency(struct dvb_frontend *fe , u32 *frequency )
4860{ struct mt2131_priv *priv ;
4861 unsigned long __cil_tmp4 ;
4862 unsigned long __cil_tmp5 ;
4863 void *__cil_tmp6 ;
4864 int *__cil_tmp7 ;
4865 int __cil_tmp8 ;
4866 unsigned long __cil_tmp9 ;
4867 unsigned long __cil_tmp10 ;
4868
4869 {
4870#line 187
4871 __cil_tmp4 = (unsigned long )fe;
4872#line 187
4873 __cil_tmp5 = __cil_tmp4 + 768;
4874#line 187
4875 __cil_tmp6 = *((void **)__cil_tmp5);
4876#line 187
4877 priv = (struct mt2131_priv *)__cil_tmp6;
4878 {
4879#line 188
4880 __cil_tmp7 = & debug;
4881#line 188
4882 __cil_tmp8 = *__cil_tmp7;
4883#line 188
4884 if (__cil_tmp8 >= 1) {
4885 {
4886#line 188
4887 printk("<6>%s: %s()\n", "mt2131", "mt2131_get_frequency");
4888 }
4889 } else {
4890
4891 }
4892 }
4893#line 189
4894 __cil_tmp9 = (unsigned long )priv;
4895#line 189
4896 __cil_tmp10 = __cil_tmp9 + 16;
4897#line 189
4898 *frequency = *((u32 *)__cil_tmp10);
4899#line 190
4900 return (0);
4901}
4902}
4903#line 193 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
4904static int mt2131_get_status(struct dvb_frontend *fe , u32 *status )
4905{ struct mt2131_priv *priv ;
4906 u8 lock_status ;
4907 u8 afc_status ;
4908 unsigned long __cil_tmp6 ;
4909 unsigned long __cil_tmp7 ;
4910 void *__cil_tmp8 ;
4911 u8 *__cil_tmp9 ;
4912 u8 *__cil_tmp10 ;
4913 u8 __cil_tmp11 ;
4914 u8 *__cil_tmp12 ;
4915 u8 __cil_tmp13 ;
4916 int __cil_tmp14 ;
4917 int __cil_tmp15 ;
4918 u8 __cil_tmp16 ;
4919 int *__cil_tmp17 ;
4920 int __cil_tmp18 ;
4921 u8 *__cil_tmp19 ;
4922 u8 __cil_tmp20 ;
4923 int __cil_tmp21 ;
4924 u8 *__cil_tmp22 ;
4925 u8 __cil_tmp23 ;
4926 int __cil_tmp24 ;
4927
4928 {
4929 {
4930#line 195
4931 __cil_tmp6 = (unsigned long )fe;
4932#line 195
4933 __cil_tmp7 = __cil_tmp6 + 768;
4934#line 195
4935 __cil_tmp8 = *((void **)__cil_tmp7);
4936#line 195
4937 priv = (struct mt2131_priv *)__cil_tmp8;
4938#line 196
4939 __cil_tmp9 = & lock_status;
4940#line 196
4941 *__cil_tmp9 = (u8 )0;
4942#line 197
4943 __cil_tmp10 = & afc_status;
4944#line 197
4945 *__cil_tmp10 = (u8 )0;
4946#line 199
4947 *status = (u32 )0;
4948#line 201
4949 __cil_tmp11 = (u8 )8;
4950#line 201
4951 mt2131_readreg(priv, __cil_tmp11, & lock_status);
4952 }
4953 {
4954#line 202
4955 __cil_tmp12 = & lock_status;
4956#line 202
4957 __cil_tmp13 = *__cil_tmp12;
4958#line 202
4959 __cil_tmp14 = (int )__cil_tmp13;
4960#line 202
4961 __cil_tmp15 = __cil_tmp14 & 136;
4962#line 202
4963 if (__cil_tmp15 == 136) {
4964#line 203
4965 *status = (u32 )1;
4966 } else {
4967
4968 }
4969 }
4970 {
4971#line 205
4972 __cil_tmp16 = (u8 )9;
4973#line 205
4974 mt2131_readreg(priv, __cil_tmp16, & afc_status);
4975 }
4976 {
4977#line 206
4978 __cil_tmp17 = & debug;
4979#line 206
4980 __cil_tmp18 = *__cil_tmp17;
4981#line 206
4982 if (__cil_tmp18 >= 1) {
4983 {
4984#line 206
4985 __cil_tmp19 = & lock_status;
4986#line 206
4987 __cil_tmp20 = *__cil_tmp19;
4988#line 206
4989 __cil_tmp21 = (int )__cil_tmp20;
4990#line 206
4991 __cil_tmp22 = & afc_status;
4992#line 206
4993 __cil_tmp23 = *__cil_tmp22;
4994#line 206
4995 __cil_tmp24 = (int )__cil_tmp23;
4996#line 206
4997 printk("<6>%s: %s() - LO Status = 0x%x, AFC Status = 0x%x\n", "mt2131", "mt2131_get_status",
4998 __cil_tmp21, __cil_tmp24);
4999 }
5000 } else {
5001
5002 }
5003 }
5004#line 209
5005 return (0);
5006}
5007}
5008#line 212 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5009static int mt2131_init(struct dvb_frontend *fe )
5010{ struct mt2131_priv *priv ;
5011 int ret ;
5012 unsigned long __cil_tmp4 ;
5013 unsigned long __cil_tmp5 ;
5014 void *__cil_tmp6 ;
5015 int *__cil_tmp7 ;
5016 int __cil_tmp8 ;
5017 unsigned long __cil_tmp9 ;
5018 unsigned long __cil_tmp10 ;
5019 u8 *__cil_tmp11 ;
5020 u8 __cil_tmp12 ;
5021 u8 __cil_tmp13 ;
5022 u8 __cil_tmp14 ;
5023 u8 __cil_tmp15 ;
5024 u8 __cil_tmp16 ;
5025 u8 __cil_tmp17 ;
5026 u8 __cil_tmp18 ;
5027 u8 __cil_tmp19 ;
5028 u8 __cil_tmp20 ;
5029 unsigned long __cil_tmp21 ;
5030 unsigned long __cil_tmp22 ;
5031 u8 *__cil_tmp23 ;
5032 u8 __cil_tmp24 ;
5033
5034 {
5035#line 214
5036 __cil_tmp4 = (unsigned long )fe;
5037#line 214
5038 __cil_tmp5 = __cil_tmp4 + 768;
5039#line 214
5040 __cil_tmp6 = *((void **)__cil_tmp5);
5041#line 214
5042 priv = (struct mt2131_priv *)__cil_tmp6;
5043 {
5044#line 216
5045 __cil_tmp7 = & debug;
5046#line 216
5047 __cil_tmp8 = *__cil_tmp7;
5048#line 216
5049 if (__cil_tmp8 >= 1) {
5050 {
5051#line 216
5052 printk("<6>%s: %s()\n", "mt2131", "mt2131_init");
5053 }
5054 } else {
5055
5056 }
5057 }
5058 {
5059#line 218
5060 __cil_tmp9 = 0 * 1UL;
5061#line 218
5062 __cil_tmp10 = (unsigned long )(mt2131_config1) + __cil_tmp9;
5063#line 218
5064 __cil_tmp11 = (u8 *)__cil_tmp10;
5065#line 218
5066 __cil_tmp12 = (u8 )32UL;
5067#line 218
5068 ret = mt2131_writeregs(priv, __cil_tmp11, __cil_tmp12);
5069 }
5070#line 218
5071 if (ret < 0) {
5072#line 220
5073 return (ret);
5074 } else {
5075
5076 }
5077 {
5078#line 222
5079 __cil_tmp13 = (u8 )11;
5080#line 222
5081 __cil_tmp14 = (u8 )9;
5082#line 222
5083 mt2131_writereg(priv, __cil_tmp13, __cil_tmp14);
5084#line 223
5085 __cil_tmp15 = (u8 )21;
5086#line 223
5087 __cil_tmp16 = (u8 )71;
5088#line 223
5089 mt2131_writereg(priv, __cil_tmp15, __cil_tmp16);
5090#line 224
5091 __cil_tmp17 = (u8 )7;
5092#line 224
5093 __cil_tmp18 = (u8 )242;
5094#line 224
5095 mt2131_writereg(priv, __cil_tmp17, __cil_tmp18);
5096#line 225
5097 __cil_tmp19 = (u8 )11;
5098#line 225
5099 __cil_tmp20 = (u8 )1;
5100#line 225
5101 mt2131_writereg(priv, __cil_tmp19, __cil_tmp20);
5102#line 227
5103 __cil_tmp21 = 0 * 1UL;
5104#line 227
5105 __cil_tmp22 = (unsigned long )(mt2131_config2) + __cil_tmp21;
5106#line 227
5107 __cil_tmp23 = (u8 *)__cil_tmp22;
5108#line 227
5109 __cil_tmp24 = (u8 )7UL;
5110#line 227
5111 ret = mt2131_writeregs(priv, __cil_tmp23, __cil_tmp24);
5112 }
5113#line 227
5114 if (ret < 0) {
5115#line 229
5116 return (ret);
5117 } else {
5118
5119 }
5120#line 231
5121 return (ret);
5122}
5123}
5124#line 234 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5125static int mt2131_release(struct dvb_frontend *fe )
5126{ int *__cil_tmp2 ;
5127 int __cil_tmp3 ;
5128 unsigned long __cil_tmp4 ;
5129 unsigned long __cil_tmp5 ;
5130 void *__cil_tmp6 ;
5131 void const *__cil_tmp7 ;
5132 unsigned long __cil_tmp8 ;
5133 unsigned long __cil_tmp9 ;
5134
5135 {
5136 {
5137#line 236
5138 __cil_tmp2 = & debug;
5139#line 236
5140 __cil_tmp3 = *__cil_tmp2;
5141#line 236
5142 if (__cil_tmp3 >= 1) {
5143 {
5144#line 236
5145 printk("<6>%s: %s()\n", "mt2131", "mt2131_release");
5146 }
5147 } else {
5148
5149 }
5150 }
5151 {
5152#line 237
5153 __cil_tmp4 = (unsigned long )fe;
5154#line 237
5155 __cil_tmp5 = __cil_tmp4 + 768;
5156#line 237
5157 __cil_tmp6 = *((void **)__cil_tmp5);
5158#line 237
5159 __cil_tmp7 = (void const *)__cil_tmp6;
5160#line 237
5161 kfree(__cil_tmp7);
5162#line 238
5163 __cil_tmp8 = (unsigned long )fe;
5164#line 238
5165 __cil_tmp9 = __cil_tmp8 + 768;
5166#line 238
5167 *((void **)__cil_tmp9) = (void *)0;
5168 }
5169#line 239
5170 return (0);
5171}
5172}
5173#line 242 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5174static struct dvb_tuner_ops const mt2131_tuner_ops =
5175#line 242
5176 {{{(char )'M', (char )'i', (char )'c', (char )'r', (char )'o', (char )'t', (char )'u',
5177 (char )'n', (char )'e', (char )' ', (char )'M', (char )'T', (char )'2', (char )'1',
5178 (char )'3', (char )'1', (char )'\000'}, (u32 )48000000, (u32 )860000000, (u32 )50000,
5179 0U, 0U, 0U}, & mt2131_release, & mt2131_init, (int (*)(struct dvb_frontend *fe ))0,
5180 & mt2131_set_params, (int (*)(struct dvb_frontend *fe , struct analog_parameters *p ))0,
5181 (int (*)(struct dvb_frontend *fe , u8 *buf , int buf_len ))0, (int (*)(struct dvb_frontend *fe ,
5182 void *priv_cfg ))0,
5183 & mt2131_get_frequency, (int (*)(struct dvb_frontend *fe , u32 *bandwidth ))0,
5184 (int (*)(struct dvb_frontend *fe , u32 *frequency ))0, & mt2131_get_status, (int (*)(struct dvb_frontend *fe ,
5185 u16 *strength ))0,
5186 (int (*)(struct dvb_frontend *fe , u32 frequency ))0, (int (*)(struct dvb_frontend *fe ,
5187 u32 bandwidth ))0,
5188 (int (*)(struct dvb_frontend *fe , enum tuner_param param , struct tuner_state *state ))0,
5189 (int (*)(struct dvb_frontend *fe , enum tuner_param param , struct tuner_state *state ))0};
5190#line 258 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5191struct dvb_frontend *mt2131_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
5192 struct mt2131_config *cfg , u16 if1 )
5193{ struct mt2131_priv *priv ;
5194 u8 id ;
5195 void *tmp___7 ;
5196 int tmp___8 ;
5197 size_t __len ;
5198 void *__ret ;
5199 void *__cil_tmp11 ;
5200 u8 *__cil_tmp12 ;
5201 int *__cil_tmp13 ;
5202 int __cil_tmp14 ;
5203 void *__cil_tmp15 ;
5204 unsigned long __cil_tmp16 ;
5205 unsigned long __cil_tmp17 ;
5206 void *__cil_tmp18 ;
5207 unsigned long __cil_tmp19 ;
5208 unsigned long __cil_tmp20 ;
5209 u8 __cil_tmp21 ;
5210 void const *__cil_tmp22 ;
5211 void *__cil_tmp23 ;
5212 u8 *__cil_tmp24 ;
5213 u8 __cil_tmp25 ;
5214 int __cil_tmp26 ;
5215 u8 *__cil_tmp27 ;
5216 u8 __cil_tmp28 ;
5217 int __cil_tmp29 ;
5218 u8 __cil_tmp30 ;
5219 int __cil_tmp31 ;
5220 void const *__cil_tmp32 ;
5221 void *__cil_tmp33 ;
5222 u8 __cil_tmp34 ;
5223 int __cil_tmp35 ;
5224 unsigned long __cil_tmp36 ;
5225 unsigned long __cil_tmp37 ;
5226 unsigned long __cil_tmp38 ;
5227 struct dvb_tuner_ops *__cil_tmp39 ;
5228 void *__cil_tmp40 ;
5229 void const *__cil_tmp41 ;
5230 unsigned long __cil_tmp42 ;
5231 unsigned long __cil_tmp43 ;
5232 unsigned long __cil_tmp44 ;
5233 struct dvb_tuner_ops *__cil_tmp45 ;
5234 void *__cil_tmp46 ;
5235 void const *__cil_tmp47 ;
5236 unsigned long __cil_tmp48 ;
5237 unsigned long __cil_tmp49 ;
5238
5239 {
5240#line 262
5241 __cil_tmp11 = (void *)0;
5242#line 262
5243 priv = (struct mt2131_priv *)__cil_tmp11;
5244#line 263
5245 __cil_tmp12 = & id;
5246#line 263
5247 *__cil_tmp12 = (u8 )0;
5248 {
5249#line 265
5250 __cil_tmp13 = & debug;
5251#line 265
5252 __cil_tmp14 = *__cil_tmp13;
5253#line 265
5254 if (__cil_tmp14 >= 1) {
5255 {
5256#line 265
5257 printk("<6>%s: %s()\n", "mt2131", "mt2131_attach");
5258 }
5259 } else {
5260
5261 }
5262 }
5263 {
5264#line 267
5265 tmp___7 = kzalloc(24UL, 208U);
5266#line 267
5267 priv = (struct mt2131_priv *)tmp___7;
5268 }
5269 {
5270#line 268
5271 __cil_tmp15 = (void *)0;
5272#line 268
5273 __cil_tmp16 = (unsigned long )__cil_tmp15;
5274#line 268
5275 __cil_tmp17 = (unsigned long )priv;
5276#line 268
5277 if (__cil_tmp17 == __cil_tmp16) {
5278 {
5279#line 269
5280 __cil_tmp18 = (void *)0;
5281#line 269
5282 return ((struct dvb_frontend *)__cil_tmp18);
5283 }
5284 } else {
5285
5286 }
5287 }
5288 {
5289#line 271
5290 *((struct mt2131_config **)priv) = cfg;
5291#line 272
5292 __cil_tmp19 = (unsigned long )priv;
5293#line 272
5294 __cil_tmp20 = __cil_tmp19 + 8;
5295#line 272
5296 *((struct i2c_adapter **)__cil_tmp20) = i2c;
5297#line 274
5298 __cil_tmp21 = (u8 )0;
5299#line 274
5300 tmp___8 = mt2131_readreg(priv, __cil_tmp21, & id);
5301 }
5302#line 274
5303 if (tmp___8 != 0) {
5304 {
5305#line 275
5306 __cil_tmp22 = (void const *)priv;
5307#line 275
5308 kfree(__cil_tmp22);
5309 }
5310 {
5311#line 276
5312 __cil_tmp23 = (void *)0;
5313#line 276
5314 return ((struct dvb_frontend *)__cil_tmp23);
5315 }
5316 } else {
5317
5318 }
5319 {
5320#line 278
5321 __cil_tmp24 = & id;
5322#line 278
5323 __cil_tmp25 = *__cil_tmp24;
5324#line 278
5325 __cil_tmp26 = (int )__cil_tmp25;
5326#line 278
5327 if (__cil_tmp26 != 62) {
5328 {
5329#line 278
5330 __cil_tmp27 = & id;
5331#line 278
5332 __cil_tmp28 = *__cil_tmp27;
5333#line 278
5334 __cil_tmp29 = (int )__cil_tmp28;
5335#line 278
5336 if (__cil_tmp29 != 63) {
5337 {
5338#line 279
5339 __cil_tmp30 = *((u8 *)cfg);
5340#line 279
5341 __cil_tmp31 = (int )__cil_tmp30;
5342#line 279
5343 printk("<3>MT2131: Device not found at addr 0x%02x\n", __cil_tmp31);
5344#line 281
5345 __cil_tmp32 = (void const *)priv;
5346#line 281
5347 kfree(__cil_tmp32);
5348 }
5349 {
5350#line 282
5351 __cil_tmp33 = (void *)0;
5352#line 282
5353 return ((struct dvb_frontend *)__cil_tmp33);
5354 }
5355 } else {
5356
5357 }
5358 }
5359 } else {
5360
5361 }
5362 }
5363 {
5364#line 285
5365 __cil_tmp34 = *((u8 *)cfg);
5366#line 285
5367 __cil_tmp35 = (int )__cil_tmp34;
5368#line 285
5369 printk("<6>MT2131: successfully identified at address 0x%02x\n", __cil_tmp35);
5370#line 287
5371 __len = 280UL;
5372 }
5373#line 287
5374 if (__len >= 64UL) {
5375 {
5376#line 287
5377 __cil_tmp36 = 0 + 384;
5378#line 287
5379 __cil_tmp37 = (unsigned long )fe;
5380#line 287
5381 __cil_tmp38 = __cil_tmp37 + __cil_tmp36;
5382#line 287
5383 __cil_tmp39 = (struct dvb_tuner_ops *)__cil_tmp38;
5384#line 287
5385 __cil_tmp40 = (void *)__cil_tmp39;
5386#line 287
5387 __cil_tmp41 = (void const *)(& mt2131_tuner_ops);
5388#line 287
5389 __ret = __memcpy(__cil_tmp40, __cil_tmp41, __len);
5390 }
5391 } else {
5392 {
5393#line 287
5394 __cil_tmp42 = 0 + 384;
5395#line 287
5396 __cil_tmp43 = (unsigned long )fe;
5397#line 287
5398 __cil_tmp44 = __cil_tmp43 + __cil_tmp42;
5399#line 287
5400 __cil_tmp45 = (struct dvb_tuner_ops *)__cil_tmp44;
5401#line 287
5402 __cil_tmp46 = (void *)__cil_tmp45;
5403#line 287
5404 __cil_tmp47 = (void const *)(& mt2131_tuner_ops);
5405#line 287
5406 __ret = __builtin_memcpy(__cil_tmp46, __cil_tmp47, __len);
5407 }
5408 }
5409#line 290
5410 __cil_tmp48 = (unsigned long )fe;
5411#line 290
5412 __cil_tmp49 = __cil_tmp48 + 768;
5413#line 290
5414 *((void **)__cil_tmp49) = (void *)priv;
5415#line 291
5416 return (fe);
5417}
5418}
5419#line 293
5420extern void *__crc_mt2131_attach __attribute__((__weak__)) ;
5421#line 293 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5422static unsigned long const __kcrctab_mt2131_attach __attribute__((__used__, __unused__,
5423__section__("___kcrctab+mt2131_attach"))) = (unsigned long const )((unsigned long )(& __crc_mt2131_attach));
5424#line 293 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5425static char const __kstrtab_mt2131_attach[14] __attribute__((__section__("__ksymtab_strings"),
5426__aligned__(1))) =
5427#line 293
5428 { (char const )'m', (char const )'t', (char const )'2', (char const )'1',
5429 (char const )'3', (char const )'1', (char const )'_', (char const )'a',
5430 (char const )'t', (char const )'t', (char const )'a', (char const )'c',
5431 (char const )'h', (char const )'\000'};
5432#line 293 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5433static struct kernel_symbol const __ksymtab_mt2131_attach __attribute__((__used__,
5434__unused__, __section__("___ksymtab+mt2131_attach"))) = {(unsigned long )(& mt2131_attach), __kstrtab_mt2131_attach};
5435#line 295 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5436static char const __mod_author295[19] __attribute__((__used__, __unused__, __section__(".modinfo"),
5437__aligned__(1))) =
5438#line 295
5439 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
5440 (char const )'o', (char const )'r', (char const )'=', (char const )'S',
5441 (char const )'t', (char const )'e', (char const )'v', (char const )'e',
5442 (char const )'n', (char const )' ', (char const )'T', (char const )'o',
5443 (char const )'t', (char const )'h', (char const )'\000'};
5444#line 296 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5445static char const __mod_description296[50] __attribute__((__used__, __unused__,
5446__section__(".modinfo"), __aligned__(1))) =
5447#line 296
5448 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
5449 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
5450 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
5451 (char const )'M', (char const )'i', (char const )'c', (char const )'r',
5452 (char const )'o', (char const )'t', (char const )'u', (char const )'n',
5453 (char const )'e', (char const )' ', (char const )'M', (char const )'T',
5454 (char const )'2', (char const )'1', (char const )'3', (char const )'1',
5455 (char const )' ', (char const )'s', (char const )'i', (char const )'l',
5456 (char const )'i', (char const )'c', (char const )'o', (char const )'n',
5457 (char const )' ', (char const )'t', (char const )'u', (char const )'n',
5458 (char const )'e', (char const )'r', (char const )' ', (char const )'d',
5459 (char const )'r', (char const )'i', (char const )'v', (char const )'e',
5460 (char const )'r', (char const )'\000'};
5461#line 297 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5462static char const __mod_license297[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
5463__aligned__(1))) =
5464#line 297
5465 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
5466 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
5467 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
5468#line 320
5469void ldv_check_final_state(void) ;
5470#line 326
5471extern void ldv_initialize(void) ;
5472#line 329
5473extern int __VERIFIER_nondet_int(void) ;
5474#line 332 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5475int LDV_IN_INTERRUPT ;
5476#line 335 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5477void main(void)
5478{ struct dvb_frontend *var_group1 ;
5479 u32 *var_mt2131_get_frequency_4_p1 ;
5480 u32 *var_mt2131_get_status_5_p1 ;
5481 int ldv_s_mt2131_tuner_ops_dvb_tuner_ops ;
5482 int tmp___7 ;
5483 int tmp___8 ;
5484 int __cil_tmp7 ;
5485
5486 {
5487 {
5488#line 380
5489 LDV_IN_INTERRUPT = 1;
5490#line 389
5491 ldv_initialize();
5492#line 390
5493 ldv_s_mt2131_tuner_ops_dvb_tuner_ops = 0;
5494 }
5495 {
5496#line 394
5497 while (1) {
5498 while_continue: ;
5499 {
5500#line 394
5501 tmp___8 = __VERIFIER_nondet_int();
5502 }
5503#line 394
5504 if (tmp___8) {
5505
5506 } else {
5507 {
5508#line 394
5509 __cil_tmp7 = ldv_s_mt2131_tuner_ops_dvb_tuner_ops == 0;
5510#line 394
5511 if (! __cil_tmp7) {
5512
5513 } else {
5514#line 394
5515 goto while_break;
5516 }
5517 }
5518 }
5519 {
5520#line 398
5521 tmp___7 = __VERIFIER_nondet_int();
5522 }
5523#line 400
5524 if (tmp___7 == 0) {
5525#line 400
5526 goto case_0;
5527 } else
5528#line 419
5529 if (tmp___7 == 1) {
5530#line 419
5531 goto case_1;
5532 } else
5533#line 438
5534 if (tmp___7 == 2) {
5535#line 438
5536 goto case_2;
5537 } else
5538#line 457
5539 if (tmp___7 == 3) {
5540#line 457
5541 goto case_3;
5542 } else
5543#line 476
5544 if (tmp___7 == 4) {
5545#line 476
5546 goto case_4;
5547 } else {
5548 {
5549#line 495
5550 goto switch_default;
5551#line 398
5552 if (0) {
5553 case_0:
5554#line 403
5555 if (ldv_s_mt2131_tuner_ops_dvb_tuner_ops == 0) {
5556 {
5557#line 411
5558 mt2131_release(var_group1);
5559#line 412
5560 ldv_s_mt2131_tuner_ops_dvb_tuner_ops = 0;
5561 }
5562 } else {
5563
5564 }
5565#line 418
5566 goto switch_break;
5567 case_1:
5568 {
5569#line 430
5570 mt2131_init(var_group1);
5571 }
5572#line 437
5573 goto switch_break;
5574 case_2:
5575 {
5576#line 449
5577 mt2131_set_params(var_group1);
5578 }
5579#line 456
5580 goto switch_break;
5581 case_3:
5582 {
5583#line 468
5584 mt2131_get_frequency(var_group1, var_mt2131_get_frequency_4_p1);
5585 }
5586#line 475
5587 goto switch_break;
5588 case_4:
5589 {
5590#line 487
5591 mt2131_get_status(var_group1, var_mt2131_get_status_5_p1);
5592 }
5593#line 494
5594 goto switch_break;
5595 switch_default:
5596#line 495
5597 goto switch_break;
5598 } else {
5599 switch_break: ;
5600 }
5601 }
5602 }
5603 }
5604 while_break: ;
5605 }
5606 {
5607#line 504
5608 ldv_check_final_state();
5609 }
5610#line 507
5611 return;
5612}
5613}
5614#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
5615void ldv_blast_assert(void)
5616{
5617
5618 {
5619 ERROR:
5620#line 6
5621 goto ERROR;
5622}
5623}
5624#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
5625extern int __VERIFIER_nondet_int(void) ;
5626#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5627int ldv_mutex = 1;
5628#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5629int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
5630{ int nondetermined ;
5631
5632 {
5633#line 29
5634 if (ldv_mutex == 1) {
5635
5636 } else {
5637 {
5638#line 29
5639 ldv_blast_assert();
5640 }
5641 }
5642 {
5643#line 32
5644 nondetermined = __VERIFIER_nondet_int();
5645 }
5646#line 35
5647 if (nondetermined) {
5648#line 38
5649 ldv_mutex = 2;
5650#line 40
5651 return (0);
5652 } else {
5653#line 45
5654 return (-4);
5655 }
5656}
5657}
5658#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5659int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
5660{ int nondetermined ;
5661
5662 {
5663#line 57
5664 if (ldv_mutex == 1) {
5665
5666 } else {
5667 {
5668#line 57
5669 ldv_blast_assert();
5670 }
5671 }
5672 {
5673#line 60
5674 nondetermined = __VERIFIER_nondet_int();
5675 }
5676#line 63
5677 if (nondetermined) {
5678#line 66
5679 ldv_mutex = 2;
5680#line 68
5681 return (0);
5682 } else {
5683#line 73
5684 return (-4);
5685 }
5686}
5687}
5688#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5689int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
5690{ int atomic_value_after_dec ;
5691
5692 {
5693#line 83
5694 if (ldv_mutex == 1) {
5695
5696 } else {
5697 {
5698#line 83
5699 ldv_blast_assert();
5700 }
5701 }
5702 {
5703#line 86
5704 atomic_value_after_dec = __VERIFIER_nondet_int();
5705 }
5706#line 89
5707 if (atomic_value_after_dec == 0) {
5708#line 92
5709 ldv_mutex = 2;
5710#line 94
5711 return (1);
5712 } else {
5713
5714 }
5715#line 98
5716 return (0);
5717}
5718}
5719#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5720void mutex_lock(struct mutex *lock )
5721{
5722
5723 {
5724#line 108
5725 if (ldv_mutex == 1) {
5726
5727 } else {
5728 {
5729#line 108
5730 ldv_blast_assert();
5731 }
5732 }
5733#line 110
5734 ldv_mutex = 2;
5735#line 111
5736 return;
5737}
5738}
5739#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5740int mutex_trylock(struct mutex *lock )
5741{ int nondetermined ;
5742
5743 {
5744#line 121
5745 if (ldv_mutex == 1) {
5746
5747 } else {
5748 {
5749#line 121
5750 ldv_blast_assert();
5751 }
5752 }
5753 {
5754#line 124
5755 nondetermined = __VERIFIER_nondet_int();
5756 }
5757#line 127
5758 if (nondetermined) {
5759#line 130
5760 ldv_mutex = 2;
5761#line 132
5762 return (1);
5763 } else {
5764#line 137
5765 return (0);
5766 }
5767}
5768}
5769#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5770void mutex_unlock(struct mutex *lock )
5771{
5772
5773 {
5774#line 147
5775 if (ldv_mutex == 2) {
5776
5777 } else {
5778 {
5779#line 147
5780 ldv_blast_assert();
5781 }
5782 }
5783#line 149
5784 ldv_mutex = 1;
5785#line 150
5786 return;
5787}
5788}
5789#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5790void ldv_check_final_state(void)
5791{
5792
5793 {
5794#line 156
5795 if (ldv_mutex == 1) {
5796
5797 } else {
5798 {
5799#line 156
5800 ldv_blast_assert();
5801 }
5802 }
5803#line 157
5804 return;
5805}
5806}
5807#line 516 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14000/dscv_tempdir/dscv/ri/32_1/drivers/media/common/tuners/mt2131.c.common.c"
5808long s__builtin_expect(long val , long res )
5809{
5810
5811 {
5812#line 517
5813 return (val);
5814}
5815}