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