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