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 28 "include/linux/rtmutex.h"
1532struct rt_mutex {
1533 raw_spinlock_t wait_lock ;
1534 struct plist_head wait_list ;
1535 struct task_struct *owner ;
1536 int save_state ;
1537 char const *name ;
1538 char const *file ;
1539 int line ;
1540 void *magic ;
1541};
1542#line 40
1543struct rt_mutex_waiter;
1544#line 40
1545struct rt_mutex_waiter;
1546#line 42 "include/linux/resource.h"
1547struct rlimit {
1548 unsigned long rlim_cur ;
1549 unsigned long rlim_max ;
1550};
1551#line 81
1552struct task_struct;
1553#line 8 "include/linux/timerqueue.h"
1554struct timerqueue_node {
1555 struct rb_node node ;
1556 ktime_t expires ;
1557};
1558#line 13 "include/linux/timerqueue.h"
1559struct timerqueue_head {
1560 struct rb_root head ;
1561 struct timerqueue_node *next ;
1562};
1563#line 27 "include/linux/hrtimer.h"
1564struct hrtimer_clock_base;
1565#line 27
1566struct hrtimer_clock_base;
1567#line 28
1568struct hrtimer_cpu_base;
1569#line 28
1570struct hrtimer_cpu_base;
1571#line 44
1572enum hrtimer_restart {
1573 HRTIMER_NORESTART = 0,
1574 HRTIMER_RESTART = 1
1575} ;
1576#line 108 "include/linux/hrtimer.h"
1577struct hrtimer {
1578 struct timerqueue_node node ;
1579 ktime_t _softexpires ;
1580 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1581 struct hrtimer_clock_base *base ;
1582 unsigned long state ;
1583 int start_pid ;
1584 void *start_site ;
1585 char start_comm[16] ;
1586};
1587#line 145 "include/linux/hrtimer.h"
1588struct hrtimer_clock_base {
1589 struct hrtimer_cpu_base *cpu_base ;
1590 int index ;
1591 clockid_t clockid ;
1592 struct timerqueue_head active ;
1593 ktime_t resolution ;
1594 ktime_t (*get_time)(void) ;
1595 ktime_t softirq_time ;
1596 ktime_t offset ;
1597};
1598#line 178 "include/linux/hrtimer.h"
1599struct hrtimer_cpu_base {
1600 raw_spinlock_t lock ;
1601 unsigned long active_bases ;
1602 ktime_t expires_next ;
1603 int hres_active ;
1604 int hang_detected ;
1605 unsigned long nr_events ;
1606 unsigned long nr_retries ;
1607 unsigned long nr_hangs ;
1608 ktime_t max_hang_time ;
1609 struct hrtimer_clock_base clock_base[3] ;
1610};
1611#line 11 "include/linux/task_io_accounting.h"
1612struct task_io_accounting {
1613 u64 rchar ;
1614 u64 wchar ;
1615 u64 syscr ;
1616 u64 syscw ;
1617 u64 read_bytes ;
1618 u64 write_bytes ;
1619 u64 cancelled_write_bytes ;
1620};
1621#line 13 "include/linux/latencytop.h"
1622struct task_struct;
1623#line 20 "include/linux/latencytop.h"
1624struct latency_record {
1625 unsigned long backtrace[12] ;
1626 unsigned int count ;
1627 unsigned long time ;
1628 unsigned long max ;
1629};
1630#line 29 "include/linux/key.h"
1631typedef int32_t key_serial_t;
1632#line 32 "include/linux/key.h"
1633typedef uint32_t key_perm_t;
1634#line 34
1635struct key;
1636#line 34
1637struct key;
1638#line 74
1639struct seq_file;
1640#line 75
1641struct user_struct;
1642#line 76
1643struct signal_struct;
1644#line 76
1645struct signal_struct;
1646#line 77
1647struct cred;
1648#line 79
1649struct key_type;
1650#line 79
1651struct key_type;
1652#line 81
1653struct keyring_list;
1654#line 81
1655struct keyring_list;
1656#line 124
1657struct key_user;
1658#line 124 "include/linux/key.h"
1659union __anonunion____missing_field_name_225 {
1660 time_t expiry ;
1661 time_t revoked_at ;
1662};
1663#line 124 "include/linux/key.h"
1664union __anonunion_type_data_226 {
1665 struct list_head link ;
1666 unsigned long x[2] ;
1667 void *p[2] ;
1668 int reject_error ;
1669};
1670#line 124 "include/linux/key.h"
1671union __anonunion_payload_227 {
1672 unsigned long value ;
1673 void *rcudata ;
1674 void *data ;
1675 struct keyring_list *subscriptions ;
1676};
1677#line 124 "include/linux/key.h"
1678struct key {
1679 atomic_t usage ;
1680 key_serial_t serial ;
1681 struct rb_node serial_node ;
1682 struct key_type *type ;
1683 struct rw_semaphore sem ;
1684 struct key_user *user ;
1685 void *security ;
1686 union __anonunion____missing_field_name_225 __annonCompField42 ;
1687 uid_t uid ;
1688 gid_t gid ;
1689 key_perm_t perm ;
1690 unsigned short quotalen ;
1691 unsigned short datalen ;
1692 unsigned long flags ;
1693 char *description ;
1694 union __anonunion_type_data_226 type_data ;
1695 union __anonunion_payload_227 payload ;
1696};
1697#line 18 "include/linux/selinux.h"
1698struct audit_context;
1699#line 18
1700struct audit_context;
1701#line 21 "include/linux/cred.h"
1702struct user_struct;
1703#line 22
1704struct cred;
1705#line 23
1706struct inode;
1707#line 23
1708struct inode;
1709#line 31 "include/linux/cred.h"
1710struct group_info {
1711 atomic_t usage ;
1712 int ngroups ;
1713 int nblocks ;
1714 gid_t small_block[32] ;
1715 gid_t *blocks[0] ;
1716};
1717#line 83 "include/linux/cred.h"
1718struct thread_group_cred {
1719 atomic_t usage ;
1720 pid_t tgid ;
1721 spinlock_t lock ;
1722 struct key *session_keyring ;
1723 struct key *process_keyring ;
1724 struct rcu_head rcu ;
1725};
1726#line 116 "include/linux/cred.h"
1727struct cred {
1728 atomic_t usage ;
1729 atomic_t subscribers ;
1730 void *put_addr ;
1731 unsigned int magic ;
1732 uid_t uid ;
1733 gid_t gid ;
1734 uid_t suid ;
1735 gid_t sgid ;
1736 uid_t euid ;
1737 gid_t egid ;
1738 uid_t fsuid ;
1739 gid_t fsgid ;
1740 unsigned int securebits ;
1741 kernel_cap_t cap_inheritable ;
1742 kernel_cap_t cap_permitted ;
1743 kernel_cap_t cap_effective ;
1744 kernel_cap_t cap_bset ;
1745 unsigned char jit_keyring ;
1746 struct key *thread_keyring ;
1747 struct key *request_key_auth ;
1748 struct thread_group_cred *tgcred ;
1749 void *security ;
1750 struct user_struct *user ;
1751 struct user_namespace *user_ns ;
1752 struct group_info *group_info ;
1753 struct rcu_head rcu ;
1754};
1755#line 61 "include/linux/llist.h"
1756struct llist_node;
1757#line 65 "include/linux/llist.h"
1758struct llist_node {
1759 struct llist_node *next ;
1760};
1761#line 97 "include/linux/sched.h"
1762struct futex_pi_state;
1763#line 97
1764struct futex_pi_state;
1765#line 98
1766struct robust_list_head;
1767#line 98
1768struct robust_list_head;
1769#line 99
1770struct bio_list;
1771#line 99
1772struct bio_list;
1773#line 100
1774struct fs_struct;
1775#line 100
1776struct fs_struct;
1777#line 101
1778struct perf_event_context;
1779#line 101
1780struct perf_event_context;
1781#line 102
1782struct blk_plug;
1783#line 102
1784struct blk_plug;
1785#line 150
1786struct seq_file;
1787#line 151
1788struct cfs_rq;
1789#line 151
1790struct cfs_rq;
1791#line 259
1792struct task_struct;
1793#line 366
1794struct nsproxy;
1795#line 367
1796struct user_namespace;
1797#line 58 "include/linux/aio_abi.h"
1798struct io_event {
1799 __u64 data ;
1800 __u64 obj ;
1801 __s64 res ;
1802 __s64 res2 ;
1803};
1804#line 16 "include/linux/uio.h"
1805struct iovec {
1806 void *iov_base ;
1807 __kernel_size_t iov_len ;
1808};
1809#line 15 "include/linux/aio.h"
1810struct kioctx;
1811#line 15
1812struct kioctx;
1813#line 87 "include/linux/aio.h"
1814union __anonunion_ki_obj_229 {
1815 void *user ;
1816 struct task_struct *tsk ;
1817};
1818#line 87
1819struct eventfd_ctx;
1820#line 87 "include/linux/aio.h"
1821struct kiocb {
1822 struct list_head ki_run_list ;
1823 unsigned long ki_flags ;
1824 int ki_users ;
1825 unsigned int ki_key ;
1826 struct file *ki_filp ;
1827 struct kioctx *ki_ctx ;
1828 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
1829 ssize_t (*ki_retry)(struct kiocb * ) ;
1830 void (*ki_dtor)(struct kiocb * ) ;
1831 union __anonunion_ki_obj_229 ki_obj ;
1832 __u64 ki_user_data ;
1833 loff_t ki_pos ;
1834 void *private ;
1835 unsigned short ki_opcode ;
1836 size_t ki_nbytes ;
1837 char *ki_buf ;
1838 size_t ki_left ;
1839 struct iovec ki_inline_vec ;
1840 struct iovec *ki_iovec ;
1841 unsigned long ki_nr_segs ;
1842 unsigned long ki_cur_seg ;
1843 struct list_head ki_list ;
1844 struct list_head ki_batch ;
1845 struct eventfd_ctx *ki_eventfd ;
1846};
1847#line 166 "include/linux/aio.h"
1848struct aio_ring_info {
1849 unsigned long mmap_base ;
1850 unsigned long mmap_size ;
1851 struct page **ring_pages ;
1852 spinlock_t ring_lock ;
1853 long nr_pages ;
1854 unsigned int nr ;
1855 unsigned int tail ;
1856 struct page *internal_pages[8] ;
1857};
1858#line 179 "include/linux/aio.h"
1859struct kioctx {
1860 atomic_t users ;
1861 int dead ;
1862 struct mm_struct *mm ;
1863 unsigned long user_id ;
1864 struct hlist_node list ;
1865 wait_queue_head_t wait ;
1866 spinlock_t ctx_lock ;
1867 int reqs_active ;
1868 struct list_head active_reqs ;
1869 struct list_head run_list ;
1870 unsigned int max_reqs ;
1871 struct aio_ring_info ring_info ;
1872 struct delayed_work wq ;
1873 struct rcu_head rcu_head ;
1874};
1875#line 214
1876struct mm_struct;
1877#line 443 "include/linux/sched.h"
1878struct sighand_struct {
1879 atomic_t count ;
1880 struct k_sigaction action[64] ;
1881 spinlock_t siglock ;
1882 wait_queue_head_t signalfd_wqh ;
1883};
1884#line 450 "include/linux/sched.h"
1885struct pacct_struct {
1886 int ac_flag ;
1887 long ac_exitcode ;
1888 unsigned long ac_mem ;
1889 cputime_t ac_utime ;
1890 cputime_t ac_stime ;
1891 unsigned long ac_minflt ;
1892 unsigned long ac_majflt ;
1893};
1894#line 458 "include/linux/sched.h"
1895struct cpu_itimer {
1896 cputime_t expires ;
1897 cputime_t incr ;
1898 u32 error ;
1899 u32 incr_error ;
1900};
1901#line 476 "include/linux/sched.h"
1902struct task_cputime {
1903 cputime_t utime ;
1904 cputime_t stime ;
1905 unsigned long long sum_exec_runtime ;
1906};
1907#line 512 "include/linux/sched.h"
1908struct thread_group_cputimer {
1909 struct task_cputime cputime ;
1910 int running ;
1911 raw_spinlock_t lock ;
1912};
1913#line 519
1914struct autogroup;
1915#line 519
1916struct autogroup;
1917#line 528
1918struct tty_struct;
1919#line 528
1920struct taskstats;
1921#line 528
1922struct tty_audit_buf;
1923#line 528 "include/linux/sched.h"
1924struct signal_struct {
1925 atomic_t sigcnt ;
1926 atomic_t live ;
1927 int nr_threads ;
1928 wait_queue_head_t wait_chldexit ;
1929 struct task_struct *curr_target ;
1930 struct sigpending shared_pending ;
1931 int group_exit_code ;
1932 int notify_count ;
1933 struct task_struct *group_exit_task ;
1934 int group_stop_count ;
1935 unsigned int flags ;
1936 unsigned int is_child_subreaper : 1 ;
1937 unsigned int has_child_subreaper : 1 ;
1938 struct list_head posix_timers ;
1939 struct hrtimer real_timer ;
1940 struct pid *leader_pid ;
1941 ktime_t it_real_incr ;
1942 struct cpu_itimer it[2] ;
1943 struct thread_group_cputimer cputimer ;
1944 struct task_cputime cputime_expires ;
1945 struct list_head cpu_timers[3] ;
1946 struct pid *tty_old_pgrp ;
1947 int leader ;
1948 struct tty_struct *tty ;
1949 struct autogroup *autogroup ;
1950 cputime_t utime ;
1951 cputime_t stime ;
1952 cputime_t cutime ;
1953 cputime_t cstime ;
1954 cputime_t gtime ;
1955 cputime_t cgtime ;
1956 cputime_t prev_utime ;
1957 cputime_t prev_stime ;
1958 unsigned long nvcsw ;
1959 unsigned long nivcsw ;
1960 unsigned long cnvcsw ;
1961 unsigned long cnivcsw ;
1962 unsigned long min_flt ;
1963 unsigned long maj_flt ;
1964 unsigned long cmin_flt ;
1965 unsigned long cmaj_flt ;
1966 unsigned long inblock ;
1967 unsigned long oublock ;
1968 unsigned long cinblock ;
1969 unsigned long coublock ;
1970 unsigned long maxrss ;
1971 unsigned long cmaxrss ;
1972 struct task_io_accounting ioac ;
1973 unsigned long long sum_sched_runtime ;
1974 struct rlimit rlim[16] ;
1975 struct pacct_struct pacct ;
1976 struct taskstats *stats ;
1977 unsigned int audit_tty ;
1978 struct tty_audit_buf *tty_audit_buf ;
1979 struct rw_semaphore group_rwsem ;
1980 int oom_adj ;
1981 int oom_score_adj ;
1982 int oom_score_adj_min ;
1983 struct mutex cred_guard_mutex ;
1984};
1985#line 703 "include/linux/sched.h"
1986struct user_struct {
1987 atomic_t __count ;
1988 atomic_t processes ;
1989 atomic_t files ;
1990 atomic_t sigpending ;
1991 atomic_t inotify_watches ;
1992 atomic_t inotify_devs ;
1993 atomic_t fanotify_listeners ;
1994 atomic_long_t epoll_watches ;
1995 unsigned long mq_bytes ;
1996 unsigned long locked_shm ;
1997 struct key *uid_keyring ;
1998 struct key *session_keyring ;
1999 struct hlist_node uidhash_node ;
2000 uid_t uid ;
2001 struct user_namespace *user_ns ;
2002 atomic_long_t locked_vm ;
2003};
2004#line 747
2005struct backing_dev_info;
2006#line 747
2007struct backing_dev_info;
2008#line 748
2009struct reclaim_state;
2010#line 748
2011struct reclaim_state;
2012#line 751 "include/linux/sched.h"
2013struct sched_info {
2014 unsigned long pcount ;
2015 unsigned long long run_delay ;
2016 unsigned long long last_arrival ;
2017 unsigned long long last_queued ;
2018};
2019#line 763 "include/linux/sched.h"
2020struct task_delay_info {
2021 spinlock_t lock ;
2022 unsigned int flags ;
2023 struct timespec blkio_start ;
2024 struct timespec blkio_end ;
2025 u64 blkio_delay ;
2026 u64 swapin_delay ;
2027 u32 blkio_count ;
2028 u32 swapin_count ;
2029 struct timespec freepages_start ;
2030 struct timespec freepages_end ;
2031 u64 freepages_delay ;
2032 u32 freepages_count ;
2033};
2034#line 1088
2035struct io_context;
2036#line 1088
2037struct io_context;
2038#line 1097
2039struct audit_context;
2040#line 1098
2041struct mempolicy;
2042#line 1099
2043struct pipe_inode_info;
2044#line 1099
2045struct pipe_inode_info;
2046#line 1102
2047struct rq;
2048#line 1102
2049struct rq;
2050#line 1122 "include/linux/sched.h"
2051struct sched_class {
2052 struct sched_class const *next ;
2053 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2054 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2055 void (*yield_task)(struct rq *rq ) ;
2056 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2057 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2058 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2059 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2060 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2061 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2062 void (*post_schedule)(struct rq *this_rq ) ;
2063 void (*task_waking)(struct task_struct *task ) ;
2064 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2065 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2066 void (*rq_online)(struct rq *rq ) ;
2067 void (*rq_offline)(struct rq *rq ) ;
2068 void (*set_curr_task)(struct rq *rq ) ;
2069 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2070 void (*task_fork)(struct task_struct *p ) ;
2071 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2072 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2073 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2074 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2075 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2076};
2077#line 1167 "include/linux/sched.h"
2078struct load_weight {
2079 unsigned long weight ;
2080 unsigned long inv_weight ;
2081};
2082#line 1172 "include/linux/sched.h"
2083struct sched_statistics {
2084 u64 wait_start ;
2085 u64 wait_max ;
2086 u64 wait_count ;
2087 u64 wait_sum ;
2088 u64 iowait_count ;
2089 u64 iowait_sum ;
2090 u64 sleep_start ;
2091 u64 sleep_max ;
2092 s64 sum_sleep_runtime ;
2093 u64 block_start ;
2094 u64 block_max ;
2095 u64 exec_max ;
2096 u64 slice_max ;
2097 u64 nr_migrations_cold ;
2098 u64 nr_failed_migrations_affine ;
2099 u64 nr_failed_migrations_running ;
2100 u64 nr_failed_migrations_hot ;
2101 u64 nr_forced_migrations ;
2102 u64 nr_wakeups ;
2103 u64 nr_wakeups_sync ;
2104 u64 nr_wakeups_migrate ;
2105 u64 nr_wakeups_local ;
2106 u64 nr_wakeups_remote ;
2107 u64 nr_wakeups_affine ;
2108 u64 nr_wakeups_affine_attempts ;
2109 u64 nr_wakeups_passive ;
2110 u64 nr_wakeups_idle ;
2111};
2112#line 1207 "include/linux/sched.h"
2113struct sched_entity {
2114 struct load_weight load ;
2115 struct rb_node run_node ;
2116 struct list_head group_node ;
2117 unsigned int on_rq ;
2118 u64 exec_start ;
2119 u64 sum_exec_runtime ;
2120 u64 vruntime ;
2121 u64 prev_sum_exec_runtime ;
2122 u64 nr_migrations ;
2123 struct sched_statistics statistics ;
2124 struct sched_entity *parent ;
2125 struct cfs_rq *cfs_rq ;
2126 struct cfs_rq *my_q ;
2127};
2128#line 1233
2129struct rt_rq;
2130#line 1233 "include/linux/sched.h"
2131struct sched_rt_entity {
2132 struct list_head run_list ;
2133 unsigned long timeout ;
2134 unsigned int time_slice ;
2135 int nr_cpus_allowed ;
2136 struct sched_rt_entity *back ;
2137 struct sched_rt_entity *parent ;
2138 struct rt_rq *rt_rq ;
2139 struct rt_rq *my_q ;
2140};
2141#line 1264
2142struct files_struct;
2143#line 1264
2144struct css_set;
2145#line 1264
2146struct compat_robust_list_head;
2147#line 1264
2148struct mem_cgroup;
2149#line 1264 "include/linux/sched.h"
2150struct memcg_batch_info {
2151 int do_batch ;
2152 struct mem_cgroup *memcg ;
2153 unsigned long nr_pages ;
2154 unsigned long memsw_nr_pages ;
2155};
2156#line 1264 "include/linux/sched.h"
2157struct task_struct {
2158 long volatile state ;
2159 void *stack ;
2160 atomic_t usage ;
2161 unsigned int flags ;
2162 unsigned int ptrace ;
2163 struct llist_node wake_entry ;
2164 int on_cpu ;
2165 int on_rq ;
2166 int prio ;
2167 int static_prio ;
2168 int normal_prio ;
2169 unsigned int rt_priority ;
2170 struct sched_class const *sched_class ;
2171 struct sched_entity se ;
2172 struct sched_rt_entity rt ;
2173 struct hlist_head preempt_notifiers ;
2174 unsigned char fpu_counter ;
2175 unsigned int policy ;
2176 cpumask_t cpus_allowed ;
2177 struct sched_info sched_info ;
2178 struct list_head tasks ;
2179 struct plist_node pushable_tasks ;
2180 struct mm_struct *mm ;
2181 struct mm_struct *active_mm ;
2182 unsigned int brk_randomized : 1 ;
2183 int exit_state ;
2184 int exit_code ;
2185 int exit_signal ;
2186 int pdeath_signal ;
2187 unsigned int jobctl ;
2188 unsigned int personality ;
2189 unsigned int did_exec : 1 ;
2190 unsigned int in_execve : 1 ;
2191 unsigned int in_iowait : 1 ;
2192 unsigned int sched_reset_on_fork : 1 ;
2193 unsigned int sched_contributes_to_load : 1 ;
2194 unsigned int irq_thread : 1 ;
2195 pid_t pid ;
2196 pid_t tgid ;
2197 unsigned long stack_canary ;
2198 struct task_struct *real_parent ;
2199 struct task_struct *parent ;
2200 struct list_head children ;
2201 struct list_head sibling ;
2202 struct task_struct *group_leader ;
2203 struct list_head ptraced ;
2204 struct list_head ptrace_entry ;
2205 struct pid_link pids[3] ;
2206 struct list_head thread_group ;
2207 struct completion *vfork_done ;
2208 int *set_child_tid ;
2209 int *clear_child_tid ;
2210 cputime_t utime ;
2211 cputime_t stime ;
2212 cputime_t utimescaled ;
2213 cputime_t stimescaled ;
2214 cputime_t gtime ;
2215 cputime_t prev_utime ;
2216 cputime_t prev_stime ;
2217 unsigned long nvcsw ;
2218 unsigned long nivcsw ;
2219 struct timespec start_time ;
2220 struct timespec real_start_time ;
2221 unsigned long min_flt ;
2222 unsigned long maj_flt ;
2223 struct task_cputime cputime_expires ;
2224 struct list_head cpu_timers[3] ;
2225 struct cred const *real_cred ;
2226 struct cred const *cred ;
2227 struct cred *replacement_session_keyring ;
2228 char comm[16] ;
2229 int link_count ;
2230 int total_link_count ;
2231 struct sysv_sem sysvsem ;
2232 unsigned long last_switch_count ;
2233 struct thread_struct thread ;
2234 struct fs_struct *fs ;
2235 struct files_struct *files ;
2236 struct nsproxy *nsproxy ;
2237 struct signal_struct *signal ;
2238 struct sighand_struct *sighand ;
2239 sigset_t blocked ;
2240 sigset_t real_blocked ;
2241 sigset_t saved_sigmask ;
2242 struct sigpending pending ;
2243 unsigned long sas_ss_sp ;
2244 size_t sas_ss_size ;
2245 int (*notifier)(void *priv ) ;
2246 void *notifier_data ;
2247 sigset_t *notifier_mask ;
2248 struct audit_context *audit_context ;
2249 uid_t loginuid ;
2250 unsigned int sessionid ;
2251 seccomp_t seccomp ;
2252 u32 parent_exec_id ;
2253 u32 self_exec_id ;
2254 spinlock_t alloc_lock ;
2255 raw_spinlock_t pi_lock ;
2256 struct plist_head pi_waiters ;
2257 struct rt_mutex_waiter *pi_blocked_on ;
2258 struct mutex_waiter *blocked_on ;
2259 unsigned int irq_events ;
2260 unsigned long hardirq_enable_ip ;
2261 unsigned long hardirq_disable_ip ;
2262 unsigned int hardirq_enable_event ;
2263 unsigned int hardirq_disable_event ;
2264 int hardirqs_enabled ;
2265 int hardirq_context ;
2266 unsigned long softirq_disable_ip ;
2267 unsigned long softirq_enable_ip ;
2268 unsigned int softirq_disable_event ;
2269 unsigned int softirq_enable_event ;
2270 int softirqs_enabled ;
2271 int softirq_context ;
2272 void *journal_info ;
2273 struct bio_list *bio_list ;
2274 struct blk_plug *plug ;
2275 struct reclaim_state *reclaim_state ;
2276 struct backing_dev_info *backing_dev_info ;
2277 struct io_context *io_context ;
2278 unsigned long ptrace_message ;
2279 siginfo_t *last_siginfo ;
2280 struct task_io_accounting ioac ;
2281 u64 acct_rss_mem1 ;
2282 u64 acct_vm_mem1 ;
2283 cputime_t acct_timexpd ;
2284 nodemask_t mems_allowed ;
2285 seqcount_t mems_allowed_seq ;
2286 int cpuset_mem_spread_rotor ;
2287 int cpuset_slab_spread_rotor ;
2288 struct css_set *cgroups ;
2289 struct list_head cg_list ;
2290 struct robust_list_head *robust_list ;
2291 struct compat_robust_list_head *compat_robust_list ;
2292 struct list_head pi_state_list ;
2293 struct futex_pi_state *pi_state_cache ;
2294 struct perf_event_context *perf_event_ctxp[2] ;
2295 struct mutex perf_event_mutex ;
2296 struct list_head perf_event_list ;
2297 struct mempolicy *mempolicy ;
2298 short il_next ;
2299 short pref_node_fork ;
2300 struct rcu_head rcu ;
2301 struct pipe_inode_info *splice_pipe ;
2302 struct task_delay_info *delays ;
2303 int make_it_fail ;
2304 int nr_dirtied ;
2305 int nr_dirtied_pause ;
2306 unsigned long dirty_paused_when ;
2307 int latency_record_count ;
2308 struct latency_record latency_record[32] ;
2309 unsigned long timer_slack_ns ;
2310 unsigned long default_timer_slack_ns ;
2311 struct list_head *scm_work_list ;
2312 unsigned long trace ;
2313 unsigned long trace_recursion ;
2314 struct memcg_batch_info memcg_batch ;
2315 atomic_t ptrace_bp_refcnt ;
2316};
2317#line 1681
2318struct pid_namespace;
2319#line 219 "include/linux/mod_devicetable.h"
2320struct of_device_id {
2321 char name[32] ;
2322 char type[32] ;
2323 char compatible[128] ;
2324 void *data ;
2325};
2326#line 19 "include/linux/klist.h"
2327struct klist_node;
2328#line 19
2329struct klist_node;
2330#line 39 "include/linux/klist.h"
2331struct klist_node {
2332 void *n_klist ;
2333 struct list_head n_node ;
2334 struct kref n_ref ;
2335};
2336#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2337struct dma_map_ops;
2338#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2339struct dev_archdata {
2340 void *acpi_handle ;
2341 struct dma_map_ops *dma_ops ;
2342 void *iommu ;
2343};
2344#line 28 "include/linux/device.h"
2345struct device;
2346#line 29
2347struct device_private;
2348#line 29
2349struct device_private;
2350#line 30
2351struct device_driver;
2352#line 30
2353struct device_driver;
2354#line 31
2355struct driver_private;
2356#line 31
2357struct driver_private;
2358#line 32
2359struct module;
2360#line 33
2361struct class;
2362#line 33
2363struct class;
2364#line 34
2365struct subsys_private;
2366#line 34
2367struct subsys_private;
2368#line 35
2369struct bus_type;
2370#line 35
2371struct bus_type;
2372#line 36
2373struct device_node;
2374#line 36
2375struct device_node;
2376#line 37
2377struct iommu_ops;
2378#line 37
2379struct iommu_ops;
2380#line 39 "include/linux/device.h"
2381struct bus_attribute {
2382 struct attribute attr ;
2383 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
2384 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
2385};
2386#line 89
2387struct device_attribute;
2388#line 89
2389struct driver_attribute;
2390#line 89 "include/linux/device.h"
2391struct bus_type {
2392 char const *name ;
2393 char const *dev_name ;
2394 struct device *dev_root ;
2395 struct bus_attribute *bus_attrs ;
2396 struct device_attribute *dev_attrs ;
2397 struct driver_attribute *drv_attrs ;
2398 int (*match)(struct device *dev , struct device_driver *drv ) ;
2399 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
2400 int (*probe)(struct device *dev ) ;
2401 int (*remove)(struct device *dev ) ;
2402 void (*shutdown)(struct device *dev ) ;
2403 int (*suspend)(struct device *dev , pm_message_t state ) ;
2404 int (*resume)(struct device *dev ) ;
2405 struct dev_pm_ops const *pm ;
2406 struct iommu_ops *iommu_ops ;
2407 struct subsys_private *p ;
2408};
2409#line 127
2410struct device_type;
2411#line 214 "include/linux/device.h"
2412struct device_driver {
2413 char const *name ;
2414 struct bus_type *bus ;
2415 struct module *owner ;
2416 char const *mod_name ;
2417 bool suppress_bind_attrs ;
2418 struct of_device_id const *of_match_table ;
2419 int (*probe)(struct device *dev ) ;
2420 int (*remove)(struct device *dev ) ;
2421 void (*shutdown)(struct device *dev ) ;
2422 int (*suspend)(struct device *dev , pm_message_t state ) ;
2423 int (*resume)(struct device *dev ) ;
2424 struct attribute_group const **groups ;
2425 struct dev_pm_ops const *pm ;
2426 struct driver_private *p ;
2427};
2428#line 249 "include/linux/device.h"
2429struct driver_attribute {
2430 struct attribute attr ;
2431 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
2432 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
2433};
2434#line 330
2435struct class_attribute;
2436#line 330 "include/linux/device.h"
2437struct class {
2438 char const *name ;
2439 struct module *owner ;
2440 struct class_attribute *class_attrs ;
2441 struct device_attribute *dev_attrs ;
2442 struct bin_attribute *dev_bin_attrs ;
2443 struct kobject *dev_kobj ;
2444 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
2445 char *(*devnode)(struct device *dev , umode_t *mode ) ;
2446 void (*class_release)(struct class *class ) ;
2447 void (*dev_release)(struct device *dev ) ;
2448 int (*suspend)(struct device *dev , pm_message_t state ) ;
2449 int (*resume)(struct device *dev ) ;
2450 struct kobj_ns_type_operations const *ns_type ;
2451 void const *(*namespace)(struct device *dev ) ;
2452 struct dev_pm_ops const *pm ;
2453 struct subsys_private *p ;
2454};
2455#line 397 "include/linux/device.h"
2456struct class_attribute {
2457 struct attribute attr ;
2458 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
2459 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
2460 size_t count ) ;
2461 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
2462};
2463#line 465 "include/linux/device.h"
2464struct device_type {
2465 char const *name ;
2466 struct attribute_group const **groups ;
2467 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
2468 char *(*devnode)(struct device *dev , umode_t *mode ) ;
2469 void (*release)(struct device *dev ) ;
2470 struct dev_pm_ops const *pm ;
2471};
2472#line 476 "include/linux/device.h"
2473struct device_attribute {
2474 struct attribute attr ;
2475 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
2476 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
2477 size_t count ) ;
2478};
2479#line 559 "include/linux/device.h"
2480struct device_dma_parameters {
2481 unsigned int max_segment_size ;
2482 unsigned long segment_boundary_mask ;
2483};
2484#line 627
2485struct dma_coherent_mem;
2486#line 627 "include/linux/device.h"
2487struct device {
2488 struct device *parent ;
2489 struct device_private *p ;
2490 struct kobject kobj ;
2491 char const *init_name ;
2492 struct device_type const *type ;
2493 struct mutex mutex ;
2494 struct bus_type *bus ;
2495 struct device_driver *driver ;
2496 void *platform_data ;
2497 struct dev_pm_info power ;
2498 struct dev_pm_domain *pm_domain ;
2499 int numa_node ;
2500 u64 *dma_mask ;
2501 u64 coherent_dma_mask ;
2502 struct device_dma_parameters *dma_parms ;
2503 struct list_head dma_pools ;
2504 struct dma_coherent_mem *dma_mem ;
2505 struct dev_archdata archdata ;
2506 struct device_node *of_node ;
2507 dev_t devt ;
2508 u32 id ;
2509 spinlock_t devres_lock ;
2510 struct list_head devres_head ;
2511 struct klist_node knode_class ;
2512 struct class *class ;
2513 struct attribute_group const **groups ;
2514 void (*release)(struct device *dev ) ;
2515};
2516#line 43 "include/linux/pm_wakeup.h"
2517struct wakeup_source {
2518 char const *name ;
2519 struct list_head entry ;
2520 spinlock_t lock ;
2521 struct timer_list timer ;
2522 unsigned long timer_expires ;
2523 ktime_t total_time ;
2524 ktime_t max_time ;
2525 ktime_t last_time ;
2526 unsigned long event_count ;
2527 unsigned long active_count ;
2528 unsigned long relax_count ;
2529 unsigned long hit_count ;
2530 unsigned int active : 1 ;
2531};
2532#line 28 "include/linux/of.h"
2533typedef u32 phandle;
2534#line 31 "include/linux/of.h"
2535struct property {
2536 char *name ;
2537 int length ;
2538 void *value ;
2539 struct property *next ;
2540 unsigned long _flags ;
2541 unsigned int unique_id ;
2542};
2543#line 44
2544struct proc_dir_entry;
2545#line 44 "include/linux/of.h"
2546struct device_node {
2547 char const *name ;
2548 char const *type ;
2549 phandle phandle ;
2550 char *full_name ;
2551 struct property *properties ;
2552 struct property *deadprops ;
2553 struct device_node *parent ;
2554 struct device_node *child ;
2555 struct device_node *sibling ;
2556 struct device_node *next ;
2557 struct device_node *allnext ;
2558 struct proc_dir_entry *pde ;
2559 struct kref kref ;
2560 unsigned long _flags ;
2561 void *data ;
2562};
2563#line 44 "include/linux/i2c.h"
2564struct i2c_msg;
2565#line 44
2566struct i2c_msg;
2567#line 45
2568struct i2c_algorithm;
2569#line 45
2570struct i2c_algorithm;
2571#line 46
2572struct i2c_adapter;
2573#line 46
2574struct i2c_adapter;
2575#line 49
2576union i2c_smbus_data;
2577#line 49
2578union i2c_smbus_data;
2579#line 52
2580struct module;
2581#line 352 "include/linux/i2c.h"
2582struct i2c_algorithm {
2583 int (*master_xfer)(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
2584 int (*smbus_xfer)(struct i2c_adapter *adap , u16 addr , unsigned short flags ,
2585 char read_write , u8 command , int size , union i2c_smbus_data *data ) ;
2586 u32 (*functionality)(struct i2c_adapter * ) ;
2587};
2588#line 373 "include/linux/i2c.h"
2589struct i2c_adapter {
2590 struct module *owner ;
2591 unsigned int class ;
2592 struct i2c_algorithm const *algo ;
2593 void *algo_data ;
2594 struct rt_mutex bus_lock ;
2595 int timeout ;
2596 int retries ;
2597 struct device dev ;
2598 int nr ;
2599 char name[48] ;
2600 struct completion dev_released ;
2601 struct mutex userspace_clients_lock ;
2602 struct list_head userspace_clients ;
2603};
2604#line 538 "include/linux/i2c.h"
2605struct i2c_msg {
2606 __u16 addr ;
2607 __u16 flags ;
2608 __u16 len ;
2609 __u8 *buf ;
2610};
2611#line 596 "include/linux/i2c.h"
2612union i2c_smbus_data {
2613 __u8 byte ;
2614 __u16 word ;
2615 __u8 block[34] ;
2616};
2617#line 31 "include/linux/dvb/frontend.h"
2618enum fe_type {
2619 FE_QPSK = 0,
2620 FE_QAM = 1,
2621 FE_OFDM = 2,
2622 FE_ATSC = 3
2623} ;
2624#line 31 "include/linux/dvb/frontend.h"
2625typedef enum fe_type fe_type_t;
2626#line 39
2627enum fe_caps {
2628 FE_IS_STUPID = 0,
2629 FE_CAN_INVERSION_AUTO = 1,
2630 FE_CAN_FEC_1_2 = 2,
2631 FE_CAN_FEC_2_3 = 4,
2632 FE_CAN_FEC_3_4 = 8,
2633 FE_CAN_FEC_4_5 = 16,
2634 FE_CAN_FEC_5_6 = 32,
2635 FE_CAN_FEC_6_7 = 64,
2636 FE_CAN_FEC_7_8 = 128,
2637 FE_CAN_FEC_8_9 = 256,
2638 FE_CAN_FEC_AUTO = 512,
2639 FE_CAN_QPSK = 1024,
2640 FE_CAN_QAM_16 = 2048,
2641 FE_CAN_QAM_32 = 4096,
2642 FE_CAN_QAM_64 = 8192,
2643 FE_CAN_QAM_128 = 16384,
2644 FE_CAN_QAM_256 = 32768,
2645 FE_CAN_QAM_AUTO = 65536,
2646 FE_CAN_TRANSMISSION_MODE_AUTO = 131072,
2647 FE_CAN_BANDWIDTH_AUTO = 262144,
2648 FE_CAN_GUARD_INTERVAL_AUTO = 524288,
2649 FE_CAN_HIERARCHY_AUTO = 1048576,
2650 FE_CAN_8VSB = 2097152,
2651 FE_CAN_16VSB = 4194304,
2652 FE_HAS_EXTENDED_CAPS = 8388608,
2653 FE_CAN_TURBO_FEC = 134217728,
2654 FE_CAN_2G_MODULATION = 268435456,
2655 FE_NEEDS_BENDING = 536870912,
2656 FE_CAN_RECOVER = 1073741824,
2657 FE_CAN_MUTE_TS = (-0x7FFFFFFF-1)
2658} ;
2659#line 39 "include/linux/dvb/frontend.h"
2660typedef enum fe_caps fe_caps_t;
2661#line 73 "include/linux/dvb/frontend.h"
2662struct dvb_frontend_info {
2663 char name[128] ;
2664 fe_type_t type ;
2665 __u32 frequency_min ;
2666 __u32 frequency_max ;
2667 __u32 frequency_stepsize ;
2668 __u32 frequency_tolerance ;
2669 __u32 symbol_rate_min ;
2670 __u32 symbol_rate_max ;
2671 __u32 symbol_rate_tolerance ;
2672 __u32 notifier_delay ;
2673 fe_caps_t caps ;
2674};
2675#line 92 "include/linux/dvb/frontend.h"
2676struct dvb_diseqc_master_cmd {
2677 __u8 msg[6] ;
2678 __u8 msg_len ;
2679};
2680#line 98 "include/linux/dvb/frontend.h"
2681struct dvb_diseqc_slave_reply {
2682 __u8 msg[4] ;
2683 __u8 msg_len ;
2684 int timeout ;
2685};
2686#line 105
2687enum fe_sec_voltage {
2688 SEC_VOLTAGE_13 = 0,
2689 SEC_VOLTAGE_18 = 1,
2690 SEC_VOLTAGE_OFF = 2
2691} ;
2692#line 105 "include/linux/dvb/frontend.h"
2693typedef enum fe_sec_voltage fe_sec_voltage_t;
2694#line 112
2695enum fe_sec_tone_mode {
2696 SEC_TONE_ON = 0,
2697 SEC_TONE_OFF = 1
2698} ;
2699#line 112 "include/linux/dvb/frontend.h"
2700typedef enum fe_sec_tone_mode fe_sec_tone_mode_t;
2701#line 118
2702enum fe_sec_mini_cmd {
2703 SEC_MINI_A = 0,
2704 SEC_MINI_B = 1
2705} ;
2706#line 118 "include/linux/dvb/frontend.h"
2707typedef enum fe_sec_mini_cmd fe_sec_mini_cmd_t;
2708#line 124
2709enum fe_status {
2710 FE_HAS_SIGNAL = 1,
2711 FE_HAS_CARRIER = 2,
2712 FE_HAS_VITERBI = 4,
2713 FE_HAS_SYNC = 8,
2714 FE_HAS_LOCK = 16,
2715 FE_TIMEDOUT = 32,
2716 FE_REINIT = 64
2717} ;
2718#line 124 "include/linux/dvb/frontend.h"
2719typedef enum fe_status fe_status_t;
2720#line 135
2721enum fe_spectral_inversion {
2722 INVERSION_OFF = 0,
2723 INVERSION_ON = 1,
2724 INVERSION_AUTO = 2
2725} ;
2726#line 135 "include/linux/dvb/frontend.h"
2727typedef enum fe_spectral_inversion fe_spectral_inversion_t;
2728#line 142
2729enum fe_code_rate {
2730 FEC_NONE = 0,
2731 FEC_1_2 = 1,
2732 FEC_2_3 = 2,
2733 FEC_3_4 = 3,
2734 FEC_4_5 = 4,
2735 FEC_5_6 = 5,
2736 FEC_6_7 = 6,
2737 FEC_7_8 = 7,
2738 FEC_8_9 = 8,
2739 FEC_AUTO = 9,
2740 FEC_3_5 = 10,
2741 FEC_9_10 = 11
2742} ;
2743#line 142 "include/linux/dvb/frontend.h"
2744typedef enum fe_code_rate fe_code_rate_t;
2745#line 158
2746enum fe_modulation {
2747 QPSK = 0,
2748 QAM_16 = 1,
2749 QAM_32 = 2,
2750 QAM_64 = 3,
2751 QAM_128 = 4,
2752 QAM_256 = 5,
2753 QAM_AUTO = 6,
2754 VSB_8 = 7,
2755 VSB_16 = 8,
2756 PSK_8 = 9,
2757 APSK_16 = 10,
2758 APSK_32 = 11,
2759 DQPSK = 12
2760} ;
2761#line 158 "include/linux/dvb/frontend.h"
2762typedef enum fe_modulation fe_modulation_t;
2763#line 174
2764enum fe_transmit_mode {
2765 TRANSMISSION_MODE_2K = 0,
2766 TRANSMISSION_MODE_8K = 1,
2767 TRANSMISSION_MODE_AUTO = 2,
2768 TRANSMISSION_MODE_4K = 3,
2769 TRANSMISSION_MODE_1K = 4,
2770 TRANSMISSION_MODE_16K = 5,
2771 TRANSMISSION_MODE_32K = 6
2772} ;
2773#line 174 "include/linux/dvb/frontend.h"
2774typedef enum fe_transmit_mode fe_transmit_mode_t;
2775#line 196
2776enum fe_guard_interval {
2777 GUARD_INTERVAL_1_32 = 0,
2778 GUARD_INTERVAL_1_16 = 1,
2779 GUARD_INTERVAL_1_8 = 2,
2780 GUARD_INTERVAL_1_4 = 3,
2781 GUARD_INTERVAL_AUTO = 4,
2782 GUARD_INTERVAL_1_128 = 5,
2783 GUARD_INTERVAL_19_128 = 6,
2784 GUARD_INTERVAL_19_256 = 7
2785} ;
2786#line 196 "include/linux/dvb/frontend.h"
2787typedef enum fe_guard_interval fe_guard_interval_t;
2788#line 208
2789enum fe_hierarchy {
2790 HIERARCHY_NONE = 0,
2791 HIERARCHY_1 = 1,
2792 HIERARCHY_2 = 2,
2793 HIERARCHY_4 = 3,
2794 HIERARCHY_AUTO = 4
2795} ;
2796#line 208 "include/linux/dvb/frontend.h"
2797typedef enum fe_hierarchy fe_hierarchy_t;
2798#line 325
2799enum fe_pilot {
2800 PILOT_ON = 0,
2801 PILOT_OFF = 1,
2802 PILOT_AUTO = 2
2803} ;
2804#line 325 "include/linux/dvb/frontend.h"
2805typedef enum fe_pilot fe_pilot_t;
2806#line 331
2807enum fe_rolloff {
2808 ROLLOFF_35 = 0,
2809 ROLLOFF_20 = 1,
2810 ROLLOFF_25 = 2,
2811 ROLLOFF_AUTO = 3
2812} ;
2813#line 331 "include/linux/dvb/frontend.h"
2814typedef enum fe_rolloff fe_rolloff_t;
2815#line 338
2816enum fe_delivery_system {
2817 SYS_UNDEFINED = 0,
2818 SYS_DVBC_ANNEX_A = 1,
2819 SYS_DVBC_ANNEX_B = 2,
2820 SYS_DVBT = 3,
2821 SYS_DSS = 4,
2822 SYS_DVBS = 5,
2823 SYS_DVBS2 = 6,
2824 SYS_DVBH = 7,
2825 SYS_ISDBT = 8,
2826 SYS_ISDBS = 9,
2827 SYS_ISDBC = 10,
2828 SYS_ATSC = 11,
2829 SYS_ATSCMH = 12,
2830 SYS_DMBTH = 13,
2831 SYS_CMMB = 14,
2832 SYS_DAB = 15,
2833 SYS_DVBT2 = 16,
2834 SYS_TURBO = 17,
2835 SYS_DVBC_ANNEX_C = 18
2836} ;
2837#line 338 "include/linux/dvb/frontend.h"
2838typedef enum fe_delivery_system fe_delivery_system_t;
2839#line 375 "include/linux/dvb/frontend.h"
2840struct __anonstruct_buffer_233 {
2841 __u8 data[32] ;
2842 __u32 len ;
2843 __u32 reserved1[3] ;
2844 void *reserved2 ;
2845};
2846#line 375 "include/linux/dvb/frontend.h"
2847union __anonunion_u_232 {
2848 __u32 data ;
2849 struct __anonstruct_buffer_233 buffer ;
2850};
2851#line 375 "include/linux/dvb/frontend.h"
2852struct dtv_property {
2853 __u32 cmd ;
2854 __u32 reserved[3] ;
2855 union __anonunion_u_232 u ;
2856 int result ;
2857} __attribute__((__packed__)) ;
2858#line 15 "include/linux/blk_types.h"
2859struct page;
2860#line 16
2861struct block_device;
2862#line 16
2863struct block_device;
2864#line 33 "include/linux/list_bl.h"
2865struct hlist_bl_node;
2866#line 33 "include/linux/list_bl.h"
2867struct hlist_bl_head {
2868 struct hlist_bl_node *first ;
2869};
2870#line 37 "include/linux/list_bl.h"
2871struct hlist_bl_node {
2872 struct hlist_bl_node *next ;
2873 struct hlist_bl_node **pprev ;
2874};
2875#line 13 "include/linux/dcache.h"
2876struct nameidata;
2877#line 13
2878struct nameidata;
2879#line 14
2880struct path;
2881#line 14
2882struct path;
2883#line 15
2884struct vfsmount;
2885#line 15
2886struct vfsmount;
2887#line 35 "include/linux/dcache.h"
2888struct qstr {
2889 unsigned int hash ;
2890 unsigned int len ;
2891 unsigned char const *name ;
2892};
2893#line 88
2894struct dentry_operations;
2895#line 88
2896struct super_block;
2897#line 88 "include/linux/dcache.h"
2898union __anonunion_d_u_234 {
2899 struct list_head d_child ;
2900 struct rcu_head d_rcu ;
2901};
2902#line 88 "include/linux/dcache.h"
2903struct dentry {
2904 unsigned int d_flags ;
2905 seqcount_t d_seq ;
2906 struct hlist_bl_node d_hash ;
2907 struct dentry *d_parent ;
2908 struct qstr d_name ;
2909 struct inode *d_inode ;
2910 unsigned char d_iname[32] ;
2911 unsigned int d_count ;
2912 spinlock_t d_lock ;
2913 struct dentry_operations const *d_op ;
2914 struct super_block *d_sb ;
2915 unsigned long d_time ;
2916 void *d_fsdata ;
2917 struct list_head d_lru ;
2918 union __anonunion_d_u_234 d_u ;
2919 struct list_head d_subdirs ;
2920 struct list_head d_alias ;
2921};
2922#line 131 "include/linux/dcache.h"
2923struct dentry_operations {
2924 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2925 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2926 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2927 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2928 int (*d_delete)(struct dentry const * ) ;
2929 void (*d_release)(struct dentry * ) ;
2930 void (*d_prune)(struct dentry * ) ;
2931 void (*d_iput)(struct dentry * , struct inode * ) ;
2932 char *(*d_dname)(struct dentry * , char * , int ) ;
2933 struct vfsmount *(*d_automount)(struct path * ) ;
2934 int (*d_manage)(struct dentry * , bool ) ;
2935} __attribute__((__aligned__((1) << (6) ))) ;
2936#line 4 "include/linux/path.h"
2937struct dentry;
2938#line 5
2939struct vfsmount;
2940#line 7 "include/linux/path.h"
2941struct path {
2942 struct vfsmount *mnt ;
2943 struct dentry *dentry ;
2944};
2945#line 64 "include/linux/radix-tree.h"
2946struct radix_tree_node;
2947#line 64 "include/linux/radix-tree.h"
2948struct radix_tree_root {
2949 unsigned int height ;
2950 gfp_t gfp_mask ;
2951 struct radix_tree_node *rnode ;
2952};
2953#line 16 "include/linux/fiemap.h"
2954struct fiemap_extent {
2955 __u64 fe_logical ;
2956 __u64 fe_physical ;
2957 __u64 fe_length ;
2958 __u64 fe_reserved64[2] ;
2959 __u32 fe_flags ;
2960 __u32 fe_reserved[3] ;
2961};
2962#line 8 "include/linux/shrinker.h"
2963struct shrink_control {
2964 gfp_t gfp_mask ;
2965 unsigned long nr_to_scan ;
2966};
2967#line 31 "include/linux/shrinker.h"
2968struct shrinker {
2969 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
2970 int seeks ;
2971 long batch ;
2972 struct list_head list ;
2973 atomic_long_t nr_in_batch ;
2974};
2975#line 10 "include/linux/migrate_mode.h"
2976enum migrate_mode {
2977 MIGRATE_ASYNC = 0,
2978 MIGRATE_SYNC_LIGHT = 1,
2979 MIGRATE_SYNC = 2
2980} ;
2981#line 408 "include/linux/fs.h"
2982struct export_operations;
2983#line 408
2984struct export_operations;
2985#line 410
2986struct iovec;
2987#line 411
2988struct nameidata;
2989#line 412
2990struct kiocb;
2991#line 413
2992struct kobject;
2993#line 414
2994struct pipe_inode_info;
2995#line 415
2996struct poll_table_struct;
2997#line 415
2998struct poll_table_struct;
2999#line 416
3000struct kstatfs;
3001#line 416
3002struct kstatfs;
3003#line 417
3004struct vm_area_struct;
3005#line 418
3006struct vfsmount;
3007#line 419
3008struct cred;
3009#line 469 "include/linux/fs.h"
3010struct iattr {
3011 unsigned int ia_valid ;
3012 umode_t ia_mode ;
3013 uid_t ia_uid ;
3014 gid_t ia_gid ;
3015 loff_t ia_size ;
3016 struct timespec ia_atime ;
3017 struct timespec ia_mtime ;
3018 struct timespec ia_ctime ;
3019 struct file *ia_file ;
3020};
3021#line 129 "include/linux/quota.h"
3022struct if_dqinfo {
3023 __u64 dqi_bgrace ;
3024 __u64 dqi_igrace ;
3025 __u32 dqi_flags ;
3026 __u32 dqi_valid ;
3027};
3028#line 50 "include/linux/dqblk_xfs.h"
3029struct fs_disk_quota {
3030 __s8 d_version ;
3031 __s8 d_flags ;
3032 __u16 d_fieldmask ;
3033 __u32 d_id ;
3034 __u64 d_blk_hardlimit ;
3035 __u64 d_blk_softlimit ;
3036 __u64 d_ino_hardlimit ;
3037 __u64 d_ino_softlimit ;
3038 __u64 d_bcount ;
3039 __u64 d_icount ;
3040 __s32 d_itimer ;
3041 __s32 d_btimer ;
3042 __u16 d_iwarns ;
3043 __u16 d_bwarns ;
3044 __s32 d_padding2 ;
3045 __u64 d_rtb_hardlimit ;
3046 __u64 d_rtb_softlimit ;
3047 __u64 d_rtbcount ;
3048 __s32 d_rtbtimer ;
3049 __u16 d_rtbwarns ;
3050 __s16 d_padding3 ;
3051 char d_padding4[8] ;
3052};
3053#line 146 "include/linux/dqblk_xfs.h"
3054struct fs_qfilestat {
3055 __u64 qfs_ino ;
3056 __u64 qfs_nblks ;
3057 __u32 qfs_nextents ;
3058};
3059#line 146 "include/linux/dqblk_xfs.h"
3060typedef struct fs_qfilestat fs_qfilestat_t;
3061#line 152 "include/linux/dqblk_xfs.h"
3062struct fs_quota_stat {
3063 __s8 qs_version ;
3064 __u16 qs_flags ;
3065 __s8 qs_pad ;
3066 fs_qfilestat_t qs_uquota ;
3067 fs_qfilestat_t qs_gquota ;
3068 __u32 qs_incoredqs ;
3069 __s32 qs_btimelimit ;
3070 __s32 qs_itimelimit ;
3071 __s32 qs_rtbtimelimit ;
3072 __u16 qs_bwarnlimit ;
3073 __u16 qs_iwarnlimit ;
3074};
3075#line 17 "include/linux/dqblk_qtree.h"
3076struct dquot;
3077#line 17
3078struct dquot;
3079#line 185 "include/linux/quota.h"
3080typedef __kernel_uid32_t qid_t;
3081#line 186 "include/linux/quota.h"
3082typedef long long qsize_t;
3083#line 200 "include/linux/quota.h"
3084struct mem_dqblk {
3085 qsize_t dqb_bhardlimit ;
3086 qsize_t dqb_bsoftlimit ;
3087 qsize_t dqb_curspace ;
3088 qsize_t dqb_rsvspace ;
3089 qsize_t dqb_ihardlimit ;
3090 qsize_t dqb_isoftlimit ;
3091 qsize_t dqb_curinodes ;
3092 time_t dqb_btime ;
3093 time_t dqb_itime ;
3094};
3095#line 215
3096struct quota_format_type;
3097#line 215
3098struct quota_format_type;
3099#line 217 "include/linux/quota.h"
3100struct mem_dqinfo {
3101 struct quota_format_type *dqi_format ;
3102 int dqi_fmt_id ;
3103 struct list_head dqi_dirty_list ;
3104 unsigned long dqi_flags ;
3105 unsigned int dqi_bgrace ;
3106 unsigned int dqi_igrace ;
3107 qsize_t dqi_maxblimit ;
3108 qsize_t dqi_maxilimit ;
3109 void *dqi_priv ;
3110};
3111#line 230
3112struct super_block;
3113#line 288 "include/linux/quota.h"
3114struct dquot {
3115 struct hlist_node dq_hash ;
3116 struct list_head dq_inuse ;
3117 struct list_head dq_free ;
3118 struct list_head dq_dirty ;
3119 struct mutex dq_lock ;
3120 atomic_t dq_count ;
3121 wait_queue_head_t dq_wait_unused ;
3122 struct super_block *dq_sb ;
3123 unsigned int dq_id ;
3124 loff_t dq_off ;
3125 unsigned long dq_flags ;
3126 short dq_type ;
3127 struct mem_dqblk dq_dqb ;
3128};
3129#line 305 "include/linux/quota.h"
3130struct quota_format_ops {
3131 int (*check_quota_file)(struct super_block *sb , int type ) ;
3132 int (*read_file_info)(struct super_block *sb , int type ) ;
3133 int (*write_file_info)(struct super_block *sb , int type ) ;
3134 int (*free_file_info)(struct super_block *sb , int type ) ;
3135 int (*read_dqblk)(struct dquot *dquot ) ;
3136 int (*commit_dqblk)(struct dquot *dquot ) ;
3137 int (*release_dqblk)(struct dquot *dquot ) ;
3138};
3139#line 316 "include/linux/quota.h"
3140struct dquot_operations {
3141 int (*write_dquot)(struct dquot * ) ;
3142 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
3143 void (*destroy_dquot)(struct dquot * ) ;
3144 int (*acquire_dquot)(struct dquot * ) ;
3145 int (*release_dquot)(struct dquot * ) ;
3146 int (*mark_dirty)(struct dquot * ) ;
3147 int (*write_info)(struct super_block * , int ) ;
3148 qsize_t *(*get_reserved_space)(struct inode * ) ;
3149};
3150#line 329
3151struct path;
3152#line 332 "include/linux/quota.h"
3153struct quotactl_ops {
3154 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
3155 int (*quota_on_meta)(struct super_block * , int , int ) ;
3156 int (*quota_off)(struct super_block * , int ) ;
3157 int (*quota_sync)(struct super_block * , int , int ) ;
3158 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
3159 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
3160 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3161 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3162 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
3163 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
3164};
3165#line 345 "include/linux/quota.h"
3166struct quota_format_type {
3167 int qf_fmt_id ;
3168 struct quota_format_ops const *qf_ops ;
3169 struct module *qf_owner ;
3170 struct quota_format_type *qf_next ;
3171};
3172#line 399 "include/linux/quota.h"
3173struct quota_info {
3174 unsigned int flags ;
3175 struct mutex dqio_mutex ;
3176 struct mutex dqonoff_mutex ;
3177 struct rw_semaphore dqptr_sem ;
3178 struct inode *files[2] ;
3179 struct mem_dqinfo info[2] ;
3180 struct quota_format_ops const *ops[2] ;
3181};
3182#line 532 "include/linux/fs.h"
3183struct page;
3184#line 533
3185struct address_space;
3186#line 534
3187struct writeback_control;
3188#line 534
3189struct writeback_control;
3190#line 577 "include/linux/fs.h"
3191union __anonunion_arg_241 {
3192 char *buf ;
3193 void *data ;
3194};
3195#line 577 "include/linux/fs.h"
3196struct __anonstruct_read_descriptor_t_240 {
3197 size_t written ;
3198 size_t count ;
3199 union __anonunion_arg_241 arg ;
3200 int error ;
3201};
3202#line 577 "include/linux/fs.h"
3203typedef struct __anonstruct_read_descriptor_t_240 read_descriptor_t;
3204#line 590 "include/linux/fs.h"
3205struct address_space_operations {
3206 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
3207 int (*readpage)(struct file * , struct page * ) ;
3208 int (*writepages)(struct address_space * , struct writeback_control * ) ;
3209 int (*set_page_dirty)(struct page *page ) ;
3210 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
3211 unsigned int nr_pages ) ;
3212 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
3213 unsigned int len , unsigned int flags , struct page **pagep ,
3214 void **fsdata ) ;
3215 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
3216 unsigned int copied , struct page *page , void *fsdata ) ;
3217 sector_t (*bmap)(struct address_space * , sector_t ) ;
3218 void (*invalidatepage)(struct page * , unsigned long ) ;
3219 int (*releasepage)(struct page * , gfp_t ) ;
3220 void (*freepage)(struct page * ) ;
3221 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
3222 unsigned long nr_segs ) ;
3223 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
3224 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
3225 int (*launder_page)(struct page * ) ;
3226 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
3227 int (*error_remove_page)(struct address_space * , struct page * ) ;
3228};
3229#line 645
3230struct backing_dev_info;
3231#line 646 "include/linux/fs.h"
3232struct address_space {
3233 struct inode *host ;
3234 struct radix_tree_root page_tree ;
3235 spinlock_t tree_lock ;
3236 unsigned int i_mmap_writable ;
3237 struct prio_tree_root i_mmap ;
3238 struct list_head i_mmap_nonlinear ;
3239 struct mutex i_mmap_mutex ;
3240 unsigned long nrpages ;
3241 unsigned long writeback_index ;
3242 struct address_space_operations const *a_ops ;
3243 unsigned long flags ;
3244 struct backing_dev_info *backing_dev_info ;
3245 spinlock_t private_lock ;
3246 struct list_head private_list ;
3247 struct address_space *assoc_mapping ;
3248} __attribute__((__aligned__(sizeof(long )))) ;
3249#line 669
3250struct request_queue;
3251#line 669
3252struct request_queue;
3253#line 671
3254struct hd_struct;
3255#line 671
3256struct gendisk;
3257#line 671 "include/linux/fs.h"
3258struct block_device {
3259 dev_t bd_dev ;
3260 int bd_openers ;
3261 struct inode *bd_inode ;
3262 struct super_block *bd_super ;
3263 struct mutex bd_mutex ;
3264 struct list_head bd_inodes ;
3265 void *bd_claiming ;
3266 void *bd_holder ;
3267 int bd_holders ;
3268 bool bd_write_holder ;
3269 struct list_head bd_holder_disks ;
3270 struct block_device *bd_contains ;
3271 unsigned int bd_block_size ;
3272 struct hd_struct *bd_part ;
3273 unsigned int bd_part_count ;
3274 int bd_invalidated ;
3275 struct gendisk *bd_disk ;
3276 struct request_queue *bd_queue ;
3277 struct list_head bd_list ;
3278 unsigned long bd_private ;
3279 int bd_fsfreeze_count ;
3280 struct mutex bd_fsfreeze_mutex ;
3281};
3282#line 749
3283struct posix_acl;
3284#line 749
3285struct posix_acl;
3286#line 761
3287struct inode_operations;
3288#line 761 "include/linux/fs.h"
3289union __anonunion____missing_field_name_242 {
3290 unsigned int const i_nlink ;
3291 unsigned int __i_nlink ;
3292};
3293#line 761 "include/linux/fs.h"
3294union __anonunion____missing_field_name_243 {
3295 struct list_head i_dentry ;
3296 struct rcu_head i_rcu ;
3297};
3298#line 761
3299struct file_operations;
3300#line 761
3301struct file_lock;
3302#line 761
3303struct cdev;
3304#line 761 "include/linux/fs.h"
3305union __anonunion____missing_field_name_244 {
3306 struct pipe_inode_info *i_pipe ;
3307 struct block_device *i_bdev ;
3308 struct cdev *i_cdev ;
3309};
3310#line 761 "include/linux/fs.h"
3311struct inode {
3312 umode_t i_mode ;
3313 unsigned short i_opflags ;
3314 uid_t i_uid ;
3315 gid_t i_gid ;
3316 unsigned int i_flags ;
3317 struct posix_acl *i_acl ;
3318 struct posix_acl *i_default_acl ;
3319 struct inode_operations const *i_op ;
3320 struct super_block *i_sb ;
3321 struct address_space *i_mapping ;
3322 void *i_security ;
3323 unsigned long i_ino ;
3324 union __anonunion____missing_field_name_242 __annonCompField44 ;
3325 dev_t i_rdev ;
3326 struct timespec i_atime ;
3327 struct timespec i_mtime ;
3328 struct timespec i_ctime ;
3329 spinlock_t i_lock ;
3330 unsigned short i_bytes ;
3331 blkcnt_t i_blocks ;
3332 loff_t i_size ;
3333 unsigned long i_state ;
3334 struct mutex i_mutex ;
3335 unsigned long dirtied_when ;
3336 struct hlist_node i_hash ;
3337 struct list_head i_wb_list ;
3338 struct list_head i_lru ;
3339 struct list_head i_sb_list ;
3340 union __anonunion____missing_field_name_243 __annonCompField45 ;
3341 atomic_t i_count ;
3342 unsigned int i_blkbits ;
3343 u64 i_version ;
3344 atomic_t i_dio_count ;
3345 atomic_t i_writecount ;
3346 struct file_operations const *i_fop ;
3347 struct file_lock *i_flock ;
3348 struct address_space i_data ;
3349 struct dquot *i_dquot[2] ;
3350 struct list_head i_devices ;
3351 union __anonunion____missing_field_name_244 __annonCompField46 ;
3352 __u32 i_generation ;
3353 __u32 i_fsnotify_mask ;
3354 struct hlist_head i_fsnotify_marks ;
3355 atomic_t i_readcount ;
3356 void *i_private ;
3357};
3358#line 942 "include/linux/fs.h"
3359struct fown_struct {
3360 rwlock_t lock ;
3361 struct pid *pid ;
3362 enum pid_type pid_type ;
3363 uid_t uid ;
3364 uid_t euid ;
3365 int signum ;
3366};
3367#line 953 "include/linux/fs.h"
3368struct file_ra_state {
3369 unsigned long start ;
3370 unsigned int size ;
3371 unsigned int async_size ;
3372 unsigned int ra_pages ;
3373 unsigned int mmap_miss ;
3374 loff_t prev_pos ;
3375};
3376#line 976 "include/linux/fs.h"
3377union __anonunion_f_u_245 {
3378 struct list_head fu_list ;
3379 struct rcu_head fu_rcuhead ;
3380};
3381#line 976 "include/linux/fs.h"
3382struct file {
3383 union __anonunion_f_u_245 f_u ;
3384 struct path f_path ;
3385 struct file_operations const *f_op ;
3386 spinlock_t f_lock ;
3387 int f_sb_list_cpu ;
3388 atomic_long_t f_count ;
3389 unsigned int f_flags ;
3390 fmode_t f_mode ;
3391 loff_t f_pos ;
3392 struct fown_struct f_owner ;
3393 struct cred const *f_cred ;
3394 struct file_ra_state f_ra ;
3395 u64 f_version ;
3396 void *f_security ;
3397 void *private_data ;
3398 struct list_head f_ep_links ;
3399 struct list_head f_tfile_llink ;
3400 struct address_space *f_mapping ;
3401 unsigned long f_mnt_write_state ;
3402};
3403#line 1111 "include/linux/fs.h"
3404typedef struct files_struct *fl_owner_t;
3405#line 1113 "include/linux/fs.h"
3406struct file_lock_operations {
3407 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3408 void (*fl_release_private)(struct file_lock * ) ;
3409};
3410#line 1118 "include/linux/fs.h"
3411struct lock_manager_operations {
3412 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3413 void (*lm_notify)(struct file_lock * ) ;
3414 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
3415 void (*lm_release_private)(struct file_lock * ) ;
3416 void (*lm_break)(struct file_lock * ) ;
3417 int (*lm_change)(struct file_lock ** , int ) ;
3418};
3419#line 4 "include/linux/nfs_fs_i.h"
3420struct nlm_lockowner;
3421#line 4
3422struct nlm_lockowner;
3423#line 9 "include/linux/nfs_fs_i.h"
3424struct nfs_lock_info {
3425 u32 state ;
3426 struct nlm_lockowner *owner ;
3427 struct list_head list ;
3428};
3429#line 15
3430struct nfs4_lock_state;
3431#line 15
3432struct nfs4_lock_state;
3433#line 16 "include/linux/nfs_fs_i.h"
3434struct nfs4_lock_info {
3435 struct nfs4_lock_state *owner ;
3436};
3437#line 1138 "include/linux/fs.h"
3438struct fasync_struct;
3439#line 1138 "include/linux/fs.h"
3440struct __anonstruct_afs_247 {
3441 struct list_head link ;
3442 int state ;
3443};
3444#line 1138 "include/linux/fs.h"
3445union __anonunion_fl_u_246 {
3446 struct nfs_lock_info nfs_fl ;
3447 struct nfs4_lock_info nfs4_fl ;
3448 struct __anonstruct_afs_247 afs ;
3449};
3450#line 1138 "include/linux/fs.h"
3451struct file_lock {
3452 struct file_lock *fl_next ;
3453 struct list_head fl_link ;
3454 struct list_head fl_block ;
3455 fl_owner_t fl_owner ;
3456 unsigned int fl_flags ;
3457 unsigned char fl_type ;
3458 unsigned int fl_pid ;
3459 struct pid *fl_nspid ;
3460 wait_queue_head_t fl_wait ;
3461 struct file *fl_file ;
3462 loff_t fl_start ;
3463 loff_t fl_end ;
3464 struct fasync_struct *fl_fasync ;
3465 unsigned long fl_break_time ;
3466 unsigned long fl_downgrade_time ;
3467 struct file_lock_operations const *fl_ops ;
3468 struct lock_manager_operations const *fl_lmops ;
3469 union __anonunion_fl_u_246 fl_u ;
3470};
3471#line 1378 "include/linux/fs.h"
3472struct fasync_struct {
3473 spinlock_t fa_lock ;
3474 int magic ;
3475 int fa_fd ;
3476 struct fasync_struct *fa_next ;
3477 struct file *fa_file ;
3478 struct rcu_head fa_rcu ;
3479};
3480#line 1418
3481struct file_system_type;
3482#line 1418
3483struct super_operations;
3484#line 1418
3485struct xattr_handler;
3486#line 1418
3487struct mtd_info;
3488#line 1418 "include/linux/fs.h"
3489struct super_block {
3490 struct list_head s_list ;
3491 dev_t s_dev ;
3492 unsigned char s_dirt ;
3493 unsigned char s_blocksize_bits ;
3494 unsigned long s_blocksize ;
3495 loff_t s_maxbytes ;
3496 struct file_system_type *s_type ;
3497 struct super_operations const *s_op ;
3498 struct dquot_operations const *dq_op ;
3499 struct quotactl_ops const *s_qcop ;
3500 struct export_operations const *s_export_op ;
3501 unsigned long s_flags ;
3502 unsigned long s_magic ;
3503 struct dentry *s_root ;
3504 struct rw_semaphore s_umount ;
3505 struct mutex s_lock ;
3506 int s_count ;
3507 atomic_t s_active ;
3508 void *s_security ;
3509 struct xattr_handler const **s_xattr ;
3510 struct list_head s_inodes ;
3511 struct hlist_bl_head s_anon ;
3512 struct list_head *s_files ;
3513 struct list_head s_mounts ;
3514 struct list_head s_dentry_lru ;
3515 int s_nr_dentry_unused ;
3516 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
3517 struct list_head s_inode_lru ;
3518 int s_nr_inodes_unused ;
3519 struct block_device *s_bdev ;
3520 struct backing_dev_info *s_bdi ;
3521 struct mtd_info *s_mtd ;
3522 struct hlist_node s_instances ;
3523 struct quota_info s_dquot ;
3524 int s_frozen ;
3525 wait_queue_head_t s_wait_unfrozen ;
3526 char s_id[32] ;
3527 u8 s_uuid[16] ;
3528 void *s_fs_info ;
3529 unsigned int s_max_links ;
3530 fmode_t s_mode ;
3531 u32 s_time_gran ;
3532 struct mutex s_vfs_rename_mutex ;
3533 char *s_subtype ;
3534 char *s_options ;
3535 struct dentry_operations const *s_d_op ;
3536 int cleancache_poolid ;
3537 struct shrinker s_shrink ;
3538 atomic_long_t s_remove_count ;
3539 int s_readonly_remount ;
3540};
3541#line 1567 "include/linux/fs.h"
3542struct fiemap_extent_info {
3543 unsigned int fi_flags ;
3544 unsigned int fi_extents_mapped ;
3545 unsigned int fi_extents_max ;
3546 struct fiemap_extent *fi_extents_start ;
3547};
3548#line 1609 "include/linux/fs.h"
3549struct file_operations {
3550 struct module *owner ;
3551 loff_t (*llseek)(struct file * , loff_t , int ) ;
3552 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3553 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3554 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3555 loff_t ) ;
3556 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3557 loff_t ) ;
3558 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3559 loff_t , u64 , unsigned int ) ) ;
3560 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3561 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3562 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3563 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3564 int (*open)(struct inode * , struct file * ) ;
3565 int (*flush)(struct file * , fl_owner_t id ) ;
3566 int (*release)(struct inode * , struct file * ) ;
3567 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
3568 int (*aio_fsync)(struct kiocb * , int datasync ) ;
3569 int (*fasync)(int , struct file * , int ) ;
3570 int (*lock)(struct file * , int , struct file_lock * ) ;
3571 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3572 int ) ;
3573 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3574 unsigned long , unsigned long ) ;
3575 int (*check_flags)(int ) ;
3576 int (*flock)(struct file * , int , struct file_lock * ) ;
3577 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3578 unsigned int ) ;
3579 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3580 unsigned int ) ;
3581 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3582 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
3583};
3584#line 1639 "include/linux/fs.h"
3585struct inode_operations {
3586 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3587 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3588 int (*permission)(struct inode * , int ) ;
3589 struct posix_acl *(*get_acl)(struct inode * , int ) ;
3590 int (*readlink)(struct dentry * , char * , int ) ;
3591 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3592 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
3593 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3594 int (*unlink)(struct inode * , struct dentry * ) ;
3595 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3596 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
3597 int (*rmdir)(struct inode * , struct dentry * ) ;
3598 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
3599 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3600 void (*truncate)(struct inode * ) ;
3601 int (*setattr)(struct dentry * , struct iattr * ) ;
3602 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
3603 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3604 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3605 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3606 int (*removexattr)(struct dentry * , char const * ) ;
3607 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3608 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
3609} __attribute__((__aligned__((1) << (6) ))) ;
3610#line 1669
3611struct seq_file;
3612#line 1684 "include/linux/fs.h"
3613struct super_operations {
3614 struct inode *(*alloc_inode)(struct super_block *sb ) ;
3615 void (*destroy_inode)(struct inode * ) ;
3616 void (*dirty_inode)(struct inode * , int flags ) ;
3617 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
3618 int (*drop_inode)(struct inode * ) ;
3619 void (*evict_inode)(struct inode * ) ;
3620 void (*put_super)(struct super_block * ) ;
3621 void (*write_super)(struct super_block * ) ;
3622 int (*sync_fs)(struct super_block *sb , int wait ) ;
3623 int (*freeze_fs)(struct super_block * ) ;
3624 int (*unfreeze_fs)(struct super_block * ) ;
3625 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3626 int (*remount_fs)(struct super_block * , int * , char * ) ;
3627 void (*umount_begin)(struct super_block * ) ;
3628 int (*show_options)(struct seq_file * , struct dentry * ) ;
3629 int (*show_devname)(struct seq_file * , struct dentry * ) ;
3630 int (*show_path)(struct seq_file * , struct dentry * ) ;
3631 int (*show_stats)(struct seq_file * , struct dentry * ) ;
3632 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3633 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3634 loff_t ) ;
3635 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3636 int (*nr_cached_objects)(struct super_block * ) ;
3637 void (*free_cached_objects)(struct super_block * , int ) ;
3638};
3639#line 1835 "include/linux/fs.h"
3640struct file_system_type {
3641 char const *name ;
3642 int fs_flags ;
3643 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3644 void (*kill_sb)(struct super_block * ) ;
3645 struct module *owner ;
3646 struct file_system_type *next ;
3647 struct hlist_head fs_supers ;
3648 struct lock_class_key s_lock_key ;
3649 struct lock_class_key s_umount_key ;
3650 struct lock_class_key s_vfs_rename_key ;
3651 struct lock_class_key i_lock_key ;
3652 struct lock_class_key i_mutex_key ;
3653 struct lock_class_key i_mutex_dir_key ;
3654};
3655#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
3656struct exception_table_entry {
3657 unsigned long insn ;
3658 unsigned long fixup ;
3659};
3660#line 28 "include/linux/poll.h"
3661struct poll_table_struct;
3662#line 39 "include/linux/poll.h"
3663struct poll_table_struct {
3664 void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
3665 unsigned long _key ;
3666};
3667#line 57 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvbdev.h"
3668struct dvb_frontend;
3669#line 57
3670struct dvb_frontend;
3671#line 59
3672struct dvb_device;
3673#line 59 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvbdev.h"
3674struct dvb_adapter {
3675 int num ;
3676 struct list_head list_head ;
3677 struct list_head device_list ;
3678 char const *name ;
3679 u8 proposed_mac[6] ;
3680 void *priv ;
3681 struct device *device ;
3682 struct module *module ;
3683 int mfe_shared ;
3684 struct dvb_device *mfe_dvbdev ;
3685 struct mutex mfe_lock ;
3686 int (*fe_ioctl_override)(struct dvb_frontend *fe , unsigned int cmd , void *parg ,
3687 unsigned int stage ) ;
3688};
3689#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvbdev.h"
3690struct dvb_device {
3691 struct list_head list_head ;
3692 struct file_operations const *fops ;
3693 struct dvb_adapter *adapter ;
3694 int type ;
3695 int minor ;
3696 u32 id ;
3697 int readers ;
3698 int writers ;
3699 int users ;
3700 wait_queue_head_t wait_queue ;
3701 int (*kernel_ioctl)(struct file *file , unsigned int cmd , void *arg ) ;
3702 void *priv ;
3703};
3704#line 51 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3705struct dvb_frontend_tune_settings {
3706 int min_delay_ms ;
3707 int step_size ;
3708 int max_drift ;
3709};
3710#line 57
3711struct dvb_frontend;
3712#line 59 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3713struct dvb_tuner_info {
3714 char name[128] ;
3715 u32 frequency_min ;
3716 u32 frequency_max ;
3717 u32 frequency_step ;
3718 u32 bandwidth_min ;
3719 u32 bandwidth_max ;
3720 u32 bandwidth_step ;
3721};
3722#line 71 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3723struct analog_parameters {
3724 unsigned int frequency ;
3725 unsigned int mode ;
3726 unsigned int audmode ;
3727 u64 std ;
3728};
3729#line 114
3730enum tuner_param {
3731 DVBFE_TUNER_FREQUENCY = 1,
3732 DVBFE_TUNER_TUNERSTEP = 2,
3733 DVBFE_TUNER_IFFREQ = 4,
3734 DVBFE_TUNER_BANDWIDTH = 8,
3735 DVBFE_TUNER_REFCLOCK = 16,
3736 DVBFE_TUNER_IQSENSE = 32,
3737 DVBFE_TUNER_DUMMY = (-0x7FFFFFFF-1)
3738} ;
3739#line 149
3740enum dvbfe_algo {
3741 DVBFE_ALGO_HW = 1,
3742 DVBFE_ALGO_SW = 2,
3743 DVBFE_ALGO_CUSTOM = 4,
3744 DVBFE_ALGO_RECOVERY = (-0x7FFFFFFF-1)
3745} ;
3746#line 156 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3747struct tuner_state {
3748 u32 frequency ;
3749 u32 tunerstep ;
3750 u32 ifreq ;
3751 u32 bandwidth ;
3752 u32 iqsense ;
3753 u32 refclock ;
3754};
3755#line 187
3756enum dvbfe_search {
3757 DVBFE_ALGO_SEARCH_SUCCESS = 1,
3758 DVBFE_ALGO_SEARCH_ASLEEP = 2,
3759 DVBFE_ALGO_SEARCH_FAILED = 4,
3760 DVBFE_ALGO_SEARCH_INVALID = 8,
3761 DVBFE_ALGO_SEARCH_AGAIN = 16,
3762 DVBFE_ALGO_SEARCH_ERROR = (-0x7FFFFFFF-1)
3763} ;
3764#line 197 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3765struct dvb_tuner_ops {
3766 struct dvb_tuner_info info ;
3767 int (*release)(struct dvb_frontend *fe ) ;
3768 int (*init)(struct dvb_frontend *fe ) ;
3769 int (*sleep)(struct dvb_frontend *fe ) ;
3770 int (*set_params)(struct dvb_frontend *fe ) ;
3771 int (*set_analog_params)(struct dvb_frontend *fe , struct analog_parameters *p ) ;
3772 int (*calc_regs)(struct dvb_frontend *fe , u8 *buf , int buf_len ) ;
3773 int (*set_config)(struct dvb_frontend *fe , void *priv_cfg ) ;
3774 int (*get_frequency)(struct dvb_frontend *fe , u32 *frequency ) ;
3775 int (*get_bandwidth)(struct dvb_frontend *fe , u32 *bandwidth ) ;
3776 int (*get_if_frequency)(struct dvb_frontend *fe , u32 *frequency ) ;
3777 int (*get_status)(struct dvb_frontend *fe , u32 *status ) ;
3778 int (*get_rf_strength)(struct dvb_frontend *fe , u16 *strength ) ;
3779 int (*set_frequency)(struct dvb_frontend *fe , u32 frequency ) ;
3780 int (*set_bandwidth)(struct dvb_frontend *fe , u32 bandwidth ) ;
3781 int (*set_state)(struct dvb_frontend *fe , enum tuner_param param , struct tuner_state *state ) ;
3782 int (*get_state)(struct dvb_frontend *fe , enum tuner_param param , struct tuner_state *state ) ;
3783};
3784#line 237 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3785struct analog_demod_info {
3786 char *name ;
3787};
3788#line 241 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3789struct analog_demod_ops {
3790 struct analog_demod_info info ;
3791 void (*set_params)(struct dvb_frontend *fe , struct analog_parameters *params ) ;
3792 int (*has_signal)(struct dvb_frontend *fe ) ;
3793 int (*get_afc)(struct dvb_frontend *fe ) ;
3794 void (*tuner_status)(struct dvb_frontend *fe ) ;
3795 void (*standby)(struct dvb_frontend *fe ) ;
3796 void (*release)(struct dvb_frontend *fe ) ;
3797 int (*i2c_gate_ctrl)(struct dvb_frontend *fe , int enable ) ;
3798 int (*set_config)(struct dvb_frontend *fe , void *priv_cfg ) ;
3799};
3800#line 258
3801struct dtv_frontend_properties;
3802#line 258
3803struct dtv_frontend_properties;
3804#line 260 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3805struct dvb_frontend_ops {
3806 struct dvb_frontend_info info ;
3807 u8 delsys[8] ;
3808 void (*release)(struct dvb_frontend *fe ) ;
3809 void (*release_sec)(struct dvb_frontend *fe ) ;
3810 int (*init)(struct dvb_frontend *fe ) ;
3811 int (*sleep)(struct dvb_frontend *fe ) ;
3812 int (*write)(struct dvb_frontend *fe , u8 const *buf , int len ) ;
3813 int (*tune)(struct dvb_frontend *fe , bool re_tune , unsigned int mode_flags ,
3814 unsigned int *delay , fe_status_t *status ) ;
3815 enum dvbfe_algo (*get_frontend_algo)(struct dvb_frontend *fe ) ;
3816 int (*set_frontend)(struct dvb_frontend *fe ) ;
3817 int (*get_tune_settings)(struct dvb_frontend *fe , struct dvb_frontend_tune_settings *settings ) ;
3818 int (*get_frontend)(struct dvb_frontend *fe ) ;
3819 int (*read_status)(struct dvb_frontend *fe , fe_status_t *status ) ;
3820 int (*read_ber)(struct dvb_frontend *fe , u32 *ber ) ;
3821 int (*read_signal_strength)(struct dvb_frontend *fe , u16 *strength ) ;
3822 int (*read_snr)(struct dvb_frontend *fe , u16 *snr ) ;
3823 int (*read_ucblocks)(struct dvb_frontend *fe , u32 *ucblocks ) ;
3824 int (*diseqc_reset_overload)(struct dvb_frontend *fe ) ;
3825 int (*diseqc_send_master_cmd)(struct dvb_frontend *fe , struct dvb_diseqc_master_cmd *cmd ) ;
3826 int (*diseqc_recv_slave_reply)(struct dvb_frontend *fe , struct dvb_diseqc_slave_reply *reply ) ;
3827 int (*diseqc_send_burst)(struct dvb_frontend *fe , fe_sec_mini_cmd_t minicmd ) ;
3828 int (*set_tone)(struct dvb_frontend *fe , fe_sec_tone_mode_t tone ) ;
3829 int (*set_voltage)(struct dvb_frontend *fe , fe_sec_voltage_t voltage ) ;
3830 int (*enable_high_lnb_voltage)(struct dvb_frontend *fe , long arg ) ;
3831 int (*dishnetwork_send_legacy_command)(struct dvb_frontend *fe , unsigned long cmd ) ;
3832 int (*i2c_gate_ctrl)(struct dvb_frontend *fe , int enable ) ;
3833 int (*ts_bus_ctrl)(struct dvb_frontend *fe , int acquire ) ;
3834 enum dvbfe_search (*search)(struct dvb_frontend *fe ) ;
3835 struct dvb_tuner_ops tuner_ops ;
3836 struct analog_demod_ops analog_ops ;
3837 int (*set_property)(struct dvb_frontend *fe , struct dtv_property *tvp ) ;
3838 int (*get_property)(struct dvb_frontend *fe , struct dtv_property *tvp ) ;
3839};
3840#line 331 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3841struct __anonstruct_layer_251 {
3842 u8 segment_count ;
3843 fe_code_rate_t fec ;
3844 fe_modulation_t modulation ;
3845 u8 interleaving ;
3846};
3847#line 331 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3848struct dtv_frontend_properties {
3849 u32 state ;
3850 u32 frequency ;
3851 fe_modulation_t modulation ;
3852 fe_sec_voltage_t voltage ;
3853 fe_sec_tone_mode_t sectone ;
3854 fe_spectral_inversion_t inversion ;
3855 fe_code_rate_t fec_inner ;
3856 fe_transmit_mode_t transmission_mode ;
3857 u32 bandwidth_hz ;
3858 fe_guard_interval_t guard_interval ;
3859 fe_hierarchy_t hierarchy ;
3860 u32 symbol_rate ;
3861 fe_code_rate_t code_rate_HP ;
3862 fe_code_rate_t code_rate_LP ;
3863 fe_pilot_t pilot ;
3864 fe_rolloff_t rolloff ;
3865 fe_delivery_system_t delivery_system ;
3866 u8 isdbt_partial_reception ;
3867 u8 isdbt_sb_mode ;
3868 u8 isdbt_sb_subchannel ;
3869 u32 isdbt_sb_segment_idx ;
3870 u32 isdbt_sb_segment_count ;
3871 u8 isdbt_layer_enabled ;
3872 struct __anonstruct_layer_251 layer[3] ;
3873 u32 isdbs_ts_id ;
3874 u32 dvbt2_plp_id ;
3875};
3876#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3877struct dvb_frontend {
3878 struct dvb_frontend_ops ops ;
3879 struct dvb_adapter *dvb ;
3880 void *demodulator_priv ;
3881 void *tuner_priv ;
3882 void *frontend_priv ;
3883 void *sec_priv ;
3884 void *analog_demod_priv ;
3885 struct dtv_frontend_properties dtv_property_cache ;
3886 int (*callback)(void *adapter_priv , int component , int cmd , int arg ) ;
3887 int id ;
3888};
3889#line 39 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
3890struct isl6421 {
3891 u8 config ;
3892 u8 override_or ;
3893 u8 override_and ;
3894 struct i2c_adapter *i2c ;
3895 u8 i2c_addr ;
3896};
3897#line 1 "<compiler builtins>"
3898long __builtin_expect(long val , long res ) ;
3899#line 152 "include/linux/mutex.h"
3900void mutex_lock(struct mutex *lock ) ;
3901#line 153
3902int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3903#line 154
3904int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3905#line 168
3906int mutex_trylock(struct mutex *lock ) ;
3907#line 169
3908void mutex_unlock(struct mutex *lock ) ;
3909#line 170
3910int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3911#line 161 "include/linux/slab.h"
3912extern void kfree(void const * ) ;
3913#line 221 "include/linux/slub_def.h"
3914extern void *__kmalloc(size_t size , gfp_t flags ) ;
3915#line 268
3916__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3917 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3918#line 268 "include/linux/slub_def.h"
3919__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3920 gfp_t flags )
3921{ void *tmp___2 ;
3922
3923 {
3924 {
3925#line 283
3926 tmp___2 = __kmalloc(size, flags);
3927 }
3928#line 283
3929 return (tmp___2);
3930}
3931}
3932#line 69 "include/linux/i2c.h"
3933extern int i2c_transfer(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
3934#line 44 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/frontends/isl6421.h"
3935struct dvb_frontend *isl6421_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
3936 u8 i2c_addr , u8 override_set , u8 override_clear ) ;
3937#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
3938static int isl6421_set_voltage(struct dvb_frontend *fe , fe_sec_voltage_t voltage )
3939{ struct isl6421 *isl6421 ;
3940 struct i2c_msg msg ;
3941 int tmp___8 ;
3942 int tmp___9 ;
3943 unsigned long __cil_tmp8 ;
3944 unsigned long __cil_tmp9 ;
3945 void *__cil_tmp10 ;
3946 struct i2c_msg *__cil_tmp11 ;
3947 unsigned long __cil_tmp12 ;
3948 unsigned long __cil_tmp13 ;
3949 u8 __cil_tmp14 ;
3950 unsigned long __cil_tmp15 ;
3951 unsigned long __cil_tmp16 ;
3952 unsigned long __cil_tmp17 ;
3953 u8 __cil_tmp18 ;
3954 int __cil_tmp19 ;
3955 int __cil_tmp20 ;
3956 u8 __cil_tmp21 ;
3957 int __cil_tmp22 ;
3958 int __cil_tmp23 ;
3959 u8 __cil_tmp24 ;
3960 int __cil_tmp25 ;
3961 int __cil_tmp26 ;
3962 unsigned long __cil_tmp27 ;
3963 unsigned long __cil_tmp28 ;
3964 u8 __cil_tmp29 ;
3965 int __cil_tmp30 ;
3966 u8 __cil_tmp31 ;
3967 int __cil_tmp32 ;
3968 int __cil_tmp33 ;
3969 unsigned long __cil_tmp34 ;
3970 unsigned long __cil_tmp35 ;
3971 u8 __cil_tmp36 ;
3972 int __cil_tmp37 ;
3973 u8 __cil_tmp38 ;
3974 int __cil_tmp39 ;
3975 int __cil_tmp40 ;
3976 unsigned long __cil_tmp41 ;
3977 unsigned long __cil_tmp42 ;
3978 struct i2c_adapter *__cil_tmp43 ;
3979
3980 {
3981#line 49
3982 __cil_tmp8 = (unsigned long )fe;
3983#line 49
3984 __cil_tmp9 = __cil_tmp8 + 784;
3985#line 49
3986 __cil_tmp10 = *((void **)__cil_tmp9);
3987#line 49
3988 isl6421 = (struct isl6421 *)__cil_tmp10;
3989#line 50
3990 __cil_tmp11 = & msg;
3991#line 50
3992 __cil_tmp12 = (unsigned long )isl6421;
3993#line 50
3994 __cil_tmp13 = __cil_tmp12 + 16;
3995#line 50
3996 __cil_tmp14 = *((u8 *)__cil_tmp13);
3997#line 50
3998 *((__u16 *)__cil_tmp11) = (__u16 )__cil_tmp14;
3999#line 50
4000 __cil_tmp15 = (unsigned long )(& msg) + 2;
4001#line 50
4002 *((__u16 *)__cil_tmp15) = (__u16 )0;
4003#line 50
4004 __cil_tmp16 = (unsigned long )(& msg) + 4;
4005#line 50
4006 *((__u16 *)__cil_tmp16) = (__u16 )1UL;
4007#line 50
4008 __cil_tmp17 = (unsigned long )(& msg) + 8;
4009#line 50
4010 *((__u8 **)__cil_tmp17) = (u8 *)isl6421;
4011#line 54
4012 __cil_tmp18 = *((u8 *)isl6421);
4013#line 54
4014 __cil_tmp19 = (int )__cil_tmp18;
4015#line 54
4016 __cil_tmp20 = __cil_tmp19 & -7;
4017#line 54
4018 *((u8 *)isl6421) = (u8 )__cil_tmp20;
4019#line 57
4020 if ((int )voltage == 2) {
4021#line 57
4022 goto case_2;
4023 } else
4024#line 59
4025 if ((int )voltage == 0) {
4026#line 59
4027 goto case_0;
4028 } else
4029#line 62
4030 if ((int )voltage == 1) {
4031#line 62
4032 goto case_1;
4033 } else {
4034 {
4035#line 65
4036 goto switch_default;
4037#line 56
4038 if (0) {
4039 case_2:
4040#line 58
4041 goto switch_break;
4042 case_0:
4043#line 60
4044 __cil_tmp21 = *((u8 *)isl6421);
4045#line 60
4046 __cil_tmp22 = (int )__cil_tmp21;
4047#line 60
4048 __cil_tmp23 = __cil_tmp22 | 2;
4049#line 60
4050 *((u8 *)isl6421) = (u8 )__cil_tmp23;
4051#line 61
4052 goto switch_break;
4053 case_1:
4054#line 63
4055 __cil_tmp24 = *((u8 *)isl6421);
4056#line 63
4057 __cil_tmp25 = (int )__cil_tmp24;
4058#line 63
4059 __cil_tmp26 = __cil_tmp25 | 6;
4060#line 63
4061 *((u8 *)isl6421) = (u8 )__cil_tmp26;
4062#line 64
4063 goto switch_break;
4064 switch_default:
4065#line 66
4066 return (-22);
4067 } else {
4068 switch_break: ;
4069 }
4070 }
4071 }
4072 {
4073#line 69
4074 __cil_tmp27 = (unsigned long )isl6421;
4075#line 69
4076 __cil_tmp28 = __cil_tmp27 + 1;
4077#line 69
4078 __cil_tmp29 = *((u8 *)__cil_tmp28);
4079#line 69
4080 __cil_tmp30 = (int )__cil_tmp29;
4081#line 69
4082 __cil_tmp31 = *((u8 *)isl6421);
4083#line 69
4084 __cil_tmp32 = (int )__cil_tmp31;
4085#line 69
4086 __cil_tmp33 = __cil_tmp32 | __cil_tmp30;
4087#line 69
4088 *((u8 *)isl6421) = (u8 )__cil_tmp33;
4089#line 70
4090 __cil_tmp34 = (unsigned long )isl6421;
4091#line 70
4092 __cil_tmp35 = __cil_tmp34 + 2;
4093#line 70
4094 __cil_tmp36 = *((u8 *)__cil_tmp35);
4095#line 70
4096 __cil_tmp37 = (int )__cil_tmp36;
4097#line 70
4098 __cil_tmp38 = *((u8 *)isl6421);
4099#line 70
4100 __cil_tmp39 = (int )__cil_tmp38;
4101#line 70
4102 __cil_tmp40 = __cil_tmp39 & __cil_tmp37;
4103#line 70
4104 *((u8 *)isl6421) = (u8 )__cil_tmp40;
4105#line 72
4106 __cil_tmp41 = (unsigned long )isl6421;
4107#line 72
4108 __cil_tmp42 = __cil_tmp41 + 8;
4109#line 72
4110 __cil_tmp43 = *((struct i2c_adapter **)__cil_tmp42);
4111#line 72
4112 tmp___9 = i2c_transfer(__cil_tmp43, & msg, 1);
4113 }
4114#line 72
4115 if (tmp___9 == 1) {
4116#line 72
4117 tmp___8 = 0;
4118 } else {
4119#line 72
4120 tmp___8 = -5;
4121 }
4122#line 72
4123 return (tmp___8);
4124}
4125}
4126#line 75 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4127static int isl6421_enable_high_lnb_voltage(struct dvb_frontend *fe , long arg )
4128{ struct isl6421 *isl6421 ;
4129 struct i2c_msg msg ;
4130 int tmp___8 ;
4131 int tmp___9 ;
4132 unsigned long __cil_tmp8 ;
4133 unsigned long __cil_tmp9 ;
4134 void *__cil_tmp10 ;
4135 struct i2c_msg *__cil_tmp11 ;
4136 unsigned long __cil_tmp12 ;
4137 unsigned long __cil_tmp13 ;
4138 u8 __cil_tmp14 ;
4139 unsigned long __cil_tmp15 ;
4140 unsigned long __cil_tmp16 ;
4141 unsigned long __cil_tmp17 ;
4142 u8 __cil_tmp18 ;
4143 int __cil_tmp19 ;
4144 int __cil_tmp20 ;
4145 u8 __cil_tmp21 ;
4146 int __cil_tmp22 ;
4147 int __cil_tmp23 ;
4148 unsigned long __cil_tmp24 ;
4149 unsigned long __cil_tmp25 ;
4150 u8 __cil_tmp26 ;
4151 int __cil_tmp27 ;
4152 u8 __cil_tmp28 ;
4153 int __cil_tmp29 ;
4154 int __cil_tmp30 ;
4155 unsigned long __cil_tmp31 ;
4156 unsigned long __cil_tmp32 ;
4157 u8 __cil_tmp33 ;
4158 int __cil_tmp34 ;
4159 u8 __cil_tmp35 ;
4160 int __cil_tmp36 ;
4161 int __cil_tmp37 ;
4162 unsigned long __cil_tmp38 ;
4163 unsigned long __cil_tmp39 ;
4164 struct i2c_adapter *__cil_tmp40 ;
4165
4166 {
4167#line 77
4168 __cil_tmp8 = (unsigned long )fe;
4169#line 77
4170 __cil_tmp9 = __cil_tmp8 + 784;
4171#line 77
4172 __cil_tmp10 = *((void **)__cil_tmp9);
4173#line 77
4174 isl6421 = (struct isl6421 *)__cil_tmp10;
4175#line 78
4176 __cil_tmp11 = & msg;
4177#line 78
4178 __cil_tmp12 = (unsigned long )isl6421;
4179#line 78
4180 __cil_tmp13 = __cil_tmp12 + 16;
4181#line 78
4182 __cil_tmp14 = *((u8 *)__cil_tmp13);
4183#line 78
4184 *((__u16 *)__cil_tmp11) = (__u16 )__cil_tmp14;
4185#line 78
4186 __cil_tmp15 = (unsigned long )(& msg) + 2;
4187#line 78
4188 *((__u16 *)__cil_tmp15) = (__u16 )0;
4189#line 78
4190 __cil_tmp16 = (unsigned long )(& msg) + 4;
4191#line 78
4192 *((__u16 *)__cil_tmp16) = (__u16 )1UL;
4193#line 78
4194 __cil_tmp17 = (unsigned long )(& msg) + 8;
4195#line 78
4196 *((__u8 **)__cil_tmp17) = (u8 *)isl6421;
4197#line 82
4198 if (arg) {
4199#line 83
4200 __cil_tmp18 = *((u8 *)isl6421);
4201#line 83
4202 __cil_tmp19 = (int )__cil_tmp18;
4203#line 83
4204 __cil_tmp20 = __cil_tmp19 | 8;
4205#line 83
4206 *((u8 *)isl6421) = (u8 )__cil_tmp20;
4207 } else {
4208#line 85
4209 __cil_tmp21 = *((u8 *)isl6421);
4210#line 85
4211 __cil_tmp22 = (int )__cil_tmp21;
4212#line 85
4213 __cil_tmp23 = __cil_tmp22 & -9;
4214#line 85
4215 *((u8 *)isl6421) = (u8 )__cil_tmp23;
4216 }
4217 {
4218#line 87
4219 __cil_tmp24 = (unsigned long )isl6421;
4220#line 87
4221 __cil_tmp25 = __cil_tmp24 + 1;
4222#line 87
4223 __cil_tmp26 = *((u8 *)__cil_tmp25);
4224#line 87
4225 __cil_tmp27 = (int )__cil_tmp26;
4226#line 87
4227 __cil_tmp28 = *((u8 *)isl6421);
4228#line 87
4229 __cil_tmp29 = (int )__cil_tmp28;
4230#line 87
4231 __cil_tmp30 = __cil_tmp29 | __cil_tmp27;
4232#line 87
4233 *((u8 *)isl6421) = (u8 )__cil_tmp30;
4234#line 88
4235 __cil_tmp31 = (unsigned long )isl6421;
4236#line 88
4237 __cil_tmp32 = __cil_tmp31 + 2;
4238#line 88
4239 __cil_tmp33 = *((u8 *)__cil_tmp32);
4240#line 88
4241 __cil_tmp34 = (int )__cil_tmp33;
4242#line 88
4243 __cil_tmp35 = *((u8 *)isl6421);
4244#line 88
4245 __cil_tmp36 = (int )__cil_tmp35;
4246#line 88
4247 __cil_tmp37 = __cil_tmp36 & __cil_tmp34;
4248#line 88
4249 *((u8 *)isl6421) = (u8 )__cil_tmp37;
4250#line 90
4251 __cil_tmp38 = (unsigned long )isl6421;
4252#line 90
4253 __cil_tmp39 = __cil_tmp38 + 8;
4254#line 90
4255 __cil_tmp40 = *((struct i2c_adapter **)__cil_tmp39);
4256#line 90
4257 tmp___9 = i2c_transfer(__cil_tmp40, & msg, 1);
4258 }
4259#line 90
4260 if (tmp___9 == 1) {
4261#line 90
4262 tmp___8 = 0;
4263 } else {
4264#line 90
4265 tmp___8 = -5;
4266 }
4267#line 90
4268 return (tmp___8);
4269}
4270}
4271#line 93 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4272static void isl6421_release(struct dvb_frontend *fe )
4273{ fe_sec_voltage_t __cil_tmp2 ;
4274 unsigned long __cil_tmp3 ;
4275 unsigned long __cil_tmp4 ;
4276 void *__cil_tmp5 ;
4277 void const *__cil_tmp6 ;
4278 unsigned long __cil_tmp7 ;
4279 unsigned long __cil_tmp8 ;
4280
4281 {
4282 {
4283#line 96
4284 __cil_tmp2 = (fe_sec_voltage_t )2;
4285#line 96
4286 isl6421_set_voltage(fe, __cil_tmp2);
4287#line 99
4288 __cil_tmp3 = (unsigned long )fe;
4289#line 99
4290 __cil_tmp4 = __cil_tmp3 + 784;
4291#line 99
4292 __cil_tmp5 = *((void **)__cil_tmp4);
4293#line 99
4294 __cil_tmp6 = (void const *)__cil_tmp5;
4295#line 99
4296 kfree(__cil_tmp6);
4297#line 100
4298 __cil_tmp7 = (unsigned long )fe;
4299#line 100
4300 __cil_tmp8 = __cil_tmp7 + 784;
4301#line 100
4302 *((void **)__cil_tmp8) = (void *)0;
4303 }
4304#line 101
4305 return;
4306}
4307}
4308#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4309struct dvb_frontend *isl6421_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
4310 u8 i2c_addr , u8 override_set , u8 override_clear )
4311{ struct isl6421 *isl6421 ;
4312 void *tmp___7 ;
4313 int tmp___8 ;
4314 void *__cil_tmp9 ;
4315 unsigned long __cil_tmp10 ;
4316 unsigned long __cil_tmp11 ;
4317 unsigned long __cil_tmp12 ;
4318 unsigned long __cil_tmp13 ;
4319 unsigned long __cil_tmp14 ;
4320 unsigned long __cil_tmp15 ;
4321 unsigned long __cil_tmp16 ;
4322 unsigned long __cil_tmp17 ;
4323 unsigned long __cil_tmp18 ;
4324 unsigned long __cil_tmp19 ;
4325 int __cil_tmp20 ;
4326 int __cil_tmp21 ;
4327 fe_sec_voltage_t __cil_tmp22 ;
4328 void const *__cil_tmp23 ;
4329 unsigned long __cil_tmp24 ;
4330 unsigned long __cil_tmp25 ;
4331 void *__cil_tmp26 ;
4332 unsigned long __cil_tmp27 ;
4333 unsigned long __cil_tmp28 ;
4334 unsigned long __cil_tmp29 ;
4335 unsigned long __cil_tmp30 ;
4336 unsigned long __cil_tmp31 ;
4337 unsigned long __cil_tmp32 ;
4338 unsigned long __cil_tmp33 ;
4339 unsigned long __cil_tmp34 ;
4340 unsigned long __cil_tmp35 ;
4341
4342 {
4343 {
4344#line 106
4345 tmp___7 = kmalloc(24UL, 208U);
4346#line 106
4347 isl6421 = (struct isl6421 *)tmp___7;
4348 }
4349#line 107
4350 if (! isl6421) {
4351 {
4352#line 108
4353 __cil_tmp9 = (void *)0;
4354#line 108
4355 return ((struct dvb_frontend *)__cil_tmp9);
4356 }
4357 } else {
4358
4359 }
4360 {
4361#line 111
4362 *((u8 *)isl6421) = (u8 )32;
4363#line 112
4364 __cil_tmp10 = (unsigned long )isl6421;
4365#line 112
4366 __cil_tmp11 = __cil_tmp10 + 8;
4367#line 112
4368 *((struct i2c_adapter **)__cil_tmp11) = i2c;
4369#line 113
4370 __cil_tmp12 = (unsigned long )isl6421;
4371#line 113
4372 __cil_tmp13 = __cil_tmp12 + 16;
4373#line 113
4374 *((u8 *)__cil_tmp13) = i2c_addr;
4375#line 114
4376 __cil_tmp14 = (unsigned long )fe;
4377#line 114
4378 __cil_tmp15 = __cil_tmp14 + 784;
4379#line 114
4380 *((void **)__cil_tmp15) = (void *)isl6421;
4381#line 117
4382 __cil_tmp16 = (unsigned long )isl6421;
4383#line 117
4384 __cil_tmp17 = __cil_tmp16 + 1;
4385#line 117
4386 *((u8 *)__cil_tmp17) = override_set;
4387#line 120
4388 __cil_tmp18 = (unsigned long )isl6421;
4389#line 120
4390 __cil_tmp19 = __cil_tmp18 + 2;
4391#line 120
4392 __cil_tmp20 = (int )override_clear;
4393#line 120
4394 __cil_tmp21 = ~ __cil_tmp20;
4395#line 120
4396 *((u8 *)__cil_tmp19) = (u8 )__cil_tmp21;
4397#line 123
4398 __cil_tmp22 = (fe_sec_voltage_t )2;
4399#line 123
4400 tmp___8 = isl6421_set_voltage(fe, __cil_tmp22);
4401 }
4402#line 123
4403 if (tmp___8) {
4404 {
4405#line 124
4406 __cil_tmp23 = (void const *)isl6421;
4407#line 124
4408 kfree(__cil_tmp23);
4409#line 125
4410 __cil_tmp24 = (unsigned long )fe;
4411#line 125
4412 __cil_tmp25 = __cil_tmp24 + 784;
4413#line 125
4414 *((void **)__cil_tmp25) = (void *)0;
4415 }
4416 {
4417#line 126
4418 __cil_tmp26 = (void *)0;
4419#line 126
4420 return ((struct dvb_frontend *)__cil_tmp26);
4421 }
4422 } else {
4423
4424 }
4425#line 130
4426 __cil_tmp27 = 0 + 184;
4427#line 130
4428 __cil_tmp28 = (unsigned long )fe;
4429#line 130
4430 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
4431#line 130
4432 *((void (**)(struct dvb_frontend *fe ))__cil_tmp29) = & isl6421_release;
4433#line 133
4434 __cil_tmp30 = 0 + 336;
4435#line 133
4436 __cil_tmp31 = (unsigned long )fe;
4437#line 133
4438 __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
4439#line 133
4440 *((int (**)(struct dvb_frontend *fe , fe_sec_voltage_t voltage ))__cil_tmp32) = & isl6421_set_voltage;
4441#line 134
4442 __cil_tmp33 = 0 + 344;
4443#line 134
4444 __cil_tmp34 = (unsigned long )fe;
4445#line 134
4446 __cil_tmp35 = __cil_tmp34 + __cil_tmp33;
4447#line 134
4448 *((int (**)(struct dvb_frontend *fe , long arg ))__cil_tmp35) = & isl6421_enable_high_lnb_voltage;
4449#line 136
4450 return (fe);
4451}
4452}
4453#line 138
4454extern void *__crc_isl6421_attach __attribute__((__weak__)) ;
4455#line 138 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4456static unsigned long const __kcrctab_isl6421_attach __attribute__((__used__, __unused__,
4457__section__("___kcrctab+isl6421_attach"))) = (unsigned long const )((unsigned long )(& __crc_isl6421_attach));
4458#line 138 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4459static char const __kstrtab_isl6421_attach[15] __attribute__((__section__("__ksymtab_strings"),
4460__aligned__(1))) =
4461#line 138
4462 { (char const )'i', (char const )'s', (char const )'l', (char const )'6',
4463 (char const )'4', (char const )'2', (char const )'1', (char const )'_',
4464 (char const )'a', (char const )'t', (char const )'t', (char const )'a',
4465 (char const )'c', (char const )'h', (char const )'\000'};
4466#line 138 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4467static struct kernel_symbol const __ksymtab_isl6421_attach __attribute__((__used__,
4468__unused__, __section__("___ksymtab+isl6421_attach"))) = {(unsigned long )(& isl6421_attach), __kstrtab_isl6421_attach};
4469#line 140 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4470static char const __mod_description140[57] __attribute__((__used__, __unused__,
4471__section__(".modinfo"), __aligned__(1))) =
4472#line 140
4473 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4474 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4475 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4476 (char const )'D', (char const )'r', (char const )'i', (char const )'v',
4477 (char const )'e', (char const )'r', (char const )' ', (char const )'f',
4478 (char const )'o', (char const )'r', (char const )' ', (char const )'l',
4479 (char const )'n', (char const )'b', (char const )' ', (char const )'s',
4480 (char const )'u', (char const )'p', (char const )'p', (char const )'l',
4481 (char const )'y', (char const )' ', (char const )'a', (char const )'n',
4482 (char const )'d', (char const )' ', (char const )'c', (char const )'o',
4483 (char const )'n', (char const )'t', (char const )'r', (char const )'o',
4484 (char const )'l', (char const )' ', (char const )'i', (char const )'c',
4485 (char const )' ', (char const )'i', (char const )'s', (char const )'l',
4486 (char const )'6', (char const )'4', (char const )'2', (char const )'1',
4487 (char const )'\000'};
4488#line 141 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4489static char const __mod_author141[42] __attribute__((__used__, __unused__, __section__(".modinfo"),
4490__aligned__(1))) =
4491#line 141
4492 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4493 (char const )'o', (char const )'r', (char const )'=', (char const )'A',
4494 (char const )'n', (char const )'d', (char const )'r', (char const )'e',
4495 (char const )'w', (char const )' ', (char const )'d', (char const )'e',
4496 (char const )' ', (char const )'Q', (char const )'u', (char const )'i',
4497 (char const )'n', (char const )'c', (char const )'e', (char const )'y',
4498 (char const )' ', (char const )'&', (char const )' ', (char const )'O',
4499 (char const )'l', (char const )'i', (char const )'v', (char const )'e',
4500 (char const )'r', (char const )' ', (char const )'E', (char const )'n',
4501 (char const )'d', (char const )'r', (char const )'i', (char const )'s',
4502 (char const )'s', (char const )'\000'};
4503#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4504static char const __mod_license142[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4505__aligned__(1))) =
4506#line 142
4507 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4508 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4509 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4510#line 160
4511void ldv_check_final_state(void) ;
4512#line 166
4513extern void ldv_initialize(void) ;
4514#line 169
4515extern int __VERIFIER_nondet_int(void) ;
4516#line 172 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4517int LDV_IN_INTERRUPT ;
4518#line 175 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4519void main(void)
4520{ int tmp___7 ;
4521 int tmp___8 ;
4522
4523 {
4524 {
4525#line 187
4526 LDV_IN_INTERRUPT = 1;
4527#line 196
4528 ldv_initialize();
4529 }
4530 {
4531#line 198
4532 while (1) {
4533 while_continue: ;
4534 {
4535#line 198
4536 tmp___8 = __VERIFIER_nondet_int();
4537 }
4538#line 198
4539 if (tmp___8) {
4540
4541 } else {
4542#line 198
4543 goto while_break;
4544 }
4545 {
4546#line 201
4547 tmp___7 = __VERIFIER_nondet_int();
4548 }
4549 {
4550#line 203
4551 goto switch_default;
4552#line 201
4553 if (0) {
4554 switch_default:
4555#line 203
4556 goto switch_break;
4557 } else {
4558 switch_break: ;
4559 }
4560 }
4561 }
4562 while_break: ;
4563 }
4564 {
4565#line 212
4566 ldv_check_final_state();
4567 }
4568#line 215
4569 return;
4570}
4571}
4572#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4573void ldv_blast_assert(void)
4574{
4575
4576 {
4577 ERROR:
4578#line 6
4579 goto ERROR;
4580}
4581}
4582#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4583extern int __VERIFIER_nondet_int(void) ;
4584#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4585int ldv_mutex = 1;
4586#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4587int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4588{ int nondetermined ;
4589
4590 {
4591#line 29
4592 if (ldv_mutex == 1) {
4593
4594 } else {
4595 {
4596#line 29
4597 ldv_blast_assert();
4598 }
4599 }
4600 {
4601#line 32
4602 nondetermined = __VERIFIER_nondet_int();
4603 }
4604#line 35
4605 if (nondetermined) {
4606#line 38
4607 ldv_mutex = 2;
4608#line 40
4609 return (0);
4610 } else {
4611#line 45
4612 return (-4);
4613 }
4614}
4615}
4616#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4617int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4618{ int nondetermined ;
4619
4620 {
4621#line 57
4622 if (ldv_mutex == 1) {
4623
4624 } else {
4625 {
4626#line 57
4627 ldv_blast_assert();
4628 }
4629 }
4630 {
4631#line 60
4632 nondetermined = __VERIFIER_nondet_int();
4633 }
4634#line 63
4635 if (nondetermined) {
4636#line 66
4637 ldv_mutex = 2;
4638#line 68
4639 return (0);
4640 } else {
4641#line 73
4642 return (-4);
4643 }
4644}
4645}
4646#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4647int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4648{ int atomic_value_after_dec ;
4649
4650 {
4651#line 83
4652 if (ldv_mutex == 1) {
4653
4654 } else {
4655 {
4656#line 83
4657 ldv_blast_assert();
4658 }
4659 }
4660 {
4661#line 86
4662 atomic_value_after_dec = __VERIFIER_nondet_int();
4663 }
4664#line 89
4665 if (atomic_value_after_dec == 0) {
4666#line 92
4667 ldv_mutex = 2;
4668#line 94
4669 return (1);
4670 } else {
4671
4672 }
4673#line 98
4674 return (0);
4675}
4676}
4677#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4678void mutex_lock(struct mutex *lock )
4679{
4680
4681 {
4682#line 108
4683 if (ldv_mutex == 1) {
4684
4685 } else {
4686 {
4687#line 108
4688 ldv_blast_assert();
4689 }
4690 }
4691#line 110
4692 ldv_mutex = 2;
4693#line 111
4694 return;
4695}
4696}
4697#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4698int mutex_trylock(struct mutex *lock )
4699{ int nondetermined ;
4700
4701 {
4702#line 121
4703 if (ldv_mutex == 1) {
4704
4705 } else {
4706 {
4707#line 121
4708 ldv_blast_assert();
4709 }
4710 }
4711 {
4712#line 124
4713 nondetermined = __VERIFIER_nondet_int();
4714 }
4715#line 127
4716 if (nondetermined) {
4717#line 130
4718 ldv_mutex = 2;
4719#line 132
4720 return (1);
4721 } else {
4722#line 137
4723 return (0);
4724 }
4725}
4726}
4727#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4728void mutex_unlock(struct mutex *lock )
4729{
4730
4731 {
4732#line 147
4733 if (ldv_mutex == 2) {
4734
4735 } else {
4736 {
4737#line 147
4738 ldv_blast_assert();
4739 }
4740 }
4741#line 149
4742 ldv_mutex = 1;
4743#line 150
4744 return;
4745}
4746}
4747#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4748void ldv_check_final_state(void)
4749{
4750
4751 {
4752#line 156
4753 if (ldv_mutex == 1) {
4754
4755 } else {
4756 {
4757#line 156
4758 ldv_blast_assert();
4759 }
4760 }
4761#line 157
4762 return;
4763}
4764}
4765#line 224 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/13372/dscv_tempdir/dscv/ri/32_1/drivers/media/dvb/frontends/isl6421.c.common.c"
4766long s__builtin_expect(long val , long res )
4767{
4768
4769 {
4770#line 225
4771 return (val);
4772}
4773}