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 219 "include/linux/types.h"
79struct __anonstruct_atomic_t_7 {
80 int counter ;
81};
82#line 219 "include/linux/types.h"
83typedef struct __anonstruct_atomic_t_7 atomic_t;
84#line 224 "include/linux/types.h"
85struct __anonstruct_atomic64_t_8 {
86 long counter ;
87};
88#line 224 "include/linux/types.h"
89typedef struct __anonstruct_atomic64_t_8 atomic64_t;
90#line 229 "include/linux/types.h"
91struct list_head {
92 struct list_head *next ;
93 struct list_head *prev ;
94};
95#line 233
96struct hlist_node;
97#line 233 "include/linux/types.h"
98struct hlist_head {
99 struct hlist_node *first ;
100};
101#line 237 "include/linux/types.h"
102struct hlist_node {
103 struct hlist_node *next ;
104 struct hlist_node **pprev ;
105};
106#line 253 "include/linux/types.h"
107struct rcu_head {
108 struct rcu_head *next ;
109 void (*func)(struct rcu_head *head ) ;
110};
111#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
112struct module;
113#line 56
114struct module;
115#line 146 "include/linux/init.h"
116typedef void (*ctor_fn_t)(void);
117#line 47 "include/linux/dynamic_debug.h"
118struct device;
119#line 47
120struct device;
121#line 135 "include/linux/kernel.h"
122struct completion;
123#line 135
124struct completion;
125#line 136
126struct pt_regs;
127#line 136
128struct pt_regs;
129#line 349
130struct pid;
131#line 349
132struct pid;
133#line 12 "include/linux/thread_info.h"
134struct timespec;
135#line 12
136struct timespec;
137#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
138struct page;
139#line 18
140struct page;
141#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
142struct task_struct;
143#line 20
144struct task_struct;
145#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
146struct task_struct;
147#line 8
148struct mm_struct;
149#line 8
150struct mm_struct;
151#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
152struct pt_regs {
153 unsigned long r15 ;
154 unsigned long r14 ;
155 unsigned long r13 ;
156 unsigned long r12 ;
157 unsigned long bp ;
158 unsigned long bx ;
159 unsigned long r11 ;
160 unsigned long r10 ;
161 unsigned long r9 ;
162 unsigned long r8 ;
163 unsigned long ax ;
164 unsigned long cx ;
165 unsigned long dx ;
166 unsigned long si ;
167 unsigned long di ;
168 unsigned long orig_ax ;
169 unsigned long ip ;
170 unsigned long cs ;
171 unsigned long flags ;
172 unsigned long sp ;
173 unsigned long ss ;
174};
175#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
176struct __anonstruct____missing_field_name_15 {
177 unsigned int a ;
178 unsigned int b ;
179};
180#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
181struct __anonstruct____missing_field_name_16 {
182 u16 limit0 ;
183 u16 base0 ;
184 unsigned int base1 : 8 ;
185 unsigned int type : 4 ;
186 unsigned int s : 1 ;
187 unsigned int dpl : 2 ;
188 unsigned int p : 1 ;
189 unsigned int limit : 4 ;
190 unsigned int avl : 1 ;
191 unsigned int l : 1 ;
192 unsigned int d : 1 ;
193 unsigned int g : 1 ;
194 unsigned int base2 : 8 ;
195};
196#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
197union __anonunion____missing_field_name_14 {
198 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
199 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
200};
201#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
202struct desc_struct {
203 union __anonunion____missing_field_name_14 __annonCompField7 ;
204} __attribute__((__packed__)) ;
205#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
206typedef unsigned long pgdval_t;
207#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
208typedef unsigned long pgprotval_t;
209#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
210struct pgprot {
211 pgprotval_t pgprot ;
212};
213#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
214typedef struct pgprot pgprot_t;
215#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
216struct __anonstruct_pgd_t_20 {
217 pgdval_t pgd ;
218};
219#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
220typedef struct __anonstruct_pgd_t_20 pgd_t;
221#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
222typedef struct page *pgtable_t;
223#line 295
224struct file;
225#line 295
226struct file;
227#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
228struct page;
229#line 47
230struct thread_struct;
231#line 47
232struct thread_struct;
233#line 50
234struct mm_struct;
235#line 51
236struct desc_struct;
237#line 52
238struct task_struct;
239#line 53
240struct cpumask;
241#line 53
242struct cpumask;
243#line 329
244struct arch_spinlock;
245#line 329
246struct arch_spinlock;
247#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
248struct task_struct;
249#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
250struct kernel_vm86_regs {
251 struct pt_regs pt ;
252 unsigned short es ;
253 unsigned short __esh ;
254 unsigned short ds ;
255 unsigned short __dsh ;
256 unsigned short fs ;
257 unsigned short __fsh ;
258 unsigned short gs ;
259 unsigned short __gsh ;
260};
261#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
262union __anonunion____missing_field_name_24 {
263 struct pt_regs *regs ;
264 struct kernel_vm86_regs *vm86 ;
265};
266#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
267struct math_emu_info {
268 long ___orig_eip ;
269 union __anonunion____missing_field_name_24 __annonCompField8 ;
270};
271#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
272struct task_struct;
273#line 10 "include/asm-generic/bug.h"
274struct bug_entry {
275 int bug_addr_disp ;
276 int file_disp ;
277 unsigned short line ;
278 unsigned short flags ;
279};
280#line 12 "include/linux/bug.h"
281struct pt_regs;
282#line 14 "include/linux/cpumask.h"
283struct cpumask {
284 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
285};
286#line 14 "include/linux/cpumask.h"
287typedef struct cpumask cpumask_t;
288#line 637 "include/linux/cpumask.h"
289typedef struct cpumask *cpumask_var_t;
290#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
291struct static_key;
292#line 234
293struct static_key;
294#line 11 "include/linux/personality.h"
295struct pt_regs;
296#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
297struct i387_fsave_struct {
298 u32 cwd ;
299 u32 swd ;
300 u32 twd ;
301 u32 fip ;
302 u32 fcs ;
303 u32 foo ;
304 u32 fos ;
305 u32 st_space[20] ;
306 u32 status ;
307};
308#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
309struct __anonstruct____missing_field_name_31 {
310 u64 rip ;
311 u64 rdp ;
312};
313#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
314struct __anonstruct____missing_field_name_32 {
315 u32 fip ;
316 u32 fcs ;
317 u32 foo ;
318 u32 fos ;
319};
320#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
321union __anonunion____missing_field_name_30 {
322 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
323 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
324};
325#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
326union __anonunion____missing_field_name_33 {
327 u32 padding1[12] ;
328 u32 sw_reserved[12] ;
329};
330#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
331struct i387_fxsave_struct {
332 u16 cwd ;
333 u16 swd ;
334 u16 twd ;
335 u16 fop ;
336 union __anonunion____missing_field_name_30 __annonCompField14 ;
337 u32 mxcsr ;
338 u32 mxcsr_mask ;
339 u32 st_space[32] ;
340 u32 xmm_space[64] ;
341 u32 padding[12] ;
342 union __anonunion____missing_field_name_33 __annonCompField15 ;
343} __attribute__((__aligned__(16))) ;
344#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
345struct i387_soft_struct {
346 u32 cwd ;
347 u32 swd ;
348 u32 twd ;
349 u32 fip ;
350 u32 fcs ;
351 u32 foo ;
352 u32 fos ;
353 u32 st_space[20] ;
354 u8 ftop ;
355 u8 changed ;
356 u8 lookahead ;
357 u8 no_update ;
358 u8 rm ;
359 u8 alimit ;
360 struct math_emu_info *info ;
361 u32 entry_eip ;
362};
363#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
364struct ymmh_struct {
365 u32 ymmh_space[64] ;
366};
367#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
368struct xsave_hdr_struct {
369 u64 xstate_bv ;
370 u64 reserved1[2] ;
371 u64 reserved2[5] ;
372} __attribute__((__packed__)) ;
373#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
374struct xsave_struct {
375 struct i387_fxsave_struct i387 ;
376 struct xsave_hdr_struct xsave_hdr ;
377 struct ymmh_struct ymmh ;
378} __attribute__((__packed__, __aligned__(64))) ;
379#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
380union thread_xstate {
381 struct i387_fsave_struct fsave ;
382 struct i387_fxsave_struct fxsave ;
383 struct i387_soft_struct soft ;
384 struct xsave_struct xsave ;
385};
386#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
387struct fpu {
388 unsigned int last_cpu ;
389 unsigned int has_fpu ;
390 union thread_xstate *state ;
391};
392#line 433
393struct kmem_cache;
394#line 435
395struct perf_event;
396#line 435
397struct perf_event;
398#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
399struct thread_struct {
400 struct desc_struct tls_array[3] ;
401 unsigned long sp0 ;
402 unsigned long sp ;
403 unsigned long usersp ;
404 unsigned short es ;
405 unsigned short ds ;
406 unsigned short fsindex ;
407 unsigned short gsindex ;
408 unsigned long fs ;
409 unsigned long gs ;
410 struct perf_event *ptrace_bps[4] ;
411 unsigned long debugreg6 ;
412 unsigned long ptrace_dr7 ;
413 unsigned long cr2 ;
414 unsigned long trap_nr ;
415 unsigned long error_code ;
416 struct fpu fpu ;
417 unsigned long *io_bitmap_ptr ;
418 unsigned long iopl ;
419 unsigned int io_bitmap_max ;
420};
421#line 23 "include/asm-generic/atomic-long.h"
422typedef atomic64_t atomic_long_t;
423#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
424typedef u16 __ticket_t;
425#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
426typedef u32 __ticketpair_t;
427#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
428struct __raw_tickets {
429 __ticket_t head ;
430 __ticket_t tail ;
431};
432#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
433union __anonunion____missing_field_name_36 {
434 __ticketpair_t head_tail ;
435 struct __raw_tickets tickets ;
436};
437#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
438struct arch_spinlock {
439 union __anonunion____missing_field_name_36 __annonCompField17 ;
440};
441#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
442typedef struct arch_spinlock arch_spinlock_t;
443#line 12 "include/linux/lockdep.h"
444struct task_struct;
445#line 20 "include/linux/spinlock_types.h"
446struct raw_spinlock {
447 arch_spinlock_t raw_lock ;
448 unsigned int magic ;
449 unsigned int owner_cpu ;
450 void *owner ;
451};
452#line 20 "include/linux/spinlock_types.h"
453typedef struct raw_spinlock raw_spinlock_t;
454#line 64 "include/linux/spinlock_types.h"
455union __anonunion____missing_field_name_39 {
456 struct raw_spinlock rlock ;
457};
458#line 64 "include/linux/spinlock_types.h"
459struct spinlock {
460 union __anonunion____missing_field_name_39 __annonCompField19 ;
461};
462#line 64 "include/linux/spinlock_types.h"
463typedef struct spinlock spinlock_t;
464#line 119 "include/linux/seqlock.h"
465struct seqcount {
466 unsigned int sequence ;
467};
468#line 119 "include/linux/seqlock.h"
469typedef struct seqcount seqcount_t;
470#line 14 "include/linux/time.h"
471struct timespec {
472 __kernel_time_t tv_sec ;
473 long tv_nsec ;
474};
475#line 49 "include/linux/wait.h"
476struct __wait_queue_head {
477 spinlock_t lock ;
478 struct list_head task_list ;
479};
480#line 53 "include/linux/wait.h"
481typedef struct __wait_queue_head wait_queue_head_t;
482#line 55
483struct task_struct;
484#line 98 "include/linux/nodemask.h"
485struct __anonstruct_nodemask_t_42 {
486 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
487};
488#line 98 "include/linux/nodemask.h"
489typedef struct __anonstruct_nodemask_t_42 nodemask_t;
490#line 60 "include/linux/pageblock-flags.h"
491struct page;
492#line 48 "include/linux/mutex.h"
493struct mutex {
494 atomic_t count ;
495 spinlock_t wait_lock ;
496 struct list_head wait_list ;
497 struct task_struct *owner ;
498 char const *name ;
499 void *magic ;
500};
501#line 69 "include/linux/mutex.h"
502struct mutex_waiter {
503 struct list_head list ;
504 struct task_struct *task ;
505 void *magic ;
506};
507#line 19 "include/linux/rwsem.h"
508struct rw_semaphore;
509#line 19
510struct rw_semaphore;
511#line 25 "include/linux/rwsem.h"
512struct rw_semaphore {
513 long count ;
514 raw_spinlock_t wait_lock ;
515 struct list_head wait_list ;
516};
517#line 25 "include/linux/completion.h"
518struct completion {
519 unsigned int done ;
520 wait_queue_head_t wait ;
521};
522#line 9 "include/linux/memory_hotplug.h"
523struct page;
524#line 202 "include/linux/ioport.h"
525struct device;
526#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
527struct device;
528#line 46 "include/linux/ktime.h"
529union ktime {
530 s64 tv64 ;
531};
532#line 59 "include/linux/ktime.h"
533typedef union ktime ktime_t;
534#line 10 "include/linux/timer.h"
535struct tvec_base;
536#line 10
537struct tvec_base;
538#line 12 "include/linux/timer.h"
539struct timer_list {
540 struct list_head entry ;
541 unsigned long expires ;
542 struct tvec_base *base ;
543 void (*function)(unsigned long ) ;
544 unsigned long data ;
545 int slack ;
546 int start_pid ;
547 void *start_site ;
548 char start_comm[16] ;
549};
550#line 289
551struct hrtimer;
552#line 289
553struct hrtimer;
554#line 290
555enum hrtimer_restart;
556#line 17 "include/linux/workqueue.h"
557struct work_struct;
558#line 17
559struct work_struct;
560#line 79 "include/linux/workqueue.h"
561struct work_struct {
562 atomic_long_t data ;
563 struct list_head entry ;
564 void (*func)(struct work_struct *work ) ;
565};
566#line 42 "include/linux/pm.h"
567struct device;
568#line 50 "include/linux/pm.h"
569struct pm_message {
570 int event ;
571};
572#line 50 "include/linux/pm.h"
573typedef struct pm_message pm_message_t;
574#line 264 "include/linux/pm.h"
575struct dev_pm_ops {
576 int (*prepare)(struct device *dev ) ;
577 void (*complete)(struct device *dev ) ;
578 int (*suspend)(struct device *dev ) ;
579 int (*resume)(struct device *dev ) ;
580 int (*freeze)(struct device *dev ) ;
581 int (*thaw)(struct device *dev ) ;
582 int (*poweroff)(struct device *dev ) ;
583 int (*restore)(struct device *dev ) ;
584 int (*suspend_late)(struct device *dev ) ;
585 int (*resume_early)(struct device *dev ) ;
586 int (*freeze_late)(struct device *dev ) ;
587 int (*thaw_early)(struct device *dev ) ;
588 int (*poweroff_late)(struct device *dev ) ;
589 int (*restore_early)(struct device *dev ) ;
590 int (*suspend_noirq)(struct device *dev ) ;
591 int (*resume_noirq)(struct device *dev ) ;
592 int (*freeze_noirq)(struct device *dev ) ;
593 int (*thaw_noirq)(struct device *dev ) ;
594 int (*poweroff_noirq)(struct device *dev ) ;
595 int (*restore_noirq)(struct device *dev ) ;
596 int (*runtime_suspend)(struct device *dev ) ;
597 int (*runtime_resume)(struct device *dev ) ;
598 int (*runtime_idle)(struct device *dev ) ;
599};
600#line 458
601enum rpm_status {
602 RPM_ACTIVE = 0,
603 RPM_RESUMING = 1,
604 RPM_SUSPENDED = 2,
605 RPM_SUSPENDING = 3
606} ;
607#line 480
608enum rpm_request {
609 RPM_REQ_NONE = 0,
610 RPM_REQ_IDLE = 1,
611 RPM_REQ_SUSPEND = 2,
612 RPM_REQ_AUTOSUSPEND = 3,
613 RPM_REQ_RESUME = 4
614} ;
615#line 488
616struct wakeup_source;
617#line 488
618struct wakeup_source;
619#line 495 "include/linux/pm.h"
620struct pm_subsys_data {
621 spinlock_t lock ;
622 unsigned int refcount ;
623};
624#line 506
625struct dev_pm_qos_request;
626#line 506
627struct pm_qos_constraints;
628#line 506 "include/linux/pm.h"
629struct dev_pm_info {
630 pm_message_t power_state ;
631 unsigned int can_wakeup : 1 ;
632 unsigned int async_suspend : 1 ;
633 bool is_prepared : 1 ;
634 bool is_suspended : 1 ;
635 bool ignore_children : 1 ;
636 spinlock_t lock ;
637 struct list_head entry ;
638 struct completion completion ;
639 struct wakeup_source *wakeup ;
640 bool wakeup_path : 1 ;
641 struct timer_list suspend_timer ;
642 unsigned long timer_expires ;
643 struct work_struct work ;
644 wait_queue_head_t wait_queue ;
645 atomic_t usage_count ;
646 atomic_t child_count ;
647 unsigned int disable_depth : 3 ;
648 unsigned int idle_notification : 1 ;
649 unsigned int request_pending : 1 ;
650 unsigned int deferred_resume : 1 ;
651 unsigned int run_wake : 1 ;
652 unsigned int runtime_auto : 1 ;
653 unsigned int no_callbacks : 1 ;
654 unsigned int irq_safe : 1 ;
655 unsigned int use_autosuspend : 1 ;
656 unsigned int timer_autosuspends : 1 ;
657 enum rpm_request request ;
658 enum rpm_status runtime_status ;
659 int runtime_error ;
660 int autosuspend_delay ;
661 unsigned long last_busy ;
662 unsigned long active_jiffies ;
663 unsigned long suspended_jiffies ;
664 unsigned long accounting_timestamp ;
665 ktime_t suspend_time ;
666 s64 max_time_suspended_ns ;
667 struct dev_pm_qos_request *pq_req ;
668 struct pm_subsys_data *subsys_data ;
669 struct pm_qos_constraints *constraints ;
670};
671#line 564 "include/linux/pm.h"
672struct dev_pm_domain {
673 struct dev_pm_ops ops ;
674};
675#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
676struct __anonstruct_mm_context_t_112 {
677 void *ldt ;
678 int size ;
679 unsigned short ia32_compat ;
680 struct mutex lock ;
681 void *vdso ;
682};
683#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
684typedef struct __anonstruct_mm_context_t_112 mm_context_t;
685#line 8 "include/linux/vmalloc.h"
686struct vm_area_struct;
687#line 8
688struct vm_area_struct;
689#line 994 "include/linux/mmzone.h"
690struct page;
691#line 10 "include/linux/gfp.h"
692struct vm_area_struct;
693#line 29 "include/linux/sysctl.h"
694struct completion;
695#line 100 "include/linux/rbtree.h"
696struct rb_node {
697 unsigned long rb_parent_color ;
698 struct rb_node *rb_right ;
699 struct rb_node *rb_left ;
700} __attribute__((__aligned__(sizeof(long )))) ;
701#line 110 "include/linux/rbtree.h"
702struct rb_root {
703 struct rb_node *rb_node ;
704};
705#line 939 "include/linux/sysctl.h"
706struct nsproxy;
707#line 939
708struct nsproxy;
709#line 48 "include/linux/kmod.h"
710struct cred;
711#line 48
712struct cred;
713#line 49
714struct file;
715#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
716struct task_struct;
717#line 18 "include/linux/elf.h"
718typedef __u64 Elf64_Addr;
719#line 19 "include/linux/elf.h"
720typedef __u16 Elf64_Half;
721#line 23 "include/linux/elf.h"
722typedef __u32 Elf64_Word;
723#line 24 "include/linux/elf.h"
724typedef __u64 Elf64_Xword;
725#line 194 "include/linux/elf.h"
726struct elf64_sym {
727 Elf64_Word st_name ;
728 unsigned char st_info ;
729 unsigned char st_other ;
730 Elf64_Half st_shndx ;
731 Elf64_Addr st_value ;
732 Elf64_Xword st_size ;
733};
734#line 194 "include/linux/elf.h"
735typedef struct elf64_sym Elf64_Sym;
736#line 438
737struct file;
738#line 20 "include/linux/kobject_ns.h"
739struct sock;
740#line 20
741struct sock;
742#line 21
743struct kobject;
744#line 21
745struct kobject;
746#line 27
747enum kobj_ns_type {
748 KOBJ_NS_TYPE_NONE = 0,
749 KOBJ_NS_TYPE_NET = 1,
750 KOBJ_NS_TYPES = 2
751} ;
752#line 40 "include/linux/kobject_ns.h"
753struct kobj_ns_type_operations {
754 enum kobj_ns_type type ;
755 void *(*grab_current_ns)(void) ;
756 void const *(*netlink_ns)(struct sock *sk ) ;
757 void const *(*initial_ns)(void) ;
758 void (*drop_ns)(void * ) ;
759};
760#line 22 "include/linux/sysfs.h"
761struct kobject;
762#line 23
763struct module;
764#line 24
765enum kobj_ns_type;
766#line 26 "include/linux/sysfs.h"
767struct attribute {
768 char const *name ;
769 umode_t mode ;
770};
771#line 56 "include/linux/sysfs.h"
772struct attribute_group {
773 char const *name ;
774 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
775 struct attribute **attrs ;
776};
777#line 85
778struct file;
779#line 86
780struct vm_area_struct;
781#line 88 "include/linux/sysfs.h"
782struct bin_attribute {
783 struct attribute attr ;
784 size_t size ;
785 void *private ;
786 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
787 loff_t , size_t ) ;
788 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
789 loff_t , size_t ) ;
790 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
791};
792#line 112 "include/linux/sysfs.h"
793struct sysfs_ops {
794 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
795 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
796 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
797};
798#line 118
799struct sysfs_dirent;
800#line 118
801struct sysfs_dirent;
802#line 22 "include/linux/kref.h"
803struct kref {
804 atomic_t refcount ;
805};
806#line 60 "include/linux/kobject.h"
807struct kset;
808#line 60
809struct kobj_type;
810#line 60 "include/linux/kobject.h"
811struct kobject {
812 char const *name ;
813 struct list_head entry ;
814 struct kobject *parent ;
815 struct kset *kset ;
816 struct kobj_type *ktype ;
817 struct sysfs_dirent *sd ;
818 struct kref kref ;
819 unsigned int state_initialized : 1 ;
820 unsigned int state_in_sysfs : 1 ;
821 unsigned int state_add_uevent_sent : 1 ;
822 unsigned int state_remove_uevent_sent : 1 ;
823 unsigned int uevent_suppress : 1 ;
824};
825#line 108 "include/linux/kobject.h"
826struct kobj_type {
827 void (*release)(struct kobject *kobj ) ;
828 struct sysfs_ops const *sysfs_ops ;
829 struct attribute **default_attrs ;
830 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
831 void const *(*namespace)(struct kobject *kobj ) ;
832};
833#line 116 "include/linux/kobject.h"
834struct kobj_uevent_env {
835 char *envp[32] ;
836 int envp_idx ;
837 char buf[2048] ;
838 int buflen ;
839};
840#line 123 "include/linux/kobject.h"
841struct kset_uevent_ops {
842 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
843 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
844 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
845};
846#line 140
847struct sock;
848#line 159 "include/linux/kobject.h"
849struct kset {
850 struct list_head list ;
851 spinlock_t list_lock ;
852 struct kobject kobj ;
853 struct kset_uevent_ops const *uevent_ops ;
854};
855#line 39 "include/linux/moduleparam.h"
856struct kernel_param;
857#line 39
858struct kernel_param;
859#line 41 "include/linux/moduleparam.h"
860struct kernel_param_ops {
861 int (*set)(char const *val , struct kernel_param const *kp ) ;
862 int (*get)(char *buffer , struct kernel_param const *kp ) ;
863 void (*free)(void *arg ) ;
864};
865#line 50
866struct kparam_string;
867#line 50
868struct kparam_array;
869#line 50 "include/linux/moduleparam.h"
870union __anonunion____missing_field_name_199 {
871 void *arg ;
872 struct kparam_string const *str ;
873 struct kparam_array const *arr ;
874};
875#line 50 "include/linux/moduleparam.h"
876struct kernel_param {
877 char const *name ;
878 struct kernel_param_ops const *ops ;
879 u16 perm ;
880 s16 level ;
881 union __anonunion____missing_field_name_199 __annonCompField32 ;
882};
883#line 63 "include/linux/moduleparam.h"
884struct kparam_string {
885 unsigned int maxlen ;
886 char *string ;
887};
888#line 69 "include/linux/moduleparam.h"
889struct kparam_array {
890 unsigned int max ;
891 unsigned int elemsize ;
892 unsigned int *num ;
893 struct kernel_param_ops const *ops ;
894 void *elem ;
895};
896#line 445
897struct module;
898#line 80 "include/linux/jump_label.h"
899struct module;
900#line 143 "include/linux/jump_label.h"
901struct static_key {
902 atomic_t enabled ;
903};
904#line 22 "include/linux/tracepoint.h"
905struct module;
906#line 23
907struct tracepoint;
908#line 23
909struct tracepoint;
910#line 25 "include/linux/tracepoint.h"
911struct tracepoint_func {
912 void *func ;
913 void *data ;
914};
915#line 30 "include/linux/tracepoint.h"
916struct tracepoint {
917 char const *name ;
918 struct static_key key ;
919 void (*regfunc)(void) ;
920 void (*unregfunc)(void) ;
921 struct tracepoint_func *funcs ;
922};
923#line 19 "include/linux/export.h"
924struct kernel_symbol {
925 unsigned long value ;
926 char const *name ;
927};
928#line 8 "include/asm-generic/module.h"
929struct mod_arch_specific {
930
931};
932#line 35 "include/linux/module.h"
933struct module;
934#line 37
935struct module_param_attrs;
936#line 37 "include/linux/module.h"
937struct module_kobject {
938 struct kobject kobj ;
939 struct module *mod ;
940 struct kobject *drivers_dir ;
941 struct module_param_attrs *mp ;
942};
943#line 44 "include/linux/module.h"
944struct module_attribute {
945 struct attribute attr ;
946 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
947 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
948 size_t count ) ;
949 void (*setup)(struct module * , char const * ) ;
950 int (*test)(struct module * ) ;
951 void (*free)(struct module * ) ;
952};
953#line 71
954struct exception_table_entry;
955#line 71
956struct exception_table_entry;
957#line 199
958enum module_state {
959 MODULE_STATE_LIVE = 0,
960 MODULE_STATE_COMING = 1,
961 MODULE_STATE_GOING = 2
962} ;
963#line 215 "include/linux/module.h"
964struct module_ref {
965 unsigned long incs ;
966 unsigned long decs ;
967} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
968#line 220
969struct module_sect_attrs;
970#line 220
971struct module_notes_attrs;
972#line 220
973struct ftrace_event_call;
974#line 220 "include/linux/module.h"
975struct module {
976 enum module_state state ;
977 struct list_head list ;
978 char name[64UL - sizeof(unsigned long )] ;
979 struct module_kobject mkobj ;
980 struct module_attribute *modinfo_attrs ;
981 char const *version ;
982 char const *srcversion ;
983 struct kobject *holders_dir ;
984 struct kernel_symbol const *syms ;
985 unsigned long const *crcs ;
986 unsigned int num_syms ;
987 struct kernel_param *kp ;
988 unsigned int num_kp ;
989 unsigned int num_gpl_syms ;
990 struct kernel_symbol const *gpl_syms ;
991 unsigned long const *gpl_crcs ;
992 struct kernel_symbol const *unused_syms ;
993 unsigned long const *unused_crcs ;
994 unsigned int num_unused_syms ;
995 unsigned int num_unused_gpl_syms ;
996 struct kernel_symbol const *unused_gpl_syms ;
997 unsigned long const *unused_gpl_crcs ;
998 struct kernel_symbol const *gpl_future_syms ;
999 unsigned long const *gpl_future_crcs ;
1000 unsigned int num_gpl_future_syms ;
1001 unsigned int num_exentries ;
1002 struct exception_table_entry *extable ;
1003 int (*init)(void) ;
1004 void *module_init ;
1005 void *module_core ;
1006 unsigned int init_size ;
1007 unsigned int core_size ;
1008 unsigned int init_text_size ;
1009 unsigned int core_text_size ;
1010 unsigned int init_ro_size ;
1011 unsigned int core_ro_size ;
1012 struct mod_arch_specific arch ;
1013 unsigned int taints ;
1014 unsigned int num_bugs ;
1015 struct list_head bug_list ;
1016 struct bug_entry *bug_table ;
1017 Elf64_Sym *symtab ;
1018 Elf64_Sym *core_symtab ;
1019 unsigned int num_symtab ;
1020 unsigned int core_num_syms ;
1021 char *strtab ;
1022 char *core_strtab ;
1023 struct module_sect_attrs *sect_attrs ;
1024 struct module_notes_attrs *notes_attrs ;
1025 char *args ;
1026 void *percpu ;
1027 unsigned int percpu_size ;
1028 unsigned int num_tracepoints ;
1029 struct tracepoint * const *tracepoints_ptrs ;
1030 unsigned int num_trace_bprintk_fmt ;
1031 char const **trace_bprintk_fmt_start ;
1032 struct ftrace_event_call **trace_events ;
1033 unsigned int num_trace_events ;
1034 struct list_head source_list ;
1035 struct list_head target_list ;
1036 struct task_struct *waiter ;
1037 void (*exit)(void) ;
1038 struct module_ref *refptr ;
1039 ctor_fn_t *ctors ;
1040 unsigned int num_ctors ;
1041};
1042#line 12 "include/linux/mod_devicetable.h"
1043typedef unsigned long kernel_ulong_t;
1044#line 219 "include/linux/mod_devicetable.h"
1045struct of_device_id {
1046 char name[32] ;
1047 char type[32] ;
1048 char compatible[128] ;
1049 void *data ;
1050};
1051#line 431 "include/linux/mod_devicetable.h"
1052struct i2c_device_id {
1053 char name[20] ;
1054 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1055};
1056#line 19 "include/linux/klist.h"
1057struct klist_node;
1058#line 19
1059struct klist_node;
1060#line 39 "include/linux/klist.h"
1061struct klist_node {
1062 void *n_klist ;
1063 struct list_head n_node ;
1064 struct kref n_ref ;
1065};
1066#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1067struct dma_map_ops;
1068#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1069struct dev_archdata {
1070 void *acpi_handle ;
1071 struct dma_map_ops *dma_ops ;
1072 void *iommu ;
1073};
1074#line 28 "include/linux/device.h"
1075struct device;
1076#line 29
1077struct device_private;
1078#line 29
1079struct device_private;
1080#line 30
1081struct device_driver;
1082#line 30
1083struct device_driver;
1084#line 31
1085struct driver_private;
1086#line 31
1087struct driver_private;
1088#line 32
1089struct module;
1090#line 33
1091struct class;
1092#line 33
1093struct class;
1094#line 34
1095struct subsys_private;
1096#line 34
1097struct subsys_private;
1098#line 35
1099struct bus_type;
1100#line 35
1101struct bus_type;
1102#line 36
1103struct device_node;
1104#line 36
1105struct device_node;
1106#line 37
1107struct iommu_ops;
1108#line 37
1109struct iommu_ops;
1110#line 39 "include/linux/device.h"
1111struct bus_attribute {
1112 struct attribute attr ;
1113 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1114 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1115};
1116#line 89
1117struct device_attribute;
1118#line 89
1119struct driver_attribute;
1120#line 89 "include/linux/device.h"
1121struct bus_type {
1122 char const *name ;
1123 char const *dev_name ;
1124 struct device *dev_root ;
1125 struct bus_attribute *bus_attrs ;
1126 struct device_attribute *dev_attrs ;
1127 struct driver_attribute *drv_attrs ;
1128 int (*match)(struct device *dev , struct device_driver *drv ) ;
1129 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1130 int (*probe)(struct device *dev ) ;
1131 int (*remove)(struct device *dev ) ;
1132 void (*shutdown)(struct device *dev ) ;
1133 int (*suspend)(struct device *dev , pm_message_t state ) ;
1134 int (*resume)(struct device *dev ) ;
1135 struct dev_pm_ops const *pm ;
1136 struct iommu_ops *iommu_ops ;
1137 struct subsys_private *p ;
1138};
1139#line 127
1140struct device_type;
1141#line 214 "include/linux/device.h"
1142struct device_driver {
1143 char const *name ;
1144 struct bus_type *bus ;
1145 struct module *owner ;
1146 char const *mod_name ;
1147 bool suppress_bind_attrs ;
1148 struct of_device_id const *of_match_table ;
1149 int (*probe)(struct device *dev ) ;
1150 int (*remove)(struct device *dev ) ;
1151 void (*shutdown)(struct device *dev ) ;
1152 int (*suspend)(struct device *dev , pm_message_t state ) ;
1153 int (*resume)(struct device *dev ) ;
1154 struct attribute_group const **groups ;
1155 struct dev_pm_ops const *pm ;
1156 struct driver_private *p ;
1157};
1158#line 249 "include/linux/device.h"
1159struct driver_attribute {
1160 struct attribute attr ;
1161 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1162 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1163};
1164#line 330
1165struct class_attribute;
1166#line 330 "include/linux/device.h"
1167struct class {
1168 char const *name ;
1169 struct module *owner ;
1170 struct class_attribute *class_attrs ;
1171 struct device_attribute *dev_attrs ;
1172 struct bin_attribute *dev_bin_attrs ;
1173 struct kobject *dev_kobj ;
1174 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1175 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1176 void (*class_release)(struct class *class ) ;
1177 void (*dev_release)(struct device *dev ) ;
1178 int (*suspend)(struct device *dev , pm_message_t state ) ;
1179 int (*resume)(struct device *dev ) ;
1180 struct kobj_ns_type_operations const *ns_type ;
1181 void const *(*namespace)(struct device *dev ) ;
1182 struct dev_pm_ops const *pm ;
1183 struct subsys_private *p ;
1184};
1185#line 397 "include/linux/device.h"
1186struct class_attribute {
1187 struct attribute attr ;
1188 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1189 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1190 size_t count ) ;
1191 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1192};
1193#line 465 "include/linux/device.h"
1194struct device_type {
1195 char const *name ;
1196 struct attribute_group const **groups ;
1197 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1198 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1199 void (*release)(struct device *dev ) ;
1200 struct dev_pm_ops const *pm ;
1201};
1202#line 476 "include/linux/device.h"
1203struct device_attribute {
1204 struct attribute attr ;
1205 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1206 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1207 size_t count ) ;
1208};
1209#line 559 "include/linux/device.h"
1210struct device_dma_parameters {
1211 unsigned int max_segment_size ;
1212 unsigned long segment_boundary_mask ;
1213};
1214#line 627
1215struct dma_coherent_mem;
1216#line 627 "include/linux/device.h"
1217struct device {
1218 struct device *parent ;
1219 struct device_private *p ;
1220 struct kobject kobj ;
1221 char const *init_name ;
1222 struct device_type const *type ;
1223 struct mutex mutex ;
1224 struct bus_type *bus ;
1225 struct device_driver *driver ;
1226 void *platform_data ;
1227 struct dev_pm_info power ;
1228 struct dev_pm_domain *pm_domain ;
1229 int numa_node ;
1230 u64 *dma_mask ;
1231 u64 coherent_dma_mask ;
1232 struct device_dma_parameters *dma_parms ;
1233 struct list_head dma_pools ;
1234 struct dma_coherent_mem *dma_mem ;
1235 struct dev_archdata archdata ;
1236 struct device_node *of_node ;
1237 dev_t devt ;
1238 u32 id ;
1239 spinlock_t devres_lock ;
1240 struct list_head devres_head ;
1241 struct klist_node knode_class ;
1242 struct class *class ;
1243 struct attribute_group const **groups ;
1244 void (*release)(struct device *dev ) ;
1245};
1246#line 43 "include/linux/pm_wakeup.h"
1247struct wakeup_source {
1248 char const *name ;
1249 struct list_head entry ;
1250 spinlock_t lock ;
1251 struct timer_list timer ;
1252 unsigned long timer_expires ;
1253 ktime_t total_time ;
1254 ktime_t max_time ;
1255 ktime_t last_time ;
1256 unsigned long event_count ;
1257 unsigned long active_count ;
1258 unsigned long relax_count ;
1259 unsigned long hit_count ;
1260 unsigned int active : 1 ;
1261};
1262#line 18 "include/linux/capability.h"
1263struct task_struct;
1264#line 94 "include/linux/capability.h"
1265struct kernel_cap_struct {
1266 __u32 cap[2] ;
1267};
1268#line 94 "include/linux/capability.h"
1269typedef struct kernel_cap_struct kernel_cap_t;
1270#line 378
1271struct user_namespace;
1272#line 378
1273struct user_namespace;
1274#line 14 "include/linux/prio_tree.h"
1275struct prio_tree_node;
1276#line 14 "include/linux/prio_tree.h"
1277struct raw_prio_tree_node {
1278 struct prio_tree_node *left ;
1279 struct prio_tree_node *right ;
1280 struct prio_tree_node *parent ;
1281};
1282#line 20 "include/linux/prio_tree.h"
1283struct prio_tree_node {
1284 struct prio_tree_node *left ;
1285 struct prio_tree_node *right ;
1286 struct prio_tree_node *parent ;
1287 unsigned long start ;
1288 unsigned long last ;
1289};
1290#line 23 "include/linux/mm_types.h"
1291struct address_space;
1292#line 23
1293struct address_space;
1294#line 40 "include/linux/mm_types.h"
1295union __anonunion____missing_field_name_204 {
1296 unsigned long index ;
1297 void *freelist ;
1298};
1299#line 40 "include/linux/mm_types.h"
1300struct __anonstruct____missing_field_name_208 {
1301 unsigned int inuse : 16 ;
1302 unsigned int objects : 15 ;
1303 unsigned int frozen : 1 ;
1304};
1305#line 40 "include/linux/mm_types.h"
1306union __anonunion____missing_field_name_207 {
1307 atomic_t _mapcount ;
1308 struct __anonstruct____missing_field_name_208 __annonCompField34 ;
1309};
1310#line 40 "include/linux/mm_types.h"
1311struct __anonstruct____missing_field_name_206 {
1312 union __anonunion____missing_field_name_207 __annonCompField35 ;
1313 atomic_t _count ;
1314};
1315#line 40 "include/linux/mm_types.h"
1316union __anonunion____missing_field_name_205 {
1317 unsigned long counters ;
1318 struct __anonstruct____missing_field_name_206 __annonCompField36 ;
1319};
1320#line 40 "include/linux/mm_types.h"
1321struct __anonstruct____missing_field_name_203 {
1322 union __anonunion____missing_field_name_204 __annonCompField33 ;
1323 union __anonunion____missing_field_name_205 __annonCompField37 ;
1324};
1325#line 40 "include/linux/mm_types.h"
1326struct __anonstruct____missing_field_name_210 {
1327 struct page *next ;
1328 int pages ;
1329 int pobjects ;
1330};
1331#line 40 "include/linux/mm_types.h"
1332union __anonunion____missing_field_name_209 {
1333 struct list_head lru ;
1334 struct __anonstruct____missing_field_name_210 __annonCompField39 ;
1335};
1336#line 40 "include/linux/mm_types.h"
1337union __anonunion____missing_field_name_211 {
1338 unsigned long private ;
1339 struct kmem_cache *slab ;
1340 struct page *first_page ;
1341};
1342#line 40 "include/linux/mm_types.h"
1343struct page {
1344 unsigned long flags ;
1345 struct address_space *mapping ;
1346 struct __anonstruct____missing_field_name_203 __annonCompField38 ;
1347 union __anonunion____missing_field_name_209 __annonCompField40 ;
1348 union __anonunion____missing_field_name_211 __annonCompField41 ;
1349 unsigned long debug_flags ;
1350} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1351#line 200 "include/linux/mm_types.h"
1352struct __anonstruct_vm_set_213 {
1353 struct list_head list ;
1354 void *parent ;
1355 struct vm_area_struct *head ;
1356};
1357#line 200 "include/linux/mm_types.h"
1358union __anonunion_shared_212 {
1359 struct __anonstruct_vm_set_213 vm_set ;
1360 struct raw_prio_tree_node prio_tree_node ;
1361};
1362#line 200
1363struct anon_vma;
1364#line 200
1365struct vm_operations_struct;
1366#line 200
1367struct mempolicy;
1368#line 200 "include/linux/mm_types.h"
1369struct vm_area_struct {
1370 struct mm_struct *vm_mm ;
1371 unsigned long vm_start ;
1372 unsigned long vm_end ;
1373 struct vm_area_struct *vm_next ;
1374 struct vm_area_struct *vm_prev ;
1375 pgprot_t vm_page_prot ;
1376 unsigned long vm_flags ;
1377 struct rb_node vm_rb ;
1378 union __anonunion_shared_212 shared ;
1379 struct list_head anon_vma_chain ;
1380 struct anon_vma *anon_vma ;
1381 struct vm_operations_struct const *vm_ops ;
1382 unsigned long vm_pgoff ;
1383 struct file *vm_file ;
1384 void *vm_private_data ;
1385 struct mempolicy *vm_policy ;
1386};
1387#line 257 "include/linux/mm_types.h"
1388struct core_thread {
1389 struct task_struct *task ;
1390 struct core_thread *next ;
1391};
1392#line 262 "include/linux/mm_types.h"
1393struct core_state {
1394 atomic_t nr_threads ;
1395 struct core_thread dumper ;
1396 struct completion startup ;
1397};
1398#line 284 "include/linux/mm_types.h"
1399struct mm_rss_stat {
1400 atomic_long_t count[3] ;
1401};
1402#line 288
1403struct linux_binfmt;
1404#line 288
1405struct mmu_notifier_mm;
1406#line 288 "include/linux/mm_types.h"
1407struct mm_struct {
1408 struct vm_area_struct *mmap ;
1409 struct rb_root mm_rb ;
1410 struct vm_area_struct *mmap_cache ;
1411 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1412 unsigned long pgoff , unsigned long flags ) ;
1413 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1414 unsigned long mmap_base ;
1415 unsigned long task_size ;
1416 unsigned long cached_hole_size ;
1417 unsigned long free_area_cache ;
1418 pgd_t *pgd ;
1419 atomic_t mm_users ;
1420 atomic_t mm_count ;
1421 int map_count ;
1422 spinlock_t page_table_lock ;
1423 struct rw_semaphore mmap_sem ;
1424 struct list_head mmlist ;
1425 unsigned long hiwater_rss ;
1426 unsigned long hiwater_vm ;
1427 unsigned long total_vm ;
1428 unsigned long locked_vm ;
1429 unsigned long pinned_vm ;
1430 unsigned long shared_vm ;
1431 unsigned long exec_vm ;
1432 unsigned long stack_vm ;
1433 unsigned long reserved_vm ;
1434 unsigned long def_flags ;
1435 unsigned long nr_ptes ;
1436 unsigned long start_code ;
1437 unsigned long end_code ;
1438 unsigned long start_data ;
1439 unsigned long end_data ;
1440 unsigned long start_brk ;
1441 unsigned long brk ;
1442 unsigned long start_stack ;
1443 unsigned long arg_start ;
1444 unsigned long arg_end ;
1445 unsigned long env_start ;
1446 unsigned long env_end ;
1447 unsigned long saved_auxv[44] ;
1448 struct mm_rss_stat rss_stat ;
1449 struct linux_binfmt *binfmt ;
1450 cpumask_var_t cpu_vm_mask_var ;
1451 mm_context_t context ;
1452 unsigned int faultstamp ;
1453 unsigned int token_priority ;
1454 unsigned int last_interval ;
1455 unsigned long flags ;
1456 struct core_state *core_state ;
1457 spinlock_t ioctx_lock ;
1458 struct hlist_head ioctx_list ;
1459 struct task_struct *owner ;
1460 struct file *exe_file ;
1461 unsigned long num_exe_file_vmas ;
1462 struct mmu_notifier_mm *mmu_notifier_mm ;
1463 pgtable_t pmd_huge_pte ;
1464 struct cpumask cpumask_allocation ;
1465};
1466#line 7 "include/asm-generic/cputime.h"
1467typedef unsigned long cputime_t;
1468#line 84 "include/linux/sem.h"
1469struct task_struct;
1470#line 101
1471struct sem_undo_list;
1472#line 101 "include/linux/sem.h"
1473struct sysv_sem {
1474 struct sem_undo_list *undo_list ;
1475};
1476#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1477struct siginfo;
1478#line 10
1479struct siginfo;
1480#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1481struct __anonstruct_sigset_t_215 {
1482 unsigned long sig[1] ;
1483};
1484#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1485typedef struct __anonstruct_sigset_t_215 sigset_t;
1486#line 17 "include/asm-generic/signal-defs.h"
1487typedef void __signalfn_t(int );
1488#line 18 "include/asm-generic/signal-defs.h"
1489typedef __signalfn_t *__sighandler_t;
1490#line 20 "include/asm-generic/signal-defs.h"
1491typedef void __restorefn_t(void);
1492#line 21 "include/asm-generic/signal-defs.h"
1493typedef __restorefn_t *__sigrestore_t;
1494#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1495struct sigaction {
1496 __sighandler_t sa_handler ;
1497 unsigned long sa_flags ;
1498 __sigrestore_t sa_restorer ;
1499 sigset_t sa_mask ;
1500};
1501#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1502struct k_sigaction {
1503 struct sigaction sa ;
1504};
1505#line 7 "include/asm-generic/siginfo.h"
1506union sigval {
1507 int sival_int ;
1508 void *sival_ptr ;
1509};
1510#line 7 "include/asm-generic/siginfo.h"
1511typedef union sigval sigval_t;
1512#line 48 "include/asm-generic/siginfo.h"
1513struct __anonstruct__kill_217 {
1514 __kernel_pid_t _pid ;
1515 __kernel_uid32_t _uid ;
1516};
1517#line 48 "include/asm-generic/siginfo.h"
1518struct __anonstruct__timer_218 {
1519 __kernel_timer_t _tid ;
1520 int _overrun ;
1521 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1522 sigval_t _sigval ;
1523 int _sys_private ;
1524};
1525#line 48 "include/asm-generic/siginfo.h"
1526struct __anonstruct__rt_219 {
1527 __kernel_pid_t _pid ;
1528 __kernel_uid32_t _uid ;
1529 sigval_t _sigval ;
1530};
1531#line 48 "include/asm-generic/siginfo.h"
1532struct __anonstruct__sigchld_220 {
1533 __kernel_pid_t _pid ;
1534 __kernel_uid32_t _uid ;
1535 int _status ;
1536 __kernel_clock_t _utime ;
1537 __kernel_clock_t _stime ;
1538};
1539#line 48 "include/asm-generic/siginfo.h"
1540struct __anonstruct__sigfault_221 {
1541 void *_addr ;
1542 short _addr_lsb ;
1543};
1544#line 48 "include/asm-generic/siginfo.h"
1545struct __anonstruct__sigpoll_222 {
1546 long _band ;
1547 int _fd ;
1548};
1549#line 48 "include/asm-generic/siginfo.h"
1550union __anonunion__sifields_216 {
1551 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1552 struct __anonstruct__kill_217 _kill ;
1553 struct __anonstruct__timer_218 _timer ;
1554 struct __anonstruct__rt_219 _rt ;
1555 struct __anonstruct__sigchld_220 _sigchld ;
1556 struct __anonstruct__sigfault_221 _sigfault ;
1557 struct __anonstruct__sigpoll_222 _sigpoll ;
1558};
1559#line 48 "include/asm-generic/siginfo.h"
1560struct siginfo {
1561 int si_signo ;
1562 int si_errno ;
1563 int si_code ;
1564 union __anonunion__sifields_216 _sifields ;
1565};
1566#line 48 "include/asm-generic/siginfo.h"
1567typedef struct siginfo siginfo_t;
1568#line 288
1569struct siginfo;
1570#line 10 "include/linux/signal.h"
1571struct task_struct;
1572#line 18
1573struct user_struct;
1574#line 28 "include/linux/signal.h"
1575struct sigpending {
1576 struct list_head list ;
1577 sigset_t signal ;
1578};
1579#line 239
1580struct timespec;
1581#line 240
1582struct pt_regs;
1583#line 50 "include/linux/pid.h"
1584struct pid_namespace;
1585#line 50 "include/linux/pid.h"
1586struct upid {
1587 int nr ;
1588 struct pid_namespace *ns ;
1589 struct hlist_node pid_chain ;
1590};
1591#line 57 "include/linux/pid.h"
1592struct pid {
1593 atomic_t count ;
1594 unsigned int level ;
1595 struct hlist_head tasks[3] ;
1596 struct rcu_head rcu ;
1597 struct upid numbers[1] ;
1598};
1599#line 69 "include/linux/pid.h"
1600struct pid_link {
1601 struct hlist_node node ;
1602 struct pid *pid ;
1603};
1604#line 100
1605struct pid_namespace;
1606#line 10 "include/linux/seccomp.h"
1607struct __anonstruct_seccomp_t_225 {
1608 int mode ;
1609};
1610#line 10 "include/linux/seccomp.h"
1611typedef struct __anonstruct_seccomp_t_225 seccomp_t;
1612#line 81 "include/linux/plist.h"
1613struct plist_head {
1614 struct list_head node_list ;
1615};
1616#line 85 "include/linux/plist.h"
1617struct plist_node {
1618 int prio ;
1619 struct list_head prio_list ;
1620 struct list_head node_list ;
1621};
1622#line 28 "include/linux/rtmutex.h"
1623struct rt_mutex {
1624 raw_spinlock_t wait_lock ;
1625 struct plist_head wait_list ;
1626 struct task_struct *owner ;
1627 int save_state ;
1628 char const *name ;
1629 char const *file ;
1630 int line ;
1631 void *magic ;
1632};
1633#line 40
1634struct rt_mutex_waiter;
1635#line 40
1636struct rt_mutex_waiter;
1637#line 42 "include/linux/resource.h"
1638struct rlimit {
1639 unsigned long rlim_cur ;
1640 unsigned long rlim_max ;
1641};
1642#line 81
1643struct task_struct;
1644#line 8 "include/linux/timerqueue.h"
1645struct timerqueue_node {
1646 struct rb_node node ;
1647 ktime_t expires ;
1648};
1649#line 13 "include/linux/timerqueue.h"
1650struct timerqueue_head {
1651 struct rb_root head ;
1652 struct timerqueue_node *next ;
1653};
1654#line 27 "include/linux/hrtimer.h"
1655struct hrtimer_clock_base;
1656#line 27
1657struct hrtimer_clock_base;
1658#line 28
1659struct hrtimer_cpu_base;
1660#line 28
1661struct hrtimer_cpu_base;
1662#line 44
1663enum hrtimer_restart {
1664 HRTIMER_NORESTART = 0,
1665 HRTIMER_RESTART = 1
1666} ;
1667#line 108 "include/linux/hrtimer.h"
1668struct hrtimer {
1669 struct timerqueue_node node ;
1670 ktime_t _softexpires ;
1671 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1672 struct hrtimer_clock_base *base ;
1673 unsigned long state ;
1674 int start_pid ;
1675 void *start_site ;
1676 char start_comm[16] ;
1677};
1678#line 145 "include/linux/hrtimer.h"
1679struct hrtimer_clock_base {
1680 struct hrtimer_cpu_base *cpu_base ;
1681 int index ;
1682 clockid_t clockid ;
1683 struct timerqueue_head active ;
1684 ktime_t resolution ;
1685 ktime_t (*get_time)(void) ;
1686 ktime_t softirq_time ;
1687 ktime_t offset ;
1688};
1689#line 178 "include/linux/hrtimer.h"
1690struct hrtimer_cpu_base {
1691 raw_spinlock_t lock ;
1692 unsigned long active_bases ;
1693 ktime_t expires_next ;
1694 int hres_active ;
1695 int hang_detected ;
1696 unsigned long nr_events ;
1697 unsigned long nr_retries ;
1698 unsigned long nr_hangs ;
1699 ktime_t max_hang_time ;
1700 struct hrtimer_clock_base clock_base[3] ;
1701};
1702#line 11 "include/linux/task_io_accounting.h"
1703struct task_io_accounting {
1704 u64 rchar ;
1705 u64 wchar ;
1706 u64 syscr ;
1707 u64 syscw ;
1708 u64 read_bytes ;
1709 u64 write_bytes ;
1710 u64 cancelled_write_bytes ;
1711};
1712#line 13 "include/linux/latencytop.h"
1713struct task_struct;
1714#line 20 "include/linux/latencytop.h"
1715struct latency_record {
1716 unsigned long backtrace[12] ;
1717 unsigned int count ;
1718 unsigned long time ;
1719 unsigned long max ;
1720};
1721#line 29 "include/linux/key.h"
1722typedef int32_t key_serial_t;
1723#line 32 "include/linux/key.h"
1724typedef uint32_t key_perm_t;
1725#line 34
1726struct key;
1727#line 34
1728struct key;
1729#line 75
1730struct user_struct;
1731#line 76
1732struct signal_struct;
1733#line 76
1734struct signal_struct;
1735#line 77
1736struct cred;
1737#line 79
1738struct key_type;
1739#line 79
1740struct key_type;
1741#line 81
1742struct keyring_list;
1743#line 81
1744struct keyring_list;
1745#line 124
1746struct key_user;
1747#line 124 "include/linux/key.h"
1748union __anonunion____missing_field_name_226 {
1749 time_t expiry ;
1750 time_t revoked_at ;
1751};
1752#line 124 "include/linux/key.h"
1753union __anonunion_type_data_227 {
1754 struct list_head link ;
1755 unsigned long x[2] ;
1756 void *p[2] ;
1757 int reject_error ;
1758};
1759#line 124 "include/linux/key.h"
1760union __anonunion_payload_228 {
1761 unsigned long value ;
1762 void *rcudata ;
1763 void *data ;
1764 struct keyring_list *subscriptions ;
1765};
1766#line 124 "include/linux/key.h"
1767struct key {
1768 atomic_t usage ;
1769 key_serial_t serial ;
1770 struct rb_node serial_node ;
1771 struct key_type *type ;
1772 struct rw_semaphore sem ;
1773 struct key_user *user ;
1774 void *security ;
1775 union __anonunion____missing_field_name_226 __annonCompField42 ;
1776 uid_t uid ;
1777 gid_t gid ;
1778 key_perm_t perm ;
1779 unsigned short quotalen ;
1780 unsigned short datalen ;
1781 unsigned long flags ;
1782 char *description ;
1783 union __anonunion_type_data_227 type_data ;
1784 union __anonunion_payload_228 payload ;
1785};
1786#line 18 "include/linux/selinux.h"
1787struct audit_context;
1788#line 18
1789struct audit_context;
1790#line 21 "include/linux/cred.h"
1791struct user_struct;
1792#line 22
1793struct cred;
1794#line 31 "include/linux/cred.h"
1795struct group_info {
1796 atomic_t usage ;
1797 int ngroups ;
1798 int nblocks ;
1799 gid_t small_block[32] ;
1800 gid_t *blocks[0] ;
1801};
1802#line 83 "include/linux/cred.h"
1803struct thread_group_cred {
1804 atomic_t usage ;
1805 pid_t tgid ;
1806 spinlock_t lock ;
1807 struct key *session_keyring ;
1808 struct key *process_keyring ;
1809 struct rcu_head rcu ;
1810};
1811#line 116 "include/linux/cred.h"
1812struct cred {
1813 atomic_t usage ;
1814 atomic_t subscribers ;
1815 void *put_addr ;
1816 unsigned int magic ;
1817 uid_t uid ;
1818 gid_t gid ;
1819 uid_t suid ;
1820 gid_t sgid ;
1821 uid_t euid ;
1822 gid_t egid ;
1823 uid_t fsuid ;
1824 gid_t fsgid ;
1825 unsigned int securebits ;
1826 kernel_cap_t cap_inheritable ;
1827 kernel_cap_t cap_permitted ;
1828 kernel_cap_t cap_effective ;
1829 kernel_cap_t cap_bset ;
1830 unsigned char jit_keyring ;
1831 struct key *thread_keyring ;
1832 struct key *request_key_auth ;
1833 struct thread_group_cred *tgcred ;
1834 void *security ;
1835 struct user_struct *user ;
1836 struct user_namespace *user_ns ;
1837 struct group_info *group_info ;
1838 struct rcu_head rcu ;
1839};
1840#line 61 "include/linux/llist.h"
1841struct llist_node;
1842#line 65 "include/linux/llist.h"
1843struct llist_node {
1844 struct llist_node *next ;
1845};
1846#line 97 "include/linux/sched.h"
1847struct futex_pi_state;
1848#line 97
1849struct futex_pi_state;
1850#line 98
1851struct robust_list_head;
1852#line 98
1853struct robust_list_head;
1854#line 99
1855struct bio_list;
1856#line 99
1857struct bio_list;
1858#line 100
1859struct fs_struct;
1860#line 100
1861struct fs_struct;
1862#line 101
1863struct perf_event_context;
1864#line 101
1865struct perf_event_context;
1866#line 102
1867struct blk_plug;
1868#line 102
1869struct blk_plug;
1870#line 151
1871struct cfs_rq;
1872#line 151
1873struct cfs_rq;
1874#line 259
1875struct task_struct;
1876#line 366
1877struct nsproxy;
1878#line 367
1879struct user_namespace;
1880#line 214 "include/linux/aio.h"
1881struct mm_struct;
1882#line 443 "include/linux/sched.h"
1883struct sighand_struct {
1884 atomic_t count ;
1885 struct k_sigaction action[64] ;
1886 spinlock_t siglock ;
1887 wait_queue_head_t signalfd_wqh ;
1888};
1889#line 450 "include/linux/sched.h"
1890struct pacct_struct {
1891 int ac_flag ;
1892 long ac_exitcode ;
1893 unsigned long ac_mem ;
1894 cputime_t ac_utime ;
1895 cputime_t ac_stime ;
1896 unsigned long ac_minflt ;
1897 unsigned long ac_majflt ;
1898};
1899#line 458 "include/linux/sched.h"
1900struct cpu_itimer {
1901 cputime_t expires ;
1902 cputime_t incr ;
1903 u32 error ;
1904 u32 incr_error ;
1905};
1906#line 476 "include/linux/sched.h"
1907struct task_cputime {
1908 cputime_t utime ;
1909 cputime_t stime ;
1910 unsigned long long sum_exec_runtime ;
1911};
1912#line 512 "include/linux/sched.h"
1913struct thread_group_cputimer {
1914 struct task_cputime cputime ;
1915 int running ;
1916 raw_spinlock_t lock ;
1917};
1918#line 519
1919struct autogroup;
1920#line 519
1921struct autogroup;
1922#line 528
1923struct tty_struct;
1924#line 528
1925struct taskstats;
1926#line 528
1927struct tty_audit_buf;
1928#line 528 "include/linux/sched.h"
1929struct signal_struct {
1930 atomic_t sigcnt ;
1931 atomic_t live ;
1932 int nr_threads ;
1933 wait_queue_head_t wait_chldexit ;
1934 struct task_struct *curr_target ;
1935 struct sigpending shared_pending ;
1936 int group_exit_code ;
1937 int notify_count ;
1938 struct task_struct *group_exit_task ;
1939 int group_stop_count ;
1940 unsigned int flags ;
1941 unsigned int is_child_subreaper : 1 ;
1942 unsigned int has_child_subreaper : 1 ;
1943 struct list_head posix_timers ;
1944 struct hrtimer real_timer ;
1945 struct pid *leader_pid ;
1946 ktime_t it_real_incr ;
1947 struct cpu_itimer it[2] ;
1948 struct thread_group_cputimer cputimer ;
1949 struct task_cputime cputime_expires ;
1950 struct list_head cpu_timers[3] ;
1951 struct pid *tty_old_pgrp ;
1952 int leader ;
1953 struct tty_struct *tty ;
1954 struct autogroup *autogroup ;
1955 cputime_t utime ;
1956 cputime_t stime ;
1957 cputime_t cutime ;
1958 cputime_t cstime ;
1959 cputime_t gtime ;
1960 cputime_t cgtime ;
1961 cputime_t prev_utime ;
1962 cputime_t prev_stime ;
1963 unsigned long nvcsw ;
1964 unsigned long nivcsw ;
1965 unsigned long cnvcsw ;
1966 unsigned long cnivcsw ;
1967 unsigned long min_flt ;
1968 unsigned long maj_flt ;
1969 unsigned long cmin_flt ;
1970 unsigned long cmaj_flt ;
1971 unsigned long inblock ;
1972 unsigned long oublock ;
1973 unsigned long cinblock ;
1974 unsigned long coublock ;
1975 unsigned long maxrss ;
1976 unsigned long cmaxrss ;
1977 struct task_io_accounting ioac ;
1978 unsigned long long sum_sched_runtime ;
1979 struct rlimit rlim[16] ;
1980 struct pacct_struct pacct ;
1981 struct taskstats *stats ;
1982 unsigned int audit_tty ;
1983 struct tty_audit_buf *tty_audit_buf ;
1984 struct rw_semaphore group_rwsem ;
1985 int oom_adj ;
1986 int oom_score_adj ;
1987 int oom_score_adj_min ;
1988 struct mutex cred_guard_mutex ;
1989};
1990#line 703 "include/linux/sched.h"
1991struct user_struct {
1992 atomic_t __count ;
1993 atomic_t processes ;
1994 atomic_t files ;
1995 atomic_t sigpending ;
1996 atomic_t inotify_watches ;
1997 atomic_t inotify_devs ;
1998 atomic_t fanotify_listeners ;
1999 atomic_long_t epoll_watches ;
2000 unsigned long mq_bytes ;
2001 unsigned long locked_shm ;
2002 struct key *uid_keyring ;
2003 struct key *session_keyring ;
2004 struct hlist_node uidhash_node ;
2005 uid_t uid ;
2006 struct user_namespace *user_ns ;
2007 atomic_long_t locked_vm ;
2008};
2009#line 747
2010struct backing_dev_info;
2011#line 747
2012struct backing_dev_info;
2013#line 748
2014struct reclaim_state;
2015#line 748
2016struct reclaim_state;
2017#line 751 "include/linux/sched.h"
2018struct sched_info {
2019 unsigned long pcount ;
2020 unsigned long long run_delay ;
2021 unsigned long long last_arrival ;
2022 unsigned long long last_queued ;
2023};
2024#line 763 "include/linux/sched.h"
2025struct task_delay_info {
2026 spinlock_t lock ;
2027 unsigned int flags ;
2028 struct timespec blkio_start ;
2029 struct timespec blkio_end ;
2030 u64 blkio_delay ;
2031 u64 swapin_delay ;
2032 u32 blkio_count ;
2033 u32 swapin_count ;
2034 struct timespec freepages_start ;
2035 struct timespec freepages_end ;
2036 u64 freepages_delay ;
2037 u32 freepages_count ;
2038};
2039#line 1088
2040struct io_context;
2041#line 1088
2042struct io_context;
2043#line 1097
2044struct audit_context;
2045#line 1098
2046struct mempolicy;
2047#line 1099
2048struct pipe_inode_info;
2049#line 1099
2050struct pipe_inode_info;
2051#line 1102
2052struct rq;
2053#line 1102
2054struct rq;
2055#line 1122 "include/linux/sched.h"
2056struct sched_class {
2057 struct sched_class const *next ;
2058 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2059 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2060 void (*yield_task)(struct rq *rq ) ;
2061 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2062 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2063 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2064 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2065 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2066 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2067 void (*post_schedule)(struct rq *this_rq ) ;
2068 void (*task_waking)(struct task_struct *task ) ;
2069 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2070 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2071 void (*rq_online)(struct rq *rq ) ;
2072 void (*rq_offline)(struct rq *rq ) ;
2073 void (*set_curr_task)(struct rq *rq ) ;
2074 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2075 void (*task_fork)(struct task_struct *p ) ;
2076 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2077 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2078 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2079 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2080 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2081};
2082#line 1167 "include/linux/sched.h"
2083struct load_weight {
2084 unsigned long weight ;
2085 unsigned long inv_weight ;
2086};
2087#line 1172 "include/linux/sched.h"
2088struct sched_statistics {
2089 u64 wait_start ;
2090 u64 wait_max ;
2091 u64 wait_count ;
2092 u64 wait_sum ;
2093 u64 iowait_count ;
2094 u64 iowait_sum ;
2095 u64 sleep_start ;
2096 u64 sleep_max ;
2097 s64 sum_sleep_runtime ;
2098 u64 block_start ;
2099 u64 block_max ;
2100 u64 exec_max ;
2101 u64 slice_max ;
2102 u64 nr_migrations_cold ;
2103 u64 nr_failed_migrations_affine ;
2104 u64 nr_failed_migrations_running ;
2105 u64 nr_failed_migrations_hot ;
2106 u64 nr_forced_migrations ;
2107 u64 nr_wakeups ;
2108 u64 nr_wakeups_sync ;
2109 u64 nr_wakeups_migrate ;
2110 u64 nr_wakeups_local ;
2111 u64 nr_wakeups_remote ;
2112 u64 nr_wakeups_affine ;
2113 u64 nr_wakeups_affine_attempts ;
2114 u64 nr_wakeups_passive ;
2115 u64 nr_wakeups_idle ;
2116};
2117#line 1207 "include/linux/sched.h"
2118struct sched_entity {
2119 struct load_weight load ;
2120 struct rb_node run_node ;
2121 struct list_head group_node ;
2122 unsigned int on_rq ;
2123 u64 exec_start ;
2124 u64 sum_exec_runtime ;
2125 u64 vruntime ;
2126 u64 prev_sum_exec_runtime ;
2127 u64 nr_migrations ;
2128 struct sched_statistics statistics ;
2129 struct sched_entity *parent ;
2130 struct cfs_rq *cfs_rq ;
2131 struct cfs_rq *my_q ;
2132};
2133#line 1233
2134struct rt_rq;
2135#line 1233 "include/linux/sched.h"
2136struct sched_rt_entity {
2137 struct list_head run_list ;
2138 unsigned long timeout ;
2139 unsigned int time_slice ;
2140 int nr_cpus_allowed ;
2141 struct sched_rt_entity *back ;
2142 struct sched_rt_entity *parent ;
2143 struct rt_rq *rt_rq ;
2144 struct rt_rq *my_q ;
2145};
2146#line 1264
2147struct files_struct;
2148#line 1264
2149struct css_set;
2150#line 1264
2151struct compat_robust_list_head;
2152#line 1264
2153struct mem_cgroup;
2154#line 1264 "include/linux/sched.h"
2155struct memcg_batch_info {
2156 int do_batch ;
2157 struct mem_cgroup *memcg ;
2158 unsigned long nr_pages ;
2159 unsigned long memsw_nr_pages ;
2160};
2161#line 1264 "include/linux/sched.h"
2162struct task_struct {
2163 long volatile state ;
2164 void *stack ;
2165 atomic_t usage ;
2166 unsigned int flags ;
2167 unsigned int ptrace ;
2168 struct llist_node wake_entry ;
2169 int on_cpu ;
2170 int on_rq ;
2171 int prio ;
2172 int static_prio ;
2173 int normal_prio ;
2174 unsigned int rt_priority ;
2175 struct sched_class const *sched_class ;
2176 struct sched_entity se ;
2177 struct sched_rt_entity rt ;
2178 struct hlist_head preempt_notifiers ;
2179 unsigned char fpu_counter ;
2180 unsigned int policy ;
2181 cpumask_t cpus_allowed ;
2182 struct sched_info sched_info ;
2183 struct list_head tasks ;
2184 struct plist_node pushable_tasks ;
2185 struct mm_struct *mm ;
2186 struct mm_struct *active_mm ;
2187 unsigned int brk_randomized : 1 ;
2188 int exit_state ;
2189 int exit_code ;
2190 int exit_signal ;
2191 int pdeath_signal ;
2192 unsigned int jobctl ;
2193 unsigned int personality ;
2194 unsigned int did_exec : 1 ;
2195 unsigned int in_execve : 1 ;
2196 unsigned int in_iowait : 1 ;
2197 unsigned int sched_reset_on_fork : 1 ;
2198 unsigned int sched_contributes_to_load : 1 ;
2199 unsigned int irq_thread : 1 ;
2200 pid_t pid ;
2201 pid_t tgid ;
2202 unsigned long stack_canary ;
2203 struct task_struct *real_parent ;
2204 struct task_struct *parent ;
2205 struct list_head children ;
2206 struct list_head sibling ;
2207 struct task_struct *group_leader ;
2208 struct list_head ptraced ;
2209 struct list_head ptrace_entry ;
2210 struct pid_link pids[3] ;
2211 struct list_head thread_group ;
2212 struct completion *vfork_done ;
2213 int *set_child_tid ;
2214 int *clear_child_tid ;
2215 cputime_t utime ;
2216 cputime_t stime ;
2217 cputime_t utimescaled ;
2218 cputime_t stimescaled ;
2219 cputime_t gtime ;
2220 cputime_t prev_utime ;
2221 cputime_t prev_stime ;
2222 unsigned long nvcsw ;
2223 unsigned long nivcsw ;
2224 struct timespec start_time ;
2225 struct timespec real_start_time ;
2226 unsigned long min_flt ;
2227 unsigned long maj_flt ;
2228 struct task_cputime cputime_expires ;
2229 struct list_head cpu_timers[3] ;
2230 struct cred const *real_cred ;
2231 struct cred const *cred ;
2232 struct cred *replacement_session_keyring ;
2233 char comm[16] ;
2234 int link_count ;
2235 int total_link_count ;
2236 struct sysv_sem sysvsem ;
2237 unsigned long last_switch_count ;
2238 struct thread_struct thread ;
2239 struct fs_struct *fs ;
2240 struct files_struct *files ;
2241 struct nsproxy *nsproxy ;
2242 struct signal_struct *signal ;
2243 struct sighand_struct *sighand ;
2244 sigset_t blocked ;
2245 sigset_t real_blocked ;
2246 sigset_t saved_sigmask ;
2247 struct sigpending pending ;
2248 unsigned long sas_ss_sp ;
2249 size_t sas_ss_size ;
2250 int (*notifier)(void *priv ) ;
2251 void *notifier_data ;
2252 sigset_t *notifier_mask ;
2253 struct audit_context *audit_context ;
2254 uid_t loginuid ;
2255 unsigned int sessionid ;
2256 seccomp_t seccomp ;
2257 u32 parent_exec_id ;
2258 u32 self_exec_id ;
2259 spinlock_t alloc_lock ;
2260 raw_spinlock_t pi_lock ;
2261 struct plist_head pi_waiters ;
2262 struct rt_mutex_waiter *pi_blocked_on ;
2263 struct mutex_waiter *blocked_on ;
2264 unsigned int irq_events ;
2265 unsigned long hardirq_enable_ip ;
2266 unsigned long hardirq_disable_ip ;
2267 unsigned int hardirq_enable_event ;
2268 unsigned int hardirq_disable_event ;
2269 int hardirqs_enabled ;
2270 int hardirq_context ;
2271 unsigned long softirq_disable_ip ;
2272 unsigned long softirq_enable_ip ;
2273 unsigned int softirq_disable_event ;
2274 unsigned int softirq_enable_event ;
2275 int softirqs_enabled ;
2276 int softirq_context ;
2277 void *journal_info ;
2278 struct bio_list *bio_list ;
2279 struct blk_plug *plug ;
2280 struct reclaim_state *reclaim_state ;
2281 struct backing_dev_info *backing_dev_info ;
2282 struct io_context *io_context ;
2283 unsigned long ptrace_message ;
2284 siginfo_t *last_siginfo ;
2285 struct task_io_accounting ioac ;
2286 u64 acct_rss_mem1 ;
2287 u64 acct_vm_mem1 ;
2288 cputime_t acct_timexpd ;
2289 nodemask_t mems_allowed ;
2290 seqcount_t mems_allowed_seq ;
2291 int cpuset_mem_spread_rotor ;
2292 int cpuset_slab_spread_rotor ;
2293 struct css_set *cgroups ;
2294 struct list_head cg_list ;
2295 struct robust_list_head *robust_list ;
2296 struct compat_robust_list_head *compat_robust_list ;
2297 struct list_head pi_state_list ;
2298 struct futex_pi_state *pi_state_cache ;
2299 struct perf_event_context *perf_event_ctxp[2] ;
2300 struct mutex perf_event_mutex ;
2301 struct list_head perf_event_list ;
2302 struct mempolicy *mempolicy ;
2303 short il_next ;
2304 short pref_node_fork ;
2305 struct rcu_head rcu ;
2306 struct pipe_inode_info *splice_pipe ;
2307 struct task_delay_info *delays ;
2308 int make_it_fail ;
2309 int nr_dirtied ;
2310 int nr_dirtied_pause ;
2311 unsigned long dirty_paused_when ;
2312 int latency_record_count ;
2313 struct latency_record latency_record[32] ;
2314 unsigned long timer_slack_ns ;
2315 unsigned long default_timer_slack_ns ;
2316 struct list_head *scm_work_list ;
2317 unsigned long trace ;
2318 unsigned long trace_recursion ;
2319 struct memcg_batch_info memcg_batch ;
2320 atomic_t ptrace_bp_refcnt ;
2321};
2322#line 1681
2323struct pid_namespace;
2324#line 28 "include/linux/of.h"
2325typedef u32 phandle;
2326#line 31 "include/linux/of.h"
2327struct property {
2328 char *name ;
2329 int length ;
2330 void *value ;
2331 struct property *next ;
2332 unsigned long _flags ;
2333 unsigned int unique_id ;
2334};
2335#line 44
2336struct proc_dir_entry;
2337#line 44 "include/linux/of.h"
2338struct device_node {
2339 char const *name ;
2340 char const *type ;
2341 phandle phandle ;
2342 char *full_name ;
2343 struct property *properties ;
2344 struct property *deadprops ;
2345 struct device_node *parent ;
2346 struct device_node *child ;
2347 struct device_node *sibling ;
2348 struct device_node *next ;
2349 struct device_node *allnext ;
2350 struct proc_dir_entry *pde ;
2351 struct kref kref ;
2352 unsigned long _flags ;
2353 void *data ;
2354};
2355#line 44 "include/linux/i2c.h"
2356struct i2c_msg;
2357#line 44
2358struct i2c_msg;
2359#line 45
2360struct i2c_algorithm;
2361#line 45
2362struct i2c_algorithm;
2363#line 46
2364struct i2c_adapter;
2365#line 46
2366struct i2c_adapter;
2367#line 47
2368struct i2c_client;
2369#line 47
2370struct i2c_client;
2371#line 48
2372struct i2c_driver;
2373#line 48
2374struct i2c_driver;
2375#line 49
2376union i2c_smbus_data;
2377#line 49
2378union i2c_smbus_data;
2379#line 50
2380struct i2c_board_info;
2381#line 50
2382struct i2c_board_info;
2383#line 52
2384struct module;
2385#line 161 "include/linux/i2c.h"
2386struct i2c_driver {
2387 unsigned int class ;
2388 int (*attach_adapter)(struct i2c_adapter * ) __attribute__((__deprecated__)) ;
2389 int (*detach_adapter)(struct i2c_adapter * ) __attribute__((__deprecated__)) ;
2390 int (*probe)(struct i2c_client * , struct i2c_device_id const * ) ;
2391 int (*remove)(struct i2c_client * ) ;
2392 void (*shutdown)(struct i2c_client * ) ;
2393 int (*suspend)(struct i2c_client * , pm_message_t mesg ) ;
2394 int (*resume)(struct i2c_client * ) ;
2395 void (*alert)(struct i2c_client * , unsigned int data ) ;
2396 int (*command)(struct i2c_client *client , unsigned int cmd , void *arg ) ;
2397 struct device_driver driver ;
2398 struct i2c_device_id const *id_table ;
2399 int (*detect)(struct i2c_client * , struct i2c_board_info * ) ;
2400 unsigned short const *address_list ;
2401 struct list_head clients ;
2402};
2403#line 220 "include/linux/i2c.h"
2404struct i2c_client {
2405 unsigned short flags ;
2406 unsigned short addr ;
2407 char name[20] ;
2408 struct i2c_adapter *adapter ;
2409 struct i2c_driver *driver ;
2410 struct device dev ;
2411 int irq ;
2412 struct list_head detected ;
2413};
2414#line 273 "include/linux/i2c.h"
2415struct i2c_board_info {
2416 char type[20] ;
2417 unsigned short flags ;
2418 unsigned short addr ;
2419 void *platform_data ;
2420 struct dev_archdata *archdata ;
2421 struct device_node *of_node ;
2422 int irq ;
2423};
2424#line 352 "include/linux/i2c.h"
2425struct i2c_algorithm {
2426 int (*master_xfer)(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
2427 int (*smbus_xfer)(struct i2c_adapter *adap , u16 addr , unsigned short flags ,
2428 char read_write , u8 command , int size , union i2c_smbus_data *data ) ;
2429 u32 (*functionality)(struct i2c_adapter * ) ;
2430};
2431#line 373 "include/linux/i2c.h"
2432struct i2c_adapter {
2433 struct module *owner ;
2434 unsigned int class ;
2435 struct i2c_algorithm const *algo ;
2436 void *algo_data ;
2437 struct rt_mutex bus_lock ;
2438 int timeout ;
2439 int retries ;
2440 struct device dev ;
2441 int nr ;
2442 char name[48] ;
2443 struct completion dev_released ;
2444 struct mutex userspace_clients_lock ;
2445 struct list_head userspace_clients ;
2446};
2447#line 538 "include/linux/i2c.h"
2448struct i2c_msg {
2449 __u16 addr ;
2450 __u16 flags ;
2451 __u16 len ;
2452 __u8 *buf ;
2453};
2454#line 596 "include/linux/i2c.h"
2455union i2c_smbus_data {
2456 __u8 byte ;
2457 __u16 word ;
2458 __u8 block[34] ;
2459};
2460#line 321 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/hwmon/pmbus/pmbus.h"
2461enum pmbus_data_format {
2462 linear = 0,
2463 direct = 1,
2464 vid = 2
2465} ;
2466#line 323 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/hwmon/pmbus/pmbus.h"
2467struct pmbus_driver_info {
2468 int pages ;
2469 enum pmbus_data_format format[7] ;
2470 int m[7] ;
2471 int b[7] ;
2472 int R[7] ;
2473 u32 func[32] ;
2474 int (*read_byte_data)(struct i2c_client *client , int page , int reg ) ;
2475 int (*read_word_data)(struct i2c_client *client , int page , int reg ) ;
2476 int (*write_word_data)(struct i2c_client *client , int page , int reg , u16 word ) ;
2477 int (*write_byte)(struct i2c_client *client , int page , u8 value ) ;
2478 int (*identify)(struct i2c_client *client , struct pmbus_driver_info *info ) ;
2479};
2480#line 1 "<compiler builtins>"
2481long __builtin_expect(long val , long res ) ;
2482#line 152 "include/linux/mutex.h"
2483void mutex_lock(struct mutex *lock ) ;
2484#line 153
2485int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2486#line 154
2487int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2488#line 168
2489int mutex_trylock(struct mutex *lock ) ;
2490#line 169
2491void mutex_unlock(struct mutex *lock ) ;
2492#line 170
2493int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2494#line 26 "include/linux/export.h"
2495extern struct module __this_module ;
2496#line 67 "include/linux/module.h"
2497int init_module(void) ;
2498#line 68
2499void cleanup_module(void) ;
2500#line 450 "include/linux/i2c.h"
2501extern int i2c_register_driver(struct module * , struct i2c_driver * ) ;
2502#line 451
2503extern void i2c_del_driver(struct i2c_driver * ) ;
2504#line 363 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/hwmon/pmbus/pmbus.h"
2505extern int pmbus_read_word_data(struct i2c_client *client , u8 page , u8 reg ) ;
2506#line 364
2507extern int pmbus_write_word_data(struct i2c_client *client , u8 page , u8 reg , u16 word ) ;
2508#line 370
2509extern int pmbus_do_probe(struct i2c_client *client , struct i2c_device_id const *id ,
2510 struct pmbus_driver_info *info ) ;
2511#line 372
2512extern int pmbus_do_remove(struct i2c_client *client ) ;
2513#line 32 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2514static int max16064_read_word_data(struct i2c_client *client , int page , int reg )
2515{ int ret ;
2516 u8 __cil_tmp5 ;
2517 u8 __cil_tmp6 ;
2518 u8 __cil_tmp7 ;
2519 u8 __cil_tmp8 ;
2520
2521 {
2522#line 37
2523 if (reg == 276) {
2524#line 37
2525 goto case_276;
2526 } else
2527#line 41
2528 if (reg == 258) {
2529#line 41
2530 goto case_258;
2531 } else
2532#line 45
2533 if (reg == 277) {
2534#line 45
2535 goto case_277;
2536 } else
2537#line 46
2538 if (reg == 259) {
2539#line 46
2540 goto case_277;
2541 } else {
2542 {
2543#line 49
2544 goto switch_default;
2545#line 36
2546 if (0) {
2547 case_276:
2548 {
2549#line 38
2550 __cil_tmp5 = (u8 )page;
2551#line 38
2552 __cil_tmp6 = (u8 )212;
2553#line 38
2554 ret = pmbus_read_word_data(client, __cil_tmp5, __cil_tmp6);
2555 }
2556#line 40
2557 goto switch_break;
2558 case_258:
2559 {
2560#line 42
2561 __cil_tmp7 = (u8 )page;
2562#line 42
2563 __cil_tmp8 = (u8 )214;
2564#line 42
2565 ret = pmbus_read_word_data(client, __cil_tmp7, __cil_tmp8);
2566 }
2567#line 44
2568 goto switch_break;
2569 case_277:
2570 case_259:
2571#line 47
2572 ret = 0;
2573#line 48
2574 goto switch_break;
2575 switch_default:
2576#line 50
2577 ret = -61;
2578#line 51
2579 goto switch_break;
2580 } else {
2581 switch_break: ;
2582 }
2583 }
2584 }
2585#line 53
2586 return (ret);
2587}
2588}
2589#line 56 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2590static int max16064_write_word_data(struct i2c_client *client , int page , int reg ,
2591 u16 word )
2592{ int ret ;
2593 u8 __cil_tmp6 ;
2594 u8 __cil_tmp7 ;
2595 u16 __cil_tmp8 ;
2596 u8 __cil_tmp9 ;
2597 u8 __cil_tmp10 ;
2598 u16 __cil_tmp11 ;
2599
2600 {
2601#line 62
2602 if (reg == 277) {
2603#line 62
2604 goto case_277;
2605 } else
2606#line 66
2607 if (reg == 259) {
2608#line 66
2609 goto case_259;
2610 } else {
2611 {
2612#line 71
2613 goto switch_default;
2614#line 61
2615 if (0) {
2616 case_277:
2617 {
2618#line 63
2619 __cil_tmp6 = (u8 )page;
2620#line 63
2621 __cil_tmp7 = (u8 )212;
2622#line 63
2623 __cil_tmp8 = (u16 )0;
2624#line 63
2625 ret = pmbus_write_word_data(client, __cil_tmp6, __cil_tmp7, __cil_tmp8);
2626 }
2627#line 65
2628 goto switch_break;
2629 case_259:
2630 {
2631#line 67
2632 __cil_tmp9 = (u8 )page;
2633#line 67
2634 __cil_tmp10 = (u8 )214;
2635#line 67
2636 __cil_tmp11 = (u16 )65535;
2637#line 67
2638 ret = pmbus_write_word_data(client, __cil_tmp9, __cil_tmp10, __cil_tmp11);
2639 }
2640#line 70
2641 goto switch_break;
2642 switch_default:
2643#line 72
2644 ret = -61;
2645#line 73
2646 goto switch_break;
2647 } else {
2648 switch_break: ;
2649 }
2650 }
2651 }
2652#line 75
2653 return (ret);
2654}
2655}
2656#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2657static struct pmbus_driver_info max16064_info =
2658#line 78
2659 {4, {(enum pmbus_data_format )1, (enum pmbus_data_format )1, 0, 0, 0, (enum pmbus_data_format )1,
2660 0}, {19995, 19995, 0, 0, 0, -7612, 0}, {0, 0, 0, 0, 0, 335, 0}, {-1, -1, 0,
2661 0, 0, -3,
2662 0}, {(u32 )((((1 << 2) | (1 << 9)) | (1 << 12)) | (1 << 15)),
2663 (u32 )((1 << 2) | (1 << 12)),
2664 (u32 )((1 << 2) | (1 << 12)),
2665 (u32 )((1 << 2) | (1 << 12))},
2666 (int (*)(struct i2c_client *client , int page , int reg ))0, & max16064_read_word_data,
2667 & max16064_write_word_data, (int (*)(struct i2c_client *client , int page , u8 value ))0,
2668 (int (*)(struct i2c_client *client , struct pmbus_driver_info *info ))0};
2669#line 101 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2670static int max16064_probe(struct i2c_client *client , struct i2c_device_id const *id )
2671{ int tmp___7 ;
2672
2673 {
2674 {
2675#line 104
2676 tmp___7 = pmbus_do_probe(client, id, & max16064_info);
2677 }
2678#line 104
2679 return (tmp___7);
2680}
2681}
2682#line 107 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2683static struct i2c_device_id const max16064_id[1] = { {{(char )'m', (char )'a', (char )'x', (char )'1', (char )'6', (char )'0', (char )'6',
2684 (char )'4', (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
2685 (char)0, (char)0, (char)0, (char)0, (char)0}, (kernel_ulong_t )0}};
2686#line 112
2687extern struct i2c_device_id const __mod_i2c_device_table __attribute__((__unused__,
2688__alias__("max16064_id"))) ;
2689#line 115 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2690static struct i2c_driver max16064_driver =
2691#line 115
2692 {0U, (int (*)(struct i2c_adapter * ))0, (int (*)(struct i2c_adapter * ))0, & max16064_probe,
2693 & pmbus_do_remove, (void (*)(struct i2c_client * ))0, (int (*)(struct i2c_client * ,
2694 pm_message_t mesg ))0,
2695 (int (*)(struct i2c_client * ))0, (void (*)(struct i2c_client * , unsigned int data ))0,
2696 (int (*)(struct i2c_client *client , unsigned int cmd , void *arg ))0, {"max16064",
2697 (struct bus_type *)0,
2698 (struct module *)0,
2699 (char const *)0,
2700 (_Bool)0,
2701 (struct of_device_id const *)0,
2702 (int (*)(struct device *dev ))0,
2703 (int (*)(struct device *dev ))0,
2704 (void (*)(struct device *dev ))0,
2705 (int (*)(struct device *dev ,
2706 pm_message_t state ))0,
2707 (int (*)(struct device *dev ))0,
2708 (struct attribute_group const **)0,
2709 (struct dev_pm_ops const *)0,
2710 (struct driver_private *)0},
2711 max16064_id, (int (*)(struct i2c_client * , struct i2c_board_info * ))0, (unsigned short const *)0,
2712 {(struct list_head *)0, (struct list_head *)0}};
2713#line 124
2714static int max16064_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
2715#line 124 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2716static int max16064_driver_init(void)
2717{ int tmp___7 ;
2718
2719 {
2720 {
2721#line 124
2722 tmp___7 = i2c_register_driver(& __this_module, & max16064_driver);
2723 }
2724#line 124
2725 return (tmp___7);
2726}
2727}
2728#line 124 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2729int init_module(void)
2730{ int tmp___7 ;
2731
2732 {
2733 {
2734#line 124
2735 tmp___7 = max16064_driver_init();
2736 }
2737#line 124
2738 return (tmp___7);
2739}
2740}
2741#line 124
2742static void max16064_driver_exit(void) __attribute__((__section__(".exit.text"),
2743__no_instrument_function__)) ;
2744#line 124 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2745static void max16064_driver_exit(void)
2746{
2747
2748 {
2749 {
2750#line 124
2751 i2c_del_driver(& max16064_driver);
2752 }
2753#line 124
2754 return;
2755}
2756}
2757#line 124 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2758void cleanup_module(void)
2759{
2760
2761 {
2762 {
2763#line 124
2764 max16064_driver_exit();
2765 }
2766#line 124
2767 return;
2768}
2769}
2770#line 126 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2771static char const __mod_author126[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
2772__aligned__(1))) =
2773#line 126
2774 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
2775 (char const )'o', (char const )'r', (char const )'=', (char const )'G',
2776 (char const )'u', (char const )'e', (char const )'n', (char const )'t',
2777 (char const )'e', (char const )'r', (char const )' ', (char const )'R',
2778 (char const )'o', (char const )'e', (char const )'c', (char const )'k',
2779 (char const )'\000'};
2780#line 127 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2781static char const __mod_description127[44] __attribute__((__used__, __unused__,
2782__section__(".modinfo"), __aligned__(1))) =
2783#line 127
2784 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
2785 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
2786 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
2787 (char const )'P', (char const )'M', (char const )'B', (char const )'u',
2788 (char const )'s', (char const )' ', (char const )'d', (char const )'r',
2789 (char const )'i', (char const )'v', (char const )'e', (char const )'r',
2790 (char const )' ', (char const )'f', (char const )'o', (char const )'r',
2791 (char const )' ', (char const )'M', (char const )'a', (char const )'x',
2792 (char const )'i', (char const )'m', (char const )' ', (char const )'M',
2793 (char const )'A', (char const )'X', (char const )'1', (char const )'6',
2794 (char const )'0', (char const )'6', (char const )'4', (char const )'\000'};
2795#line 128 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2796static char const __mod_license128[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
2797__aligned__(1))) =
2798#line 128
2799 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
2800 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
2801 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
2802#line 146
2803void ldv_check_final_state(void) ;
2804#line 149
2805extern void ldv_check_return_value(int res ) ;
2806#line 152
2807extern void ldv_initialize(void) ;
2808#line 155
2809extern int __VERIFIER_nondet_int(void) ;
2810#line 158 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2811int LDV_IN_INTERRUPT ;
2812#line 200 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2813static int res_max16064_probe_2 ;
2814#line 161 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
2815void main(void)
2816{ struct i2c_client *var_group1 ;
2817 int var_max16064_read_word_data_0_p1 ;
2818 int var_max16064_read_word_data_0_p2 ;
2819 int var_max16064_write_word_data_1_p1 ;
2820 int var_max16064_write_word_data_1_p2 ;
2821 u16 var_max16064_write_word_data_1_p3 ;
2822 struct i2c_device_id const *var_max16064_probe_2_p1 ;
2823 int ldv_s_max16064_driver_i2c_driver ;
2824 int tmp___7 ;
2825 int tmp___8 ;
2826 int __cil_tmp11 ;
2827
2828 {
2829 {
2830#line 208
2831 LDV_IN_INTERRUPT = 1;
2832#line 217
2833 ldv_initialize();
2834#line 220
2835 ldv_s_max16064_driver_i2c_driver = 0;
2836 }
2837 {
2838#line 223
2839 while (1) {
2840 while_continue: ;
2841 {
2842#line 223
2843 tmp___8 = __VERIFIER_nondet_int();
2844 }
2845#line 223
2846 if (tmp___8) {
2847
2848 } else {
2849 {
2850#line 223
2851 __cil_tmp11 = ldv_s_max16064_driver_i2c_driver == 0;
2852#line 223
2853 if (! __cil_tmp11) {
2854
2855 } else {
2856#line 223
2857 goto while_break;
2858 }
2859 }
2860 }
2861 {
2862#line 227
2863 tmp___7 = __VERIFIER_nondet_int();
2864 }
2865#line 229
2866 if (tmp___7 == 0) {
2867#line 229
2868 goto case_0;
2869 } else
2870#line 248
2871 if (tmp___7 == 1) {
2872#line 248
2873 goto case_1;
2874 } else
2875#line 267
2876 if (tmp___7 == 2) {
2877#line 267
2878 goto case_2;
2879 } else {
2880 {
2881#line 289
2882 goto switch_default;
2883#line 227
2884 if (0) {
2885 case_0:
2886 {
2887#line 240
2888 max16064_read_word_data(var_group1, var_max16064_read_word_data_0_p1, var_max16064_read_word_data_0_p2);
2889 }
2890#line 247
2891 goto switch_break;
2892 case_1:
2893 {
2894#line 259
2895 max16064_write_word_data(var_group1, var_max16064_write_word_data_1_p1, var_max16064_write_word_data_1_p2,
2896 var_max16064_write_word_data_1_p3);
2897 }
2898#line 266
2899 goto switch_break;
2900 case_2:
2901#line 270
2902 if (ldv_s_max16064_driver_i2c_driver == 0) {
2903 {
2904#line 278
2905 res_max16064_probe_2 = max16064_probe(var_group1, var_max16064_probe_2_p1);
2906#line 279
2907 ldv_check_return_value(res_max16064_probe_2);
2908 }
2909#line 280
2910 if (res_max16064_probe_2) {
2911#line 281
2912 goto ldv_module_exit;
2913 } else {
2914
2915 }
2916#line 282
2917 ldv_s_max16064_driver_i2c_driver = 0;
2918 } else {
2919
2920 }
2921#line 288
2922 goto switch_break;
2923 switch_default:
2924#line 289
2925 goto switch_break;
2926 } else {
2927 switch_break: ;
2928 }
2929 }
2930 }
2931 }
2932 while_break: ;
2933 }
2934 ldv_module_exit:
2935 {
2936#line 298
2937 ldv_check_final_state();
2938 }
2939#line 301
2940 return;
2941}
2942}
2943#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
2944void ldv_blast_assert(void)
2945{
2946
2947 {
2948 ERROR:
2949#line 6
2950 goto ERROR;
2951}
2952}
2953#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
2954extern int __VERIFIER_nondet_int(void) ;
2955#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2956int ldv_mutex = 1;
2957#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2958int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
2959{ int nondetermined ;
2960
2961 {
2962#line 29
2963 if (ldv_mutex == 1) {
2964
2965 } else {
2966 {
2967#line 29
2968 ldv_blast_assert();
2969 }
2970 }
2971 {
2972#line 32
2973 nondetermined = __VERIFIER_nondet_int();
2974 }
2975#line 35
2976 if (nondetermined) {
2977#line 38
2978 ldv_mutex = 2;
2979#line 40
2980 return (0);
2981 } else {
2982#line 45
2983 return (-4);
2984 }
2985}
2986}
2987#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2988int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
2989{ int nondetermined ;
2990
2991 {
2992#line 57
2993 if (ldv_mutex == 1) {
2994
2995 } else {
2996 {
2997#line 57
2998 ldv_blast_assert();
2999 }
3000 }
3001 {
3002#line 60
3003 nondetermined = __VERIFIER_nondet_int();
3004 }
3005#line 63
3006 if (nondetermined) {
3007#line 66
3008 ldv_mutex = 2;
3009#line 68
3010 return (0);
3011 } else {
3012#line 73
3013 return (-4);
3014 }
3015}
3016}
3017#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3018int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3019{ int atomic_value_after_dec ;
3020
3021 {
3022#line 83
3023 if (ldv_mutex == 1) {
3024
3025 } else {
3026 {
3027#line 83
3028 ldv_blast_assert();
3029 }
3030 }
3031 {
3032#line 86
3033 atomic_value_after_dec = __VERIFIER_nondet_int();
3034 }
3035#line 89
3036 if (atomic_value_after_dec == 0) {
3037#line 92
3038 ldv_mutex = 2;
3039#line 94
3040 return (1);
3041 } else {
3042
3043 }
3044#line 98
3045 return (0);
3046}
3047}
3048#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3049void mutex_lock(struct mutex *lock )
3050{
3051
3052 {
3053#line 108
3054 if (ldv_mutex == 1) {
3055
3056 } else {
3057 {
3058#line 108
3059 ldv_blast_assert();
3060 }
3061 }
3062#line 110
3063 ldv_mutex = 2;
3064#line 111
3065 return;
3066}
3067}
3068#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3069int mutex_trylock(struct mutex *lock )
3070{ int nondetermined ;
3071
3072 {
3073#line 121
3074 if (ldv_mutex == 1) {
3075
3076 } else {
3077 {
3078#line 121
3079 ldv_blast_assert();
3080 }
3081 }
3082 {
3083#line 124
3084 nondetermined = __VERIFIER_nondet_int();
3085 }
3086#line 127
3087 if (nondetermined) {
3088#line 130
3089 ldv_mutex = 2;
3090#line 132
3091 return (1);
3092 } else {
3093#line 137
3094 return (0);
3095 }
3096}
3097}
3098#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3099void mutex_unlock(struct mutex *lock )
3100{
3101
3102 {
3103#line 147
3104 if (ldv_mutex == 2) {
3105
3106 } else {
3107 {
3108#line 147
3109 ldv_blast_assert();
3110 }
3111 }
3112#line 149
3113 ldv_mutex = 1;
3114#line 150
3115 return;
3116}
3117}
3118#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3119void ldv_check_final_state(void)
3120{
3121
3122 {
3123#line 156
3124 if (ldv_mutex == 1) {
3125
3126 } else {
3127 {
3128#line 156
3129 ldv_blast_assert();
3130 }
3131 }
3132#line 157
3133 return;
3134}
3135}
3136#line 310 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5875/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/pmbus/max16064.c.common.c"
3137long s__builtin_expect(long val , long res )
3138{
3139
3140 {
3141#line 311
3142 return (val);
3143}
3144}