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