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 60 "include/linux/kobject.h"
881struct kset;
882#line 60
883struct kobj_type;
884#line 60 "include/linux/kobject.h"
885struct kobject {
886 char const *name ;
887 struct list_head entry ;
888 struct kobject *parent ;
889 struct kset *kset ;
890 struct kobj_type *ktype ;
891 struct sysfs_dirent *sd ;
892 struct kref kref ;
893 unsigned int state_initialized : 1 ;
894 unsigned int state_in_sysfs : 1 ;
895 unsigned int state_add_uevent_sent : 1 ;
896 unsigned int state_remove_uevent_sent : 1 ;
897 unsigned int uevent_suppress : 1 ;
898};
899#line 108 "include/linux/kobject.h"
900struct kobj_type {
901 void (*release)(struct kobject *kobj ) ;
902 struct sysfs_ops const *sysfs_ops ;
903 struct attribute **default_attrs ;
904 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
905 void const *(*namespace)(struct kobject *kobj ) ;
906};
907#line 116 "include/linux/kobject.h"
908struct kobj_uevent_env {
909 char *envp[32] ;
910 int envp_idx ;
911 char buf[2048] ;
912 int buflen ;
913};
914#line 123 "include/linux/kobject.h"
915struct kset_uevent_ops {
916 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
917 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
918 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
919};
920#line 140
921struct sock;
922#line 159 "include/linux/kobject.h"
923struct kset {
924 struct list_head list ;
925 spinlock_t list_lock ;
926 struct kobject kobj ;
927 struct kset_uevent_ops const *uevent_ops ;
928};
929#line 39 "include/linux/moduleparam.h"
930struct kernel_param;
931#line 39
932struct kernel_param;
933#line 41 "include/linux/moduleparam.h"
934struct kernel_param_ops {
935 int (*set)(char const *val , struct kernel_param const *kp ) ;
936 int (*get)(char *buffer , struct kernel_param const *kp ) ;
937 void (*free)(void *arg ) ;
938};
939#line 50
940struct kparam_string;
941#line 50
942struct kparam_array;
943#line 50 "include/linux/moduleparam.h"
944union __anonunion____missing_field_name_199 {
945 void *arg ;
946 struct kparam_string const *str ;
947 struct kparam_array const *arr ;
948};
949#line 50 "include/linux/moduleparam.h"
950struct kernel_param {
951 char const *name ;
952 struct kernel_param_ops const *ops ;
953 u16 perm ;
954 s16 level ;
955 union __anonunion____missing_field_name_199 __annonCompField32 ;
956};
957#line 63 "include/linux/moduleparam.h"
958struct kparam_string {
959 unsigned int maxlen ;
960 char *string ;
961};
962#line 69 "include/linux/moduleparam.h"
963struct kparam_array {
964 unsigned int max ;
965 unsigned int elemsize ;
966 unsigned int *num ;
967 struct kernel_param_ops const *ops ;
968 void *elem ;
969};
970#line 445
971struct module;
972#line 80 "include/linux/jump_label.h"
973struct module;
974#line 143 "include/linux/jump_label.h"
975struct static_key {
976 atomic_t enabled ;
977};
978#line 22 "include/linux/tracepoint.h"
979struct module;
980#line 23
981struct tracepoint;
982#line 23
983struct tracepoint;
984#line 25 "include/linux/tracepoint.h"
985struct tracepoint_func {
986 void *func ;
987 void *data ;
988};
989#line 30 "include/linux/tracepoint.h"
990struct tracepoint {
991 char const *name ;
992 struct static_key key ;
993 void (*regfunc)(void) ;
994 void (*unregfunc)(void) ;
995 struct tracepoint_func *funcs ;
996};
997#line 19 "include/linux/export.h"
998struct kernel_symbol {
999 unsigned long value ;
1000 char const *name ;
1001};
1002#line 8 "include/asm-generic/module.h"
1003struct mod_arch_specific {
1004
1005};
1006#line 35 "include/linux/module.h"
1007struct module;
1008#line 37
1009struct module_param_attrs;
1010#line 37 "include/linux/module.h"
1011struct module_kobject {
1012 struct kobject kobj ;
1013 struct module *mod ;
1014 struct kobject *drivers_dir ;
1015 struct module_param_attrs *mp ;
1016};
1017#line 44 "include/linux/module.h"
1018struct module_attribute {
1019 struct attribute attr ;
1020 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1021 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1022 size_t count ) ;
1023 void (*setup)(struct module * , char const * ) ;
1024 int (*test)(struct module * ) ;
1025 void (*free)(struct module * ) ;
1026};
1027#line 71
1028struct exception_table_entry;
1029#line 71
1030struct exception_table_entry;
1031#line 199
1032enum module_state {
1033 MODULE_STATE_LIVE = 0,
1034 MODULE_STATE_COMING = 1,
1035 MODULE_STATE_GOING = 2
1036} ;
1037#line 215 "include/linux/module.h"
1038struct module_ref {
1039 unsigned long incs ;
1040 unsigned long decs ;
1041} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1042#line 220
1043struct module_sect_attrs;
1044#line 220
1045struct module_notes_attrs;
1046#line 220
1047struct ftrace_event_call;
1048#line 220 "include/linux/module.h"
1049struct module {
1050 enum module_state state ;
1051 struct list_head list ;
1052 char name[64UL - sizeof(unsigned long )] ;
1053 struct module_kobject mkobj ;
1054 struct module_attribute *modinfo_attrs ;
1055 char const *version ;
1056 char const *srcversion ;
1057 struct kobject *holders_dir ;
1058 struct kernel_symbol const *syms ;
1059 unsigned long const *crcs ;
1060 unsigned int num_syms ;
1061 struct kernel_param *kp ;
1062 unsigned int num_kp ;
1063 unsigned int num_gpl_syms ;
1064 struct kernel_symbol const *gpl_syms ;
1065 unsigned long const *gpl_crcs ;
1066 struct kernel_symbol const *unused_syms ;
1067 unsigned long const *unused_crcs ;
1068 unsigned int num_unused_syms ;
1069 unsigned int num_unused_gpl_syms ;
1070 struct kernel_symbol const *unused_gpl_syms ;
1071 unsigned long const *unused_gpl_crcs ;
1072 struct kernel_symbol const *gpl_future_syms ;
1073 unsigned long const *gpl_future_crcs ;
1074 unsigned int num_gpl_future_syms ;
1075 unsigned int num_exentries ;
1076 struct exception_table_entry *extable ;
1077 int (*init)(void) ;
1078 void *module_init ;
1079 void *module_core ;
1080 unsigned int init_size ;
1081 unsigned int core_size ;
1082 unsigned int init_text_size ;
1083 unsigned int core_text_size ;
1084 unsigned int init_ro_size ;
1085 unsigned int core_ro_size ;
1086 struct mod_arch_specific arch ;
1087 unsigned int taints ;
1088 unsigned int num_bugs ;
1089 struct list_head bug_list ;
1090 struct bug_entry *bug_table ;
1091 Elf64_Sym *symtab ;
1092 Elf64_Sym *core_symtab ;
1093 unsigned int num_symtab ;
1094 unsigned int core_num_syms ;
1095 char *strtab ;
1096 char *core_strtab ;
1097 struct module_sect_attrs *sect_attrs ;
1098 struct module_notes_attrs *notes_attrs ;
1099 char *args ;
1100 void *percpu ;
1101 unsigned int percpu_size ;
1102 unsigned int num_tracepoints ;
1103 struct tracepoint * const *tracepoints_ptrs ;
1104 unsigned int num_trace_bprintk_fmt ;
1105 char const **trace_bprintk_fmt_start ;
1106 struct ftrace_event_call **trace_events ;
1107 unsigned int num_trace_events ;
1108 struct list_head source_list ;
1109 struct list_head target_list ;
1110 struct task_struct *waiter ;
1111 void (*exit)(void) ;
1112 struct module_ref *refptr ;
1113 ctor_fn_t *ctors ;
1114 unsigned int num_ctors ;
1115};
1116#line 43 "include/linux/input.h"
1117struct input_id {
1118 __u16 bustype ;
1119 __u16 vendor ;
1120 __u16 product ;
1121 __u16 version ;
1122};
1123#line 69 "include/linux/input.h"
1124struct input_absinfo {
1125 __s32 value ;
1126 __s32 minimum ;
1127 __s32 maximum ;
1128 __s32 fuzz ;
1129 __s32 flat ;
1130 __s32 resolution ;
1131};
1132#line 93 "include/linux/input.h"
1133struct input_keymap_entry {
1134 __u8 flags ;
1135 __u8 len ;
1136 __u16 index ;
1137 __u32 keycode ;
1138 __u8 scancode[32] ;
1139};
1140#line 957 "include/linux/input.h"
1141struct ff_replay {
1142 __u16 length ;
1143 __u16 delay ;
1144};
1145#line 967 "include/linux/input.h"
1146struct ff_trigger {
1147 __u16 button ;
1148 __u16 interval ;
1149};
1150#line 984 "include/linux/input.h"
1151struct ff_envelope {
1152 __u16 attack_length ;
1153 __u16 attack_level ;
1154 __u16 fade_length ;
1155 __u16 fade_level ;
1156};
1157#line 996 "include/linux/input.h"
1158struct ff_constant_effect {
1159 __s16 level ;
1160 struct ff_envelope envelope ;
1161};
1162#line 1007 "include/linux/input.h"
1163struct ff_ramp_effect {
1164 __s16 start_level ;
1165 __s16 end_level ;
1166 struct ff_envelope envelope ;
1167};
1168#line 1023 "include/linux/input.h"
1169struct ff_condition_effect {
1170 __u16 right_saturation ;
1171 __u16 left_saturation ;
1172 __s16 right_coeff ;
1173 __s16 left_coeff ;
1174 __u16 deadband ;
1175 __s16 center ;
1176};
1177#line 1052 "include/linux/input.h"
1178struct ff_periodic_effect {
1179 __u16 waveform ;
1180 __u16 period ;
1181 __s16 magnitude ;
1182 __s16 offset ;
1183 __u16 phase ;
1184 struct ff_envelope envelope ;
1185 __u32 custom_len ;
1186 __s16 *custom_data ;
1187};
1188#line 1073 "include/linux/input.h"
1189struct ff_rumble_effect {
1190 __u16 strong_magnitude ;
1191 __u16 weak_magnitude ;
1192};
1193#line 1101 "include/linux/input.h"
1194union __anonunion_u_201 {
1195 struct ff_constant_effect constant ;
1196 struct ff_ramp_effect ramp ;
1197 struct ff_periodic_effect periodic ;
1198 struct ff_condition_effect condition[2] ;
1199 struct ff_rumble_effect rumble ;
1200};
1201#line 1101 "include/linux/input.h"
1202struct ff_effect {
1203 __u16 type ;
1204 __s16 id ;
1205 __u16 direction ;
1206 struct ff_trigger trigger ;
1207 struct ff_replay replay ;
1208 union __anonunion_u_201 u ;
1209};
1210#line 19 "include/linux/klist.h"
1211struct klist_node;
1212#line 19
1213struct klist_node;
1214#line 39 "include/linux/klist.h"
1215struct klist_node {
1216 void *n_klist ;
1217 struct list_head n_node ;
1218 struct kref n_ref ;
1219};
1220#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1221struct dma_map_ops;
1222#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1223struct dev_archdata {
1224 void *acpi_handle ;
1225 struct dma_map_ops *dma_ops ;
1226 void *iommu ;
1227};
1228#line 28 "include/linux/device.h"
1229struct device;
1230#line 29
1231struct device_private;
1232#line 29
1233struct device_private;
1234#line 30
1235struct device_driver;
1236#line 30
1237struct device_driver;
1238#line 31
1239struct driver_private;
1240#line 31
1241struct driver_private;
1242#line 32
1243struct module;
1244#line 33
1245struct class;
1246#line 33
1247struct class;
1248#line 34
1249struct subsys_private;
1250#line 34
1251struct subsys_private;
1252#line 35
1253struct bus_type;
1254#line 35
1255struct bus_type;
1256#line 36
1257struct device_node;
1258#line 36
1259struct device_node;
1260#line 37
1261struct iommu_ops;
1262#line 37
1263struct iommu_ops;
1264#line 39 "include/linux/device.h"
1265struct bus_attribute {
1266 struct attribute attr ;
1267 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1268 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1269};
1270#line 89
1271struct device_attribute;
1272#line 89
1273struct driver_attribute;
1274#line 89 "include/linux/device.h"
1275struct bus_type {
1276 char const *name ;
1277 char const *dev_name ;
1278 struct device *dev_root ;
1279 struct bus_attribute *bus_attrs ;
1280 struct device_attribute *dev_attrs ;
1281 struct driver_attribute *drv_attrs ;
1282 int (*match)(struct device *dev , struct device_driver *drv ) ;
1283 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1284 int (*probe)(struct device *dev ) ;
1285 int (*remove)(struct device *dev ) ;
1286 void (*shutdown)(struct device *dev ) ;
1287 int (*suspend)(struct device *dev , pm_message_t state ) ;
1288 int (*resume)(struct device *dev ) ;
1289 struct dev_pm_ops const *pm ;
1290 struct iommu_ops *iommu_ops ;
1291 struct subsys_private *p ;
1292};
1293#line 127
1294struct device_type;
1295#line 214
1296struct of_device_id;
1297#line 214 "include/linux/device.h"
1298struct device_driver {
1299 char const *name ;
1300 struct bus_type *bus ;
1301 struct module *owner ;
1302 char const *mod_name ;
1303 bool suppress_bind_attrs ;
1304 struct of_device_id const *of_match_table ;
1305 int (*probe)(struct device *dev ) ;
1306 int (*remove)(struct device *dev ) ;
1307 void (*shutdown)(struct device *dev ) ;
1308 int (*suspend)(struct device *dev , pm_message_t state ) ;
1309 int (*resume)(struct device *dev ) ;
1310 struct attribute_group const **groups ;
1311 struct dev_pm_ops const *pm ;
1312 struct driver_private *p ;
1313};
1314#line 249 "include/linux/device.h"
1315struct driver_attribute {
1316 struct attribute attr ;
1317 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1318 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1319};
1320#line 330
1321struct class_attribute;
1322#line 330 "include/linux/device.h"
1323struct class {
1324 char const *name ;
1325 struct module *owner ;
1326 struct class_attribute *class_attrs ;
1327 struct device_attribute *dev_attrs ;
1328 struct bin_attribute *dev_bin_attrs ;
1329 struct kobject *dev_kobj ;
1330 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1331 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1332 void (*class_release)(struct class *class ) ;
1333 void (*dev_release)(struct device *dev ) ;
1334 int (*suspend)(struct device *dev , pm_message_t state ) ;
1335 int (*resume)(struct device *dev ) ;
1336 struct kobj_ns_type_operations const *ns_type ;
1337 void const *(*namespace)(struct device *dev ) ;
1338 struct dev_pm_ops const *pm ;
1339 struct subsys_private *p ;
1340};
1341#line 397 "include/linux/device.h"
1342struct class_attribute {
1343 struct attribute attr ;
1344 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1345 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1346 size_t count ) ;
1347 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1348};
1349#line 465 "include/linux/device.h"
1350struct device_type {
1351 char const *name ;
1352 struct attribute_group const **groups ;
1353 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1354 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1355 void (*release)(struct device *dev ) ;
1356 struct dev_pm_ops const *pm ;
1357};
1358#line 476 "include/linux/device.h"
1359struct device_attribute {
1360 struct attribute attr ;
1361 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1362 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1363 size_t count ) ;
1364};
1365#line 559 "include/linux/device.h"
1366struct device_dma_parameters {
1367 unsigned int max_segment_size ;
1368 unsigned long segment_boundary_mask ;
1369};
1370#line 627
1371struct dma_coherent_mem;
1372#line 627 "include/linux/device.h"
1373struct device {
1374 struct device *parent ;
1375 struct device_private *p ;
1376 struct kobject kobj ;
1377 char const *init_name ;
1378 struct device_type const *type ;
1379 struct mutex mutex ;
1380 struct bus_type *bus ;
1381 struct device_driver *driver ;
1382 void *platform_data ;
1383 struct dev_pm_info power ;
1384 struct dev_pm_domain *pm_domain ;
1385 int numa_node ;
1386 u64 *dma_mask ;
1387 u64 coherent_dma_mask ;
1388 struct device_dma_parameters *dma_parms ;
1389 struct list_head dma_pools ;
1390 struct dma_coherent_mem *dma_mem ;
1391 struct dev_archdata archdata ;
1392 struct device_node *of_node ;
1393 dev_t devt ;
1394 u32 id ;
1395 spinlock_t devres_lock ;
1396 struct list_head devres_head ;
1397 struct klist_node knode_class ;
1398 struct class *class ;
1399 struct attribute_group const **groups ;
1400 void (*release)(struct device *dev ) ;
1401};
1402#line 43 "include/linux/pm_wakeup.h"
1403struct wakeup_source {
1404 char const *name ;
1405 struct list_head entry ;
1406 spinlock_t lock ;
1407 struct timer_list timer ;
1408 unsigned long timer_expires ;
1409 ktime_t total_time ;
1410 ktime_t max_time ;
1411 ktime_t last_time ;
1412 unsigned long event_count ;
1413 unsigned long active_count ;
1414 unsigned long relax_count ;
1415 unsigned long hit_count ;
1416 unsigned int active : 1 ;
1417};
1418#line 15 "include/linux/blk_types.h"
1419struct page;
1420#line 16
1421struct block_device;
1422#line 16
1423struct block_device;
1424#line 33 "include/linux/list_bl.h"
1425struct hlist_bl_node;
1426#line 33 "include/linux/list_bl.h"
1427struct hlist_bl_head {
1428 struct hlist_bl_node *first ;
1429};
1430#line 37 "include/linux/list_bl.h"
1431struct hlist_bl_node {
1432 struct hlist_bl_node *next ;
1433 struct hlist_bl_node **pprev ;
1434};
1435#line 13 "include/linux/dcache.h"
1436struct nameidata;
1437#line 13
1438struct nameidata;
1439#line 14
1440struct path;
1441#line 14
1442struct path;
1443#line 15
1444struct vfsmount;
1445#line 15
1446struct vfsmount;
1447#line 35 "include/linux/dcache.h"
1448struct qstr {
1449 unsigned int hash ;
1450 unsigned int len ;
1451 unsigned char const *name ;
1452};
1453#line 88
1454struct inode;
1455#line 88
1456struct dentry_operations;
1457#line 88
1458struct super_block;
1459#line 88 "include/linux/dcache.h"
1460union __anonunion_d_u_202 {
1461 struct list_head d_child ;
1462 struct rcu_head d_rcu ;
1463};
1464#line 88 "include/linux/dcache.h"
1465struct dentry {
1466 unsigned int d_flags ;
1467 seqcount_t d_seq ;
1468 struct hlist_bl_node d_hash ;
1469 struct dentry *d_parent ;
1470 struct qstr d_name ;
1471 struct inode *d_inode ;
1472 unsigned char d_iname[32] ;
1473 unsigned int d_count ;
1474 spinlock_t d_lock ;
1475 struct dentry_operations const *d_op ;
1476 struct super_block *d_sb ;
1477 unsigned long d_time ;
1478 void *d_fsdata ;
1479 struct list_head d_lru ;
1480 union __anonunion_d_u_202 d_u ;
1481 struct list_head d_subdirs ;
1482 struct list_head d_alias ;
1483};
1484#line 131 "include/linux/dcache.h"
1485struct dentry_operations {
1486 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1487 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1488 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1489 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1490 int (*d_delete)(struct dentry const * ) ;
1491 void (*d_release)(struct dentry * ) ;
1492 void (*d_prune)(struct dentry * ) ;
1493 void (*d_iput)(struct dentry * , struct inode * ) ;
1494 char *(*d_dname)(struct dentry * , char * , int ) ;
1495 struct vfsmount *(*d_automount)(struct path * ) ;
1496 int (*d_manage)(struct dentry * , bool ) ;
1497} __attribute__((__aligned__((1) << (6) ))) ;
1498#line 4 "include/linux/path.h"
1499struct dentry;
1500#line 5
1501struct vfsmount;
1502#line 7 "include/linux/path.h"
1503struct path {
1504 struct vfsmount *mnt ;
1505 struct dentry *dentry ;
1506};
1507#line 64 "include/linux/radix-tree.h"
1508struct radix_tree_node;
1509#line 64 "include/linux/radix-tree.h"
1510struct radix_tree_root {
1511 unsigned int height ;
1512 gfp_t gfp_mask ;
1513 struct radix_tree_node *rnode ;
1514};
1515#line 14 "include/linux/prio_tree.h"
1516struct prio_tree_node;
1517#line 14 "include/linux/prio_tree.h"
1518struct raw_prio_tree_node {
1519 struct prio_tree_node *left ;
1520 struct prio_tree_node *right ;
1521 struct prio_tree_node *parent ;
1522};
1523#line 20 "include/linux/prio_tree.h"
1524struct prio_tree_node {
1525 struct prio_tree_node *left ;
1526 struct prio_tree_node *right ;
1527 struct prio_tree_node *parent ;
1528 unsigned long start ;
1529 unsigned long last ;
1530};
1531#line 28 "include/linux/prio_tree.h"
1532struct prio_tree_root {
1533 struct prio_tree_node *prio_tree_node ;
1534 unsigned short index_bits ;
1535 unsigned short raw ;
1536};
1537#line 6 "include/linux/pid.h"
1538enum pid_type {
1539 PIDTYPE_PID = 0,
1540 PIDTYPE_PGID = 1,
1541 PIDTYPE_SID = 2,
1542 PIDTYPE_MAX = 3
1543} ;
1544#line 50
1545struct pid_namespace;
1546#line 50 "include/linux/pid.h"
1547struct upid {
1548 int nr ;
1549 struct pid_namespace *ns ;
1550 struct hlist_node pid_chain ;
1551};
1552#line 57 "include/linux/pid.h"
1553struct pid {
1554 atomic_t count ;
1555 unsigned int level ;
1556 struct hlist_head tasks[3] ;
1557 struct rcu_head rcu ;
1558 struct upid numbers[1] ;
1559};
1560#line 69 "include/linux/pid.h"
1561struct pid_link {
1562 struct hlist_node node ;
1563 struct pid *pid ;
1564};
1565#line 100
1566struct pid_namespace;
1567#line 18 "include/linux/capability.h"
1568struct task_struct;
1569#line 94 "include/linux/capability.h"
1570struct kernel_cap_struct {
1571 __u32 cap[2] ;
1572};
1573#line 94 "include/linux/capability.h"
1574typedef struct kernel_cap_struct kernel_cap_t;
1575#line 377
1576struct dentry;
1577#line 378
1578struct user_namespace;
1579#line 378
1580struct user_namespace;
1581#line 16 "include/linux/fiemap.h"
1582struct fiemap_extent {
1583 __u64 fe_logical ;
1584 __u64 fe_physical ;
1585 __u64 fe_length ;
1586 __u64 fe_reserved64[2] ;
1587 __u32 fe_flags ;
1588 __u32 fe_reserved[3] ;
1589};
1590#line 8 "include/linux/shrinker.h"
1591struct shrink_control {
1592 gfp_t gfp_mask ;
1593 unsigned long nr_to_scan ;
1594};
1595#line 31 "include/linux/shrinker.h"
1596struct shrinker {
1597 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1598 int seeks ;
1599 long batch ;
1600 struct list_head list ;
1601 atomic_long_t nr_in_batch ;
1602};
1603#line 10 "include/linux/migrate_mode.h"
1604enum migrate_mode {
1605 MIGRATE_ASYNC = 0,
1606 MIGRATE_SYNC_LIGHT = 1,
1607 MIGRATE_SYNC = 2
1608} ;
1609#line 408 "include/linux/fs.h"
1610struct export_operations;
1611#line 408
1612struct export_operations;
1613#line 410
1614struct iovec;
1615#line 410
1616struct iovec;
1617#line 411
1618struct nameidata;
1619#line 412
1620struct kiocb;
1621#line 412
1622struct kiocb;
1623#line 413
1624struct kobject;
1625#line 414
1626struct pipe_inode_info;
1627#line 414
1628struct pipe_inode_info;
1629#line 415
1630struct poll_table_struct;
1631#line 415
1632struct poll_table_struct;
1633#line 416
1634struct kstatfs;
1635#line 416
1636struct kstatfs;
1637#line 417
1638struct vm_area_struct;
1639#line 418
1640struct vfsmount;
1641#line 419
1642struct cred;
1643#line 469 "include/linux/fs.h"
1644struct iattr {
1645 unsigned int ia_valid ;
1646 umode_t ia_mode ;
1647 uid_t ia_uid ;
1648 gid_t ia_gid ;
1649 loff_t ia_size ;
1650 struct timespec ia_atime ;
1651 struct timespec ia_mtime ;
1652 struct timespec ia_ctime ;
1653 struct file *ia_file ;
1654};
1655#line 129 "include/linux/quota.h"
1656struct if_dqinfo {
1657 __u64 dqi_bgrace ;
1658 __u64 dqi_igrace ;
1659 __u32 dqi_flags ;
1660 __u32 dqi_valid ;
1661};
1662#line 50 "include/linux/dqblk_xfs.h"
1663struct fs_disk_quota {
1664 __s8 d_version ;
1665 __s8 d_flags ;
1666 __u16 d_fieldmask ;
1667 __u32 d_id ;
1668 __u64 d_blk_hardlimit ;
1669 __u64 d_blk_softlimit ;
1670 __u64 d_ino_hardlimit ;
1671 __u64 d_ino_softlimit ;
1672 __u64 d_bcount ;
1673 __u64 d_icount ;
1674 __s32 d_itimer ;
1675 __s32 d_btimer ;
1676 __u16 d_iwarns ;
1677 __u16 d_bwarns ;
1678 __s32 d_padding2 ;
1679 __u64 d_rtb_hardlimit ;
1680 __u64 d_rtb_softlimit ;
1681 __u64 d_rtbcount ;
1682 __s32 d_rtbtimer ;
1683 __u16 d_rtbwarns ;
1684 __s16 d_padding3 ;
1685 char d_padding4[8] ;
1686};
1687#line 146 "include/linux/dqblk_xfs.h"
1688struct fs_qfilestat {
1689 __u64 qfs_ino ;
1690 __u64 qfs_nblks ;
1691 __u32 qfs_nextents ;
1692};
1693#line 146 "include/linux/dqblk_xfs.h"
1694typedef struct fs_qfilestat fs_qfilestat_t;
1695#line 152 "include/linux/dqblk_xfs.h"
1696struct fs_quota_stat {
1697 __s8 qs_version ;
1698 __u16 qs_flags ;
1699 __s8 qs_pad ;
1700 fs_qfilestat_t qs_uquota ;
1701 fs_qfilestat_t qs_gquota ;
1702 __u32 qs_incoredqs ;
1703 __s32 qs_btimelimit ;
1704 __s32 qs_itimelimit ;
1705 __s32 qs_rtbtimelimit ;
1706 __u16 qs_bwarnlimit ;
1707 __u16 qs_iwarnlimit ;
1708};
1709#line 17 "include/linux/dqblk_qtree.h"
1710struct dquot;
1711#line 17
1712struct dquot;
1713#line 185 "include/linux/quota.h"
1714typedef __kernel_uid32_t qid_t;
1715#line 186 "include/linux/quota.h"
1716typedef long long qsize_t;
1717#line 200 "include/linux/quota.h"
1718struct mem_dqblk {
1719 qsize_t dqb_bhardlimit ;
1720 qsize_t dqb_bsoftlimit ;
1721 qsize_t dqb_curspace ;
1722 qsize_t dqb_rsvspace ;
1723 qsize_t dqb_ihardlimit ;
1724 qsize_t dqb_isoftlimit ;
1725 qsize_t dqb_curinodes ;
1726 time_t dqb_btime ;
1727 time_t dqb_itime ;
1728};
1729#line 215
1730struct quota_format_type;
1731#line 215
1732struct quota_format_type;
1733#line 217 "include/linux/quota.h"
1734struct mem_dqinfo {
1735 struct quota_format_type *dqi_format ;
1736 int dqi_fmt_id ;
1737 struct list_head dqi_dirty_list ;
1738 unsigned long dqi_flags ;
1739 unsigned int dqi_bgrace ;
1740 unsigned int dqi_igrace ;
1741 qsize_t dqi_maxblimit ;
1742 qsize_t dqi_maxilimit ;
1743 void *dqi_priv ;
1744};
1745#line 230
1746struct super_block;
1747#line 288 "include/linux/quota.h"
1748struct dquot {
1749 struct hlist_node dq_hash ;
1750 struct list_head dq_inuse ;
1751 struct list_head dq_free ;
1752 struct list_head dq_dirty ;
1753 struct mutex dq_lock ;
1754 atomic_t dq_count ;
1755 wait_queue_head_t dq_wait_unused ;
1756 struct super_block *dq_sb ;
1757 unsigned int dq_id ;
1758 loff_t dq_off ;
1759 unsigned long dq_flags ;
1760 short dq_type ;
1761 struct mem_dqblk dq_dqb ;
1762};
1763#line 305 "include/linux/quota.h"
1764struct quota_format_ops {
1765 int (*check_quota_file)(struct super_block *sb , int type ) ;
1766 int (*read_file_info)(struct super_block *sb , int type ) ;
1767 int (*write_file_info)(struct super_block *sb , int type ) ;
1768 int (*free_file_info)(struct super_block *sb , int type ) ;
1769 int (*read_dqblk)(struct dquot *dquot ) ;
1770 int (*commit_dqblk)(struct dquot *dquot ) ;
1771 int (*release_dqblk)(struct dquot *dquot ) ;
1772};
1773#line 316 "include/linux/quota.h"
1774struct dquot_operations {
1775 int (*write_dquot)(struct dquot * ) ;
1776 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1777 void (*destroy_dquot)(struct dquot * ) ;
1778 int (*acquire_dquot)(struct dquot * ) ;
1779 int (*release_dquot)(struct dquot * ) ;
1780 int (*mark_dirty)(struct dquot * ) ;
1781 int (*write_info)(struct super_block * , int ) ;
1782 qsize_t *(*get_reserved_space)(struct inode * ) ;
1783};
1784#line 329
1785struct path;
1786#line 332 "include/linux/quota.h"
1787struct quotactl_ops {
1788 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1789 int (*quota_on_meta)(struct super_block * , int , int ) ;
1790 int (*quota_off)(struct super_block * , int ) ;
1791 int (*quota_sync)(struct super_block * , int , int ) ;
1792 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1793 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1794 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1795 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1796 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1797 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1798};
1799#line 345 "include/linux/quota.h"
1800struct quota_format_type {
1801 int qf_fmt_id ;
1802 struct quota_format_ops const *qf_ops ;
1803 struct module *qf_owner ;
1804 struct quota_format_type *qf_next ;
1805};
1806#line 399 "include/linux/quota.h"
1807struct quota_info {
1808 unsigned int flags ;
1809 struct mutex dqio_mutex ;
1810 struct mutex dqonoff_mutex ;
1811 struct rw_semaphore dqptr_sem ;
1812 struct inode *files[2] ;
1813 struct mem_dqinfo info[2] ;
1814 struct quota_format_ops const *ops[2] ;
1815};
1816#line 532 "include/linux/fs.h"
1817struct page;
1818#line 533
1819struct address_space;
1820#line 533
1821struct address_space;
1822#line 534
1823struct writeback_control;
1824#line 534
1825struct writeback_control;
1826#line 577 "include/linux/fs.h"
1827union __anonunion_arg_210 {
1828 char *buf ;
1829 void *data ;
1830};
1831#line 577 "include/linux/fs.h"
1832struct __anonstruct_read_descriptor_t_209 {
1833 size_t written ;
1834 size_t count ;
1835 union __anonunion_arg_210 arg ;
1836 int error ;
1837};
1838#line 577 "include/linux/fs.h"
1839typedef struct __anonstruct_read_descriptor_t_209 read_descriptor_t;
1840#line 590 "include/linux/fs.h"
1841struct address_space_operations {
1842 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1843 int (*readpage)(struct file * , struct page * ) ;
1844 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1845 int (*set_page_dirty)(struct page *page ) ;
1846 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1847 unsigned int nr_pages ) ;
1848 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1849 unsigned int len , unsigned int flags , struct page **pagep ,
1850 void **fsdata ) ;
1851 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1852 unsigned int copied , struct page *page , void *fsdata ) ;
1853 sector_t (*bmap)(struct address_space * , sector_t ) ;
1854 void (*invalidatepage)(struct page * , unsigned long ) ;
1855 int (*releasepage)(struct page * , gfp_t ) ;
1856 void (*freepage)(struct page * ) ;
1857 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1858 unsigned long nr_segs ) ;
1859 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1860 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1861 int (*launder_page)(struct page * ) ;
1862 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1863 int (*error_remove_page)(struct address_space * , struct page * ) ;
1864};
1865#line 645
1866struct backing_dev_info;
1867#line 645
1868struct backing_dev_info;
1869#line 646 "include/linux/fs.h"
1870struct address_space {
1871 struct inode *host ;
1872 struct radix_tree_root page_tree ;
1873 spinlock_t tree_lock ;
1874 unsigned int i_mmap_writable ;
1875 struct prio_tree_root i_mmap ;
1876 struct list_head i_mmap_nonlinear ;
1877 struct mutex i_mmap_mutex ;
1878 unsigned long nrpages ;
1879 unsigned long writeback_index ;
1880 struct address_space_operations const *a_ops ;
1881 unsigned long flags ;
1882 struct backing_dev_info *backing_dev_info ;
1883 spinlock_t private_lock ;
1884 struct list_head private_list ;
1885 struct address_space *assoc_mapping ;
1886} __attribute__((__aligned__(sizeof(long )))) ;
1887#line 669
1888struct request_queue;
1889#line 669
1890struct request_queue;
1891#line 671
1892struct hd_struct;
1893#line 671
1894struct gendisk;
1895#line 671 "include/linux/fs.h"
1896struct block_device {
1897 dev_t bd_dev ;
1898 int bd_openers ;
1899 struct inode *bd_inode ;
1900 struct super_block *bd_super ;
1901 struct mutex bd_mutex ;
1902 struct list_head bd_inodes ;
1903 void *bd_claiming ;
1904 void *bd_holder ;
1905 int bd_holders ;
1906 bool bd_write_holder ;
1907 struct list_head bd_holder_disks ;
1908 struct block_device *bd_contains ;
1909 unsigned int bd_block_size ;
1910 struct hd_struct *bd_part ;
1911 unsigned int bd_part_count ;
1912 int bd_invalidated ;
1913 struct gendisk *bd_disk ;
1914 struct request_queue *bd_queue ;
1915 struct list_head bd_list ;
1916 unsigned long bd_private ;
1917 int bd_fsfreeze_count ;
1918 struct mutex bd_fsfreeze_mutex ;
1919};
1920#line 749
1921struct posix_acl;
1922#line 749
1923struct posix_acl;
1924#line 761
1925struct inode_operations;
1926#line 761 "include/linux/fs.h"
1927union __anonunion____missing_field_name_211 {
1928 unsigned int const i_nlink ;
1929 unsigned int __i_nlink ;
1930};
1931#line 761 "include/linux/fs.h"
1932union __anonunion____missing_field_name_212 {
1933 struct list_head i_dentry ;
1934 struct rcu_head i_rcu ;
1935};
1936#line 761
1937struct file_operations;
1938#line 761
1939struct file_lock;
1940#line 761
1941struct cdev;
1942#line 761 "include/linux/fs.h"
1943union __anonunion____missing_field_name_213 {
1944 struct pipe_inode_info *i_pipe ;
1945 struct block_device *i_bdev ;
1946 struct cdev *i_cdev ;
1947};
1948#line 761 "include/linux/fs.h"
1949struct inode {
1950 umode_t i_mode ;
1951 unsigned short i_opflags ;
1952 uid_t i_uid ;
1953 gid_t i_gid ;
1954 unsigned int i_flags ;
1955 struct posix_acl *i_acl ;
1956 struct posix_acl *i_default_acl ;
1957 struct inode_operations const *i_op ;
1958 struct super_block *i_sb ;
1959 struct address_space *i_mapping ;
1960 void *i_security ;
1961 unsigned long i_ino ;
1962 union __anonunion____missing_field_name_211 __annonCompField33 ;
1963 dev_t i_rdev ;
1964 struct timespec i_atime ;
1965 struct timespec i_mtime ;
1966 struct timespec i_ctime ;
1967 spinlock_t i_lock ;
1968 unsigned short i_bytes ;
1969 blkcnt_t i_blocks ;
1970 loff_t i_size ;
1971 unsigned long i_state ;
1972 struct mutex i_mutex ;
1973 unsigned long dirtied_when ;
1974 struct hlist_node i_hash ;
1975 struct list_head i_wb_list ;
1976 struct list_head i_lru ;
1977 struct list_head i_sb_list ;
1978 union __anonunion____missing_field_name_212 __annonCompField34 ;
1979 atomic_t i_count ;
1980 unsigned int i_blkbits ;
1981 u64 i_version ;
1982 atomic_t i_dio_count ;
1983 atomic_t i_writecount ;
1984 struct file_operations const *i_fop ;
1985 struct file_lock *i_flock ;
1986 struct address_space i_data ;
1987 struct dquot *i_dquot[2] ;
1988 struct list_head i_devices ;
1989 union __anonunion____missing_field_name_213 __annonCompField35 ;
1990 __u32 i_generation ;
1991 __u32 i_fsnotify_mask ;
1992 struct hlist_head i_fsnotify_marks ;
1993 atomic_t i_readcount ;
1994 void *i_private ;
1995};
1996#line 942 "include/linux/fs.h"
1997struct fown_struct {
1998 rwlock_t lock ;
1999 struct pid *pid ;
2000 enum pid_type pid_type ;
2001 uid_t uid ;
2002 uid_t euid ;
2003 int signum ;
2004};
2005#line 953 "include/linux/fs.h"
2006struct file_ra_state {
2007 unsigned long start ;
2008 unsigned int size ;
2009 unsigned int async_size ;
2010 unsigned int ra_pages ;
2011 unsigned int mmap_miss ;
2012 loff_t prev_pos ;
2013};
2014#line 976 "include/linux/fs.h"
2015union __anonunion_f_u_214 {
2016 struct list_head fu_list ;
2017 struct rcu_head fu_rcuhead ;
2018};
2019#line 976 "include/linux/fs.h"
2020struct file {
2021 union __anonunion_f_u_214 f_u ;
2022 struct path f_path ;
2023 struct file_operations const *f_op ;
2024 spinlock_t f_lock ;
2025 int f_sb_list_cpu ;
2026 atomic_long_t f_count ;
2027 unsigned int f_flags ;
2028 fmode_t f_mode ;
2029 loff_t f_pos ;
2030 struct fown_struct f_owner ;
2031 struct cred const *f_cred ;
2032 struct file_ra_state f_ra ;
2033 u64 f_version ;
2034 void *f_security ;
2035 void *private_data ;
2036 struct list_head f_ep_links ;
2037 struct list_head f_tfile_llink ;
2038 struct address_space *f_mapping ;
2039 unsigned long f_mnt_write_state ;
2040};
2041#line 1111
2042struct files_struct;
2043#line 1111 "include/linux/fs.h"
2044typedef struct files_struct *fl_owner_t;
2045#line 1113 "include/linux/fs.h"
2046struct file_lock_operations {
2047 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2048 void (*fl_release_private)(struct file_lock * ) ;
2049};
2050#line 1118 "include/linux/fs.h"
2051struct lock_manager_operations {
2052 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2053 void (*lm_notify)(struct file_lock * ) ;
2054 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2055 void (*lm_release_private)(struct file_lock * ) ;
2056 void (*lm_break)(struct file_lock * ) ;
2057 int (*lm_change)(struct file_lock ** , int ) ;
2058};
2059#line 4 "include/linux/nfs_fs_i.h"
2060struct nlm_lockowner;
2061#line 4
2062struct nlm_lockowner;
2063#line 9 "include/linux/nfs_fs_i.h"
2064struct nfs_lock_info {
2065 u32 state ;
2066 struct nlm_lockowner *owner ;
2067 struct list_head list ;
2068};
2069#line 15
2070struct nfs4_lock_state;
2071#line 15
2072struct nfs4_lock_state;
2073#line 16 "include/linux/nfs_fs_i.h"
2074struct nfs4_lock_info {
2075 struct nfs4_lock_state *owner ;
2076};
2077#line 1138 "include/linux/fs.h"
2078struct fasync_struct;
2079#line 1138 "include/linux/fs.h"
2080struct __anonstruct_afs_216 {
2081 struct list_head link ;
2082 int state ;
2083};
2084#line 1138 "include/linux/fs.h"
2085union __anonunion_fl_u_215 {
2086 struct nfs_lock_info nfs_fl ;
2087 struct nfs4_lock_info nfs4_fl ;
2088 struct __anonstruct_afs_216 afs ;
2089};
2090#line 1138 "include/linux/fs.h"
2091struct file_lock {
2092 struct file_lock *fl_next ;
2093 struct list_head fl_link ;
2094 struct list_head fl_block ;
2095 fl_owner_t fl_owner ;
2096 unsigned int fl_flags ;
2097 unsigned char fl_type ;
2098 unsigned int fl_pid ;
2099 struct pid *fl_nspid ;
2100 wait_queue_head_t fl_wait ;
2101 struct file *fl_file ;
2102 loff_t fl_start ;
2103 loff_t fl_end ;
2104 struct fasync_struct *fl_fasync ;
2105 unsigned long fl_break_time ;
2106 unsigned long fl_downgrade_time ;
2107 struct file_lock_operations const *fl_ops ;
2108 struct lock_manager_operations const *fl_lmops ;
2109 union __anonunion_fl_u_215 fl_u ;
2110};
2111#line 1378 "include/linux/fs.h"
2112struct fasync_struct {
2113 spinlock_t fa_lock ;
2114 int magic ;
2115 int fa_fd ;
2116 struct fasync_struct *fa_next ;
2117 struct file *fa_file ;
2118 struct rcu_head fa_rcu ;
2119};
2120#line 1418
2121struct file_system_type;
2122#line 1418
2123struct super_operations;
2124#line 1418
2125struct xattr_handler;
2126#line 1418
2127struct mtd_info;
2128#line 1418 "include/linux/fs.h"
2129struct super_block {
2130 struct list_head s_list ;
2131 dev_t s_dev ;
2132 unsigned char s_dirt ;
2133 unsigned char s_blocksize_bits ;
2134 unsigned long s_blocksize ;
2135 loff_t s_maxbytes ;
2136 struct file_system_type *s_type ;
2137 struct super_operations const *s_op ;
2138 struct dquot_operations const *dq_op ;
2139 struct quotactl_ops const *s_qcop ;
2140 struct export_operations const *s_export_op ;
2141 unsigned long s_flags ;
2142 unsigned long s_magic ;
2143 struct dentry *s_root ;
2144 struct rw_semaphore s_umount ;
2145 struct mutex s_lock ;
2146 int s_count ;
2147 atomic_t s_active ;
2148 void *s_security ;
2149 struct xattr_handler const **s_xattr ;
2150 struct list_head s_inodes ;
2151 struct hlist_bl_head s_anon ;
2152 struct list_head *s_files ;
2153 struct list_head s_mounts ;
2154 struct list_head s_dentry_lru ;
2155 int s_nr_dentry_unused ;
2156 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
2157 struct list_head s_inode_lru ;
2158 int s_nr_inodes_unused ;
2159 struct block_device *s_bdev ;
2160 struct backing_dev_info *s_bdi ;
2161 struct mtd_info *s_mtd ;
2162 struct hlist_node s_instances ;
2163 struct quota_info s_dquot ;
2164 int s_frozen ;
2165 wait_queue_head_t s_wait_unfrozen ;
2166 char s_id[32] ;
2167 u8 s_uuid[16] ;
2168 void *s_fs_info ;
2169 unsigned int s_max_links ;
2170 fmode_t s_mode ;
2171 u32 s_time_gran ;
2172 struct mutex s_vfs_rename_mutex ;
2173 char *s_subtype ;
2174 char *s_options ;
2175 struct dentry_operations const *s_d_op ;
2176 int cleancache_poolid ;
2177 struct shrinker s_shrink ;
2178 atomic_long_t s_remove_count ;
2179 int s_readonly_remount ;
2180};
2181#line 1567 "include/linux/fs.h"
2182struct fiemap_extent_info {
2183 unsigned int fi_flags ;
2184 unsigned int fi_extents_mapped ;
2185 unsigned int fi_extents_max ;
2186 struct fiemap_extent *fi_extents_start ;
2187};
2188#line 1609 "include/linux/fs.h"
2189struct file_operations {
2190 struct module *owner ;
2191 loff_t (*llseek)(struct file * , loff_t , int ) ;
2192 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2193 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2194 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2195 loff_t ) ;
2196 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2197 loff_t ) ;
2198 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2199 loff_t , u64 , unsigned int ) ) ;
2200 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2201 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2202 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2203 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2204 int (*open)(struct inode * , struct file * ) ;
2205 int (*flush)(struct file * , fl_owner_t id ) ;
2206 int (*release)(struct inode * , struct file * ) ;
2207 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
2208 int (*aio_fsync)(struct kiocb * , int datasync ) ;
2209 int (*fasync)(int , struct file * , int ) ;
2210 int (*lock)(struct file * , int , struct file_lock * ) ;
2211 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2212 int ) ;
2213 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2214 unsigned long , unsigned long ) ;
2215 int (*check_flags)(int ) ;
2216 int (*flock)(struct file * , int , struct file_lock * ) ;
2217 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2218 unsigned int ) ;
2219 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2220 unsigned int ) ;
2221 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2222 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
2223};
2224#line 1639 "include/linux/fs.h"
2225struct inode_operations {
2226 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2227 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2228 int (*permission)(struct inode * , int ) ;
2229 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2230 int (*readlink)(struct dentry * , char * , int ) ;
2231 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2232 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2233 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2234 int (*unlink)(struct inode * , struct dentry * ) ;
2235 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2236 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2237 int (*rmdir)(struct inode * , struct dentry * ) ;
2238 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2239 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2240 void (*truncate)(struct inode * ) ;
2241 int (*setattr)(struct dentry * , struct iattr * ) ;
2242 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2243 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2244 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2245 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2246 int (*removexattr)(struct dentry * , char const * ) ;
2247 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2248 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2249} __attribute__((__aligned__((1) << (6) ))) ;
2250#line 1669
2251struct seq_file;
2252#line 1684 "include/linux/fs.h"
2253struct super_operations {
2254 struct inode *(*alloc_inode)(struct super_block *sb ) ;
2255 void (*destroy_inode)(struct inode * ) ;
2256 void (*dirty_inode)(struct inode * , int flags ) ;
2257 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2258 int (*drop_inode)(struct inode * ) ;
2259 void (*evict_inode)(struct inode * ) ;
2260 void (*put_super)(struct super_block * ) ;
2261 void (*write_super)(struct super_block * ) ;
2262 int (*sync_fs)(struct super_block *sb , int wait ) ;
2263 int (*freeze_fs)(struct super_block * ) ;
2264 int (*unfreeze_fs)(struct super_block * ) ;
2265 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2266 int (*remount_fs)(struct super_block * , int * , char * ) ;
2267 void (*umount_begin)(struct super_block * ) ;
2268 int (*show_options)(struct seq_file * , struct dentry * ) ;
2269 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2270 int (*show_path)(struct seq_file * , struct dentry * ) ;
2271 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2272 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2273 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2274 loff_t ) ;
2275 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2276 int (*nr_cached_objects)(struct super_block * ) ;
2277 void (*free_cached_objects)(struct super_block * , int ) ;
2278};
2279#line 1835 "include/linux/fs.h"
2280struct file_system_type {
2281 char const *name ;
2282 int fs_flags ;
2283 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2284 void (*kill_sb)(struct super_block * ) ;
2285 struct module *owner ;
2286 struct file_system_type *next ;
2287 struct hlist_head fs_supers ;
2288 struct lock_class_key s_lock_key ;
2289 struct lock_class_key s_umount_key ;
2290 struct lock_class_key s_vfs_rename_key ;
2291 struct lock_class_key i_lock_key ;
2292 struct lock_class_key i_mutex_key ;
2293 struct lock_class_key i_mutex_dir_key ;
2294};
2295#line 12 "include/linux/mod_devicetable.h"
2296typedef unsigned long kernel_ulong_t;
2297#line 185 "include/linux/mod_devicetable.h"
2298struct acpi_device_id {
2299 __u8 id[16] ;
2300 kernel_ulong_t driver_data ;
2301};
2302#line 219 "include/linux/mod_devicetable.h"
2303struct of_device_id {
2304 char name[32] ;
2305 char type[32] ;
2306 char compatible[128] ;
2307 void *data ;
2308};
2309#line 312 "include/linux/mod_devicetable.h"
2310struct input_device_id {
2311 kernel_ulong_t flags ;
2312 __u16 bustype ;
2313 __u16 vendor ;
2314 __u16 product ;
2315 __u16 version ;
2316 kernel_ulong_t evbit[1] ;
2317 kernel_ulong_t keybit[12] ;
2318 kernel_ulong_t relbit[1] ;
2319 kernel_ulong_t absbit[1] ;
2320 kernel_ulong_t mscbit[1] ;
2321 kernel_ulong_t ledbit[1] ;
2322 kernel_ulong_t sndbit[1] ;
2323 kernel_ulong_t ffbit[2] ;
2324 kernel_ulong_t swbit[1] ;
2325 kernel_ulong_t driver_info ;
2326};
2327#line 1250 "include/linux/input.h"
2328struct ff_device;
2329#line 1250
2330struct input_mt_slot;
2331#line 1250
2332struct input_handle;
2333#line 1250 "include/linux/input.h"
2334struct input_dev {
2335 char const *name ;
2336 char const *phys ;
2337 char const *uniq ;
2338 struct input_id id ;
2339 unsigned long propbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2340 unsigned long evbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2341 unsigned long keybit[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2342 unsigned long relbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2343 unsigned long absbit[((64UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2344 unsigned long mscbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2345 unsigned long ledbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2346 unsigned long sndbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2347 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2348 unsigned long swbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2349 unsigned int hint_events_per_packet ;
2350 unsigned int keycodemax ;
2351 unsigned int keycodesize ;
2352 void *keycode ;
2353 int (*setkeycode)(struct input_dev *dev , struct input_keymap_entry const *ke ,
2354 unsigned int *old_keycode ) ;
2355 int (*getkeycode)(struct input_dev *dev , struct input_keymap_entry *ke ) ;
2356 struct ff_device *ff ;
2357 unsigned int repeat_key ;
2358 struct timer_list timer ;
2359 int rep[2] ;
2360 struct input_mt_slot *mt ;
2361 int mtsize ;
2362 int slot ;
2363 int trkid ;
2364 struct input_absinfo *absinfo ;
2365 unsigned long key[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2366 unsigned long led[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2367 unsigned long snd[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2368 unsigned long sw[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2369 int (*open)(struct input_dev *dev ) ;
2370 void (*close)(struct input_dev *dev ) ;
2371 int (*flush)(struct input_dev *dev , struct file *file ) ;
2372 int (*event)(struct input_dev *dev , unsigned int type , unsigned int code , int value ) ;
2373 struct input_handle *grab ;
2374 spinlock_t event_lock ;
2375 struct mutex mutex ;
2376 unsigned int users ;
2377 bool going_away ;
2378 bool sync ;
2379 struct device dev ;
2380 struct list_head h_list ;
2381 struct list_head node ;
2382};
2383#line 1370
2384struct input_handle;
2385#line 1409 "include/linux/input.h"
2386struct input_handler {
2387 void *private ;
2388 void (*event)(struct input_handle *handle , unsigned int type , unsigned int code ,
2389 int value ) ;
2390 bool (*filter)(struct input_handle *handle , unsigned int type , unsigned int code ,
2391 int value ) ;
2392 bool (*match)(struct input_handler *handler , struct input_dev *dev ) ;
2393 int (*connect)(struct input_handler *handler , struct input_dev *dev , struct input_device_id const *id ) ;
2394 void (*disconnect)(struct input_handle *handle ) ;
2395 void (*start)(struct input_handle *handle ) ;
2396 struct file_operations const *fops ;
2397 int minor ;
2398 char const *name ;
2399 struct input_device_id const *id_table ;
2400 struct list_head h_list ;
2401 struct list_head node ;
2402};
2403#line 1442 "include/linux/input.h"
2404struct input_handle {
2405 void *private ;
2406 int open ;
2407 char const *name ;
2408 struct input_dev *dev ;
2409 struct input_handler *handler ;
2410 struct list_head d_node ;
2411 struct list_head h_node ;
2412};
2413#line 1619 "include/linux/input.h"
2414struct ff_device {
2415 int (*upload)(struct input_dev *dev , struct ff_effect *effect , struct ff_effect *old ) ;
2416 int (*erase)(struct input_dev *dev , int effect_id ) ;
2417 int (*playback)(struct input_dev *dev , int effect_id , int value ) ;
2418 void (*set_gain)(struct input_dev *dev , u16 gain ) ;
2419 void (*set_autocenter)(struct input_dev *dev , u16 magnitude ) ;
2420 void (*destroy)(struct ff_device * ) ;
2421 void *private ;
2422 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2423 struct mutex mutex ;
2424 int max_effects ;
2425 struct ff_effect *effects ;
2426 struct file *effect_owners[] ;
2427};
2428#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
2429struct exception_table_entry {
2430 unsigned long insn ;
2431 unsigned long fixup ;
2432};
2433#line 23 "include/linux/mm_types.h"
2434struct address_space;
2435#line 40 "include/linux/mm_types.h"
2436union __anonunion____missing_field_name_221 {
2437 unsigned long index ;
2438 void *freelist ;
2439};
2440#line 40 "include/linux/mm_types.h"
2441struct __anonstruct____missing_field_name_225 {
2442 unsigned int inuse : 16 ;
2443 unsigned int objects : 15 ;
2444 unsigned int frozen : 1 ;
2445};
2446#line 40 "include/linux/mm_types.h"
2447union __anonunion____missing_field_name_224 {
2448 atomic_t _mapcount ;
2449 struct __anonstruct____missing_field_name_225 __annonCompField37 ;
2450};
2451#line 40 "include/linux/mm_types.h"
2452struct __anonstruct____missing_field_name_223 {
2453 union __anonunion____missing_field_name_224 __annonCompField38 ;
2454 atomic_t _count ;
2455};
2456#line 40 "include/linux/mm_types.h"
2457union __anonunion____missing_field_name_222 {
2458 unsigned long counters ;
2459 struct __anonstruct____missing_field_name_223 __annonCompField39 ;
2460};
2461#line 40 "include/linux/mm_types.h"
2462struct __anonstruct____missing_field_name_220 {
2463 union __anonunion____missing_field_name_221 __annonCompField36 ;
2464 union __anonunion____missing_field_name_222 __annonCompField40 ;
2465};
2466#line 40 "include/linux/mm_types.h"
2467struct __anonstruct____missing_field_name_227 {
2468 struct page *next ;
2469 int pages ;
2470 int pobjects ;
2471};
2472#line 40 "include/linux/mm_types.h"
2473union __anonunion____missing_field_name_226 {
2474 struct list_head lru ;
2475 struct __anonstruct____missing_field_name_227 __annonCompField42 ;
2476};
2477#line 40 "include/linux/mm_types.h"
2478union __anonunion____missing_field_name_228 {
2479 unsigned long private ;
2480 struct kmem_cache *slab ;
2481 struct page *first_page ;
2482};
2483#line 40 "include/linux/mm_types.h"
2484struct page {
2485 unsigned long flags ;
2486 struct address_space *mapping ;
2487 struct __anonstruct____missing_field_name_220 __annonCompField41 ;
2488 union __anonunion____missing_field_name_226 __annonCompField43 ;
2489 union __anonunion____missing_field_name_228 __annonCompField44 ;
2490 unsigned long debug_flags ;
2491} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2492#line 200 "include/linux/mm_types.h"
2493struct __anonstruct_vm_set_230 {
2494 struct list_head list ;
2495 void *parent ;
2496 struct vm_area_struct *head ;
2497};
2498#line 200 "include/linux/mm_types.h"
2499union __anonunion_shared_229 {
2500 struct __anonstruct_vm_set_230 vm_set ;
2501 struct raw_prio_tree_node prio_tree_node ;
2502};
2503#line 200
2504struct anon_vma;
2505#line 200
2506struct vm_operations_struct;
2507#line 200
2508struct mempolicy;
2509#line 200 "include/linux/mm_types.h"
2510struct vm_area_struct {
2511 struct mm_struct *vm_mm ;
2512 unsigned long vm_start ;
2513 unsigned long vm_end ;
2514 struct vm_area_struct *vm_next ;
2515 struct vm_area_struct *vm_prev ;
2516 pgprot_t vm_page_prot ;
2517 unsigned long vm_flags ;
2518 struct rb_node vm_rb ;
2519 union __anonunion_shared_229 shared ;
2520 struct list_head anon_vma_chain ;
2521 struct anon_vma *anon_vma ;
2522 struct vm_operations_struct const *vm_ops ;
2523 unsigned long vm_pgoff ;
2524 struct file *vm_file ;
2525 void *vm_private_data ;
2526 struct mempolicy *vm_policy ;
2527};
2528#line 257 "include/linux/mm_types.h"
2529struct core_thread {
2530 struct task_struct *task ;
2531 struct core_thread *next ;
2532};
2533#line 262 "include/linux/mm_types.h"
2534struct core_state {
2535 atomic_t nr_threads ;
2536 struct core_thread dumper ;
2537 struct completion startup ;
2538};
2539#line 284 "include/linux/mm_types.h"
2540struct mm_rss_stat {
2541 atomic_long_t count[3] ;
2542};
2543#line 288
2544struct linux_binfmt;
2545#line 288
2546struct mmu_notifier_mm;
2547#line 288 "include/linux/mm_types.h"
2548struct mm_struct {
2549 struct vm_area_struct *mmap ;
2550 struct rb_root mm_rb ;
2551 struct vm_area_struct *mmap_cache ;
2552 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2553 unsigned long pgoff , unsigned long flags ) ;
2554 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2555 unsigned long mmap_base ;
2556 unsigned long task_size ;
2557 unsigned long cached_hole_size ;
2558 unsigned long free_area_cache ;
2559 pgd_t *pgd ;
2560 atomic_t mm_users ;
2561 atomic_t mm_count ;
2562 int map_count ;
2563 spinlock_t page_table_lock ;
2564 struct rw_semaphore mmap_sem ;
2565 struct list_head mmlist ;
2566 unsigned long hiwater_rss ;
2567 unsigned long hiwater_vm ;
2568 unsigned long total_vm ;
2569 unsigned long locked_vm ;
2570 unsigned long pinned_vm ;
2571 unsigned long shared_vm ;
2572 unsigned long exec_vm ;
2573 unsigned long stack_vm ;
2574 unsigned long reserved_vm ;
2575 unsigned long def_flags ;
2576 unsigned long nr_ptes ;
2577 unsigned long start_code ;
2578 unsigned long end_code ;
2579 unsigned long start_data ;
2580 unsigned long end_data ;
2581 unsigned long start_brk ;
2582 unsigned long brk ;
2583 unsigned long start_stack ;
2584 unsigned long arg_start ;
2585 unsigned long arg_end ;
2586 unsigned long env_start ;
2587 unsigned long env_end ;
2588 unsigned long saved_auxv[44] ;
2589 struct mm_rss_stat rss_stat ;
2590 struct linux_binfmt *binfmt ;
2591 cpumask_var_t cpu_vm_mask_var ;
2592 mm_context_t context ;
2593 unsigned int faultstamp ;
2594 unsigned int token_priority ;
2595 unsigned int last_interval ;
2596 unsigned long flags ;
2597 struct core_state *core_state ;
2598 spinlock_t ioctx_lock ;
2599 struct hlist_head ioctx_list ;
2600 struct task_struct *owner ;
2601 struct file *exe_file ;
2602 unsigned long num_exe_file_vmas ;
2603 struct mmu_notifier_mm *mmu_notifier_mm ;
2604 pgtable_t pmd_huge_pte ;
2605 struct cpumask cpumask_allocation ;
2606};
2607#line 7 "include/asm-generic/cputime.h"
2608typedef unsigned long cputime_t;
2609#line 84 "include/linux/sem.h"
2610struct task_struct;
2611#line 101
2612struct sem_undo_list;
2613#line 101 "include/linux/sem.h"
2614struct sysv_sem {
2615 struct sem_undo_list *undo_list ;
2616};
2617#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2618struct siginfo;
2619#line 10
2620struct siginfo;
2621#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2622struct __anonstruct_sigset_t_232 {
2623 unsigned long sig[1] ;
2624};
2625#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2626typedef struct __anonstruct_sigset_t_232 sigset_t;
2627#line 17 "include/asm-generic/signal-defs.h"
2628typedef void __signalfn_t(int );
2629#line 18 "include/asm-generic/signal-defs.h"
2630typedef __signalfn_t *__sighandler_t;
2631#line 20 "include/asm-generic/signal-defs.h"
2632typedef void __restorefn_t(void);
2633#line 21 "include/asm-generic/signal-defs.h"
2634typedef __restorefn_t *__sigrestore_t;
2635#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2636struct sigaction {
2637 __sighandler_t sa_handler ;
2638 unsigned long sa_flags ;
2639 __sigrestore_t sa_restorer ;
2640 sigset_t sa_mask ;
2641};
2642#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2643struct k_sigaction {
2644 struct sigaction sa ;
2645};
2646#line 7 "include/asm-generic/siginfo.h"
2647union sigval {
2648 int sival_int ;
2649 void *sival_ptr ;
2650};
2651#line 7 "include/asm-generic/siginfo.h"
2652typedef union sigval sigval_t;
2653#line 48 "include/asm-generic/siginfo.h"
2654struct __anonstruct__kill_234 {
2655 __kernel_pid_t _pid ;
2656 __kernel_uid32_t _uid ;
2657};
2658#line 48 "include/asm-generic/siginfo.h"
2659struct __anonstruct__timer_235 {
2660 __kernel_timer_t _tid ;
2661 int _overrun ;
2662 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2663 sigval_t _sigval ;
2664 int _sys_private ;
2665};
2666#line 48 "include/asm-generic/siginfo.h"
2667struct __anonstruct__rt_236 {
2668 __kernel_pid_t _pid ;
2669 __kernel_uid32_t _uid ;
2670 sigval_t _sigval ;
2671};
2672#line 48 "include/asm-generic/siginfo.h"
2673struct __anonstruct__sigchld_237 {
2674 __kernel_pid_t _pid ;
2675 __kernel_uid32_t _uid ;
2676 int _status ;
2677 __kernel_clock_t _utime ;
2678 __kernel_clock_t _stime ;
2679};
2680#line 48 "include/asm-generic/siginfo.h"
2681struct __anonstruct__sigfault_238 {
2682 void *_addr ;
2683 short _addr_lsb ;
2684};
2685#line 48 "include/asm-generic/siginfo.h"
2686struct __anonstruct__sigpoll_239 {
2687 long _band ;
2688 int _fd ;
2689};
2690#line 48 "include/asm-generic/siginfo.h"
2691union __anonunion__sifields_233 {
2692 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2693 struct __anonstruct__kill_234 _kill ;
2694 struct __anonstruct__timer_235 _timer ;
2695 struct __anonstruct__rt_236 _rt ;
2696 struct __anonstruct__sigchld_237 _sigchld ;
2697 struct __anonstruct__sigfault_238 _sigfault ;
2698 struct __anonstruct__sigpoll_239 _sigpoll ;
2699};
2700#line 48 "include/asm-generic/siginfo.h"
2701struct siginfo {
2702 int si_signo ;
2703 int si_errno ;
2704 int si_code ;
2705 union __anonunion__sifields_233 _sifields ;
2706};
2707#line 48 "include/asm-generic/siginfo.h"
2708typedef struct siginfo siginfo_t;
2709#line 288
2710struct siginfo;
2711#line 10 "include/linux/signal.h"
2712struct task_struct;
2713#line 18
2714struct user_struct;
2715#line 28 "include/linux/signal.h"
2716struct sigpending {
2717 struct list_head list ;
2718 sigset_t signal ;
2719};
2720#line 239
2721struct timespec;
2722#line 240
2723struct pt_regs;
2724#line 10 "include/linux/seccomp.h"
2725struct __anonstruct_seccomp_t_242 {
2726 int mode ;
2727};
2728#line 10 "include/linux/seccomp.h"
2729typedef struct __anonstruct_seccomp_t_242 seccomp_t;
2730#line 81 "include/linux/plist.h"
2731struct plist_head {
2732 struct list_head node_list ;
2733};
2734#line 85 "include/linux/plist.h"
2735struct plist_node {
2736 int prio ;
2737 struct list_head prio_list ;
2738 struct list_head node_list ;
2739};
2740#line 40 "include/linux/rtmutex.h"
2741struct rt_mutex_waiter;
2742#line 40
2743struct rt_mutex_waiter;
2744#line 42 "include/linux/resource.h"
2745struct rlimit {
2746 unsigned long rlim_cur ;
2747 unsigned long rlim_max ;
2748};
2749#line 81
2750struct task_struct;
2751#line 8 "include/linux/timerqueue.h"
2752struct timerqueue_node {
2753 struct rb_node node ;
2754 ktime_t expires ;
2755};
2756#line 13 "include/linux/timerqueue.h"
2757struct timerqueue_head {
2758 struct rb_root head ;
2759 struct timerqueue_node *next ;
2760};
2761#line 27 "include/linux/hrtimer.h"
2762struct hrtimer_clock_base;
2763#line 27
2764struct hrtimer_clock_base;
2765#line 28
2766struct hrtimer_cpu_base;
2767#line 28
2768struct hrtimer_cpu_base;
2769#line 44
2770enum hrtimer_restart {
2771 HRTIMER_NORESTART = 0,
2772 HRTIMER_RESTART = 1
2773} ;
2774#line 108 "include/linux/hrtimer.h"
2775struct hrtimer {
2776 struct timerqueue_node node ;
2777 ktime_t _softexpires ;
2778 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2779 struct hrtimer_clock_base *base ;
2780 unsigned long state ;
2781 int start_pid ;
2782 void *start_site ;
2783 char start_comm[16] ;
2784};
2785#line 145 "include/linux/hrtimer.h"
2786struct hrtimer_clock_base {
2787 struct hrtimer_cpu_base *cpu_base ;
2788 int index ;
2789 clockid_t clockid ;
2790 struct timerqueue_head active ;
2791 ktime_t resolution ;
2792 ktime_t (*get_time)(void) ;
2793 ktime_t softirq_time ;
2794 ktime_t offset ;
2795};
2796#line 178 "include/linux/hrtimer.h"
2797struct hrtimer_cpu_base {
2798 raw_spinlock_t lock ;
2799 unsigned long active_bases ;
2800 ktime_t expires_next ;
2801 int hres_active ;
2802 int hang_detected ;
2803 unsigned long nr_events ;
2804 unsigned long nr_retries ;
2805 unsigned long nr_hangs ;
2806 ktime_t max_hang_time ;
2807 struct hrtimer_clock_base clock_base[3] ;
2808};
2809#line 11 "include/linux/task_io_accounting.h"
2810struct task_io_accounting {
2811 u64 rchar ;
2812 u64 wchar ;
2813 u64 syscr ;
2814 u64 syscw ;
2815 u64 read_bytes ;
2816 u64 write_bytes ;
2817 u64 cancelled_write_bytes ;
2818};
2819#line 13 "include/linux/latencytop.h"
2820struct task_struct;
2821#line 20 "include/linux/latencytop.h"
2822struct latency_record {
2823 unsigned long backtrace[12] ;
2824 unsigned int count ;
2825 unsigned long time ;
2826 unsigned long max ;
2827};
2828#line 29 "include/linux/key.h"
2829typedef int32_t key_serial_t;
2830#line 32 "include/linux/key.h"
2831typedef uint32_t key_perm_t;
2832#line 34
2833struct key;
2834#line 34
2835struct key;
2836#line 74
2837struct seq_file;
2838#line 75
2839struct user_struct;
2840#line 76
2841struct signal_struct;
2842#line 76
2843struct signal_struct;
2844#line 77
2845struct cred;
2846#line 79
2847struct key_type;
2848#line 79
2849struct key_type;
2850#line 81
2851struct keyring_list;
2852#line 81
2853struct keyring_list;
2854#line 124
2855struct key_user;
2856#line 124 "include/linux/key.h"
2857union __anonunion____missing_field_name_243 {
2858 time_t expiry ;
2859 time_t revoked_at ;
2860};
2861#line 124 "include/linux/key.h"
2862union __anonunion_type_data_244 {
2863 struct list_head link ;
2864 unsigned long x[2] ;
2865 void *p[2] ;
2866 int reject_error ;
2867};
2868#line 124 "include/linux/key.h"
2869union __anonunion_payload_245 {
2870 unsigned long value ;
2871 void *rcudata ;
2872 void *data ;
2873 struct keyring_list *subscriptions ;
2874};
2875#line 124 "include/linux/key.h"
2876struct key {
2877 atomic_t usage ;
2878 key_serial_t serial ;
2879 struct rb_node serial_node ;
2880 struct key_type *type ;
2881 struct rw_semaphore sem ;
2882 struct key_user *user ;
2883 void *security ;
2884 union __anonunion____missing_field_name_243 __annonCompField45 ;
2885 uid_t uid ;
2886 gid_t gid ;
2887 key_perm_t perm ;
2888 unsigned short quotalen ;
2889 unsigned short datalen ;
2890 unsigned long flags ;
2891 char *description ;
2892 union __anonunion_type_data_244 type_data ;
2893 union __anonunion_payload_245 payload ;
2894};
2895#line 18 "include/linux/selinux.h"
2896struct audit_context;
2897#line 18
2898struct audit_context;
2899#line 21 "include/linux/cred.h"
2900struct user_struct;
2901#line 22
2902struct cred;
2903#line 23
2904struct inode;
2905#line 31 "include/linux/cred.h"
2906struct group_info {
2907 atomic_t usage ;
2908 int ngroups ;
2909 int nblocks ;
2910 gid_t small_block[32] ;
2911 gid_t *blocks[0] ;
2912};
2913#line 83 "include/linux/cred.h"
2914struct thread_group_cred {
2915 atomic_t usage ;
2916 pid_t tgid ;
2917 spinlock_t lock ;
2918 struct key *session_keyring ;
2919 struct key *process_keyring ;
2920 struct rcu_head rcu ;
2921};
2922#line 116 "include/linux/cred.h"
2923struct cred {
2924 atomic_t usage ;
2925 atomic_t subscribers ;
2926 void *put_addr ;
2927 unsigned int magic ;
2928 uid_t uid ;
2929 gid_t gid ;
2930 uid_t suid ;
2931 gid_t sgid ;
2932 uid_t euid ;
2933 gid_t egid ;
2934 uid_t fsuid ;
2935 gid_t fsgid ;
2936 unsigned int securebits ;
2937 kernel_cap_t cap_inheritable ;
2938 kernel_cap_t cap_permitted ;
2939 kernel_cap_t cap_effective ;
2940 kernel_cap_t cap_bset ;
2941 unsigned char jit_keyring ;
2942 struct key *thread_keyring ;
2943 struct key *request_key_auth ;
2944 struct thread_group_cred *tgcred ;
2945 void *security ;
2946 struct user_struct *user ;
2947 struct user_namespace *user_ns ;
2948 struct group_info *group_info ;
2949 struct rcu_head rcu ;
2950};
2951#line 61 "include/linux/llist.h"
2952struct llist_node;
2953#line 65 "include/linux/llist.h"
2954struct llist_node {
2955 struct llist_node *next ;
2956};
2957#line 97 "include/linux/sched.h"
2958struct futex_pi_state;
2959#line 97
2960struct futex_pi_state;
2961#line 98
2962struct robust_list_head;
2963#line 98
2964struct robust_list_head;
2965#line 99
2966struct bio_list;
2967#line 99
2968struct bio_list;
2969#line 100
2970struct fs_struct;
2971#line 100
2972struct fs_struct;
2973#line 101
2974struct perf_event_context;
2975#line 101
2976struct perf_event_context;
2977#line 102
2978struct blk_plug;
2979#line 102
2980struct blk_plug;
2981#line 150
2982struct seq_file;
2983#line 151
2984struct cfs_rq;
2985#line 151
2986struct cfs_rq;
2987#line 259
2988struct task_struct;
2989#line 366
2990struct nsproxy;
2991#line 367
2992struct user_namespace;
2993#line 58 "include/linux/aio_abi.h"
2994struct io_event {
2995 __u64 data ;
2996 __u64 obj ;
2997 __s64 res ;
2998 __s64 res2 ;
2999};
3000#line 16 "include/linux/uio.h"
3001struct iovec {
3002 void *iov_base ;
3003 __kernel_size_t iov_len ;
3004};
3005#line 15 "include/linux/aio.h"
3006struct kioctx;
3007#line 15
3008struct kioctx;
3009#line 87 "include/linux/aio.h"
3010union __anonunion_ki_obj_247 {
3011 void *user ;
3012 struct task_struct *tsk ;
3013};
3014#line 87
3015struct eventfd_ctx;
3016#line 87 "include/linux/aio.h"
3017struct kiocb {
3018 struct list_head ki_run_list ;
3019 unsigned long ki_flags ;
3020 int ki_users ;
3021 unsigned int ki_key ;
3022 struct file *ki_filp ;
3023 struct kioctx *ki_ctx ;
3024 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3025 ssize_t (*ki_retry)(struct kiocb * ) ;
3026 void (*ki_dtor)(struct kiocb * ) ;
3027 union __anonunion_ki_obj_247 ki_obj ;
3028 __u64 ki_user_data ;
3029 loff_t ki_pos ;
3030 void *private ;
3031 unsigned short ki_opcode ;
3032 size_t ki_nbytes ;
3033 char *ki_buf ;
3034 size_t ki_left ;
3035 struct iovec ki_inline_vec ;
3036 struct iovec *ki_iovec ;
3037 unsigned long ki_nr_segs ;
3038 unsigned long ki_cur_seg ;
3039 struct list_head ki_list ;
3040 struct list_head ki_batch ;
3041 struct eventfd_ctx *ki_eventfd ;
3042};
3043#line 166 "include/linux/aio.h"
3044struct aio_ring_info {
3045 unsigned long mmap_base ;
3046 unsigned long mmap_size ;
3047 struct page **ring_pages ;
3048 spinlock_t ring_lock ;
3049 long nr_pages ;
3050 unsigned int nr ;
3051 unsigned int tail ;
3052 struct page *internal_pages[8] ;
3053};
3054#line 179 "include/linux/aio.h"
3055struct kioctx {
3056 atomic_t users ;
3057 int dead ;
3058 struct mm_struct *mm ;
3059 unsigned long user_id ;
3060 struct hlist_node list ;
3061 wait_queue_head_t wait ;
3062 spinlock_t ctx_lock ;
3063 int reqs_active ;
3064 struct list_head active_reqs ;
3065 struct list_head run_list ;
3066 unsigned int max_reqs ;
3067 struct aio_ring_info ring_info ;
3068 struct delayed_work wq ;
3069 struct rcu_head rcu_head ;
3070};
3071#line 214
3072struct mm_struct;
3073#line 443 "include/linux/sched.h"
3074struct sighand_struct {
3075 atomic_t count ;
3076 struct k_sigaction action[64] ;
3077 spinlock_t siglock ;
3078 wait_queue_head_t signalfd_wqh ;
3079};
3080#line 450 "include/linux/sched.h"
3081struct pacct_struct {
3082 int ac_flag ;
3083 long ac_exitcode ;
3084 unsigned long ac_mem ;
3085 cputime_t ac_utime ;
3086 cputime_t ac_stime ;
3087 unsigned long ac_minflt ;
3088 unsigned long ac_majflt ;
3089};
3090#line 458 "include/linux/sched.h"
3091struct cpu_itimer {
3092 cputime_t expires ;
3093 cputime_t incr ;
3094 u32 error ;
3095 u32 incr_error ;
3096};
3097#line 476 "include/linux/sched.h"
3098struct task_cputime {
3099 cputime_t utime ;
3100 cputime_t stime ;
3101 unsigned long long sum_exec_runtime ;
3102};
3103#line 512 "include/linux/sched.h"
3104struct thread_group_cputimer {
3105 struct task_cputime cputime ;
3106 int running ;
3107 raw_spinlock_t lock ;
3108};
3109#line 519
3110struct autogroup;
3111#line 519
3112struct autogroup;
3113#line 528
3114struct tty_struct;
3115#line 528
3116struct taskstats;
3117#line 528
3118struct tty_audit_buf;
3119#line 528 "include/linux/sched.h"
3120struct signal_struct {
3121 atomic_t sigcnt ;
3122 atomic_t live ;
3123 int nr_threads ;
3124 wait_queue_head_t wait_chldexit ;
3125 struct task_struct *curr_target ;
3126 struct sigpending shared_pending ;
3127 int group_exit_code ;
3128 int notify_count ;
3129 struct task_struct *group_exit_task ;
3130 int group_stop_count ;
3131 unsigned int flags ;
3132 unsigned int is_child_subreaper : 1 ;
3133 unsigned int has_child_subreaper : 1 ;
3134 struct list_head posix_timers ;
3135 struct hrtimer real_timer ;
3136 struct pid *leader_pid ;
3137 ktime_t it_real_incr ;
3138 struct cpu_itimer it[2] ;
3139 struct thread_group_cputimer cputimer ;
3140 struct task_cputime cputime_expires ;
3141 struct list_head cpu_timers[3] ;
3142 struct pid *tty_old_pgrp ;
3143 int leader ;
3144 struct tty_struct *tty ;
3145 struct autogroup *autogroup ;
3146 cputime_t utime ;
3147 cputime_t stime ;
3148 cputime_t cutime ;
3149 cputime_t cstime ;
3150 cputime_t gtime ;
3151 cputime_t cgtime ;
3152 cputime_t prev_utime ;
3153 cputime_t prev_stime ;
3154 unsigned long nvcsw ;
3155 unsigned long nivcsw ;
3156 unsigned long cnvcsw ;
3157 unsigned long cnivcsw ;
3158 unsigned long min_flt ;
3159 unsigned long maj_flt ;
3160 unsigned long cmin_flt ;
3161 unsigned long cmaj_flt ;
3162 unsigned long inblock ;
3163 unsigned long oublock ;
3164 unsigned long cinblock ;
3165 unsigned long coublock ;
3166 unsigned long maxrss ;
3167 unsigned long cmaxrss ;
3168 struct task_io_accounting ioac ;
3169 unsigned long long sum_sched_runtime ;
3170 struct rlimit rlim[16] ;
3171 struct pacct_struct pacct ;
3172 struct taskstats *stats ;
3173 unsigned int audit_tty ;
3174 struct tty_audit_buf *tty_audit_buf ;
3175 struct rw_semaphore group_rwsem ;
3176 int oom_adj ;
3177 int oom_score_adj ;
3178 int oom_score_adj_min ;
3179 struct mutex cred_guard_mutex ;
3180};
3181#line 703 "include/linux/sched.h"
3182struct user_struct {
3183 atomic_t __count ;
3184 atomic_t processes ;
3185 atomic_t files ;
3186 atomic_t sigpending ;
3187 atomic_t inotify_watches ;
3188 atomic_t inotify_devs ;
3189 atomic_t fanotify_listeners ;
3190 atomic_long_t epoll_watches ;
3191 unsigned long mq_bytes ;
3192 unsigned long locked_shm ;
3193 struct key *uid_keyring ;
3194 struct key *session_keyring ;
3195 struct hlist_node uidhash_node ;
3196 uid_t uid ;
3197 struct user_namespace *user_ns ;
3198 atomic_long_t locked_vm ;
3199};
3200#line 747
3201struct backing_dev_info;
3202#line 748
3203struct reclaim_state;
3204#line 748
3205struct reclaim_state;
3206#line 751 "include/linux/sched.h"
3207struct sched_info {
3208 unsigned long pcount ;
3209 unsigned long long run_delay ;
3210 unsigned long long last_arrival ;
3211 unsigned long long last_queued ;
3212};
3213#line 763 "include/linux/sched.h"
3214struct task_delay_info {
3215 spinlock_t lock ;
3216 unsigned int flags ;
3217 struct timespec blkio_start ;
3218 struct timespec blkio_end ;
3219 u64 blkio_delay ;
3220 u64 swapin_delay ;
3221 u32 blkio_count ;
3222 u32 swapin_count ;
3223 struct timespec freepages_start ;
3224 struct timespec freepages_end ;
3225 u64 freepages_delay ;
3226 u32 freepages_count ;
3227};
3228#line 1088
3229struct io_context;
3230#line 1088
3231struct io_context;
3232#line 1097
3233struct audit_context;
3234#line 1098
3235struct mempolicy;
3236#line 1099
3237struct pipe_inode_info;
3238#line 1102
3239struct rq;
3240#line 1102
3241struct rq;
3242#line 1122 "include/linux/sched.h"
3243struct sched_class {
3244 struct sched_class const *next ;
3245 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3246 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3247 void (*yield_task)(struct rq *rq ) ;
3248 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3249 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3250 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3251 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3252 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3253 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3254 void (*post_schedule)(struct rq *this_rq ) ;
3255 void (*task_waking)(struct task_struct *task ) ;
3256 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3257 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3258 void (*rq_online)(struct rq *rq ) ;
3259 void (*rq_offline)(struct rq *rq ) ;
3260 void (*set_curr_task)(struct rq *rq ) ;
3261 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3262 void (*task_fork)(struct task_struct *p ) ;
3263 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3264 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3265 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3266 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3267 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3268};
3269#line 1167 "include/linux/sched.h"
3270struct load_weight {
3271 unsigned long weight ;
3272 unsigned long inv_weight ;
3273};
3274#line 1172 "include/linux/sched.h"
3275struct sched_statistics {
3276 u64 wait_start ;
3277 u64 wait_max ;
3278 u64 wait_count ;
3279 u64 wait_sum ;
3280 u64 iowait_count ;
3281 u64 iowait_sum ;
3282 u64 sleep_start ;
3283 u64 sleep_max ;
3284 s64 sum_sleep_runtime ;
3285 u64 block_start ;
3286 u64 block_max ;
3287 u64 exec_max ;
3288 u64 slice_max ;
3289 u64 nr_migrations_cold ;
3290 u64 nr_failed_migrations_affine ;
3291 u64 nr_failed_migrations_running ;
3292 u64 nr_failed_migrations_hot ;
3293 u64 nr_forced_migrations ;
3294 u64 nr_wakeups ;
3295 u64 nr_wakeups_sync ;
3296 u64 nr_wakeups_migrate ;
3297 u64 nr_wakeups_local ;
3298 u64 nr_wakeups_remote ;
3299 u64 nr_wakeups_affine ;
3300 u64 nr_wakeups_affine_attempts ;
3301 u64 nr_wakeups_passive ;
3302 u64 nr_wakeups_idle ;
3303};
3304#line 1207 "include/linux/sched.h"
3305struct sched_entity {
3306 struct load_weight load ;
3307 struct rb_node run_node ;
3308 struct list_head group_node ;
3309 unsigned int on_rq ;
3310 u64 exec_start ;
3311 u64 sum_exec_runtime ;
3312 u64 vruntime ;
3313 u64 prev_sum_exec_runtime ;
3314 u64 nr_migrations ;
3315 struct sched_statistics statistics ;
3316 struct sched_entity *parent ;
3317 struct cfs_rq *cfs_rq ;
3318 struct cfs_rq *my_q ;
3319};
3320#line 1233
3321struct rt_rq;
3322#line 1233 "include/linux/sched.h"
3323struct sched_rt_entity {
3324 struct list_head run_list ;
3325 unsigned long timeout ;
3326 unsigned int time_slice ;
3327 int nr_cpus_allowed ;
3328 struct sched_rt_entity *back ;
3329 struct sched_rt_entity *parent ;
3330 struct rt_rq *rt_rq ;
3331 struct rt_rq *my_q ;
3332};
3333#line 1264
3334struct css_set;
3335#line 1264
3336struct compat_robust_list_head;
3337#line 1264
3338struct mem_cgroup;
3339#line 1264 "include/linux/sched.h"
3340struct memcg_batch_info {
3341 int do_batch ;
3342 struct mem_cgroup *memcg ;
3343 unsigned long nr_pages ;
3344 unsigned long memsw_nr_pages ;
3345};
3346#line 1264 "include/linux/sched.h"
3347struct task_struct {
3348 long volatile state ;
3349 void *stack ;
3350 atomic_t usage ;
3351 unsigned int flags ;
3352 unsigned int ptrace ;
3353 struct llist_node wake_entry ;
3354 int on_cpu ;
3355 int on_rq ;
3356 int prio ;
3357 int static_prio ;
3358 int normal_prio ;
3359 unsigned int rt_priority ;
3360 struct sched_class const *sched_class ;
3361 struct sched_entity se ;
3362 struct sched_rt_entity rt ;
3363 struct hlist_head preempt_notifiers ;
3364 unsigned char fpu_counter ;
3365 unsigned int policy ;
3366 cpumask_t cpus_allowed ;
3367 struct sched_info sched_info ;
3368 struct list_head tasks ;
3369 struct plist_node pushable_tasks ;
3370 struct mm_struct *mm ;
3371 struct mm_struct *active_mm ;
3372 unsigned int brk_randomized : 1 ;
3373 int exit_state ;
3374 int exit_code ;
3375 int exit_signal ;
3376 int pdeath_signal ;
3377 unsigned int jobctl ;
3378 unsigned int personality ;
3379 unsigned int did_exec : 1 ;
3380 unsigned int in_execve : 1 ;
3381 unsigned int in_iowait : 1 ;
3382 unsigned int sched_reset_on_fork : 1 ;
3383 unsigned int sched_contributes_to_load : 1 ;
3384 unsigned int irq_thread : 1 ;
3385 pid_t pid ;
3386 pid_t tgid ;
3387 unsigned long stack_canary ;
3388 struct task_struct *real_parent ;
3389 struct task_struct *parent ;
3390 struct list_head children ;
3391 struct list_head sibling ;
3392 struct task_struct *group_leader ;
3393 struct list_head ptraced ;
3394 struct list_head ptrace_entry ;
3395 struct pid_link pids[3] ;
3396 struct list_head thread_group ;
3397 struct completion *vfork_done ;
3398 int *set_child_tid ;
3399 int *clear_child_tid ;
3400 cputime_t utime ;
3401 cputime_t stime ;
3402 cputime_t utimescaled ;
3403 cputime_t stimescaled ;
3404 cputime_t gtime ;
3405 cputime_t prev_utime ;
3406 cputime_t prev_stime ;
3407 unsigned long nvcsw ;
3408 unsigned long nivcsw ;
3409 struct timespec start_time ;
3410 struct timespec real_start_time ;
3411 unsigned long min_flt ;
3412 unsigned long maj_flt ;
3413 struct task_cputime cputime_expires ;
3414 struct list_head cpu_timers[3] ;
3415 struct cred const *real_cred ;
3416 struct cred const *cred ;
3417 struct cred *replacement_session_keyring ;
3418 char comm[16] ;
3419 int link_count ;
3420 int total_link_count ;
3421 struct sysv_sem sysvsem ;
3422 unsigned long last_switch_count ;
3423 struct thread_struct thread ;
3424 struct fs_struct *fs ;
3425 struct files_struct *files ;
3426 struct nsproxy *nsproxy ;
3427 struct signal_struct *signal ;
3428 struct sighand_struct *sighand ;
3429 sigset_t blocked ;
3430 sigset_t real_blocked ;
3431 sigset_t saved_sigmask ;
3432 struct sigpending pending ;
3433 unsigned long sas_ss_sp ;
3434 size_t sas_ss_size ;
3435 int (*notifier)(void *priv ) ;
3436 void *notifier_data ;
3437 sigset_t *notifier_mask ;
3438 struct audit_context *audit_context ;
3439 uid_t loginuid ;
3440 unsigned int sessionid ;
3441 seccomp_t seccomp ;
3442 u32 parent_exec_id ;
3443 u32 self_exec_id ;
3444 spinlock_t alloc_lock ;
3445 raw_spinlock_t pi_lock ;
3446 struct plist_head pi_waiters ;
3447 struct rt_mutex_waiter *pi_blocked_on ;
3448 struct mutex_waiter *blocked_on ;
3449 unsigned int irq_events ;
3450 unsigned long hardirq_enable_ip ;
3451 unsigned long hardirq_disable_ip ;
3452 unsigned int hardirq_enable_event ;
3453 unsigned int hardirq_disable_event ;
3454 int hardirqs_enabled ;
3455 int hardirq_context ;
3456 unsigned long softirq_disable_ip ;
3457 unsigned long softirq_enable_ip ;
3458 unsigned int softirq_disable_event ;
3459 unsigned int softirq_enable_event ;
3460 int softirqs_enabled ;
3461 int softirq_context ;
3462 void *journal_info ;
3463 struct bio_list *bio_list ;
3464 struct blk_plug *plug ;
3465 struct reclaim_state *reclaim_state ;
3466 struct backing_dev_info *backing_dev_info ;
3467 struct io_context *io_context ;
3468 unsigned long ptrace_message ;
3469 siginfo_t *last_siginfo ;
3470 struct task_io_accounting ioac ;
3471 u64 acct_rss_mem1 ;
3472 u64 acct_vm_mem1 ;
3473 cputime_t acct_timexpd ;
3474 nodemask_t mems_allowed ;
3475 seqcount_t mems_allowed_seq ;
3476 int cpuset_mem_spread_rotor ;
3477 int cpuset_slab_spread_rotor ;
3478 struct css_set *cgroups ;
3479 struct list_head cg_list ;
3480 struct robust_list_head *robust_list ;
3481 struct compat_robust_list_head *compat_robust_list ;
3482 struct list_head pi_state_list ;
3483 struct futex_pi_state *pi_state_cache ;
3484 struct perf_event_context *perf_event_ctxp[2] ;
3485 struct mutex perf_event_mutex ;
3486 struct list_head perf_event_list ;
3487 struct mempolicy *mempolicy ;
3488 short il_next ;
3489 short pref_node_fork ;
3490 struct rcu_head rcu ;
3491 struct pipe_inode_info *splice_pipe ;
3492 struct task_delay_info *delays ;
3493 int make_it_fail ;
3494 int nr_dirtied ;
3495 int nr_dirtied_pause ;
3496 unsigned long dirty_paused_when ;
3497 int latency_record_count ;
3498 struct latency_record latency_record[32] ;
3499 unsigned long timer_slack_ns ;
3500 unsigned long default_timer_slack_ns ;
3501 struct list_head *scm_work_list ;
3502 unsigned long trace ;
3503 unsigned long trace_recursion ;
3504 struct memcg_batch_info memcg_batch ;
3505 atomic_t ptrace_bp_refcnt ;
3506};
3507#line 1681
3508struct pid_namespace;
3509#line 46 "include/linux/slub_def.h"
3510struct kmem_cache_cpu {
3511 void **freelist ;
3512 unsigned long tid ;
3513 struct page *page ;
3514 struct page *partial ;
3515 int node ;
3516 unsigned int stat[26] ;
3517};
3518#line 57 "include/linux/slub_def.h"
3519struct kmem_cache_node {
3520 spinlock_t list_lock ;
3521 unsigned long nr_partial ;
3522 struct list_head partial ;
3523 atomic_long_t nr_slabs ;
3524 atomic_long_t total_objects ;
3525 struct list_head full ;
3526};
3527#line 73 "include/linux/slub_def.h"
3528struct kmem_cache_order_objects {
3529 unsigned long x ;
3530};
3531#line 80 "include/linux/slub_def.h"
3532struct kmem_cache {
3533 struct kmem_cache_cpu *cpu_slab ;
3534 unsigned long flags ;
3535 unsigned long min_partial ;
3536 int size ;
3537 int objsize ;
3538 int offset ;
3539 int cpu_partial ;
3540 struct kmem_cache_order_objects oo ;
3541 struct kmem_cache_order_objects max ;
3542 struct kmem_cache_order_objects min ;
3543 gfp_t allocflags ;
3544 int refcount ;
3545 void (*ctor)(void * ) ;
3546 int inuse ;
3547 int align ;
3548 int reserved ;
3549 char const *name ;
3550 struct list_head list ;
3551 struct kobject kobj ;
3552 int remote_node_defrag_ratio ;
3553 struct kmem_cache_node *node[1 << 10] ;
3554};
3555#line 163 "include/acpi/actypes.h"
3556typedef u64 acpi_physical_address;
3557#line 371 "include/acpi/actypes.h"
3558typedef u32 acpi_status;
3559#line 374 "include/acpi/actypes.h"
3560typedef void *acpi_handle;
3561#line 715 "include/acpi/actypes.h"
3562typedef u8 acpi_adr_space_type;
3563#line 79 "include/acpi/actbl.h"
3564#pragma pack(1)
3565#line 321
3566#pragma pack()
3567#line 79 "include/acpi/actbl1.h"
3568#pragma pack(1)
3569#line 961
3570#pragma pack()
3571#line 96 "include/acpi/actbl2.h"
3572#pragma pack(1)
3573#line 1046
3574#pragma pack()
3575#line 87 "include/acpi/actbl3.h"
3576#pragma pack(1)
3577#line 550
3578#pragma pack()
3579#line 152 "include/acpi/acrestyp.h"
3580#pragma pack(1)
3581#line 588
3582#pragma pack()
3583#line 35 "include/acpi/acpi_bus.h"
3584struct acpi_handle_list {
3585 u32 count ;
3586 acpi_handle handles[10] ;
3587};
3588#line 11 "include/linux/proc_fs.h"
3589struct completion;
3590#line 12
3591struct mm_struct;
3592#line 46 "include/linux/proc_fs.h"
3593typedef int read_proc_t(char *page , char **start , off_t off , int count , int *eof ,
3594 void *data );
3595#line 48 "include/linux/proc_fs.h"
3596typedef int write_proc_t(struct file *file , char const *buffer , unsigned long count ,
3597 void *data );
3598#line 51 "include/linux/proc_fs.h"
3599struct proc_dir_entry {
3600 unsigned int low_ino ;
3601 umode_t mode ;
3602 nlink_t nlink ;
3603 uid_t uid ;
3604 gid_t gid ;
3605 loff_t size ;
3606 struct inode_operations const *proc_iops ;
3607 struct file_operations const *proc_fops ;
3608 struct proc_dir_entry *next ;
3609 struct proc_dir_entry *parent ;
3610 struct proc_dir_entry *subdir ;
3611 void *data ;
3612 read_proc_t *read_proc ;
3613 write_proc_t *write_proc ;
3614 atomic_t count ;
3615 int pde_users ;
3616 struct completion *pde_unload_completion ;
3617 struct list_head pde_openers ;
3618 spinlock_t pde_unload_lock ;
3619 u8 namelen ;
3620 char name[] ;
3621};
3622#line 117
3623struct pid_namespace;
3624#line 243
3625struct nsproxy;
3626#line 61 "include/acpi/acpi_bus.h"
3627enum acpi_bus_removal_type {
3628 ACPI_BUS_REMOVAL_NORMAL = 0,
3629 ACPI_BUS_REMOVAL_EJECT = 1,
3630 ACPI_BUS_REMOVAL_SUPRISE = 2,
3631 ACPI_BUS_REMOVAL_TYPE_COUNT = 3
3632} ;
3633#line 78
3634struct acpi_driver;
3635#line 78
3636struct acpi_driver;
3637#line 79
3638struct acpi_device;
3639#line 79
3640struct acpi_device;
3641#line 96 "include/acpi/acpi_bus.h"
3642struct acpi_bus_ops {
3643 u32 acpi_op_add : 1 ;
3644 u32 acpi_op_start : 1 ;
3645};
3646#line 101 "include/acpi/acpi_bus.h"
3647struct acpi_device_ops {
3648 int (*add)(struct acpi_device *device ) ;
3649 int (*remove)(struct acpi_device *device , int type ) ;
3650 int (*start)(struct acpi_device *device ) ;
3651 int (*suspend)(struct acpi_device *device , pm_message_t state ) ;
3652 int (*resume)(struct acpi_device *device ) ;
3653 int (*bind)(struct acpi_device *device ) ;
3654 int (*unbind)(struct acpi_device *device ) ;
3655 void (*notify)(struct acpi_device *device , u32 event ) ;
3656};
3657#line 114 "include/acpi/acpi_bus.h"
3658struct acpi_driver {
3659 char name[80] ;
3660 char class[80] ;
3661 struct acpi_device_id const *ids ;
3662 unsigned int flags ;
3663 struct acpi_device_ops ops ;
3664 struct device_driver drv ;
3665 struct module *owner ;
3666};
3667#line 131 "include/acpi/acpi_bus.h"
3668struct acpi_device_status {
3669 u32 present : 1 ;
3670 u32 enabled : 1 ;
3671 u32 show_in_ui : 1 ;
3672 u32 functional : 1 ;
3673 u32 battery_present : 1 ;
3674 u32 reserved : 27 ;
3675};
3676#line 142 "include/acpi/acpi_bus.h"
3677struct acpi_device_flags {
3678 u32 dynamic_status : 1 ;
3679 u32 bus_address : 1 ;
3680 u32 removable : 1 ;
3681 u32 ejectable : 1 ;
3682 u32 lockable : 1 ;
3683 u32 suprise_removal_ok : 1 ;
3684 u32 power_manageable : 1 ;
3685 u32 performance_manageable : 1 ;
3686 u32 reserved : 24 ;
3687};
3688#line 156 "include/acpi/acpi_bus.h"
3689struct acpi_device_dir {
3690 struct proc_dir_entry *entry ;
3691};
3692#line 164 "include/acpi/acpi_bus.h"
3693typedef char acpi_bus_id[8];
3694#line 165 "include/acpi/acpi_bus.h"
3695typedef unsigned long acpi_bus_address;
3696#line 166 "include/acpi/acpi_bus.h"
3697typedef char acpi_device_name[40];
3698#line 167 "include/acpi/acpi_bus.h"
3699typedef char acpi_device_class[20];
3700#line 174 "include/acpi/acpi_bus.h"
3701struct acpi_device_pnp {
3702 acpi_bus_id bus_id ;
3703 acpi_bus_address bus_address ;
3704 char *unique_id ;
3705 struct list_head ids ;
3706 acpi_device_name device_name ;
3707 acpi_device_class device_class ;
3708};
3709#line 191 "include/acpi/acpi_bus.h"
3710struct acpi_device_power_flags {
3711 u32 explicit_get : 1 ;
3712 u32 power_resources : 1 ;
3713 u32 inrush_current : 1 ;
3714 u32 power_removed : 1 ;
3715 u32 reserved : 28 ;
3716};
3717#line 199 "include/acpi/acpi_bus.h"
3718struct __anonstruct_flags_258 {
3719 u8 valid : 1 ;
3720 u8 explicit_set : 1 ;
3721 u8 reserved : 6 ;
3722};
3723#line 199 "include/acpi/acpi_bus.h"
3724struct acpi_device_power_state {
3725 struct __anonstruct_flags_258 flags ;
3726 int power ;
3727 int latency ;
3728 struct acpi_handle_list resources ;
3729};
3730#line 210 "include/acpi/acpi_bus.h"
3731struct acpi_device_power {
3732 int state ;
3733 struct acpi_device_power_flags flags ;
3734 struct acpi_device_power_state states[5] ;
3735};
3736#line 218 "include/acpi/acpi_bus.h"
3737struct acpi_device_perf_flags {
3738 u8 reserved : 8 ;
3739};
3740#line 222 "include/acpi/acpi_bus.h"
3741struct __anonstruct_flags_259 {
3742 u8 valid : 1 ;
3743 u8 reserved : 7 ;
3744};
3745#line 222 "include/acpi/acpi_bus.h"
3746struct acpi_device_perf_state {
3747 struct __anonstruct_flags_259 flags ;
3748 u8 power ;
3749 u8 performance ;
3750 int latency ;
3751};
3752#line 232 "include/acpi/acpi_bus.h"
3753struct acpi_device_perf {
3754 int state ;
3755 struct acpi_device_perf_flags flags ;
3756 int state_count ;
3757 struct acpi_device_perf_state *states ;
3758};
3759#line 240 "include/acpi/acpi_bus.h"
3760struct acpi_device_wakeup_flags {
3761 u8 valid : 1 ;
3762 u8 run_wake : 1 ;
3763 u8 notifier_present : 1 ;
3764};
3765#line 246 "include/acpi/acpi_bus.h"
3766struct acpi_device_wakeup {
3767 acpi_handle gpe_device ;
3768 u64 gpe_number ;
3769 u64 sleep_state ;
3770 struct acpi_handle_list resources ;
3771 struct acpi_device_wakeup_flags flags ;
3772 int prepare_count ;
3773};
3774#line 257 "include/acpi/acpi_bus.h"
3775struct acpi_device {
3776 int device_type ;
3777 acpi_handle handle ;
3778 struct acpi_device *parent ;
3779 struct list_head children ;
3780 struct list_head node ;
3781 struct list_head wakeup_list ;
3782 struct acpi_device_status status ;
3783 struct acpi_device_flags flags ;
3784 struct acpi_device_pnp pnp ;
3785 struct acpi_device_power power ;
3786 struct acpi_device_wakeup wakeup ;
3787 struct acpi_device_perf performance ;
3788 struct acpi_device_dir dir ;
3789 struct acpi_device_ops ops ;
3790 struct acpi_driver *driver ;
3791 void *driver_data ;
3792 struct device dev ;
3793 struct acpi_bus_ops bus_ops ;
3794 enum acpi_bus_removal_type removal_type ;
3795};
3796#line 93 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
3797struct __anonstruct_260 {
3798 int : 0 ;
3799};
3800#line 97 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
3801struct __anonstruct_261 {
3802 int : 0 ;
3803};
3804#line 1 "<compiler builtins>"
3805long __builtin_expect(long val , long res ) ;
3806#line 82 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/bitops.h"
3807__inline static void __set_bit(int nr , unsigned long volatile *addr ) __attribute__((__no_instrument_function__)) ;
3808#line 82 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/bitops.h"
3809__inline static void __set_bit(int nr , unsigned long volatile *addr )
3810{ long volatile *__cil_tmp3 ;
3811
3812 {
3813#line 84
3814 __cil_tmp3 = (long volatile *)addr;
3815#line 84
3816 __asm__ volatile ("bts %1,%0": "+m" (*__cil_tmp3): "Ir" (nr): "memory");
3817#line 85
3818 return;
3819}
3820}
3821#line 100 "include/linux/printk.h"
3822extern int ( printk)(char const *fmt , ...) ;
3823#line 152 "include/linux/mutex.h"
3824void mutex_lock(struct mutex *lock ) ;
3825#line 153
3826int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3827#line 154
3828int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3829#line 168
3830int mutex_trylock(struct mutex *lock ) ;
3831#line 169
3832void mutex_unlock(struct mutex *lock ) ;
3833#line 170
3834int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3835#line 88 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/acpi.h"
3836extern int acpi_disabled ;
3837#line 26 "include/linux/export.h"
3838extern struct module __this_module ;
3839#line 67 "include/linux/module.h"
3840int init_module(void) ;
3841#line 68
3842void cleanup_module(void) ;
3843#line 1456 "include/linux/input.h"
3844extern struct input_dev *input_allocate_device(void) ;
3845#line 1457
3846extern void input_free_device(struct input_dev *dev ) ;
3847#line 1480
3848extern int __attribute__((__warn_unused_result__)) input_register_device(struct input_dev * ) ;
3849#line 1481
3850extern void input_unregister_device(struct input_dev * ) ;
3851#line 1502
3852extern void input_event(struct input_dev *dev , unsigned int type , unsigned int code ,
3853 int value ) ;
3854#line 1505
3855__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
3856 int value ) __attribute__((__no_instrument_function__)) ;
3857#line 1505 "include/linux/input.h"
3858__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
3859 int value )
3860{ int __cil_tmp4 ;
3861 int __cil_tmp5 ;
3862
3863 {
3864 {
3865#line 1507
3866 __cil_tmp4 = ! value;
3867#line 1507
3868 __cil_tmp5 = ! __cil_tmp4;
3869#line 1507
3870 input_event(dev, 1U, code, __cil_tmp5);
3871 }
3872#line 1508
3873 return;
3874}
3875}
3876#line 1530
3877__inline static void input_sync(struct input_dev *dev ) __attribute__((__no_instrument_function__)) ;
3878#line 1530 "include/linux/input.h"
3879__inline static void input_sync(struct input_dev *dev )
3880{
3881
3882 {
3883 {
3884#line 1532
3885 input_event(dev, 0U, 0U, 0);
3886 }
3887#line 1533
3888 return;
3889}
3890}
3891#line 1540
3892extern void input_set_capability(struct input_dev *dev , unsigned int type , unsigned int code ) ;
3893#line 302 "include/acpi/acpixf.h"
3894extern acpi_status acpi_install_address_space_handler(acpi_handle device , acpi_adr_space_type space_id ,
3895 acpi_status (*handler)(u32 function ,
3896 acpi_physical_address address ,
3897 u32 bit_width ,
3898 u64 *value ,
3899 void *handler_context ,
3900 void *region_context ) ,
3901 acpi_status (*setup)(acpi_handle region_handle ,
3902 u32 function ,
3903 void *handler_context ,
3904 void **region_context ) ,
3905 void *context ) ;
3906#line 308
3907extern acpi_status acpi_remove_address_space_handler(acpi_handle device , acpi_adr_space_type space_id ,
3908 acpi_status (*handler)(u32 function ,
3909 acpi_physical_address address ,
3910 u32 bit_width ,
3911 u64 *value ,
3912 void *handler_context ,
3913 void *region_context ) ) ;
3914#line 336 "include/acpi/acpi_bus.h"
3915extern int acpi_bus_register_driver(struct acpi_driver *driver ) ;
3916#line 337
3917extern void acpi_bus_unregister_driver(struct acpi_driver *driver ) ;
3918#line 38 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
3919static unsigned short atlas_keymap[16] ;
3920#line 39 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
3921static struct input_dev *input_dev ;
3922#line 42 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
3923static acpi_status acpi_atlas_button_setup(acpi_handle region_handle , u32 function ,
3924 void *handler_context , void **return_context )
3925{
3926
3927 {
3928#line 45
3929 if (function != 1U) {
3930#line 45
3931 *return_context = handler_context;
3932 } else {
3933#line 45
3934 *return_context = (void *)0;
3935 }
3936#line 48
3937 return ((acpi_status )0);
3938}
3939}
3940#line 51 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
3941static acpi_status acpi_atlas_button_handler(u32 function , acpi_physical_address address ,
3942 u32 bit_width , u64 *value , void *handler_context ,
3943 void *region_context )
3944{ acpi_status status ;
3945 int code ;
3946 int key_down ;
3947 unsigned long long __cil_tmp10 ;
3948 unsigned long long __cil_tmp11 ;
3949 unsigned long __cil_tmp12 ;
3950 unsigned long __cil_tmp13 ;
3951 unsigned short __cil_tmp14 ;
3952 unsigned int __cil_tmp15 ;
3953 unsigned long __cil_tmp16 ;
3954 u64 __cil_tmp17 ;
3955 u32 __cil_tmp18 ;
3956
3957 {
3958#line 58
3959 if (function == 1U) {
3960 {
3961#line 59
3962 __cil_tmp10 = address & 15ULL;
3963#line 59
3964 code = (int )__cil_tmp10;
3965#line 60
3966 __cil_tmp11 = address & 16ULL;
3967#line 60
3968 key_down = ! __cil_tmp11;
3969#line 62
3970 input_event(input_dev, 4U, 4U, code);
3971#line 63
3972 __cil_tmp12 = code * 2UL;
3973#line 63
3974 __cil_tmp13 = (unsigned long )(atlas_keymap) + __cil_tmp12;
3975#line 63
3976 __cil_tmp14 = *((unsigned short *)__cil_tmp13);
3977#line 63
3978 __cil_tmp15 = (unsigned int )__cil_tmp14;
3979#line 63
3980 input_report_key(input_dev, __cil_tmp15, key_down);
3981#line 64
3982 input_sync(input_dev);
3983#line 66
3984 status = (acpi_status )0;
3985 }
3986 } else {
3987 {
3988#line 68
3989 __cil_tmp16 = (unsigned long )address;
3990#line 68
3991 __cil_tmp17 = *value;
3992#line 68
3993 __cil_tmp18 = (u32 )__cil_tmp17;
3994#line 68
3995 printk("<4>atlas_btns: shrugged on unexpected function: function=%x,address=%lx,value=%x\n",
3996 function, __cil_tmp16, __cil_tmp18);
3997#line 70
3998 status = (acpi_status )4097;
3999 }
4000 }
4001#line 73
4002 return (status);
4003}
4004}
4005#line 76 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4006static int atlas_acpi_button_add(struct acpi_device *device )
4007{ acpi_status status ;
4008 int i ;
4009 int err ;
4010 unsigned long __cil_tmp5 ;
4011 unsigned long __cil_tmp6 ;
4012 unsigned long __cil_tmp7 ;
4013 unsigned long __cil_tmp8 ;
4014 unsigned long __cil_tmp9 ;
4015 unsigned long __cil_tmp10 ;
4016 unsigned long __cil_tmp11 ;
4017 unsigned long __cil_tmp12 ;
4018 unsigned short *__cil_tmp13 ;
4019 unsigned long __cil_tmp14 ;
4020 unsigned long __cil_tmp15 ;
4021 unsigned long __cil_tmp16 ;
4022 unsigned long __cil_tmp17 ;
4023 unsigned long __cil_tmp18 ;
4024 unsigned long __cil_tmp19 ;
4025 unsigned long __cil_tmp20 ;
4026 unsigned long __cil_tmp21 ;
4027 unsigned long __cil_tmp22 ;
4028 unsigned long __cil_tmp23 ;
4029 unsigned long *__cil_tmp24 ;
4030 unsigned long volatile *__cil_tmp25 ;
4031 unsigned long __cil_tmp26 ;
4032 unsigned long __cil_tmp27 ;
4033 unsigned long __cil_tmp28 ;
4034 unsigned long __cil_tmp29 ;
4035 unsigned long __cil_tmp30 ;
4036 int __cil_tmp31 ;
4037 int __cil_tmp32 ;
4038 unsigned long __cil_tmp33 ;
4039 unsigned long __cil_tmp34 ;
4040 unsigned long __cil_tmp35 ;
4041 unsigned long __cil_tmp36 ;
4042 unsigned long *__cil_tmp37 ;
4043 unsigned long volatile *__cil_tmp38 ;
4044 unsigned long __cil_tmp39 ;
4045 unsigned long __cil_tmp40 ;
4046 unsigned long __cil_tmp41 ;
4047 unsigned long __cil_tmp42 ;
4048 acpi_handle __cil_tmp43 ;
4049 acpi_adr_space_type __cil_tmp44 ;
4050 void *__cil_tmp45 ;
4051
4052 {
4053 {
4054#line 82
4055 input_dev = input_allocate_device();
4056 }
4057#line 83
4058 if (! input_dev) {
4059 {
4060#line 84
4061 printk("<3>atlas_btns: unable to allocate input device\n");
4062 }
4063#line 85
4064 return (-12);
4065 } else {
4066
4067 }
4068 {
4069#line 88
4070 *((char const **)input_dev) = "Atlas ACPI button driver";
4071#line 89
4072 __cil_tmp5 = (unsigned long )input_dev;
4073#line 89
4074 __cil_tmp6 = __cil_tmp5 + 8;
4075#line 89
4076 *((char const **)__cil_tmp6) = "ASIM0000/atlas/input0";
4077#line 90
4078 __cil_tmp7 = (unsigned long )input_dev;
4079#line 90
4080 __cil_tmp8 = __cil_tmp7 + 24;
4081#line 90
4082 *((__u16 *)__cil_tmp8) = (__u16 )25;
4083#line 91
4084 __cil_tmp9 = (unsigned long )input_dev;
4085#line 91
4086 __cil_tmp10 = __cil_tmp9 + 224;
4087#line 91
4088 __cil_tmp11 = 0 * 2UL;
4089#line 91
4090 __cil_tmp12 = (unsigned long )(atlas_keymap) + __cil_tmp11;
4091#line 91
4092 __cil_tmp13 = (unsigned short *)__cil_tmp12;
4093#line 91
4094 *((void **)__cil_tmp10) = (void *)__cil_tmp13;
4095#line 92
4096 __cil_tmp14 = (unsigned long )input_dev;
4097#line 92
4098 __cil_tmp15 = __cil_tmp14 + 216;
4099#line 92
4100 *((unsigned int *)__cil_tmp15) = (unsigned int )2UL;
4101#line 93
4102 __cil_tmp16 = (unsigned long )input_dev;
4103#line 93
4104 __cil_tmp17 = __cil_tmp16 + 212;
4105#line 93
4106 __cil_tmp18 = 32UL / 2UL;
4107#line 93
4108 __cil_tmp19 = __cil_tmp18 + 0UL;
4109#line 93
4110 *((unsigned int *)__cil_tmp17) = (unsigned int )__cil_tmp19;
4111#line 95
4112 input_set_capability(input_dev, 4U, 4U);
4113#line 96
4114 __cil_tmp20 = 0 * 8UL;
4115#line 96
4116 __cil_tmp21 = 40 + __cil_tmp20;
4117#line 96
4118 __cil_tmp22 = (unsigned long )input_dev;
4119#line 96
4120 __cil_tmp23 = __cil_tmp22 + __cil_tmp21;
4121#line 96
4122 __cil_tmp24 = (unsigned long *)__cil_tmp23;
4123#line 96
4124 __cil_tmp25 = (unsigned long volatile *)__cil_tmp24;
4125#line 96
4126 __set_bit(1, __cil_tmp25);
4127#line 97
4128 i = 0;
4129 }
4130 {
4131#line 97
4132 while (1) {
4133 while_continue: ;
4134 {
4135#line 97
4136 __cil_tmp26 = 32UL / 2UL;
4137#line 97
4138 __cil_tmp27 = __cil_tmp26 + 0UL;
4139#line 97
4140 __cil_tmp28 = (unsigned long )i;
4141#line 97
4142 if (__cil_tmp28 < __cil_tmp27) {
4143
4144 } else {
4145#line 97
4146 goto while_break;
4147 }
4148 }
4149#line 98
4150 if (i < 9) {
4151 {
4152#line 99
4153 __cil_tmp29 = i * 2UL;
4154#line 99
4155 __cil_tmp30 = (unsigned long )(atlas_keymap) + __cil_tmp29;
4156#line 99
4157 __cil_tmp31 = 59 + i;
4158#line 99
4159 *((unsigned short *)__cil_tmp30) = (unsigned short )__cil_tmp31;
4160#line 100
4161 __cil_tmp32 = 59 + i;
4162#line 100
4163 __cil_tmp33 = 0 * 8UL;
4164#line 100
4165 __cil_tmp34 = 48 + __cil_tmp33;
4166#line 100
4167 __cil_tmp35 = (unsigned long )input_dev;
4168#line 100
4169 __cil_tmp36 = __cil_tmp35 + __cil_tmp34;
4170#line 100
4171 __cil_tmp37 = (unsigned long *)__cil_tmp36;
4172#line 100
4173 __cil_tmp38 = (unsigned long volatile *)__cil_tmp37;
4174#line 100
4175 __set_bit(__cil_tmp32, __cil_tmp38);
4176 }
4177 } else {
4178#line 102
4179 __cil_tmp39 = i * 2UL;
4180#line 102
4181 __cil_tmp40 = (unsigned long )(atlas_keymap) + __cil_tmp39;
4182#line 102
4183 *((unsigned short *)__cil_tmp40) = (unsigned short)0;
4184 }
4185#line 97
4186 i = i + 1;
4187 }
4188 while_break: ;
4189 }
4190 {
4191#line 105
4192 err = (int )input_register_device(input_dev);
4193 }
4194#line 106
4195 if (err) {
4196 {
4197#line 107
4198 printk("<3>atlas_btns: couldn\'t register input device\n");
4199#line 108
4200 input_free_device(input_dev);
4201 }
4202#line 109
4203 return (err);
4204 } else {
4205
4206 }
4207 {
4208#line 113
4209 __cil_tmp41 = (unsigned long )device;
4210#line 113
4211 __cil_tmp42 = __cil_tmp41 + 8;
4212#line 113
4213 __cil_tmp43 = *((acpi_handle *)__cil_tmp42);
4214#line 113
4215 __cil_tmp44 = (acpi_adr_space_type )129;
4216#line 113
4217 __cil_tmp45 = (void *)device;
4218#line 113
4219 status = acpi_install_address_space_handler(__cil_tmp43, __cil_tmp44, & acpi_atlas_button_handler,
4220 & acpi_atlas_button_setup, __cil_tmp45);
4221 }
4222#line 116
4223 if (status) {
4224 {
4225#line 117
4226 printk("<3>atlas_btns: error installing addr spc handler\n");
4227#line 118
4228 input_unregister_device(input_dev);
4229#line 119
4230 err = -22;
4231 }
4232 } else {
4233
4234 }
4235#line 122
4236 return (err);
4237}
4238}
4239#line 125 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4240static int atlas_acpi_button_remove(struct acpi_device *device , int type )
4241{ acpi_status status ;
4242 unsigned long __cil_tmp4 ;
4243 unsigned long __cil_tmp5 ;
4244 acpi_handle __cil_tmp6 ;
4245 acpi_adr_space_type __cil_tmp7 ;
4246
4247 {
4248 {
4249#line 129
4250 __cil_tmp4 = (unsigned long )device;
4251#line 129
4252 __cil_tmp5 = __cil_tmp4 + 8;
4253#line 129
4254 __cil_tmp6 = *((acpi_handle *)__cil_tmp5);
4255#line 129
4256 __cil_tmp7 = (acpi_adr_space_type )129;
4257#line 129
4258 status = acpi_remove_address_space_handler(__cil_tmp6, __cil_tmp7, & acpi_atlas_button_handler);
4259 }
4260#line 131
4261 if (status) {
4262 {
4263#line 132
4264 printk("<3>atlas_btns: error removing addr spc handler\n");
4265 }
4266 } else {
4267
4268 }
4269 {
4270#line 134
4271 input_unregister_device(input_dev);
4272 }
4273#line 136
4274 return (0);
4275}
4276}
4277#line 139 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4278static struct acpi_device_id const atlas_device_ids[2] = { {{(__u8 )'A', (__u8 )'S', (__u8 )'I', (__u8 )'M', (__u8 )'0', (__u8 )'0', (__u8 )'0',
4279 (__u8 )'0', (__u8 )'\000', (unsigned char)0, (unsigned char)0, (unsigned char)0,
4280 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, (kernel_ulong_t )0},
4281 {{(__u8 )'\000',
4282 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4283 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4284 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0},
4285 (kernel_ulong_t )0}};
4286#line 143
4287extern struct acpi_device_id const __mod_acpi_device_table __attribute__((__unused__,
4288__alias__("atlas_device_ids"))) ;
4289#line 145 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4290static struct acpi_driver atlas_acpi_driver = {{(char )'A', (char )'t', (char )'l', (char )'a', (char )'s', (char )' ', (char )'A',
4291 (char )'C', (char )'P', (char )'I', (char )'\000'}, {(char )'A', (char )'t',
4292 (char )'l', (char )'a',
4293 (char )'s', (char )'\000'},
4294 atlas_device_ids, 0U, {& atlas_acpi_button_add, & atlas_acpi_button_remove, (int (*)(struct acpi_device *device ))0,
4295 (int (*)(struct acpi_device *device , pm_message_t state ))0,
4296 (int (*)(struct acpi_device *device ))0, (int (*)(struct acpi_device *device ))0,
4297 (int (*)(struct acpi_device *device ))0, (void (*)(struct acpi_device *device ,
4298 u32 event ))0},
4299 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
4300 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device *dev ))0,
4301 (int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
4302 pm_message_t state ))0,
4303 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
4304 (struct driver_private *)0}, & __this_module};
4305#line 156
4306static int atlas_acpi_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4307#line 156 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4308static int atlas_acpi_init(void)
4309{ int tmp___7 ;
4310
4311 {
4312#line 158
4313 if (acpi_disabled) {
4314#line 159
4315 return (-19);
4316 } else {
4317
4318 }
4319 {
4320#line 161
4321 tmp___7 = acpi_bus_register_driver(& atlas_acpi_driver);
4322 }
4323#line 161
4324 return (tmp___7);
4325}
4326}
4327#line 164
4328static void atlas_acpi_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
4329#line 164 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4330static void atlas_acpi_exit(void)
4331{
4332
4333 {
4334 {
4335#line 166
4336 acpi_bus_unregister_driver(& atlas_acpi_driver);
4337 }
4338#line 167
4339 return;
4340}
4341}
4342#line 169 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4343int init_module(void)
4344{ int tmp___7 ;
4345
4346 {
4347 {
4348#line 169
4349 tmp___7 = atlas_acpi_init();
4350 }
4351#line 169
4352 return (tmp___7);
4353}
4354}
4355#line 170 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4356void cleanup_module(void)
4357{
4358
4359 {
4360 {
4361#line 170
4362 atlas_acpi_exit();
4363 }
4364#line 170
4365 return;
4366}
4367}
4368#line 172 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4369static char const __mod_author172[18] __attribute__((__used__, __unused__, __section__(".modinfo"),
4370__aligned__(1))) =
4371#line 172
4372 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4373 (char const )'o', (char const )'r', (char const )'=', (char const )'J',
4374 (char const )'a', (char const )'y', (char const )'a', (char const )' ',
4375 (char const )'K', (char const )'u', (char const )'m', (char const )'a',
4376 (char const )'r', (char const )'\000'};
4377#line 173 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4378static char const __mod_license173[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4379__aligned__(1))) =
4380#line 173
4381 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4382 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4383 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4384#line 174 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4385static char const __mod_description174[32] __attribute__((__used__, __unused__,
4386__section__(".modinfo"), __aligned__(1))) =
4387#line 174
4388 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4389 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4390 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4391 (char const )'A', (char const )'t', (char const )'l', (char const )'a',
4392 (char const )'s', (char const )' ', (char const )'b', (char const )'u',
4393 (char const )'t', (char const )'t', (char const )'o', (char const )'n',
4394 (char const )' ', (char const )'d', (char const )'r', (char const )'i',
4395 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
4396#line 193
4397void ldv_check_final_state(void) ;
4398#line 199
4399extern void ldv_initialize(void) ;
4400#line 202
4401extern int __VERIFIER_nondet_int(void) ;
4402#line 205 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4403int LDV_IN_INTERRUPT ;
4404#line 208 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4405void main(void)
4406{ struct acpi_device *var_group1 ;
4407 int var_atlas_acpi_button_remove_3_p1 ;
4408 int tmp___7 ;
4409 int tmp___8 ;
4410 int tmp___9 ;
4411
4412 {
4413 {
4414#line 238
4415 LDV_IN_INTERRUPT = 1;
4416#line 247
4417 ldv_initialize();
4418#line 257
4419 tmp___7 = atlas_acpi_init();
4420 }
4421#line 257
4422 if (tmp___7) {
4423#line 258
4424 goto ldv_final;
4425 } else {
4426
4427 }
4428 {
4429#line 262
4430 while (1) {
4431 while_continue: ;
4432 {
4433#line 262
4434 tmp___9 = __VERIFIER_nondet_int();
4435 }
4436#line 262
4437 if (tmp___9) {
4438
4439 } else {
4440#line 262
4441 goto while_break;
4442 }
4443 {
4444#line 265
4445 tmp___8 = __VERIFIER_nondet_int();
4446 }
4447#line 267
4448 if (tmp___8 == 0) {
4449#line 267
4450 goto case_0;
4451 } else
4452#line 287
4453 if (tmp___8 == 1) {
4454#line 287
4455 goto case_1;
4456 } else {
4457 {
4458#line 307
4459 goto switch_default;
4460#line 265
4461 if (0) {
4462 case_0:
4463 {
4464#line 279
4465 atlas_acpi_button_add(var_group1);
4466 }
4467#line 286
4468 goto switch_break;
4469 case_1:
4470 {
4471#line 299
4472 atlas_acpi_button_remove(var_group1, var_atlas_acpi_button_remove_3_p1);
4473 }
4474#line 306
4475 goto switch_break;
4476 switch_default:
4477#line 307
4478 goto switch_break;
4479 } else {
4480 switch_break: ;
4481 }
4482 }
4483 }
4484 }
4485 while_break: ;
4486 }
4487 {
4488#line 323
4489 atlas_acpi_exit();
4490 }
4491 ldv_final:
4492 {
4493#line 326
4494 ldv_check_final_state();
4495 }
4496#line 329
4497 return;
4498}
4499}
4500#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4501void ldv_blast_assert(void)
4502{
4503
4504 {
4505 ERROR:
4506#line 6
4507 goto ERROR;
4508}
4509}
4510#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4511extern int __VERIFIER_nondet_int(void) ;
4512#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4513int ldv_mutex = 1;
4514#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4515int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4516{ int nondetermined ;
4517
4518 {
4519#line 29
4520 if (ldv_mutex == 1) {
4521
4522 } else {
4523 {
4524#line 29
4525 ldv_blast_assert();
4526 }
4527 }
4528 {
4529#line 32
4530 nondetermined = __VERIFIER_nondet_int();
4531 }
4532#line 35
4533 if (nondetermined) {
4534#line 38
4535 ldv_mutex = 2;
4536#line 40
4537 return (0);
4538 } else {
4539#line 45
4540 return (-4);
4541 }
4542}
4543}
4544#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4545int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4546{ int nondetermined ;
4547
4548 {
4549#line 57
4550 if (ldv_mutex == 1) {
4551
4552 } else {
4553 {
4554#line 57
4555 ldv_blast_assert();
4556 }
4557 }
4558 {
4559#line 60
4560 nondetermined = __VERIFIER_nondet_int();
4561 }
4562#line 63
4563 if (nondetermined) {
4564#line 66
4565 ldv_mutex = 2;
4566#line 68
4567 return (0);
4568 } else {
4569#line 73
4570 return (-4);
4571 }
4572}
4573}
4574#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4575int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4576{ int atomic_value_after_dec ;
4577
4578 {
4579#line 83
4580 if (ldv_mutex == 1) {
4581
4582 } else {
4583 {
4584#line 83
4585 ldv_blast_assert();
4586 }
4587 }
4588 {
4589#line 86
4590 atomic_value_after_dec = __VERIFIER_nondet_int();
4591 }
4592#line 89
4593 if (atomic_value_after_dec == 0) {
4594#line 92
4595 ldv_mutex = 2;
4596#line 94
4597 return (1);
4598 } else {
4599
4600 }
4601#line 98
4602 return (0);
4603}
4604}
4605#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4606void mutex_lock(struct mutex *lock )
4607{
4608
4609 {
4610#line 108
4611 if (ldv_mutex == 1) {
4612
4613 } else {
4614 {
4615#line 108
4616 ldv_blast_assert();
4617 }
4618 }
4619#line 110
4620 ldv_mutex = 2;
4621#line 111
4622 return;
4623}
4624}
4625#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4626int mutex_trylock(struct mutex *lock )
4627{ int nondetermined ;
4628
4629 {
4630#line 121
4631 if (ldv_mutex == 1) {
4632
4633 } else {
4634 {
4635#line 121
4636 ldv_blast_assert();
4637 }
4638 }
4639 {
4640#line 124
4641 nondetermined = __VERIFIER_nondet_int();
4642 }
4643#line 127
4644 if (nondetermined) {
4645#line 130
4646 ldv_mutex = 2;
4647#line 132
4648 return (1);
4649 } else {
4650#line 137
4651 return (0);
4652 }
4653}
4654}
4655#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4656void mutex_unlock(struct mutex *lock )
4657{
4658
4659 {
4660#line 147
4661 if (ldv_mutex == 2) {
4662
4663 } else {
4664 {
4665#line 147
4666 ldv_blast_assert();
4667 }
4668 }
4669#line 149
4670 ldv_mutex = 1;
4671#line 150
4672 return;
4673}
4674}
4675#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4676void ldv_check_final_state(void)
4677{
4678
4679 {
4680#line 156
4681 if (ldv_mutex == 1) {
4682
4683 } else {
4684 {
4685#line 156
4686 ldv_blast_assert();
4687 }
4688 }
4689#line 157
4690 return;
4691}
4692}
4693#line 338 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4003/dscv_tempdir/dscv/ri/32_1/drivers/input/misc/atlas_btns.c.common.c"
4694long s__builtin_expect(long val , long res )
4695{
4696
4697 {
4698#line 339
4699 return (val);
4700}
4701}