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