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