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