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 23 "include/linux/mm_types.h"
2429struct address_space;
2430#line 40 "include/linux/mm_types.h"
2431union __anonunion____missing_field_name_221 {
2432 unsigned long index ;
2433 void *freelist ;
2434};
2435#line 40 "include/linux/mm_types.h"
2436struct __anonstruct____missing_field_name_225 {
2437 unsigned int inuse : 16 ;
2438 unsigned int objects : 15 ;
2439 unsigned int frozen : 1 ;
2440};
2441#line 40 "include/linux/mm_types.h"
2442union __anonunion____missing_field_name_224 {
2443 atomic_t _mapcount ;
2444 struct __anonstruct____missing_field_name_225 __annonCompField37 ;
2445};
2446#line 40 "include/linux/mm_types.h"
2447struct __anonstruct____missing_field_name_223 {
2448 union __anonunion____missing_field_name_224 __annonCompField38 ;
2449 atomic_t _count ;
2450};
2451#line 40 "include/linux/mm_types.h"
2452union __anonunion____missing_field_name_222 {
2453 unsigned long counters ;
2454 struct __anonstruct____missing_field_name_223 __annonCompField39 ;
2455};
2456#line 40 "include/linux/mm_types.h"
2457struct __anonstruct____missing_field_name_220 {
2458 union __anonunion____missing_field_name_221 __annonCompField36 ;
2459 union __anonunion____missing_field_name_222 __annonCompField40 ;
2460};
2461#line 40 "include/linux/mm_types.h"
2462struct __anonstruct____missing_field_name_227 {
2463 struct page *next ;
2464 int pages ;
2465 int pobjects ;
2466};
2467#line 40 "include/linux/mm_types.h"
2468union __anonunion____missing_field_name_226 {
2469 struct list_head lru ;
2470 struct __anonstruct____missing_field_name_227 __annonCompField42 ;
2471};
2472#line 40 "include/linux/mm_types.h"
2473union __anonunion____missing_field_name_228 {
2474 unsigned long private ;
2475 struct kmem_cache *slab ;
2476 struct page *first_page ;
2477};
2478#line 40 "include/linux/mm_types.h"
2479struct page {
2480 unsigned long flags ;
2481 struct address_space *mapping ;
2482 struct __anonstruct____missing_field_name_220 __annonCompField41 ;
2483 union __anonunion____missing_field_name_226 __annonCompField43 ;
2484 union __anonunion____missing_field_name_228 __annonCompField44 ;
2485 unsigned long debug_flags ;
2486} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2487#line 200 "include/linux/mm_types.h"
2488struct __anonstruct_vm_set_230 {
2489 struct list_head list ;
2490 void *parent ;
2491 struct vm_area_struct *head ;
2492};
2493#line 200 "include/linux/mm_types.h"
2494union __anonunion_shared_229 {
2495 struct __anonstruct_vm_set_230 vm_set ;
2496 struct raw_prio_tree_node prio_tree_node ;
2497};
2498#line 200
2499struct anon_vma;
2500#line 200
2501struct vm_operations_struct;
2502#line 200
2503struct mempolicy;
2504#line 200 "include/linux/mm_types.h"
2505struct vm_area_struct {
2506 struct mm_struct *vm_mm ;
2507 unsigned long vm_start ;
2508 unsigned long vm_end ;
2509 struct vm_area_struct *vm_next ;
2510 struct vm_area_struct *vm_prev ;
2511 pgprot_t vm_page_prot ;
2512 unsigned long vm_flags ;
2513 struct rb_node vm_rb ;
2514 union __anonunion_shared_229 shared ;
2515 struct list_head anon_vma_chain ;
2516 struct anon_vma *anon_vma ;
2517 struct vm_operations_struct const *vm_ops ;
2518 unsigned long vm_pgoff ;
2519 struct file *vm_file ;
2520 void *vm_private_data ;
2521 struct mempolicy *vm_policy ;
2522};
2523#line 257 "include/linux/mm_types.h"
2524struct core_thread {
2525 struct task_struct *task ;
2526 struct core_thread *next ;
2527};
2528#line 262 "include/linux/mm_types.h"
2529struct core_state {
2530 atomic_t nr_threads ;
2531 struct core_thread dumper ;
2532 struct completion startup ;
2533};
2534#line 284 "include/linux/mm_types.h"
2535struct mm_rss_stat {
2536 atomic_long_t count[3] ;
2537};
2538#line 288
2539struct linux_binfmt;
2540#line 288
2541struct mmu_notifier_mm;
2542#line 288 "include/linux/mm_types.h"
2543struct mm_struct {
2544 struct vm_area_struct *mmap ;
2545 struct rb_root mm_rb ;
2546 struct vm_area_struct *mmap_cache ;
2547 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2548 unsigned long pgoff , unsigned long flags ) ;
2549 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2550 unsigned long mmap_base ;
2551 unsigned long task_size ;
2552 unsigned long cached_hole_size ;
2553 unsigned long free_area_cache ;
2554 pgd_t *pgd ;
2555 atomic_t mm_users ;
2556 atomic_t mm_count ;
2557 int map_count ;
2558 spinlock_t page_table_lock ;
2559 struct rw_semaphore mmap_sem ;
2560 struct list_head mmlist ;
2561 unsigned long hiwater_rss ;
2562 unsigned long hiwater_vm ;
2563 unsigned long total_vm ;
2564 unsigned long locked_vm ;
2565 unsigned long pinned_vm ;
2566 unsigned long shared_vm ;
2567 unsigned long exec_vm ;
2568 unsigned long stack_vm ;
2569 unsigned long reserved_vm ;
2570 unsigned long def_flags ;
2571 unsigned long nr_ptes ;
2572 unsigned long start_code ;
2573 unsigned long end_code ;
2574 unsigned long start_data ;
2575 unsigned long end_data ;
2576 unsigned long start_brk ;
2577 unsigned long brk ;
2578 unsigned long start_stack ;
2579 unsigned long arg_start ;
2580 unsigned long arg_end ;
2581 unsigned long env_start ;
2582 unsigned long env_end ;
2583 unsigned long saved_auxv[44] ;
2584 struct mm_rss_stat rss_stat ;
2585 struct linux_binfmt *binfmt ;
2586 cpumask_var_t cpu_vm_mask_var ;
2587 mm_context_t context ;
2588 unsigned int faultstamp ;
2589 unsigned int token_priority ;
2590 unsigned int last_interval ;
2591 unsigned long flags ;
2592 struct core_state *core_state ;
2593 spinlock_t ioctx_lock ;
2594 struct hlist_head ioctx_list ;
2595 struct task_struct *owner ;
2596 struct file *exe_file ;
2597 unsigned long num_exe_file_vmas ;
2598 struct mmu_notifier_mm *mmu_notifier_mm ;
2599 pgtable_t pmd_huge_pte ;
2600 struct cpumask cpumask_allocation ;
2601};
2602#line 7 "include/asm-generic/cputime.h"
2603typedef unsigned long cputime_t;
2604#line 84 "include/linux/sem.h"
2605struct task_struct;
2606#line 101
2607struct sem_undo_list;
2608#line 101 "include/linux/sem.h"
2609struct sysv_sem {
2610 struct sem_undo_list *undo_list ;
2611};
2612#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2613struct siginfo;
2614#line 10
2615struct siginfo;
2616#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2617struct __anonstruct_sigset_t_232 {
2618 unsigned long sig[1] ;
2619};
2620#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2621typedef struct __anonstruct_sigset_t_232 sigset_t;
2622#line 17 "include/asm-generic/signal-defs.h"
2623typedef void __signalfn_t(int );
2624#line 18 "include/asm-generic/signal-defs.h"
2625typedef __signalfn_t *__sighandler_t;
2626#line 20 "include/asm-generic/signal-defs.h"
2627typedef void __restorefn_t(void);
2628#line 21 "include/asm-generic/signal-defs.h"
2629typedef __restorefn_t *__sigrestore_t;
2630#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2631struct sigaction {
2632 __sighandler_t sa_handler ;
2633 unsigned long sa_flags ;
2634 __sigrestore_t sa_restorer ;
2635 sigset_t sa_mask ;
2636};
2637#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2638struct k_sigaction {
2639 struct sigaction sa ;
2640};
2641#line 7 "include/asm-generic/siginfo.h"
2642union sigval {
2643 int sival_int ;
2644 void *sival_ptr ;
2645};
2646#line 7 "include/asm-generic/siginfo.h"
2647typedef union sigval sigval_t;
2648#line 48 "include/asm-generic/siginfo.h"
2649struct __anonstruct__kill_234 {
2650 __kernel_pid_t _pid ;
2651 __kernel_uid32_t _uid ;
2652};
2653#line 48 "include/asm-generic/siginfo.h"
2654struct __anonstruct__timer_235 {
2655 __kernel_timer_t _tid ;
2656 int _overrun ;
2657 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2658 sigval_t _sigval ;
2659 int _sys_private ;
2660};
2661#line 48 "include/asm-generic/siginfo.h"
2662struct __anonstruct__rt_236 {
2663 __kernel_pid_t _pid ;
2664 __kernel_uid32_t _uid ;
2665 sigval_t _sigval ;
2666};
2667#line 48 "include/asm-generic/siginfo.h"
2668struct __anonstruct__sigchld_237 {
2669 __kernel_pid_t _pid ;
2670 __kernel_uid32_t _uid ;
2671 int _status ;
2672 __kernel_clock_t _utime ;
2673 __kernel_clock_t _stime ;
2674};
2675#line 48 "include/asm-generic/siginfo.h"
2676struct __anonstruct__sigfault_238 {
2677 void *_addr ;
2678 short _addr_lsb ;
2679};
2680#line 48 "include/asm-generic/siginfo.h"
2681struct __anonstruct__sigpoll_239 {
2682 long _band ;
2683 int _fd ;
2684};
2685#line 48 "include/asm-generic/siginfo.h"
2686union __anonunion__sifields_233 {
2687 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2688 struct __anonstruct__kill_234 _kill ;
2689 struct __anonstruct__timer_235 _timer ;
2690 struct __anonstruct__rt_236 _rt ;
2691 struct __anonstruct__sigchld_237 _sigchld ;
2692 struct __anonstruct__sigfault_238 _sigfault ;
2693 struct __anonstruct__sigpoll_239 _sigpoll ;
2694};
2695#line 48 "include/asm-generic/siginfo.h"
2696struct siginfo {
2697 int si_signo ;
2698 int si_errno ;
2699 int si_code ;
2700 union __anonunion__sifields_233 _sifields ;
2701};
2702#line 48 "include/asm-generic/siginfo.h"
2703typedef struct siginfo siginfo_t;
2704#line 288
2705struct siginfo;
2706#line 10 "include/linux/signal.h"
2707struct task_struct;
2708#line 18
2709struct user_struct;
2710#line 28 "include/linux/signal.h"
2711struct sigpending {
2712 struct list_head list ;
2713 sigset_t signal ;
2714};
2715#line 239
2716struct timespec;
2717#line 240
2718struct pt_regs;
2719#line 10 "include/linux/seccomp.h"
2720struct __anonstruct_seccomp_t_242 {
2721 int mode ;
2722};
2723#line 10 "include/linux/seccomp.h"
2724typedef struct __anonstruct_seccomp_t_242 seccomp_t;
2725#line 81 "include/linux/plist.h"
2726struct plist_head {
2727 struct list_head node_list ;
2728};
2729#line 85 "include/linux/plist.h"
2730struct plist_node {
2731 int prio ;
2732 struct list_head prio_list ;
2733 struct list_head node_list ;
2734};
2735#line 40 "include/linux/rtmutex.h"
2736struct rt_mutex_waiter;
2737#line 40
2738struct rt_mutex_waiter;
2739#line 42 "include/linux/resource.h"
2740struct rlimit {
2741 unsigned long rlim_cur ;
2742 unsigned long rlim_max ;
2743};
2744#line 81
2745struct task_struct;
2746#line 8 "include/linux/timerqueue.h"
2747struct timerqueue_node {
2748 struct rb_node node ;
2749 ktime_t expires ;
2750};
2751#line 13 "include/linux/timerqueue.h"
2752struct timerqueue_head {
2753 struct rb_root head ;
2754 struct timerqueue_node *next ;
2755};
2756#line 27 "include/linux/hrtimer.h"
2757struct hrtimer_clock_base;
2758#line 27
2759struct hrtimer_clock_base;
2760#line 28
2761struct hrtimer_cpu_base;
2762#line 28
2763struct hrtimer_cpu_base;
2764#line 44
2765enum hrtimer_restart {
2766 HRTIMER_NORESTART = 0,
2767 HRTIMER_RESTART = 1
2768} ;
2769#line 108 "include/linux/hrtimer.h"
2770struct hrtimer {
2771 struct timerqueue_node node ;
2772 ktime_t _softexpires ;
2773 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2774 struct hrtimer_clock_base *base ;
2775 unsigned long state ;
2776 int start_pid ;
2777 void *start_site ;
2778 char start_comm[16] ;
2779};
2780#line 145 "include/linux/hrtimer.h"
2781struct hrtimer_clock_base {
2782 struct hrtimer_cpu_base *cpu_base ;
2783 int index ;
2784 clockid_t clockid ;
2785 struct timerqueue_head active ;
2786 ktime_t resolution ;
2787 ktime_t (*get_time)(void) ;
2788 ktime_t softirq_time ;
2789 ktime_t offset ;
2790};
2791#line 178 "include/linux/hrtimer.h"
2792struct hrtimer_cpu_base {
2793 raw_spinlock_t lock ;
2794 unsigned long active_bases ;
2795 ktime_t expires_next ;
2796 int hres_active ;
2797 int hang_detected ;
2798 unsigned long nr_events ;
2799 unsigned long nr_retries ;
2800 unsigned long nr_hangs ;
2801 ktime_t max_hang_time ;
2802 struct hrtimer_clock_base clock_base[3] ;
2803};
2804#line 11 "include/linux/task_io_accounting.h"
2805struct task_io_accounting {
2806 u64 rchar ;
2807 u64 wchar ;
2808 u64 syscr ;
2809 u64 syscw ;
2810 u64 read_bytes ;
2811 u64 write_bytes ;
2812 u64 cancelled_write_bytes ;
2813};
2814#line 13 "include/linux/latencytop.h"
2815struct task_struct;
2816#line 20 "include/linux/latencytop.h"
2817struct latency_record {
2818 unsigned long backtrace[12] ;
2819 unsigned int count ;
2820 unsigned long time ;
2821 unsigned long max ;
2822};
2823#line 29 "include/linux/key.h"
2824typedef int32_t key_serial_t;
2825#line 32 "include/linux/key.h"
2826typedef uint32_t key_perm_t;
2827#line 34
2828struct key;
2829#line 34
2830struct key;
2831#line 74
2832struct seq_file;
2833#line 75
2834struct user_struct;
2835#line 76
2836struct signal_struct;
2837#line 76
2838struct signal_struct;
2839#line 77
2840struct cred;
2841#line 79
2842struct key_type;
2843#line 79
2844struct key_type;
2845#line 81
2846struct keyring_list;
2847#line 81
2848struct keyring_list;
2849#line 124
2850struct key_user;
2851#line 124 "include/linux/key.h"
2852union __anonunion____missing_field_name_243 {
2853 time_t expiry ;
2854 time_t revoked_at ;
2855};
2856#line 124 "include/linux/key.h"
2857union __anonunion_type_data_244 {
2858 struct list_head link ;
2859 unsigned long x[2] ;
2860 void *p[2] ;
2861 int reject_error ;
2862};
2863#line 124 "include/linux/key.h"
2864union __anonunion_payload_245 {
2865 unsigned long value ;
2866 void *rcudata ;
2867 void *data ;
2868 struct keyring_list *subscriptions ;
2869};
2870#line 124 "include/linux/key.h"
2871struct key {
2872 atomic_t usage ;
2873 key_serial_t serial ;
2874 struct rb_node serial_node ;
2875 struct key_type *type ;
2876 struct rw_semaphore sem ;
2877 struct key_user *user ;
2878 void *security ;
2879 union __anonunion____missing_field_name_243 __annonCompField45 ;
2880 uid_t uid ;
2881 gid_t gid ;
2882 key_perm_t perm ;
2883 unsigned short quotalen ;
2884 unsigned short datalen ;
2885 unsigned long flags ;
2886 char *description ;
2887 union __anonunion_type_data_244 type_data ;
2888 union __anonunion_payload_245 payload ;
2889};
2890#line 18 "include/linux/selinux.h"
2891struct audit_context;
2892#line 18
2893struct audit_context;
2894#line 21 "include/linux/cred.h"
2895struct user_struct;
2896#line 22
2897struct cred;
2898#line 23
2899struct inode;
2900#line 31 "include/linux/cred.h"
2901struct group_info {
2902 atomic_t usage ;
2903 int ngroups ;
2904 int nblocks ;
2905 gid_t small_block[32] ;
2906 gid_t *blocks[0] ;
2907};
2908#line 83 "include/linux/cred.h"
2909struct thread_group_cred {
2910 atomic_t usage ;
2911 pid_t tgid ;
2912 spinlock_t lock ;
2913 struct key *session_keyring ;
2914 struct key *process_keyring ;
2915 struct rcu_head rcu ;
2916};
2917#line 116 "include/linux/cred.h"
2918struct cred {
2919 atomic_t usage ;
2920 atomic_t subscribers ;
2921 void *put_addr ;
2922 unsigned int magic ;
2923 uid_t uid ;
2924 gid_t gid ;
2925 uid_t suid ;
2926 gid_t sgid ;
2927 uid_t euid ;
2928 gid_t egid ;
2929 uid_t fsuid ;
2930 gid_t fsgid ;
2931 unsigned int securebits ;
2932 kernel_cap_t cap_inheritable ;
2933 kernel_cap_t cap_permitted ;
2934 kernel_cap_t cap_effective ;
2935 kernel_cap_t cap_bset ;
2936 unsigned char jit_keyring ;
2937 struct key *thread_keyring ;
2938 struct key *request_key_auth ;
2939 struct thread_group_cred *tgcred ;
2940 void *security ;
2941 struct user_struct *user ;
2942 struct user_namespace *user_ns ;
2943 struct group_info *group_info ;
2944 struct rcu_head rcu ;
2945};
2946#line 61 "include/linux/llist.h"
2947struct llist_node;
2948#line 65 "include/linux/llist.h"
2949struct llist_node {
2950 struct llist_node *next ;
2951};
2952#line 97 "include/linux/sched.h"
2953struct futex_pi_state;
2954#line 97
2955struct futex_pi_state;
2956#line 98
2957struct robust_list_head;
2958#line 98
2959struct robust_list_head;
2960#line 99
2961struct bio_list;
2962#line 99
2963struct bio_list;
2964#line 100
2965struct fs_struct;
2966#line 100
2967struct fs_struct;
2968#line 101
2969struct perf_event_context;
2970#line 101
2971struct perf_event_context;
2972#line 102
2973struct blk_plug;
2974#line 102
2975struct blk_plug;
2976#line 150
2977struct seq_file;
2978#line 151
2979struct cfs_rq;
2980#line 151
2981struct cfs_rq;
2982#line 259
2983struct task_struct;
2984#line 366
2985struct nsproxy;
2986#line 367
2987struct user_namespace;
2988#line 58 "include/linux/aio_abi.h"
2989struct io_event {
2990 __u64 data ;
2991 __u64 obj ;
2992 __s64 res ;
2993 __s64 res2 ;
2994};
2995#line 16 "include/linux/uio.h"
2996struct iovec {
2997 void *iov_base ;
2998 __kernel_size_t iov_len ;
2999};
3000#line 15 "include/linux/aio.h"
3001struct kioctx;
3002#line 15
3003struct kioctx;
3004#line 87 "include/linux/aio.h"
3005union __anonunion_ki_obj_247 {
3006 void *user ;
3007 struct task_struct *tsk ;
3008};
3009#line 87
3010struct eventfd_ctx;
3011#line 87 "include/linux/aio.h"
3012struct kiocb {
3013 struct list_head ki_run_list ;
3014 unsigned long ki_flags ;
3015 int ki_users ;
3016 unsigned int ki_key ;
3017 struct file *ki_filp ;
3018 struct kioctx *ki_ctx ;
3019 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3020 ssize_t (*ki_retry)(struct kiocb * ) ;
3021 void (*ki_dtor)(struct kiocb * ) ;
3022 union __anonunion_ki_obj_247 ki_obj ;
3023 __u64 ki_user_data ;
3024 loff_t ki_pos ;
3025 void *private ;
3026 unsigned short ki_opcode ;
3027 size_t ki_nbytes ;
3028 char *ki_buf ;
3029 size_t ki_left ;
3030 struct iovec ki_inline_vec ;
3031 struct iovec *ki_iovec ;
3032 unsigned long ki_nr_segs ;
3033 unsigned long ki_cur_seg ;
3034 struct list_head ki_list ;
3035 struct list_head ki_batch ;
3036 struct eventfd_ctx *ki_eventfd ;
3037};
3038#line 166 "include/linux/aio.h"
3039struct aio_ring_info {
3040 unsigned long mmap_base ;
3041 unsigned long mmap_size ;
3042 struct page **ring_pages ;
3043 spinlock_t ring_lock ;
3044 long nr_pages ;
3045 unsigned int nr ;
3046 unsigned int tail ;
3047 struct page *internal_pages[8] ;
3048};
3049#line 179 "include/linux/aio.h"
3050struct kioctx {
3051 atomic_t users ;
3052 int dead ;
3053 struct mm_struct *mm ;
3054 unsigned long user_id ;
3055 struct hlist_node list ;
3056 wait_queue_head_t wait ;
3057 spinlock_t ctx_lock ;
3058 int reqs_active ;
3059 struct list_head active_reqs ;
3060 struct list_head run_list ;
3061 unsigned int max_reqs ;
3062 struct aio_ring_info ring_info ;
3063 struct delayed_work wq ;
3064 struct rcu_head rcu_head ;
3065};
3066#line 214
3067struct mm_struct;
3068#line 443 "include/linux/sched.h"
3069struct sighand_struct {
3070 atomic_t count ;
3071 struct k_sigaction action[64] ;
3072 spinlock_t siglock ;
3073 wait_queue_head_t signalfd_wqh ;
3074};
3075#line 450 "include/linux/sched.h"
3076struct pacct_struct {
3077 int ac_flag ;
3078 long ac_exitcode ;
3079 unsigned long ac_mem ;
3080 cputime_t ac_utime ;
3081 cputime_t ac_stime ;
3082 unsigned long ac_minflt ;
3083 unsigned long ac_majflt ;
3084};
3085#line 458 "include/linux/sched.h"
3086struct cpu_itimer {
3087 cputime_t expires ;
3088 cputime_t incr ;
3089 u32 error ;
3090 u32 incr_error ;
3091};
3092#line 476 "include/linux/sched.h"
3093struct task_cputime {
3094 cputime_t utime ;
3095 cputime_t stime ;
3096 unsigned long long sum_exec_runtime ;
3097};
3098#line 512 "include/linux/sched.h"
3099struct thread_group_cputimer {
3100 struct task_cputime cputime ;
3101 int running ;
3102 raw_spinlock_t lock ;
3103};
3104#line 519
3105struct autogroup;
3106#line 519
3107struct autogroup;
3108#line 528
3109struct tty_struct;
3110#line 528
3111struct taskstats;
3112#line 528
3113struct tty_audit_buf;
3114#line 528 "include/linux/sched.h"
3115struct signal_struct {
3116 atomic_t sigcnt ;
3117 atomic_t live ;
3118 int nr_threads ;
3119 wait_queue_head_t wait_chldexit ;
3120 struct task_struct *curr_target ;
3121 struct sigpending shared_pending ;
3122 int group_exit_code ;
3123 int notify_count ;
3124 struct task_struct *group_exit_task ;
3125 int group_stop_count ;
3126 unsigned int flags ;
3127 unsigned int is_child_subreaper : 1 ;
3128 unsigned int has_child_subreaper : 1 ;
3129 struct list_head posix_timers ;
3130 struct hrtimer real_timer ;
3131 struct pid *leader_pid ;
3132 ktime_t it_real_incr ;
3133 struct cpu_itimer it[2] ;
3134 struct thread_group_cputimer cputimer ;
3135 struct task_cputime cputime_expires ;
3136 struct list_head cpu_timers[3] ;
3137 struct pid *tty_old_pgrp ;
3138 int leader ;
3139 struct tty_struct *tty ;
3140 struct autogroup *autogroup ;
3141 cputime_t utime ;
3142 cputime_t stime ;
3143 cputime_t cutime ;
3144 cputime_t cstime ;
3145 cputime_t gtime ;
3146 cputime_t cgtime ;
3147 cputime_t prev_utime ;
3148 cputime_t prev_stime ;
3149 unsigned long nvcsw ;
3150 unsigned long nivcsw ;
3151 unsigned long cnvcsw ;
3152 unsigned long cnivcsw ;
3153 unsigned long min_flt ;
3154 unsigned long maj_flt ;
3155 unsigned long cmin_flt ;
3156 unsigned long cmaj_flt ;
3157 unsigned long inblock ;
3158 unsigned long oublock ;
3159 unsigned long cinblock ;
3160 unsigned long coublock ;
3161 unsigned long maxrss ;
3162 unsigned long cmaxrss ;
3163 struct task_io_accounting ioac ;
3164 unsigned long long sum_sched_runtime ;
3165 struct rlimit rlim[16] ;
3166 struct pacct_struct pacct ;
3167 struct taskstats *stats ;
3168 unsigned int audit_tty ;
3169 struct tty_audit_buf *tty_audit_buf ;
3170 struct rw_semaphore group_rwsem ;
3171 int oom_adj ;
3172 int oom_score_adj ;
3173 int oom_score_adj_min ;
3174 struct mutex cred_guard_mutex ;
3175};
3176#line 703 "include/linux/sched.h"
3177struct user_struct {
3178 atomic_t __count ;
3179 atomic_t processes ;
3180 atomic_t files ;
3181 atomic_t sigpending ;
3182 atomic_t inotify_watches ;
3183 atomic_t inotify_devs ;
3184 atomic_t fanotify_listeners ;
3185 atomic_long_t epoll_watches ;
3186 unsigned long mq_bytes ;
3187 unsigned long locked_shm ;
3188 struct key *uid_keyring ;
3189 struct key *session_keyring ;
3190 struct hlist_node uidhash_node ;
3191 uid_t uid ;
3192 struct user_namespace *user_ns ;
3193 atomic_long_t locked_vm ;
3194};
3195#line 747
3196struct backing_dev_info;
3197#line 748
3198struct reclaim_state;
3199#line 748
3200struct reclaim_state;
3201#line 751 "include/linux/sched.h"
3202struct sched_info {
3203 unsigned long pcount ;
3204 unsigned long long run_delay ;
3205 unsigned long long last_arrival ;
3206 unsigned long long last_queued ;
3207};
3208#line 763 "include/linux/sched.h"
3209struct task_delay_info {
3210 spinlock_t lock ;
3211 unsigned int flags ;
3212 struct timespec blkio_start ;
3213 struct timespec blkio_end ;
3214 u64 blkio_delay ;
3215 u64 swapin_delay ;
3216 u32 blkio_count ;
3217 u32 swapin_count ;
3218 struct timespec freepages_start ;
3219 struct timespec freepages_end ;
3220 u64 freepages_delay ;
3221 u32 freepages_count ;
3222};
3223#line 1088
3224struct io_context;
3225#line 1088
3226struct io_context;
3227#line 1097
3228struct audit_context;
3229#line 1098
3230struct mempolicy;
3231#line 1099
3232struct pipe_inode_info;
3233#line 1102
3234struct rq;
3235#line 1102
3236struct rq;
3237#line 1122 "include/linux/sched.h"
3238struct sched_class {
3239 struct sched_class const *next ;
3240 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3241 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3242 void (*yield_task)(struct rq *rq ) ;
3243 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3244 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3245 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3246 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3247 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3248 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3249 void (*post_schedule)(struct rq *this_rq ) ;
3250 void (*task_waking)(struct task_struct *task ) ;
3251 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3252 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3253 void (*rq_online)(struct rq *rq ) ;
3254 void (*rq_offline)(struct rq *rq ) ;
3255 void (*set_curr_task)(struct rq *rq ) ;
3256 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3257 void (*task_fork)(struct task_struct *p ) ;
3258 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3259 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3260 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3261 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3262 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3263};
3264#line 1167 "include/linux/sched.h"
3265struct load_weight {
3266 unsigned long weight ;
3267 unsigned long inv_weight ;
3268};
3269#line 1172 "include/linux/sched.h"
3270struct sched_statistics {
3271 u64 wait_start ;
3272 u64 wait_max ;
3273 u64 wait_count ;
3274 u64 wait_sum ;
3275 u64 iowait_count ;
3276 u64 iowait_sum ;
3277 u64 sleep_start ;
3278 u64 sleep_max ;
3279 s64 sum_sleep_runtime ;
3280 u64 block_start ;
3281 u64 block_max ;
3282 u64 exec_max ;
3283 u64 slice_max ;
3284 u64 nr_migrations_cold ;
3285 u64 nr_failed_migrations_affine ;
3286 u64 nr_failed_migrations_running ;
3287 u64 nr_failed_migrations_hot ;
3288 u64 nr_forced_migrations ;
3289 u64 nr_wakeups ;
3290 u64 nr_wakeups_sync ;
3291 u64 nr_wakeups_migrate ;
3292 u64 nr_wakeups_local ;
3293 u64 nr_wakeups_remote ;
3294 u64 nr_wakeups_affine ;
3295 u64 nr_wakeups_affine_attempts ;
3296 u64 nr_wakeups_passive ;
3297 u64 nr_wakeups_idle ;
3298};
3299#line 1207 "include/linux/sched.h"
3300struct sched_entity {
3301 struct load_weight load ;
3302 struct rb_node run_node ;
3303 struct list_head group_node ;
3304 unsigned int on_rq ;
3305 u64 exec_start ;
3306 u64 sum_exec_runtime ;
3307 u64 vruntime ;
3308 u64 prev_sum_exec_runtime ;
3309 u64 nr_migrations ;
3310 struct sched_statistics statistics ;
3311 struct sched_entity *parent ;
3312 struct cfs_rq *cfs_rq ;
3313 struct cfs_rq *my_q ;
3314};
3315#line 1233
3316struct rt_rq;
3317#line 1233 "include/linux/sched.h"
3318struct sched_rt_entity {
3319 struct list_head run_list ;
3320 unsigned long timeout ;
3321 unsigned int time_slice ;
3322 int nr_cpus_allowed ;
3323 struct sched_rt_entity *back ;
3324 struct sched_rt_entity *parent ;
3325 struct rt_rq *rt_rq ;
3326 struct rt_rq *my_q ;
3327};
3328#line 1264
3329struct css_set;
3330#line 1264
3331struct compat_robust_list_head;
3332#line 1264
3333struct mem_cgroup;
3334#line 1264 "include/linux/sched.h"
3335struct memcg_batch_info {
3336 int do_batch ;
3337 struct mem_cgroup *memcg ;
3338 unsigned long nr_pages ;
3339 unsigned long memsw_nr_pages ;
3340};
3341#line 1264 "include/linux/sched.h"
3342struct task_struct {
3343 long volatile state ;
3344 void *stack ;
3345 atomic_t usage ;
3346 unsigned int flags ;
3347 unsigned int ptrace ;
3348 struct llist_node wake_entry ;
3349 int on_cpu ;
3350 int on_rq ;
3351 int prio ;
3352 int static_prio ;
3353 int normal_prio ;
3354 unsigned int rt_priority ;
3355 struct sched_class const *sched_class ;
3356 struct sched_entity se ;
3357 struct sched_rt_entity rt ;
3358 struct hlist_head preempt_notifiers ;
3359 unsigned char fpu_counter ;
3360 unsigned int policy ;
3361 cpumask_t cpus_allowed ;
3362 struct sched_info sched_info ;
3363 struct list_head tasks ;
3364 struct plist_node pushable_tasks ;
3365 struct mm_struct *mm ;
3366 struct mm_struct *active_mm ;
3367 unsigned int brk_randomized : 1 ;
3368 int exit_state ;
3369 int exit_code ;
3370 int exit_signal ;
3371 int pdeath_signal ;
3372 unsigned int jobctl ;
3373 unsigned int personality ;
3374 unsigned int did_exec : 1 ;
3375 unsigned int in_execve : 1 ;
3376 unsigned int in_iowait : 1 ;
3377 unsigned int sched_reset_on_fork : 1 ;
3378 unsigned int sched_contributes_to_load : 1 ;
3379 unsigned int irq_thread : 1 ;
3380 pid_t pid ;
3381 pid_t tgid ;
3382 unsigned long stack_canary ;
3383 struct task_struct *real_parent ;
3384 struct task_struct *parent ;
3385 struct list_head children ;
3386 struct list_head sibling ;
3387 struct task_struct *group_leader ;
3388 struct list_head ptraced ;
3389 struct list_head ptrace_entry ;
3390 struct pid_link pids[3] ;
3391 struct list_head thread_group ;
3392 struct completion *vfork_done ;
3393 int *set_child_tid ;
3394 int *clear_child_tid ;
3395 cputime_t utime ;
3396 cputime_t stime ;
3397 cputime_t utimescaled ;
3398 cputime_t stimescaled ;
3399 cputime_t gtime ;
3400 cputime_t prev_utime ;
3401 cputime_t prev_stime ;
3402 unsigned long nvcsw ;
3403 unsigned long nivcsw ;
3404 struct timespec start_time ;
3405 struct timespec real_start_time ;
3406 unsigned long min_flt ;
3407 unsigned long maj_flt ;
3408 struct task_cputime cputime_expires ;
3409 struct list_head cpu_timers[3] ;
3410 struct cred const *real_cred ;
3411 struct cred const *cred ;
3412 struct cred *replacement_session_keyring ;
3413 char comm[16] ;
3414 int link_count ;
3415 int total_link_count ;
3416 struct sysv_sem sysvsem ;
3417 unsigned long last_switch_count ;
3418 struct thread_struct thread ;
3419 struct fs_struct *fs ;
3420 struct files_struct *files ;
3421 struct nsproxy *nsproxy ;
3422 struct signal_struct *signal ;
3423 struct sighand_struct *sighand ;
3424 sigset_t blocked ;
3425 sigset_t real_blocked ;
3426 sigset_t saved_sigmask ;
3427 struct sigpending pending ;
3428 unsigned long sas_ss_sp ;
3429 size_t sas_ss_size ;
3430 int (*notifier)(void *priv ) ;
3431 void *notifier_data ;
3432 sigset_t *notifier_mask ;
3433 struct audit_context *audit_context ;
3434 uid_t loginuid ;
3435 unsigned int sessionid ;
3436 seccomp_t seccomp ;
3437 u32 parent_exec_id ;
3438 u32 self_exec_id ;
3439 spinlock_t alloc_lock ;
3440 raw_spinlock_t pi_lock ;
3441 struct plist_head pi_waiters ;
3442 struct rt_mutex_waiter *pi_blocked_on ;
3443 struct mutex_waiter *blocked_on ;
3444 unsigned int irq_events ;
3445 unsigned long hardirq_enable_ip ;
3446 unsigned long hardirq_disable_ip ;
3447 unsigned int hardirq_enable_event ;
3448 unsigned int hardirq_disable_event ;
3449 int hardirqs_enabled ;
3450 int hardirq_context ;
3451 unsigned long softirq_disable_ip ;
3452 unsigned long softirq_enable_ip ;
3453 unsigned int softirq_disable_event ;
3454 unsigned int softirq_enable_event ;
3455 int softirqs_enabled ;
3456 int softirq_context ;
3457 void *journal_info ;
3458 struct bio_list *bio_list ;
3459 struct blk_plug *plug ;
3460 struct reclaim_state *reclaim_state ;
3461 struct backing_dev_info *backing_dev_info ;
3462 struct io_context *io_context ;
3463 unsigned long ptrace_message ;
3464 siginfo_t *last_siginfo ;
3465 struct task_io_accounting ioac ;
3466 u64 acct_rss_mem1 ;
3467 u64 acct_vm_mem1 ;
3468 cputime_t acct_timexpd ;
3469 nodemask_t mems_allowed ;
3470 seqcount_t mems_allowed_seq ;
3471 int cpuset_mem_spread_rotor ;
3472 int cpuset_slab_spread_rotor ;
3473 struct css_set *cgroups ;
3474 struct list_head cg_list ;
3475 struct robust_list_head *robust_list ;
3476 struct compat_robust_list_head *compat_robust_list ;
3477 struct list_head pi_state_list ;
3478 struct futex_pi_state *pi_state_cache ;
3479 struct perf_event_context *perf_event_ctxp[2] ;
3480 struct mutex perf_event_mutex ;
3481 struct list_head perf_event_list ;
3482 struct mempolicy *mempolicy ;
3483 short il_next ;
3484 short pref_node_fork ;
3485 struct rcu_head rcu ;
3486 struct pipe_inode_info *splice_pipe ;
3487 struct task_delay_info *delays ;
3488 int make_it_fail ;
3489 int nr_dirtied ;
3490 int nr_dirtied_pause ;
3491 unsigned long dirty_paused_when ;
3492 int latency_record_count ;
3493 struct latency_record latency_record[32] ;
3494 unsigned long timer_slack_ns ;
3495 unsigned long default_timer_slack_ns ;
3496 struct list_head *scm_work_list ;
3497 unsigned long trace ;
3498 unsigned long trace_recursion ;
3499 struct memcg_batch_info memcg_batch ;
3500 atomic_t ptrace_bp_refcnt ;
3501};
3502#line 1681
3503struct pid_namespace;
3504#line 46 "include/linux/slub_def.h"
3505struct kmem_cache_cpu {
3506 void **freelist ;
3507 unsigned long tid ;
3508 struct page *page ;
3509 struct page *partial ;
3510 int node ;
3511 unsigned int stat[26] ;
3512};
3513#line 57 "include/linux/slub_def.h"
3514struct kmem_cache_node {
3515 spinlock_t list_lock ;
3516 unsigned long nr_partial ;
3517 struct list_head partial ;
3518 atomic_long_t nr_slabs ;
3519 atomic_long_t total_objects ;
3520 struct list_head full ;
3521};
3522#line 73 "include/linux/slub_def.h"
3523struct kmem_cache_order_objects {
3524 unsigned long x ;
3525};
3526#line 80 "include/linux/slub_def.h"
3527struct kmem_cache {
3528 struct kmem_cache_cpu *cpu_slab ;
3529 unsigned long flags ;
3530 unsigned long min_partial ;
3531 int size ;
3532 int objsize ;
3533 int offset ;
3534 int cpu_partial ;
3535 struct kmem_cache_order_objects oo ;
3536 struct kmem_cache_order_objects max ;
3537 struct kmem_cache_order_objects min ;
3538 gfp_t allocflags ;
3539 int refcount ;
3540 void (*ctor)(void * ) ;
3541 int inuse ;
3542 int align ;
3543 int reserved ;
3544 char const *name ;
3545 struct list_head list ;
3546 struct kobject kobj ;
3547 int remote_node_defrag_ratio ;
3548 struct kmem_cache_node *node[1 << 10] ;
3549};
3550#line 162 "include/acpi/actypes.h"
3551typedef u64 acpi_io_address;
3552#line 371 "include/acpi/actypes.h"
3553typedef u32 acpi_status;
3554#line 373 "include/acpi/actypes.h"
3555typedef char *acpi_string;
3556#line 374 "include/acpi/actypes.h"
3557typedef void *acpi_handle;
3558#line 556 "include/acpi/actypes.h"
3559typedef u32 acpi_object_type;
3560#line 816 "include/acpi/actypes.h"
3561struct __anonstruct_integer_249 {
3562 acpi_object_type type ;
3563 u64 value ;
3564};
3565#line 816 "include/acpi/actypes.h"
3566struct __anonstruct_string_250 {
3567 acpi_object_type type ;
3568 u32 length ;
3569 char *pointer ;
3570};
3571#line 816 "include/acpi/actypes.h"
3572struct __anonstruct_buffer_251 {
3573 acpi_object_type type ;
3574 u32 length ;
3575 u8 *pointer ;
3576};
3577#line 816 "include/acpi/actypes.h"
3578struct __anonstruct_package_252 {
3579 acpi_object_type type ;
3580 u32 count ;
3581 union acpi_object *elements ;
3582};
3583#line 816 "include/acpi/actypes.h"
3584struct __anonstruct_reference_253 {
3585 acpi_object_type type ;
3586 acpi_object_type actual_type ;
3587 acpi_handle handle ;
3588};
3589#line 816 "include/acpi/actypes.h"
3590struct __anonstruct_processor_254 {
3591 acpi_object_type type ;
3592 u32 proc_id ;
3593 acpi_io_address pblk_address ;
3594 u32 pblk_length ;
3595};
3596#line 816 "include/acpi/actypes.h"
3597struct __anonstruct_power_resource_255 {
3598 acpi_object_type type ;
3599 u32 system_level ;
3600 u32 resource_order ;
3601};
3602#line 816 "include/acpi/actypes.h"
3603union acpi_object {
3604 acpi_object_type type ;
3605 struct __anonstruct_integer_249 integer ;
3606 struct __anonstruct_string_250 string ;
3607 struct __anonstruct_buffer_251 buffer ;
3608 struct __anonstruct_package_252 package ;
3609 struct __anonstruct_reference_253 reference ;
3610 struct __anonstruct_processor_254 processor ;
3611 struct __anonstruct_power_resource_255 power_resource ;
3612};
3613#line 864 "include/acpi/actypes.h"
3614struct acpi_object_list {
3615 u32 count ;
3616 union acpi_object *pointer ;
3617};
3618#line 79 "include/acpi/actbl.h"
3619#pragma pack(1)
3620#line 321
3621#pragma pack()
3622#line 79 "include/acpi/actbl1.h"
3623#pragma pack(1)
3624#line 961
3625#pragma pack()
3626#line 96 "include/acpi/actbl2.h"
3627#pragma pack(1)
3628#line 1046
3629#pragma pack()
3630#line 87 "include/acpi/actbl3.h"
3631#pragma pack(1)
3632#line 550
3633#pragma pack()
3634#line 152 "include/acpi/acrestyp.h"
3635#pragma pack(1)
3636#line 588
3637#pragma pack()
3638#line 35 "include/acpi/acpi_bus.h"
3639struct acpi_handle_list {
3640 u32 count ;
3641 acpi_handle handles[10] ;
3642};
3643#line 11 "include/linux/proc_fs.h"
3644struct completion;
3645#line 12
3646struct mm_struct;
3647#line 46 "include/linux/proc_fs.h"
3648typedef int read_proc_t(char *page , char **start , off_t off , int count , int *eof ,
3649 void *data );
3650#line 48 "include/linux/proc_fs.h"
3651typedef int write_proc_t(struct file *file , char const *buffer , unsigned long count ,
3652 void *data );
3653#line 51 "include/linux/proc_fs.h"
3654struct proc_dir_entry {
3655 unsigned int low_ino ;
3656 umode_t mode ;
3657 nlink_t nlink ;
3658 uid_t uid ;
3659 gid_t gid ;
3660 loff_t size ;
3661 struct inode_operations const *proc_iops ;
3662 struct file_operations const *proc_fops ;
3663 struct proc_dir_entry *next ;
3664 struct proc_dir_entry *parent ;
3665 struct proc_dir_entry *subdir ;
3666 void *data ;
3667 read_proc_t *read_proc ;
3668 write_proc_t *write_proc ;
3669 atomic_t count ;
3670 int pde_users ;
3671 struct completion *pde_unload_completion ;
3672 struct list_head pde_openers ;
3673 spinlock_t pde_unload_lock ;
3674 u8 namelen ;
3675 char name[] ;
3676};
3677#line 117
3678struct pid_namespace;
3679#line 243
3680struct nsproxy;
3681#line 61 "include/acpi/acpi_bus.h"
3682enum acpi_bus_removal_type {
3683 ACPI_BUS_REMOVAL_NORMAL = 0,
3684 ACPI_BUS_REMOVAL_EJECT = 1,
3685 ACPI_BUS_REMOVAL_SUPRISE = 2,
3686 ACPI_BUS_REMOVAL_TYPE_COUNT = 3
3687} ;
3688#line 78
3689struct acpi_driver;
3690#line 78
3691struct acpi_driver;
3692#line 79
3693struct acpi_device;
3694#line 79
3695struct acpi_device;
3696#line 96 "include/acpi/acpi_bus.h"
3697struct acpi_bus_ops {
3698 u32 acpi_op_add : 1 ;
3699 u32 acpi_op_start : 1 ;
3700};
3701#line 101 "include/acpi/acpi_bus.h"
3702struct acpi_device_ops {
3703 int (*add)(struct acpi_device *device ) ;
3704 int (*remove)(struct acpi_device *device , int type ) ;
3705 int (*start)(struct acpi_device *device ) ;
3706 int (*suspend)(struct acpi_device *device , pm_message_t state ) ;
3707 int (*resume)(struct acpi_device *device ) ;
3708 int (*bind)(struct acpi_device *device ) ;
3709 int (*unbind)(struct acpi_device *device ) ;
3710 void (*notify)(struct acpi_device *device , u32 event ) ;
3711};
3712#line 114 "include/acpi/acpi_bus.h"
3713struct acpi_driver {
3714 char name[80] ;
3715 char class[80] ;
3716 struct acpi_device_id const *ids ;
3717 unsigned int flags ;
3718 struct acpi_device_ops ops ;
3719 struct device_driver drv ;
3720 struct module *owner ;
3721};
3722#line 131 "include/acpi/acpi_bus.h"
3723struct acpi_device_status {
3724 u32 present : 1 ;
3725 u32 enabled : 1 ;
3726 u32 show_in_ui : 1 ;
3727 u32 functional : 1 ;
3728 u32 battery_present : 1 ;
3729 u32 reserved : 27 ;
3730};
3731#line 142 "include/acpi/acpi_bus.h"
3732struct acpi_device_flags {
3733 u32 dynamic_status : 1 ;
3734 u32 bus_address : 1 ;
3735 u32 removable : 1 ;
3736 u32 ejectable : 1 ;
3737 u32 lockable : 1 ;
3738 u32 suprise_removal_ok : 1 ;
3739 u32 power_manageable : 1 ;
3740 u32 performance_manageable : 1 ;
3741 u32 reserved : 24 ;
3742};
3743#line 156 "include/acpi/acpi_bus.h"
3744struct acpi_device_dir {
3745 struct proc_dir_entry *entry ;
3746};
3747#line 164 "include/acpi/acpi_bus.h"
3748typedef char acpi_bus_id[8];
3749#line 165 "include/acpi/acpi_bus.h"
3750typedef unsigned long acpi_bus_address;
3751#line 166 "include/acpi/acpi_bus.h"
3752typedef char acpi_device_name[40];
3753#line 167 "include/acpi/acpi_bus.h"
3754typedef char acpi_device_class[20];
3755#line 174 "include/acpi/acpi_bus.h"
3756struct acpi_device_pnp {
3757 acpi_bus_id bus_id ;
3758 acpi_bus_address bus_address ;
3759 char *unique_id ;
3760 struct list_head ids ;
3761 acpi_device_name device_name ;
3762 acpi_device_class device_class ;
3763};
3764#line 191 "include/acpi/acpi_bus.h"
3765struct acpi_device_power_flags {
3766 u32 explicit_get : 1 ;
3767 u32 power_resources : 1 ;
3768 u32 inrush_current : 1 ;
3769 u32 power_removed : 1 ;
3770 u32 reserved : 28 ;
3771};
3772#line 199 "include/acpi/acpi_bus.h"
3773struct __anonstruct_flags_258 {
3774 u8 valid : 1 ;
3775 u8 explicit_set : 1 ;
3776 u8 reserved : 6 ;
3777};
3778#line 199 "include/acpi/acpi_bus.h"
3779struct acpi_device_power_state {
3780 struct __anonstruct_flags_258 flags ;
3781 int power ;
3782 int latency ;
3783 struct acpi_handle_list resources ;
3784};
3785#line 210 "include/acpi/acpi_bus.h"
3786struct acpi_device_power {
3787 int state ;
3788 struct acpi_device_power_flags flags ;
3789 struct acpi_device_power_state states[5] ;
3790};
3791#line 218 "include/acpi/acpi_bus.h"
3792struct acpi_device_perf_flags {
3793 u8 reserved : 8 ;
3794};
3795#line 222 "include/acpi/acpi_bus.h"
3796struct __anonstruct_flags_259 {
3797 u8 valid : 1 ;
3798 u8 reserved : 7 ;
3799};
3800#line 222 "include/acpi/acpi_bus.h"
3801struct acpi_device_perf_state {
3802 struct __anonstruct_flags_259 flags ;
3803 u8 power ;
3804 u8 performance ;
3805 int latency ;
3806};
3807#line 232 "include/acpi/acpi_bus.h"
3808struct acpi_device_perf {
3809 int state ;
3810 struct acpi_device_perf_flags flags ;
3811 int state_count ;
3812 struct acpi_device_perf_state *states ;
3813};
3814#line 240 "include/acpi/acpi_bus.h"
3815struct acpi_device_wakeup_flags {
3816 u8 valid : 1 ;
3817 u8 run_wake : 1 ;
3818 u8 notifier_present : 1 ;
3819};
3820#line 246 "include/acpi/acpi_bus.h"
3821struct acpi_device_wakeup {
3822 acpi_handle gpe_device ;
3823 u64 gpe_number ;
3824 u64 sleep_state ;
3825 struct acpi_handle_list resources ;
3826 struct acpi_device_wakeup_flags flags ;
3827 int prepare_count ;
3828};
3829#line 257 "include/acpi/acpi_bus.h"
3830struct acpi_device {
3831 int device_type ;
3832 acpi_handle handle ;
3833 struct acpi_device *parent ;
3834 struct list_head children ;
3835 struct list_head node ;
3836 struct list_head wakeup_list ;
3837 struct acpi_device_status status ;
3838 struct acpi_device_flags flags ;
3839 struct acpi_device_pnp pnp ;
3840 struct acpi_device_power power ;
3841 struct acpi_device_wakeup wakeup ;
3842 struct acpi_device_perf performance ;
3843 struct acpi_device_dir dir ;
3844 struct acpi_device_ops ops ;
3845 struct acpi_driver *driver ;
3846 void *driver_data ;
3847 struct device dev ;
3848 struct acpi_bus_ops bus_ops ;
3849 enum acpi_bus_removal_type removal_type ;
3850};
3851#line 46 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
3852struct ebook_switch {
3853 struct input_dev *input ;
3854 char phys[32] ;
3855};
3856#line 1 "<compiler builtins>"
3857long __builtin_expect(long val , long res ) ;
3858#line 59 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/bitops.h"
3859__inline static void ( __attribute__((__always_inline__)) set_bit)(unsigned int nr ,
3860 unsigned long volatile *addr ) __attribute__((__no_instrument_function__)) ;
3861#line 59 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/bitops.h"
3862__inline static void ( __attribute__((__always_inline__)) set_bit)(unsigned int nr ,
3863 unsigned long volatile *addr )
3864{ long volatile *__cil_tmp3 ;
3865
3866 {
3867#line 68
3868 __cil_tmp3 = (long volatile *)addr;
3869#line 68
3870 __asm__ volatile (".section .smp_locks,\"a\"\n"
3871 ".balign 4\n"
3872 ".long 671f - .\n"
3873 ".previous\n"
3874 "671:"
3875 "\n\tlock; "
3876 "bts %1,%0": "+m" (*__cil_tmp3): "Ir" (nr): "memory");
3877#line 71
3878 return;
3879}
3880}
3881#line 100 "include/linux/printk.h"
3882extern int ( printk)(char const *fmt , ...) ;
3883#line 320 "include/linux/kernel.h"
3884extern int ( sprintf)(char *buf , char const *fmt , ...) ;
3885#line 322
3886extern int ( snprintf)(char *buf , size_t size , char const *fmt
3887 , ...) ;
3888#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3889extern char *strcpy(char *dest , char const *src ) ;
3890#line 64
3891extern int strcmp(char const *cs , char const *ct ) ;
3892#line 152 "include/linux/mutex.h"
3893void mutex_lock(struct mutex *lock ) ;
3894#line 153
3895int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3896#line 154
3897int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3898#line 168
3899int mutex_trylock(struct mutex *lock ) ;
3900#line 169
3901void mutex_unlock(struct mutex *lock ) ;
3902#line 170
3903int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3904#line 67 "include/linux/module.h"
3905int init_module(void) ;
3906#line 68
3907void cleanup_module(void) ;
3908#line 88 "include/linux/pm_wakeup.h"
3909extern int device_set_wakeup_enable(struct device *dev , bool enable ) ;
3910#line 1456 "include/linux/input.h"
3911extern struct input_dev *input_allocate_device(void) ;
3912#line 1457
3913extern void input_free_device(struct input_dev *dev ) ;
3914#line 1480
3915extern int __attribute__((__warn_unused_result__)) input_register_device(struct input_dev * ) ;
3916#line 1481
3917extern void input_unregister_device(struct input_dev * ) ;
3918#line 1502
3919extern void input_event(struct input_dev *dev , unsigned int type , unsigned int code ,
3920 int value ) ;
3921#line 1525
3922__inline static void input_report_switch(struct input_dev *dev , unsigned int code ,
3923 int value ) __attribute__((__no_instrument_function__)) ;
3924#line 1525 "include/linux/input.h"
3925__inline static void input_report_switch(struct input_dev *dev , unsigned int code ,
3926 int value )
3927{ int __cil_tmp4 ;
3928 int __cil_tmp5 ;
3929
3930 {
3931 {
3932#line 1527
3933 __cil_tmp4 = ! value;
3934#line 1527
3935 __cil_tmp5 = ! __cil_tmp4;
3936#line 1527
3937 input_event(dev, 5U, code, __cil_tmp5);
3938 }
3939#line 1528
3940 return;
3941}
3942}
3943#line 1530
3944__inline static void input_sync(struct input_dev *dev ) __attribute__((__no_instrument_function__)) ;
3945#line 1530 "include/linux/input.h"
3946__inline static void input_sync(struct input_dev *dev )
3947{
3948
3949 {
3950 {
3951#line 1532
3952 input_event(dev, 0U, 0U, 0);
3953 }
3954#line 1533
3955 return;
3956}
3957}
3958#line 161 "include/linux/slab.h"
3959extern void kfree(void const * ) ;
3960#line 221 "include/linux/slub_def.h"
3961extern void *__kmalloc(size_t size , gfp_t flags ) ;
3962#line 268
3963__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3964 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3965#line 268 "include/linux/slub_def.h"
3966__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3967 gfp_t flags )
3968{ void *tmp___10 ;
3969
3970 {
3971 {
3972#line 283
3973 tmp___10 = __kmalloc(size, flags);
3974 }
3975#line 283
3976 return (tmp___10);
3977}
3978}
3979#line 349 "include/linux/slab.h"
3980__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3981#line 349 "include/linux/slab.h"
3982__inline static void *kzalloc(size_t size , gfp_t flags )
3983{ void *tmp___7 ;
3984 unsigned int __cil_tmp4 ;
3985
3986 {
3987 {
3988#line 351
3989 __cil_tmp4 = flags | 32768U;
3990#line 351
3991 tmp___7 = kmalloc(size, __cil_tmp4);
3992 }
3993#line 351
3994 return (tmp___7);
3995}
3996}
3997#line 356 "include/acpi/acpixf.h"
3998extern acpi_status acpi_enable_gpe(acpi_handle gpe_device , u32 gpe_number ) ;
3999#line 44 "include/acpi/acpi_bus.h"
4000extern acpi_status acpi_evaluate_integer(acpi_handle handle , acpi_string pathname ,
4001 struct acpi_object_list *arguments , unsigned long long *data ) ;
4002#line 185
4003extern char const *acpi_device_hid(struct acpi_device *device ) ;
4004#line 279
4005__inline static void *acpi_driver_data(struct acpi_device *d ) __attribute__((__no_instrument_function__)) ;
4006#line 279 "include/acpi/acpi_bus.h"
4007__inline static void *acpi_driver_data(struct acpi_device *d )
4008{ unsigned long __cil_tmp2 ;
4009 unsigned long __cil_tmp3 ;
4010
4011 {
4012 {
4013#line 281
4014 __cil_tmp2 = (unsigned long )d;
4015#line 281
4016 __cil_tmp3 = __cil_tmp2 + 936;
4017#line 281
4018 return (*((void **)__cil_tmp3));
4019 }
4020}
4021}
4022#line 336
4023extern int acpi_bus_register_driver(struct acpi_driver *driver ) ;
4024#line 337
4025extern void acpi_bus_unregister_driver(struct acpi_driver *driver ) ;
4026#line 37 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4027static char const __mod_description37[44] __attribute__((__used__, __unused__,
4028__section__(".modinfo"), __aligned__(1))) =
4029#line 37 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4030 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4031 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4032 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4033 (char const )'O', (char const )'L', (char const )'P', (char const )'C',
4034 (char const )' ', (char const )'X', (char const )'O', (char const )'-',
4035 (char const )'1', (char const )'.', (char const )'5', (char const )' ',
4036 (char const )'e', (char const )'b', (char const )'o', (char const )'o',
4037 (char const )'k', (char const )' ', (char const )'s', (char const )'w',
4038 (char const )'i', (char const )'t', (char const )'c', (char const )'h',
4039 (char const )' ', (char const )'d', (char const )'r', (char const )'i',
4040 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
4041#line 38 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4042static char const __mod_license38[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4043__aligned__(1))) =
4044#line 38
4045 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4046 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4047 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4048#line 40 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4049static struct acpi_device_id const ebook_device_ids[2] = { {{(__u8 )'X', (__u8 )'O', (__u8 )'1', (__u8 )'5', (__u8 )'E', (__u8 )'B', (__u8 )'K',
4050 (__u8 )'\000', (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4051 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, (kernel_ulong_t )0},
4052 {{(__u8 )'\000',
4053 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4054 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4055 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0},
4056 (kernel_ulong_t )0}};
4057#line 44
4058extern struct acpi_device_id const __mod_acpi_device_table __attribute__((__unused__,
4059__alias__("ebook_device_ids"))) ;
4060#line 51 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4061static int ebook_send_state(struct acpi_device *device )
4062{ struct ebook_switch *button ;
4063 void *tmp___7 ;
4064 unsigned long long state ;
4065 acpi_status status ;
4066 unsigned long __cil_tmp6 ;
4067 unsigned long __cil_tmp7 ;
4068 acpi_handle __cil_tmp8 ;
4069 acpi_string __cil_tmp9 ;
4070 void *__cil_tmp10 ;
4071 struct acpi_object_list *__cil_tmp11 ;
4072 struct input_dev *__cil_tmp12 ;
4073 unsigned long long *__cil_tmp13 ;
4074 unsigned long long __cil_tmp14 ;
4075 int __cil_tmp15 ;
4076 struct input_dev *__cil_tmp16 ;
4077
4078 {
4079 {
4080#line 53
4081 tmp___7 = acpi_driver_data(device);
4082#line 53
4083 button = (struct ebook_switch *)tmp___7;
4084#line 57
4085 __cil_tmp6 = (unsigned long )device;
4086#line 57
4087 __cil_tmp7 = __cil_tmp6 + 8;
4088#line 57
4089 __cil_tmp8 = *((acpi_handle *)__cil_tmp7);
4090#line 57
4091 __cil_tmp9 = (acpi_string )"EBK";
4092#line 57
4093 __cil_tmp10 = (void *)0;
4094#line 57
4095 __cil_tmp11 = (struct acpi_object_list *)__cil_tmp10;
4096#line 57
4097 status = acpi_evaluate_integer(__cil_tmp8, __cil_tmp9, __cil_tmp11, & state);
4098 }
4099#line 58
4100 if (status) {
4101#line 59
4102 return (-5);
4103 } else {
4104
4105 }
4106 {
4107#line 62
4108 __cil_tmp12 = *((struct input_dev **)button);
4109#line 62
4110 __cil_tmp13 = & state;
4111#line 62
4112 __cil_tmp14 = *__cil_tmp13;
4113#line 62
4114 __cil_tmp15 = ! __cil_tmp14;
4115#line 62
4116 input_report_switch(__cil_tmp12, 1U, __cil_tmp15);
4117#line 63
4118 __cil_tmp16 = *((struct input_dev **)button);
4119#line 63
4120 input_sync(__cil_tmp16);
4121 }
4122#line 64
4123 return (0);
4124}
4125}
4126#line 67 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4127static void ebook_switch_notify(struct acpi_device *device , u32 event )
4128{
4129
4130 {
4131#line 70
4132 if ((int )event == 256) {
4133#line 70
4134 goto case_256;
4135 } else
4136#line 71
4137 if ((int )event == 128) {
4138#line 71
4139 goto case_256;
4140 } else {
4141 {
4142#line 74
4143 goto switch_default;
4144#line 69
4145 if (0) {
4146 case_256:
4147 case_128:
4148 {
4149#line 72
4150 ebook_send_state(device);
4151 }
4152#line 73
4153 goto switch_break;
4154 switch_default: ;
4155#line 77
4156 goto switch_break;
4157 } else {
4158 switch_break: ;
4159 }
4160 }
4161 }
4162#line 79
4163 return;
4164}
4165}
4166#line 81 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4167static int ebook_switch_resume(struct acpi_device *device )
4168{ int tmp___7 ;
4169
4170 {
4171 {
4172#line 83
4173 tmp___7 = ebook_send_state(device);
4174 }
4175#line 83
4176 return (tmp___7);
4177}
4178}
4179#line 86 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4180static int ebook_switch_add(struct acpi_device *device )
4181{ struct ebook_switch *button ;
4182 struct input_dev *input ;
4183 char const *hid ;
4184 char const *tmp___7 ;
4185 char *name ;
4186 char *class ;
4187 int error ;
4188 void *tmp___8 ;
4189 int tmp___9 ;
4190 unsigned long __cil_tmp11 ;
4191 unsigned long __cil_tmp12 ;
4192 unsigned long __cil_tmp13 ;
4193 unsigned long __cil_tmp14 ;
4194 unsigned long __cil_tmp15 ;
4195 unsigned long __cil_tmp16 ;
4196 unsigned long __cil_tmp17 ;
4197 unsigned long __cil_tmp18 ;
4198 unsigned long __cil_tmp19 ;
4199 unsigned long __cil_tmp20 ;
4200 unsigned long __cil_tmp21 ;
4201 unsigned long __cil_tmp22 ;
4202 unsigned long __cil_tmp23 ;
4203 unsigned long __cil_tmp24 ;
4204 unsigned long __cil_tmp25 ;
4205 unsigned long __cil_tmp26 ;
4206 char *__cil_tmp27 ;
4207 unsigned long __cil_tmp28 ;
4208 unsigned long __cil_tmp29 ;
4209 unsigned long __cil_tmp30 ;
4210 unsigned long __cil_tmp31 ;
4211 unsigned long __cil_tmp32 ;
4212 unsigned long __cil_tmp33 ;
4213 char *__cil_tmp34 ;
4214 unsigned long __cil_tmp35 ;
4215 unsigned long __cil_tmp36 ;
4216 unsigned long __cil_tmp37 ;
4217 unsigned long __cil_tmp38 ;
4218 unsigned long __cil_tmp39 ;
4219 unsigned long __cil_tmp40 ;
4220 unsigned long __cil_tmp41 ;
4221 unsigned long __cil_tmp42 ;
4222 unsigned long __cil_tmp43 ;
4223 unsigned long __cil_tmp44 ;
4224 unsigned long __cil_tmp45 ;
4225 unsigned long __cil_tmp46 ;
4226 unsigned long __cil_tmp47 ;
4227 unsigned long __cil_tmp48 ;
4228 unsigned long *__cil_tmp49 ;
4229 unsigned long volatile *__cil_tmp50 ;
4230 unsigned long __cil_tmp51 ;
4231 unsigned long __cil_tmp52 ;
4232 unsigned long __cil_tmp53 ;
4233 unsigned long __cil_tmp54 ;
4234 unsigned long __cil_tmp55 ;
4235 acpi_handle __cil_tmp56 ;
4236 unsigned long __cil_tmp57 ;
4237 unsigned long __cil_tmp58 ;
4238 unsigned long __cil_tmp59 ;
4239 u64 __cil_tmp60 ;
4240 u32 __cil_tmp61 ;
4241 unsigned long __cil_tmp62 ;
4242 unsigned long __cil_tmp63 ;
4243 struct device *__cil_tmp64 ;
4244 bool __cil_tmp65 ;
4245 void const *__cil_tmp66 ;
4246
4247 {
4248 {
4249#line 90
4250 tmp___7 = acpi_device_hid(device);
4251#line 90
4252 hid = tmp___7;
4253#line 94
4254 tmp___8 = kzalloc(40UL, 208U);
4255#line 94
4256 button = (struct ebook_switch *)tmp___8;
4257 }
4258#line 95
4259 if (! button) {
4260#line 96
4261 return (-12);
4262 } else {
4263
4264 }
4265 {
4266#line 98
4267 __cil_tmp11 = (unsigned long )device;
4268#line 98
4269 __cil_tmp12 = __cil_tmp11 + 936;
4270#line 98
4271 *((void **)__cil_tmp12) = (void *)button;
4272#line 100
4273 input = input_allocate_device();
4274#line 100
4275 *((struct input_dev **)button) = input;
4276 }
4277#line 101
4278 if (! input) {
4279#line 102
4280 error = -12;
4281#line 103
4282 goto err_free_button;
4283 } else {
4284
4285 }
4286 {
4287#line 106
4288 __cil_tmp13 = 0 * 1UL;
4289#line 106
4290 __cil_tmp14 = 40 + __cil_tmp13;
4291#line 106
4292 __cil_tmp15 = 80 + __cil_tmp14;
4293#line 106
4294 __cil_tmp16 = (unsigned long )device;
4295#line 106
4296 __cil_tmp17 = __cil_tmp16 + __cil_tmp15;
4297#line 106
4298 name = (char *)__cil_tmp17;
4299#line 107
4300 __cil_tmp18 = 0 * 1UL;
4301#line 107
4302 __cil_tmp19 = 80 + __cil_tmp18;
4303#line 107
4304 __cil_tmp20 = 80 + __cil_tmp19;
4305#line 107
4306 __cil_tmp21 = (unsigned long )device;
4307#line 107
4308 __cil_tmp22 = __cil_tmp21 + __cil_tmp20;
4309#line 107
4310 class = (char *)__cil_tmp22;
4311#line 109
4312 tmp___9 = strcmp(hid, "XO15EBK");
4313 }
4314#line 109
4315 if (tmp___9) {
4316 {
4317#line 110
4318 printk("<3>xo15_ebook: Unsupported hid [%s]\n", hid);
4319#line 111
4320 error = -19;
4321 }
4322#line 112
4323 goto err_free_input;
4324 } else {
4325
4326 }
4327 {
4328#line 115
4329 strcpy(name, "EBook Switch");
4330#line 116
4331 sprintf(class, "%s/%s", "xo15-ebook", "ebook");
4332#line 118
4333 __cil_tmp23 = 0 * 1UL;
4334#line 118
4335 __cil_tmp24 = 8 + __cil_tmp23;
4336#line 118
4337 __cil_tmp25 = (unsigned long )button;
4338#line 118
4339 __cil_tmp26 = __cil_tmp25 + __cil_tmp24;
4340#line 118
4341 __cil_tmp27 = (char *)__cil_tmp26;
4342#line 118
4343 snprintf(__cil_tmp27, 32UL, "%s/button/input0", hid);
4344#line 120
4345 *((char const **)input) = (char const *)name;
4346#line 121
4347 __cil_tmp28 = (unsigned long )input;
4348#line 121
4349 __cil_tmp29 = __cil_tmp28 + 8;
4350#line 121
4351 __cil_tmp30 = 0 * 1UL;
4352#line 121
4353 __cil_tmp31 = 8 + __cil_tmp30;
4354#line 121
4355 __cil_tmp32 = (unsigned long )button;
4356#line 121
4357 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
4358#line 121
4359 __cil_tmp34 = (char *)__cil_tmp33;
4360#line 121
4361 *((char const **)__cil_tmp29) = (char const *)__cil_tmp34;
4362#line 122
4363 __cil_tmp35 = (unsigned long )input;
4364#line 122
4365 __cil_tmp36 = __cil_tmp35 + 24;
4366#line 122
4367 *((__u16 *)__cil_tmp36) = (__u16 )25;
4368#line 123
4369 __cil_tmp37 = (unsigned long )input;
4370#line 123
4371 __cil_tmp38 = __cil_tmp37 + 648;
4372#line 123
4373 __cil_tmp39 = (unsigned long )device;
4374#line 123
4375 __cil_tmp40 = __cil_tmp39 + 944;
4376#line 123
4377 *((struct device **)__cil_tmp38) = (struct device *)__cil_tmp40;
4378#line 125
4379 __cil_tmp41 = 0 * 8UL;
4380#line 125
4381 __cil_tmp42 = 40 + __cil_tmp41;
4382#line 125
4383 __cil_tmp43 = (unsigned long )input;
4384#line 125
4385 __cil_tmp44 = __cil_tmp43 + __cil_tmp42;
4386#line 125
4387 *((unsigned long *)__cil_tmp44) = 1UL << 5;
4388#line 126
4389 __cil_tmp45 = 0 * 8UL;
4390#line 126
4391 __cil_tmp46 = 200 + __cil_tmp45;
4392#line 126
4393 __cil_tmp47 = (unsigned long )input;
4394#line 126
4395 __cil_tmp48 = __cil_tmp47 + __cil_tmp46;
4396#line 126
4397 __cil_tmp49 = (unsigned long *)__cil_tmp48;
4398#line 126
4399 __cil_tmp50 = (unsigned long volatile *)__cil_tmp49;
4400#line 126
4401 set_bit(1U, __cil_tmp50);
4402#line 128
4403 error = (int )input_register_device(input);
4404 }
4405#line 129
4406 if (error) {
4407#line 130
4408 goto err_free_input;
4409 } else {
4410
4411 }
4412 {
4413#line 132
4414 ebook_send_state(device);
4415 }
4416 {
4417#line 134
4418 __cil_tmp51 = 712 + 112;
4419#line 134
4420 __cil_tmp52 = (unsigned long )device;
4421#line 134
4422 __cil_tmp53 = __cil_tmp52 + __cil_tmp51;
4423#line 134
4424 if (*((u8 *)__cil_tmp53)) {
4425 {
4426#line 136
4427 __cil_tmp54 = (unsigned long )device;
4428#line 136
4429 __cil_tmp55 = __cil_tmp54 + 712;
4430#line 136
4431 __cil_tmp56 = *((acpi_handle *)__cil_tmp55);
4432#line 136
4433 __cil_tmp57 = 712 + 8;
4434#line 136
4435 __cil_tmp58 = (unsigned long )device;
4436#line 136
4437 __cil_tmp59 = __cil_tmp58 + __cil_tmp57;
4438#line 136
4439 __cil_tmp60 = *((u64 *)__cil_tmp59);
4440#line 136
4441 __cil_tmp61 = (u32 )__cil_tmp60;
4442#line 136
4443 acpi_enable_gpe(__cil_tmp56, __cil_tmp61);
4444#line 138
4445 __cil_tmp62 = (unsigned long )device;
4446#line 138
4447 __cil_tmp63 = __cil_tmp62 + 944;
4448#line 138
4449 __cil_tmp64 = (struct device *)__cil_tmp63;
4450#line 138
4451 __cil_tmp65 = (bool )1;
4452#line 138
4453 device_set_wakeup_enable(__cil_tmp64, __cil_tmp65);
4454 }
4455 } else {
4456
4457 }
4458 }
4459#line 141
4460 return (0);
4461 err_free_input:
4462 {
4463#line 144
4464 input_free_device(input);
4465 }
4466 err_free_button:
4467 {
4468#line 146
4469 __cil_tmp66 = (void const *)button;
4470#line 146
4471 kfree(__cil_tmp66);
4472 }
4473#line 147
4474 return (error);
4475}
4476}
4477#line 150 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4478static int ebook_switch_remove(struct acpi_device *device , int type )
4479{ struct ebook_switch *button ;
4480 void *tmp___7 ;
4481 struct input_dev *__cil_tmp5 ;
4482 void const *__cil_tmp6 ;
4483
4484 {
4485 {
4486#line 152
4487 tmp___7 = acpi_driver_data(device);
4488#line 152
4489 button = (struct ebook_switch *)tmp___7;
4490#line 154
4491 __cil_tmp5 = *((struct input_dev **)button);
4492#line 154
4493 input_unregister_device(__cil_tmp5);
4494#line 155
4495 __cil_tmp6 = (void const *)button;
4496#line 155
4497 kfree(__cil_tmp6);
4498 }
4499#line 156
4500 return (0);
4501}
4502}
4503#line 159 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4504static struct acpi_driver xo15_ebook_driver = {{(char )'x', (char )'o', (char )'1', (char )'5', (char )'-', (char )'e', (char )'b',
4505 (char )'o', (char )'o', (char )'k', (char )'\000'}, {(char )'x', (char )'o',
4506 (char )'1', (char )'5',
4507 (char )'-', (char )'e',
4508 (char )'b', (char )'o',
4509 (char )'o', (char )'k',
4510 (char )'\000'}, ebook_device_ids,
4511 0U, {& ebook_switch_add, & ebook_switch_remove, (int (*)(struct acpi_device *device ))0,
4512 (int (*)(struct acpi_device *device , pm_message_t state ))0, & ebook_switch_resume,
4513 (int (*)(struct acpi_device *device ))0, (int (*)(struct acpi_device *device ))0,
4514 & ebook_switch_notify}, {(char const *)0, (struct bus_type *)0, (struct module *)0,
4515 (char const *)0, (_Bool)0, (struct of_device_id const *)0,
4516 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4517 (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
4518 pm_message_t state ))0,
4519 (int (*)(struct device *dev ))0, (struct attribute_group const **)0,
4520 (struct dev_pm_ops const *)0, (struct driver_private *)0},
4521 (struct module *)0};
4522#line 171
4523static int xo15_ebook_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4524#line 171 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4525static int xo15_ebook_init(void)
4526{ int tmp___7 ;
4527
4528 {
4529 {
4530#line 173
4531 tmp___7 = acpi_bus_register_driver(& xo15_ebook_driver);
4532 }
4533#line 173
4534 return (tmp___7);
4535}
4536}
4537#line 176
4538static void xo15_ebook_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
4539#line 176 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4540static void xo15_ebook_exit(void)
4541{
4542
4543 {
4544 {
4545#line 178
4546 acpi_bus_unregister_driver(& xo15_ebook_driver);
4547 }
4548#line 179
4549 return;
4550}
4551}
4552#line 181 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4553int init_module(void)
4554{ int tmp___7 ;
4555
4556 {
4557 {
4558#line 181
4559 tmp___7 = xo15_ebook_init();
4560 }
4561#line 181
4562 return (tmp___7);
4563}
4564}
4565#line 182 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4566void cleanup_module(void)
4567{
4568
4569 {
4570 {
4571#line 182
4572 xo15_ebook_exit();
4573 }
4574#line 182
4575 return;
4576}
4577}
4578#line 200
4579void ldv_check_final_state(void) ;
4580#line 206
4581extern void ldv_initialize(void) ;
4582#line 209
4583extern int __VERIFIER_nondet_int(void) ;
4584#line 212 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4585int LDV_IN_INTERRUPT ;
4586#line 215 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4587void main(void)
4588{ struct acpi_device *var_group1 ;
4589 int var_ebook_switch_remove_4_p1 ;
4590 u32 var_ebook_switch_notify_1_p1 ;
4591 int tmp___7 ;
4592 int tmp___8 ;
4593 int tmp___9 ;
4594
4595 {
4596 {
4597#line 279
4598 LDV_IN_INTERRUPT = 1;
4599#line 288
4600 ldv_initialize();
4601#line 303
4602 tmp___7 = xo15_ebook_init();
4603 }
4604#line 303
4605 if (tmp___7) {
4606#line 304
4607 goto ldv_final;
4608 } else {
4609
4610 }
4611 {
4612#line 308
4613 while (1) {
4614 while_continue: ;
4615 {
4616#line 308
4617 tmp___9 = __VERIFIER_nondet_int();
4618 }
4619#line 308
4620 if (tmp___9) {
4621
4622 } else {
4623#line 308
4624 goto while_break;
4625 }
4626 {
4627#line 311
4628 tmp___8 = __VERIFIER_nondet_int();
4629 }
4630#line 313
4631 if (tmp___8 == 0) {
4632#line 313
4633 goto case_0;
4634 } else
4635#line 338
4636 if (tmp___8 == 1) {
4637#line 338
4638 goto case_1;
4639 } else
4640#line 363
4641 if (tmp___8 == 2) {
4642#line 363
4643 goto case_2;
4644 } else
4645#line 388
4646 if (tmp___8 == 3) {
4647#line 388
4648 goto case_3;
4649 } else {
4650 {
4651#line 413
4652 goto switch_default;
4653#line 311
4654 if (0) {
4655 case_0:
4656 {
4657#line 330
4658 ebook_switch_add(var_group1);
4659 }
4660#line 337
4661 goto switch_break;
4662 case_1:
4663 {
4664#line 355
4665 ebook_switch_resume(var_group1);
4666 }
4667#line 362
4668 goto switch_break;
4669 case_2:
4670 {
4671#line 380
4672 ebook_switch_remove(var_group1, var_ebook_switch_remove_4_p1);
4673 }
4674#line 387
4675 goto switch_break;
4676 case_3:
4677 {
4678#line 405
4679 ebook_switch_notify(var_group1, var_ebook_switch_notify_1_p1);
4680 }
4681#line 412
4682 goto switch_break;
4683 switch_default:
4684#line 413
4685 goto switch_break;
4686 } else {
4687 switch_break: ;
4688 }
4689 }
4690 }
4691 }
4692 while_break: ;
4693 }
4694 {
4695#line 434
4696 xo15_ebook_exit();
4697 }
4698 ldv_final:
4699 {
4700#line 437
4701 ldv_check_final_state();
4702 }
4703#line 440
4704 return;
4705}
4706}
4707#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4708void ldv_blast_assert(void)
4709{
4710
4711 {
4712 ERROR:
4713#line 6
4714 goto ERROR;
4715}
4716}
4717#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4718extern int __VERIFIER_nondet_int(void) ;
4719#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4720int ldv_mutex = 1;
4721#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4722int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4723{ int nondetermined ;
4724
4725 {
4726#line 29
4727 if (ldv_mutex == 1) {
4728
4729 } else {
4730 {
4731#line 29
4732 ldv_blast_assert();
4733 }
4734 }
4735 {
4736#line 32
4737 nondetermined = __VERIFIER_nondet_int();
4738 }
4739#line 35
4740 if (nondetermined) {
4741#line 38
4742 ldv_mutex = 2;
4743#line 40
4744 return (0);
4745 } else {
4746#line 45
4747 return (-4);
4748 }
4749}
4750}
4751#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4752int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4753{ int nondetermined ;
4754
4755 {
4756#line 57
4757 if (ldv_mutex == 1) {
4758
4759 } else {
4760 {
4761#line 57
4762 ldv_blast_assert();
4763 }
4764 }
4765 {
4766#line 60
4767 nondetermined = __VERIFIER_nondet_int();
4768 }
4769#line 63
4770 if (nondetermined) {
4771#line 66
4772 ldv_mutex = 2;
4773#line 68
4774 return (0);
4775 } else {
4776#line 73
4777 return (-4);
4778 }
4779}
4780}
4781#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4782int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4783{ int atomic_value_after_dec ;
4784
4785 {
4786#line 83
4787 if (ldv_mutex == 1) {
4788
4789 } else {
4790 {
4791#line 83
4792 ldv_blast_assert();
4793 }
4794 }
4795 {
4796#line 86
4797 atomic_value_after_dec = __VERIFIER_nondet_int();
4798 }
4799#line 89
4800 if (atomic_value_after_dec == 0) {
4801#line 92
4802 ldv_mutex = 2;
4803#line 94
4804 return (1);
4805 } else {
4806
4807 }
4808#line 98
4809 return (0);
4810}
4811}
4812#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4813void mutex_lock(struct mutex *lock )
4814{
4815
4816 {
4817#line 108
4818 if (ldv_mutex == 1) {
4819
4820 } else {
4821 {
4822#line 108
4823 ldv_blast_assert();
4824 }
4825 }
4826#line 110
4827 ldv_mutex = 2;
4828#line 111
4829 return;
4830}
4831}
4832#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4833int mutex_trylock(struct mutex *lock )
4834{ int nondetermined ;
4835
4836 {
4837#line 121
4838 if (ldv_mutex == 1) {
4839
4840 } else {
4841 {
4842#line 121
4843 ldv_blast_assert();
4844 }
4845 }
4846 {
4847#line 124
4848 nondetermined = __VERIFIER_nondet_int();
4849 }
4850#line 127
4851 if (nondetermined) {
4852#line 130
4853 ldv_mutex = 2;
4854#line 132
4855 return (1);
4856 } else {
4857#line 137
4858 return (0);
4859 }
4860}
4861}
4862#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4863void mutex_unlock(struct mutex *lock )
4864{
4865
4866 {
4867#line 147
4868 if (ldv_mutex == 2) {
4869
4870 } else {
4871 {
4872#line 147
4873 ldv_blast_assert();
4874 }
4875 }
4876#line 149
4877 ldv_mutex = 1;
4878#line 150
4879 return;
4880}
4881}
4882#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4883void ldv_check_final_state(void)
4884{
4885
4886 {
4887#line 156
4888 if (ldv_mutex == 1) {
4889
4890 } else {
4891 {
4892#line 156
4893 ldv_blast_assert();
4894 }
4895 }
4896#line 157
4897 return;
4898}
4899}
4900#line 449 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5744/dscv_tempdir/dscv/ri/32_1/drivers/platform/x86/xo15-ebook.c.common.c"
4901long s__builtin_expect(long val , long res )
4902{
4903
4904 {
4905#line 450
4906 return (val);
4907}
4908}