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