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