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