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