1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 20 "include/asm-generic/int-ll64.h"
7typedef unsigned char __u8;
8#line 22 "include/asm-generic/int-ll64.h"
9typedef short __s16;
10#line 23 "include/asm-generic/int-ll64.h"
11typedef unsigned short __u16;
12#line 25 "include/asm-generic/int-ll64.h"
13typedef int __s32;
14#line 26 "include/asm-generic/int-ll64.h"
15typedef unsigned int __u32;
16#line 29 "include/asm-generic/int-ll64.h"
17typedef long long __s64;
18#line 30 "include/asm-generic/int-ll64.h"
19typedef unsigned long long __u64;
20#line 43 "include/asm-generic/int-ll64.h"
21typedef unsigned char u8;
22#line 45 "include/asm-generic/int-ll64.h"
23typedef short s16;
24#line 46 "include/asm-generic/int-ll64.h"
25typedef unsigned short u16;
26#line 48 "include/asm-generic/int-ll64.h"
27typedef int s32;
28#line 49 "include/asm-generic/int-ll64.h"
29typedef unsigned int u32;
30#line 51 "include/asm-generic/int-ll64.h"
31typedef long long s64;
32#line 52 "include/asm-generic/int-ll64.h"
33typedef unsigned long long u64;
34#line 14 "include/asm-generic/posix_types.h"
35typedef long __kernel_long_t;
36#line 15 "include/asm-generic/posix_types.h"
37typedef unsigned long __kernel_ulong_t;
38#line 31 "include/asm-generic/posix_types.h"
39typedef int __kernel_pid_t;
40#line 52 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_uid32_t;
42#line 53 "include/asm-generic/posix_types.h"
43typedef unsigned int __kernel_gid32_t;
44#line 75 "include/asm-generic/posix_types.h"
45typedef __kernel_ulong_t __kernel_size_t;
46#line 76 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_ssize_t;
48#line 91 "include/asm-generic/posix_types.h"
49typedef long long __kernel_loff_t;
50#line 92 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_time_t;
52#line 93 "include/asm-generic/posix_types.h"
53typedef __kernel_long_t __kernel_clock_t;
54#line 94 "include/asm-generic/posix_types.h"
55typedef int __kernel_timer_t;
56#line 95 "include/asm-generic/posix_types.h"
57typedef int __kernel_clockid_t;
58#line 21 "include/linux/types.h"
59typedef __u32 __kernel_dev_t;
60#line 24 "include/linux/types.h"
61typedef __kernel_dev_t dev_t;
62#line 27 "include/linux/types.h"
63typedef unsigned short umode_t;
64#line 30 "include/linux/types.h"
65typedef __kernel_pid_t pid_t;
66#line 35 "include/linux/types.h"
67typedef __kernel_clockid_t clockid_t;
68#line 38 "include/linux/types.h"
69typedef _Bool bool;
70#line 40 "include/linux/types.h"
71typedef __kernel_uid32_t uid_t;
72#line 41 "include/linux/types.h"
73typedef __kernel_gid32_t gid_t;
74#line 54 "include/linux/types.h"
75typedef __kernel_loff_t loff_t;
76#line 63 "include/linux/types.h"
77typedef __kernel_size_t size_t;
78#line 68 "include/linux/types.h"
79typedef __kernel_ssize_t ssize_t;
80#line 78 "include/linux/types.h"
81typedef __kernel_time_t time_t;
82#line 111 "include/linux/types.h"
83typedef __s32 int32_t;
84#line 117 "include/linux/types.h"
85typedef __u32 uint32_t;
86#line 142 "include/linux/types.h"
87typedef unsigned long sector_t;
88#line 143 "include/linux/types.h"
89typedef unsigned long blkcnt_t;
90#line 202 "include/linux/types.h"
91typedef unsigned int gfp_t;
92#line 203 "include/linux/types.h"
93typedef unsigned int fmode_t;
94#line 219 "include/linux/types.h"
95struct __anonstruct_atomic_t_7 {
96 int counter ;
97};
98#line 219 "include/linux/types.h"
99typedef struct __anonstruct_atomic_t_7 atomic_t;
100#line 224 "include/linux/types.h"
101struct __anonstruct_atomic64_t_8 {
102 long counter ;
103};
104#line 224 "include/linux/types.h"
105typedef struct __anonstruct_atomic64_t_8 atomic64_t;
106#line 229 "include/linux/types.h"
107struct list_head {
108 struct list_head *next ;
109 struct list_head *prev ;
110};
111#line 233
112struct hlist_node;
113#line 233 "include/linux/types.h"
114struct hlist_head {
115 struct hlist_node *first ;
116};
117#line 237 "include/linux/types.h"
118struct hlist_node {
119 struct hlist_node *next ;
120 struct hlist_node **pprev ;
121};
122#line 253 "include/linux/types.h"
123struct rcu_head {
124 struct rcu_head *next ;
125 void (*func)(struct rcu_head *head ) ;
126};
127#line 12 "include/linux/thread_info.h"
128struct timespec;
129#line 12
130struct timespec;
131#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
132struct module;
133#line 56
134struct module;
135#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
136struct page;
137#line 18
138struct page;
139#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
140struct task_struct;
141#line 20
142struct task_struct;
143#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
144struct task_struct;
145#line 8
146struct mm_struct;
147#line 8
148struct mm_struct;
149#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
150struct pt_regs {
151 unsigned long r15 ;
152 unsigned long r14 ;
153 unsigned long r13 ;
154 unsigned long r12 ;
155 unsigned long bp ;
156 unsigned long bx ;
157 unsigned long r11 ;
158 unsigned long r10 ;
159 unsigned long r9 ;
160 unsigned long r8 ;
161 unsigned long ax ;
162 unsigned long cx ;
163 unsigned long dx ;
164 unsigned long si ;
165 unsigned long di ;
166 unsigned long orig_ax ;
167 unsigned long ip ;
168 unsigned long cs ;
169 unsigned long flags ;
170 unsigned long sp ;
171 unsigned long ss ;
172};
173#line 146 "include/linux/init.h"
174typedef void (*ctor_fn_t)(void);
175#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
176struct __anonstruct____missing_field_name_14 {
177 unsigned int a ;
178 unsigned int b ;
179};
180#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
181struct __anonstruct____missing_field_name_15 {
182 u16 limit0 ;
183 u16 base0 ;
184 unsigned int base1 : 8 ;
185 unsigned int type : 4 ;
186 unsigned int s : 1 ;
187 unsigned int dpl : 2 ;
188 unsigned int p : 1 ;
189 unsigned int limit : 4 ;
190 unsigned int avl : 1 ;
191 unsigned int l : 1 ;
192 unsigned int d : 1 ;
193 unsigned int g : 1 ;
194 unsigned int base2 : 8 ;
195};
196#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
197union __anonunion____missing_field_name_13 {
198 struct __anonstruct____missing_field_name_14 __annonCompField5 ;
199 struct __anonstruct____missing_field_name_15 __annonCompField6 ;
200};
201#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
202struct desc_struct {
203 union __anonunion____missing_field_name_13 __annonCompField7 ;
204} __attribute__((__packed__)) ;
205#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
206typedef unsigned long pgdval_t;
207#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
208typedef unsigned long pgprotval_t;
209#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
210struct pgprot {
211 pgprotval_t pgprot ;
212};
213#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
214typedef struct pgprot pgprot_t;
215#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
216struct __anonstruct_pgd_t_19 {
217 pgdval_t pgd ;
218};
219#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
220typedef struct __anonstruct_pgd_t_19 pgd_t;
221#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
222typedef struct page *pgtable_t;
223#line 295
224struct file;
225#line 295
226struct file;
227#line 313
228struct seq_file;
229#line 313
230struct seq_file;
231#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
232struct page;
233#line 47
234struct thread_struct;
235#line 47
236struct thread_struct;
237#line 50
238struct mm_struct;
239#line 51
240struct desc_struct;
241#line 52
242struct task_struct;
243#line 53
244struct cpumask;
245#line 53
246struct cpumask;
247#line 329
248struct arch_spinlock;
249#line 329
250struct arch_spinlock;
251#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
252struct task_struct;
253#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
254struct kernel_vm86_regs {
255 struct pt_regs pt ;
256 unsigned short es ;
257 unsigned short __esh ;
258 unsigned short ds ;
259 unsigned short __dsh ;
260 unsigned short fs ;
261 unsigned short __fsh ;
262 unsigned short gs ;
263 unsigned short __gsh ;
264};
265#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
266union __anonunion____missing_field_name_23 {
267 struct pt_regs *regs ;
268 struct kernel_vm86_regs *vm86 ;
269};
270#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
271struct math_emu_info {
272 long ___orig_eip ;
273 union __anonunion____missing_field_name_23 __annonCompField8 ;
274};
275#line 47 "include/linux/dynamic_debug.h"
276struct device;
277#line 47
278struct device;
279#line 135 "include/linux/kernel.h"
280struct completion;
281#line 135
282struct completion;
283#line 136
284struct pt_regs;
285#line 349
286struct pid;
287#line 349
288struct pid;
289#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
290struct task_struct;
291#line 10 "include/asm-generic/bug.h"
292struct bug_entry {
293 int bug_addr_disp ;
294 int file_disp ;
295 unsigned short line ;
296 unsigned short flags ;
297};
298#line 12 "include/linux/bug.h"
299struct pt_regs;
300#line 14 "include/linux/cpumask.h"
301struct cpumask {
302 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
303};
304#line 14 "include/linux/cpumask.h"
305typedef struct cpumask cpumask_t;
306#line 637 "include/linux/cpumask.h"
307typedef struct cpumask *cpumask_var_t;
308#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
309struct static_key;
310#line 234
311struct static_key;
312#line 11 "include/linux/personality.h"
313struct pt_regs;
314#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
315struct i387_fsave_struct {
316 u32 cwd ;
317 u32 swd ;
318 u32 twd ;
319 u32 fip ;
320 u32 fcs ;
321 u32 foo ;
322 u32 fos ;
323 u32 st_space[20] ;
324 u32 status ;
325};
326#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
327struct __anonstruct____missing_field_name_31 {
328 u64 rip ;
329 u64 rdp ;
330};
331#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
332struct __anonstruct____missing_field_name_32 {
333 u32 fip ;
334 u32 fcs ;
335 u32 foo ;
336 u32 fos ;
337};
338#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
339union __anonunion____missing_field_name_30 {
340 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
341 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
342};
343#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
344union __anonunion____missing_field_name_33 {
345 u32 padding1[12] ;
346 u32 sw_reserved[12] ;
347};
348#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
349struct i387_fxsave_struct {
350 u16 cwd ;
351 u16 swd ;
352 u16 twd ;
353 u16 fop ;
354 union __anonunion____missing_field_name_30 __annonCompField14 ;
355 u32 mxcsr ;
356 u32 mxcsr_mask ;
357 u32 st_space[32] ;
358 u32 xmm_space[64] ;
359 u32 padding[12] ;
360 union __anonunion____missing_field_name_33 __annonCompField15 ;
361} __attribute__((__aligned__(16))) ;
362#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
363struct i387_soft_struct {
364 u32 cwd ;
365 u32 swd ;
366 u32 twd ;
367 u32 fip ;
368 u32 fcs ;
369 u32 foo ;
370 u32 fos ;
371 u32 st_space[20] ;
372 u8 ftop ;
373 u8 changed ;
374 u8 lookahead ;
375 u8 no_update ;
376 u8 rm ;
377 u8 alimit ;
378 struct math_emu_info *info ;
379 u32 entry_eip ;
380};
381#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
382struct ymmh_struct {
383 u32 ymmh_space[64] ;
384};
385#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
386struct xsave_hdr_struct {
387 u64 xstate_bv ;
388 u64 reserved1[2] ;
389 u64 reserved2[5] ;
390} __attribute__((__packed__)) ;
391#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
392struct xsave_struct {
393 struct i387_fxsave_struct i387 ;
394 struct xsave_hdr_struct xsave_hdr ;
395 struct ymmh_struct ymmh ;
396} __attribute__((__packed__, __aligned__(64))) ;
397#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
398union thread_xstate {
399 struct i387_fsave_struct fsave ;
400 struct i387_fxsave_struct fxsave ;
401 struct i387_soft_struct soft ;
402 struct xsave_struct xsave ;
403};
404#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
405struct fpu {
406 unsigned int last_cpu ;
407 unsigned int has_fpu ;
408 union thread_xstate *state ;
409};
410#line 433
411struct kmem_cache;
412#line 435
413struct perf_event;
414#line 435
415struct perf_event;
416#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
417struct thread_struct {
418 struct desc_struct tls_array[3] ;
419 unsigned long sp0 ;
420 unsigned long sp ;
421 unsigned long usersp ;
422 unsigned short es ;
423 unsigned short ds ;
424 unsigned short fsindex ;
425 unsigned short gsindex ;
426 unsigned long fs ;
427 unsigned long gs ;
428 struct perf_event *ptrace_bps[4] ;
429 unsigned long debugreg6 ;
430 unsigned long ptrace_dr7 ;
431 unsigned long cr2 ;
432 unsigned long trap_nr ;
433 unsigned long error_code ;
434 struct fpu fpu ;
435 unsigned long *io_bitmap_ptr ;
436 unsigned long iopl ;
437 unsigned int io_bitmap_max ;
438};
439#line 23 "include/asm-generic/atomic-long.h"
440typedef atomic64_t atomic_long_t;
441#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
442typedef u16 __ticket_t;
443#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
444typedef u32 __ticketpair_t;
445#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
446struct __raw_tickets {
447 __ticket_t head ;
448 __ticket_t tail ;
449};
450#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
451union __anonunion____missing_field_name_36 {
452 __ticketpair_t head_tail ;
453 struct __raw_tickets tickets ;
454};
455#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
456struct arch_spinlock {
457 union __anonunion____missing_field_name_36 __annonCompField17 ;
458};
459#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
460typedef struct arch_spinlock arch_spinlock_t;
461#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
462struct __anonstruct____missing_field_name_38 {
463 u32 read ;
464 s32 write ;
465};
466#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
467union __anonunion_arch_rwlock_t_37 {
468 s64 lock ;
469 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
470};
471#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
472typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
473#line 12 "include/linux/lockdep.h"
474struct task_struct;
475#line 391 "include/linux/lockdep.h"
476struct lock_class_key {
477
478};
479#line 20 "include/linux/spinlock_types.h"
480struct raw_spinlock {
481 arch_spinlock_t raw_lock ;
482 unsigned int magic ;
483 unsigned int owner_cpu ;
484 void *owner ;
485};
486#line 20 "include/linux/spinlock_types.h"
487typedef struct raw_spinlock raw_spinlock_t;
488#line 64 "include/linux/spinlock_types.h"
489union __anonunion____missing_field_name_39 {
490 struct raw_spinlock rlock ;
491};
492#line 64 "include/linux/spinlock_types.h"
493struct spinlock {
494 union __anonunion____missing_field_name_39 __annonCompField19 ;
495};
496#line 64 "include/linux/spinlock_types.h"
497typedef struct spinlock spinlock_t;
498#line 11 "include/linux/rwlock_types.h"
499struct __anonstruct_rwlock_t_40 {
500 arch_rwlock_t raw_lock ;
501 unsigned int magic ;
502 unsigned int owner_cpu ;
503 void *owner ;
504};
505#line 11 "include/linux/rwlock_types.h"
506typedef struct __anonstruct_rwlock_t_40 rwlock_t;
507#line 49 "include/linux/wait.h"
508struct __wait_queue_head {
509 spinlock_t lock ;
510 struct list_head task_list ;
511};
512#line 53 "include/linux/wait.h"
513typedef struct __wait_queue_head wait_queue_head_t;
514#line 55
515struct task_struct;
516#line 119 "include/linux/seqlock.h"
517struct seqcount {
518 unsigned int sequence ;
519};
520#line 119 "include/linux/seqlock.h"
521typedef struct seqcount seqcount_t;
522#line 98 "include/linux/nodemask.h"
523struct __anonstruct_nodemask_t_42 {
524 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
525};
526#line 98 "include/linux/nodemask.h"
527typedef struct __anonstruct_nodemask_t_42 nodemask_t;
528#line 60 "include/linux/pageblock-flags.h"
529struct page;
530#line 48 "include/linux/mutex.h"
531struct mutex {
532 atomic_t count ;
533 spinlock_t wait_lock ;
534 struct list_head wait_list ;
535 struct task_struct *owner ;
536 char const *name ;
537 void *magic ;
538};
539#line 69 "include/linux/mutex.h"
540struct mutex_waiter {
541 struct list_head list ;
542 struct task_struct *task ;
543 void *magic ;
544};
545#line 19 "include/linux/rwsem.h"
546struct rw_semaphore;
547#line 19
548struct rw_semaphore;
549#line 25 "include/linux/rwsem.h"
550struct rw_semaphore {
551 long count ;
552 raw_spinlock_t wait_lock ;
553 struct list_head wait_list ;
554};
555#line 25 "include/linux/completion.h"
556struct completion {
557 unsigned int done ;
558 wait_queue_head_t wait ;
559};
560#line 9 "include/linux/memory_hotplug.h"
561struct page;
562#line 202 "include/linux/ioport.h"
563struct device;
564#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
565struct device;
566#line 14 "include/linux/time.h"
567struct timespec {
568 __kernel_time_t tv_sec ;
569 long tv_nsec ;
570};
571#line 46 "include/linux/ktime.h"
572union ktime {
573 s64 tv64 ;
574};
575#line 59 "include/linux/ktime.h"
576typedef union ktime ktime_t;
577#line 10 "include/linux/timer.h"
578struct tvec_base;
579#line 10
580struct tvec_base;
581#line 12 "include/linux/timer.h"
582struct timer_list {
583 struct list_head entry ;
584 unsigned long expires ;
585 struct tvec_base *base ;
586 void (*function)(unsigned long ) ;
587 unsigned long data ;
588 int slack ;
589 int start_pid ;
590 void *start_site ;
591 char start_comm[16] ;
592};
593#line 289
594struct hrtimer;
595#line 289
596struct hrtimer;
597#line 290
598enum hrtimer_restart;
599#line 17 "include/linux/workqueue.h"
600struct work_struct;
601#line 17
602struct work_struct;
603#line 79 "include/linux/workqueue.h"
604struct work_struct {
605 atomic_long_t data ;
606 struct list_head entry ;
607 void (*func)(struct work_struct *work ) ;
608};
609#line 92 "include/linux/workqueue.h"
610struct delayed_work {
611 struct work_struct work ;
612 struct timer_list timer ;
613};
614#line 42 "include/linux/pm.h"
615struct device;
616#line 50 "include/linux/pm.h"
617struct pm_message {
618 int event ;
619};
620#line 50 "include/linux/pm.h"
621typedef struct pm_message pm_message_t;
622#line 264 "include/linux/pm.h"
623struct dev_pm_ops {
624 int (*prepare)(struct device *dev ) ;
625 void (*complete)(struct device *dev ) ;
626 int (*suspend)(struct device *dev ) ;
627 int (*resume)(struct device *dev ) ;
628 int (*freeze)(struct device *dev ) ;
629 int (*thaw)(struct device *dev ) ;
630 int (*poweroff)(struct device *dev ) ;
631 int (*restore)(struct device *dev ) ;
632 int (*suspend_late)(struct device *dev ) ;
633 int (*resume_early)(struct device *dev ) ;
634 int (*freeze_late)(struct device *dev ) ;
635 int (*thaw_early)(struct device *dev ) ;
636 int (*poweroff_late)(struct device *dev ) ;
637 int (*restore_early)(struct device *dev ) ;
638 int (*suspend_noirq)(struct device *dev ) ;
639 int (*resume_noirq)(struct device *dev ) ;
640 int (*freeze_noirq)(struct device *dev ) ;
641 int (*thaw_noirq)(struct device *dev ) ;
642 int (*poweroff_noirq)(struct device *dev ) ;
643 int (*restore_noirq)(struct device *dev ) ;
644 int (*runtime_suspend)(struct device *dev ) ;
645 int (*runtime_resume)(struct device *dev ) ;
646 int (*runtime_idle)(struct device *dev ) ;
647};
648#line 458
649enum rpm_status {
650 RPM_ACTIVE = 0,
651 RPM_RESUMING = 1,
652 RPM_SUSPENDED = 2,
653 RPM_SUSPENDING = 3
654} ;
655#line 480
656enum rpm_request {
657 RPM_REQ_NONE = 0,
658 RPM_REQ_IDLE = 1,
659 RPM_REQ_SUSPEND = 2,
660 RPM_REQ_AUTOSUSPEND = 3,
661 RPM_REQ_RESUME = 4
662} ;
663#line 488
664struct wakeup_source;
665#line 488
666struct wakeup_source;
667#line 495 "include/linux/pm.h"
668struct pm_subsys_data {
669 spinlock_t lock ;
670 unsigned int refcount ;
671};
672#line 506
673struct dev_pm_qos_request;
674#line 506
675struct pm_qos_constraints;
676#line 506 "include/linux/pm.h"
677struct dev_pm_info {
678 pm_message_t power_state ;
679 unsigned int can_wakeup : 1 ;
680 unsigned int async_suspend : 1 ;
681 bool is_prepared : 1 ;
682 bool is_suspended : 1 ;
683 bool ignore_children : 1 ;
684 spinlock_t lock ;
685 struct list_head entry ;
686 struct completion completion ;
687 struct wakeup_source *wakeup ;
688 bool wakeup_path : 1 ;
689 struct timer_list suspend_timer ;
690 unsigned long timer_expires ;
691 struct work_struct work ;
692 wait_queue_head_t wait_queue ;
693 atomic_t usage_count ;
694 atomic_t child_count ;
695 unsigned int disable_depth : 3 ;
696 unsigned int idle_notification : 1 ;
697 unsigned int request_pending : 1 ;
698 unsigned int deferred_resume : 1 ;
699 unsigned int run_wake : 1 ;
700 unsigned int runtime_auto : 1 ;
701 unsigned int no_callbacks : 1 ;
702 unsigned int irq_safe : 1 ;
703 unsigned int use_autosuspend : 1 ;
704 unsigned int timer_autosuspends : 1 ;
705 enum rpm_request request ;
706 enum rpm_status runtime_status ;
707 int runtime_error ;
708 int autosuspend_delay ;
709 unsigned long last_busy ;
710 unsigned long active_jiffies ;
711 unsigned long suspended_jiffies ;
712 unsigned long accounting_timestamp ;
713 ktime_t suspend_time ;
714 s64 max_time_suspended_ns ;
715 struct dev_pm_qos_request *pq_req ;
716 struct pm_subsys_data *subsys_data ;
717 struct pm_qos_constraints *constraints ;
718};
719#line 564 "include/linux/pm.h"
720struct dev_pm_domain {
721 struct dev_pm_ops ops ;
722};
723#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
724struct __anonstruct_mm_context_t_112 {
725 void *ldt ;
726 int size ;
727 unsigned short ia32_compat ;
728 struct mutex lock ;
729 void *vdso ;
730};
731#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
732typedef struct __anonstruct_mm_context_t_112 mm_context_t;
733#line 8 "include/linux/vmalloc.h"
734struct vm_area_struct;
735#line 8
736struct vm_area_struct;
737#line 994 "include/linux/mmzone.h"
738struct page;
739#line 10 "include/linux/gfp.h"
740struct vm_area_struct;
741#line 20 "include/linux/kobject_ns.h"
742struct sock;
743#line 20
744struct sock;
745#line 21
746struct kobject;
747#line 21
748struct kobject;
749#line 27
750enum kobj_ns_type {
751 KOBJ_NS_TYPE_NONE = 0,
752 KOBJ_NS_TYPE_NET = 1,
753 KOBJ_NS_TYPES = 2
754} ;
755#line 40 "include/linux/kobject_ns.h"
756struct kobj_ns_type_operations {
757 enum kobj_ns_type type ;
758 void *(*grab_current_ns)(void) ;
759 void const *(*netlink_ns)(struct sock *sk ) ;
760 void const *(*initial_ns)(void) ;
761 void (*drop_ns)(void * ) ;
762};
763#line 22 "include/linux/sysfs.h"
764struct kobject;
765#line 23
766struct module;
767#line 24
768enum kobj_ns_type;
769#line 26 "include/linux/sysfs.h"
770struct attribute {
771 char const *name ;
772 umode_t mode ;
773};
774#line 56 "include/linux/sysfs.h"
775struct attribute_group {
776 char const *name ;
777 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
778 struct attribute **attrs ;
779};
780#line 85
781struct file;
782#line 86
783struct vm_area_struct;
784#line 88 "include/linux/sysfs.h"
785struct bin_attribute {
786 struct attribute attr ;
787 size_t size ;
788 void *private ;
789 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
790 loff_t , size_t ) ;
791 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
792 loff_t , size_t ) ;
793 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
794};
795#line 112 "include/linux/sysfs.h"
796struct sysfs_ops {
797 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
798 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
799 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
800};
801#line 118
802struct sysfs_dirent;
803#line 118
804struct sysfs_dirent;
805#line 22 "include/linux/kref.h"
806struct kref {
807 atomic_t refcount ;
808};
809#line 60 "include/linux/kobject.h"
810struct kset;
811#line 60
812struct kobj_type;
813#line 60 "include/linux/kobject.h"
814struct kobject {
815 char const *name ;
816 struct list_head entry ;
817 struct kobject *parent ;
818 struct kset *kset ;
819 struct kobj_type *ktype ;
820 struct sysfs_dirent *sd ;
821 struct kref kref ;
822 unsigned int state_initialized : 1 ;
823 unsigned int state_in_sysfs : 1 ;
824 unsigned int state_add_uevent_sent : 1 ;
825 unsigned int state_remove_uevent_sent : 1 ;
826 unsigned int uevent_suppress : 1 ;
827};
828#line 108 "include/linux/kobject.h"
829struct kobj_type {
830 void (*release)(struct kobject *kobj ) ;
831 struct sysfs_ops const *sysfs_ops ;
832 struct attribute **default_attrs ;
833 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
834 void const *(*namespace)(struct kobject *kobj ) ;
835};
836#line 116 "include/linux/kobject.h"
837struct kobj_uevent_env {
838 char *envp[32] ;
839 int envp_idx ;
840 char buf[2048] ;
841 int buflen ;
842};
843#line 123 "include/linux/kobject.h"
844struct kset_uevent_ops {
845 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
846 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
847 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
848};
849#line 140
850struct sock;
851#line 159 "include/linux/kobject.h"
852struct kset {
853 struct list_head list ;
854 spinlock_t list_lock ;
855 struct kobject kobj ;
856 struct kset_uevent_ops const *uevent_ops ;
857};
858#line 46 "include/linux/slub_def.h"
859struct kmem_cache_cpu {
860 void **freelist ;
861 unsigned long tid ;
862 struct page *page ;
863 struct page *partial ;
864 int node ;
865 unsigned int stat[26] ;
866};
867#line 57 "include/linux/slub_def.h"
868struct kmem_cache_node {
869 spinlock_t list_lock ;
870 unsigned long nr_partial ;
871 struct list_head partial ;
872 atomic_long_t nr_slabs ;
873 atomic_long_t total_objects ;
874 struct list_head full ;
875};
876#line 73 "include/linux/slub_def.h"
877struct kmem_cache_order_objects {
878 unsigned long x ;
879};
880#line 80 "include/linux/slub_def.h"
881struct kmem_cache {
882 struct kmem_cache_cpu *cpu_slab ;
883 unsigned long flags ;
884 unsigned long min_partial ;
885 int size ;
886 int objsize ;
887 int offset ;
888 int cpu_partial ;
889 struct kmem_cache_order_objects oo ;
890 struct kmem_cache_order_objects max ;
891 struct kmem_cache_order_objects min ;
892 gfp_t allocflags ;
893 int refcount ;
894 void (*ctor)(void * ) ;
895 int inuse ;
896 int align ;
897 int reserved ;
898 char const *name ;
899 struct list_head list ;
900 struct kobject kobj ;
901 int remote_node_defrag_ratio ;
902 struct kmem_cache_node *node[1 << 10] ;
903};
904#line 62 "include/linux/stat.h"
905struct kstat {
906 u64 ino ;
907 dev_t dev ;
908 umode_t mode ;
909 unsigned int nlink ;
910 uid_t uid ;
911 gid_t gid ;
912 dev_t rdev ;
913 loff_t size ;
914 struct timespec atime ;
915 struct timespec mtime ;
916 struct timespec ctime ;
917 unsigned long blksize ;
918 unsigned long long blocks ;
919};
920#line 29 "include/linux/sysctl.h"
921struct completion;
922#line 100 "include/linux/rbtree.h"
923struct rb_node {
924 unsigned long rb_parent_color ;
925 struct rb_node *rb_right ;
926 struct rb_node *rb_left ;
927} __attribute__((__aligned__(sizeof(long )))) ;
928#line 110 "include/linux/rbtree.h"
929struct rb_root {
930 struct rb_node *rb_node ;
931};
932#line 939 "include/linux/sysctl.h"
933struct nsproxy;
934#line 939
935struct nsproxy;
936#line 48 "include/linux/kmod.h"
937struct cred;
938#line 48
939struct cred;
940#line 49
941struct file;
942#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
943struct task_struct;
944#line 18 "include/linux/elf.h"
945typedef __u64 Elf64_Addr;
946#line 19 "include/linux/elf.h"
947typedef __u16 Elf64_Half;
948#line 23 "include/linux/elf.h"
949typedef __u32 Elf64_Word;
950#line 24 "include/linux/elf.h"
951typedef __u64 Elf64_Xword;
952#line 194 "include/linux/elf.h"
953struct elf64_sym {
954 Elf64_Word st_name ;
955 unsigned char st_info ;
956 unsigned char st_other ;
957 Elf64_Half st_shndx ;
958 Elf64_Addr st_value ;
959 Elf64_Xword st_size ;
960};
961#line 194 "include/linux/elf.h"
962typedef struct elf64_sym Elf64_Sym;
963#line 438
964struct file;
965#line 39 "include/linux/moduleparam.h"
966struct kernel_param;
967#line 39
968struct kernel_param;
969#line 41 "include/linux/moduleparam.h"
970struct kernel_param_ops {
971 int (*set)(char const *val , struct kernel_param const *kp ) ;
972 int (*get)(char *buffer , struct kernel_param const *kp ) ;
973 void (*free)(void *arg ) ;
974};
975#line 50
976struct kparam_string;
977#line 50
978struct kparam_array;
979#line 50 "include/linux/moduleparam.h"
980union __anonunion____missing_field_name_199 {
981 void *arg ;
982 struct kparam_string const *str ;
983 struct kparam_array const *arr ;
984};
985#line 50 "include/linux/moduleparam.h"
986struct kernel_param {
987 char const *name ;
988 struct kernel_param_ops const *ops ;
989 u16 perm ;
990 s16 level ;
991 union __anonunion____missing_field_name_199 __annonCompField32 ;
992};
993#line 63 "include/linux/moduleparam.h"
994struct kparam_string {
995 unsigned int maxlen ;
996 char *string ;
997};
998#line 69 "include/linux/moduleparam.h"
999struct kparam_array {
1000 unsigned int max ;
1001 unsigned int elemsize ;
1002 unsigned int *num ;
1003 struct kernel_param_ops const *ops ;
1004 void *elem ;
1005};
1006#line 445
1007struct module;
1008#line 80 "include/linux/jump_label.h"
1009struct module;
1010#line 143 "include/linux/jump_label.h"
1011struct static_key {
1012 atomic_t enabled ;
1013};
1014#line 22 "include/linux/tracepoint.h"
1015struct module;
1016#line 23
1017struct tracepoint;
1018#line 23
1019struct tracepoint;
1020#line 25 "include/linux/tracepoint.h"
1021struct tracepoint_func {
1022 void *func ;
1023 void *data ;
1024};
1025#line 30 "include/linux/tracepoint.h"
1026struct tracepoint {
1027 char const *name ;
1028 struct static_key key ;
1029 void (*regfunc)(void) ;
1030 void (*unregfunc)(void) ;
1031 struct tracepoint_func *funcs ;
1032};
1033#line 19 "include/linux/export.h"
1034struct kernel_symbol {
1035 unsigned long value ;
1036 char const *name ;
1037};
1038#line 8 "include/asm-generic/module.h"
1039struct mod_arch_specific {
1040
1041};
1042#line 35 "include/linux/module.h"
1043struct module;
1044#line 37
1045struct module_param_attrs;
1046#line 37 "include/linux/module.h"
1047struct module_kobject {
1048 struct kobject kobj ;
1049 struct module *mod ;
1050 struct kobject *drivers_dir ;
1051 struct module_param_attrs *mp ;
1052};
1053#line 44 "include/linux/module.h"
1054struct module_attribute {
1055 struct attribute attr ;
1056 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1057 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1058 size_t count ) ;
1059 void (*setup)(struct module * , char const * ) ;
1060 int (*test)(struct module * ) ;
1061 void (*free)(struct module * ) ;
1062};
1063#line 71
1064struct exception_table_entry;
1065#line 71
1066struct exception_table_entry;
1067#line 199
1068enum module_state {
1069 MODULE_STATE_LIVE = 0,
1070 MODULE_STATE_COMING = 1,
1071 MODULE_STATE_GOING = 2
1072} ;
1073#line 215 "include/linux/module.h"
1074struct module_ref {
1075 unsigned long incs ;
1076 unsigned long decs ;
1077} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1078#line 220
1079struct module_sect_attrs;
1080#line 220
1081struct module_notes_attrs;
1082#line 220
1083struct ftrace_event_call;
1084#line 220 "include/linux/module.h"
1085struct module {
1086 enum module_state state ;
1087 struct list_head list ;
1088 char name[64UL - sizeof(unsigned long )] ;
1089 struct module_kobject mkobj ;
1090 struct module_attribute *modinfo_attrs ;
1091 char const *version ;
1092 char const *srcversion ;
1093 struct kobject *holders_dir ;
1094 struct kernel_symbol const *syms ;
1095 unsigned long const *crcs ;
1096 unsigned int num_syms ;
1097 struct kernel_param *kp ;
1098 unsigned int num_kp ;
1099 unsigned int num_gpl_syms ;
1100 struct kernel_symbol const *gpl_syms ;
1101 unsigned long const *gpl_crcs ;
1102 struct kernel_symbol const *unused_syms ;
1103 unsigned long const *unused_crcs ;
1104 unsigned int num_unused_syms ;
1105 unsigned int num_unused_gpl_syms ;
1106 struct kernel_symbol const *unused_gpl_syms ;
1107 unsigned long const *unused_gpl_crcs ;
1108 struct kernel_symbol const *gpl_future_syms ;
1109 unsigned long const *gpl_future_crcs ;
1110 unsigned int num_gpl_future_syms ;
1111 unsigned int num_exentries ;
1112 struct exception_table_entry *extable ;
1113 int (*init)(void) ;
1114 void *module_init ;
1115 void *module_core ;
1116 unsigned int init_size ;
1117 unsigned int core_size ;
1118 unsigned int init_text_size ;
1119 unsigned int core_text_size ;
1120 unsigned int init_ro_size ;
1121 unsigned int core_ro_size ;
1122 struct mod_arch_specific arch ;
1123 unsigned int taints ;
1124 unsigned int num_bugs ;
1125 struct list_head bug_list ;
1126 struct bug_entry *bug_table ;
1127 Elf64_Sym *symtab ;
1128 Elf64_Sym *core_symtab ;
1129 unsigned int num_symtab ;
1130 unsigned int core_num_syms ;
1131 char *strtab ;
1132 char *core_strtab ;
1133 struct module_sect_attrs *sect_attrs ;
1134 struct module_notes_attrs *notes_attrs ;
1135 char *args ;
1136 void *percpu ;
1137 unsigned int percpu_size ;
1138 unsigned int num_tracepoints ;
1139 struct tracepoint * const *tracepoints_ptrs ;
1140 unsigned int num_trace_bprintk_fmt ;
1141 char const **trace_bprintk_fmt_start ;
1142 struct ftrace_event_call **trace_events ;
1143 unsigned int num_trace_events ;
1144 struct list_head source_list ;
1145 struct list_head target_list ;
1146 struct task_struct *waiter ;
1147 void (*exit)(void) ;
1148 struct module_ref *refptr ;
1149 ctor_fn_t *ctors ;
1150 unsigned int num_ctors ;
1151};
1152#line 219 "include/linux/mod_devicetable.h"
1153struct of_device_id {
1154 char name[32] ;
1155 char type[32] ;
1156 char compatible[128] ;
1157 void *data ;
1158};
1159#line 19 "include/linux/klist.h"
1160struct klist_node;
1161#line 19
1162struct klist_node;
1163#line 39 "include/linux/klist.h"
1164struct klist_node {
1165 void *n_klist ;
1166 struct list_head n_node ;
1167 struct kref n_ref ;
1168};
1169#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1170struct dma_map_ops;
1171#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1172struct dev_archdata {
1173 void *acpi_handle ;
1174 struct dma_map_ops *dma_ops ;
1175 void *iommu ;
1176};
1177#line 28 "include/linux/device.h"
1178struct device;
1179#line 29
1180struct device_private;
1181#line 29
1182struct device_private;
1183#line 30
1184struct device_driver;
1185#line 30
1186struct device_driver;
1187#line 31
1188struct driver_private;
1189#line 31
1190struct driver_private;
1191#line 32
1192struct module;
1193#line 33
1194struct class;
1195#line 33
1196struct class;
1197#line 34
1198struct subsys_private;
1199#line 34
1200struct subsys_private;
1201#line 35
1202struct bus_type;
1203#line 35
1204struct bus_type;
1205#line 36
1206struct device_node;
1207#line 36
1208struct device_node;
1209#line 37
1210struct iommu_ops;
1211#line 37
1212struct iommu_ops;
1213#line 39 "include/linux/device.h"
1214struct bus_attribute {
1215 struct attribute attr ;
1216 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1217 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1218};
1219#line 89
1220struct device_attribute;
1221#line 89
1222struct driver_attribute;
1223#line 89 "include/linux/device.h"
1224struct bus_type {
1225 char const *name ;
1226 char const *dev_name ;
1227 struct device *dev_root ;
1228 struct bus_attribute *bus_attrs ;
1229 struct device_attribute *dev_attrs ;
1230 struct driver_attribute *drv_attrs ;
1231 int (*match)(struct device *dev , struct device_driver *drv ) ;
1232 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1233 int (*probe)(struct device *dev ) ;
1234 int (*remove)(struct device *dev ) ;
1235 void (*shutdown)(struct device *dev ) ;
1236 int (*suspend)(struct device *dev , pm_message_t state ) ;
1237 int (*resume)(struct device *dev ) ;
1238 struct dev_pm_ops const *pm ;
1239 struct iommu_ops *iommu_ops ;
1240 struct subsys_private *p ;
1241};
1242#line 127
1243struct device_type;
1244#line 214 "include/linux/device.h"
1245struct device_driver {
1246 char const *name ;
1247 struct bus_type *bus ;
1248 struct module *owner ;
1249 char const *mod_name ;
1250 bool suppress_bind_attrs ;
1251 struct of_device_id const *of_match_table ;
1252 int (*probe)(struct device *dev ) ;
1253 int (*remove)(struct device *dev ) ;
1254 void (*shutdown)(struct device *dev ) ;
1255 int (*suspend)(struct device *dev , pm_message_t state ) ;
1256 int (*resume)(struct device *dev ) ;
1257 struct attribute_group const **groups ;
1258 struct dev_pm_ops const *pm ;
1259 struct driver_private *p ;
1260};
1261#line 249 "include/linux/device.h"
1262struct driver_attribute {
1263 struct attribute attr ;
1264 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1265 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1266};
1267#line 330
1268struct class_attribute;
1269#line 330 "include/linux/device.h"
1270struct class {
1271 char const *name ;
1272 struct module *owner ;
1273 struct class_attribute *class_attrs ;
1274 struct device_attribute *dev_attrs ;
1275 struct bin_attribute *dev_bin_attrs ;
1276 struct kobject *dev_kobj ;
1277 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1278 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1279 void (*class_release)(struct class *class ) ;
1280 void (*dev_release)(struct device *dev ) ;
1281 int (*suspend)(struct device *dev , pm_message_t state ) ;
1282 int (*resume)(struct device *dev ) ;
1283 struct kobj_ns_type_operations const *ns_type ;
1284 void const *(*namespace)(struct device *dev ) ;
1285 struct dev_pm_ops const *pm ;
1286 struct subsys_private *p ;
1287};
1288#line 397 "include/linux/device.h"
1289struct class_attribute {
1290 struct attribute attr ;
1291 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1292 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1293 size_t count ) ;
1294 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1295};
1296#line 465 "include/linux/device.h"
1297struct device_type {
1298 char const *name ;
1299 struct attribute_group const **groups ;
1300 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1301 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1302 void (*release)(struct device *dev ) ;
1303 struct dev_pm_ops const *pm ;
1304};
1305#line 476 "include/linux/device.h"
1306struct device_attribute {
1307 struct attribute attr ;
1308 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1309 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1310 size_t count ) ;
1311};
1312#line 559 "include/linux/device.h"
1313struct device_dma_parameters {
1314 unsigned int max_segment_size ;
1315 unsigned long segment_boundary_mask ;
1316};
1317#line 627
1318struct dma_coherent_mem;
1319#line 627 "include/linux/device.h"
1320struct device {
1321 struct device *parent ;
1322 struct device_private *p ;
1323 struct kobject kobj ;
1324 char const *init_name ;
1325 struct device_type const *type ;
1326 struct mutex mutex ;
1327 struct bus_type *bus ;
1328 struct device_driver *driver ;
1329 void *platform_data ;
1330 struct dev_pm_info power ;
1331 struct dev_pm_domain *pm_domain ;
1332 int numa_node ;
1333 u64 *dma_mask ;
1334 u64 coherent_dma_mask ;
1335 struct device_dma_parameters *dma_parms ;
1336 struct list_head dma_pools ;
1337 struct dma_coherent_mem *dma_mem ;
1338 struct dev_archdata archdata ;
1339 struct device_node *of_node ;
1340 dev_t devt ;
1341 u32 id ;
1342 spinlock_t devres_lock ;
1343 struct list_head devres_head ;
1344 struct klist_node knode_class ;
1345 struct class *class ;
1346 struct attribute_group const **groups ;
1347 void (*release)(struct device *dev ) ;
1348};
1349#line 43 "include/linux/pm_wakeup.h"
1350struct wakeup_source {
1351 char const *name ;
1352 struct list_head entry ;
1353 spinlock_t lock ;
1354 struct timer_list timer ;
1355 unsigned long timer_expires ;
1356 ktime_t total_time ;
1357 ktime_t max_time ;
1358 ktime_t last_time ;
1359 unsigned long event_count ;
1360 unsigned long active_count ;
1361 unsigned long relax_count ;
1362 unsigned long hit_count ;
1363 unsigned int active : 1 ;
1364};
1365#line 18 "include/linux/capability.h"
1366struct task_struct;
1367#line 94 "include/linux/capability.h"
1368struct kernel_cap_struct {
1369 __u32 cap[2] ;
1370};
1371#line 94 "include/linux/capability.h"
1372typedef struct kernel_cap_struct kernel_cap_t;
1373#line 377
1374struct dentry;
1375#line 377
1376struct dentry;
1377#line 378
1378struct user_namespace;
1379#line 378
1380struct user_namespace;
1381#line 14 "include/linux/prio_tree.h"
1382struct prio_tree_node;
1383#line 14 "include/linux/prio_tree.h"
1384struct raw_prio_tree_node {
1385 struct prio_tree_node *left ;
1386 struct prio_tree_node *right ;
1387 struct prio_tree_node *parent ;
1388};
1389#line 20 "include/linux/prio_tree.h"
1390struct prio_tree_node {
1391 struct prio_tree_node *left ;
1392 struct prio_tree_node *right ;
1393 struct prio_tree_node *parent ;
1394 unsigned long start ;
1395 unsigned long last ;
1396};
1397#line 28 "include/linux/prio_tree.h"
1398struct prio_tree_root {
1399 struct prio_tree_node *prio_tree_node ;
1400 unsigned short index_bits ;
1401 unsigned short raw ;
1402};
1403#line 23 "include/linux/mm_types.h"
1404struct address_space;
1405#line 23
1406struct address_space;
1407#line 40 "include/linux/mm_types.h"
1408union __anonunion____missing_field_name_204 {
1409 unsigned long index ;
1410 void *freelist ;
1411};
1412#line 40 "include/linux/mm_types.h"
1413struct __anonstruct____missing_field_name_208 {
1414 unsigned int inuse : 16 ;
1415 unsigned int objects : 15 ;
1416 unsigned int frozen : 1 ;
1417};
1418#line 40 "include/linux/mm_types.h"
1419union __anonunion____missing_field_name_207 {
1420 atomic_t _mapcount ;
1421 struct __anonstruct____missing_field_name_208 __annonCompField34 ;
1422};
1423#line 40 "include/linux/mm_types.h"
1424struct __anonstruct____missing_field_name_206 {
1425 union __anonunion____missing_field_name_207 __annonCompField35 ;
1426 atomic_t _count ;
1427};
1428#line 40 "include/linux/mm_types.h"
1429union __anonunion____missing_field_name_205 {
1430 unsigned long counters ;
1431 struct __anonstruct____missing_field_name_206 __annonCompField36 ;
1432};
1433#line 40 "include/linux/mm_types.h"
1434struct __anonstruct____missing_field_name_203 {
1435 union __anonunion____missing_field_name_204 __annonCompField33 ;
1436 union __anonunion____missing_field_name_205 __annonCompField37 ;
1437};
1438#line 40 "include/linux/mm_types.h"
1439struct __anonstruct____missing_field_name_210 {
1440 struct page *next ;
1441 int pages ;
1442 int pobjects ;
1443};
1444#line 40 "include/linux/mm_types.h"
1445union __anonunion____missing_field_name_209 {
1446 struct list_head lru ;
1447 struct __anonstruct____missing_field_name_210 __annonCompField39 ;
1448};
1449#line 40 "include/linux/mm_types.h"
1450union __anonunion____missing_field_name_211 {
1451 unsigned long private ;
1452 struct kmem_cache *slab ;
1453 struct page *first_page ;
1454};
1455#line 40 "include/linux/mm_types.h"
1456struct page {
1457 unsigned long flags ;
1458 struct address_space *mapping ;
1459 struct __anonstruct____missing_field_name_203 __annonCompField38 ;
1460 union __anonunion____missing_field_name_209 __annonCompField40 ;
1461 union __anonunion____missing_field_name_211 __annonCompField41 ;
1462 unsigned long debug_flags ;
1463} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1464#line 200 "include/linux/mm_types.h"
1465struct __anonstruct_vm_set_213 {
1466 struct list_head list ;
1467 void *parent ;
1468 struct vm_area_struct *head ;
1469};
1470#line 200 "include/linux/mm_types.h"
1471union __anonunion_shared_212 {
1472 struct __anonstruct_vm_set_213 vm_set ;
1473 struct raw_prio_tree_node prio_tree_node ;
1474};
1475#line 200
1476struct anon_vma;
1477#line 200
1478struct vm_operations_struct;
1479#line 200
1480struct mempolicy;
1481#line 200 "include/linux/mm_types.h"
1482struct vm_area_struct {
1483 struct mm_struct *vm_mm ;
1484 unsigned long vm_start ;
1485 unsigned long vm_end ;
1486 struct vm_area_struct *vm_next ;
1487 struct vm_area_struct *vm_prev ;
1488 pgprot_t vm_page_prot ;
1489 unsigned long vm_flags ;
1490 struct rb_node vm_rb ;
1491 union __anonunion_shared_212 shared ;
1492 struct list_head anon_vma_chain ;
1493 struct anon_vma *anon_vma ;
1494 struct vm_operations_struct const *vm_ops ;
1495 unsigned long vm_pgoff ;
1496 struct file *vm_file ;
1497 void *vm_private_data ;
1498 struct mempolicy *vm_policy ;
1499};
1500#line 257 "include/linux/mm_types.h"
1501struct core_thread {
1502 struct task_struct *task ;
1503 struct core_thread *next ;
1504};
1505#line 262 "include/linux/mm_types.h"
1506struct core_state {
1507 atomic_t nr_threads ;
1508 struct core_thread dumper ;
1509 struct completion startup ;
1510};
1511#line 284 "include/linux/mm_types.h"
1512struct mm_rss_stat {
1513 atomic_long_t count[3] ;
1514};
1515#line 288
1516struct linux_binfmt;
1517#line 288
1518struct mmu_notifier_mm;
1519#line 288 "include/linux/mm_types.h"
1520struct mm_struct {
1521 struct vm_area_struct *mmap ;
1522 struct rb_root mm_rb ;
1523 struct vm_area_struct *mmap_cache ;
1524 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1525 unsigned long pgoff , unsigned long flags ) ;
1526 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1527 unsigned long mmap_base ;
1528 unsigned long task_size ;
1529 unsigned long cached_hole_size ;
1530 unsigned long free_area_cache ;
1531 pgd_t *pgd ;
1532 atomic_t mm_users ;
1533 atomic_t mm_count ;
1534 int map_count ;
1535 spinlock_t page_table_lock ;
1536 struct rw_semaphore mmap_sem ;
1537 struct list_head mmlist ;
1538 unsigned long hiwater_rss ;
1539 unsigned long hiwater_vm ;
1540 unsigned long total_vm ;
1541 unsigned long locked_vm ;
1542 unsigned long pinned_vm ;
1543 unsigned long shared_vm ;
1544 unsigned long exec_vm ;
1545 unsigned long stack_vm ;
1546 unsigned long reserved_vm ;
1547 unsigned long def_flags ;
1548 unsigned long nr_ptes ;
1549 unsigned long start_code ;
1550 unsigned long end_code ;
1551 unsigned long start_data ;
1552 unsigned long end_data ;
1553 unsigned long start_brk ;
1554 unsigned long brk ;
1555 unsigned long start_stack ;
1556 unsigned long arg_start ;
1557 unsigned long arg_end ;
1558 unsigned long env_start ;
1559 unsigned long env_end ;
1560 unsigned long saved_auxv[44] ;
1561 struct mm_rss_stat rss_stat ;
1562 struct linux_binfmt *binfmt ;
1563 cpumask_var_t cpu_vm_mask_var ;
1564 mm_context_t context ;
1565 unsigned int faultstamp ;
1566 unsigned int token_priority ;
1567 unsigned int last_interval ;
1568 unsigned long flags ;
1569 struct core_state *core_state ;
1570 spinlock_t ioctx_lock ;
1571 struct hlist_head ioctx_list ;
1572 struct task_struct *owner ;
1573 struct file *exe_file ;
1574 unsigned long num_exe_file_vmas ;
1575 struct mmu_notifier_mm *mmu_notifier_mm ;
1576 pgtable_t pmd_huge_pte ;
1577 struct cpumask cpumask_allocation ;
1578};
1579#line 7 "include/asm-generic/cputime.h"
1580typedef unsigned long cputime_t;
1581#line 84 "include/linux/sem.h"
1582struct task_struct;
1583#line 101
1584struct sem_undo_list;
1585#line 101 "include/linux/sem.h"
1586struct sysv_sem {
1587 struct sem_undo_list *undo_list ;
1588};
1589#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1590struct siginfo;
1591#line 10
1592struct siginfo;
1593#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1594struct __anonstruct_sigset_t_215 {
1595 unsigned long sig[1] ;
1596};
1597#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1598typedef struct __anonstruct_sigset_t_215 sigset_t;
1599#line 17 "include/asm-generic/signal-defs.h"
1600typedef void __signalfn_t(int );
1601#line 18 "include/asm-generic/signal-defs.h"
1602typedef __signalfn_t *__sighandler_t;
1603#line 20 "include/asm-generic/signal-defs.h"
1604typedef void __restorefn_t(void);
1605#line 21 "include/asm-generic/signal-defs.h"
1606typedef __restorefn_t *__sigrestore_t;
1607#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1608struct sigaction {
1609 __sighandler_t sa_handler ;
1610 unsigned long sa_flags ;
1611 __sigrestore_t sa_restorer ;
1612 sigset_t sa_mask ;
1613};
1614#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1615struct k_sigaction {
1616 struct sigaction sa ;
1617};
1618#line 7 "include/asm-generic/siginfo.h"
1619union sigval {
1620 int sival_int ;
1621 void *sival_ptr ;
1622};
1623#line 7 "include/asm-generic/siginfo.h"
1624typedef union sigval sigval_t;
1625#line 48 "include/asm-generic/siginfo.h"
1626struct __anonstruct__kill_217 {
1627 __kernel_pid_t _pid ;
1628 __kernel_uid32_t _uid ;
1629};
1630#line 48 "include/asm-generic/siginfo.h"
1631struct __anonstruct__timer_218 {
1632 __kernel_timer_t _tid ;
1633 int _overrun ;
1634 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1635 sigval_t _sigval ;
1636 int _sys_private ;
1637};
1638#line 48 "include/asm-generic/siginfo.h"
1639struct __anonstruct__rt_219 {
1640 __kernel_pid_t _pid ;
1641 __kernel_uid32_t _uid ;
1642 sigval_t _sigval ;
1643};
1644#line 48 "include/asm-generic/siginfo.h"
1645struct __anonstruct__sigchld_220 {
1646 __kernel_pid_t _pid ;
1647 __kernel_uid32_t _uid ;
1648 int _status ;
1649 __kernel_clock_t _utime ;
1650 __kernel_clock_t _stime ;
1651};
1652#line 48 "include/asm-generic/siginfo.h"
1653struct __anonstruct__sigfault_221 {
1654 void *_addr ;
1655 short _addr_lsb ;
1656};
1657#line 48 "include/asm-generic/siginfo.h"
1658struct __anonstruct__sigpoll_222 {
1659 long _band ;
1660 int _fd ;
1661};
1662#line 48 "include/asm-generic/siginfo.h"
1663union __anonunion__sifields_216 {
1664 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1665 struct __anonstruct__kill_217 _kill ;
1666 struct __anonstruct__timer_218 _timer ;
1667 struct __anonstruct__rt_219 _rt ;
1668 struct __anonstruct__sigchld_220 _sigchld ;
1669 struct __anonstruct__sigfault_221 _sigfault ;
1670 struct __anonstruct__sigpoll_222 _sigpoll ;
1671};
1672#line 48 "include/asm-generic/siginfo.h"
1673struct siginfo {
1674 int si_signo ;
1675 int si_errno ;
1676 int si_code ;
1677 union __anonunion__sifields_216 _sifields ;
1678};
1679#line 48 "include/asm-generic/siginfo.h"
1680typedef struct siginfo siginfo_t;
1681#line 288
1682struct siginfo;
1683#line 10 "include/linux/signal.h"
1684struct task_struct;
1685#line 18
1686struct user_struct;
1687#line 28 "include/linux/signal.h"
1688struct sigpending {
1689 struct list_head list ;
1690 sigset_t signal ;
1691};
1692#line 239
1693struct timespec;
1694#line 240
1695struct pt_regs;
1696#line 6 "include/linux/pid.h"
1697enum pid_type {
1698 PIDTYPE_PID = 0,
1699 PIDTYPE_PGID = 1,
1700 PIDTYPE_SID = 2,
1701 PIDTYPE_MAX = 3
1702} ;
1703#line 50
1704struct pid_namespace;
1705#line 50 "include/linux/pid.h"
1706struct upid {
1707 int nr ;
1708 struct pid_namespace *ns ;
1709 struct hlist_node pid_chain ;
1710};
1711#line 57 "include/linux/pid.h"
1712struct pid {
1713 atomic_t count ;
1714 unsigned int level ;
1715 struct hlist_head tasks[3] ;
1716 struct rcu_head rcu ;
1717 struct upid numbers[1] ;
1718};
1719#line 69 "include/linux/pid.h"
1720struct pid_link {
1721 struct hlist_node node ;
1722 struct pid *pid ;
1723};
1724#line 100
1725struct pid_namespace;
1726#line 10 "include/linux/seccomp.h"
1727struct __anonstruct_seccomp_t_225 {
1728 int mode ;
1729};
1730#line 10 "include/linux/seccomp.h"
1731typedef struct __anonstruct_seccomp_t_225 seccomp_t;
1732#line 81 "include/linux/plist.h"
1733struct plist_head {
1734 struct list_head node_list ;
1735};
1736#line 85 "include/linux/plist.h"
1737struct plist_node {
1738 int prio ;
1739 struct list_head prio_list ;
1740 struct list_head node_list ;
1741};
1742#line 28 "include/linux/rtmutex.h"
1743struct rt_mutex {
1744 raw_spinlock_t wait_lock ;
1745 struct plist_head wait_list ;
1746 struct task_struct *owner ;
1747 int save_state ;
1748 char const *name ;
1749 char const *file ;
1750 int line ;
1751 void *magic ;
1752};
1753#line 40
1754struct rt_mutex_waiter;
1755#line 40
1756struct rt_mutex_waiter;
1757#line 42 "include/linux/resource.h"
1758struct rlimit {
1759 unsigned long rlim_cur ;
1760 unsigned long rlim_max ;
1761};
1762#line 81
1763struct task_struct;
1764#line 8 "include/linux/timerqueue.h"
1765struct timerqueue_node {
1766 struct rb_node node ;
1767 ktime_t expires ;
1768};
1769#line 13 "include/linux/timerqueue.h"
1770struct timerqueue_head {
1771 struct rb_root head ;
1772 struct timerqueue_node *next ;
1773};
1774#line 27 "include/linux/hrtimer.h"
1775struct hrtimer_clock_base;
1776#line 27
1777struct hrtimer_clock_base;
1778#line 28
1779struct hrtimer_cpu_base;
1780#line 28
1781struct hrtimer_cpu_base;
1782#line 44
1783enum hrtimer_restart {
1784 HRTIMER_NORESTART = 0,
1785 HRTIMER_RESTART = 1
1786} ;
1787#line 108 "include/linux/hrtimer.h"
1788struct hrtimer {
1789 struct timerqueue_node node ;
1790 ktime_t _softexpires ;
1791 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1792 struct hrtimer_clock_base *base ;
1793 unsigned long state ;
1794 int start_pid ;
1795 void *start_site ;
1796 char start_comm[16] ;
1797};
1798#line 145 "include/linux/hrtimer.h"
1799struct hrtimer_clock_base {
1800 struct hrtimer_cpu_base *cpu_base ;
1801 int index ;
1802 clockid_t clockid ;
1803 struct timerqueue_head active ;
1804 ktime_t resolution ;
1805 ktime_t (*get_time)(void) ;
1806 ktime_t softirq_time ;
1807 ktime_t offset ;
1808};
1809#line 178 "include/linux/hrtimer.h"
1810struct hrtimer_cpu_base {
1811 raw_spinlock_t lock ;
1812 unsigned long active_bases ;
1813 ktime_t expires_next ;
1814 int hres_active ;
1815 int hang_detected ;
1816 unsigned long nr_events ;
1817 unsigned long nr_retries ;
1818 unsigned long nr_hangs ;
1819 ktime_t max_hang_time ;
1820 struct hrtimer_clock_base clock_base[3] ;
1821};
1822#line 11 "include/linux/task_io_accounting.h"
1823struct task_io_accounting {
1824 u64 rchar ;
1825 u64 wchar ;
1826 u64 syscr ;
1827 u64 syscw ;
1828 u64 read_bytes ;
1829 u64 write_bytes ;
1830 u64 cancelled_write_bytes ;
1831};
1832#line 13 "include/linux/latencytop.h"
1833struct task_struct;
1834#line 20 "include/linux/latencytop.h"
1835struct latency_record {
1836 unsigned long backtrace[12] ;
1837 unsigned int count ;
1838 unsigned long time ;
1839 unsigned long max ;
1840};
1841#line 29 "include/linux/key.h"
1842typedef int32_t key_serial_t;
1843#line 32 "include/linux/key.h"
1844typedef uint32_t key_perm_t;
1845#line 34
1846struct key;
1847#line 34
1848struct key;
1849#line 74
1850struct seq_file;
1851#line 75
1852struct user_struct;
1853#line 76
1854struct signal_struct;
1855#line 76
1856struct signal_struct;
1857#line 77
1858struct cred;
1859#line 79
1860struct key_type;
1861#line 79
1862struct key_type;
1863#line 81
1864struct keyring_list;
1865#line 81
1866struct keyring_list;
1867#line 124
1868struct key_user;
1869#line 124 "include/linux/key.h"
1870union __anonunion____missing_field_name_226 {
1871 time_t expiry ;
1872 time_t revoked_at ;
1873};
1874#line 124 "include/linux/key.h"
1875union __anonunion_type_data_227 {
1876 struct list_head link ;
1877 unsigned long x[2] ;
1878 void *p[2] ;
1879 int reject_error ;
1880};
1881#line 124 "include/linux/key.h"
1882union __anonunion_payload_228 {
1883 unsigned long value ;
1884 void *rcudata ;
1885 void *data ;
1886 struct keyring_list *subscriptions ;
1887};
1888#line 124 "include/linux/key.h"
1889struct key {
1890 atomic_t usage ;
1891 key_serial_t serial ;
1892 struct rb_node serial_node ;
1893 struct key_type *type ;
1894 struct rw_semaphore sem ;
1895 struct key_user *user ;
1896 void *security ;
1897 union __anonunion____missing_field_name_226 __annonCompField42 ;
1898 uid_t uid ;
1899 gid_t gid ;
1900 key_perm_t perm ;
1901 unsigned short quotalen ;
1902 unsigned short datalen ;
1903 unsigned long flags ;
1904 char *description ;
1905 union __anonunion_type_data_227 type_data ;
1906 union __anonunion_payload_228 payload ;
1907};
1908#line 18 "include/linux/selinux.h"
1909struct audit_context;
1910#line 18
1911struct audit_context;
1912#line 21 "include/linux/cred.h"
1913struct user_struct;
1914#line 22
1915struct cred;
1916#line 23
1917struct inode;
1918#line 23
1919struct inode;
1920#line 31 "include/linux/cred.h"
1921struct group_info {
1922 atomic_t usage ;
1923 int ngroups ;
1924 int nblocks ;
1925 gid_t small_block[32] ;
1926 gid_t *blocks[0] ;
1927};
1928#line 83 "include/linux/cred.h"
1929struct thread_group_cred {
1930 atomic_t usage ;
1931 pid_t tgid ;
1932 spinlock_t lock ;
1933 struct key *session_keyring ;
1934 struct key *process_keyring ;
1935 struct rcu_head rcu ;
1936};
1937#line 116 "include/linux/cred.h"
1938struct cred {
1939 atomic_t usage ;
1940 atomic_t subscribers ;
1941 void *put_addr ;
1942 unsigned int magic ;
1943 uid_t uid ;
1944 gid_t gid ;
1945 uid_t suid ;
1946 gid_t sgid ;
1947 uid_t euid ;
1948 gid_t egid ;
1949 uid_t fsuid ;
1950 gid_t fsgid ;
1951 unsigned int securebits ;
1952 kernel_cap_t cap_inheritable ;
1953 kernel_cap_t cap_permitted ;
1954 kernel_cap_t cap_effective ;
1955 kernel_cap_t cap_bset ;
1956 unsigned char jit_keyring ;
1957 struct key *thread_keyring ;
1958 struct key *request_key_auth ;
1959 struct thread_group_cred *tgcred ;
1960 void *security ;
1961 struct user_struct *user ;
1962 struct user_namespace *user_ns ;
1963 struct group_info *group_info ;
1964 struct rcu_head rcu ;
1965};
1966#line 61 "include/linux/llist.h"
1967struct llist_node;
1968#line 65 "include/linux/llist.h"
1969struct llist_node {
1970 struct llist_node *next ;
1971};
1972#line 97 "include/linux/sched.h"
1973struct futex_pi_state;
1974#line 97
1975struct futex_pi_state;
1976#line 98
1977struct robust_list_head;
1978#line 98
1979struct robust_list_head;
1980#line 99
1981struct bio_list;
1982#line 99
1983struct bio_list;
1984#line 100
1985struct fs_struct;
1986#line 100
1987struct fs_struct;
1988#line 101
1989struct perf_event_context;
1990#line 101
1991struct perf_event_context;
1992#line 102
1993struct blk_plug;
1994#line 102
1995struct blk_plug;
1996#line 150
1997struct seq_file;
1998#line 151
1999struct cfs_rq;
2000#line 151
2001struct cfs_rq;
2002#line 259
2003struct task_struct;
2004#line 366
2005struct nsproxy;
2006#line 367
2007struct user_namespace;
2008#line 58 "include/linux/aio_abi.h"
2009struct io_event {
2010 __u64 data ;
2011 __u64 obj ;
2012 __s64 res ;
2013 __s64 res2 ;
2014};
2015#line 16 "include/linux/uio.h"
2016struct iovec {
2017 void *iov_base ;
2018 __kernel_size_t iov_len ;
2019};
2020#line 15 "include/linux/aio.h"
2021struct kioctx;
2022#line 15
2023struct kioctx;
2024#line 87 "include/linux/aio.h"
2025union __anonunion_ki_obj_230 {
2026 void *user ;
2027 struct task_struct *tsk ;
2028};
2029#line 87
2030struct eventfd_ctx;
2031#line 87 "include/linux/aio.h"
2032struct kiocb {
2033 struct list_head ki_run_list ;
2034 unsigned long ki_flags ;
2035 int ki_users ;
2036 unsigned int ki_key ;
2037 struct file *ki_filp ;
2038 struct kioctx *ki_ctx ;
2039 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2040 ssize_t (*ki_retry)(struct kiocb * ) ;
2041 void (*ki_dtor)(struct kiocb * ) ;
2042 union __anonunion_ki_obj_230 ki_obj ;
2043 __u64 ki_user_data ;
2044 loff_t ki_pos ;
2045 void *private ;
2046 unsigned short ki_opcode ;
2047 size_t ki_nbytes ;
2048 char *ki_buf ;
2049 size_t ki_left ;
2050 struct iovec ki_inline_vec ;
2051 struct iovec *ki_iovec ;
2052 unsigned long ki_nr_segs ;
2053 unsigned long ki_cur_seg ;
2054 struct list_head ki_list ;
2055 struct list_head ki_batch ;
2056 struct eventfd_ctx *ki_eventfd ;
2057};
2058#line 166 "include/linux/aio.h"
2059struct aio_ring_info {
2060 unsigned long mmap_base ;
2061 unsigned long mmap_size ;
2062 struct page **ring_pages ;
2063 spinlock_t ring_lock ;
2064 long nr_pages ;
2065 unsigned int nr ;
2066 unsigned int tail ;
2067 struct page *internal_pages[8] ;
2068};
2069#line 179 "include/linux/aio.h"
2070struct kioctx {
2071 atomic_t users ;
2072 int dead ;
2073 struct mm_struct *mm ;
2074 unsigned long user_id ;
2075 struct hlist_node list ;
2076 wait_queue_head_t wait ;
2077 spinlock_t ctx_lock ;
2078 int reqs_active ;
2079 struct list_head active_reqs ;
2080 struct list_head run_list ;
2081 unsigned int max_reqs ;
2082 struct aio_ring_info ring_info ;
2083 struct delayed_work wq ;
2084 struct rcu_head rcu_head ;
2085};
2086#line 214
2087struct mm_struct;
2088#line 443 "include/linux/sched.h"
2089struct sighand_struct {
2090 atomic_t count ;
2091 struct k_sigaction action[64] ;
2092 spinlock_t siglock ;
2093 wait_queue_head_t signalfd_wqh ;
2094};
2095#line 450 "include/linux/sched.h"
2096struct pacct_struct {
2097 int ac_flag ;
2098 long ac_exitcode ;
2099 unsigned long ac_mem ;
2100 cputime_t ac_utime ;
2101 cputime_t ac_stime ;
2102 unsigned long ac_minflt ;
2103 unsigned long ac_majflt ;
2104};
2105#line 458 "include/linux/sched.h"
2106struct cpu_itimer {
2107 cputime_t expires ;
2108 cputime_t incr ;
2109 u32 error ;
2110 u32 incr_error ;
2111};
2112#line 476 "include/linux/sched.h"
2113struct task_cputime {
2114 cputime_t utime ;
2115 cputime_t stime ;
2116 unsigned long long sum_exec_runtime ;
2117};
2118#line 512 "include/linux/sched.h"
2119struct thread_group_cputimer {
2120 struct task_cputime cputime ;
2121 int running ;
2122 raw_spinlock_t lock ;
2123};
2124#line 519
2125struct autogroup;
2126#line 519
2127struct autogroup;
2128#line 528
2129struct tty_struct;
2130#line 528
2131struct taskstats;
2132#line 528
2133struct tty_audit_buf;
2134#line 528 "include/linux/sched.h"
2135struct signal_struct {
2136 atomic_t sigcnt ;
2137 atomic_t live ;
2138 int nr_threads ;
2139 wait_queue_head_t wait_chldexit ;
2140 struct task_struct *curr_target ;
2141 struct sigpending shared_pending ;
2142 int group_exit_code ;
2143 int notify_count ;
2144 struct task_struct *group_exit_task ;
2145 int group_stop_count ;
2146 unsigned int flags ;
2147 unsigned int is_child_subreaper : 1 ;
2148 unsigned int has_child_subreaper : 1 ;
2149 struct list_head posix_timers ;
2150 struct hrtimer real_timer ;
2151 struct pid *leader_pid ;
2152 ktime_t it_real_incr ;
2153 struct cpu_itimer it[2] ;
2154 struct thread_group_cputimer cputimer ;
2155 struct task_cputime cputime_expires ;
2156 struct list_head cpu_timers[3] ;
2157 struct pid *tty_old_pgrp ;
2158 int leader ;
2159 struct tty_struct *tty ;
2160 struct autogroup *autogroup ;
2161 cputime_t utime ;
2162 cputime_t stime ;
2163 cputime_t cutime ;
2164 cputime_t cstime ;
2165 cputime_t gtime ;
2166 cputime_t cgtime ;
2167 cputime_t prev_utime ;
2168 cputime_t prev_stime ;
2169 unsigned long nvcsw ;
2170 unsigned long nivcsw ;
2171 unsigned long cnvcsw ;
2172 unsigned long cnivcsw ;
2173 unsigned long min_flt ;
2174 unsigned long maj_flt ;
2175 unsigned long cmin_flt ;
2176 unsigned long cmaj_flt ;
2177 unsigned long inblock ;
2178 unsigned long oublock ;
2179 unsigned long cinblock ;
2180 unsigned long coublock ;
2181 unsigned long maxrss ;
2182 unsigned long cmaxrss ;
2183 struct task_io_accounting ioac ;
2184 unsigned long long sum_sched_runtime ;
2185 struct rlimit rlim[16] ;
2186 struct pacct_struct pacct ;
2187 struct taskstats *stats ;
2188 unsigned int audit_tty ;
2189 struct tty_audit_buf *tty_audit_buf ;
2190 struct rw_semaphore group_rwsem ;
2191 int oom_adj ;
2192 int oom_score_adj ;
2193 int oom_score_adj_min ;
2194 struct mutex cred_guard_mutex ;
2195};
2196#line 703 "include/linux/sched.h"
2197struct user_struct {
2198 atomic_t __count ;
2199 atomic_t processes ;
2200 atomic_t files ;
2201 atomic_t sigpending ;
2202 atomic_t inotify_watches ;
2203 atomic_t inotify_devs ;
2204 atomic_t fanotify_listeners ;
2205 atomic_long_t epoll_watches ;
2206 unsigned long mq_bytes ;
2207 unsigned long locked_shm ;
2208 struct key *uid_keyring ;
2209 struct key *session_keyring ;
2210 struct hlist_node uidhash_node ;
2211 uid_t uid ;
2212 struct user_namespace *user_ns ;
2213 atomic_long_t locked_vm ;
2214};
2215#line 747
2216struct backing_dev_info;
2217#line 747
2218struct backing_dev_info;
2219#line 748
2220struct reclaim_state;
2221#line 748
2222struct reclaim_state;
2223#line 751 "include/linux/sched.h"
2224struct sched_info {
2225 unsigned long pcount ;
2226 unsigned long long run_delay ;
2227 unsigned long long last_arrival ;
2228 unsigned long long last_queued ;
2229};
2230#line 763 "include/linux/sched.h"
2231struct task_delay_info {
2232 spinlock_t lock ;
2233 unsigned int flags ;
2234 struct timespec blkio_start ;
2235 struct timespec blkio_end ;
2236 u64 blkio_delay ;
2237 u64 swapin_delay ;
2238 u32 blkio_count ;
2239 u32 swapin_count ;
2240 struct timespec freepages_start ;
2241 struct timespec freepages_end ;
2242 u64 freepages_delay ;
2243 u32 freepages_count ;
2244};
2245#line 1088
2246struct io_context;
2247#line 1088
2248struct io_context;
2249#line 1097
2250struct audit_context;
2251#line 1098
2252struct mempolicy;
2253#line 1099
2254struct pipe_inode_info;
2255#line 1099
2256struct pipe_inode_info;
2257#line 1102
2258struct rq;
2259#line 1102
2260struct rq;
2261#line 1122 "include/linux/sched.h"
2262struct sched_class {
2263 struct sched_class const *next ;
2264 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2265 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2266 void (*yield_task)(struct rq *rq ) ;
2267 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2268 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2269 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2270 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2271 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2272 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2273 void (*post_schedule)(struct rq *this_rq ) ;
2274 void (*task_waking)(struct task_struct *task ) ;
2275 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2276 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2277 void (*rq_online)(struct rq *rq ) ;
2278 void (*rq_offline)(struct rq *rq ) ;
2279 void (*set_curr_task)(struct rq *rq ) ;
2280 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2281 void (*task_fork)(struct task_struct *p ) ;
2282 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2283 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2284 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2285 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2286 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2287};
2288#line 1167 "include/linux/sched.h"
2289struct load_weight {
2290 unsigned long weight ;
2291 unsigned long inv_weight ;
2292};
2293#line 1172 "include/linux/sched.h"
2294struct sched_statistics {
2295 u64 wait_start ;
2296 u64 wait_max ;
2297 u64 wait_count ;
2298 u64 wait_sum ;
2299 u64 iowait_count ;
2300 u64 iowait_sum ;
2301 u64 sleep_start ;
2302 u64 sleep_max ;
2303 s64 sum_sleep_runtime ;
2304 u64 block_start ;
2305 u64 block_max ;
2306 u64 exec_max ;
2307 u64 slice_max ;
2308 u64 nr_migrations_cold ;
2309 u64 nr_failed_migrations_affine ;
2310 u64 nr_failed_migrations_running ;
2311 u64 nr_failed_migrations_hot ;
2312 u64 nr_forced_migrations ;
2313 u64 nr_wakeups ;
2314 u64 nr_wakeups_sync ;
2315 u64 nr_wakeups_migrate ;
2316 u64 nr_wakeups_local ;
2317 u64 nr_wakeups_remote ;
2318 u64 nr_wakeups_affine ;
2319 u64 nr_wakeups_affine_attempts ;
2320 u64 nr_wakeups_passive ;
2321 u64 nr_wakeups_idle ;
2322};
2323#line 1207 "include/linux/sched.h"
2324struct sched_entity {
2325 struct load_weight load ;
2326 struct rb_node run_node ;
2327 struct list_head group_node ;
2328 unsigned int on_rq ;
2329 u64 exec_start ;
2330 u64 sum_exec_runtime ;
2331 u64 vruntime ;
2332 u64 prev_sum_exec_runtime ;
2333 u64 nr_migrations ;
2334 struct sched_statistics statistics ;
2335 struct sched_entity *parent ;
2336 struct cfs_rq *cfs_rq ;
2337 struct cfs_rq *my_q ;
2338};
2339#line 1233
2340struct rt_rq;
2341#line 1233 "include/linux/sched.h"
2342struct sched_rt_entity {
2343 struct list_head run_list ;
2344 unsigned long timeout ;
2345 unsigned int time_slice ;
2346 int nr_cpus_allowed ;
2347 struct sched_rt_entity *back ;
2348 struct sched_rt_entity *parent ;
2349 struct rt_rq *rt_rq ;
2350 struct rt_rq *my_q ;
2351};
2352#line 1264
2353struct files_struct;
2354#line 1264
2355struct css_set;
2356#line 1264
2357struct compat_robust_list_head;
2358#line 1264
2359struct mem_cgroup;
2360#line 1264 "include/linux/sched.h"
2361struct memcg_batch_info {
2362 int do_batch ;
2363 struct mem_cgroup *memcg ;
2364 unsigned long nr_pages ;
2365 unsigned long memsw_nr_pages ;
2366};
2367#line 1264 "include/linux/sched.h"
2368struct task_struct {
2369 long volatile state ;
2370 void *stack ;
2371 atomic_t usage ;
2372 unsigned int flags ;
2373 unsigned int ptrace ;
2374 struct llist_node wake_entry ;
2375 int on_cpu ;
2376 int on_rq ;
2377 int prio ;
2378 int static_prio ;
2379 int normal_prio ;
2380 unsigned int rt_priority ;
2381 struct sched_class const *sched_class ;
2382 struct sched_entity se ;
2383 struct sched_rt_entity rt ;
2384 struct hlist_head preempt_notifiers ;
2385 unsigned char fpu_counter ;
2386 unsigned int policy ;
2387 cpumask_t cpus_allowed ;
2388 struct sched_info sched_info ;
2389 struct list_head tasks ;
2390 struct plist_node pushable_tasks ;
2391 struct mm_struct *mm ;
2392 struct mm_struct *active_mm ;
2393 unsigned int brk_randomized : 1 ;
2394 int exit_state ;
2395 int exit_code ;
2396 int exit_signal ;
2397 int pdeath_signal ;
2398 unsigned int jobctl ;
2399 unsigned int personality ;
2400 unsigned int did_exec : 1 ;
2401 unsigned int in_execve : 1 ;
2402 unsigned int in_iowait : 1 ;
2403 unsigned int sched_reset_on_fork : 1 ;
2404 unsigned int sched_contributes_to_load : 1 ;
2405 unsigned int irq_thread : 1 ;
2406 pid_t pid ;
2407 pid_t tgid ;
2408 unsigned long stack_canary ;
2409 struct task_struct *real_parent ;
2410 struct task_struct *parent ;
2411 struct list_head children ;
2412 struct list_head sibling ;
2413 struct task_struct *group_leader ;
2414 struct list_head ptraced ;
2415 struct list_head ptrace_entry ;
2416 struct pid_link pids[3] ;
2417 struct list_head thread_group ;
2418 struct completion *vfork_done ;
2419 int *set_child_tid ;
2420 int *clear_child_tid ;
2421 cputime_t utime ;
2422 cputime_t stime ;
2423 cputime_t utimescaled ;
2424 cputime_t stimescaled ;
2425 cputime_t gtime ;
2426 cputime_t prev_utime ;
2427 cputime_t prev_stime ;
2428 unsigned long nvcsw ;
2429 unsigned long nivcsw ;
2430 struct timespec start_time ;
2431 struct timespec real_start_time ;
2432 unsigned long min_flt ;
2433 unsigned long maj_flt ;
2434 struct task_cputime cputime_expires ;
2435 struct list_head cpu_timers[3] ;
2436 struct cred const *real_cred ;
2437 struct cred const *cred ;
2438 struct cred *replacement_session_keyring ;
2439 char comm[16] ;
2440 int link_count ;
2441 int total_link_count ;
2442 struct sysv_sem sysvsem ;
2443 unsigned long last_switch_count ;
2444 struct thread_struct thread ;
2445 struct fs_struct *fs ;
2446 struct files_struct *files ;
2447 struct nsproxy *nsproxy ;
2448 struct signal_struct *signal ;
2449 struct sighand_struct *sighand ;
2450 sigset_t blocked ;
2451 sigset_t real_blocked ;
2452 sigset_t saved_sigmask ;
2453 struct sigpending pending ;
2454 unsigned long sas_ss_sp ;
2455 size_t sas_ss_size ;
2456 int (*notifier)(void *priv ) ;
2457 void *notifier_data ;
2458 sigset_t *notifier_mask ;
2459 struct audit_context *audit_context ;
2460 uid_t loginuid ;
2461 unsigned int sessionid ;
2462 seccomp_t seccomp ;
2463 u32 parent_exec_id ;
2464 u32 self_exec_id ;
2465 spinlock_t alloc_lock ;
2466 raw_spinlock_t pi_lock ;
2467 struct plist_head pi_waiters ;
2468 struct rt_mutex_waiter *pi_blocked_on ;
2469 struct mutex_waiter *blocked_on ;
2470 unsigned int irq_events ;
2471 unsigned long hardirq_enable_ip ;
2472 unsigned long hardirq_disable_ip ;
2473 unsigned int hardirq_enable_event ;
2474 unsigned int hardirq_disable_event ;
2475 int hardirqs_enabled ;
2476 int hardirq_context ;
2477 unsigned long softirq_disable_ip ;
2478 unsigned long softirq_enable_ip ;
2479 unsigned int softirq_disable_event ;
2480 unsigned int softirq_enable_event ;
2481 int softirqs_enabled ;
2482 int softirq_context ;
2483 void *journal_info ;
2484 struct bio_list *bio_list ;
2485 struct blk_plug *plug ;
2486 struct reclaim_state *reclaim_state ;
2487 struct backing_dev_info *backing_dev_info ;
2488 struct io_context *io_context ;
2489 unsigned long ptrace_message ;
2490 siginfo_t *last_siginfo ;
2491 struct task_io_accounting ioac ;
2492 u64 acct_rss_mem1 ;
2493 u64 acct_vm_mem1 ;
2494 cputime_t acct_timexpd ;
2495 nodemask_t mems_allowed ;
2496 seqcount_t mems_allowed_seq ;
2497 int cpuset_mem_spread_rotor ;
2498 int cpuset_slab_spread_rotor ;
2499 struct css_set *cgroups ;
2500 struct list_head cg_list ;
2501 struct robust_list_head *robust_list ;
2502 struct compat_robust_list_head *compat_robust_list ;
2503 struct list_head pi_state_list ;
2504 struct futex_pi_state *pi_state_cache ;
2505 struct perf_event_context *perf_event_ctxp[2] ;
2506 struct mutex perf_event_mutex ;
2507 struct list_head perf_event_list ;
2508 struct mempolicy *mempolicy ;
2509 short il_next ;
2510 short pref_node_fork ;
2511 struct rcu_head rcu ;
2512 struct pipe_inode_info *splice_pipe ;
2513 struct task_delay_info *delays ;
2514 int make_it_fail ;
2515 int nr_dirtied ;
2516 int nr_dirtied_pause ;
2517 unsigned long dirty_paused_when ;
2518 int latency_record_count ;
2519 struct latency_record latency_record[32] ;
2520 unsigned long timer_slack_ns ;
2521 unsigned long default_timer_slack_ns ;
2522 struct list_head *scm_work_list ;
2523 unsigned long trace ;
2524 unsigned long trace_recursion ;
2525 struct memcg_batch_info memcg_batch ;
2526 atomic_t ptrace_bp_refcnt ;
2527};
2528#line 1681
2529struct pid_namespace;
2530#line 28 "include/linux/of.h"
2531typedef u32 phandle;
2532#line 31 "include/linux/of.h"
2533struct property {
2534 char *name ;
2535 int length ;
2536 void *value ;
2537 struct property *next ;
2538 unsigned long _flags ;
2539 unsigned int unique_id ;
2540};
2541#line 44
2542struct proc_dir_entry;
2543#line 44 "include/linux/of.h"
2544struct device_node {
2545 char const *name ;
2546 char const *type ;
2547 phandle phandle ;
2548 char *full_name ;
2549 struct property *properties ;
2550 struct property *deadprops ;
2551 struct device_node *parent ;
2552 struct device_node *child ;
2553 struct device_node *sibling ;
2554 struct device_node *next ;
2555 struct device_node *allnext ;
2556 struct proc_dir_entry *pde ;
2557 struct kref kref ;
2558 unsigned long _flags ;
2559 void *data ;
2560};
2561#line 44 "include/linux/i2c.h"
2562struct i2c_msg;
2563#line 44
2564struct i2c_msg;
2565#line 45
2566struct i2c_algorithm;
2567#line 45
2568struct i2c_algorithm;
2569#line 46
2570struct i2c_adapter;
2571#line 46
2572struct i2c_adapter;
2573#line 49
2574union i2c_smbus_data;
2575#line 49
2576union i2c_smbus_data;
2577#line 52
2578struct module;
2579#line 352 "include/linux/i2c.h"
2580struct i2c_algorithm {
2581 int (*master_xfer)(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
2582 int (*smbus_xfer)(struct i2c_adapter *adap , u16 addr , unsigned short flags ,
2583 char read_write , u8 command , int size , union i2c_smbus_data *data ) ;
2584 u32 (*functionality)(struct i2c_adapter * ) ;
2585};
2586#line 373 "include/linux/i2c.h"
2587struct i2c_adapter {
2588 struct module *owner ;
2589 unsigned int class ;
2590 struct i2c_algorithm const *algo ;
2591 void *algo_data ;
2592 struct rt_mutex bus_lock ;
2593 int timeout ;
2594 int retries ;
2595 struct device dev ;
2596 int nr ;
2597 char name[48] ;
2598 struct completion dev_released ;
2599 struct mutex userspace_clients_lock ;
2600 struct list_head userspace_clients ;
2601};
2602#line 538 "include/linux/i2c.h"
2603struct i2c_msg {
2604 __u16 addr ;
2605 __u16 flags ;
2606 __u16 len ;
2607 __u8 *buf ;
2608};
2609#line 596 "include/linux/i2c.h"
2610union i2c_smbus_data {
2611 __u8 byte ;
2612 __u16 word ;
2613 __u8 block[34] ;
2614};
2615#line 25 "include/linux/io.h"
2616struct device;
2617#line 15 "include/linux/blk_types.h"
2618struct page;
2619#line 16
2620struct block_device;
2621#line 16
2622struct block_device;
2623#line 33 "include/linux/list_bl.h"
2624struct hlist_bl_node;
2625#line 33 "include/linux/list_bl.h"
2626struct hlist_bl_head {
2627 struct hlist_bl_node *first ;
2628};
2629#line 37 "include/linux/list_bl.h"
2630struct hlist_bl_node {
2631 struct hlist_bl_node *next ;
2632 struct hlist_bl_node **pprev ;
2633};
2634#line 13 "include/linux/dcache.h"
2635struct nameidata;
2636#line 13
2637struct nameidata;
2638#line 14
2639struct path;
2640#line 14
2641struct path;
2642#line 15
2643struct vfsmount;
2644#line 15
2645struct vfsmount;
2646#line 35 "include/linux/dcache.h"
2647struct qstr {
2648 unsigned int hash ;
2649 unsigned int len ;
2650 unsigned char const *name ;
2651};
2652#line 88
2653struct dentry_operations;
2654#line 88
2655struct super_block;
2656#line 88 "include/linux/dcache.h"
2657union __anonunion_d_u_232 {
2658 struct list_head d_child ;
2659 struct rcu_head d_rcu ;
2660};
2661#line 88 "include/linux/dcache.h"
2662struct dentry {
2663 unsigned int d_flags ;
2664 seqcount_t d_seq ;
2665 struct hlist_bl_node d_hash ;
2666 struct dentry *d_parent ;
2667 struct qstr d_name ;
2668 struct inode *d_inode ;
2669 unsigned char d_iname[32] ;
2670 unsigned int d_count ;
2671 spinlock_t d_lock ;
2672 struct dentry_operations const *d_op ;
2673 struct super_block *d_sb ;
2674 unsigned long d_time ;
2675 void *d_fsdata ;
2676 struct list_head d_lru ;
2677 union __anonunion_d_u_232 d_u ;
2678 struct list_head d_subdirs ;
2679 struct list_head d_alias ;
2680};
2681#line 131 "include/linux/dcache.h"
2682struct dentry_operations {
2683 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2684 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2685 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2686 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2687 int (*d_delete)(struct dentry const * ) ;
2688 void (*d_release)(struct dentry * ) ;
2689 void (*d_prune)(struct dentry * ) ;
2690 void (*d_iput)(struct dentry * , struct inode * ) ;
2691 char *(*d_dname)(struct dentry * , char * , int ) ;
2692 struct vfsmount *(*d_automount)(struct path * ) ;
2693 int (*d_manage)(struct dentry * , bool ) ;
2694} __attribute__((__aligned__((1) << (6) ))) ;
2695#line 4 "include/linux/path.h"
2696struct dentry;
2697#line 5
2698struct vfsmount;
2699#line 7 "include/linux/path.h"
2700struct path {
2701 struct vfsmount *mnt ;
2702 struct dentry *dentry ;
2703};
2704#line 64 "include/linux/radix-tree.h"
2705struct radix_tree_node;
2706#line 64 "include/linux/radix-tree.h"
2707struct radix_tree_root {
2708 unsigned int height ;
2709 gfp_t gfp_mask ;
2710 struct radix_tree_node *rnode ;
2711};
2712#line 16 "include/linux/fiemap.h"
2713struct fiemap_extent {
2714 __u64 fe_logical ;
2715 __u64 fe_physical ;
2716 __u64 fe_length ;
2717 __u64 fe_reserved64[2] ;
2718 __u32 fe_flags ;
2719 __u32 fe_reserved[3] ;
2720};
2721#line 8 "include/linux/shrinker.h"
2722struct shrink_control {
2723 gfp_t gfp_mask ;
2724 unsigned long nr_to_scan ;
2725};
2726#line 31 "include/linux/shrinker.h"
2727struct shrinker {
2728 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
2729 int seeks ;
2730 long batch ;
2731 struct list_head list ;
2732 atomic_long_t nr_in_batch ;
2733};
2734#line 10 "include/linux/migrate_mode.h"
2735enum migrate_mode {
2736 MIGRATE_ASYNC = 0,
2737 MIGRATE_SYNC_LIGHT = 1,
2738 MIGRATE_SYNC = 2
2739} ;
2740#line 408 "include/linux/fs.h"
2741struct export_operations;
2742#line 408
2743struct export_operations;
2744#line 410
2745struct iovec;
2746#line 411
2747struct nameidata;
2748#line 412
2749struct kiocb;
2750#line 413
2751struct kobject;
2752#line 414
2753struct pipe_inode_info;
2754#line 415
2755struct poll_table_struct;
2756#line 415
2757struct poll_table_struct;
2758#line 416
2759struct kstatfs;
2760#line 416
2761struct kstatfs;
2762#line 417
2763struct vm_area_struct;
2764#line 418
2765struct vfsmount;
2766#line 419
2767struct cred;
2768#line 469 "include/linux/fs.h"
2769struct iattr {
2770 unsigned int ia_valid ;
2771 umode_t ia_mode ;
2772 uid_t ia_uid ;
2773 gid_t ia_gid ;
2774 loff_t ia_size ;
2775 struct timespec ia_atime ;
2776 struct timespec ia_mtime ;
2777 struct timespec ia_ctime ;
2778 struct file *ia_file ;
2779};
2780#line 129 "include/linux/quota.h"
2781struct if_dqinfo {
2782 __u64 dqi_bgrace ;
2783 __u64 dqi_igrace ;
2784 __u32 dqi_flags ;
2785 __u32 dqi_valid ;
2786};
2787#line 50 "include/linux/dqblk_xfs.h"
2788struct fs_disk_quota {
2789 __s8 d_version ;
2790 __s8 d_flags ;
2791 __u16 d_fieldmask ;
2792 __u32 d_id ;
2793 __u64 d_blk_hardlimit ;
2794 __u64 d_blk_softlimit ;
2795 __u64 d_ino_hardlimit ;
2796 __u64 d_ino_softlimit ;
2797 __u64 d_bcount ;
2798 __u64 d_icount ;
2799 __s32 d_itimer ;
2800 __s32 d_btimer ;
2801 __u16 d_iwarns ;
2802 __u16 d_bwarns ;
2803 __s32 d_padding2 ;
2804 __u64 d_rtb_hardlimit ;
2805 __u64 d_rtb_softlimit ;
2806 __u64 d_rtbcount ;
2807 __s32 d_rtbtimer ;
2808 __u16 d_rtbwarns ;
2809 __s16 d_padding3 ;
2810 char d_padding4[8] ;
2811};
2812#line 146 "include/linux/dqblk_xfs.h"
2813struct fs_qfilestat {
2814 __u64 qfs_ino ;
2815 __u64 qfs_nblks ;
2816 __u32 qfs_nextents ;
2817};
2818#line 146 "include/linux/dqblk_xfs.h"
2819typedef struct fs_qfilestat fs_qfilestat_t;
2820#line 152 "include/linux/dqblk_xfs.h"
2821struct fs_quota_stat {
2822 __s8 qs_version ;
2823 __u16 qs_flags ;
2824 __s8 qs_pad ;
2825 fs_qfilestat_t qs_uquota ;
2826 fs_qfilestat_t qs_gquota ;
2827 __u32 qs_incoredqs ;
2828 __s32 qs_btimelimit ;
2829 __s32 qs_itimelimit ;
2830 __s32 qs_rtbtimelimit ;
2831 __u16 qs_bwarnlimit ;
2832 __u16 qs_iwarnlimit ;
2833};
2834#line 17 "include/linux/dqblk_qtree.h"
2835struct dquot;
2836#line 17
2837struct dquot;
2838#line 185 "include/linux/quota.h"
2839typedef __kernel_uid32_t qid_t;
2840#line 186 "include/linux/quota.h"
2841typedef long long qsize_t;
2842#line 200 "include/linux/quota.h"
2843struct mem_dqblk {
2844 qsize_t dqb_bhardlimit ;
2845 qsize_t dqb_bsoftlimit ;
2846 qsize_t dqb_curspace ;
2847 qsize_t dqb_rsvspace ;
2848 qsize_t dqb_ihardlimit ;
2849 qsize_t dqb_isoftlimit ;
2850 qsize_t dqb_curinodes ;
2851 time_t dqb_btime ;
2852 time_t dqb_itime ;
2853};
2854#line 215
2855struct quota_format_type;
2856#line 215
2857struct quota_format_type;
2858#line 217 "include/linux/quota.h"
2859struct mem_dqinfo {
2860 struct quota_format_type *dqi_format ;
2861 int dqi_fmt_id ;
2862 struct list_head dqi_dirty_list ;
2863 unsigned long dqi_flags ;
2864 unsigned int dqi_bgrace ;
2865 unsigned int dqi_igrace ;
2866 qsize_t dqi_maxblimit ;
2867 qsize_t dqi_maxilimit ;
2868 void *dqi_priv ;
2869};
2870#line 230
2871struct super_block;
2872#line 288 "include/linux/quota.h"
2873struct dquot {
2874 struct hlist_node dq_hash ;
2875 struct list_head dq_inuse ;
2876 struct list_head dq_free ;
2877 struct list_head dq_dirty ;
2878 struct mutex dq_lock ;
2879 atomic_t dq_count ;
2880 wait_queue_head_t dq_wait_unused ;
2881 struct super_block *dq_sb ;
2882 unsigned int dq_id ;
2883 loff_t dq_off ;
2884 unsigned long dq_flags ;
2885 short dq_type ;
2886 struct mem_dqblk dq_dqb ;
2887};
2888#line 305 "include/linux/quota.h"
2889struct quota_format_ops {
2890 int (*check_quota_file)(struct super_block *sb , int type ) ;
2891 int (*read_file_info)(struct super_block *sb , int type ) ;
2892 int (*write_file_info)(struct super_block *sb , int type ) ;
2893 int (*free_file_info)(struct super_block *sb , int type ) ;
2894 int (*read_dqblk)(struct dquot *dquot ) ;
2895 int (*commit_dqblk)(struct dquot *dquot ) ;
2896 int (*release_dqblk)(struct dquot *dquot ) ;
2897};
2898#line 316 "include/linux/quota.h"
2899struct dquot_operations {
2900 int (*write_dquot)(struct dquot * ) ;
2901 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
2902 void (*destroy_dquot)(struct dquot * ) ;
2903 int (*acquire_dquot)(struct dquot * ) ;
2904 int (*release_dquot)(struct dquot * ) ;
2905 int (*mark_dirty)(struct dquot * ) ;
2906 int (*write_info)(struct super_block * , int ) ;
2907 qsize_t *(*get_reserved_space)(struct inode * ) ;
2908};
2909#line 329
2910struct path;
2911#line 332 "include/linux/quota.h"
2912struct quotactl_ops {
2913 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
2914 int (*quota_on_meta)(struct super_block * , int , int ) ;
2915 int (*quota_off)(struct super_block * , int ) ;
2916 int (*quota_sync)(struct super_block * , int , int ) ;
2917 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
2918 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
2919 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2920 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2921 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
2922 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
2923};
2924#line 345 "include/linux/quota.h"
2925struct quota_format_type {
2926 int qf_fmt_id ;
2927 struct quota_format_ops const *qf_ops ;
2928 struct module *qf_owner ;
2929 struct quota_format_type *qf_next ;
2930};
2931#line 399 "include/linux/quota.h"
2932struct quota_info {
2933 unsigned int flags ;
2934 struct mutex dqio_mutex ;
2935 struct mutex dqonoff_mutex ;
2936 struct rw_semaphore dqptr_sem ;
2937 struct inode *files[2] ;
2938 struct mem_dqinfo info[2] ;
2939 struct quota_format_ops const *ops[2] ;
2940};
2941#line 532 "include/linux/fs.h"
2942struct page;
2943#line 533
2944struct address_space;
2945#line 534
2946struct writeback_control;
2947#line 534
2948struct writeback_control;
2949#line 577 "include/linux/fs.h"
2950union __anonunion_arg_239 {
2951 char *buf ;
2952 void *data ;
2953};
2954#line 577 "include/linux/fs.h"
2955struct __anonstruct_read_descriptor_t_238 {
2956 size_t written ;
2957 size_t count ;
2958 union __anonunion_arg_239 arg ;
2959 int error ;
2960};
2961#line 577 "include/linux/fs.h"
2962typedef struct __anonstruct_read_descriptor_t_238 read_descriptor_t;
2963#line 590 "include/linux/fs.h"
2964struct address_space_operations {
2965 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
2966 int (*readpage)(struct file * , struct page * ) ;
2967 int (*writepages)(struct address_space * , struct writeback_control * ) ;
2968 int (*set_page_dirty)(struct page *page ) ;
2969 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
2970 unsigned int nr_pages ) ;
2971 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
2972 unsigned int len , unsigned int flags , struct page **pagep ,
2973 void **fsdata ) ;
2974 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
2975 unsigned int copied , struct page *page , void *fsdata ) ;
2976 sector_t (*bmap)(struct address_space * , sector_t ) ;
2977 void (*invalidatepage)(struct page * , unsigned long ) ;
2978 int (*releasepage)(struct page * , gfp_t ) ;
2979 void (*freepage)(struct page * ) ;
2980 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
2981 unsigned long nr_segs ) ;
2982 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
2983 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
2984 int (*launder_page)(struct page * ) ;
2985 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
2986 int (*error_remove_page)(struct address_space * , struct page * ) ;
2987};
2988#line 645
2989struct backing_dev_info;
2990#line 646 "include/linux/fs.h"
2991struct address_space {
2992 struct inode *host ;
2993 struct radix_tree_root page_tree ;
2994 spinlock_t tree_lock ;
2995 unsigned int i_mmap_writable ;
2996 struct prio_tree_root i_mmap ;
2997 struct list_head i_mmap_nonlinear ;
2998 struct mutex i_mmap_mutex ;
2999 unsigned long nrpages ;
3000 unsigned long writeback_index ;
3001 struct address_space_operations const *a_ops ;
3002 unsigned long flags ;
3003 struct backing_dev_info *backing_dev_info ;
3004 spinlock_t private_lock ;
3005 struct list_head private_list ;
3006 struct address_space *assoc_mapping ;
3007} __attribute__((__aligned__(sizeof(long )))) ;
3008#line 669
3009struct request_queue;
3010#line 669
3011struct request_queue;
3012#line 671
3013struct hd_struct;
3014#line 671
3015struct gendisk;
3016#line 671 "include/linux/fs.h"
3017struct block_device {
3018 dev_t bd_dev ;
3019 int bd_openers ;
3020 struct inode *bd_inode ;
3021 struct super_block *bd_super ;
3022 struct mutex bd_mutex ;
3023 struct list_head bd_inodes ;
3024 void *bd_claiming ;
3025 void *bd_holder ;
3026 int bd_holders ;
3027 bool bd_write_holder ;
3028 struct list_head bd_holder_disks ;
3029 struct block_device *bd_contains ;
3030 unsigned int bd_block_size ;
3031 struct hd_struct *bd_part ;
3032 unsigned int bd_part_count ;
3033 int bd_invalidated ;
3034 struct gendisk *bd_disk ;
3035 struct request_queue *bd_queue ;
3036 struct list_head bd_list ;
3037 unsigned long bd_private ;
3038 int bd_fsfreeze_count ;
3039 struct mutex bd_fsfreeze_mutex ;
3040};
3041#line 749
3042struct posix_acl;
3043#line 749
3044struct posix_acl;
3045#line 761
3046struct inode_operations;
3047#line 761 "include/linux/fs.h"
3048union __anonunion____missing_field_name_240 {
3049 unsigned int const i_nlink ;
3050 unsigned int __i_nlink ;
3051};
3052#line 761 "include/linux/fs.h"
3053union __anonunion____missing_field_name_241 {
3054 struct list_head i_dentry ;
3055 struct rcu_head i_rcu ;
3056};
3057#line 761
3058struct file_operations;
3059#line 761
3060struct file_lock;
3061#line 761
3062struct cdev;
3063#line 761 "include/linux/fs.h"
3064union __anonunion____missing_field_name_242 {
3065 struct pipe_inode_info *i_pipe ;
3066 struct block_device *i_bdev ;
3067 struct cdev *i_cdev ;
3068};
3069#line 761 "include/linux/fs.h"
3070struct inode {
3071 umode_t i_mode ;
3072 unsigned short i_opflags ;
3073 uid_t i_uid ;
3074 gid_t i_gid ;
3075 unsigned int i_flags ;
3076 struct posix_acl *i_acl ;
3077 struct posix_acl *i_default_acl ;
3078 struct inode_operations const *i_op ;
3079 struct super_block *i_sb ;
3080 struct address_space *i_mapping ;
3081 void *i_security ;
3082 unsigned long i_ino ;
3083 union __anonunion____missing_field_name_240 __annonCompField44 ;
3084 dev_t i_rdev ;
3085 struct timespec i_atime ;
3086 struct timespec i_mtime ;
3087 struct timespec i_ctime ;
3088 spinlock_t i_lock ;
3089 unsigned short i_bytes ;
3090 blkcnt_t i_blocks ;
3091 loff_t i_size ;
3092 unsigned long i_state ;
3093 struct mutex i_mutex ;
3094 unsigned long dirtied_when ;
3095 struct hlist_node i_hash ;
3096 struct list_head i_wb_list ;
3097 struct list_head i_lru ;
3098 struct list_head i_sb_list ;
3099 union __anonunion____missing_field_name_241 __annonCompField45 ;
3100 atomic_t i_count ;
3101 unsigned int i_blkbits ;
3102 u64 i_version ;
3103 atomic_t i_dio_count ;
3104 atomic_t i_writecount ;
3105 struct file_operations const *i_fop ;
3106 struct file_lock *i_flock ;
3107 struct address_space i_data ;
3108 struct dquot *i_dquot[2] ;
3109 struct list_head i_devices ;
3110 union __anonunion____missing_field_name_242 __annonCompField46 ;
3111 __u32 i_generation ;
3112 __u32 i_fsnotify_mask ;
3113 struct hlist_head i_fsnotify_marks ;
3114 atomic_t i_readcount ;
3115 void *i_private ;
3116};
3117#line 942 "include/linux/fs.h"
3118struct fown_struct {
3119 rwlock_t lock ;
3120 struct pid *pid ;
3121 enum pid_type pid_type ;
3122 uid_t uid ;
3123 uid_t euid ;
3124 int signum ;
3125};
3126#line 953 "include/linux/fs.h"
3127struct file_ra_state {
3128 unsigned long start ;
3129 unsigned int size ;
3130 unsigned int async_size ;
3131 unsigned int ra_pages ;
3132 unsigned int mmap_miss ;
3133 loff_t prev_pos ;
3134};
3135#line 976 "include/linux/fs.h"
3136union __anonunion_f_u_243 {
3137 struct list_head fu_list ;
3138 struct rcu_head fu_rcuhead ;
3139};
3140#line 976 "include/linux/fs.h"
3141struct file {
3142 union __anonunion_f_u_243 f_u ;
3143 struct path f_path ;
3144 struct file_operations const *f_op ;
3145 spinlock_t f_lock ;
3146 int f_sb_list_cpu ;
3147 atomic_long_t f_count ;
3148 unsigned int f_flags ;
3149 fmode_t f_mode ;
3150 loff_t f_pos ;
3151 struct fown_struct f_owner ;
3152 struct cred const *f_cred ;
3153 struct file_ra_state f_ra ;
3154 u64 f_version ;
3155 void *f_security ;
3156 void *private_data ;
3157 struct list_head f_ep_links ;
3158 struct list_head f_tfile_llink ;
3159 struct address_space *f_mapping ;
3160 unsigned long f_mnt_write_state ;
3161};
3162#line 1111 "include/linux/fs.h"
3163typedef struct files_struct *fl_owner_t;
3164#line 1113 "include/linux/fs.h"
3165struct file_lock_operations {
3166 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3167 void (*fl_release_private)(struct file_lock * ) ;
3168};
3169#line 1118 "include/linux/fs.h"
3170struct lock_manager_operations {
3171 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3172 void (*lm_notify)(struct file_lock * ) ;
3173 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
3174 void (*lm_release_private)(struct file_lock * ) ;
3175 void (*lm_break)(struct file_lock * ) ;
3176 int (*lm_change)(struct file_lock ** , int ) ;
3177};
3178#line 4 "include/linux/nfs_fs_i.h"
3179struct nlm_lockowner;
3180#line 4
3181struct nlm_lockowner;
3182#line 9 "include/linux/nfs_fs_i.h"
3183struct nfs_lock_info {
3184 u32 state ;
3185 struct nlm_lockowner *owner ;
3186 struct list_head list ;
3187};
3188#line 15
3189struct nfs4_lock_state;
3190#line 15
3191struct nfs4_lock_state;
3192#line 16 "include/linux/nfs_fs_i.h"
3193struct nfs4_lock_info {
3194 struct nfs4_lock_state *owner ;
3195};
3196#line 1138 "include/linux/fs.h"
3197struct fasync_struct;
3198#line 1138 "include/linux/fs.h"
3199struct __anonstruct_afs_245 {
3200 struct list_head link ;
3201 int state ;
3202};
3203#line 1138 "include/linux/fs.h"
3204union __anonunion_fl_u_244 {
3205 struct nfs_lock_info nfs_fl ;
3206 struct nfs4_lock_info nfs4_fl ;
3207 struct __anonstruct_afs_245 afs ;
3208};
3209#line 1138 "include/linux/fs.h"
3210struct file_lock {
3211 struct file_lock *fl_next ;
3212 struct list_head fl_link ;
3213 struct list_head fl_block ;
3214 fl_owner_t fl_owner ;
3215 unsigned int fl_flags ;
3216 unsigned char fl_type ;
3217 unsigned int fl_pid ;
3218 struct pid *fl_nspid ;
3219 wait_queue_head_t fl_wait ;
3220 struct file *fl_file ;
3221 loff_t fl_start ;
3222 loff_t fl_end ;
3223 struct fasync_struct *fl_fasync ;
3224 unsigned long fl_break_time ;
3225 unsigned long fl_downgrade_time ;
3226 struct file_lock_operations const *fl_ops ;
3227 struct lock_manager_operations const *fl_lmops ;
3228 union __anonunion_fl_u_244 fl_u ;
3229};
3230#line 1378 "include/linux/fs.h"
3231struct fasync_struct {
3232 spinlock_t fa_lock ;
3233 int magic ;
3234 int fa_fd ;
3235 struct fasync_struct *fa_next ;
3236 struct file *fa_file ;
3237 struct rcu_head fa_rcu ;
3238};
3239#line 1418
3240struct file_system_type;
3241#line 1418
3242struct super_operations;
3243#line 1418
3244struct xattr_handler;
3245#line 1418
3246struct mtd_info;
3247#line 1418 "include/linux/fs.h"
3248struct super_block {
3249 struct list_head s_list ;
3250 dev_t s_dev ;
3251 unsigned char s_dirt ;
3252 unsigned char s_blocksize_bits ;
3253 unsigned long s_blocksize ;
3254 loff_t s_maxbytes ;
3255 struct file_system_type *s_type ;
3256 struct super_operations const *s_op ;
3257 struct dquot_operations const *dq_op ;
3258 struct quotactl_ops const *s_qcop ;
3259 struct export_operations const *s_export_op ;
3260 unsigned long s_flags ;
3261 unsigned long s_magic ;
3262 struct dentry *s_root ;
3263 struct rw_semaphore s_umount ;
3264 struct mutex s_lock ;
3265 int s_count ;
3266 atomic_t s_active ;
3267 void *s_security ;
3268 struct xattr_handler const **s_xattr ;
3269 struct list_head s_inodes ;
3270 struct hlist_bl_head s_anon ;
3271 struct list_head *s_files ;
3272 struct list_head s_mounts ;
3273 struct list_head s_dentry_lru ;
3274 int s_nr_dentry_unused ;
3275 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
3276 struct list_head s_inode_lru ;
3277 int s_nr_inodes_unused ;
3278 struct block_device *s_bdev ;
3279 struct backing_dev_info *s_bdi ;
3280 struct mtd_info *s_mtd ;
3281 struct hlist_node s_instances ;
3282 struct quota_info s_dquot ;
3283 int s_frozen ;
3284 wait_queue_head_t s_wait_unfrozen ;
3285 char s_id[32] ;
3286 u8 s_uuid[16] ;
3287 void *s_fs_info ;
3288 unsigned int s_max_links ;
3289 fmode_t s_mode ;
3290 u32 s_time_gran ;
3291 struct mutex s_vfs_rename_mutex ;
3292 char *s_subtype ;
3293 char *s_options ;
3294 struct dentry_operations const *s_d_op ;
3295 int cleancache_poolid ;
3296 struct shrinker s_shrink ;
3297 atomic_long_t s_remove_count ;
3298 int s_readonly_remount ;
3299};
3300#line 1567 "include/linux/fs.h"
3301struct fiemap_extent_info {
3302 unsigned int fi_flags ;
3303 unsigned int fi_extents_mapped ;
3304 unsigned int fi_extents_max ;
3305 struct fiemap_extent *fi_extents_start ;
3306};
3307#line 1609 "include/linux/fs.h"
3308struct file_operations {
3309 struct module *owner ;
3310 loff_t (*llseek)(struct file * , loff_t , int ) ;
3311 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3312 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3313 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3314 loff_t ) ;
3315 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3316 loff_t ) ;
3317 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3318 loff_t , u64 , unsigned int ) ) ;
3319 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3320 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3321 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3322 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3323 int (*open)(struct inode * , struct file * ) ;
3324 int (*flush)(struct file * , fl_owner_t id ) ;
3325 int (*release)(struct inode * , struct file * ) ;
3326 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
3327 int (*aio_fsync)(struct kiocb * , int datasync ) ;
3328 int (*fasync)(int , struct file * , int ) ;
3329 int (*lock)(struct file * , int , struct file_lock * ) ;
3330 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3331 int ) ;
3332 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3333 unsigned long , unsigned long ) ;
3334 int (*check_flags)(int ) ;
3335 int (*flock)(struct file * , int , struct file_lock * ) ;
3336 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3337 unsigned int ) ;
3338 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3339 unsigned int ) ;
3340 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3341 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
3342};
3343#line 1639 "include/linux/fs.h"
3344struct inode_operations {
3345 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3346 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3347 int (*permission)(struct inode * , int ) ;
3348 struct posix_acl *(*get_acl)(struct inode * , int ) ;
3349 int (*readlink)(struct dentry * , char * , int ) ;
3350 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3351 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
3352 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3353 int (*unlink)(struct inode * , struct dentry * ) ;
3354 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3355 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
3356 int (*rmdir)(struct inode * , struct dentry * ) ;
3357 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
3358 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3359 void (*truncate)(struct inode * ) ;
3360 int (*setattr)(struct dentry * , struct iattr * ) ;
3361 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
3362 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3363 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3364 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3365 int (*removexattr)(struct dentry * , char const * ) ;
3366 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3367 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
3368} __attribute__((__aligned__((1) << (6) ))) ;
3369#line 1669
3370struct seq_file;
3371#line 1684 "include/linux/fs.h"
3372struct super_operations {
3373 struct inode *(*alloc_inode)(struct super_block *sb ) ;
3374 void (*destroy_inode)(struct inode * ) ;
3375 void (*dirty_inode)(struct inode * , int flags ) ;
3376 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
3377 int (*drop_inode)(struct inode * ) ;
3378 void (*evict_inode)(struct inode * ) ;
3379 void (*put_super)(struct super_block * ) ;
3380 void (*write_super)(struct super_block * ) ;
3381 int (*sync_fs)(struct super_block *sb , int wait ) ;
3382 int (*freeze_fs)(struct super_block * ) ;
3383 int (*unfreeze_fs)(struct super_block * ) ;
3384 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3385 int (*remount_fs)(struct super_block * , int * , char * ) ;
3386 void (*umount_begin)(struct super_block * ) ;
3387 int (*show_options)(struct seq_file * , struct dentry * ) ;
3388 int (*show_devname)(struct seq_file * , struct dentry * ) ;
3389 int (*show_path)(struct seq_file * , struct dentry * ) ;
3390 int (*show_stats)(struct seq_file * , struct dentry * ) ;
3391 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3392 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3393 loff_t ) ;
3394 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3395 int (*nr_cached_objects)(struct super_block * ) ;
3396 void (*free_cached_objects)(struct super_block * , int ) ;
3397};
3398#line 1835 "include/linux/fs.h"
3399struct file_system_type {
3400 char const *name ;
3401 int fs_flags ;
3402 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3403 void (*kill_sb)(struct super_block * ) ;
3404 struct module *owner ;
3405 struct file_system_type *next ;
3406 struct hlist_head fs_supers ;
3407 struct lock_class_key s_lock_key ;
3408 struct lock_class_key s_umount_key ;
3409 struct lock_class_key s_vfs_rename_key ;
3410 struct lock_class_key i_lock_key ;
3411 struct lock_class_key i_mutex_key ;
3412 struct lock_class_key i_mutex_dir_key ;
3413};
3414#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
3415struct exception_table_entry {
3416 unsigned long insn ;
3417 unsigned long fixup ;
3418};
3419#line 28 "include/linux/poll.h"
3420struct poll_table_struct;
3421#line 39 "include/linux/poll.h"
3422struct poll_table_struct {
3423 void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
3424 unsigned long _key ;
3425};
3426#line 43 "drivers/media/dvb/dvb-core/dvb_ca_en50221.h"
3427struct dvb_ca_en50221 {
3428 struct module *owner ;
3429 int (*read_attribute_mem)(struct dvb_ca_en50221 *ca , int slot , int address ) ;
3430 int (*write_attribute_mem)(struct dvb_ca_en50221 *ca , int slot , int address ,
3431 u8 value ) ;
3432 int (*read_cam_control)(struct dvb_ca_en50221 *ca , int slot , u8 address ) ;
3433 int (*write_cam_control)(struct dvb_ca_en50221 *ca , int slot , u8 address , u8 value ) ;
3434 int (*slot_reset)(struct dvb_ca_en50221 *ca , int slot ) ;
3435 int (*slot_shutdown)(struct dvb_ca_en50221 *ca , int slot ) ;
3436 int (*slot_ts_enable)(struct dvb_ca_en50221 *ca , int slot ) ;
3437 int (*poll_slot_status)(struct dvb_ca_en50221 *ca , int slot , int open ) ;
3438 void *data ;
3439 void *private ;
3440};
3441#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/media/cxd2099/cxd2099.h"
3442struct cxd2099_cfg {
3443 u32 bitrate ;
3444 u8 adr ;
3445 u8 polarity : 1 ;
3446 u8 clock_mode : 1 ;
3447};
3448#line 41 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
3449struct cxd {
3450 struct dvb_ca_en50221 en ;
3451 struct i2c_adapter *i2c ;
3452 struct cxd2099_cfg cfg ;
3453 u8 regs[35] ;
3454 u8 lastaddress ;
3455 u8 clk_reg_f ;
3456 u8 clk_reg_b ;
3457 int mode ;
3458 int ready ;
3459 int dr ;
3460 int slot_stat ;
3461 u8 amem[1024] ;
3462 int amem_read ;
3463 int cammode ;
3464 struct mutex lock ;
3465};
3466#line 1 "<compiler builtins>"
3467
3468#line 1
3469long __builtin_expect(long val , long res ) ;
3470#line 100 "include/linux/printk.h"
3471extern int ( printk)(char const *fmt , ...) ;
3472#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3473extern void *__memcpy(void *to , void const *from , size_t len ) ;
3474#line 55
3475extern void *memset(void *s , int c , size_t n ) ;
3476#line 115 "include/linux/mutex.h"
3477extern void __mutex_init(struct mutex *lock , char const *name , struct lock_class_key *key ) ;
3478#line 152
3479void mutex_lock(struct mutex *lock ) ;
3480#line 153
3481int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3482#line 154
3483int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3484#line 168
3485int mutex_trylock(struct mutex *lock ) ;
3486#line 169
3487void mutex_unlock(struct mutex *lock ) ;
3488#line 170
3489int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3490#line 221 "include/linux/slub_def.h"
3491extern void *__kmalloc(size_t size , gfp_t flags ) ;
3492#line 268
3493__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3494 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3495#line 268 "include/linux/slub_def.h"
3496__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3497 gfp_t flags )
3498{ void *tmp___2 ;
3499
3500 {
3501 {
3502#line 283
3503 tmp___2 = __kmalloc(size, flags);
3504 }
3505#line 283
3506 return (tmp___2);
3507}
3508}
3509#line 69 "include/linux/i2c.h"
3510extern int i2c_transfer(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
3511#line 46 "include/linux/delay.h"
3512extern void msleep(unsigned int msecs ) ;
3513#line 39 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/media/cxd2099/cxd2099.h"
3514struct dvb_ca_en50221 *cxd2099_attach(struct cxd2099_cfg *cfg , void *priv , struct i2c_adapter *i2c ) ;
3515#line 63 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
3516static int i2c_write_reg(struct i2c_adapter *adapter , u8 adr , u8 reg , u8 data )
3517{ u8 m[2] ;
3518 struct i2c_msg msg ;
3519 int tmp___7 ;
3520 unsigned long __cil_tmp8 ;
3521 unsigned long __cil_tmp9 ;
3522 unsigned long __cil_tmp10 ;
3523 unsigned long __cil_tmp11 ;
3524 struct i2c_msg *__cil_tmp12 ;
3525 unsigned long __cil_tmp13 ;
3526 unsigned long __cil_tmp14 ;
3527 unsigned long __cil_tmp15 ;
3528 unsigned long __cil_tmp16 ;
3529 unsigned long __cil_tmp17 ;
3530 int __cil_tmp18 ;
3531 int __cil_tmp19 ;
3532
3533 {
3534 {
3535#line 66
3536 __cil_tmp8 = 0 * 1UL;
3537#line 66
3538 __cil_tmp9 = (unsigned long )(m) + __cil_tmp8;
3539#line 66
3540 *((u8 *)__cil_tmp9) = reg;
3541#line 66
3542 __cil_tmp10 = 1 * 1UL;
3543#line 66
3544 __cil_tmp11 = (unsigned long )(m) + __cil_tmp10;
3545#line 66
3546 *((u8 *)__cil_tmp11) = data;
3547#line 67
3548 __cil_tmp12 = & msg;
3549#line 67
3550 *((__u16 *)__cil_tmp12) = (__u16 )adr;
3551#line 67
3552 __cil_tmp13 = (unsigned long )(& msg) + 2;
3553#line 67
3554 *((__u16 *)__cil_tmp13) = (__u16 )0;
3555#line 67
3556 __cil_tmp14 = (unsigned long )(& msg) + 4;
3557#line 67
3558 *((__u16 *)__cil_tmp14) = (__u16 )2;
3559#line 67
3560 __cil_tmp15 = (unsigned long )(& msg) + 8;
3561#line 67
3562 __cil_tmp16 = 0 * 1UL;
3563#line 67
3564 __cil_tmp17 = (unsigned long )(m) + __cil_tmp16;
3565#line 67
3566 *((__u8 **)__cil_tmp15) = (u8 *)__cil_tmp17;
3567#line 69
3568 tmp___7 = i2c_transfer(adapter, & msg, 1);
3569 }
3570#line 69
3571 if (tmp___7 != 1) {
3572 {
3573#line 70
3574 __cil_tmp18 = (int )reg;
3575#line 70
3576 __cil_tmp19 = (int )adr;
3577#line 70
3578 printk("<3>Failed to write to I2C register %02x@%02x!\n", __cil_tmp18, __cil_tmp19);
3579 }
3580#line 72
3581 return (-1);
3582 } else {
3583
3584 }
3585#line 74
3586 return (0);
3587}
3588}
3589#line 77 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
3590static int i2c_write(struct i2c_adapter *adapter , u8 adr , u8 *data , u8 len )
3591{ struct i2c_msg msg ;
3592 int tmp___7 ;
3593 struct i2c_msg *__cil_tmp7 ;
3594 unsigned long __cil_tmp8 ;
3595 unsigned long __cil_tmp9 ;
3596 unsigned long __cil_tmp10 ;
3597
3598 {
3599 {
3600#line 80
3601 __cil_tmp7 = & msg;
3602#line 80
3603 *((__u16 *)__cil_tmp7) = (__u16 )adr;
3604#line 80
3605 __cil_tmp8 = (unsigned long )(& msg) + 2;
3606#line 80
3607 *((__u16 *)__cil_tmp8) = (__u16 )0;
3608#line 80
3609 __cil_tmp9 = (unsigned long )(& msg) + 4;
3610#line 80
3611 *((__u16 *)__cil_tmp9) = (__u16 )len;
3612#line 80
3613 __cil_tmp10 = (unsigned long )(& msg) + 8;
3614#line 80
3615 *((__u8 **)__cil_tmp10) = data;
3616#line 82
3617 tmp___7 = i2c_transfer(adapter, & msg, 1);
3618 }
3619#line 82
3620 if (tmp___7 != 1) {
3621 {
3622#line 83
3623 printk("<3>Failed to write to I2C!\n");
3624 }
3625#line 84
3626 return (-1);
3627 } else {
3628
3629 }
3630#line 86
3631 return (0);
3632}
3633}
3634#line 89 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
3635static int i2c_read_reg(struct i2c_adapter *adapter , u8 adr , u8 reg , u8 *val )
3636{ struct i2c_msg msgs[2] ;
3637 int tmp___7 ;
3638 unsigned long __cil_tmp7 ;
3639 unsigned long __cil_tmp8 ;
3640 unsigned long __cil_tmp9 ;
3641 unsigned long __cil_tmp10 ;
3642 unsigned long __cil_tmp11 ;
3643 unsigned long __cil_tmp12 ;
3644 unsigned long __cil_tmp13 ;
3645 unsigned long __cil_tmp14 ;
3646 unsigned long __cil_tmp15 ;
3647 unsigned long __cil_tmp16 ;
3648 unsigned long __cil_tmp17 ;
3649 unsigned long __cil_tmp18 ;
3650 unsigned long __cil_tmp19 ;
3651 unsigned long __cil_tmp20 ;
3652 unsigned long __cil_tmp21 ;
3653 unsigned long __cil_tmp22 ;
3654 unsigned long __cil_tmp23 ;
3655 unsigned long __cil_tmp24 ;
3656 unsigned long __cil_tmp25 ;
3657 unsigned long __cil_tmp26 ;
3658 unsigned long __cil_tmp27 ;
3659 unsigned long __cil_tmp28 ;
3660 unsigned long __cil_tmp29 ;
3661 unsigned long __cil_tmp30 ;
3662 struct i2c_msg *__cil_tmp31 ;
3663
3664 {
3665 {
3666#line 92
3667 __cil_tmp7 = 0 * 16UL;
3668#line 92
3669 __cil_tmp8 = (unsigned long )(msgs) + __cil_tmp7;
3670#line 92
3671 *((__u16 *)__cil_tmp8) = (__u16 )adr;
3672#line 92
3673 __cil_tmp9 = 0 * 16UL;
3674#line 92
3675 __cil_tmp10 = __cil_tmp9 + 2;
3676#line 92
3677 __cil_tmp11 = (unsigned long )(msgs) + __cil_tmp10;
3678#line 92
3679 *((__u16 *)__cil_tmp11) = (__u16 )0;
3680#line 92
3681 __cil_tmp12 = 0 * 16UL;
3682#line 92
3683 __cil_tmp13 = __cil_tmp12 + 4;
3684#line 92
3685 __cil_tmp14 = (unsigned long )(msgs) + __cil_tmp13;
3686#line 92
3687 *((__u16 *)__cil_tmp14) = (__u16 )1;
3688#line 92
3689 __cil_tmp15 = 0 * 16UL;
3690#line 92
3691 __cil_tmp16 = __cil_tmp15 + 8;
3692#line 92
3693 __cil_tmp17 = (unsigned long )(msgs) + __cil_tmp16;
3694#line 92
3695 *((__u8 **)__cil_tmp17) = & reg;
3696#line 92
3697 __cil_tmp18 = 1 * 16UL;
3698#line 92
3699 __cil_tmp19 = (unsigned long )(msgs) + __cil_tmp18;
3700#line 92
3701 *((__u16 *)__cil_tmp19) = (__u16 )adr;
3702#line 92
3703 __cil_tmp20 = 1 * 16UL;
3704#line 92
3705 __cil_tmp21 = __cil_tmp20 + 2;
3706#line 92
3707 __cil_tmp22 = (unsigned long )(msgs) + __cil_tmp21;
3708#line 92
3709 *((__u16 *)__cil_tmp22) = (__u16 )1;
3710#line 92
3711 __cil_tmp23 = 1 * 16UL;
3712#line 92
3713 __cil_tmp24 = __cil_tmp23 + 4;
3714#line 92
3715 __cil_tmp25 = (unsigned long )(msgs) + __cil_tmp24;
3716#line 92
3717 *((__u16 *)__cil_tmp25) = (__u16 )1;
3718#line 92
3719 __cil_tmp26 = 1 * 16UL;
3720#line 92
3721 __cil_tmp27 = __cil_tmp26 + 8;
3722#line 92
3723 __cil_tmp28 = (unsigned long )(msgs) + __cil_tmp27;
3724#line 92
3725 *((__u8 **)__cil_tmp28) = val;
3726#line 97
3727 __cil_tmp29 = 0 * 16UL;
3728#line 97
3729 __cil_tmp30 = (unsigned long )(msgs) + __cil_tmp29;
3730#line 97
3731 __cil_tmp31 = (struct i2c_msg *)__cil_tmp30;
3732#line 97
3733 tmp___7 = i2c_transfer(adapter, __cil_tmp31, 2);
3734 }
3735#line 97
3736 if (tmp___7 != 2) {
3737 {
3738#line 98
3739 printk("<3>error in i2c_read_reg\n");
3740 }
3741#line 99
3742 return (-1);
3743 } else {
3744
3745 }
3746#line 101
3747 return (0);
3748}
3749}
3750#line 104 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
3751static int i2c_read(struct i2c_adapter *adapter , u8 adr , u8 reg , u8 *data , u8 n )
3752{ struct i2c_msg msgs[2] ;
3753 int tmp___7 ;
3754 unsigned long __cil_tmp8 ;
3755 unsigned long __cil_tmp9 ;
3756 unsigned long __cil_tmp10 ;
3757 unsigned long __cil_tmp11 ;
3758 unsigned long __cil_tmp12 ;
3759 unsigned long __cil_tmp13 ;
3760 unsigned long __cil_tmp14 ;
3761 unsigned long __cil_tmp15 ;
3762 unsigned long __cil_tmp16 ;
3763 unsigned long __cil_tmp17 ;
3764 unsigned long __cil_tmp18 ;
3765 unsigned long __cil_tmp19 ;
3766 unsigned long __cil_tmp20 ;
3767 unsigned long __cil_tmp21 ;
3768 unsigned long __cil_tmp22 ;
3769 unsigned long __cil_tmp23 ;
3770 unsigned long __cil_tmp24 ;
3771 unsigned long __cil_tmp25 ;
3772 unsigned long __cil_tmp26 ;
3773 unsigned long __cil_tmp27 ;
3774 unsigned long __cil_tmp28 ;
3775 unsigned long __cil_tmp29 ;
3776 unsigned long __cil_tmp30 ;
3777 unsigned long __cil_tmp31 ;
3778 struct i2c_msg *__cil_tmp32 ;
3779
3780 {
3781 {
3782#line 107
3783 __cil_tmp8 = 0 * 16UL;
3784#line 107
3785 __cil_tmp9 = (unsigned long )(msgs) + __cil_tmp8;
3786#line 107
3787 *((__u16 *)__cil_tmp9) = (__u16 )adr;
3788#line 107
3789 __cil_tmp10 = 0 * 16UL;
3790#line 107
3791 __cil_tmp11 = __cil_tmp10 + 2;
3792#line 107
3793 __cil_tmp12 = (unsigned long )(msgs) + __cil_tmp11;
3794#line 107
3795 *((__u16 *)__cil_tmp12) = (__u16 )0;
3796#line 107
3797 __cil_tmp13 = 0 * 16UL;
3798#line 107
3799 __cil_tmp14 = __cil_tmp13 + 4;
3800#line 107
3801 __cil_tmp15 = (unsigned long )(msgs) + __cil_tmp14;
3802#line 107
3803 *((__u16 *)__cil_tmp15) = (__u16 )1;
3804#line 107
3805 __cil_tmp16 = 0 * 16UL;
3806#line 107
3807 __cil_tmp17 = __cil_tmp16 + 8;
3808#line 107
3809 __cil_tmp18 = (unsigned long )(msgs) + __cil_tmp17;
3810#line 107
3811 *((__u8 **)__cil_tmp18) = & reg;
3812#line 107
3813 __cil_tmp19 = 1 * 16UL;
3814#line 107
3815 __cil_tmp20 = (unsigned long )(msgs) + __cil_tmp19;
3816#line 107
3817 *((__u16 *)__cil_tmp20) = (__u16 )adr;
3818#line 107
3819 __cil_tmp21 = 1 * 16UL;
3820#line 107
3821 __cil_tmp22 = __cil_tmp21 + 2;
3822#line 107
3823 __cil_tmp23 = (unsigned long )(msgs) + __cil_tmp22;
3824#line 107
3825 *((__u16 *)__cil_tmp23) = (__u16 )1;
3826#line 107
3827 __cil_tmp24 = 1 * 16UL;
3828#line 107
3829 __cil_tmp25 = __cil_tmp24 + 4;
3830#line 107
3831 __cil_tmp26 = (unsigned long )(msgs) + __cil_tmp25;
3832#line 107
3833 *((__u16 *)__cil_tmp26) = (__u16 )n;
3834#line 107
3835 __cil_tmp27 = 1 * 16UL;
3836#line 107
3837 __cil_tmp28 = __cil_tmp27 + 8;
3838#line 107
3839 __cil_tmp29 = (unsigned long )(msgs) + __cil_tmp28;
3840#line 107
3841 *((__u8 **)__cil_tmp29) = data;
3842#line 112
3843 __cil_tmp30 = 0 * 16UL;
3844#line 112
3845 __cil_tmp31 = (unsigned long )(msgs) + __cil_tmp30;
3846#line 112
3847 __cil_tmp32 = (struct i2c_msg *)__cil_tmp31;
3848#line 112
3849 tmp___7 = i2c_transfer(adapter, __cil_tmp32, 2);
3850 }
3851#line 112
3852 if (tmp___7 != 2) {
3853 {
3854#line 113
3855 printk("<3>error in i2c_read\n");
3856 }
3857#line 114
3858 return (-1);
3859 } else {
3860
3861 }
3862#line 116
3863 return (0);
3864}
3865}
3866#line 119 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
3867static int read_block(struct cxd *ci , u8 adr , u8 *data , u8 n )
3868{ int status ;
3869 unsigned long __cil_tmp6 ;
3870 unsigned long __cil_tmp7 ;
3871 struct i2c_adapter *__cil_tmp8 ;
3872 unsigned long __cil_tmp9 ;
3873 unsigned long __cil_tmp10 ;
3874 unsigned long __cil_tmp11 ;
3875 u8 __cil_tmp12 ;
3876 u8 __cil_tmp13 ;
3877 unsigned long __cil_tmp14 ;
3878 unsigned long __cil_tmp15 ;
3879 unsigned long __cil_tmp16 ;
3880 unsigned long __cil_tmp17 ;
3881 struct i2c_adapter *__cil_tmp18 ;
3882 unsigned long __cil_tmp19 ;
3883 unsigned long __cil_tmp20 ;
3884 unsigned long __cil_tmp21 ;
3885 u8 __cil_tmp22 ;
3886 u8 __cil_tmp23 ;
3887
3888 {
3889 {
3890#line 123
3891 __cil_tmp6 = (unsigned long )ci;
3892#line 123
3893 __cil_tmp7 = __cil_tmp6 + 88;
3894#line 123
3895 __cil_tmp8 = *((struct i2c_adapter **)__cil_tmp7);
3896#line 123
3897 __cil_tmp9 = 96 + 4;
3898#line 123
3899 __cil_tmp10 = (unsigned long )ci;
3900#line 123
3901 __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
3902#line 123
3903 __cil_tmp12 = *((u8 *)__cil_tmp11);
3904#line 123
3905 __cil_tmp13 = (u8 )0;
3906#line 123
3907 status = i2c_write_reg(__cil_tmp8, __cil_tmp12, __cil_tmp13, adr);
3908 }
3909#line 124
3910 if (! status) {
3911 {
3912#line 125
3913 __cil_tmp14 = (unsigned long )ci;
3914#line 125
3915 __cil_tmp15 = __cil_tmp14 + 139;
3916#line 125
3917 *((u8 *)__cil_tmp15) = adr;
3918#line 126
3919 __cil_tmp16 = (unsigned long )ci;
3920#line 126
3921 __cil_tmp17 = __cil_tmp16 + 88;
3922#line 126
3923 __cil_tmp18 = *((struct i2c_adapter **)__cil_tmp17);
3924#line 126
3925 __cil_tmp19 = 96 + 4;
3926#line 126
3927 __cil_tmp20 = (unsigned long )ci;
3928#line 126
3929 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
3930#line 126
3931 __cil_tmp22 = *((u8 *)__cil_tmp21);
3932#line 126
3933 __cil_tmp23 = (u8 )1;
3934#line 126
3935 status = i2c_read(__cil_tmp18, __cil_tmp22, __cil_tmp23, data, n);
3936 }
3937 } else {
3938
3939 }
3940#line 128
3941 return (status);
3942}
3943}
3944#line 131 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
3945static int read_reg(struct cxd *ci , u8 reg , u8 *val )
3946{ int tmp___7 ;
3947 u8 __cil_tmp5 ;
3948
3949 {
3950 {
3951#line 133
3952 __cil_tmp5 = (u8 )1;
3953#line 133
3954 tmp___7 = read_block(ci, reg, val, __cil_tmp5);
3955 }
3956#line 133
3957 return (tmp___7);
3958}
3959}
3960#line 137 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
3961static int read_pccard(struct cxd *ci , u16 address , u8 *data , u8 n )
3962{ int status ;
3963 u8 addr[3] ;
3964 unsigned long __cil_tmp7 ;
3965 unsigned long __cil_tmp8 ;
3966 unsigned long __cil_tmp9 ;
3967 unsigned long __cil_tmp10 ;
3968 int __cil_tmp11 ;
3969 int __cil_tmp12 ;
3970 unsigned long __cil_tmp13 ;
3971 unsigned long __cil_tmp14 ;
3972 int __cil_tmp15 ;
3973 int __cil_tmp16 ;
3974 unsigned long __cil_tmp17 ;
3975 unsigned long __cil_tmp18 ;
3976 struct i2c_adapter *__cil_tmp19 ;
3977 unsigned long __cil_tmp20 ;
3978 unsigned long __cil_tmp21 ;
3979 unsigned long __cil_tmp22 ;
3980 u8 __cil_tmp23 ;
3981 unsigned long __cil_tmp24 ;
3982 unsigned long __cil_tmp25 ;
3983 u8 *__cil_tmp26 ;
3984 u8 __cil_tmp27 ;
3985 unsigned long __cil_tmp28 ;
3986 unsigned long __cil_tmp29 ;
3987 struct i2c_adapter *__cil_tmp30 ;
3988 unsigned long __cil_tmp31 ;
3989 unsigned long __cil_tmp32 ;
3990 unsigned long __cil_tmp33 ;
3991 u8 __cil_tmp34 ;
3992 u8 __cil_tmp35 ;
3993
3994 {
3995 {
3996#line 140
3997 __cil_tmp7 = 0 * 1UL;
3998#line 140
3999 __cil_tmp8 = (unsigned long )(addr) + __cil_tmp7;
4000#line 140
4001 *((u8 *)__cil_tmp8) = (u8 )2;
4002#line 140
4003 __cil_tmp9 = 1 * 1UL;
4004#line 140
4005 __cil_tmp10 = (unsigned long )(addr) + __cil_tmp9;
4006#line 140
4007 __cil_tmp11 = (int )address;
4008#line 140
4009 __cil_tmp12 = __cil_tmp11 & 255;
4010#line 140
4011 *((u8 *)__cil_tmp10) = (u8 )__cil_tmp12;
4012#line 140
4013 __cil_tmp13 = 2 * 1UL;
4014#line 140
4015 __cil_tmp14 = (unsigned long )(addr) + __cil_tmp13;
4016#line 140
4017 __cil_tmp15 = (int )address;
4018#line 140
4019 __cil_tmp16 = __cil_tmp15 >> 8;
4020#line 140
4021 *((u8 *)__cil_tmp14) = (u8 )__cil_tmp16;
4022#line 142
4023 __cil_tmp17 = (unsigned long )ci;
4024#line 142
4025 __cil_tmp18 = __cil_tmp17 + 88;
4026#line 142
4027 __cil_tmp19 = *((struct i2c_adapter **)__cil_tmp18);
4028#line 142
4029 __cil_tmp20 = 96 + 4;
4030#line 142
4031 __cil_tmp21 = (unsigned long )ci;
4032#line 142
4033 __cil_tmp22 = __cil_tmp21 + __cil_tmp20;
4034#line 142
4035 __cil_tmp23 = *((u8 *)__cil_tmp22);
4036#line 142
4037 __cil_tmp24 = 0 * 1UL;
4038#line 142
4039 __cil_tmp25 = (unsigned long )(addr) + __cil_tmp24;
4040#line 142
4041 __cil_tmp26 = (u8 *)__cil_tmp25;
4042#line 142
4043 __cil_tmp27 = (u8 )3;
4044#line 142
4045 status = i2c_write(__cil_tmp19, __cil_tmp23, __cil_tmp26, __cil_tmp27);
4046 }
4047#line 143
4048 if (! status) {
4049 {
4050#line 144
4051 __cil_tmp28 = (unsigned long )ci;
4052#line 144
4053 __cil_tmp29 = __cil_tmp28 + 88;
4054#line 144
4055 __cil_tmp30 = *((struct i2c_adapter **)__cil_tmp29);
4056#line 144
4057 __cil_tmp31 = 96 + 4;
4058#line 144
4059 __cil_tmp32 = (unsigned long )ci;
4060#line 144
4061 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
4062#line 144
4063 __cil_tmp34 = *((u8 *)__cil_tmp33);
4064#line 144
4065 __cil_tmp35 = (u8 )3;
4066#line 144
4067 status = i2c_read(__cil_tmp30, __cil_tmp34, __cil_tmp35, data, n);
4068 }
4069 } else {
4070
4071 }
4072#line 145
4073 return (status);
4074}
4075}
4076#line 148 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
4077static int write_pccard(struct cxd *ci , u16 address , u8 *data , u8 n )
4078{ int status ;
4079 u8 addr[3] ;
4080 u8 buf[256] ;
4081 size_t __len ;
4082 void *__ret ;
4083 unsigned long __cil_tmp10 ;
4084 unsigned long __cil_tmp11 ;
4085 unsigned long __cil_tmp12 ;
4086 unsigned long __cil_tmp13 ;
4087 int __cil_tmp14 ;
4088 int __cil_tmp15 ;
4089 unsigned long __cil_tmp16 ;
4090 unsigned long __cil_tmp17 ;
4091 int __cil_tmp18 ;
4092 int __cil_tmp19 ;
4093 unsigned long __cil_tmp20 ;
4094 unsigned long __cil_tmp21 ;
4095 struct i2c_adapter *__cil_tmp22 ;
4096 unsigned long __cil_tmp23 ;
4097 unsigned long __cil_tmp24 ;
4098 unsigned long __cil_tmp25 ;
4099 u8 __cil_tmp26 ;
4100 unsigned long __cil_tmp27 ;
4101 unsigned long __cil_tmp28 ;
4102 u8 *__cil_tmp29 ;
4103 u8 __cil_tmp30 ;
4104 unsigned long __cil_tmp31 ;
4105 unsigned long __cil_tmp32 ;
4106 unsigned long __cil_tmp33 ;
4107 unsigned long __cil_tmp34 ;
4108 u8 *__cil_tmp35 ;
4109 u8 *__cil_tmp36 ;
4110 void *__cil_tmp37 ;
4111 void const *__cil_tmp38 ;
4112 unsigned long __cil_tmp39 ;
4113 unsigned long __cil_tmp40 ;
4114 struct i2c_adapter *__cil_tmp41 ;
4115 unsigned long __cil_tmp42 ;
4116 unsigned long __cil_tmp43 ;
4117 unsigned long __cil_tmp44 ;
4118 u8 __cil_tmp45 ;
4119 unsigned long __cil_tmp46 ;
4120 unsigned long __cil_tmp47 ;
4121 u8 *__cil_tmp48 ;
4122 int __cil_tmp49 ;
4123 int __cil_tmp50 ;
4124 u8 __cil_tmp51 ;
4125
4126 {
4127 {
4128#line 151
4129 __cil_tmp10 = 0 * 1UL;
4130#line 151
4131 __cil_tmp11 = (unsigned long )(addr) + __cil_tmp10;
4132#line 151
4133 *((u8 *)__cil_tmp11) = (u8 )2;
4134#line 151
4135 __cil_tmp12 = 1 * 1UL;
4136#line 151
4137 __cil_tmp13 = (unsigned long )(addr) + __cil_tmp12;
4138#line 151
4139 __cil_tmp14 = (int )address;
4140#line 151
4141 __cil_tmp15 = __cil_tmp14 & 255;
4142#line 151
4143 *((u8 *)__cil_tmp13) = (u8 )__cil_tmp15;
4144#line 151
4145 __cil_tmp16 = 2 * 1UL;
4146#line 151
4147 __cil_tmp17 = (unsigned long )(addr) + __cil_tmp16;
4148#line 151
4149 __cil_tmp18 = (int )address;
4150#line 151
4151 __cil_tmp19 = __cil_tmp18 >> 8;
4152#line 151
4153 *((u8 *)__cil_tmp17) = (u8 )__cil_tmp19;
4154#line 153
4155 __cil_tmp20 = (unsigned long )ci;
4156#line 153
4157 __cil_tmp21 = __cil_tmp20 + 88;
4158#line 153
4159 __cil_tmp22 = *((struct i2c_adapter **)__cil_tmp21);
4160#line 153
4161 __cil_tmp23 = 96 + 4;
4162#line 153
4163 __cil_tmp24 = (unsigned long )ci;
4164#line 153
4165 __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
4166#line 153
4167 __cil_tmp26 = *((u8 *)__cil_tmp25);
4168#line 153
4169 __cil_tmp27 = 0 * 1UL;
4170#line 153
4171 __cil_tmp28 = (unsigned long )(addr) + __cil_tmp27;
4172#line 153
4173 __cil_tmp29 = (u8 *)__cil_tmp28;
4174#line 153
4175 __cil_tmp30 = (u8 )3;
4176#line 153
4177 status = i2c_write(__cil_tmp22, __cil_tmp26, __cil_tmp29, __cil_tmp30);
4178 }
4179#line 154
4180 if (! status) {
4181 {
4182#line 155
4183 __cil_tmp31 = 0 * 1UL;
4184#line 155
4185 __cil_tmp32 = (unsigned long )(buf) + __cil_tmp31;
4186#line 155
4187 *((u8 *)__cil_tmp32) = (u8 )3;
4188#line 156
4189 __len = (size_t )n;
4190#line 156
4191 __cil_tmp33 = 0 * 1UL;
4192#line 156
4193 __cil_tmp34 = (unsigned long )(buf) + __cil_tmp33;
4194#line 156
4195 __cil_tmp35 = (u8 *)__cil_tmp34;
4196#line 156
4197 __cil_tmp36 = __cil_tmp35 + 1;
4198#line 156
4199 __cil_tmp37 = (void *)__cil_tmp36;
4200#line 156
4201 __cil_tmp38 = (void const *)data;
4202#line 156
4203 __ret = __builtin_memcpy(__cil_tmp37, __cil_tmp38, __len);
4204#line 157
4205 __cil_tmp39 = (unsigned long )ci;
4206#line 157
4207 __cil_tmp40 = __cil_tmp39 + 88;
4208#line 157
4209 __cil_tmp41 = *((struct i2c_adapter **)__cil_tmp40);
4210#line 157
4211 __cil_tmp42 = 96 + 4;
4212#line 157
4213 __cil_tmp43 = (unsigned long )ci;
4214#line 157
4215 __cil_tmp44 = __cil_tmp43 + __cil_tmp42;
4216#line 157
4217 __cil_tmp45 = *((u8 *)__cil_tmp44);
4218#line 157
4219 __cil_tmp46 = 0 * 1UL;
4220#line 157
4221 __cil_tmp47 = (unsigned long )(buf) + __cil_tmp46;
4222#line 157
4223 __cil_tmp48 = (u8 *)__cil_tmp47;
4224#line 157
4225 __cil_tmp49 = (int )n;
4226#line 157
4227 __cil_tmp50 = __cil_tmp49 + 1;
4228#line 157
4229 __cil_tmp51 = (u8 )__cil_tmp50;
4230#line 157
4231 status = i2c_write(__cil_tmp41, __cil_tmp45, __cil_tmp48, __cil_tmp51);
4232 }
4233 } else {
4234
4235 }
4236#line 159
4237 return (status);
4238}
4239}
4240#line 162 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
4241static int read_io(struct cxd *ci , u16 address , u8 *val )
4242{ int status ;
4243 u8 addr[3] ;
4244 unsigned long __cil_tmp6 ;
4245 unsigned long __cil_tmp7 ;
4246 unsigned long __cil_tmp8 ;
4247 unsigned long __cil_tmp9 ;
4248 int __cil_tmp10 ;
4249 int __cil_tmp11 ;
4250 unsigned long __cil_tmp12 ;
4251 unsigned long __cil_tmp13 ;
4252 int __cil_tmp14 ;
4253 int __cil_tmp15 ;
4254 unsigned long __cil_tmp16 ;
4255 unsigned long __cil_tmp17 ;
4256 struct i2c_adapter *__cil_tmp18 ;
4257 unsigned long __cil_tmp19 ;
4258 unsigned long __cil_tmp20 ;
4259 unsigned long __cil_tmp21 ;
4260 u8 __cil_tmp22 ;
4261 unsigned long __cil_tmp23 ;
4262 unsigned long __cil_tmp24 ;
4263 u8 *__cil_tmp25 ;
4264 u8 __cil_tmp26 ;
4265 unsigned long __cil_tmp27 ;
4266 unsigned long __cil_tmp28 ;
4267 struct i2c_adapter *__cil_tmp29 ;
4268 unsigned long __cil_tmp30 ;
4269 unsigned long __cil_tmp31 ;
4270 unsigned long __cil_tmp32 ;
4271 u8 __cil_tmp33 ;
4272 u8 __cil_tmp34 ;
4273 u8 __cil_tmp35 ;
4274
4275 {
4276 {
4277#line 165
4278 __cil_tmp6 = 0 * 1UL;
4279#line 165
4280 __cil_tmp7 = (unsigned long )(addr) + __cil_tmp6;
4281#line 165
4282 *((u8 *)__cil_tmp7) = (u8 )2;
4283#line 165
4284 __cil_tmp8 = 1 * 1UL;
4285#line 165
4286 __cil_tmp9 = (unsigned long )(addr) + __cil_tmp8;
4287#line 165
4288 __cil_tmp10 = (int )address;
4289#line 165
4290 __cil_tmp11 = __cil_tmp10 & 255;
4291#line 165
4292 *((u8 *)__cil_tmp9) = (u8 )__cil_tmp11;
4293#line 165
4294 __cil_tmp12 = 2 * 1UL;
4295#line 165
4296 __cil_tmp13 = (unsigned long )(addr) + __cil_tmp12;
4297#line 165
4298 __cil_tmp14 = (int )address;
4299#line 165
4300 __cil_tmp15 = __cil_tmp14 >> 8;
4301#line 165
4302 *((u8 *)__cil_tmp13) = (u8 )__cil_tmp15;
4303#line 167
4304 __cil_tmp16 = (unsigned long )ci;
4305#line 167
4306 __cil_tmp17 = __cil_tmp16 + 88;
4307#line 167
4308 __cil_tmp18 = *((struct i2c_adapter **)__cil_tmp17);
4309#line 167
4310 __cil_tmp19 = 96 + 4;
4311#line 167
4312 __cil_tmp20 = (unsigned long )ci;
4313#line 167
4314 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
4315#line 167
4316 __cil_tmp22 = *((u8 *)__cil_tmp21);
4317#line 167
4318 __cil_tmp23 = 0 * 1UL;
4319#line 167
4320 __cil_tmp24 = (unsigned long )(addr) + __cil_tmp23;
4321#line 167
4322 __cil_tmp25 = (u8 *)__cil_tmp24;
4323#line 167
4324 __cil_tmp26 = (u8 )3;
4325#line 167
4326 status = i2c_write(__cil_tmp18, __cil_tmp22, __cil_tmp25, __cil_tmp26);
4327 }
4328#line 168
4329 if (! status) {
4330 {
4331#line 169
4332 __cil_tmp27 = (unsigned long )ci;
4333#line 169
4334 __cil_tmp28 = __cil_tmp27 + 88;
4335#line 169
4336 __cil_tmp29 = *((struct i2c_adapter **)__cil_tmp28);
4337#line 169
4338 __cil_tmp30 = 96 + 4;
4339#line 169
4340 __cil_tmp31 = (unsigned long )ci;
4341#line 169
4342 __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
4343#line 169
4344 __cil_tmp33 = *((u8 *)__cil_tmp32);
4345#line 169
4346 __cil_tmp34 = (u8 )3;
4347#line 169
4348 __cil_tmp35 = (u8 )1;
4349#line 169
4350 status = i2c_read(__cil_tmp29, __cil_tmp33, __cil_tmp34, val, __cil_tmp35);
4351 }
4352 } else {
4353
4354 }
4355#line 170
4356 return (status);
4357}
4358}
4359#line 173 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
4360static int write_io(struct cxd *ci , u16 address , u8 val )
4361{ int status ;
4362 u8 addr[3] ;
4363 u8 buf[2] ;
4364 unsigned long __cil_tmp7 ;
4365 unsigned long __cil_tmp8 ;
4366 unsigned long __cil_tmp9 ;
4367 unsigned long __cil_tmp10 ;
4368 int __cil_tmp11 ;
4369 int __cil_tmp12 ;
4370 unsigned long __cil_tmp13 ;
4371 unsigned long __cil_tmp14 ;
4372 int __cil_tmp15 ;
4373 int __cil_tmp16 ;
4374 unsigned long __cil_tmp17 ;
4375 unsigned long __cil_tmp18 ;
4376 unsigned long __cil_tmp19 ;
4377 unsigned long __cil_tmp20 ;
4378 unsigned long __cil_tmp21 ;
4379 unsigned long __cil_tmp22 ;
4380 struct i2c_adapter *__cil_tmp23 ;
4381 unsigned long __cil_tmp24 ;
4382 unsigned long __cil_tmp25 ;
4383 unsigned long __cil_tmp26 ;
4384 u8 __cil_tmp27 ;
4385 unsigned long __cil_tmp28 ;
4386 unsigned long __cil_tmp29 ;
4387 u8 *__cil_tmp30 ;
4388 u8 __cil_tmp31 ;
4389 unsigned long __cil_tmp32 ;
4390 unsigned long __cil_tmp33 ;
4391 struct i2c_adapter *__cil_tmp34 ;
4392 unsigned long __cil_tmp35 ;
4393 unsigned long __cil_tmp36 ;
4394 unsigned long __cil_tmp37 ;
4395 u8 __cil_tmp38 ;
4396 unsigned long __cil_tmp39 ;
4397 unsigned long __cil_tmp40 ;
4398 u8 *__cil_tmp41 ;
4399 u8 __cil_tmp42 ;
4400
4401 {
4402 {
4403#line 176
4404 __cil_tmp7 = 0 * 1UL;
4405#line 176
4406 __cil_tmp8 = (unsigned long )(addr) + __cil_tmp7;
4407#line 176
4408 *((u8 *)__cil_tmp8) = (u8 )2;
4409#line 176
4410 __cil_tmp9 = 1 * 1UL;
4411#line 176
4412 __cil_tmp10 = (unsigned long )(addr) + __cil_tmp9;
4413#line 176
4414 __cil_tmp11 = (int )address;
4415#line 176
4416 __cil_tmp12 = __cil_tmp11 & 255;
4417#line 176
4418 *((u8 *)__cil_tmp10) = (u8 )__cil_tmp12;
4419#line 176
4420 __cil_tmp13 = 2 * 1UL;
4421#line 176
4422 __cil_tmp14 = (unsigned long )(addr) + __cil_tmp13;
4423#line 176
4424 __cil_tmp15 = (int )address;
4425#line 176
4426 __cil_tmp16 = __cil_tmp15 >> 8;
4427#line 176
4428 *((u8 *)__cil_tmp14) = (u8 )__cil_tmp16;
4429#line 177
4430 __cil_tmp17 = 0 * 1UL;
4431#line 177
4432 __cil_tmp18 = (unsigned long )(buf) + __cil_tmp17;
4433#line 177
4434 *((u8 *)__cil_tmp18) = (u8 )3;
4435#line 177
4436 __cil_tmp19 = 1 * 1UL;
4437#line 177
4438 __cil_tmp20 = (unsigned long )(buf) + __cil_tmp19;
4439#line 177
4440 *((u8 *)__cil_tmp20) = val;
4441#line 179
4442 __cil_tmp21 = (unsigned long )ci;
4443#line 179
4444 __cil_tmp22 = __cil_tmp21 + 88;
4445#line 179
4446 __cil_tmp23 = *((struct i2c_adapter **)__cil_tmp22);
4447#line 179
4448 __cil_tmp24 = 96 + 4;
4449#line 179
4450 __cil_tmp25 = (unsigned long )ci;
4451#line 179
4452 __cil_tmp26 = __cil_tmp25 + __cil_tmp24;
4453#line 179
4454 __cil_tmp27 = *((u8 *)__cil_tmp26);
4455#line 179
4456 __cil_tmp28 = 0 * 1UL;
4457#line 179
4458 __cil_tmp29 = (unsigned long )(addr) + __cil_tmp28;
4459#line 179
4460 __cil_tmp30 = (u8 *)__cil_tmp29;
4461#line 179
4462 __cil_tmp31 = (u8 )3;
4463#line 179
4464 status = i2c_write(__cil_tmp23, __cil_tmp27, __cil_tmp30, __cil_tmp31);
4465 }
4466#line 180
4467 if (! status) {
4468 {
4469#line 181
4470 __cil_tmp32 = (unsigned long )ci;
4471#line 181
4472 __cil_tmp33 = __cil_tmp32 + 88;
4473#line 181
4474 __cil_tmp34 = *((struct i2c_adapter **)__cil_tmp33);
4475#line 181
4476 __cil_tmp35 = 96 + 4;
4477#line 181
4478 __cil_tmp36 = (unsigned long )ci;
4479#line 181
4480 __cil_tmp37 = __cil_tmp36 + __cil_tmp35;
4481#line 181
4482 __cil_tmp38 = *((u8 *)__cil_tmp37);
4483#line 181
4484 __cil_tmp39 = 0 * 1UL;
4485#line 181
4486 __cil_tmp40 = (unsigned long )(buf) + __cil_tmp39;
4487#line 181
4488 __cil_tmp41 = (u8 *)__cil_tmp40;
4489#line 181
4490 __cil_tmp42 = (u8 )2;
4491#line 181
4492 status = i2c_write(__cil_tmp34, __cil_tmp38, __cil_tmp41, __cil_tmp42);
4493 }
4494 } else {
4495
4496 }
4497#line 182
4498 return (status);
4499}
4500}
4501#line 212 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
4502static int write_regm(struct cxd *ci , u8 reg , u8 val , u8 mask )
4503{ int status ;
4504 unsigned long __cil_tmp6 ;
4505 unsigned long __cil_tmp7 ;
4506 struct i2c_adapter *__cil_tmp8 ;
4507 unsigned long __cil_tmp9 ;
4508 unsigned long __cil_tmp10 ;
4509 unsigned long __cil_tmp11 ;
4510 u8 __cil_tmp12 ;
4511 u8 __cil_tmp13 ;
4512 int __cil_tmp14 ;
4513 int __cil_tmp15 ;
4514 int __cil_tmp16 ;
4515 unsigned long __cil_tmp17 ;
4516 unsigned long __cil_tmp18 ;
4517 struct i2c_adapter *__cil_tmp19 ;
4518 unsigned long __cil_tmp20 ;
4519 unsigned long __cil_tmp21 ;
4520 unsigned long __cil_tmp22 ;
4521 u8 __cil_tmp23 ;
4522 u8 __cil_tmp24 ;
4523 unsigned long __cil_tmp25 ;
4524 unsigned long __cil_tmp26 ;
4525 unsigned long __cil_tmp27 ;
4526 unsigned long __cil_tmp28 ;
4527 u8 *__cil_tmp29 ;
4528 unsigned long __cil_tmp30 ;
4529 unsigned long __cil_tmp31 ;
4530 unsigned long __cil_tmp32 ;
4531 unsigned long __cil_tmp33 ;
4532 int __cil_tmp34 ;
4533 int __cil_tmp35 ;
4534 int __cil_tmp36 ;
4535 unsigned long __cil_tmp37 ;
4536 unsigned long __cil_tmp38 ;
4537 unsigned long __cil_tmp39 ;
4538 unsigned long __cil_tmp40 ;
4539 u8 __cil_tmp41 ;
4540 int __cil_tmp42 ;
4541 int __cil_tmp43 ;
4542 int __cil_tmp44 ;
4543 unsigned long __cil_tmp45 ;
4544 unsigned long __cil_tmp46 ;
4545 unsigned long __cil_tmp47 ;
4546 unsigned long __cil_tmp48 ;
4547 struct i2c_adapter *__cil_tmp49 ;
4548 unsigned long __cil_tmp50 ;
4549 unsigned long __cil_tmp51 ;
4550 unsigned long __cil_tmp52 ;
4551 u8 __cil_tmp53 ;
4552 u8 __cil_tmp54 ;
4553 unsigned long __cil_tmp55 ;
4554 unsigned long __cil_tmp56 ;
4555 unsigned long __cil_tmp57 ;
4556 unsigned long __cil_tmp58 ;
4557 u8 __cil_tmp59 ;
4558 int __cil_tmp60 ;
4559 unsigned long __cil_tmp61 ;
4560 unsigned long __cil_tmp62 ;
4561 unsigned long __cil_tmp63 ;
4562 unsigned long __cil_tmp64 ;
4563 unsigned long __cil_tmp65 ;
4564 unsigned long __cil_tmp66 ;
4565 unsigned long __cil_tmp67 ;
4566 unsigned long __cil_tmp68 ;
4567 u8 __cil_tmp69 ;
4568 int __cil_tmp70 ;
4569 int __cil_tmp71 ;
4570
4571 {
4572 {
4573#line 216
4574 __cil_tmp6 = (unsigned long )ci;
4575#line 216
4576 __cil_tmp7 = __cil_tmp6 + 88;
4577#line 216
4578 __cil_tmp8 = *((struct i2c_adapter **)__cil_tmp7);
4579#line 216
4580 __cil_tmp9 = 96 + 4;
4581#line 216
4582 __cil_tmp10 = (unsigned long )ci;
4583#line 216
4584 __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
4585#line 216
4586 __cil_tmp12 = *((u8 *)__cil_tmp11);
4587#line 216
4588 __cil_tmp13 = (u8 )0;
4589#line 216
4590 status = i2c_write_reg(__cil_tmp8, __cil_tmp12, __cil_tmp13, reg);
4591 }
4592#line 217
4593 if (! status) {
4594 {
4595#line 217
4596 __cil_tmp14 = (int )reg;
4597#line 217
4598 if (__cil_tmp14 >= 6) {
4599 {
4600#line 217
4601 __cil_tmp15 = (int )reg;
4602#line 217
4603 if (__cil_tmp15 <= 8) {
4604 {
4605#line 217
4606 __cil_tmp16 = (int )mask;
4607#line 217
4608 if (__cil_tmp16 != 255) {
4609 {
4610#line 218
4611 __cil_tmp17 = (unsigned long )ci;
4612#line 218
4613 __cil_tmp18 = __cil_tmp17 + 88;
4614#line 218
4615 __cil_tmp19 = *((struct i2c_adapter **)__cil_tmp18);
4616#line 218
4617 __cil_tmp20 = 96 + 4;
4618#line 218
4619 __cil_tmp21 = (unsigned long )ci;
4620#line 218
4621 __cil_tmp22 = __cil_tmp21 + __cil_tmp20;
4622#line 218
4623 __cil_tmp23 = *((u8 *)__cil_tmp22);
4624#line 218
4625 __cil_tmp24 = (u8 )1;
4626#line 218
4627 __cil_tmp25 = reg * 1UL;
4628#line 218
4629 __cil_tmp26 = 104 + __cil_tmp25;
4630#line 218
4631 __cil_tmp27 = (unsigned long )ci;
4632#line 218
4633 __cil_tmp28 = __cil_tmp27 + __cil_tmp26;
4634#line 218
4635 __cil_tmp29 = (u8 *)__cil_tmp28;
4636#line 218
4637 status = i2c_read_reg(__cil_tmp19, __cil_tmp23, __cil_tmp24, __cil_tmp29);
4638 }
4639 } else {
4640
4641 }
4642 }
4643 } else {
4644
4645 }
4646 }
4647 } else {
4648
4649 }
4650 }
4651 } else {
4652
4653 }
4654#line 219
4655 __cil_tmp30 = reg * 1UL;
4656#line 219
4657 __cil_tmp31 = 104 + __cil_tmp30;
4658#line 219
4659 __cil_tmp32 = (unsigned long )ci;
4660#line 219
4661 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
4662#line 219
4663 __cil_tmp34 = (int )val;
4664#line 219
4665 __cil_tmp35 = (int )mask;
4666#line 219
4667 __cil_tmp36 = ~ __cil_tmp35;
4668#line 219
4669 __cil_tmp37 = reg * 1UL;
4670#line 219
4671 __cil_tmp38 = 104 + __cil_tmp37;
4672#line 219
4673 __cil_tmp39 = (unsigned long )ci;
4674#line 219
4675 __cil_tmp40 = __cil_tmp39 + __cil_tmp38;
4676#line 219
4677 __cil_tmp41 = *((u8 *)__cil_tmp40);
4678#line 219
4679 __cil_tmp42 = (int )__cil_tmp41;
4680#line 219
4681 __cil_tmp43 = __cil_tmp42 & __cil_tmp36;
4682#line 219
4683 __cil_tmp44 = __cil_tmp43 | __cil_tmp34;
4684#line 219
4685 *((u8 *)__cil_tmp33) = (u8 )__cil_tmp44;
4686#line 220
4687 if (! status) {
4688 {
4689#line 221
4690 __cil_tmp45 = (unsigned long )ci;
4691#line 221
4692 __cil_tmp46 = __cil_tmp45 + 139;
4693#line 221
4694 *((u8 *)__cil_tmp46) = reg;
4695#line 222
4696 __cil_tmp47 = (unsigned long )ci;
4697#line 222
4698 __cil_tmp48 = __cil_tmp47 + 88;
4699#line 222
4700 __cil_tmp49 = *((struct i2c_adapter **)__cil_tmp48);
4701#line 222
4702 __cil_tmp50 = 96 + 4;
4703#line 222
4704 __cil_tmp51 = (unsigned long )ci;
4705#line 222
4706 __cil_tmp52 = __cil_tmp51 + __cil_tmp50;
4707#line 222
4708 __cil_tmp53 = *((u8 *)__cil_tmp52);
4709#line 222
4710 __cil_tmp54 = (u8 )1;
4711#line 222
4712 __cil_tmp55 = reg * 1UL;
4713#line 222
4714 __cil_tmp56 = 104 + __cil_tmp55;
4715#line 222
4716 __cil_tmp57 = (unsigned long )ci;
4717#line 222
4718 __cil_tmp58 = __cil_tmp57 + __cil_tmp56;
4719#line 222
4720 __cil_tmp59 = *((u8 *)__cil_tmp58);
4721#line 222
4722 status = i2c_write_reg(__cil_tmp49, __cil_tmp53, __cil_tmp54, __cil_tmp59);
4723 }
4724 } else {
4725
4726 }
4727 {
4728#line 224
4729 __cil_tmp60 = (int )reg;
4730#line 224
4731 if (__cil_tmp60 == 32) {
4732#line 225
4733 __cil_tmp61 = reg * 1UL;
4734#line 225
4735 __cil_tmp62 = 104 + __cil_tmp61;
4736#line 225
4737 __cil_tmp63 = (unsigned long )ci;
4738#line 225
4739 __cil_tmp64 = __cil_tmp63 + __cil_tmp62;
4740#line 225
4741 __cil_tmp65 = reg * 1UL;
4742#line 225
4743 __cil_tmp66 = 104 + __cil_tmp65;
4744#line 225
4745 __cil_tmp67 = (unsigned long )ci;
4746#line 225
4747 __cil_tmp68 = __cil_tmp67 + __cil_tmp66;
4748#line 225
4749 __cil_tmp69 = *((u8 *)__cil_tmp68);
4750#line 225
4751 __cil_tmp70 = (int )__cil_tmp69;
4752#line 225
4753 __cil_tmp71 = __cil_tmp70 & 127;
4754#line 225
4755 *((u8 *)__cil_tmp64) = (u8 )__cil_tmp71;
4756 } else {
4757
4758 }
4759 }
4760#line 226
4761 return (status);
4762}
4763}
4764#line 229 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
4765static int write_reg(struct cxd *ci , u8 reg , u8 val )
4766{ int tmp___7 ;
4767 u8 __cil_tmp5 ;
4768
4769 {
4770 {
4771#line 231
4772 __cil_tmp5 = (u8 )255;
4773#line 231
4774 tmp___7 = write_regm(ci, reg, val, __cil_tmp5);
4775 }
4776#line 231
4777 return (tmp___7);
4778}
4779}
4780#line 250 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
4781static void set_mode(struct cxd *ci , int mode )
4782{ unsigned long __cil_tmp3 ;
4783 unsigned long __cil_tmp4 ;
4784 int __cil_tmp5 ;
4785 u8 __cil_tmp6 ;
4786 u8 __cil_tmp7 ;
4787 u8 __cil_tmp8 ;
4788 u8 __cil_tmp9 ;
4789 u8 __cil_tmp10 ;
4790 u8 __cil_tmp11 ;
4791 unsigned long __cil_tmp12 ;
4792 unsigned long __cil_tmp13 ;
4793
4794 {
4795 {
4796#line 252
4797 __cil_tmp3 = (unsigned long )ci;
4798#line 252
4799 __cil_tmp4 = __cil_tmp3 + 144;
4800#line 252
4801 __cil_tmp5 = *((int *)__cil_tmp4);
4802#line 252
4803 if (mode == __cil_tmp5) {
4804#line 253
4805 return;
4806 } else {
4807
4808 }
4809 }
4810#line 256
4811 if (mode == 0) {
4812#line 256
4813 goto case_0;
4814 } else
4815#line 259
4816 if (mode == 1) {
4817#line 259
4818 goto case_1;
4819 } else {
4820 {
4821#line 262
4822 goto switch_default;
4823#line 255
4824 if (0) {
4825 case_0:
4826 {
4827#line 257
4828 __cil_tmp6 = (u8 )6;
4829#line 257
4830 __cil_tmp7 = (u8 )0;
4831#line 257
4832 __cil_tmp8 = (u8 )7;
4833#line 257
4834 write_regm(ci, __cil_tmp6, __cil_tmp7, __cil_tmp8);
4835 }
4836#line 258
4837 goto switch_break;
4838 case_1:
4839 {
4840#line 260
4841 __cil_tmp9 = (u8 )6;
4842#line 260
4843 __cil_tmp10 = (u8 )2;
4844#line 260
4845 __cil_tmp11 = (u8 )7;
4846#line 260
4847 write_regm(ci, __cil_tmp9, __cil_tmp10, __cil_tmp11);
4848 }
4849#line 261
4850 goto switch_break;
4851 switch_default:
4852#line 263
4853 goto switch_break;
4854 } else {
4855 switch_break: ;
4856 }
4857 }
4858 }
4859#line 265
4860 __cil_tmp12 = (unsigned long )ci;
4861#line 265
4862 __cil_tmp13 = __cil_tmp12 + 144;
4863#line 265
4864 *((int *)__cil_tmp13) = mode;
4865#line 266
4866 return;
4867}
4868}
4869#line 268 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
4870static void cam_mode(struct cxd *ci , int mode )
4871{ unsigned long __cil_tmp3 ;
4872 unsigned long __cil_tmp4 ;
4873 int __cil_tmp5 ;
4874 u8 __cil_tmp6 ;
4875 u8 __cil_tmp7 ;
4876 u8 __cil_tmp8 ;
4877 unsigned long __cil_tmp9 ;
4878 unsigned long __cil_tmp10 ;
4879
4880 {
4881 {
4882#line 270
4883 __cil_tmp3 = (unsigned long )ci;
4884#line 270
4885 __cil_tmp4 = __cil_tmp3 + 1188;
4886#line 270
4887 __cil_tmp5 = *((int *)__cil_tmp4);
4888#line 270
4889 if (mode == __cil_tmp5) {
4890#line 271
4891 return;
4892 } else {
4893
4894 }
4895 }
4896#line 274
4897 if (mode == 0) {
4898#line 274
4899 goto case_0;
4900 } else
4901#line 277
4902 if (mode == 1) {
4903#line 277
4904 goto case_1;
4905 } else {
4906 {
4907#line 289
4908 goto switch_default;
4909#line 273
4910 if (0) {
4911 case_0:
4912 {
4913#line 275
4914 __cil_tmp6 = (u8 )32;
4915#line 275
4916 __cil_tmp7 = (u8 )128;
4917#line 275
4918 __cil_tmp8 = (u8 )128;
4919#line 275
4920 write_regm(ci, __cil_tmp6, __cil_tmp7, __cil_tmp8);
4921 }
4922#line 276
4923 goto switch_break;
4924 case_1:
4925#line 288
4926 goto switch_break;
4927 switch_default:
4928#line 290
4929 goto switch_break;
4930 } else {
4931 switch_break: ;
4932 }
4933 }
4934 }
4935#line 292
4936 __cil_tmp9 = (unsigned long )ci;
4937#line 292
4938 __cil_tmp10 = __cil_tmp9 + 1188;
4939#line 292
4940 *((int *)__cil_tmp10) = mode;
4941#line 293
4942 return;
4943}
4944}
4945#line 297 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
4946static int init(struct cxd *ci )
4947{ int status ;
4948 unsigned long __cil_tmp3 ;
4949 unsigned long __cil_tmp4 ;
4950 struct mutex *__cil_tmp5 ;
4951 unsigned long __cil_tmp6 ;
4952 unsigned long __cil_tmp7 ;
4953 u8 __cil_tmp8 ;
4954 u8 __cil_tmp9 ;
4955 u8 __cil_tmp10 ;
4956 u8 __cil_tmp11 ;
4957 u8 __cil_tmp12 ;
4958 u8 __cil_tmp13 ;
4959 u8 __cil_tmp14 ;
4960 u8 __cil_tmp15 ;
4961 u8 __cil_tmp16 ;
4962 u8 __cil_tmp17 ;
4963 u8 __cil_tmp18 ;
4964 u8 __cil_tmp19 ;
4965 u8 __cil_tmp20 ;
4966 u8 __cil_tmp21 ;
4967 u8 __cil_tmp22 ;
4968 u8 __cil_tmp23 ;
4969 u8 __cil_tmp24 ;
4970 u8 __cil_tmp25 ;
4971 u8 __cil_tmp26 ;
4972 u8 __cil_tmp27 ;
4973 u8 __cil_tmp28 ;
4974 u8 __cil_tmp29 ;
4975 u8 __cil_tmp30 ;
4976 u8 __cil_tmp31 ;
4977 u8 __cil_tmp32 ;
4978 u8 __cil_tmp33 ;
4979 u8 __cil_tmp34 ;
4980 u8 __cil_tmp35 ;
4981 unsigned long __cil_tmp36 ;
4982 unsigned long __cil_tmp37 ;
4983 u8 __cil_tmp38 ;
4984 u8 __cil_tmp39 ;
4985 u8 __cil_tmp40 ;
4986 u8 __cil_tmp41 ;
4987 u8 __cil_tmp42 ;
4988 unsigned long __cil_tmp43 ;
4989 unsigned long __cil_tmp44 ;
4990 u8 __cil_tmp45 ;
4991 unsigned long __cil_tmp46 ;
4992 unsigned long __cil_tmp47 ;
4993 unsigned long __cil_tmp48 ;
4994 unsigned long __cil_tmp49 ;
4995 unsigned long __cil_tmp50 ;
4996 u8 __cil_tmp51 ;
4997 u8 __cil_tmp52 ;
4998 u8 __cil_tmp53 ;
4999 u8 __cil_tmp54 ;
5000 u8 __cil_tmp55 ;
5001 u8 __cil_tmp56 ;
5002 u8 __cil_tmp57 ;
5003 u8 __cil_tmp58 ;
5004 u8 __cil_tmp59 ;
5005 u8 __cil_tmp60 ;
5006 unsigned long __cil_tmp61 ;
5007 unsigned long __cil_tmp62 ;
5008 unsigned long __cil_tmp63 ;
5009 u8 __cil_tmp64 ;
5010 u8 __cil_tmp65 ;
5011 u8 __cil_tmp66 ;
5012 u8 __cil_tmp67 ;
5013 u8 __cil_tmp68 ;
5014 u8 __cil_tmp69 ;
5015 u8 __cil_tmp70 ;
5016 u8 __cil_tmp71 ;
5017 u8 __cil_tmp72 ;
5018 u8 __cil_tmp73 ;
5019 u8 __cil_tmp74 ;
5020 u8 __cil_tmp75 ;
5021 u8 __cil_tmp76 ;
5022 u8 __cil_tmp77 ;
5023 u8 __cil_tmp78 ;
5024 u8 __cil_tmp79 ;
5025 u8 __cil_tmp80 ;
5026 u8 __cil_tmp81 ;
5027 u8 __cil_tmp82 ;
5028 u8 __cil_tmp83 ;
5029 u8 __cil_tmp84 ;
5030 u8 __cil_tmp85 ;
5031 u8 __cil_tmp86 ;
5032 unsigned long __cil_tmp87 ;
5033 unsigned long __cil_tmp88 ;
5034 unsigned long __cil_tmp89 ;
5035 unsigned long __cil_tmp90 ;
5036 struct mutex *__cil_tmp91 ;
5037
5038 {
5039 {
5040#line 301
5041 __cil_tmp3 = (unsigned long )ci;
5042#line 301
5043 __cil_tmp4 = __cil_tmp3 + 1192;
5044#line 301
5045 __cil_tmp5 = (struct mutex *)__cil_tmp4;
5046#line 301
5047 mutex_lock(__cil_tmp5);
5048#line 302
5049 __cil_tmp6 = (unsigned long )ci;
5050#line 302
5051 __cil_tmp7 = __cil_tmp6 + 144;
5052#line 302
5053 *((int *)__cil_tmp7) = -1;
5054 }
5055 {
5056#line 303
5057 while (1) {
5058 while_continue: ;
5059 {
5060#line 304
5061 __cil_tmp8 = (u8 )0;
5062#line 304
5063 __cil_tmp9 = (u8 )0;
5064#line 304
5065 status = write_reg(ci, __cil_tmp8, __cil_tmp9);
5066 }
5067#line 305
5068 if (status < 0) {
5069#line 306
5070 goto while_break;
5071 } else {
5072
5073 }
5074 {
5075#line 307
5076 __cil_tmp10 = (u8 )1;
5077#line 307
5078 __cil_tmp11 = (u8 )0;
5079#line 307
5080 status = write_reg(ci, __cil_tmp10, __cil_tmp11);
5081 }
5082#line 308
5083 if (status < 0) {
5084#line 309
5085 goto while_break;
5086 } else {
5087
5088 }
5089 {
5090#line 310
5091 __cil_tmp12 = (u8 )2;
5092#line 310
5093 __cil_tmp13 = (u8 )16;
5094#line 310
5095 status = write_reg(ci, __cil_tmp12, __cil_tmp13);
5096 }
5097#line 311
5098 if (status < 0) {
5099#line 312
5100 goto while_break;
5101 } else {
5102
5103 }
5104 {
5105#line 313
5106 __cil_tmp14 = (u8 )3;
5107#line 313
5108 __cil_tmp15 = (u8 )0;
5109#line 313
5110 status = write_reg(ci, __cil_tmp14, __cil_tmp15);
5111 }
5112#line 314
5113 if (status < 0) {
5114#line 315
5115 goto while_break;
5116 } else {
5117
5118 }
5119 {
5120#line 316
5121 __cil_tmp16 = (u8 )5;
5122#line 316
5123 __cil_tmp17 = (u8 )255;
5124#line 316
5125 status = write_reg(ci, __cil_tmp16, __cil_tmp17);
5126 }
5127#line 317
5128 if (status < 0) {
5129#line 318
5130 goto while_break;
5131 } else {
5132
5133 }
5134 {
5135#line 319
5136 __cil_tmp18 = (u8 )6;
5137#line 319
5138 __cil_tmp19 = (u8 )31;
5139#line 319
5140 status = write_reg(ci, __cil_tmp18, __cil_tmp19);
5141 }
5142#line 320
5143 if (status < 0) {
5144#line 321
5145 goto while_break;
5146 } else {
5147
5148 }
5149 {
5150#line 322
5151 __cil_tmp20 = (u8 )7;
5152#line 322
5153 __cil_tmp21 = (u8 )31;
5154#line 322
5155 status = write_reg(ci, __cil_tmp20, __cil_tmp21);
5156 }
5157#line 323
5158 if (status < 0) {
5159#line 324
5160 goto while_break;
5161 } else {
5162
5163 }
5164 {
5165#line 325
5166 __cil_tmp22 = (u8 )8;
5167#line 325
5168 __cil_tmp23 = (u8 )40;
5169#line 325
5170 status = write_reg(ci, __cil_tmp22, __cil_tmp23);
5171 }
5172#line 326
5173 if (status < 0) {
5174#line 327
5175 goto while_break;
5176 } else {
5177
5178 }
5179 {
5180#line 328
5181 __cil_tmp24 = (u8 )20;
5182#line 328
5183 __cil_tmp25 = (u8 )32;
5184#line 328
5185 status = write_reg(ci, __cil_tmp24, __cil_tmp25);
5186 }
5187#line 329
5188 if (status < 0) {
5189#line 330
5190 goto while_break;
5191 } else {
5192
5193 }
5194 {
5195#line 337
5196 __cil_tmp26 = (u8 )10;
5197#line 337
5198 __cil_tmp27 = (u8 )167;
5199#line 337
5200 status = write_reg(ci, __cil_tmp26, __cil_tmp27);
5201 }
5202#line 338
5203 if (status < 0) {
5204#line 339
5205 goto while_break;
5206 } else {
5207
5208 }
5209 {
5210#line 341
5211 __cil_tmp28 = (u8 )11;
5212#line 341
5213 __cil_tmp29 = (u8 )51;
5214#line 341
5215 status = write_reg(ci, __cil_tmp28, __cil_tmp29);
5216 }
5217#line 342
5218 if (status < 0) {
5219#line 343
5220 goto while_break;
5221 } else {
5222
5223 }
5224 {
5225#line 344
5226 __cil_tmp30 = (u8 )12;
5227#line 344
5228 __cil_tmp31 = (u8 )51;
5229#line 344
5230 status = write_reg(ci, __cil_tmp30, __cil_tmp31);
5231 }
5232#line 345
5233 if (status < 0) {
5234#line 346
5235 goto while_break;
5236 } else {
5237
5238 }
5239 {
5240#line 348
5241 __cil_tmp32 = (u8 )20;
5242#line 348
5243 __cil_tmp33 = (u8 )0;
5244#line 348
5245 __cil_tmp34 = (u8 )15;
5246#line 348
5247 status = write_regm(ci, __cil_tmp32, __cil_tmp33, __cil_tmp34);
5248 }
5249#line 349
5250 if (status < 0) {
5251#line 350
5252 goto while_break;
5253 } else {
5254
5255 }
5256 {
5257#line 351
5258 __cil_tmp35 = (u8 )21;
5259#line 351
5260 __cil_tmp36 = (unsigned long )ci;
5261#line 351
5262 __cil_tmp37 = __cil_tmp36 + 141;
5263#line 351
5264 __cil_tmp38 = *((u8 *)__cil_tmp37);
5265#line 351
5266 status = write_reg(ci, __cil_tmp35, __cil_tmp38);
5267 }
5268#line 352
5269 if (status < 0) {
5270#line 353
5271 goto while_break;
5272 } else {
5273
5274 }
5275 {
5276#line 354
5277 __cil_tmp39 = (u8 )22;
5278#line 354
5279 __cil_tmp40 = (u8 )0;
5280#line 354
5281 __cil_tmp41 = (u8 )15;
5282#line 354
5283 status = write_regm(ci, __cil_tmp39, __cil_tmp40, __cil_tmp41);
5284 }
5285#line 355
5286 if (status < 0) {
5287#line 356
5288 goto while_break;
5289 } else {
5290
5291 }
5292 {
5293#line 357
5294 __cil_tmp42 = (u8 )23;
5295#line 357
5296 __cil_tmp43 = (unsigned long )ci;
5297#line 357
5298 __cil_tmp44 = __cil_tmp43 + 140;
5299#line 357
5300 __cil_tmp45 = *((u8 *)__cil_tmp44);
5301#line 357
5302 status = write_reg(ci, __cil_tmp42, __cil_tmp45);
5303 }
5304#line 358
5305 if (status < 0) {
5306#line 359
5307 goto while_break;
5308 } else {
5309
5310 }
5311 {
5312#line 361
5313 __cil_tmp46 = (unsigned long )ci;
5314#line 361
5315 __cil_tmp47 = __cil_tmp46 + 96;
5316#line 361
5317 if (((struct cxd2099_cfg *)__cil_tmp47)->clock_mode) {
5318 {
5319#line 362
5320 __cil_tmp48 = 96 + 5;
5321#line 362
5322 __cil_tmp49 = (unsigned long )ci;
5323#line 362
5324 __cil_tmp50 = __cil_tmp49 + __cil_tmp48;
5325#line 362
5326 if (*((u8 *)__cil_tmp50)) {
5327 {
5328#line 363
5329 __cil_tmp51 = (u8 )9;
5330#line 363
5331 __cil_tmp52 = (u8 )111;
5332#line 363
5333 status = write_reg(ci, __cil_tmp51, __cil_tmp52);
5334 }
5335#line 364
5336 if (status < 0) {
5337#line 365
5338 goto while_break;
5339 } else {
5340
5341 }
5342 } else {
5343 {
5344#line 367
5345 __cil_tmp53 = (u8 )9;
5346#line 367
5347 __cil_tmp54 = (u8 )109;
5348#line 367
5349 status = write_reg(ci, __cil_tmp53, __cil_tmp54);
5350 }
5351#line 368
5352 if (status < 0) {
5353#line 369
5354 goto while_break;
5355 } else {
5356
5357 }
5358 }
5359 }
5360 {
5361#line 371
5362 __cil_tmp55 = (u8 )32;
5363#line 371
5364 __cil_tmp56 = (u8 )104;
5365#line 371
5366 status = write_reg(ci, __cil_tmp55, __cil_tmp56);
5367 }
5368#line 372
5369 if (status < 0) {
5370#line 373
5371 goto while_break;
5372 } else {
5373
5374 }
5375 {
5376#line 374
5377 __cil_tmp57 = (u8 )33;
5378#line 374
5379 __cil_tmp58 = (u8 )0;
5380#line 374
5381 status = write_reg(ci, __cil_tmp57, __cil_tmp58);
5382 }
5383#line 375
5384 if (status < 0) {
5385#line 376
5386 goto while_break;
5387 } else {
5388
5389 }
5390 {
5391#line 377
5392 __cil_tmp59 = (u8 )34;
5393#line 377
5394 __cil_tmp60 = (u8 )2;
5395#line 377
5396 status = write_reg(ci, __cil_tmp59, __cil_tmp60);
5397 }
5398#line 378
5399 if (status < 0) {
5400#line 379
5401 goto while_break;
5402 } else {
5403
5404 }
5405 } else {
5406 {
5407#line 381
5408 __cil_tmp61 = 96 + 5;
5409#line 381
5410 __cil_tmp62 = (unsigned long )ci;
5411#line 381
5412 __cil_tmp63 = __cil_tmp62 + __cil_tmp61;
5413#line 381
5414 if (*((u8 *)__cil_tmp63)) {
5415 {
5416#line 382
5417 __cil_tmp64 = (u8 )9;
5418#line 382
5419 __cil_tmp65 = (u8 )79;
5420#line 382
5421 status = write_reg(ci, __cil_tmp64, __cil_tmp65);
5422 }
5423#line 383
5424 if (status < 0) {
5425#line 384
5426 goto while_break;
5427 } else {
5428
5429 }
5430 } else {
5431 {
5432#line 386
5433 __cil_tmp66 = (u8 )9;
5434#line 386
5435 __cil_tmp67 = (u8 )77;
5436#line 386
5437 status = write_reg(ci, __cil_tmp66, __cil_tmp67);
5438 }
5439#line 387
5440 if (status < 0) {
5441#line 388
5442 goto while_break;
5443 } else {
5444
5445 }
5446 }
5447 }
5448 {
5449#line 391
5450 __cil_tmp68 = (u8 )32;
5451#line 391
5452 __cil_tmp69 = (u8 )40;
5453#line 391
5454 status = write_reg(ci, __cil_tmp68, __cil_tmp69);
5455 }
5456#line 392
5457 if (status < 0) {
5458#line 393
5459 goto while_break;
5460 } else {
5461
5462 }
5463 {
5464#line 394
5465 __cil_tmp70 = (u8 )33;
5466#line 394
5467 __cil_tmp71 = (u8 )0;
5468#line 394
5469 status = write_reg(ci, __cil_tmp70, __cil_tmp71);
5470 }
5471#line 395
5472 if (status < 0) {
5473#line 396
5474 goto while_break;
5475 } else {
5476
5477 }
5478 {
5479#line 397
5480 __cil_tmp72 = (u8 )34;
5481#line 397
5482 __cil_tmp73 = (u8 )7;
5483#line 397
5484 status = write_reg(ci, __cil_tmp72, __cil_tmp73);
5485 }
5486#line 398
5487 if (status < 0) {
5488#line 399
5489 goto while_break;
5490 } else {
5491
5492 }
5493 }
5494 }
5495 {
5496#line 402
5497 __cil_tmp74 = (u8 )32;
5498#line 402
5499 __cil_tmp75 = (u8 )128;
5500#line 402
5501 __cil_tmp76 = (u8 )128;
5502#line 402
5503 status = write_regm(ci, __cil_tmp74, __cil_tmp75, __cil_tmp76);
5504 }
5505#line 403
5506 if (status < 0) {
5507#line 404
5508 goto while_break;
5509 } else {
5510
5511 }
5512 {
5513#line 405
5514 __cil_tmp77 = (u8 )3;
5515#line 405
5516 __cil_tmp78 = (u8 )2;
5517#line 405
5518 __cil_tmp79 = (u8 )2;
5519#line 405
5520 status = write_regm(ci, __cil_tmp77, __cil_tmp78, __cil_tmp79);
5521 }
5522#line 406
5523 if (status < 0) {
5524#line 407
5525 goto while_break;
5526 } else {
5527
5528 }
5529 {
5530#line 408
5531 __cil_tmp80 = (u8 )1;
5532#line 408
5533 __cil_tmp81 = (u8 )4;
5534#line 408
5535 status = write_reg(ci, __cil_tmp80, __cil_tmp81);
5536 }
5537#line 409
5538 if (status < 0) {
5539#line 410
5540 goto while_break;
5541 } else {
5542
5543 }
5544 {
5545#line 411
5546 __cil_tmp82 = (u8 )0;
5547#line 411
5548 __cil_tmp83 = (u8 )49;
5549#line 411
5550 status = write_reg(ci, __cil_tmp82, __cil_tmp83);
5551 }
5552#line 412
5553 if (status < 0) {
5554#line 413
5555 goto while_break;
5556 } else {
5557
5558 }
5559 {
5560#line 416
5561 __cil_tmp84 = (u8 )9;
5562#line 416
5563 __cil_tmp85 = (u8 )8;
5564#line 416
5565 __cil_tmp86 = (u8 )8;
5566#line 416
5567 status = write_regm(ci, __cil_tmp84, __cil_tmp85, __cil_tmp86);
5568 }
5569#line 417
5570 if (status < 0) {
5571#line 418
5572 goto while_break;
5573 } else {
5574
5575 }
5576 {
5577#line 419
5578 __cil_tmp87 = (unsigned long )ci;
5579#line 419
5580 __cil_tmp88 = __cil_tmp87 + 1188;
5581#line 419
5582 *((int *)__cil_tmp88) = -1;
5583#line 420
5584 cam_mode(ci, 0);
5585 }
5586#line 303
5587 goto while_break;
5588 }
5589 while_break: ;
5590 }
5591 {
5592#line 422
5593 __cil_tmp89 = (unsigned long )ci;
5594#line 422
5595 __cil_tmp90 = __cil_tmp89 + 1192;
5596#line 422
5597 __cil_tmp91 = (struct mutex *)__cil_tmp90;
5598#line 422
5599 mutex_unlock(__cil_tmp91);
5600 }
5601#line 424
5602 return (0);
5603}
5604}
5605#line 427 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
5606static int read_attribute_mem(struct dvb_ca_en50221 *ca , int slot , int address )
5607{ struct cxd *ci ;
5608 u8 val ;
5609 unsigned long __cil_tmp6 ;
5610 unsigned long __cil_tmp7 ;
5611 void *__cil_tmp8 ;
5612 unsigned long __cil_tmp9 ;
5613 unsigned long __cil_tmp10 ;
5614 struct mutex *__cil_tmp11 ;
5615 u16 __cil_tmp12 ;
5616 u8 __cil_tmp13 ;
5617 unsigned long __cil_tmp14 ;
5618 unsigned long __cil_tmp15 ;
5619 struct mutex *__cil_tmp16 ;
5620 u8 *__cil_tmp17 ;
5621 u8 __cil_tmp18 ;
5622
5623 {
5624 {
5625#line 430
5626 __cil_tmp6 = (unsigned long )ca;
5627#line 430
5628 __cil_tmp7 = __cil_tmp6 + 72;
5629#line 430
5630 __cil_tmp8 = *((void **)__cil_tmp7);
5631#line 430
5632 ci = (struct cxd *)__cil_tmp8;
5633#line 449
5634 __cil_tmp9 = (unsigned long )ci;
5635#line 449
5636 __cil_tmp10 = __cil_tmp9 + 1192;
5637#line 449
5638 __cil_tmp11 = (struct mutex *)__cil_tmp10;
5639#line 449
5640 mutex_lock(__cil_tmp11);
5641#line 450
5642 set_mode(ci, 1);
5643#line 451
5644 __cil_tmp12 = (u16 )address;
5645#line 451
5646 __cil_tmp13 = (u8 )1;
5647#line 451
5648 read_pccard(ci, __cil_tmp12, & val, __cil_tmp13);
5649#line 452
5650 __cil_tmp14 = (unsigned long )ci;
5651#line 452
5652 __cil_tmp15 = __cil_tmp14 + 1192;
5653#line 452
5654 __cil_tmp16 = (struct mutex *)__cil_tmp15;
5655#line 452
5656 mutex_unlock(__cil_tmp16);
5657 }
5658 {
5659#line 454
5660 __cil_tmp17 = & val;
5661#line 454
5662 __cil_tmp18 = *__cil_tmp17;
5663#line 454
5664 return ((int )__cil_tmp18);
5665 }
5666}
5667}
5668#line 458 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
5669static int write_attribute_mem(struct dvb_ca_en50221 *ca , int slot , int address ,
5670 u8 value )
5671{ struct cxd *ci ;
5672 unsigned long __cil_tmp6 ;
5673 unsigned long __cil_tmp7 ;
5674 void *__cil_tmp8 ;
5675 unsigned long __cil_tmp9 ;
5676 unsigned long __cil_tmp10 ;
5677 struct mutex *__cil_tmp11 ;
5678 u16 __cil_tmp12 ;
5679 u8 __cil_tmp13 ;
5680 unsigned long __cil_tmp14 ;
5681 unsigned long __cil_tmp15 ;
5682 struct mutex *__cil_tmp16 ;
5683
5684 {
5685 {
5686#line 461
5687 __cil_tmp6 = (unsigned long )ca;
5688#line 461
5689 __cil_tmp7 = __cil_tmp6 + 72;
5690#line 461
5691 __cil_tmp8 = *((void **)__cil_tmp7);
5692#line 461
5693 ci = (struct cxd *)__cil_tmp8;
5694#line 463
5695 __cil_tmp9 = (unsigned long )ci;
5696#line 463
5697 __cil_tmp10 = __cil_tmp9 + 1192;
5698#line 463
5699 __cil_tmp11 = (struct mutex *)__cil_tmp10;
5700#line 463
5701 mutex_lock(__cil_tmp11);
5702#line 464
5703 set_mode(ci, 1);
5704#line 465
5705 __cil_tmp12 = (u16 )address;
5706#line 465
5707 __cil_tmp13 = (u8 )1;
5708#line 465
5709 write_pccard(ci, __cil_tmp12, & value, __cil_tmp13);
5710#line 466
5711 __cil_tmp14 = (unsigned long )ci;
5712#line 466
5713 __cil_tmp15 = __cil_tmp14 + 1192;
5714#line 466
5715 __cil_tmp16 = (struct mutex *)__cil_tmp15;
5716#line 466
5717 mutex_unlock(__cil_tmp16);
5718 }
5719#line 467
5720 return (0);
5721}
5722}
5723#line 470 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
5724static int read_cam_control(struct dvb_ca_en50221 *ca , int slot , u8 address )
5725{ struct cxd *ci ;
5726 u8 val ;
5727 unsigned long __cil_tmp6 ;
5728 unsigned long __cil_tmp7 ;
5729 void *__cil_tmp8 ;
5730 unsigned long __cil_tmp9 ;
5731 unsigned long __cil_tmp10 ;
5732 struct mutex *__cil_tmp11 ;
5733 u16 __cil_tmp12 ;
5734 unsigned long __cil_tmp13 ;
5735 unsigned long __cil_tmp14 ;
5736 struct mutex *__cil_tmp15 ;
5737 u8 *__cil_tmp16 ;
5738 u8 __cil_tmp17 ;
5739
5740 {
5741 {
5742#line 473
5743 __cil_tmp6 = (unsigned long )ca;
5744#line 473
5745 __cil_tmp7 = __cil_tmp6 + 72;
5746#line 473
5747 __cil_tmp8 = *((void **)__cil_tmp7);
5748#line 473
5749 ci = (struct cxd *)__cil_tmp8;
5750#line 476
5751 __cil_tmp9 = (unsigned long )ci;
5752#line 476
5753 __cil_tmp10 = __cil_tmp9 + 1192;
5754#line 476
5755 __cil_tmp11 = (struct mutex *)__cil_tmp10;
5756#line 476
5757 mutex_lock(__cil_tmp11);
5758#line 477
5759 set_mode(ci, 0);
5760#line 478
5761 __cil_tmp12 = (u16 )address;
5762#line 478
5763 read_io(ci, __cil_tmp12, & val);
5764#line 479
5765 __cil_tmp13 = (unsigned long )ci;
5766#line 479
5767 __cil_tmp14 = __cil_tmp13 + 1192;
5768#line 479
5769 __cil_tmp15 = (struct mutex *)__cil_tmp14;
5770#line 479
5771 mutex_unlock(__cil_tmp15);
5772 }
5773 {
5774#line 480
5775 __cil_tmp16 = & val;
5776#line 480
5777 __cil_tmp17 = *__cil_tmp16;
5778#line 480
5779 return ((int )__cil_tmp17);
5780 }
5781}
5782}
5783#line 483 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
5784static int write_cam_control(struct dvb_ca_en50221 *ca , int slot , u8 address , u8 value )
5785{ struct cxd *ci ;
5786 unsigned long __cil_tmp6 ;
5787 unsigned long __cil_tmp7 ;
5788 void *__cil_tmp8 ;
5789 unsigned long __cil_tmp9 ;
5790 unsigned long __cil_tmp10 ;
5791 struct mutex *__cil_tmp11 ;
5792 u16 __cil_tmp12 ;
5793 unsigned long __cil_tmp13 ;
5794 unsigned long __cil_tmp14 ;
5795 struct mutex *__cil_tmp15 ;
5796
5797 {
5798 {
5799#line 486
5800 __cil_tmp6 = (unsigned long )ca;
5801#line 486
5802 __cil_tmp7 = __cil_tmp6 + 72;
5803#line 486
5804 __cil_tmp8 = *((void **)__cil_tmp7);
5805#line 486
5806 ci = (struct cxd *)__cil_tmp8;
5807#line 488
5808 __cil_tmp9 = (unsigned long )ci;
5809#line 488
5810 __cil_tmp10 = __cil_tmp9 + 1192;
5811#line 488
5812 __cil_tmp11 = (struct mutex *)__cil_tmp10;
5813#line 488
5814 mutex_lock(__cil_tmp11);
5815#line 489
5816 set_mode(ci, 0);
5817#line 490
5818 __cil_tmp12 = (u16 )address;
5819#line 490
5820 write_io(ci, __cil_tmp12, value);
5821#line 491
5822 __cil_tmp13 = (unsigned long )ci;
5823#line 491
5824 __cil_tmp14 = __cil_tmp13 + 1192;
5825#line 491
5826 __cil_tmp15 = (struct mutex *)__cil_tmp14;
5827#line 491
5828 mutex_unlock(__cil_tmp15);
5829 }
5830#line 492
5831 return (0);
5832}
5833}
5834#line 495 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
5835static int slot_reset(struct dvb_ca_en50221 *ca , int slot )
5836{ struct cxd *ci ;
5837 int i ;
5838 unsigned long __cil_tmp5 ;
5839 unsigned long __cil_tmp6 ;
5840 void *__cil_tmp7 ;
5841 unsigned long __cil_tmp8 ;
5842 unsigned long __cil_tmp9 ;
5843 struct mutex *__cil_tmp10 ;
5844 u8 __cil_tmp11 ;
5845 u8 __cil_tmp12 ;
5846 u8 __cil_tmp13 ;
5847 u8 __cil_tmp14 ;
5848 u8 __cil_tmp15 ;
5849 u8 __cil_tmp16 ;
5850 u8 __cil_tmp17 ;
5851 u8 __cil_tmp18 ;
5852 u8 __cil_tmp19 ;
5853 u8 __cil_tmp20 ;
5854 u8 __cil_tmp21 ;
5855 unsigned long __cil_tmp22 ;
5856 unsigned long __cil_tmp23 ;
5857 unsigned long __cil_tmp24 ;
5858 unsigned long __cil_tmp25 ;
5859 unsigned long __cil_tmp26 ;
5860 unsigned long __cil_tmp27 ;
5861 unsigned long __cil_tmp28 ;
5862 unsigned long __cil_tmp29 ;
5863 struct mutex *__cil_tmp30 ;
5864
5865 {
5866 {
5867#line 497
5868 __cil_tmp5 = (unsigned long )ca;
5869#line 497
5870 __cil_tmp6 = __cil_tmp5 + 72;
5871#line 497
5872 __cil_tmp7 = *((void **)__cil_tmp6);
5873#line 497
5874 ci = (struct cxd *)__cil_tmp7;
5875#line 499
5876 __cil_tmp8 = (unsigned long )ci;
5877#line 499
5878 __cil_tmp9 = __cil_tmp8 + 1192;
5879#line 499
5880 __cil_tmp10 = (struct mutex *)__cil_tmp9;
5881#line 499
5882 mutex_lock(__cil_tmp10);
5883#line 509
5884 cam_mode(ci, 0);
5885#line 510
5886 __cil_tmp11 = (u8 )0;
5887#line 510
5888 __cil_tmp12 = (u8 )33;
5889#line 510
5890 write_reg(ci, __cil_tmp11, __cil_tmp12);
5891#line 511
5892 __cil_tmp13 = (u8 )6;
5893#line 511
5894 __cil_tmp14 = (u8 )31;
5895#line 511
5896 write_reg(ci, __cil_tmp13, __cil_tmp14);
5897#line 512
5898 __cil_tmp15 = (u8 )0;
5899#line 512
5900 __cil_tmp16 = (u8 )49;
5901#line 512
5902 write_reg(ci, __cil_tmp15, __cil_tmp16);
5903#line 513
5904 __cil_tmp17 = (u8 )32;
5905#line 513
5906 __cil_tmp18 = (u8 )128;
5907#line 513
5908 __cil_tmp19 = (u8 )128;
5909#line 513
5910 write_regm(ci, __cil_tmp17, __cil_tmp18, __cil_tmp19);
5911#line 514
5912 __cil_tmp20 = (u8 )3;
5913#line 514
5914 __cil_tmp21 = (u8 )2;
5915#line 514
5916 write_reg(ci, __cil_tmp20, __cil_tmp21);
5917#line 515
5918 __cil_tmp22 = (unsigned long )ci;
5919#line 515
5920 __cil_tmp23 = __cil_tmp22 + 148;
5921#line 515
5922 *((int *)__cil_tmp23) = 0;
5923#line 518
5924 __cil_tmp24 = (unsigned long )ci;
5925#line 518
5926 __cil_tmp25 = __cil_tmp24 + 144;
5927#line 518
5928 *((int *)__cil_tmp25) = -1;
5929#line 524
5930 i = 0;
5931 }
5932 {
5933#line 524
5934 while (1) {
5935 while_continue: ;
5936#line 524
5937 if (i < 100) {
5938
5939 } else {
5940#line 524
5941 goto while_break;
5942 }
5943 {
5944#line 525
5945 msleep(10U);
5946 }
5947 {
5948#line 532
5949 __cil_tmp26 = (unsigned long )ci;
5950#line 532
5951 __cil_tmp27 = __cil_tmp26 + 148;
5952#line 532
5953 if (*((int *)__cil_tmp27)) {
5954#line 533
5955 goto while_break;
5956 } else {
5957
5958 }
5959 }
5960#line 524
5961 i = i + 1;
5962 }
5963 while_break: ;
5964 }
5965 {
5966#line 537
5967 __cil_tmp28 = (unsigned long )ci;
5968#line 537
5969 __cil_tmp29 = __cil_tmp28 + 1192;
5970#line 537
5971 __cil_tmp30 = (struct mutex *)__cil_tmp29;
5972#line 537
5973 mutex_unlock(__cil_tmp30);
5974 }
5975#line 539
5976 return (0);
5977}
5978}
5979#line 542 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
5980static int slot_shutdown(struct dvb_ca_en50221 *ca , int slot )
5981{ struct cxd *ci ;
5982 unsigned long __cil_tmp4 ;
5983 unsigned long __cil_tmp5 ;
5984 void *__cil_tmp6 ;
5985 unsigned long __cil_tmp7 ;
5986 unsigned long __cil_tmp8 ;
5987 struct mutex *__cil_tmp9 ;
5988 u8 __cil_tmp10 ;
5989 u8 __cil_tmp11 ;
5990 u8 __cil_tmp12 ;
5991 u8 __cil_tmp13 ;
5992 u8 __cil_tmp14 ;
5993 u8 __cil_tmp15 ;
5994 u8 __cil_tmp16 ;
5995 u8 __cil_tmp17 ;
5996 u8 __cil_tmp18 ;
5997 unsigned long __cil_tmp19 ;
5998 unsigned long __cil_tmp20 ;
5999 unsigned long __cil_tmp21 ;
6000 unsigned long __cil_tmp22 ;
6001 struct mutex *__cil_tmp23 ;
6002
6003 {
6004 {
6005#line 544
6006 __cil_tmp4 = (unsigned long )ca;
6007#line 544
6008 __cil_tmp5 = __cil_tmp4 + 72;
6009#line 544
6010 __cil_tmp6 = *((void **)__cil_tmp5);
6011#line 544
6012 ci = (struct cxd *)__cil_tmp6;
6013#line 546
6014 printk("<6>slot_shutdown\n");
6015#line 547
6016 __cil_tmp7 = (unsigned long )ci;
6017#line 547
6018 __cil_tmp8 = __cil_tmp7 + 1192;
6019#line 547
6020 __cil_tmp9 = (struct mutex *)__cil_tmp8;
6021#line 547
6022 mutex_lock(__cil_tmp9);
6023#line 548
6024 __cil_tmp10 = (u8 )9;
6025#line 548
6026 __cil_tmp11 = (u8 )8;
6027#line 548
6028 __cil_tmp12 = (u8 )8;
6029#line 548
6030 write_regm(ci, __cil_tmp10, __cil_tmp11, __cil_tmp12);
6031#line 549
6032 __cil_tmp13 = (u8 )32;
6033#line 549
6034 __cil_tmp14 = (u8 )128;
6035#line 549
6036 __cil_tmp15 = (u8 )128;
6037#line 549
6038 write_regm(ci, __cil_tmp13, __cil_tmp14, __cil_tmp15);
6039#line 550
6040 __cil_tmp16 = (u8 )6;
6041#line 550
6042 __cil_tmp17 = (u8 )7;
6043#line 550
6044 __cil_tmp18 = (u8 )7;
6045#line 550
6046 write_regm(ci, __cil_tmp16, __cil_tmp17, __cil_tmp18);
6047#line 551
6048 __cil_tmp19 = (unsigned long )ci;
6049#line 551
6050 __cil_tmp20 = __cil_tmp19 + 144;
6051#line 551
6052 *((int *)__cil_tmp20) = -1;
6053#line 552
6054 __cil_tmp21 = (unsigned long )ci;
6055#line 552
6056 __cil_tmp22 = __cil_tmp21 + 1192;
6057#line 552
6058 __cil_tmp23 = (struct mutex *)__cil_tmp22;
6059#line 552
6060 mutex_unlock(__cil_tmp23);
6061 }
6062#line 553
6063 return (0);
6064}
6065}
6066#line 556 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6067static int slot_ts_enable(struct dvb_ca_en50221 *ca , int slot )
6068{ struct cxd *ci ;
6069 unsigned long __cil_tmp4 ;
6070 unsigned long __cil_tmp5 ;
6071 void *__cil_tmp6 ;
6072 unsigned long __cil_tmp7 ;
6073 unsigned long __cil_tmp8 ;
6074 struct mutex *__cil_tmp9 ;
6075 u8 __cil_tmp10 ;
6076 u8 __cil_tmp11 ;
6077 u8 __cil_tmp12 ;
6078 unsigned long __cil_tmp13 ;
6079 unsigned long __cil_tmp14 ;
6080 struct mutex *__cil_tmp15 ;
6081
6082 {
6083 {
6084#line 558
6085 __cil_tmp4 = (unsigned long )ca;
6086#line 558
6087 __cil_tmp5 = __cil_tmp4 + 72;
6088#line 558
6089 __cil_tmp6 = *((void **)__cil_tmp5);
6090#line 558
6091 ci = (struct cxd *)__cil_tmp6;
6092#line 560
6093 __cil_tmp7 = (unsigned long )ci;
6094#line 560
6095 __cil_tmp8 = __cil_tmp7 + 1192;
6096#line 560
6097 __cil_tmp9 = (struct mutex *)__cil_tmp8;
6098#line 560
6099 mutex_lock(__cil_tmp9);
6100#line 561
6101 __cil_tmp10 = (u8 )9;
6102#line 561
6103 __cil_tmp11 = (u8 )0;
6104#line 561
6105 __cil_tmp12 = (u8 )8;
6106#line 561
6107 write_regm(ci, __cil_tmp10, __cil_tmp11, __cil_tmp12);
6108#line 562
6109 set_mode(ci, 0);
6110#line 566
6111 __cil_tmp13 = (unsigned long )ci;
6112#line 566
6113 __cil_tmp14 = __cil_tmp13 + 1192;
6114#line 566
6115 __cil_tmp15 = (struct mutex *)__cil_tmp14;
6116#line 566
6117 mutex_unlock(__cil_tmp15);
6118 }
6119#line 567
6120 return (0);
6121}
6122}
6123#line 571 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6124static int campoll(struct cxd *ci )
6125{ u8 istat ;
6126 u8 slotstat ;
6127 u8 __cil_tmp4 ;
6128 u8 *__cil_tmp5 ;
6129 u8 __cil_tmp6 ;
6130 u8 __cil_tmp7 ;
6131 u8 *__cil_tmp8 ;
6132 u8 __cil_tmp9 ;
6133 u8 *__cil_tmp10 ;
6134 u8 __cil_tmp11 ;
6135 int __cil_tmp12 ;
6136 unsigned long __cil_tmp13 ;
6137 unsigned long __cil_tmp14 ;
6138 u8 *__cil_tmp15 ;
6139 u8 __cil_tmp16 ;
6140 int __cil_tmp17 ;
6141 u8 *__cil_tmp18 ;
6142 u8 __cil_tmp19 ;
6143 int __cil_tmp20 ;
6144 u8 __cil_tmp21 ;
6145 u8 *__cil_tmp22 ;
6146 u8 __cil_tmp23 ;
6147 int __cil_tmp24 ;
6148 int __cil_tmp25 ;
6149 unsigned long __cil_tmp26 ;
6150 unsigned long __cil_tmp27 ;
6151 int __cil_tmp28 ;
6152 unsigned long __cil_tmp29 ;
6153 unsigned long __cil_tmp30 ;
6154 unsigned long __cil_tmp31 ;
6155 unsigned long __cil_tmp32 ;
6156 int __cil_tmp33 ;
6157 u8 __cil_tmp34 ;
6158 u8 __cil_tmp35 ;
6159 u8 __cil_tmp36 ;
6160 unsigned long __cil_tmp37 ;
6161 unsigned long __cil_tmp38 ;
6162 unsigned long __cil_tmp39 ;
6163 unsigned long __cil_tmp40 ;
6164 u8 __cil_tmp41 ;
6165 u8 __cil_tmp42 ;
6166 u8 __cil_tmp43 ;
6167 unsigned long __cil_tmp44 ;
6168 unsigned long __cil_tmp45 ;
6169 u8 *__cil_tmp46 ;
6170 u8 __cil_tmp47 ;
6171 int __cil_tmp48 ;
6172 unsigned long __cil_tmp49 ;
6173 unsigned long __cil_tmp50 ;
6174 int __cil_tmp51 ;
6175 unsigned long __cil_tmp52 ;
6176 unsigned long __cil_tmp53 ;
6177 unsigned long __cil_tmp54 ;
6178 unsigned long __cil_tmp55 ;
6179 unsigned long __cil_tmp56 ;
6180 unsigned long __cil_tmp57 ;
6181 int __cil_tmp58 ;
6182
6183 {
6184 {
6185#line 575
6186 __cil_tmp4 = (u8 )4;
6187#line 575
6188 read_reg(ci, __cil_tmp4, & istat);
6189 }
6190 {
6191#line 576
6192 __cil_tmp5 = & istat;
6193#line 576
6194 __cil_tmp6 = *__cil_tmp5;
6195#line 576
6196 if (! __cil_tmp6) {
6197#line 577
6198 return (0);
6199 } else {
6200
6201 }
6202 }
6203 {
6204#line 578
6205 __cil_tmp7 = (u8 )5;
6206#line 578
6207 __cil_tmp8 = & istat;
6208#line 578
6209 __cil_tmp9 = *__cil_tmp8;
6210#line 578
6211 write_reg(ci, __cil_tmp7, __cil_tmp9);
6212 }
6213 {
6214#line 580
6215 __cil_tmp10 = & istat;
6216#line 580
6217 __cil_tmp11 = *__cil_tmp10;
6218#line 580
6219 __cil_tmp12 = (int )__cil_tmp11;
6220#line 580
6221 if (__cil_tmp12 & 64) {
6222 {
6223#line 581
6224 __cil_tmp13 = (unsigned long )ci;
6225#line 581
6226 __cil_tmp14 = __cil_tmp13 + 152;
6227#line 581
6228 *((int *)__cil_tmp14) = 1;
6229#line 582
6230 printk("<6>DR\n");
6231 }
6232 } else {
6233
6234 }
6235 }
6236 {
6237#line 584
6238 __cil_tmp15 = & istat;
6239#line 584
6240 __cil_tmp16 = *__cil_tmp15;
6241#line 584
6242 __cil_tmp17 = (int )__cil_tmp16;
6243#line 584
6244 if (__cil_tmp17 & 32) {
6245 {
6246#line 585
6247 printk("<6>WC\n");
6248 }
6249 } else {
6250
6251 }
6252 }
6253 {
6254#line 587
6255 __cil_tmp18 = & istat;
6256#line 587
6257 __cil_tmp19 = *__cil_tmp18;
6258#line 587
6259 __cil_tmp20 = (int )__cil_tmp19;
6260#line 587
6261 if (__cil_tmp20 & 2) {
6262 {
6263#line 590
6264 __cil_tmp21 = (u8 )1;
6265#line 590
6266 read_reg(ci, __cil_tmp21, & slotstat);
6267 }
6268 {
6269#line 591
6270 __cil_tmp22 = & slotstat;
6271#line 591
6272 __cil_tmp23 = *__cil_tmp22;
6273#line 591
6274 __cil_tmp24 = (int )__cil_tmp23;
6275#line 591
6276 __cil_tmp25 = 2 & __cil_tmp24;
6277#line 591
6278 if (! __cil_tmp25) {
6279 {
6280#line 592
6281 __cil_tmp26 = (unsigned long )ci;
6282#line 592
6283 __cil_tmp27 = __cil_tmp26 + 156;
6284#line 592
6285 __cil_tmp28 = *((int *)__cil_tmp27);
6286#line 592
6287 if (! __cil_tmp28) {
6288 {
6289#line 593
6290 __cil_tmp29 = (unsigned long )ci;
6291#line 593
6292 __cil_tmp30 = __cil_tmp29 + 156;
6293#line 593
6294 __cil_tmp31 = (unsigned long )ci;
6295#line 593
6296 __cil_tmp32 = __cil_tmp31 + 156;
6297#line 593
6298 __cil_tmp33 = *((int *)__cil_tmp32);
6299#line 593
6300 *((int *)__cil_tmp30) = __cil_tmp33 | 1;
6301#line 594
6302 __cil_tmp34 = (u8 )3;
6303#line 594
6304 __cil_tmp35 = (u8 )8;
6305#line 594
6306 __cil_tmp36 = (u8 )8;
6307#line 594
6308 write_regm(ci, __cil_tmp34, __cil_tmp35, __cil_tmp36);
6309 }
6310 } else {
6311
6312 }
6313 }
6314 } else {
6315 {
6316#line 598
6317 __cil_tmp37 = (unsigned long )ci;
6318#line 598
6319 __cil_tmp38 = __cil_tmp37 + 156;
6320#line 598
6321 if (*((int *)__cil_tmp38)) {
6322 {
6323#line 599
6324 __cil_tmp39 = (unsigned long )ci;
6325#line 599
6326 __cil_tmp40 = __cil_tmp39 + 156;
6327#line 599
6328 *((int *)__cil_tmp40) = 0;
6329#line 600
6330 __cil_tmp41 = (u8 )3;
6331#line 600
6332 __cil_tmp42 = (u8 )0;
6333#line 600
6334 __cil_tmp43 = (u8 )8;
6335#line 600
6336 write_regm(ci, __cil_tmp41, __cil_tmp42, __cil_tmp43);
6337#line 601
6338 printk("<6>NO CAM\n");
6339#line 602
6340 __cil_tmp44 = (unsigned long )ci;
6341#line 602
6342 __cil_tmp45 = __cil_tmp44 + 148;
6343#line 602
6344 *((int *)__cil_tmp45) = 0;
6345 }
6346 } else {
6347
6348 }
6349 }
6350 }
6351 }
6352 {
6353#line 605
6354 __cil_tmp46 = & istat;
6355#line 605
6356 __cil_tmp47 = *__cil_tmp46;
6357#line 605
6358 __cil_tmp48 = (int )__cil_tmp47;
6359#line 605
6360 if (__cil_tmp48 & 8) {
6361 {
6362#line 605
6363 __cil_tmp49 = (unsigned long )ci;
6364#line 605
6365 __cil_tmp50 = __cil_tmp49 + 156;
6366#line 605
6367 __cil_tmp51 = *((int *)__cil_tmp50);
6368#line 605
6369 if (__cil_tmp51 == 1) {
6370#line 606
6371 __cil_tmp52 = (unsigned long )ci;
6372#line 606
6373 __cil_tmp53 = __cil_tmp52 + 148;
6374#line 606
6375 *((int *)__cil_tmp53) = 1;
6376#line 607
6377 __cil_tmp54 = (unsigned long )ci;
6378#line 607
6379 __cil_tmp55 = __cil_tmp54 + 156;
6380#line 607
6381 __cil_tmp56 = (unsigned long )ci;
6382#line 607
6383 __cil_tmp57 = __cil_tmp56 + 156;
6384#line 607
6385 __cil_tmp58 = *((int *)__cil_tmp57);
6386#line 607
6387 *((int *)__cil_tmp55) = __cil_tmp58 | 4;
6388 } else {
6389
6390 }
6391 }
6392 } else {
6393
6394 }
6395 }
6396 } else {
6397
6398 }
6399 }
6400#line 610
6401 return (0);
6402}
6403}
6404#line 614 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6405static int poll_slot_status(struct dvb_ca_en50221 *ca , int slot , int open )
6406{ struct cxd *ci ;
6407 u8 slotstat ;
6408 unsigned long __cil_tmp6 ;
6409 unsigned long __cil_tmp7 ;
6410 void *__cil_tmp8 ;
6411 unsigned long __cil_tmp9 ;
6412 unsigned long __cil_tmp10 ;
6413 struct mutex *__cil_tmp11 ;
6414 u8 __cil_tmp12 ;
6415 unsigned long __cil_tmp13 ;
6416 unsigned long __cil_tmp14 ;
6417 struct mutex *__cil_tmp15 ;
6418 unsigned long __cil_tmp16 ;
6419 unsigned long __cil_tmp17 ;
6420
6421 {
6422 {
6423#line 616
6424 __cil_tmp6 = (unsigned long )ca;
6425#line 616
6426 __cil_tmp7 = __cil_tmp6 + 72;
6427#line 616
6428 __cil_tmp8 = *((void **)__cil_tmp7);
6429#line 616
6430 ci = (struct cxd *)__cil_tmp8;
6431#line 619
6432 __cil_tmp9 = (unsigned long )ci;
6433#line 619
6434 __cil_tmp10 = __cil_tmp9 + 1192;
6435#line 619
6436 __cil_tmp11 = (struct mutex *)__cil_tmp10;
6437#line 619
6438 mutex_lock(__cil_tmp11);
6439#line 620
6440 campoll(ci);
6441#line 621
6442 __cil_tmp12 = (u8 )1;
6443#line 621
6444 read_reg(ci, __cil_tmp12, & slotstat);
6445#line 622
6446 __cil_tmp13 = (unsigned long )ci;
6447#line 622
6448 __cil_tmp14 = __cil_tmp13 + 1192;
6449#line 622
6450 __cil_tmp15 = (struct mutex *)__cil_tmp14;
6451#line 622
6452 mutex_unlock(__cil_tmp15);
6453 }
6454 {
6455#line 624
6456 __cil_tmp16 = (unsigned long )ci;
6457#line 624
6458 __cil_tmp17 = __cil_tmp16 + 156;
6459#line 624
6460 return (*((int *)__cil_tmp17));
6461 }
6462}
6463}
6464#line 667 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6465static struct dvb_ca_en50221 en_templ =
6466#line 667
6467 {(struct module *)0, & read_attribute_mem, & write_attribute_mem, & read_cam_control,
6468 & write_cam_control, & slot_reset, & slot_shutdown, & slot_ts_enable, & poll_slot_status,
6469 (void *)0, (void *)0};
6470#line 700 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6471static struct lock_class_key __key___4 ;
6472#line 683 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6473struct dvb_ca_en50221 *cxd2099_attach(struct cxd2099_cfg *cfg , void *priv , struct i2c_adapter *i2c )
6474{ struct cxd *ci ;
6475 u8 val ;
6476 int tmp___7 ;
6477 void *tmp___8 ;
6478 size_t __len ;
6479 void *__ret ;
6480 size_t __len___0 ;
6481 void *__ret___0 ;
6482 unsigned long __cil_tmp12 ;
6483 unsigned long __cil_tmp13 ;
6484 u8 __cil_tmp14 ;
6485 u8 __cil_tmp15 ;
6486 unsigned long __cil_tmp16 ;
6487 unsigned long __cil_tmp17 ;
6488 u8 __cil_tmp18 ;
6489 int __cil_tmp19 ;
6490 void *__cil_tmp20 ;
6491 unsigned long __cil_tmp21 ;
6492 unsigned long __cil_tmp22 ;
6493 struct mutex *__cil_tmp23 ;
6494 unsigned long __cil_tmp24 ;
6495 unsigned long __cil_tmp25 ;
6496 struct cxd2099_cfg *__cil_tmp26 ;
6497 void *__cil_tmp27 ;
6498 void const *__cil_tmp28 ;
6499 unsigned long __cil_tmp29 ;
6500 unsigned long __cil_tmp30 ;
6501 struct cxd2099_cfg *__cil_tmp31 ;
6502 void *__cil_tmp32 ;
6503 void const *__cil_tmp33 ;
6504 unsigned long __cil_tmp34 ;
6505 unsigned long __cil_tmp35 ;
6506 unsigned long __cil_tmp36 ;
6507 unsigned long __cil_tmp37 ;
6508 unsigned long __cil_tmp38 ;
6509 unsigned long __cil_tmp39 ;
6510 unsigned long __cil_tmp40 ;
6511 unsigned long __cil_tmp41 ;
6512 struct dvb_ca_en50221 *__cil_tmp42 ;
6513 void *__cil_tmp43 ;
6514 void const *__cil_tmp44 ;
6515 struct dvb_ca_en50221 *__cil_tmp45 ;
6516 void *__cil_tmp46 ;
6517 void const *__cil_tmp47 ;
6518 unsigned long __cil_tmp48 ;
6519 unsigned long __cil_tmp49 ;
6520 unsigned long __cil_tmp50 ;
6521 unsigned long __cil_tmp51 ;
6522 unsigned long __cil_tmp52 ;
6523 unsigned long __cil_tmp53 ;
6524 u8 __cil_tmp54 ;
6525 int __cil_tmp55 ;
6526
6527 {
6528 {
6529#line 687
6530 ci = (struct cxd *)0;
6531#line 690
6532 __cil_tmp12 = (unsigned long )cfg;
6533#line 690
6534 __cil_tmp13 = __cil_tmp12 + 4;
6535#line 690
6536 __cil_tmp14 = *((u8 *)__cil_tmp13);
6537#line 690
6538 __cil_tmp15 = (u8 )0;
6539#line 690
6540 tmp___7 = i2c_read_reg(i2c, __cil_tmp14, __cil_tmp15, & val);
6541 }
6542#line 690
6543 if (tmp___7 < 0) {
6544 {
6545#line 691
6546 __cil_tmp16 = (unsigned long )cfg;
6547#line 691
6548 __cil_tmp17 = __cil_tmp16 + 4;
6549#line 691
6550 __cil_tmp18 = *((u8 *)__cil_tmp17);
6551#line 691
6552 __cil_tmp19 = (int )__cil_tmp18;
6553#line 691
6554 printk("<6>No CXD2099 detected at %02x\n", __cil_tmp19);
6555 }
6556#line 692
6557 return ((struct dvb_ca_en50221 *)0);
6558 } else {
6559
6560 }
6561 {
6562#line 695
6563 tmp___8 = kmalloc(1264UL, 208U);
6564#line 695
6565 ci = (struct cxd *)tmp___8;
6566 }
6567#line 696
6568 if (! ci) {
6569#line 697
6570 return ((struct dvb_ca_en50221 *)0);
6571 } else {
6572
6573 }
6574 {
6575#line 698
6576 __cil_tmp20 = (void *)ci;
6577#line 698
6578 memset(__cil_tmp20, 0, 1264UL);
6579 }
6580 {
6581#line 700
6582 while (1) {
6583 while_continue: ;
6584 {
6585#line 700
6586 __cil_tmp21 = (unsigned long )ci;
6587#line 700
6588 __cil_tmp22 = __cil_tmp21 + 1192;
6589#line 700
6590 __cil_tmp23 = (struct mutex *)__cil_tmp22;
6591#line 700
6592 __mutex_init(__cil_tmp23, "&ci->lock", & __key___4);
6593 }
6594#line 700
6595 goto while_break;
6596 }
6597 while_break: ;
6598 }
6599#line 701
6600 __len = 8UL;
6601#line 701
6602 if (__len >= 64UL) {
6603 {
6604#line 701
6605 __cil_tmp24 = (unsigned long )ci;
6606#line 701
6607 __cil_tmp25 = __cil_tmp24 + 96;
6608#line 701
6609 __cil_tmp26 = (struct cxd2099_cfg *)__cil_tmp25;
6610#line 701
6611 __cil_tmp27 = (void *)__cil_tmp26;
6612#line 701
6613 __cil_tmp28 = (void const *)cfg;
6614#line 701
6615 __ret = __memcpy(__cil_tmp27, __cil_tmp28, __len);
6616 }
6617 } else {
6618 {
6619#line 701
6620 __cil_tmp29 = (unsigned long )ci;
6621#line 701
6622 __cil_tmp30 = __cil_tmp29 + 96;
6623#line 701
6624 __cil_tmp31 = (struct cxd2099_cfg *)__cil_tmp30;
6625#line 701
6626 __cil_tmp32 = (void *)__cil_tmp31;
6627#line 701
6628 __cil_tmp33 = (void const *)cfg;
6629#line 701
6630 __ret = __builtin_memcpy(__cil_tmp32, __cil_tmp33, __len);
6631 }
6632 }
6633#line 702
6634 __cil_tmp34 = (unsigned long )ci;
6635#line 702
6636 __cil_tmp35 = __cil_tmp34 + 88;
6637#line 702
6638 *((struct i2c_adapter **)__cil_tmp35) = i2c;
6639#line 703
6640 __cil_tmp36 = (unsigned long )ci;
6641#line 703
6642 __cil_tmp37 = __cil_tmp36 + 139;
6643#line 703
6644 *((u8 *)__cil_tmp37) = (u8 )255;
6645#line 704
6646 __cil_tmp38 = (unsigned long )ci;
6647#line 704
6648 __cil_tmp39 = __cil_tmp38 + 141;
6649#line 704
6650 *((u8 *)__cil_tmp39) = (u8 )74;
6651#line 705
6652 __cil_tmp40 = (unsigned long )ci;
6653#line 705
6654 __cil_tmp41 = __cil_tmp40 + 140;
6655#line 705
6656 *((u8 *)__cil_tmp41) = (u8 )27;
6657#line 707
6658 __len___0 = 88UL;
6659#line 707
6660 if (__len___0 >= 64UL) {
6661 {
6662#line 707
6663 __cil_tmp42 = (struct dvb_ca_en50221 *)ci;
6664#line 707
6665 __cil_tmp43 = (void *)__cil_tmp42;
6666#line 707
6667 __cil_tmp44 = (void const *)(& en_templ);
6668#line 707
6669 __ret___0 = __memcpy(__cil_tmp43, __cil_tmp44, __len___0);
6670 }
6671 } else {
6672 {
6673#line 707
6674 __cil_tmp45 = (struct dvb_ca_en50221 *)ci;
6675#line 707
6676 __cil_tmp46 = (void *)__cil_tmp45;
6677#line 707
6678 __cil_tmp47 = (void const *)(& en_templ);
6679#line 707
6680 __ret___0 = __builtin_memcpy(__cil_tmp46, __cil_tmp47, __len___0);
6681 }
6682 }
6683 {
6684#line 708
6685 __cil_tmp48 = 0 + 72;
6686#line 708
6687 __cil_tmp49 = (unsigned long )ci;
6688#line 708
6689 __cil_tmp50 = __cil_tmp49 + __cil_tmp48;
6690#line 708
6691 *((void **)__cil_tmp50) = (void *)ci;
6692#line 709
6693 init(ci);
6694#line 710
6695 __cil_tmp51 = 96 + 4;
6696#line 710
6697 __cil_tmp52 = (unsigned long )ci;
6698#line 710
6699 __cil_tmp53 = __cil_tmp52 + __cil_tmp51;
6700#line 710
6701 __cil_tmp54 = *((u8 *)__cil_tmp53);
6702#line 710
6703 __cil_tmp55 = (int )__cil_tmp54;
6704#line 710
6705 printk("<6>Attached CXD2099AR at %02x\n", __cil_tmp55);
6706 }
6707#line 711
6708 return ((struct dvb_ca_en50221 *)ci);
6709}
6710}
6711#line 713
6712extern void *__crc_cxd2099_attach __attribute__((__weak__)) ;
6713#line 713 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6714static unsigned long const __kcrctab_cxd2099_attach __attribute__((__used__, __unused__,
6715__section__("___kcrctab+cxd2099_attach"))) = (unsigned long const )((unsigned long )(& __crc_cxd2099_attach));
6716#line 713 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6717static char const __kstrtab_cxd2099_attach[15] __attribute__((__section__("__ksymtab_strings"),
6718__aligned__(1))) =
6719#line 713
6720 { (char const )'c', (char const )'x', (char const )'d', (char const )'2',
6721 (char const )'0', (char const )'9', (char const )'9', (char const )'_',
6722 (char const )'a', (char const )'t', (char const )'t', (char const )'a',
6723 (char const )'c', (char const )'h', (char const )'\000'};
6724#line 713 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6725static struct kernel_symbol const __ksymtab_cxd2099_attach __attribute__((__used__,
6726__unused__, __section__("___ksymtab+cxd2099_attach"))) = {(unsigned long )(& cxd2099_attach), __kstrtab_cxd2099_attach};
6727#line 715 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6728static char const __mod_description715[20] __attribute__((__used__, __unused__,
6729__section__(".modinfo"), __aligned__(1))) =
6730#line 715
6731 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
6732 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
6733 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
6734 (char const )'c', (char const )'x', (char const )'d', (char const )'2',
6735 (char const )'0', (char const )'9', (char const )'9', (char const )'\000'};
6736#line 716 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6737static char const __mod_author716[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
6738__aligned__(1))) =
6739#line 716
6740 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
6741 (char const )'o', (char const )'r', (char const )'=', (char const )'R',
6742 (char const )'a', (char const )'l', (char const )'p', (char const )'h',
6743 (char const )' ', (char const )'M', (char const )'e', (char const )'t',
6744 (char const )'z', (char const )'l', (char const )'e', (char const )'r',
6745 (char const )'\000'};
6746#line 717 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6747static char const __mod_license717[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
6748__aligned__(1))) =
6749#line 717
6750 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
6751 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
6752 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
6753#line 735
6754void ldv_check_final_state(void) ;
6755#line 741
6756extern void ldv_initialize(void) ;
6757#line 744
6758extern int __VERIFIER_nondet_int(void) ;
6759#line 747 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6760int LDV_IN_INTERRUPT ;
6761#line 750 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
6762void main(void)
6763{ struct dvb_ca_en50221 *var_group1 ;
6764 int var_read_attribute_mem_18_p1 ;
6765 int var_read_attribute_mem_18_p2 ;
6766 int var_write_attribute_mem_19_p1 ;
6767 int var_write_attribute_mem_19_p2 ;
6768 u8 var_write_attribute_mem_19_p3 ;
6769 int var_read_cam_control_20_p1 ;
6770 u8 var_read_cam_control_20_p2 ;
6771 int var_write_cam_control_21_p1 ;
6772 u8 var_write_cam_control_21_p2 ;
6773 u8 var_write_cam_control_21_p3 ;
6774 int var_slot_reset_22_p1 ;
6775 int var_slot_shutdown_23_p1 ;
6776 int var_slot_ts_enable_24_p1 ;
6777 int var_poll_slot_status_26_p1 ;
6778 int var_poll_slot_status_26_p2 ;
6779 int tmp___7 ;
6780 int tmp___8 ;
6781
6782 {
6783 {
6784#line 1132
6785 LDV_IN_INTERRUPT = 1;
6786#line 1141
6787 ldv_initialize();
6788 }
6789 {
6790#line 1145
6791 while (1) {
6792 while_continue: ;
6793 {
6794#line 1145
6795 tmp___8 = __VERIFIER_nondet_int();
6796 }
6797#line 1145
6798 if (tmp___8) {
6799
6800 } else {
6801#line 1145
6802 goto while_break;
6803 }
6804 {
6805#line 1148
6806 tmp___7 = __VERIFIER_nondet_int();
6807 }
6808#line 1150
6809 if (tmp___7 == 0) {
6810#line 1150
6811 goto case_0;
6812 } else
6813#line 1195
6814 if (tmp___7 == 1) {
6815#line 1195
6816 goto case_1;
6817 } else
6818#line 1243
6819 if (tmp___7 == 2) {
6820#line 1243
6821 goto case_2;
6822 } else
6823#line 1291
6824 if (tmp___7 == 3) {
6825#line 1291
6826 goto case_3;
6827 } else
6828#line 1339
6829 if (tmp___7 == 4) {
6830#line 1339
6831 goto case_4;
6832 } else
6833#line 1376
6834 if (tmp___7 == 5) {
6835#line 1376
6836 goto case_5;
6837 } else
6838#line 1424
6839 if (tmp___7 == 6) {
6840#line 1424
6841 goto case_6;
6842 } else
6843#line 1470
6844 if (tmp___7 == 7) {
6845#line 1470
6846 goto case_7;
6847 } else
6848#line 1518
6849 if (tmp___7 == 8) {
6850#line 1518
6851 goto case_8;
6852 } else
6853#line 1566
6854 if (tmp___7 == 9) {
6855#line 1566
6856 goto case_9;
6857 } else {
6858 {
6859#line 1614
6860 goto switch_default;
6861#line 1148
6862 if (0) {
6863 case_0:
6864 {
6865#line 1168
6866 read_attribute_mem(var_group1, var_read_attribute_mem_18_p1, var_read_attribute_mem_18_p2);
6867 }
6868#line 1194
6869 goto switch_break;
6870 case_1:
6871 {
6872#line 1216
6873 write_attribute_mem(var_group1, var_write_attribute_mem_19_p1, var_write_attribute_mem_19_p2,
6874 var_write_attribute_mem_19_p3);
6875 }
6876#line 1242
6877 goto switch_break;
6878 case_2:
6879 {
6880#line 1264
6881 read_cam_control(var_group1, var_read_cam_control_20_p1, var_read_cam_control_20_p2);
6882 }
6883#line 1290
6884 goto switch_break;
6885 case_3:
6886 {
6887#line 1312
6888 write_cam_control(var_group1, var_write_cam_control_21_p1, var_write_cam_control_21_p2,
6889 var_write_cam_control_21_p3);
6890 }
6891#line 1338
6892 goto switch_break;
6893 case_4:
6894 {
6895#line 1360
6896 slot_reset(var_group1, var_slot_reset_22_p1);
6897 }
6898#line 1375
6899 goto switch_break;
6900 case_5:
6901 {
6902#line 1408
6903 slot_shutdown(var_group1, var_slot_shutdown_23_p1);
6904 }
6905#line 1423
6906 goto switch_break;
6907 case_6:
6908 {
6909#line 1456
6910 slot_ts_enable(var_group1, var_slot_ts_enable_24_p1);
6911 }
6912#line 1469
6913 goto switch_break;
6914 case_7:
6915 {
6916#line 1504
6917 poll_slot_status(var_group1, var_poll_slot_status_26_p1, var_poll_slot_status_26_p2);
6918 }
6919#line 1517
6920 goto switch_break;
6921 case_8: ;
6922#line 1565
6923 goto switch_break;
6924 case_9: ;
6925#line 1613
6926 goto switch_break;
6927 switch_default:
6928#line 1614
6929 goto switch_break;
6930 } else {
6931 switch_break: ;
6932 }
6933 }
6934 }
6935 }
6936 while_break: ;
6937 }
6938 {
6939#line 1623
6940 ldv_check_final_state();
6941 }
6942#line 1626
6943 return;
6944}
6945}
6946#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
6947void ldv_blast_assert(void)
6948{
6949
6950 {
6951 ERROR:
6952#line 6
6953 goto ERROR;
6954}
6955}
6956#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
6957extern int __VERIFIER_nondet_int(void) ;
6958#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6959int ldv_mutex = 1;
6960#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6961int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
6962{ int nondetermined ;
6963
6964 {
6965#line 29
6966 if (ldv_mutex == 1) {
6967
6968 } else {
6969 {
6970#line 29
6971 ldv_blast_assert();
6972 }
6973 }
6974 {
6975#line 32
6976 nondetermined = __VERIFIER_nondet_int();
6977 }
6978#line 35
6979 if (nondetermined) {
6980#line 38
6981 ldv_mutex = 2;
6982#line 40
6983 return (0);
6984 } else {
6985#line 45
6986 return (-4);
6987 }
6988}
6989}
6990#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6991int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
6992{ int nondetermined ;
6993
6994 {
6995#line 57
6996 if (ldv_mutex == 1) {
6997
6998 } else {
6999 {
7000#line 57
7001 ldv_blast_assert();
7002 }
7003 }
7004 {
7005#line 60
7006 nondetermined = __VERIFIER_nondet_int();
7007 }
7008#line 63
7009 if (nondetermined) {
7010#line 66
7011 ldv_mutex = 2;
7012#line 68
7013 return (0);
7014 } else {
7015#line 73
7016 return (-4);
7017 }
7018}
7019}
7020#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
7021int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
7022{ int atomic_value_after_dec ;
7023
7024 {
7025#line 83
7026 if (ldv_mutex == 1) {
7027
7028 } else {
7029 {
7030#line 83
7031 ldv_blast_assert();
7032 }
7033 }
7034 {
7035#line 86
7036 atomic_value_after_dec = __VERIFIER_nondet_int();
7037 }
7038#line 89
7039 if (atomic_value_after_dec == 0) {
7040#line 92
7041 ldv_mutex = 2;
7042#line 94
7043 return (1);
7044 } else {
7045
7046 }
7047#line 98
7048 return (0);
7049}
7050}
7051#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
7052void mutex_lock(struct mutex *lock )
7053{
7054
7055 {
7056#line 108
7057 if (ldv_mutex == 1) {
7058
7059 } else {
7060 {
7061#line 108
7062 ldv_blast_assert();
7063 }
7064 }
7065#line 110
7066 ldv_mutex = 2;
7067#line 111
7068 return;
7069}
7070}
7071#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
7072int mutex_trylock(struct mutex *lock )
7073{ int nondetermined ;
7074
7075 {
7076#line 121
7077 if (ldv_mutex == 1) {
7078
7079 } else {
7080 {
7081#line 121
7082 ldv_blast_assert();
7083 }
7084 }
7085 {
7086#line 124
7087 nondetermined = __VERIFIER_nondet_int();
7088 }
7089#line 127
7090 if (nondetermined) {
7091#line 130
7092 ldv_mutex = 2;
7093#line 132
7094 return (1);
7095 } else {
7096#line 137
7097 return (0);
7098 }
7099}
7100}
7101#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
7102void mutex_unlock(struct mutex *lock )
7103{
7104
7105 {
7106#line 147
7107 if (ldv_mutex == 2) {
7108
7109 } else {
7110 {
7111#line 147
7112 ldv_blast_assert();
7113 }
7114 }
7115#line 149
7116 ldv_mutex = 1;
7117#line 150
7118 return;
7119}
7120}
7121#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
7122void ldv_check_final_state(void)
7123{
7124
7125 {
7126#line 156
7127 if (ldv_mutex == 1) {
7128
7129 } else {
7130 {
7131#line 156
7132 ldv_blast_assert();
7133 }
7134 }
7135#line 157
7136 return;
7137}
7138}
7139#line 1635 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2337/dscv_tempdir/dscv/ri/32_1/drivers/staging/media/cxd2099/cxd2099.c.common.c"
7140long s__builtin_expect(long val , long res )
7141{
7142
7143 {
7144#line 1636
7145 return (val);
7146}
7147}