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