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