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