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