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