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