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