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