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 42 "include/asm-generic/int-ll64.h"
21typedef signed char s8;
22#line 43 "include/asm-generic/int-ll64.h"
23typedef unsigned char u8;
24#line 45 "include/asm-generic/int-ll64.h"
25typedef short s16;
26#line 46 "include/asm-generic/int-ll64.h"
27typedef unsigned short u16;
28#line 48 "include/asm-generic/int-ll64.h"
29typedef int s32;
30#line 49 "include/asm-generic/int-ll64.h"
31typedef unsigned int u32;
32#line 51 "include/asm-generic/int-ll64.h"
33typedef long long s64;
34#line 52 "include/asm-generic/int-ll64.h"
35typedef unsigned long long u64;
36#line 14 "include/asm-generic/posix_types.h"
37typedef long __kernel_long_t;
38#line 15 "include/asm-generic/posix_types.h"
39typedef unsigned long __kernel_ulong_t;
40#line 27 "include/asm-generic/posix_types.h"
41typedef __kernel_ulong_t __kernel_nlink_t;
42#line 31 "include/asm-generic/posix_types.h"
43typedef int __kernel_pid_t;
44#line 52 "include/asm-generic/posix_types.h"
45typedef unsigned int __kernel_uid32_t;
46#line 53 "include/asm-generic/posix_types.h"
47typedef unsigned int __kernel_gid32_t;
48#line 75 "include/asm-generic/posix_types.h"
49typedef __kernel_ulong_t __kernel_size_t;
50#line 76 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_ssize_t;
52#line 90 "include/asm-generic/posix_types.h"
53typedef __kernel_long_t __kernel_off_t;
54#line 91 "include/asm-generic/posix_types.h"
55typedef long long __kernel_loff_t;
56#line 92 "include/asm-generic/posix_types.h"
57typedef __kernel_long_t __kernel_time_t;
58#line 93 "include/asm-generic/posix_types.h"
59typedef __kernel_long_t __kernel_clock_t;
60#line 94 "include/asm-generic/posix_types.h"
61typedef int __kernel_timer_t;
62#line 95 "include/asm-generic/posix_types.h"
63typedef int __kernel_clockid_t;
64#line 21 "include/linux/types.h"
65typedef __u32 __kernel_dev_t;
66#line 24 "include/linux/types.h"
67typedef __kernel_dev_t dev_t;
68#line 27 "include/linux/types.h"
69typedef unsigned short umode_t;
70#line 28 "include/linux/types.h"
71typedef __kernel_nlink_t nlink_t;
72#line 29 "include/linux/types.h"
73typedef __kernel_off_t off_t;
74#line 30 "include/linux/types.h"
75typedef __kernel_pid_t pid_t;
76#line 35 "include/linux/types.h"
77typedef __kernel_clockid_t clockid_t;
78#line 38 "include/linux/types.h"
79typedef _Bool bool;
80#line 40 "include/linux/types.h"
81typedef __kernel_uid32_t uid_t;
82#line 41 "include/linux/types.h"
83typedef __kernel_gid32_t gid_t;
84#line 54 "include/linux/types.h"
85typedef __kernel_loff_t loff_t;
86#line 63 "include/linux/types.h"
87typedef __kernel_size_t size_t;
88#line 68 "include/linux/types.h"
89typedef __kernel_ssize_t ssize_t;
90#line 78 "include/linux/types.h"
91typedef __kernel_time_t time_t;
92#line 111 "include/linux/types.h"
93typedef __s32 int32_t;
94#line 115 "include/linux/types.h"
95typedef __u8 uint8_t;
96#line 117 "include/linux/types.h"
97typedef __u32 uint32_t;
98#line 120 "include/linux/types.h"
99typedef __u64 uint64_t;
100#line 142 "include/linux/types.h"
101typedef unsigned long sector_t;
102#line 143 "include/linux/types.h"
103typedef unsigned long blkcnt_t;
104#line 155 "include/linux/types.h"
105typedef u64 dma_addr_t;
106#line 179 "include/linux/types.h"
107typedef __u16 __be16;
108#line 181 "include/linux/types.h"
109typedef __u32 __be32;
110#line 186 "include/linux/types.h"
111typedef __u32 __wsum;
112#line 202 "include/linux/types.h"
113typedef unsigned int gfp_t;
114#line 203 "include/linux/types.h"
115typedef unsigned int fmode_t;
116#line 219 "include/linux/types.h"
117struct __anonstruct_atomic_t_7 {
118 int counter ;
119};
120#line 219 "include/linux/types.h"
121typedef struct __anonstruct_atomic_t_7 atomic_t;
122#line 224 "include/linux/types.h"
123struct __anonstruct_atomic64_t_8 {
124 long counter ;
125};
126#line 224 "include/linux/types.h"
127typedef struct __anonstruct_atomic64_t_8 atomic64_t;
128#line 229 "include/linux/types.h"
129struct list_head {
130 struct list_head *next ;
131 struct list_head *prev ;
132};
133#line 233
134struct hlist_node;
135#line 233 "include/linux/types.h"
136struct hlist_head {
137 struct hlist_node *first ;
138};
139#line 237 "include/linux/types.h"
140struct hlist_node {
141 struct hlist_node *next ;
142 struct hlist_node **pprev ;
143};
144#line 253 "include/linux/types.h"
145struct rcu_head {
146 struct rcu_head *next ;
147 void (*func)(struct rcu_head *head ) ;
148};
149#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
150struct module;
151#line 56
152struct module;
153#line 146 "include/linux/init.h"
154typedef void (*ctor_fn_t)(void);
155#line 47 "include/linux/dynamic_debug.h"
156struct device;
157#line 47
158struct device;
159#line 53
160struct net_device;
161#line 53
162struct net_device;
163#line 135 "include/linux/kernel.h"
164struct completion;
165#line 135
166struct completion;
167#line 136
168struct pt_regs;
169#line 136
170struct pt_regs;
171#line 349
172struct pid;
173#line 349
174struct pid;
175#line 12 "include/linux/thread_info.h"
176struct timespec;
177#line 12
178struct timespec;
179#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
180struct page;
181#line 18
182struct page;
183#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
184struct task_struct;
185#line 20
186struct task_struct;
187#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
188struct task_struct;
189#line 8
190struct mm_struct;
191#line 8
192struct mm_struct;
193#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
194struct pt_regs {
195 unsigned long r15 ;
196 unsigned long r14 ;
197 unsigned long r13 ;
198 unsigned long r12 ;
199 unsigned long bp ;
200 unsigned long bx ;
201 unsigned long r11 ;
202 unsigned long r10 ;
203 unsigned long r9 ;
204 unsigned long r8 ;
205 unsigned long ax ;
206 unsigned long cx ;
207 unsigned long dx ;
208 unsigned long si ;
209 unsigned long di ;
210 unsigned long orig_ax ;
211 unsigned long ip ;
212 unsigned long cs ;
213 unsigned long flags ;
214 unsigned long sp ;
215 unsigned long ss ;
216};
217#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
218struct __anonstruct____missing_field_name_15 {
219 unsigned int a ;
220 unsigned int b ;
221};
222#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
223struct __anonstruct____missing_field_name_16 {
224 u16 limit0 ;
225 u16 base0 ;
226 unsigned int base1 : 8 ;
227 unsigned int type : 4 ;
228 unsigned int s : 1 ;
229 unsigned int dpl : 2 ;
230 unsigned int p : 1 ;
231 unsigned int limit : 4 ;
232 unsigned int avl : 1 ;
233 unsigned int l : 1 ;
234 unsigned int d : 1 ;
235 unsigned int g : 1 ;
236 unsigned int base2 : 8 ;
237};
238#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
239union __anonunion____missing_field_name_14 {
240 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
241 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
242};
243#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
244struct desc_struct {
245 union __anonunion____missing_field_name_14 __annonCompField7 ;
246} __attribute__((__packed__)) ;
247#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
248typedef unsigned long pgdval_t;
249#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
250typedef unsigned long pgprotval_t;
251#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
252struct pgprot {
253 pgprotval_t pgprot ;
254};
255#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
256typedef struct pgprot pgprot_t;
257#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
258struct __anonstruct_pgd_t_20 {
259 pgdval_t pgd ;
260};
261#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
262typedef struct __anonstruct_pgd_t_20 pgd_t;
263#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
264typedef struct page *pgtable_t;
265#line 295
266struct file;
267#line 295
268struct file;
269#line 313
270struct seq_file;
271#line 313
272struct seq_file;
273#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
274struct page;
275#line 47
276struct thread_struct;
277#line 47
278struct thread_struct;
279#line 50
280struct mm_struct;
281#line 51
282struct desc_struct;
283#line 52
284struct task_struct;
285#line 53
286struct cpumask;
287#line 53
288struct cpumask;
289#line 329
290struct arch_spinlock;
291#line 329
292struct arch_spinlock;
293#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
294struct task_struct;
295#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
296struct kernel_vm86_regs {
297 struct pt_regs pt ;
298 unsigned short es ;
299 unsigned short __esh ;
300 unsigned short ds ;
301 unsigned short __dsh ;
302 unsigned short fs ;
303 unsigned short __fsh ;
304 unsigned short gs ;
305 unsigned short __gsh ;
306};
307#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
308union __anonunion____missing_field_name_24 {
309 struct pt_regs *regs ;
310 struct kernel_vm86_regs *vm86 ;
311};
312#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
313struct math_emu_info {
314 long ___orig_eip ;
315 union __anonunion____missing_field_name_24 __annonCompField8 ;
316};
317#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
318struct task_struct;
319#line 10 "include/asm-generic/bug.h"
320struct bug_entry {
321 int bug_addr_disp ;
322 int file_disp ;
323 unsigned short line ;
324 unsigned short flags ;
325};
326#line 12 "include/linux/bug.h"
327struct pt_regs;
328#line 14 "include/linux/cpumask.h"
329struct cpumask {
330 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
331};
332#line 14 "include/linux/cpumask.h"
333typedef struct cpumask cpumask_t;
334#line 637 "include/linux/cpumask.h"
335typedef struct cpumask *cpumask_var_t;
336#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
337struct static_key;
338#line 234
339struct static_key;
340#line 11 "include/linux/personality.h"
341struct pt_regs;
342#line 153 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
343struct seq_operations;
344#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
345struct i387_fsave_struct {
346 u32 cwd ;
347 u32 swd ;
348 u32 twd ;
349 u32 fip ;
350 u32 fcs ;
351 u32 foo ;
352 u32 fos ;
353 u32 st_space[20] ;
354 u32 status ;
355};
356#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
357struct __anonstruct____missing_field_name_31 {
358 u64 rip ;
359 u64 rdp ;
360};
361#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
362struct __anonstruct____missing_field_name_32 {
363 u32 fip ;
364 u32 fcs ;
365 u32 foo ;
366 u32 fos ;
367};
368#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
369union __anonunion____missing_field_name_30 {
370 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
371 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
372};
373#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
374union __anonunion____missing_field_name_33 {
375 u32 padding1[12] ;
376 u32 sw_reserved[12] ;
377};
378#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
379struct i387_fxsave_struct {
380 u16 cwd ;
381 u16 swd ;
382 u16 twd ;
383 u16 fop ;
384 union __anonunion____missing_field_name_30 __annonCompField14 ;
385 u32 mxcsr ;
386 u32 mxcsr_mask ;
387 u32 st_space[32] ;
388 u32 xmm_space[64] ;
389 u32 padding[12] ;
390 union __anonunion____missing_field_name_33 __annonCompField15 ;
391} __attribute__((__aligned__(16))) ;
392#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
393struct i387_soft_struct {
394 u32 cwd ;
395 u32 swd ;
396 u32 twd ;
397 u32 fip ;
398 u32 fcs ;
399 u32 foo ;
400 u32 fos ;
401 u32 st_space[20] ;
402 u8 ftop ;
403 u8 changed ;
404 u8 lookahead ;
405 u8 no_update ;
406 u8 rm ;
407 u8 alimit ;
408 struct math_emu_info *info ;
409 u32 entry_eip ;
410};
411#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
412struct ymmh_struct {
413 u32 ymmh_space[64] ;
414};
415#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
416struct xsave_hdr_struct {
417 u64 xstate_bv ;
418 u64 reserved1[2] ;
419 u64 reserved2[5] ;
420} __attribute__((__packed__)) ;
421#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
422struct xsave_struct {
423 struct i387_fxsave_struct i387 ;
424 struct xsave_hdr_struct xsave_hdr ;
425 struct ymmh_struct ymmh ;
426} __attribute__((__packed__, __aligned__(64))) ;
427#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
428union thread_xstate {
429 struct i387_fsave_struct fsave ;
430 struct i387_fxsave_struct fxsave ;
431 struct i387_soft_struct soft ;
432 struct xsave_struct xsave ;
433};
434#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
435struct fpu {
436 unsigned int last_cpu ;
437 unsigned int has_fpu ;
438 union thread_xstate *state ;
439};
440#line 433
441struct kmem_cache;
442#line 435
443struct perf_event;
444#line 435
445struct perf_event;
446#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
447struct thread_struct {
448 struct desc_struct tls_array[3] ;
449 unsigned long sp0 ;
450 unsigned long sp ;
451 unsigned long usersp ;
452 unsigned short es ;
453 unsigned short ds ;
454 unsigned short fsindex ;
455 unsigned short gsindex ;
456 unsigned long fs ;
457 unsigned long gs ;
458 struct perf_event *ptrace_bps[4] ;
459 unsigned long debugreg6 ;
460 unsigned long ptrace_dr7 ;
461 unsigned long cr2 ;
462 unsigned long trap_nr ;
463 unsigned long error_code ;
464 struct fpu fpu ;
465 unsigned long *io_bitmap_ptr ;
466 unsigned long iopl ;
467 unsigned int io_bitmap_max ;
468};
469#line 23 "include/asm-generic/atomic-long.h"
470typedef atomic64_t atomic_long_t;
471#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
472typedef u16 __ticket_t;
473#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
474typedef u32 __ticketpair_t;
475#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
476struct __raw_tickets {
477 __ticket_t head ;
478 __ticket_t tail ;
479};
480#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
481union __anonunion____missing_field_name_36 {
482 __ticketpair_t head_tail ;
483 struct __raw_tickets tickets ;
484};
485#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
486struct arch_spinlock {
487 union __anonunion____missing_field_name_36 __annonCompField17 ;
488};
489#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
490typedef struct arch_spinlock arch_spinlock_t;
491#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
492struct __anonstruct____missing_field_name_38 {
493 u32 read ;
494 s32 write ;
495};
496#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
497union __anonunion_arch_rwlock_t_37 {
498 s64 lock ;
499 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
500};
501#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
502typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
503#line 12 "include/linux/lockdep.h"
504struct task_struct;
505#line 391 "include/linux/lockdep.h"
506struct lock_class_key {
507
508};
509#line 20 "include/linux/spinlock_types.h"
510struct raw_spinlock {
511 arch_spinlock_t raw_lock ;
512 unsigned int magic ;
513 unsigned int owner_cpu ;
514 void *owner ;
515};
516#line 20 "include/linux/spinlock_types.h"
517typedef struct raw_spinlock raw_spinlock_t;
518#line 64 "include/linux/spinlock_types.h"
519union __anonunion____missing_field_name_39 {
520 struct raw_spinlock rlock ;
521};
522#line 64 "include/linux/spinlock_types.h"
523struct spinlock {
524 union __anonunion____missing_field_name_39 __annonCompField19 ;
525};
526#line 64 "include/linux/spinlock_types.h"
527typedef struct spinlock spinlock_t;
528#line 11 "include/linux/rwlock_types.h"
529struct __anonstruct_rwlock_t_40 {
530 arch_rwlock_t raw_lock ;
531 unsigned int magic ;
532 unsigned int owner_cpu ;
533 void *owner ;
534};
535#line 11 "include/linux/rwlock_types.h"
536typedef struct __anonstruct_rwlock_t_40 rwlock_t;
537#line 33 "include/linux/seqlock.h"
538struct __anonstruct_seqlock_t_41 {
539 unsigned int sequence ;
540 spinlock_t lock ;
541};
542#line 33 "include/linux/seqlock.h"
543typedef struct __anonstruct_seqlock_t_41 seqlock_t;
544#line 119 "include/linux/seqlock.h"
545struct seqcount {
546 unsigned int sequence ;
547};
548#line 119 "include/linux/seqlock.h"
549typedef struct seqcount seqcount_t;
550#line 14 "include/linux/time.h"
551struct timespec {
552 __kernel_time_t tv_sec ;
553 long tv_nsec ;
554};
555#line 62 "include/linux/stat.h"
556struct kstat {
557 u64 ino ;
558 dev_t dev ;
559 umode_t mode ;
560 unsigned int nlink ;
561 uid_t uid ;
562 gid_t gid ;
563 dev_t rdev ;
564 loff_t size ;
565 struct timespec atime ;
566 struct timespec mtime ;
567 struct timespec ctime ;
568 unsigned long blksize ;
569 unsigned long long blocks ;
570};
571#line 49 "include/linux/wait.h"
572struct __wait_queue_head {
573 spinlock_t lock ;
574 struct list_head task_list ;
575};
576#line 53 "include/linux/wait.h"
577typedef struct __wait_queue_head wait_queue_head_t;
578#line 55
579struct task_struct;
580#line 98 "include/linux/nodemask.h"
581struct __anonstruct_nodemask_t_42 {
582 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
583};
584#line 98 "include/linux/nodemask.h"
585typedef struct __anonstruct_nodemask_t_42 nodemask_t;
586#line 60 "include/linux/pageblock-flags.h"
587struct page;
588#line 48 "include/linux/mutex.h"
589struct mutex {
590 atomic_t count ;
591 spinlock_t wait_lock ;
592 struct list_head wait_list ;
593 struct task_struct *owner ;
594 char const *name ;
595 void *magic ;
596};
597#line 69 "include/linux/mutex.h"
598struct mutex_waiter {
599 struct list_head list ;
600 struct task_struct *task ;
601 void *magic ;
602};
603#line 19 "include/linux/rwsem.h"
604struct rw_semaphore;
605#line 19
606struct rw_semaphore;
607#line 25 "include/linux/rwsem.h"
608struct rw_semaphore {
609 long count ;
610 raw_spinlock_t wait_lock ;
611 struct list_head wait_list ;
612};
613#line 25 "include/linux/completion.h"
614struct completion {
615 unsigned int done ;
616 wait_queue_head_t wait ;
617};
618#line 188 "include/linux/rcupdate.h"
619struct notifier_block;
620#line 188
621struct notifier_block;
622#line 50 "include/linux/notifier.h"
623struct notifier_block {
624 int (*notifier_call)(struct notifier_block * , unsigned long , void * ) ;
625 struct notifier_block *next ;
626 int priority ;
627};
628#line 61 "include/linux/notifier.h"
629struct blocking_notifier_head {
630 struct rw_semaphore rwsem ;
631 struct notifier_block *head ;
632};
633#line 9 "include/linux/memory_hotplug.h"
634struct page;
635#line 798 "include/linux/mmzone.h"
636struct ctl_table;
637#line 798
638struct ctl_table;
639#line 202 "include/linux/ioport.h"
640struct device;
641#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
642struct device;
643#line 46 "include/linux/ktime.h"
644union ktime {
645 s64 tv64 ;
646};
647#line 59 "include/linux/ktime.h"
648typedef union ktime ktime_t;
649#line 10 "include/linux/timer.h"
650struct tvec_base;
651#line 10
652struct tvec_base;
653#line 12 "include/linux/timer.h"
654struct timer_list {
655 struct list_head entry ;
656 unsigned long expires ;
657 struct tvec_base *base ;
658 void (*function)(unsigned long ) ;
659 unsigned long data ;
660 int slack ;
661 int start_pid ;
662 void *start_site ;
663 char start_comm[16] ;
664};
665#line 289
666struct hrtimer;
667#line 289
668struct hrtimer;
669#line 290
670enum hrtimer_restart;
671#line 17 "include/linux/workqueue.h"
672struct work_struct;
673#line 17
674struct work_struct;
675#line 79 "include/linux/workqueue.h"
676struct work_struct {
677 atomic_long_t data ;
678 struct list_head entry ;
679 void (*func)(struct work_struct *work ) ;
680};
681#line 92 "include/linux/workqueue.h"
682struct delayed_work {
683 struct work_struct work ;
684 struct timer_list timer ;
685};
686#line 42 "include/linux/pm.h"
687struct device;
688#line 50 "include/linux/pm.h"
689struct pm_message {
690 int event ;
691};
692#line 50 "include/linux/pm.h"
693typedef struct pm_message pm_message_t;
694#line 264 "include/linux/pm.h"
695struct dev_pm_ops {
696 int (*prepare)(struct device *dev ) ;
697 void (*complete)(struct device *dev ) ;
698 int (*suspend)(struct device *dev ) ;
699 int (*resume)(struct device *dev ) ;
700 int (*freeze)(struct device *dev ) ;
701 int (*thaw)(struct device *dev ) ;
702 int (*poweroff)(struct device *dev ) ;
703 int (*restore)(struct device *dev ) ;
704 int (*suspend_late)(struct device *dev ) ;
705 int (*resume_early)(struct device *dev ) ;
706 int (*freeze_late)(struct device *dev ) ;
707 int (*thaw_early)(struct device *dev ) ;
708 int (*poweroff_late)(struct device *dev ) ;
709 int (*restore_early)(struct device *dev ) ;
710 int (*suspend_noirq)(struct device *dev ) ;
711 int (*resume_noirq)(struct device *dev ) ;
712 int (*freeze_noirq)(struct device *dev ) ;
713 int (*thaw_noirq)(struct device *dev ) ;
714 int (*poweroff_noirq)(struct device *dev ) ;
715 int (*restore_noirq)(struct device *dev ) ;
716 int (*runtime_suspend)(struct device *dev ) ;
717 int (*runtime_resume)(struct device *dev ) ;
718 int (*runtime_idle)(struct device *dev ) ;
719};
720#line 458
721enum rpm_status {
722 RPM_ACTIVE = 0,
723 RPM_RESUMING = 1,
724 RPM_SUSPENDED = 2,
725 RPM_SUSPENDING = 3
726} ;
727#line 480
728enum rpm_request {
729 RPM_REQ_NONE = 0,
730 RPM_REQ_IDLE = 1,
731 RPM_REQ_SUSPEND = 2,
732 RPM_REQ_AUTOSUSPEND = 3,
733 RPM_REQ_RESUME = 4
734} ;
735#line 488
736struct wakeup_source;
737#line 488
738struct wakeup_source;
739#line 495 "include/linux/pm.h"
740struct pm_subsys_data {
741 spinlock_t lock ;
742 unsigned int refcount ;
743};
744#line 506
745struct dev_pm_qos_request;
746#line 506
747struct pm_qos_constraints;
748#line 506 "include/linux/pm.h"
749struct dev_pm_info {
750 pm_message_t power_state ;
751 unsigned int can_wakeup : 1 ;
752 unsigned int async_suspend : 1 ;
753 bool is_prepared : 1 ;
754 bool is_suspended : 1 ;
755 bool ignore_children : 1 ;
756 spinlock_t lock ;
757 struct list_head entry ;
758 struct completion completion ;
759 struct wakeup_source *wakeup ;
760 bool wakeup_path : 1 ;
761 struct timer_list suspend_timer ;
762 unsigned long timer_expires ;
763 struct work_struct work ;
764 wait_queue_head_t wait_queue ;
765 atomic_t usage_count ;
766 atomic_t child_count ;
767 unsigned int disable_depth : 3 ;
768 unsigned int idle_notification : 1 ;
769 unsigned int request_pending : 1 ;
770 unsigned int deferred_resume : 1 ;
771 unsigned int run_wake : 1 ;
772 unsigned int runtime_auto : 1 ;
773 unsigned int no_callbacks : 1 ;
774 unsigned int irq_safe : 1 ;
775 unsigned int use_autosuspend : 1 ;
776 unsigned int timer_autosuspends : 1 ;
777 enum rpm_request request ;
778 enum rpm_status runtime_status ;
779 int runtime_error ;
780 int autosuspend_delay ;
781 unsigned long last_busy ;
782 unsigned long active_jiffies ;
783 unsigned long suspended_jiffies ;
784 unsigned long accounting_timestamp ;
785 ktime_t suspend_time ;
786 s64 max_time_suspended_ns ;
787 struct dev_pm_qos_request *pq_req ;
788 struct pm_subsys_data *subsys_data ;
789 struct pm_qos_constraints *constraints ;
790};
791#line 564 "include/linux/pm.h"
792struct dev_pm_domain {
793 struct dev_pm_ops ops ;
794};
795#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
796struct __anonstruct_mm_context_t_112 {
797 void *ldt ;
798 int size ;
799 unsigned short ia32_compat ;
800 struct mutex lock ;
801 void *vdso ;
802};
803#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
804typedef struct __anonstruct_mm_context_t_112 mm_context_t;
805#line 8 "include/linux/vmalloc.h"
806struct vm_area_struct;
807#line 8
808struct vm_area_struct;
809#line 994 "include/linux/mmzone.h"
810struct page;
811#line 10 "include/linux/gfp.h"
812struct vm_area_struct;
813#line 29 "include/linux/sysctl.h"
814struct completion;
815#line 100 "include/linux/rbtree.h"
816struct rb_node {
817 unsigned long rb_parent_color ;
818 struct rb_node *rb_right ;
819 struct rb_node *rb_left ;
820} __attribute__((__aligned__(sizeof(long )))) ;
821#line 110 "include/linux/rbtree.h"
822struct rb_root {
823 struct rb_node *rb_node ;
824};
825#line 938 "include/linux/sysctl.h"
826struct ctl_table;
827#line 939
828struct nsproxy;
829#line 939
830struct nsproxy;
831#line 940
832struct ctl_table_root;
833#line 940
834struct ctl_table_root;
835#line 941
836struct ctl_table_header;
837#line 941
838struct ctl_table_header;
839#line 942
840struct ctl_dir;
841#line 942
842struct ctl_dir;
843#line 946 "include/linux/sysctl.h"
844typedef int proc_handler(struct ctl_table *ctl , int write , void *buffer , size_t *lenp ,
845 loff_t *ppos );
846#line 996 "include/linux/sysctl.h"
847struct ctl_table_poll {
848 atomic_t event ;
849 wait_queue_head_t wait ;
850};
851#line 1014 "include/linux/sysctl.h"
852struct ctl_table {
853 char const *procname ;
854 void *data ;
855 int maxlen ;
856 umode_t mode ;
857 struct ctl_table *child ;
858 proc_handler *proc_handler ;
859 struct ctl_table_poll *poll ;
860 void *extra1 ;
861 void *extra2 ;
862};
863#line 1027 "include/linux/sysctl.h"
864struct ctl_node {
865 struct rb_node node ;
866 struct ctl_table_header *header ;
867};
868#line 1034 "include/linux/sysctl.h"
869struct __anonstruct____missing_field_name_194 {
870 struct ctl_table *ctl_table ;
871 int used ;
872 int count ;
873 int nreg ;
874};
875#line 1034 "include/linux/sysctl.h"
876union __anonunion____missing_field_name_193 {
877 struct __anonstruct____missing_field_name_194 __annonCompField30 ;
878 struct rcu_head rcu ;
879};
880#line 1034
881struct ctl_table_set;
882#line 1034 "include/linux/sysctl.h"
883struct ctl_table_header {
884 union __anonunion____missing_field_name_193 __annonCompField31 ;
885 struct completion *unregistering ;
886 struct ctl_table *ctl_table_arg ;
887 struct ctl_table_root *root ;
888 struct ctl_table_set *set ;
889 struct ctl_dir *parent ;
890 struct ctl_node *node ;
891};
892#line 1053 "include/linux/sysctl.h"
893struct ctl_dir {
894 struct ctl_table_header header ;
895 struct rb_root root ;
896};
897#line 1059 "include/linux/sysctl.h"
898struct ctl_table_set {
899 int (*is_seen)(struct ctl_table_set * ) ;
900 struct ctl_dir dir ;
901};
902#line 1064 "include/linux/sysctl.h"
903struct ctl_table_root {
904 struct ctl_table_set default_set ;
905 struct ctl_table_set *(*lookup)(struct ctl_table_root *root , struct nsproxy *namespaces ) ;
906 int (*permissions)(struct ctl_table_root *root , struct nsproxy *namespaces , struct ctl_table *table ) ;
907};
908#line 48 "include/linux/kmod.h"
909struct cred;
910#line 48
911struct cred;
912#line 49
913struct file;
914#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
915struct task_struct;
916#line 18 "include/linux/elf.h"
917typedef __u64 Elf64_Addr;
918#line 19 "include/linux/elf.h"
919typedef __u16 Elf64_Half;
920#line 23 "include/linux/elf.h"
921typedef __u32 Elf64_Word;
922#line 24 "include/linux/elf.h"
923typedef __u64 Elf64_Xword;
924#line 194 "include/linux/elf.h"
925struct elf64_sym {
926 Elf64_Word st_name ;
927 unsigned char st_info ;
928 unsigned char st_other ;
929 Elf64_Half st_shndx ;
930 Elf64_Addr st_value ;
931 Elf64_Xword st_size ;
932};
933#line 194 "include/linux/elf.h"
934typedef struct elf64_sym Elf64_Sym;
935#line 438
936struct file;
937#line 20 "include/linux/kobject_ns.h"
938struct sock;
939#line 20
940struct sock;
941#line 21
942struct kobject;
943#line 21
944struct kobject;
945#line 27
946enum kobj_ns_type {
947 KOBJ_NS_TYPE_NONE = 0,
948 KOBJ_NS_TYPE_NET = 1,
949 KOBJ_NS_TYPES = 2
950} ;
951#line 40 "include/linux/kobject_ns.h"
952struct kobj_ns_type_operations {
953 enum kobj_ns_type type ;
954 void *(*grab_current_ns)(void) ;
955 void const *(*netlink_ns)(struct sock *sk ) ;
956 void const *(*initial_ns)(void) ;
957 void (*drop_ns)(void * ) ;
958};
959#line 22 "include/linux/sysfs.h"
960struct kobject;
961#line 23
962struct module;
963#line 24
964enum kobj_ns_type;
965#line 26 "include/linux/sysfs.h"
966struct attribute {
967 char const *name ;
968 umode_t mode ;
969};
970#line 56 "include/linux/sysfs.h"
971struct attribute_group {
972 char const *name ;
973 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
974 struct attribute **attrs ;
975};
976#line 85
977struct file;
978#line 86
979struct vm_area_struct;
980#line 88 "include/linux/sysfs.h"
981struct bin_attribute {
982 struct attribute attr ;
983 size_t size ;
984 void *private ;
985 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
986 loff_t , size_t ) ;
987 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
988 loff_t , size_t ) ;
989 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
990};
991#line 112 "include/linux/sysfs.h"
992struct sysfs_ops {
993 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
994 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
995 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
996};
997#line 118
998struct sysfs_dirent;
999#line 118
1000struct sysfs_dirent;
1001#line 22 "include/linux/kref.h"
1002struct kref {
1003 atomic_t refcount ;
1004};
1005#line 60 "include/linux/kobject.h"
1006struct kset;
1007#line 60
1008struct kobj_type;
1009#line 60 "include/linux/kobject.h"
1010struct kobject {
1011 char const *name ;
1012 struct list_head entry ;
1013 struct kobject *parent ;
1014 struct kset *kset ;
1015 struct kobj_type *ktype ;
1016 struct sysfs_dirent *sd ;
1017 struct kref kref ;
1018 unsigned int state_initialized : 1 ;
1019 unsigned int state_in_sysfs : 1 ;
1020 unsigned int state_add_uevent_sent : 1 ;
1021 unsigned int state_remove_uevent_sent : 1 ;
1022 unsigned int uevent_suppress : 1 ;
1023};
1024#line 108 "include/linux/kobject.h"
1025struct kobj_type {
1026 void (*release)(struct kobject *kobj ) ;
1027 struct sysfs_ops const *sysfs_ops ;
1028 struct attribute **default_attrs ;
1029 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
1030 void const *(*namespace)(struct kobject *kobj ) ;
1031};
1032#line 116 "include/linux/kobject.h"
1033struct kobj_uevent_env {
1034 char *envp[32] ;
1035 int envp_idx ;
1036 char buf[2048] ;
1037 int buflen ;
1038};
1039#line 123 "include/linux/kobject.h"
1040struct kset_uevent_ops {
1041 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
1042 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
1043 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
1044};
1045#line 140
1046struct sock;
1047#line 159 "include/linux/kobject.h"
1048struct kset {
1049 struct list_head list ;
1050 spinlock_t list_lock ;
1051 struct kobject kobj ;
1052 struct kset_uevent_ops const *uevent_ops ;
1053};
1054#line 39 "include/linux/moduleparam.h"
1055struct kernel_param;
1056#line 39
1057struct kernel_param;
1058#line 41 "include/linux/moduleparam.h"
1059struct kernel_param_ops {
1060 int (*set)(char const *val , struct kernel_param const *kp ) ;
1061 int (*get)(char *buffer , struct kernel_param const *kp ) ;
1062 void (*free)(void *arg ) ;
1063};
1064#line 50
1065struct kparam_string;
1066#line 50
1067struct kparam_array;
1068#line 50 "include/linux/moduleparam.h"
1069union __anonunion____missing_field_name_199 {
1070 void *arg ;
1071 struct kparam_string const *str ;
1072 struct kparam_array const *arr ;
1073};
1074#line 50 "include/linux/moduleparam.h"
1075struct kernel_param {
1076 char const *name ;
1077 struct kernel_param_ops const *ops ;
1078 u16 perm ;
1079 s16 level ;
1080 union __anonunion____missing_field_name_199 __annonCompField32 ;
1081};
1082#line 63 "include/linux/moduleparam.h"
1083struct kparam_string {
1084 unsigned int maxlen ;
1085 char *string ;
1086};
1087#line 69 "include/linux/moduleparam.h"
1088struct kparam_array {
1089 unsigned int max ;
1090 unsigned int elemsize ;
1091 unsigned int *num ;
1092 struct kernel_param_ops const *ops ;
1093 void *elem ;
1094};
1095#line 445
1096struct module;
1097#line 80 "include/linux/jump_label.h"
1098struct module;
1099#line 143 "include/linux/jump_label.h"
1100struct static_key {
1101 atomic_t enabled ;
1102};
1103#line 22 "include/linux/tracepoint.h"
1104struct module;
1105#line 23
1106struct tracepoint;
1107#line 23
1108struct tracepoint;
1109#line 25 "include/linux/tracepoint.h"
1110struct tracepoint_func {
1111 void *func ;
1112 void *data ;
1113};
1114#line 30 "include/linux/tracepoint.h"
1115struct tracepoint {
1116 char const *name ;
1117 struct static_key key ;
1118 void (*regfunc)(void) ;
1119 void (*unregfunc)(void) ;
1120 struct tracepoint_func *funcs ;
1121};
1122#line 19 "include/linux/export.h"
1123struct kernel_symbol {
1124 unsigned long value ;
1125 char const *name ;
1126};
1127#line 8 "include/asm-generic/module.h"
1128struct mod_arch_specific {
1129
1130};
1131#line 35 "include/linux/module.h"
1132struct module;
1133#line 37
1134struct module_param_attrs;
1135#line 37 "include/linux/module.h"
1136struct module_kobject {
1137 struct kobject kobj ;
1138 struct module *mod ;
1139 struct kobject *drivers_dir ;
1140 struct module_param_attrs *mp ;
1141};
1142#line 44 "include/linux/module.h"
1143struct module_attribute {
1144 struct attribute attr ;
1145 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1146 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1147 size_t count ) ;
1148 void (*setup)(struct module * , char const * ) ;
1149 int (*test)(struct module * ) ;
1150 void (*free)(struct module * ) ;
1151};
1152#line 71
1153struct exception_table_entry;
1154#line 71
1155struct exception_table_entry;
1156#line 182
1157struct notifier_block;
1158#line 199
1159enum module_state {
1160 MODULE_STATE_LIVE = 0,
1161 MODULE_STATE_COMING = 1,
1162 MODULE_STATE_GOING = 2
1163} ;
1164#line 215 "include/linux/module.h"
1165struct module_ref {
1166 unsigned long incs ;
1167 unsigned long decs ;
1168} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1169#line 220
1170struct module_sect_attrs;
1171#line 220
1172struct module_notes_attrs;
1173#line 220
1174struct ftrace_event_call;
1175#line 220 "include/linux/module.h"
1176struct module {
1177 enum module_state state ;
1178 struct list_head list ;
1179 char name[64UL - sizeof(unsigned long )] ;
1180 struct module_kobject mkobj ;
1181 struct module_attribute *modinfo_attrs ;
1182 char const *version ;
1183 char const *srcversion ;
1184 struct kobject *holders_dir ;
1185 struct kernel_symbol const *syms ;
1186 unsigned long const *crcs ;
1187 unsigned int num_syms ;
1188 struct kernel_param *kp ;
1189 unsigned int num_kp ;
1190 unsigned int num_gpl_syms ;
1191 struct kernel_symbol const *gpl_syms ;
1192 unsigned long const *gpl_crcs ;
1193 struct kernel_symbol const *unused_syms ;
1194 unsigned long const *unused_crcs ;
1195 unsigned int num_unused_syms ;
1196 unsigned int num_unused_gpl_syms ;
1197 struct kernel_symbol const *unused_gpl_syms ;
1198 unsigned long const *unused_gpl_crcs ;
1199 struct kernel_symbol const *gpl_future_syms ;
1200 unsigned long const *gpl_future_crcs ;
1201 unsigned int num_gpl_future_syms ;
1202 unsigned int num_exentries ;
1203 struct exception_table_entry *extable ;
1204 int (*init)(void) ;
1205 void *module_init ;
1206 void *module_core ;
1207 unsigned int init_size ;
1208 unsigned int core_size ;
1209 unsigned int init_text_size ;
1210 unsigned int core_text_size ;
1211 unsigned int init_ro_size ;
1212 unsigned int core_ro_size ;
1213 struct mod_arch_specific arch ;
1214 unsigned int taints ;
1215 unsigned int num_bugs ;
1216 struct list_head bug_list ;
1217 struct bug_entry *bug_table ;
1218 Elf64_Sym *symtab ;
1219 Elf64_Sym *core_symtab ;
1220 unsigned int num_symtab ;
1221 unsigned int core_num_syms ;
1222 char *strtab ;
1223 char *core_strtab ;
1224 struct module_sect_attrs *sect_attrs ;
1225 struct module_notes_attrs *notes_attrs ;
1226 char *args ;
1227 void *percpu ;
1228 unsigned int percpu_size ;
1229 unsigned int num_tracepoints ;
1230 struct tracepoint * const *tracepoints_ptrs ;
1231 unsigned int num_trace_bprintk_fmt ;
1232 char const **trace_bprintk_fmt_start ;
1233 struct ftrace_event_call **trace_events ;
1234 unsigned int num_trace_events ;
1235 struct list_head source_list ;
1236 struct list_head target_list ;
1237 struct task_struct *waiter ;
1238 void (*exit)(void) ;
1239 struct module_ref *refptr ;
1240 ctor_fn_t *ctors ;
1241 unsigned int num_ctors ;
1242};
1243#line 84 "include/linux/sem.h"
1244struct task_struct;
1245#line 101
1246struct sem_undo_list;
1247#line 101 "include/linux/sem.h"
1248struct sysv_sem {
1249 struct sem_undo_list *undo_list ;
1250};
1251#line 11 "include/linux/socket.h"
1252typedef unsigned short __kernel_sa_family_t;
1253#line 13
1254struct sockaddr;
1255#line 16 "include/linux/uio.h"
1256struct iovec {
1257 void *iov_base ;
1258 __kernel_size_t iov_len ;
1259};
1260#line 29 "include/linux/socket.h"
1261struct pid;
1262#line 30
1263struct cred;
1264#line 36
1265struct seq_file;
1266#line 40 "include/linux/socket.h"
1267typedef __kernel_sa_family_t sa_family_t;
1268#line 46 "include/linux/socket.h"
1269struct sockaddr {
1270 sa_family_t sa_family ;
1271 char sa_data[14] ;
1272};
1273#line 336
1274struct timespec;
1275#line 37 "include/linux/hdlc/ioctl.h"
1276struct __anonstruct_sync_serial_settings_201 {
1277 unsigned int clock_rate ;
1278 unsigned int clock_type ;
1279 unsigned short loopback ;
1280};
1281#line 37 "include/linux/hdlc/ioctl.h"
1282typedef struct __anonstruct_sync_serial_settings_201 sync_serial_settings;
1283#line 43 "include/linux/hdlc/ioctl.h"
1284struct __anonstruct_te1_settings_202 {
1285 unsigned int clock_rate ;
1286 unsigned int clock_type ;
1287 unsigned short loopback ;
1288 unsigned int slot_map ;
1289};
1290#line 43 "include/linux/hdlc/ioctl.h"
1291typedef struct __anonstruct_te1_settings_202 te1_settings;
1292#line 50 "include/linux/hdlc/ioctl.h"
1293struct __anonstruct_raw_hdlc_proto_203 {
1294 unsigned short encoding ;
1295 unsigned short parity ;
1296};
1297#line 50 "include/linux/hdlc/ioctl.h"
1298typedef struct __anonstruct_raw_hdlc_proto_203 raw_hdlc_proto;
1299#line 55 "include/linux/hdlc/ioctl.h"
1300struct __anonstruct_fr_proto_204 {
1301 unsigned int t391 ;
1302 unsigned int t392 ;
1303 unsigned int n391 ;
1304 unsigned int n392 ;
1305 unsigned int n393 ;
1306 unsigned short lmi ;
1307 unsigned short dce ;
1308};
1309#line 55 "include/linux/hdlc/ioctl.h"
1310typedef struct __anonstruct_fr_proto_204 fr_proto;
1311#line 65 "include/linux/hdlc/ioctl.h"
1312struct __anonstruct_fr_proto_pvc_205 {
1313 unsigned int dlci ;
1314};
1315#line 65 "include/linux/hdlc/ioctl.h"
1316typedef struct __anonstruct_fr_proto_pvc_205 fr_proto_pvc;
1317#line 69 "include/linux/hdlc/ioctl.h"
1318struct __anonstruct_fr_proto_pvc_info_206 {
1319 unsigned int dlci ;
1320 char master[16] ;
1321};
1322#line 69 "include/linux/hdlc/ioctl.h"
1323typedef struct __anonstruct_fr_proto_pvc_info_206 fr_proto_pvc_info;
1324#line 74 "include/linux/hdlc/ioctl.h"
1325struct __anonstruct_cisco_proto_207 {
1326 unsigned int interval ;
1327 unsigned int timeout ;
1328};
1329#line 74 "include/linux/hdlc/ioctl.h"
1330typedef struct __anonstruct_cisco_proto_207 cisco_proto;
1331#line 140 "include/linux/if.h"
1332struct ifmap {
1333 unsigned long mem_start ;
1334 unsigned long mem_end ;
1335 unsigned short base_addr ;
1336 unsigned char irq ;
1337 unsigned char dma ;
1338 unsigned char port ;
1339};
1340#line 150 "include/linux/if.h"
1341union __anonunion_ifs_ifsu_210 {
1342 raw_hdlc_proto *raw_hdlc ;
1343 cisco_proto *cisco ;
1344 fr_proto *fr ;
1345 fr_proto_pvc *fr_pvc ;
1346 fr_proto_pvc_info *fr_pvc_info ;
1347 sync_serial_settings *sync ;
1348 te1_settings *te1 ;
1349};
1350#line 150 "include/linux/if.h"
1351struct if_settings {
1352 unsigned int type ;
1353 unsigned int size ;
1354 union __anonunion_ifs_ifsu_210 ifs_ifsu ;
1355};
1356#line 174 "include/linux/if.h"
1357union __anonunion_ifr_ifrn_211 {
1358 char ifrn_name[16] ;
1359};
1360#line 174 "include/linux/if.h"
1361union __anonunion_ifr_ifru_212 {
1362 struct sockaddr ifru_addr ;
1363 struct sockaddr ifru_dstaddr ;
1364 struct sockaddr ifru_broadaddr ;
1365 struct sockaddr ifru_netmask ;
1366 struct sockaddr ifru_hwaddr ;
1367 short ifru_flags ;
1368 int ifru_ivalue ;
1369 int ifru_mtu ;
1370 struct ifmap ifru_map ;
1371 char ifru_slave[16] ;
1372 char ifru_newname[16] ;
1373 void *ifru_data ;
1374 struct if_settings ifru_settings ;
1375};
1376#line 174 "include/linux/if.h"
1377struct ifreq {
1378 union __anonunion_ifr_ifrn_211 ifr_ifrn ;
1379 union __anonunion_ifr_ifru_212 ifr_ifru ;
1380};
1381#line 15 "include/linux/blk_types.h"
1382struct page;
1383#line 16
1384struct block_device;
1385#line 16
1386struct block_device;
1387#line 33 "include/linux/list_bl.h"
1388struct hlist_bl_node;
1389#line 33 "include/linux/list_bl.h"
1390struct hlist_bl_head {
1391 struct hlist_bl_node *first ;
1392};
1393#line 37 "include/linux/list_bl.h"
1394struct hlist_bl_node {
1395 struct hlist_bl_node *next ;
1396 struct hlist_bl_node **pprev ;
1397};
1398#line 13 "include/linux/dcache.h"
1399struct nameidata;
1400#line 13
1401struct nameidata;
1402#line 14
1403struct path;
1404#line 14
1405struct path;
1406#line 15
1407struct vfsmount;
1408#line 15
1409struct vfsmount;
1410#line 35 "include/linux/dcache.h"
1411struct qstr {
1412 unsigned int hash ;
1413 unsigned int len ;
1414 unsigned char const *name ;
1415};
1416#line 88
1417struct inode;
1418#line 88
1419struct dentry_operations;
1420#line 88
1421struct super_block;
1422#line 88 "include/linux/dcache.h"
1423union __anonunion_d_u_214 {
1424 struct list_head d_child ;
1425 struct rcu_head d_rcu ;
1426};
1427#line 88 "include/linux/dcache.h"
1428struct dentry {
1429 unsigned int d_flags ;
1430 seqcount_t d_seq ;
1431 struct hlist_bl_node d_hash ;
1432 struct dentry *d_parent ;
1433 struct qstr d_name ;
1434 struct inode *d_inode ;
1435 unsigned char d_iname[32] ;
1436 unsigned int d_count ;
1437 spinlock_t d_lock ;
1438 struct dentry_operations const *d_op ;
1439 struct super_block *d_sb ;
1440 unsigned long d_time ;
1441 void *d_fsdata ;
1442 struct list_head d_lru ;
1443 union __anonunion_d_u_214 d_u ;
1444 struct list_head d_subdirs ;
1445 struct list_head d_alias ;
1446};
1447#line 131 "include/linux/dcache.h"
1448struct dentry_operations {
1449 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1450 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1451 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1452 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1453 int (*d_delete)(struct dentry const * ) ;
1454 void (*d_release)(struct dentry * ) ;
1455 void (*d_prune)(struct dentry * ) ;
1456 void (*d_iput)(struct dentry * , struct inode * ) ;
1457 char *(*d_dname)(struct dentry * , char * , int ) ;
1458 struct vfsmount *(*d_automount)(struct path * ) ;
1459 int (*d_manage)(struct dentry * , bool ) ;
1460} __attribute__((__aligned__((1) << (6) ))) ;
1461#line 4 "include/linux/path.h"
1462struct dentry;
1463#line 5
1464struct vfsmount;
1465#line 7 "include/linux/path.h"
1466struct path {
1467 struct vfsmount *mnt ;
1468 struct dentry *dentry ;
1469};
1470#line 64 "include/linux/radix-tree.h"
1471struct radix_tree_node;
1472#line 64 "include/linux/radix-tree.h"
1473struct radix_tree_root {
1474 unsigned int height ;
1475 gfp_t gfp_mask ;
1476 struct radix_tree_node *rnode ;
1477};
1478#line 14 "include/linux/prio_tree.h"
1479struct prio_tree_node;
1480#line 14 "include/linux/prio_tree.h"
1481struct raw_prio_tree_node {
1482 struct prio_tree_node *left ;
1483 struct prio_tree_node *right ;
1484 struct prio_tree_node *parent ;
1485};
1486#line 20 "include/linux/prio_tree.h"
1487struct prio_tree_node {
1488 struct prio_tree_node *left ;
1489 struct prio_tree_node *right ;
1490 struct prio_tree_node *parent ;
1491 unsigned long start ;
1492 unsigned long last ;
1493};
1494#line 28 "include/linux/prio_tree.h"
1495struct prio_tree_root {
1496 struct prio_tree_node *prio_tree_node ;
1497 unsigned short index_bits ;
1498 unsigned short raw ;
1499};
1500#line 6 "include/linux/pid.h"
1501enum pid_type {
1502 PIDTYPE_PID = 0,
1503 PIDTYPE_PGID = 1,
1504 PIDTYPE_SID = 2,
1505 PIDTYPE_MAX = 3
1506} ;
1507#line 50
1508struct pid_namespace;
1509#line 50 "include/linux/pid.h"
1510struct upid {
1511 int nr ;
1512 struct pid_namespace *ns ;
1513 struct hlist_node pid_chain ;
1514};
1515#line 57 "include/linux/pid.h"
1516struct pid {
1517 atomic_t count ;
1518 unsigned int level ;
1519 struct hlist_head tasks[3] ;
1520 struct rcu_head rcu ;
1521 struct upid numbers[1] ;
1522};
1523#line 69 "include/linux/pid.h"
1524struct pid_link {
1525 struct hlist_node node ;
1526 struct pid *pid ;
1527};
1528#line 100
1529struct pid_namespace;
1530#line 18 "include/linux/capability.h"
1531struct task_struct;
1532#line 94 "include/linux/capability.h"
1533struct kernel_cap_struct {
1534 __u32 cap[2] ;
1535};
1536#line 94 "include/linux/capability.h"
1537typedef struct kernel_cap_struct kernel_cap_t;
1538#line 377
1539struct dentry;
1540#line 378
1541struct user_namespace;
1542#line 378
1543struct user_namespace;
1544#line 16 "include/linux/fiemap.h"
1545struct fiemap_extent {
1546 __u64 fe_logical ;
1547 __u64 fe_physical ;
1548 __u64 fe_length ;
1549 __u64 fe_reserved64[2] ;
1550 __u32 fe_flags ;
1551 __u32 fe_reserved[3] ;
1552};
1553#line 8 "include/linux/shrinker.h"
1554struct shrink_control {
1555 gfp_t gfp_mask ;
1556 unsigned long nr_to_scan ;
1557};
1558#line 31 "include/linux/shrinker.h"
1559struct shrinker {
1560 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1561 int seeks ;
1562 long batch ;
1563 struct list_head list ;
1564 atomic_long_t nr_in_batch ;
1565};
1566#line 10 "include/linux/migrate_mode.h"
1567enum migrate_mode {
1568 MIGRATE_ASYNC = 0,
1569 MIGRATE_SYNC_LIGHT = 1,
1570 MIGRATE_SYNC = 2
1571} ;
1572#line 408 "include/linux/fs.h"
1573struct export_operations;
1574#line 408
1575struct export_operations;
1576#line 410
1577struct iovec;
1578#line 411
1579struct nameidata;
1580#line 412
1581struct kiocb;
1582#line 412
1583struct kiocb;
1584#line 413
1585struct kobject;
1586#line 414
1587struct pipe_inode_info;
1588#line 414
1589struct pipe_inode_info;
1590#line 415
1591struct poll_table_struct;
1592#line 415
1593struct poll_table_struct;
1594#line 416
1595struct kstatfs;
1596#line 416
1597struct kstatfs;
1598#line 417
1599struct vm_area_struct;
1600#line 418
1601struct vfsmount;
1602#line 419
1603struct cred;
1604#line 469 "include/linux/fs.h"
1605struct iattr {
1606 unsigned int ia_valid ;
1607 umode_t ia_mode ;
1608 uid_t ia_uid ;
1609 gid_t ia_gid ;
1610 loff_t ia_size ;
1611 struct timespec ia_atime ;
1612 struct timespec ia_mtime ;
1613 struct timespec ia_ctime ;
1614 struct file *ia_file ;
1615};
1616#line 129 "include/linux/quota.h"
1617struct if_dqinfo {
1618 __u64 dqi_bgrace ;
1619 __u64 dqi_igrace ;
1620 __u32 dqi_flags ;
1621 __u32 dqi_valid ;
1622};
1623#line 18 "include/linux/percpu_counter.h"
1624struct percpu_counter {
1625 raw_spinlock_t lock ;
1626 s64 count ;
1627 struct list_head list ;
1628 s32 *counters ;
1629};
1630#line 50 "include/linux/dqblk_xfs.h"
1631struct fs_disk_quota {
1632 __s8 d_version ;
1633 __s8 d_flags ;
1634 __u16 d_fieldmask ;
1635 __u32 d_id ;
1636 __u64 d_blk_hardlimit ;
1637 __u64 d_blk_softlimit ;
1638 __u64 d_ino_hardlimit ;
1639 __u64 d_ino_softlimit ;
1640 __u64 d_bcount ;
1641 __u64 d_icount ;
1642 __s32 d_itimer ;
1643 __s32 d_btimer ;
1644 __u16 d_iwarns ;
1645 __u16 d_bwarns ;
1646 __s32 d_padding2 ;
1647 __u64 d_rtb_hardlimit ;
1648 __u64 d_rtb_softlimit ;
1649 __u64 d_rtbcount ;
1650 __s32 d_rtbtimer ;
1651 __u16 d_rtbwarns ;
1652 __s16 d_padding3 ;
1653 char d_padding4[8] ;
1654};
1655#line 146 "include/linux/dqblk_xfs.h"
1656struct fs_qfilestat {
1657 __u64 qfs_ino ;
1658 __u64 qfs_nblks ;
1659 __u32 qfs_nextents ;
1660};
1661#line 146 "include/linux/dqblk_xfs.h"
1662typedef struct fs_qfilestat fs_qfilestat_t;
1663#line 152 "include/linux/dqblk_xfs.h"
1664struct fs_quota_stat {
1665 __s8 qs_version ;
1666 __u16 qs_flags ;
1667 __s8 qs_pad ;
1668 fs_qfilestat_t qs_uquota ;
1669 fs_qfilestat_t qs_gquota ;
1670 __u32 qs_incoredqs ;
1671 __s32 qs_btimelimit ;
1672 __s32 qs_itimelimit ;
1673 __s32 qs_rtbtimelimit ;
1674 __u16 qs_bwarnlimit ;
1675 __u16 qs_iwarnlimit ;
1676};
1677#line 17 "include/linux/dqblk_qtree.h"
1678struct dquot;
1679#line 17
1680struct dquot;
1681#line 185 "include/linux/quota.h"
1682typedef __kernel_uid32_t qid_t;
1683#line 186 "include/linux/quota.h"
1684typedef long long qsize_t;
1685#line 200 "include/linux/quota.h"
1686struct mem_dqblk {
1687 qsize_t dqb_bhardlimit ;
1688 qsize_t dqb_bsoftlimit ;
1689 qsize_t dqb_curspace ;
1690 qsize_t dqb_rsvspace ;
1691 qsize_t dqb_ihardlimit ;
1692 qsize_t dqb_isoftlimit ;
1693 qsize_t dqb_curinodes ;
1694 time_t dqb_btime ;
1695 time_t dqb_itime ;
1696};
1697#line 215
1698struct quota_format_type;
1699#line 215
1700struct quota_format_type;
1701#line 217 "include/linux/quota.h"
1702struct mem_dqinfo {
1703 struct quota_format_type *dqi_format ;
1704 int dqi_fmt_id ;
1705 struct list_head dqi_dirty_list ;
1706 unsigned long dqi_flags ;
1707 unsigned int dqi_bgrace ;
1708 unsigned int dqi_igrace ;
1709 qsize_t dqi_maxblimit ;
1710 qsize_t dqi_maxilimit ;
1711 void *dqi_priv ;
1712};
1713#line 230
1714struct super_block;
1715#line 288 "include/linux/quota.h"
1716struct dquot {
1717 struct hlist_node dq_hash ;
1718 struct list_head dq_inuse ;
1719 struct list_head dq_free ;
1720 struct list_head dq_dirty ;
1721 struct mutex dq_lock ;
1722 atomic_t dq_count ;
1723 wait_queue_head_t dq_wait_unused ;
1724 struct super_block *dq_sb ;
1725 unsigned int dq_id ;
1726 loff_t dq_off ;
1727 unsigned long dq_flags ;
1728 short dq_type ;
1729 struct mem_dqblk dq_dqb ;
1730};
1731#line 305 "include/linux/quota.h"
1732struct quota_format_ops {
1733 int (*check_quota_file)(struct super_block *sb , int type ) ;
1734 int (*read_file_info)(struct super_block *sb , int type ) ;
1735 int (*write_file_info)(struct super_block *sb , int type ) ;
1736 int (*free_file_info)(struct super_block *sb , int type ) ;
1737 int (*read_dqblk)(struct dquot *dquot ) ;
1738 int (*commit_dqblk)(struct dquot *dquot ) ;
1739 int (*release_dqblk)(struct dquot *dquot ) ;
1740};
1741#line 316 "include/linux/quota.h"
1742struct dquot_operations {
1743 int (*write_dquot)(struct dquot * ) ;
1744 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1745 void (*destroy_dquot)(struct dquot * ) ;
1746 int (*acquire_dquot)(struct dquot * ) ;
1747 int (*release_dquot)(struct dquot * ) ;
1748 int (*mark_dirty)(struct dquot * ) ;
1749 int (*write_info)(struct super_block * , int ) ;
1750 qsize_t *(*get_reserved_space)(struct inode * ) ;
1751};
1752#line 329
1753struct path;
1754#line 332 "include/linux/quota.h"
1755struct quotactl_ops {
1756 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1757 int (*quota_on_meta)(struct super_block * , int , int ) ;
1758 int (*quota_off)(struct super_block * , int ) ;
1759 int (*quota_sync)(struct super_block * , int , int ) ;
1760 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1761 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1762 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1763 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1764 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1765 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1766};
1767#line 345 "include/linux/quota.h"
1768struct quota_format_type {
1769 int qf_fmt_id ;
1770 struct quota_format_ops const *qf_ops ;
1771 struct module *qf_owner ;
1772 struct quota_format_type *qf_next ;
1773};
1774#line 399 "include/linux/quota.h"
1775struct quota_info {
1776 unsigned int flags ;
1777 struct mutex dqio_mutex ;
1778 struct mutex dqonoff_mutex ;
1779 struct rw_semaphore dqptr_sem ;
1780 struct inode *files[2] ;
1781 struct mem_dqinfo info[2] ;
1782 struct quota_format_ops const *ops[2] ;
1783};
1784#line 532 "include/linux/fs.h"
1785struct page;
1786#line 533
1787struct address_space;
1788#line 533
1789struct address_space;
1790#line 534
1791struct writeback_control;
1792#line 534
1793struct writeback_control;
1794#line 577 "include/linux/fs.h"
1795union __anonunion_arg_222 {
1796 char *buf ;
1797 void *data ;
1798};
1799#line 577 "include/linux/fs.h"
1800struct __anonstruct_read_descriptor_t_221 {
1801 size_t written ;
1802 size_t count ;
1803 union __anonunion_arg_222 arg ;
1804 int error ;
1805};
1806#line 577 "include/linux/fs.h"
1807typedef struct __anonstruct_read_descriptor_t_221 read_descriptor_t;
1808#line 590 "include/linux/fs.h"
1809struct address_space_operations {
1810 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1811 int (*readpage)(struct file * , struct page * ) ;
1812 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1813 int (*set_page_dirty)(struct page *page ) ;
1814 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1815 unsigned int nr_pages ) ;
1816 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1817 unsigned int len , unsigned int flags , struct page **pagep ,
1818 void **fsdata ) ;
1819 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1820 unsigned int copied , struct page *page , void *fsdata ) ;
1821 sector_t (*bmap)(struct address_space * , sector_t ) ;
1822 void (*invalidatepage)(struct page * , unsigned long ) ;
1823 int (*releasepage)(struct page * , gfp_t ) ;
1824 void (*freepage)(struct page * ) ;
1825 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1826 unsigned long nr_segs ) ;
1827 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1828 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1829 int (*launder_page)(struct page * ) ;
1830 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1831 int (*error_remove_page)(struct address_space * , struct page * ) ;
1832};
1833#line 645
1834struct backing_dev_info;
1835#line 645
1836struct backing_dev_info;
1837#line 646 "include/linux/fs.h"
1838struct address_space {
1839 struct inode *host ;
1840 struct radix_tree_root page_tree ;
1841 spinlock_t tree_lock ;
1842 unsigned int i_mmap_writable ;
1843 struct prio_tree_root i_mmap ;
1844 struct list_head i_mmap_nonlinear ;
1845 struct mutex i_mmap_mutex ;
1846 unsigned long nrpages ;
1847 unsigned long writeback_index ;
1848 struct address_space_operations const *a_ops ;
1849 unsigned long flags ;
1850 struct backing_dev_info *backing_dev_info ;
1851 spinlock_t private_lock ;
1852 struct list_head private_list ;
1853 struct address_space *assoc_mapping ;
1854} __attribute__((__aligned__(sizeof(long )))) ;
1855#line 669
1856struct request_queue;
1857#line 669
1858struct request_queue;
1859#line 671
1860struct hd_struct;
1861#line 671
1862struct gendisk;
1863#line 671 "include/linux/fs.h"
1864struct block_device {
1865 dev_t bd_dev ;
1866 int bd_openers ;
1867 struct inode *bd_inode ;
1868 struct super_block *bd_super ;
1869 struct mutex bd_mutex ;
1870 struct list_head bd_inodes ;
1871 void *bd_claiming ;
1872 void *bd_holder ;
1873 int bd_holders ;
1874 bool bd_write_holder ;
1875 struct list_head bd_holder_disks ;
1876 struct block_device *bd_contains ;
1877 unsigned int bd_block_size ;
1878 struct hd_struct *bd_part ;
1879 unsigned int bd_part_count ;
1880 int bd_invalidated ;
1881 struct gendisk *bd_disk ;
1882 struct request_queue *bd_queue ;
1883 struct list_head bd_list ;
1884 unsigned long bd_private ;
1885 int bd_fsfreeze_count ;
1886 struct mutex bd_fsfreeze_mutex ;
1887};
1888#line 749
1889struct posix_acl;
1890#line 749
1891struct posix_acl;
1892#line 761
1893struct inode_operations;
1894#line 761 "include/linux/fs.h"
1895union __anonunion____missing_field_name_223 {
1896 unsigned int const i_nlink ;
1897 unsigned int __i_nlink ;
1898};
1899#line 761 "include/linux/fs.h"
1900union __anonunion____missing_field_name_224 {
1901 struct list_head i_dentry ;
1902 struct rcu_head i_rcu ;
1903};
1904#line 761
1905struct file_operations;
1906#line 761
1907struct file_lock;
1908#line 761
1909struct cdev;
1910#line 761 "include/linux/fs.h"
1911union __anonunion____missing_field_name_225 {
1912 struct pipe_inode_info *i_pipe ;
1913 struct block_device *i_bdev ;
1914 struct cdev *i_cdev ;
1915};
1916#line 761 "include/linux/fs.h"
1917struct inode {
1918 umode_t i_mode ;
1919 unsigned short i_opflags ;
1920 uid_t i_uid ;
1921 gid_t i_gid ;
1922 unsigned int i_flags ;
1923 struct posix_acl *i_acl ;
1924 struct posix_acl *i_default_acl ;
1925 struct inode_operations const *i_op ;
1926 struct super_block *i_sb ;
1927 struct address_space *i_mapping ;
1928 void *i_security ;
1929 unsigned long i_ino ;
1930 union __anonunion____missing_field_name_223 __annonCompField33 ;
1931 dev_t i_rdev ;
1932 struct timespec i_atime ;
1933 struct timespec i_mtime ;
1934 struct timespec i_ctime ;
1935 spinlock_t i_lock ;
1936 unsigned short i_bytes ;
1937 blkcnt_t i_blocks ;
1938 loff_t i_size ;
1939 unsigned long i_state ;
1940 struct mutex i_mutex ;
1941 unsigned long dirtied_when ;
1942 struct hlist_node i_hash ;
1943 struct list_head i_wb_list ;
1944 struct list_head i_lru ;
1945 struct list_head i_sb_list ;
1946 union __anonunion____missing_field_name_224 __annonCompField34 ;
1947 atomic_t i_count ;
1948 unsigned int i_blkbits ;
1949 u64 i_version ;
1950 atomic_t i_dio_count ;
1951 atomic_t i_writecount ;
1952 struct file_operations const *i_fop ;
1953 struct file_lock *i_flock ;
1954 struct address_space i_data ;
1955 struct dquot *i_dquot[2] ;
1956 struct list_head i_devices ;
1957 union __anonunion____missing_field_name_225 __annonCompField35 ;
1958 __u32 i_generation ;
1959 __u32 i_fsnotify_mask ;
1960 struct hlist_head i_fsnotify_marks ;
1961 atomic_t i_readcount ;
1962 void *i_private ;
1963};
1964#line 942 "include/linux/fs.h"
1965struct fown_struct {
1966 rwlock_t lock ;
1967 struct pid *pid ;
1968 enum pid_type pid_type ;
1969 uid_t uid ;
1970 uid_t euid ;
1971 int signum ;
1972};
1973#line 953 "include/linux/fs.h"
1974struct file_ra_state {
1975 unsigned long start ;
1976 unsigned int size ;
1977 unsigned int async_size ;
1978 unsigned int ra_pages ;
1979 unsigned int mmap_miss ;
1980 loff_t prev_pos ;
1981};
1982#line 976 "include/linux/fs.h"
1983union __anonunion_f_u_226 {
1984 struct list_head fu_list ;
1985 struct rcu_head fu_rcuhead ;
1986};
1987#line 976 "include/linux/fs.h"
1988struct file {
1989 union __anonunion_f_u_226 f_u ;
1990 struct path f_path ;
1991 struct file_operations const *f_op ;
1992 spinlock_t f_lock ;
1993 int f_sb_list_cpu ;
1994 atomic_long_t f_count ;
1995 unsigned int f_flags ;
1996 fmode_t f_mode ;
1997 loff_t f_pos ;
1998 struct fown_struct f_owner ;
1999 struct cred const *f_cred ;
2000 struct file_ra_state f_ra ;
2001 u64 f_version ;
2002 void *f_security ;
2003 void *private_data ;
2004 struct list_head f_ep_links ;
2005 struct list_head f_tfile_llink ;
2006 struct address_space *f_mapping ;
2007 unsigned long f_mnt_write_state ;
2008};
2009#line 1111
2010struct files_struct;
2011#line 1111 "include/linux/fs.h"
2012typedef struct files_struct *fl_owner_t;
2013#line 1113 "include/linux/fs.h"
2014struct file_lock_operations {
2015 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2016 void (*fl_release_private)(struct file_lock * ) ;
2017};
2018#line 1118 "include/linux/fs.h"
2019struct lock_manager_operations {
2020 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2021 void (*lm_notify)(struct file_lock * ) ;
2022 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2023 void (*lm_release_private)(struct file_lock * ) ;
2024 void (*lm_break)(struct file_lock * ) ;
2025 int (*lm_change)(struct file_lock ** , int ) ;
2026};
2027#line 4 "include/linux/nfs_fs_i.h"
2028struct nlm_lockowner;
2029#line 4
2030struct nlm_lockowner;
2031#line 9 "include/linux/nfs_fs_i.h"
2032struct nfs_lock_info {
2033 u32 state ;
2034 struct nlm_lockowner *owner ;
2035 struct list_head list ;
2036};
2037#line 15
2038struct nfs4_lock_state;
2039#line 15
2040struct nfs4_lock_state;
2041#line 16 "include/linux/nfs_fs_i.h"
2042struct nfs4_lock_info {
2043 struct nfs4_lock_state *owner ;
2044};
2045#line 1138 "include/linux/fs.h"
2046struct fasync_struct;
2047#line 1138 "include/linux/fs.h"
2048struct __anonstruct_afs_228 {
2049 struct list_head link ;
2050 int state ;
2051};
2052#line 1138 "include/linux/fs.h"
2053union __anonunion_fl_u_227 {
2054 struct nfs_lock_info nfs_fl ;
2055 struct nfs4_lock_info nfs4_fl ;
2056 struct __anonstruct_afs_228 afs ;
2057};
2058#line 1138 "include/linux/fs.h"
2059struct file_lock {
2060 struct file_lock *fl_next ;
2061 struct list_head fl_link ;
2062 struct list_head fl_block ;
2063 fl_owner_t fl_owner ;
2064 unsigned int fl_flags ;
2065 unsigned char fl_type ;
2066 unsigned int fl_pid ;
2067 struct pid *fl_nspid ;
2068 wait_queue_head_t fl_wait ;
2069 struct file *fl_file ;
2070 loff_t fl_start ;
2071 loff_t fl_end ;
2072 struct fasync_struct *fl_fasync ;
2073 unsigned long fl_break_time ;
2074 unsigned long fl_downgrade_time ;
2075 struct file_lock_operations const *fl_ops ;
2076 struct lock_manager_operations const *fl_lmops ;
2077 union __anonunion_fl_u_227 fl_u ;
2078};
2079#line 1378 "include/linux/fs.h"
2080struct fasync_struct {
2081 spinlock_t fa_lock ;
2082 int magic ;
2083 int fa_fd ;
2084 struct fasync_struct *fa_next ;
2085 struct file *fa_file ;
2086 struct rcu_head fa_rcu ;
2087};
2088#line 1418
2089struct file_system_type;
2090#line 1418
2091struct super_operations;
2092#line 1418
2093struct xattr_handler;
2094#line 1418
2095struct mtd_info;
2096#line 1418 "include/linux/fs.h"
2097struct super_block {
2098 struct list_head s_list ;
2099 dev_t s_dev ;
2100 unsigned char s_dirt ;
2101 unsigned char s_blocksize_bits ;
2102 unsigned long s_blocksize ;
2103 loff_t s_maxbytes ;
2104 struct file_system_type *s_type ;
2105 struct super_operations const *s_op ;
2106 struct dquot_operations const *dq_op ;
2107 struct quotactl_ops const *s_qcop ;
2108 struct export_operations const *s_export_op ;
2109 unsigned long s_flags ;
2110 unsigned long s_magic ;
2111 struct dentry *s_root ;
2112 struct rw_semaphore s_umount ;
2113 struct mutex s_lock ;
2114 int s_count ;
2115 atomic_t s_active ;
2116 void *s_security ;
2117 struct xattr_handler const **s_xattr ;
2118 struct list_head s_inodes ;
2119 struct hlist_bl_head s_anon ;
2120 struct list_head *s_files ;
2121 struct list_head s_mounts ;
2122 struct list_head s_dentry_lru ;
2123 int s_nr_dentry_unused ;
2124 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
2125 struct list_head s_inode_lru ;
2126 int s_nr_inodes_unused ;
2127 struct block_device *s_bdev ;
2128 struct backing_dev_info *s_bdi ;
2129 struct mtd_info *s_mtd ;
2130 struct hlist_node s_instances ;
2131 struct quota_info s_dquot ;
2132 int s_frozen ;
2133 wait_queue_head_t s_wait_unfrozen ;
2134 char s_id[32] ;
2135 u8 s_uuid[16] ;
2136 void *s_fs_info ;
2137 unsigned int s_max_links ;
2138 fmode_t s_mode ;
2139 u32 s_time_gran ;
2140 struct mutex s_vfs_rename_mutex ;
2141 char *s_subtype ;
2142 char *s_options ;
2143 struct dentry_operations const *s_d_op ;
2144 int cleancache_poolid ;
2145 struct shrinker s_shrink ;
2146 atomic_long_t s_remove_count ;
2147 int s_readonly_remount ;
2148};
2149#line 1567 "include/linux/fs.h"
2150struct fiemap_extent_info {
2151 unsigned int fi_flags ;
2152 unsigned int fi_extents_mapped ;
2153 unsigned int fi_extents_max ;
2154 struct fiemap_extent *fi_extents_start ;
2155};
2156#line 1609 "include/linux/fs.h"
2157struct file_operations {
2158 struct module *owner ;
2159 loff_t (*llseek)(struct file * , loff_t , int ) ;
2160 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2161 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2162 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2163 loff_t ) ;
2164 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2165 loff_t ) ;
2166 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2167 loff_t , u64 , unsigned int ) ) ;
2168 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2169 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2170 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2171 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2172 int (*open)(struct inode * , struct file * ) ;
2173 int (*flush)(struct file * , fl_owner_t id ) ;
2174 int (*release)(struct inode * , struct file * ) ;
2175 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
2176 int (*aio_fsync)(struct kiocb * , int datasync ) ;
2177 int (*fasync)(int , struct file * , int ) ;
2178 int (*lock)(struct file * , int , struct file_lock * ) ;
2179 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2180 int ) ;
2181 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2182 unsigned long , unsigned long ) ;
2183 int (*check_flags)(int ) ;
2184 int (*flock)(struct file * , int , struct file_lock * ) ;
2185 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2186 unsigned int ) ;
2187 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2188 unsigned int ) ;
2189 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2190 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
2191};
2192#line 1639 "include/linux/fs.h"
2193struct inode_operations {
2194 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2195 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2196 int (*permission)(struct inode * , int ) ;
2197 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2198 int (*readlink)(struct dentry * , char * , int ) ;
2199 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2200 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2201 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2202 int (*unlink)(struct inode * , struct dentry * ) ;
2203 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2204 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2205 int (*rmdir)(struct inode * , struct dentry * ) ;
2206 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2207 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2208 void (*truncate)(struct inode * ) ;
2209 int (*setattr)(struct dentry * , struct iattr * ) ;
2210 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2211 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2212 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2213 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2214 int (*removexattr)(struct dentry * , char const * ) ;
2215 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2216 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2217} __attribute__((__aligned__((1) << (6) ))) ;
2218#line 1669
2219struct seq_file;
2220#line 1684 "include/linux/fs.h"
2221struct super_operations {
2222 struct inode *(*alloc_inode)(struct super_block *sb ) ;
2223 void (*destroy_inode)(struct inode * ) ;
2224 void (*dirty_inode)(struct inode * , int flags ) ;
2225 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2226 int (*drop_inode)(struct inode * ) ;
2227 void (*evict_inode)(struct inode * ) ;
2228 void (*put_super)(struct super_block * ) ;
2229 void (*write_super)(struct super_block * ) ;
2230 int (*sync_fs)(struct super_block *sb , int wait ) ;
2231 int (*freeze_fs)(struct super_block * ) ;
2232 int (*unfreeze_fs)(struct super_block * ) ;
2233 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2234 int (*remount_fs)(struct super_block * , int * , char * ) ;
2235 void (*umount_begin)(struct super_block * ) ;
2236 int (*show_options)(struct seq_file * , struct dentry * ) ;
2237 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2238 int (*show_path)(struct seq_file * , struct dentry * ) ;
2239 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2240 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2241 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2242 loff_t ) ;
2243 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2244 int (*nr_cached_objects)(struct super_block * ) ;
2245 void (*free_cached_objects)(struct super_block * , int ) ;
2246};
2247#line 1835 "include/linux/fs.h"
2248struct file_system_type {
2249 char const *name ;
2250 int fs_flags ;
2251 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2252 void (*kill_sb)(struct super_block * ) ;
2253 struct module *owner ;
2254 struct file_system_type *next ;
2255 struct hlist_head fs_supers ;
2256 struct lock_class_key s_lock_key ;
2257 struct lock_class_key s_umount_key ;
2258 struct lock_class_key s_vfs_rename_key ;
2259 struct lock_class_key i_lock_key ;
2260 struct lock_class_key i_mutex_key ;
2261 struct lock_class_key i_mutex_dir_key ;
2262};
2263#line 2648
2264struct ctl_table;
2265#line 58 "include/linux/aio_abi.h"
2266struct io_event {
2267 __u64 data ;
2268 __u64 obj ;
2269 __s64 res ;
2270 __s64 res2 ;
2271};
2272#line 23 "include/linux/mm_types.h"
2273struct address_space;
2274#line 40 "include/linux/mm_types.h"
2275union __anonunion____missing_field_name_233 {
2276 unsigned long index ;
2277 void *freelist ;
2278};
2279#line 40 "include/linux/mm_types.h"
2280struct __anonstruct____missing_field_name_237 {
2281 unsigned int inuse : 16 ;
2282 unsigned int objects : 15 ;
2283 unsigned int frozen : 1 ;
2284};
2285#line 40 "include/linux/mm_types.h"
2286union __anonunion____missing_field_name_236 {
2287 atomic_t _mapcount ;
2288 struct __anonstruct____missing_field_name_237 __annonCompField37 ;
2289};
2290#line 40 "include/linux/mm_types.h"
2291struct __anonstruct____missing_field_name_235 {
2292 union __anonunion____missing_field_name_236 __annonCompField38 ;
2293 atomic_t _count ;
2294};
2295#line 40 "include/linux/mm_types.h"
2296union __anonunion____missing_field_name_234 {
2297 unsigned long counters ;
2298 struct __anonstruct____missing_field_name_235 __annonCompField39 ;
2299};
2300#line 40 "include/linux/mm_types.h"
2301struct __anonstruct____missing_field_name_232 {
2302 union __anonunion____missing_field_name_233 __annonCompField36 ;
2303 union __anonunion____missing_field_name_234 __annonCompField40 ;
2304};
2305#line 40 "include/linux/mm_types.h"
2306struct __anonstruct____missing_field_name_239 {
2307 struct page *next ;
2308 int pages ;
2309 int pobjects ;
2310};
2311#line 40 "include/linux/mm_types.h"
2312union __anonunion____missing_field_name_238 {
2313 struct list_head lru ;
2314 struct __anonstruct____missing_field_name_239 __annonCompField42 ;
2315};
2316#line 40 "include/linux/mm_types.h"
2317union __anonunion____missing_field_name_240 {
2318 unsigned long private ;
2319 struct kmem_cache *slab ;
2320 struct page *first_page ;
2321};
2322#line 40 "include/linux/mm_types.h"
2323struct page {
2324 unsigned long flags ;
2325 struct address_space *mapping ;
2326 struct __anonstruct____missing_field_name_232 __annonCompField41 ;
2327 union __anonunion____missing_field_name_238 __annonCompField43 ;
2328 union __anonunion____missing_field_name_240 __annonCompField44 ;
2329 unsigned long debug_flags ;
2330} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2331#line 200 "include/linux/mm_types.h"
2332struct __anonstruct_vm_set_242 {
2333 struct list_head list ;
2334 void *parent ;
2335 struct vm_area_struct *head ;
2336};
2337#line 200 "include/linux/mm_types.h"
2338union __anonunion_shared_241 {
2339 struct __anonstruct_vm_set_242 vm_set ;
2340 struct raw_prio_tree_node prio_tree_node ;
2341};
2342#line 200
2343struct anon_vma;
2344#line 200
2345struct vm_operations_struct;
2346#line 200
2347struct mempolicy;
2348#line 200 "include/linux/mm_types.h"
2349struct vm_area_struct {
2350 struct mm_struct *vm_mm ;
2351 unsigned long vm_start ;
2352 unsigned long vm_end ;
2353 struct vm_area_struct *vm_next ;
2354 struct vm_area_struct *vm_prev ;
2355 pgprot_t vm_page_prot ;
2356 unsigned long vm_flags ;
2357 struct rb_node vm_rb ;
2358 union __anonunion_shared_241 shared ;
2359 struct list_head anon_vma_chain ;
2360 struct anon_vma *anon_vma ;
2361 struct vm_operations_struct const *vm_ops ;
2362 unsigned long vm_pgoff ;
2363 struct file *vm_file ;
2364 void *vm_private_data ;
2365 struct mempolicy *vm_policy ;
2366};
2367#line 257 "include/linux/mm_types.h"
2368struct core_thread {
2369 struct task_struct *task ;
2370 struct core_thread *next ;
2371};
2372#line 262 "include/linux/mm_types.h"
2373struct core_state {
2374 atomic_t nr_threads ;
2375 struct core_thread dumper ;
2376 struct completion startup ;
2377};
2378#line 284 "include/linux/mm_types.h"
2379struct mm_rss_stat {
2380 atomic_long_t count[3] ;
2381};
2382#line 288
2383struct linux_binfmt;
2384#line 288
2385struct mmu_notifier_mm;
2386#line 288 "include/linux/mm_types.h"
2387struct mm_struct {
2388 struct vm_area_struct *mmap ;
2389 struct rb_root mm_rb ;
2390 struct vm_area_struct *mmap_cache ;
2391 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2392 unsigned long pgoff , unsigned long flags ) ;
2393 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2394 unsigned long mmap_base ;
2395 unsigned long task_size ;
2396 unsigned long cached_hole_size ;
2397 unsigned long free_area_cache ;
2398 pgd_t *pgd ;
2399 atomic_t mm_users ;
2400 atomic_t mm_count ;
2401 int map_count ;
2402 spinlock_t page_table_lock ;
2403 struct rw_semaphore mmap_sem ;
2404 struct list_head mmlist ;
2405 unsigned long hiwater_rss ;
2406 unsigned long hiwater_vm ;
2407 unsigned long total_vm ;
2408 unsigned long locked_vm ;
2409 unsigned long pinned_vm ;
2410 unsigned long shared_vm ;
2411 unsigned long exec_vm ;
2412 unsigned long stack_vm ;
2413 unsigned long reserved_vm ;
2414 unsigned long def_flags ;
2415 unsigned long nr_ptes ;
2416 unsigned long start_code ;
2417 unsigned long end_code ;
2418 unsigned long start_data ;
2419 unsigned long end_data ;
2420 unsigned long start_brk ;
2421 unsigned long brk ;
2422 unsigned long start_stack ;
2423 unsigned long arg_start ;
2424 unsigned long arg_end ;
2425 unsigned long env_start ;
2426 unsigned long env_end ;
2427 unsigned long saved_auxv[44] ;
2428 struct mm_rss_stat rss_stat ;
2429 struct linux_binfmt *binfmt ;
2430 cpumask_var_t cpu_vm_mask_var ;
2431 mm_context_t context ;
2432 unsigned int faultstamp ;
2433 unsigned int token_priority ;
2434 unsigned int last_interval ;
2435 unsigned long flags ;
2436 struct core_state *core_state ;
2437 spinlock_t ioctx_lock ;
2438 struct hlist_head ioctx_list ;
2439 struct task_struct *owner ;
2440 struct file *exe_file ;
2441 unsigned long num_exe_file_vmas ;
2442 struct mmu_notifier_mm *mmu_notifier_mm ;
2443 pgtable_t pmd_huge_pte ;
2444 struct cpumask cpumask_allocation ;
2445};
2446#line 7 "include/asm-generic/cputime.h"
2447typedef unsigned long cputime_t;
2448#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2449struct siginfo;
2450#line 10
2451struct siginfo;
2452#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2453struct __anonstruct_sigset_t_244 {
2454 unsigned long sig[1] ;
2455};
2456#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2457typedef struct __anonstruct_sigset_t_244 sigset_t;
2458#line 17 "include/asm-generic/signal-defs.h"
2459typedef void __signalfn_t(int );
2460#line 18 "include/asm-generic/signal-defs.h"
2461typedef __signalfn_t *__sighandler_t;
2462#line 20 "include/asm-generic/signal-defs.h"
2463typedef void __restorefn_t(void);
2464#line 21 "include/asm-generic/signal-defs.h"
2465typedef __restorefn_t *__sigrestore_t;
2466#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2467struct sigaction {
2468 __sighandler_t sa_handler ;
2469 unsigned long sa_flags ;
2470 __sigrestore_t sa_restorer ;
2471 sigset_t sa_mask ;
2472};
2473#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2474struct k_sigaction {
2475 struct sigaction sa ;
2476};
2477#line 7 "include/asm-generic/siginfo.h"
2478union sigval {
2479 int sival_int ;
2480 void *sival_ptr ;
2481};
2482#line 7 "include/asm-generic/siginfo.h"
2483typedef union sigval sigval_t;
2484#line 48 "include/asm-generic/siginfo.h"
2485struct __anonstruct__kill_246 {
2486 __kernel_pid_t _pid ;
2487 __kernel_uid32_t _uid ;
2488};
2489#line 48 "include/asm-generic/siginfo.h"
2490struct __anonstruct__timer_247 {
2491 __kernel_timer_t _tid ;
2492 int _overrun ;
2493 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2494 sigval_t _sigval ;
2495 int _sys_private ;
2496};
2497#line 48 "include/asm-generic/siginfo.h"
2498struct __anonstruct__rt_248 {
2499 __kernel_pid_t _pid ;
2500 __kernel_uid32_t _uid ;
2501 sigval_t _sigval ;
2502};
2503#line 48 "include/asm-generic/siginfo.h"
2504struct __anonstruct__sigchld_249 {
2505 __kernel_pid_t _pid ;
2506 __kernel_uid32_t _uid ;
2507 int _status ;
2508 __kernel_clock_t _utime ;
2509 __kernel_clock_t _stime ;
2510};
2511#line 48 "include/asm-generic/siginfo.h"
2512struct __anonstruct__sigfault_250 {
2513 void *_addr ;
2514 short _addr_lsb ;
2515};
2516#line 48 "include/asm-generic/siginfo.h"
2517struct __anonstruct__sigpoll_251 {
2518 long _band ;
2519 int _fd ;
2520};
2521#line 48 "include/asm-generic/siginfo.h"
2522union __anonunion__sifields_245 {
2523 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2524 struct __anonstruct__kill_246 _kill ;
2525 struct __anonstruct__timer_247 _timer ;
2526 struct __anonstruct__rt_248 _rt ;
2527 struct __anonstruct__sigchld_249 _sigchld ;
2528 struct __anonstruct__sigfault_250 _sigfault ;
2529 struct __anonstruct__sigpoll_251 _sigpoll ;
2530};
2531#line 48 "include/asm-generic/siginfo.h"
2532struct siginfo {
2533 int si_signo ;
2534 int si_errno ;
2535 int si_code ;
2536 union __anonunion__sifields_245 _sifields ;
2537};
2538#line 48 "include/asm-generic/siginfo.h"
2539typedef struct siginfo siginfo_t;
2540#line 288
2541struct siginfo;
2542#line 10 "include/linux/signal.h"
2543struct task_struct;
2544#line 18
2545struct user_struct;
2546#line 28 "include/linux/signal.h"
2547struct sigpending {
2548 struct list_head list ;
2549 sigset_t signal ;
2550};
2551#line 239
2552struct timespec;
2553#line 240
2554struct pt_regs;
2555#line 10 "include/linux/seccomp.h"
2556struct __anonstruct_seccomp_t_254 {
2557 int mode ;
2558};
2559#line 10 "include/linux/seccomp.h"
2560typedef struct __anonstruct_seccomp_t_254 seccomp_t;
2561#line 81 "include/linux/plist.h"
2562struct plist_head {
2563 struct list_head node_list ;
2564};
2565#line 85 "include/linux/plist.h"
2566struct plist_node {
2567 int prio ;
2568 struct list_head prio_list ;
2569 struct list_head node_list ;
2570};
2571#line 40 "include/linux/rtmutex.h"
2572struct rt_mutex_waiter;
2573#line 40
2574struct rt_mutex_waiter;
2575#line 42 "include/linux/resource.h"
2576struct rlimit {
2577 unsigned long rlim_cur ;
2578 unsigned long rlim_max ;
2579};
2580#line 81
2581struct task_struct;
2582#line 8 "include/linux/timerqueue.h"
2583struct timerqueue_node {
2584 struct rb_node node ;
2585 ktime_t expires ;
2586};
2587#line 13 "include/linux/timerqueue.h"
2588struct timerqueue_head {
2589 struct rb_root head ;
2590 struct timerqueue_node *next ;
2591};
2592#line 27 "include/linux/hrtimer.h"
2593struct hrtimer_clock_base;
2594#line 27
2595struct hrtimer_clock_base;
2596#line 28
2597struct hrtimer_cpu_base;
2598#line 28
2599struct hrtimer_cpu_base;
2600#line 44
2601enum hrtimer_restart {
2602 HRTIMER_NORESTART = 0,
2603 HRTIMER_RESTART = 1
2604} ;
2605#line 108 "include/linux/hrtimer.h"
2606struct hrtimer {
2607 struct timerqueue_node node ;
2608 ktime_t _softexpires ;
2609 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2610 struct hrtimer_clock_base *base ;
2611 unsigned long state ;
2612 int start_pid ;
2613 void *start_site ;
2614 char start_comm[16] ;
2615};
2616#line 145 "include/linux/hrtimer.h"
2617struct hrtimer_clock_base {
2618 struct hrtimer_cpu_base *cpu_base ;
2619 int index ;
2620 clockid_t clockid ;
2621 struct timerqueue_head active ;
2622 ktime_t resolution ;
2623 ktime_t (*get_time)(void) ;
2624 ktime_t softirq_time ;
2625 ktime_t offset ;
2626};
2627#line 178 "include/linux/hrtimer.h"
2628struct hrtimer_cpu_base {
2629 raw_spinlock_t lock ;
2630 unsigned long active_bases ;
2631 ktime_t expires_next ;
2632 int hres_active ;
2633 int hang_detected ;
2634 unsigned long nr_events ;
2635 unsigned long nr_retries ;
2636 unsigned long nr_hangs ;
2637 ktime_t max_hang_time ;
2638 struct hrtimer_clock_base clock_base[3] ;
2639};
2640#line 11 "include/linux/task_io_accounting.h"
2641struct task_io_accounting {
2642 u64 rchar ;
2643 u64 wchar ;
2644 u64 syscr ;
2645 u64 syscw ;
2646 u64 read_bytes ;
2647 u64 write_bytes ;
2648 u64 cancelled_write_bytes ;
2649};
2650#line 13 "include/linux/latencytop.h"
2651struct task_struct;
2652#line 20 "include/linux/latencytop.h"
2653struct latency_record {
2654 unsigned long backtrace[12] ;
2655 unsigned int count ;
2656 unsigned long time ;
2657 unsigned long max ;
2658};
2659#line 29 "include/linux/key.h"
2660typedef int32_t key_serial_t;
2661#line 32 "include/linux/key.h"
2662typedef uint32_t key_perm_t;
2663#line 34
2664struct key;
2665#line 34
2666struct key;
2667#line 74
2668struct seq_file;
2669#line 75
2670struct user_struct;
2671#line 76
2672struct signal_struct;
2673#line 76
2674struct signal_struct;
2675#line 77
2676struct cred;
2677#line 79
2678struct key_type;
2679#line 79
2680struct key_type;
2681#line 81
2682struct keyring_list;
2683#line 81
2684struct keyring_list;
2685#line 124
2686struct key_user;
2687#line 124 "include/linux/key.h"
2688union __anonunion____missing_field_name_255 {
2689 time_t expiry ;
2690 time_t revoked_at ;
2691};
2692#line 124 "include/linux/key.h"
2693union __anonunion_type_data_256 {
2694 struct list_head link ;
2695 unsigned long x[2] ;
2696 void *p[2] ;
2697 int reject_error ;
2698};
2699#line 124 "include/linux/key.h"
2700union __anonunion_payload_257 {
2701 unsigned long value ;
2702 void *rcudata ;
2703 void *data ;
2704 struct keyring_list *subscriptions ;
2705};
2706#line 124 "include/linux/key.h"
2707struct key {
2708 atomic_t usage ;
2709 key_serial_t serial ;
2710 struct rb_node serial_node ;
2711 struct key_type *type ;
2712 struct rw_semaphore sem ;
2713 struct key_user *user ;
2714 void *security ;
2715 union __anonunion____missing_field_name_255 __annonCompField45 ;
2716 uid_t uid ;
2717 gid_t gid ;
2718 key_perm_t perm ;
2719 unsigned short quotalen ;
2720 unsigned short datalen ;
2721 unsigned long flags ;
2722 char *description ;
2723 union __anonunion_type_data_256 type_data ;
2724 union __anonunion_payload_257 payload ;
2725};
2726#line 18 "include/linux/selinux.h"
2727struct audit_context;
2728#line 18
2729struct audit_context;
2730#line 21 "include/linux/cred.h"
2731struct user_struct;
2732#line 22
2733struct cred;
2734#line 23
2735struct inode;
2736#line 31 "include/linux/cred.h"
2737struct group_info {
2738 atomic_t usage ;
2739 int ngroups ;
2740 int nblocks ;
2741 gid_t small_block[32] ;
2742 gid_t *blocks[0] ;
2743};
2744#line 83 "include/linux/cred.h"
2745struct thread_group_cred {
2746 atomic_t usage ;
2747 pid_t tgid ;
2748 spinlock_t lock ;
2749 struct key *session_keyring ;
2750 struct key *process_keyring ;
2751 struct rcu_head rcu ;
2752};
2753#line 116 "include/linux/cred.h"
2754struct cred {
2755 atomic_t usage ;
2756 atomic_t subscribers ;
2757 void *put_addr ;
2758 unsigned int magic ;
2759 uid_t uid ;
2760 gid_t gid ;
2761 uid_t suid ;
2762 gid_t sgid ;
2763 uid_t euid ;
2764 gid_t egid ;
2765 uid_t fsuid ;
2766 gid_t fsgid ;
2767 unsigned int securebits ;
2768 kernel_cap_t cap_inheritable ;
2769 kernel_cap_t cap_permitted ;
2770 kernel_cap_t cap_effective ;
2771 kernel_cap_t cap_bset ;
2772 unsigned char jit_keyring ;
2773 struct key *thread_keyring ;
2774 struct key *request_key_auth ;
2775 struct thread_group_cred *tgcred ;
2776 void *security ;
2777 struct user_struct *user ;
2778 struct user_namespace *user_ns ;
2779 struct group_info *group_info ;
2780 struct rcu_head rcu ;
2781};
2782#line 61 "include/linux/llist.h"
2783struct llist_node;
2784#line 65 "include/linux/llist.h"
2785struct llist_node {
2786 struct llist_node *next ;
2787};
2788#line 97 "include/linux/sched.h"
2789struct futex_pi_state;
2790#line 97
2791struct futex_pi_state;
2792#line 98
2793struct robust_list_head;
2794#line 98
2795struct robust_list_head;
2796#line 99
2797struct bio_list;
2798#line 99
2799struct bio_list;
2800#line 100
2801struct fs_struct;
2802#line 100
2803struct fs_struct;
2804#line 101
2805struct perf_event_context;
2806#line 101
2807struct perf_event_context;
2808#line 102
2809struct blk_plug;
2810#line 102
2811struct blk_plug;
2812#line 150
2813struct seq_file;
2814#line 151
2815struct cfs_rq;
2816#line 151
2817struct cfs_rq;
2818#line 259
2819struct task_struct;
2820#line 366
2821struct nsproxy;
2822#line 367
2823struct user_namespace;
2824#line 15 "include/linux/aio.h"
2825struct kioctx;
2826#line 15
2827struct kioctx;
2828#line 87 "include/linux/aio.h"
2829union __anonunion_ki_obj_258 {
2830 void *user ;
2831 struct task_struct *tsk ;
2832};
2833#line 87
2834struct eventfd_ctx;
2835#line 87 "include/linux/aio.h"
2836struct kiocb {
2837 struct list_head ki_run_list ;
2838 unsigned long ki_flags ;
2839 int ki_users ;
2840 unsigned int ki_key ;
2841 struct file *ki_filp ;
2842 struct kioctx *ki_ctx ;
2843 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2844 ssize_t (*ki_retry)(struct kiocb * ) ;
2845 void (*ki_dtor)(struct kiocb * ) ;
2846 union __anonunion_ki_obj_258 ki_obj ;
2847 __u64 ki_user_data ;
2848 loff_t ki_pos ;
2849 void *private ;
2850 unsigned short ki_opcode ;
2851 size_t ki_nbytes ;
2852 char *ki_buf ;
2853 size_t ki_left ;
2854 struct iovec ki_inline_vec ;
2855 struct iovec *ki_iovec ;
2856 unsigned long ki_nr_segs ;
2857 unsigned long ki_cur_seg ;
2858 struct list_head ki_list ;
2859 struct list_head ki_batch ;
2860 struct eventfd_ctx *ki_eventfd ;
2861};
2862#line 166 "include/linux/aio.h"
2863struct aio_ring_info {
2864 unsigned long mmap_base ;
2865 unsigned long mmap_size ;
2866 struct page **ring_pages ;
2867 spinlock_t ring_lock ;
2868 long nr_pages ;
2869 unsigned int nr ;
2870 unsigned int tail ;
2871 struct page *internal_pages[8] ;
2872};
2873#line 179 "include/linux/aio.h"
2874struct kioctx {
2875 atomic_t users ;
2876 int dead ;
2877 struct mm_struct *mm ;
2878 unsigned long user_id ;
2879 struct hlist_node list ;
2880 wait_queue_head_t wait ;
2881 spinlock_t ctx_lock ;
2882 int reqs_active ;
2883 struct list_head active_reqs ;
2884 struct list_head run_list ;
2885 unsigned int max_reqs ;
2886 struct aio_ring_info ring_info ;
2887 struct delayed_work wq ;
2888 struct rcu_head rcu_head ;
2889};
2890#line 214
2891struct mm_struct;
2892#line 443 "include/linux/sched.h"
2893struct sighand_struct {
2894 atomic_t count ;
2895 struct k_sigaction action[64] ;
2896 spinlock_t siglock ;
2897 wait_queue_head_t signalfd_wqh ;
2898};
2899#line 450 "include/linux/sched.h"
2900struct pacct_struct {
2901 int ac_flag ;
2902 long ac_exitcode ;
2903 unsigned long ac_mem ;
2904 cputime_t ac_utime ;
2905 cputime_t ac_stime ;
2906 unsigned long ac_minflt ;
2907 unsigned long ac_majflt ;
2908};
2909#line 458 "include/linux/sched.h"
2910struct cpu_itimer {
2911 cputime_t expires ;
2912 cputime_t incr ;
2913 u32 error ;
2914 u32 incr_error ;
2915};
2916#line 476 "include/linux/sched.h"
2917struct task_cputime {
2918 cputime_t utime ;
2919 cputime_t stime ;
2920 unsigned long long sum_exec_runtime ;
2921};
2922#line 512 "include/linux/sched.h"
2923struct thread_group_cputimer {
2924 struct task_cputime cputime ;
2925 int running ;
2926 raw_spinlock_t lock ;
2927};
2928#line 519
2929struct autogroup;
2930#line 519
2931struct autogroup;
2932#line 528
2933struct tty_struct;
2934#line 528
2935struct taskstats;
2936#line 528
2937struct tty_audit_buf;
2938#line 528 "include/linux/sched.h"
2939struct signal_struct {
2940 atomic_t sigcnt ;
2941 atomic_t live ;
2942 int nr_threads ;
2943 wait_queue_head_t wait_chldexit ;
2944 struct task_struct *curr_target ;
2945 struct sigpending shared_pending ;
2946 int group_exit_code ;
2947 int notify_count ;
2948 struct task_struct *group_exit_task ;
2949 int group_stop_count ;
2950 unsigned int flags ;
2951 unsigned int is_child_subreaper : 1 ;
2952 unsigned int has_child_subreaper : 1 ;
2953 struct list_head posix_timers ;
2954 struct hrtimer real_timer ;
2955 struct pid *leader_pid ;
2956 ktime_t it_real_incr ;
2957 struct cpu_itimer it[2] ;
2958 struct thread_group_cputimer cputimer ;
2959 struct task_cputime cputime_expires ;
2960 struct list_head cpu_timers[3] ;
2961 struct pid *tty_old_pgrp ;
2962 int leader ;
2963 struct tty_struct *tty ;
2964 struct autogroup *autogroup ;
2965 cputime_t utime ;
2966 cputime_t stime ;
2967 cputime_t cutime ;
2968 cputime_t cstime ;
2969 cputime_t gtime ;
2970 cputime_t cgtime ;
2971 cputime_t prev_utime ;
2972 cputime_t prev_stime ;
2973 unsigned long nvcsw ;
2974 unsigned long nivcsw ;
2975 unsigned long cnvcsw ;
2976 unsigned long cnivcsw ;
2977 unsigned long min_flt ;
2978 unsigned long maj_flt ;
2979 unsigned long cmin_flt ;
2980 unsigned long cmaj_flt ;
2981 unsigned long inblock ;
2982 unsigned long oublock ;
2983 unsigned long cinblock ;
2984 unsigned long coublock ;
2985 unsigned long maxrss ;
2986 unsigned long cmaxrss ;
2987 struct task_io_accounting ioac ;
2988 unsigned long long sum_sched_runtime ;
2989 struct rlimit rlim[16] ;
2990 struct pacct_struct pacct ;
2991 struct taskstats *stats ;
2992 unsigned int audit_tty ;
2993 struct tty_audit_buf *tty_audit_buf ;
2994 struct rw_semaphore group_rwsem ;
2995 int oom_adj ;
2996 int oom_score_adj ;
2997 int oom_score_adj_min ;
2998 struct mutex cred_guard_mutex ;
2999};
3000#line 703 "include/linux/sched.h"
3001struct user_struct {
3002 atomic_t __count ;
3003 atomic_t processes ;
3004 atomic_t files ;
3005 atomic_t sigpending ;
3006 atomic_t inotify_watches ;
3007 atomic_t inotify_devs ;
3008 atomic_t fanotify_listeners ;
3009 atomic_long_t epoll_watches ;
3010 unsigned long mq_bytes ;
3011 unsigned long locked_shm ;
3012 struct key *uid_keyring ;
3013 struct key *session_keyring ;
3014 struct hlist_node uidhash_node ;
3015 uid_t uid ;
3016 struct user_namespace *user_ns ;
3017 atomic_long_t locked_vm ;
3018};
3019#line 747
3020struct backing_dev_info;
3021#line 748
3022struct reclaim_state;
3023#line 748
3024struct reclaim_state;
3025#line 751 "include/linux/sched.h"
3026struct sched_info {
3027 unsigned long pcount ;
3028 unsigned long long run_delay ;
3029 unsigned long long last_arrival ;
3030 unsigned long long last_queued ;
3031};
3032#line 763 "include/linux/sched.h"
3033struct task_delay_info {
3034 spinlock_t lock ;
3035 unsigned int flags ;
3036 struct timespec blkio_start ;
3037 struct timespec blkio_end ;
3038 u64 blkio_delay ;
3039 u64 swapin_delay ;
3040 u32 blkio_count ;
3041 u32 swapin_count ;
3042 struct timespec freepages_start ;
3043 struct timespec freepages_end ;
3044 u64 freepages_delay ;
3045 u32 freepages_count ;
3046};
3047#line 1088
3048struct io_context;
3049#line 1088
3050struct io_context;
3051#line 1097
3052struct audit_context;
3053#line 1098
3054struct mempolicy;
3055#line 1099
3056struct pipe_inode_info;
3057#line 1102
3058struct rq;
3059#line 1102
3060struct rq;
3061#line 1122 "include/linux/sched.h"
3062struct sched_class {
3063 struct sched_class const *next ;
3064 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3065 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3066 void (*yield_task)(struct rq *rq ) ;
3067 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3068 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3069 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3070 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3071 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3072 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3073 void (*post_schedule)(struct rq *this_rq ) ;
3074 void (*task_waking)(struct task_struct *task ) ;
3075 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3076 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3077 void (*rq_online)(struct rq *rq ) ;
3078 void (*rq_offline)(struct rq *rq ) ;
3079 void (*set_curr_task)(struct rq *rq ) ;
3080 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3081 void (*task_fork)(struct task_struct *p ) ;
3082 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3083 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3084 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3085 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3086 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3087};
3088#line 1167 "include/linux/sched.h"
3089struct load_weight {
3090 unsigned long weight ;
3091 unsigned long inv_weight ;
3092};
3093#line 1172 "include/linux/sched.h"
3094struct sched_statistics {
3095 u64 wait_start ;
3096 u64 wait_max ;
3097 u64 wait_count ;
3098 u64 wait_sum ;
3099 u64 iowait_count ;
3100 u64 iowait_sum ;
3101 u64 sleep_start ;
3102 u64 sleep_max ;
3103 s64 sum_sleep_runtime ;
3104 u64 block_start ;
3105 u64 block_max ;
3106 u64 exec_max ;
3107 u64 slice_max ;
3108 u64 nr_migrations_cold ;
3109 u64 nr_failed_migrations_affine ;
3110 u64 nr_failed_migrations_running ;
3111 u64 nr_failed_migrations_hot ;
3112 u64 nr_forced_migrations ;
3113 u64 nr_wakeups ;
3114 u64 nr_wakeups_sync ;
3115 u64 nr_wakeups_migrate ;
3116 u64 nr_wakeups_local ;
3117 u64 nr_wakeups_remote ;
3118 u64 nr_wakeups_affine ;
3119 u64 nr_wakeups_affine_attempts ;
3120 u64 nr_wakeups_passive ;
3121 u64 nr_wakeups_idle ;
3122};
3123#line 1207 "include/linux/sched.h"
3124struct sched_entity {
3125 struct load_weight load ;
3126 struct rb_node run_node ;
3127 struct list_head group_node ;
3128 unsigned int on_rq ;
3129 u64 exec_start ;
3130 u64 sum_exec_runtime ;
3131 u64 vruntime ;
3132 u64 prev_sum_exec_runtime ;
3133 u64 nr_migrations ;
3134 struct sched_statistics statistics ;
3135 struct sched_entity *parent ;
3136 struct cfs_rq *cfs_rq ;
3137 struct cfs_rq *my_q ;
3138};
3139#line 1233
3140struct rt_rq;
3141#line 1233 "include/linux/sched.h"
3142struct sched_rt_entity {
3143 struct list_head run_list ;
3144 unsigned long timeout ;
3145 unsigned int time_slice ;
3146 int nr_cpus_allowed ;
3147 struct sched_rt_entity *back ;
3148 struct sched_rt_entity *parent ;
3149 struct rt_rq *rt_rq ;
3150 struct rt_rq *my_q ;
3151};
3152#line 1264
3153struct css_set;
3154#line 1264
3155struct compat_robust_list_head;
3156#line 1264
3157struct mem_cgroup;
3158#line 1264 "include/linux/sched.h"
3159struct memcg_batch_info {
3160 int do_batch ;
3161 struct mem_cgroup *memcg ;
3162 unsigned long nr_pages ;
3163 unsigned long memsw_nr_pages ;
3164};
3165#line 1264 "include/linux/sched.h"
3166struct task_struct {
3167 long volatile state ;
3168 void *stack ;
3169 atomic_t usage ;
3170 unsigned int flags ;
3171 unsigned int ptrace ;
3172 struct llist_node wake_entry ;
3173 int on_cpu ;
3174 int on_rq ;
3175 int prio ;
3176 int static_prio ;
3177 int normal_prio ;
3178 unsigned int rt_priority ;
3179 struct sched_class const *sched_class ;
3180 struct sched_entity se ;
3181 struct sched_rt_entity rt ;
3182 struct hlist_head preempt_notifiers ;
3183 unsigned char fpu_counter ;
3184 unsigned int policy ;
3185 cpumask_t cpus_allowed ;
3186 struct sched_info sched_info ;
3187 struct list_head tasks ;
3188 struct plist_node pushable_tasks ;
3189 struct mm_struct *mm ;
3190 struct mm_struct *active_mm ;
3191 unsigned int brk_randomized : 1 ;
3192 int exit_state ;
3193 int exit_code ;
3194 int exit_signal ;
3195 int pdeath_signal ;
3196 unsigned int jobctl ;
3197 unsigned int personality ;
3198 unsigned int did_exec : 1 ;
3199 unsigned int in_execve : 1 ;
3200 unsigned int in_iowait : 1 ;
3201 unsigned int sched_reset_on_fork : 1 ;
3202 unsigned int sched_contributes_to_load : 1 ;
3203 unsigned int irq_thread : 1 ;
3204 pid_t pid ;
3205 pid_t tgid ;
3206 unsigned long stack_canary ;
3207 struct task_struct *real_parent ;
3208 struct task_struct *parent ;
3209 struct list_head children ;
3210 struct list_head sibling ;
3211 struct task_struct *group_leader ;
3212 struct list_head ptraced ;
3213 struct list_head ptrace_entry ;
3214 struct pid_link pids[3] ;
3215 struct list_head thread_group ;
3216 struct completion *vfork_done ;
3217 int *set_child_tid ;
3218 int *clear_child_tid ;
3219 cputime_t utime ;
3220 cputime_t stime ;
3221 cputime_t utimescaled ;
3222 cputime_t stimescaled ;
3223 cputime_t gtime ;
3224 cputime_t prev_utime ;
3225 cputime_t prev_stime ;
3226 unsigned long nvcsw ;
3227 unsigned long nivcsw ;
3228 struct timespec start_time ;
3229 struct timespec real_start_time ;
3230 unsigned long min_flt ;
3231 unsigned long maj_flt ;
3232 struct task_cputime cputime_expires ;
3233 struct list_head cpu_timers[3] ;
3234 struct cred const *real_cred ;
3235 struct cred const *cred ;
3236 struct cred *replacement_session_keyring ;
3237 char comm[16] ;
3238 int link_count ;
3239 int total_link_count ;
3240 struct sysv_sem sysvsem ;
3241 unsigned long last_switch_count ;
3242 struct thread_struct thread ;
3243 struct fs_struct *fs ;
3244 struct files_struct *files ;
3245 struct nsproxy *nsproxy ;
3246 struct signal_struct *signal ;
3247 struct sighand_struct *sighand ;
3248 sigset_t blocked ;
3249 sigset_t real_blocked ;
3250 sigset_t saved_sigmask ;
3251 struct sigpending pending ;
3252 unsigned long sas_ss_sp ;
3253 size_t sas_ss_size ;
3254 int (*notifier)(void *priv ) ;
3255 void *notifier_data ;
3256 sigset_t *notifier_mask ;
3257 struct audit_context *audit_context ;
3258 uid_t loginuid ;
3259 unsigned int sessionid ;
3260 seccomp_t seccomp ;
3261 u32 parent_exec_id ;
3262 u32 self_exec_id ;
3263 spinlock_t alloc_lock ;
3264 raw_spinlock_t pi_lock ;
3265 struct plist_head pi_waiters ;
3266 struct rt_mutex_waiter *pi_blocked_on ;
3267 struct mutex_waiter *blocked_on ;
3268 unsigned int irq_events ;
3269 unsigned long hardirq_enable_ip ;
3270 unsigned long hardirq_disable_ip ;
3271 unsigned int hardirq_enable_event ;
3272 unsigned int hardirq_disable_event ;
3273 int hardirqs_enabled ;
3274 int hardirq_context ;
3275 unsigned long softirq_disable_ip ;
3276 unsigned long softirq_enable_ip ;
3277 unsigned int softirq_disable_event ;
3278 unsigned int softirq_enable_event ;
3279 int softirqs_enabled ;
3280 int softirq_context ;
3281 void *journal_info ;
3282 struct bio_list *bio_list ;
3283 struct blk_plug *plug ;
3284 struct reclaim_state *reclaim_state ;
3285 struct backing_dev_info *backing_dev_info ;
3286 struct io_context *io_context ;
3287 unsigned long ptrace_message ;
3288 siginfo_t *last_siginfo ;
3289 struct task_io_accounting ioac ;
3290 u64 acct_rss_mem1 ;
3291 u64 acct_vm_mem1 ;
3292 cputime_t acct_timexpd ;
3293 nodemask_t mems_allowed ;
3294 seqcount_t mems_allowed_seq ;
3295 int cpuset_mem_spread_rotor ;
3296 int cpuset_slab_spread_rotor ;
3297 struct css_set *cgroups ;
3298 struct list_head cg_list ;
3299 struct robust_list_head *robust_list ;
3300 struct compat_robust_list_head *compat_robust_list ;
3301 struct list_head pi_state_list ;
3302 struct futex_pi_state *pi_state_cache ;
3303 struct perf_event_context *perf_event_ctxp[2] ;
3304 struct mutex perf_event_mutex ;
3305 struct list_head perf_event_list ;
3306 struct mempolicy *mempolicy ;
3307 short il_next ;
3308 short pref_node_fork ;
3309 struct rcu_head rcu ;
3310 struct pipe_inode_info *splice_pipe ;
3311 struct task_delay_info *delays ;
3312 int make_it_fail ;
3313 int nr_dirtied ;
3314 int nr_dirtied_pause ;
3315 unsigned long dirty_paused_when ;
3316 int latency_record_count ;
3317 struct latency_record latency_record[32] ;
3318 unsigned long timer_slack_ns ;
3319 unsigned long default_timer_slack_ns ;
3320 struct list_head *scm_work_list ;
3321 unsigned long trace ;
3322 unsigned long trace_recursion ;
3323 struct memcg_batch_info memcg_batch ;
3324 atomic_t ptrace_bp_refcnt ;
3325};
3326#line 1681
3327struct pid_namespace;
3328#line 39 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/compat.h"
3329typedef s32 compat_long_t;
3330#line 212 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/compat.h"
3331typedef u32 compat_uptr_t;
3332#line 226 "include/linux/compat.h"
3333struct compat_robust_list {
3334 compat_uptr_t next ;
3335};
3336#line 230 "include/linux/compat.h"
3337struct compat_robust_list_head {
3338 struct compat_robust_list list ;
3339 compat_long_t futex_offset ;
3340 compat_uptr_t list_op_pending ;
3341};
3342#line 127 "include/linux/if_ether.h"
3343struct ethhdr {
3344 unsigned char h_dest[6] ;
3345 unsigned char h_source[6] ;
3346 __be16 h_proto ;
3347} __attribute__((__packed__)) ;
3348#line 65 "include/linux/net.h"
3349struct poll_table_struct;
3350#line 66
3351struct pipe_inode_info;
3352#line 67
3353struct inode;
3354#line 68
3355struct net;
3356#line 68
3357struct net;
3358#line 154
3359struct vm_area_struct;
3360#line 155
3361struct page;
3362#line 156
3363struct kiocb;
3364#line 157
3365struct sockaddr;
3366#line 159
3367struct module;
3368#line 222
3369struct iovec;
3370#line 46 "include/linux/slub_def.h"
3371struct kmem_cache_cpu {
3372 void **freelist ;
3373 unsigned long tid ;
3374 struct page *page ;
3375 struct page *partial ;
3376 int node ;
3377 unsigned int stat[26] ;
3378};
3379#line 57 "include/linux/slub_def.h"
3380struct kmem_cache_node {
3381 spinlock_t list_lock ;
3382 unsigned long nr_partial ;
3383 struct list_head partial ;
3384 atomic_long_t nr_slabs ;
3385 atomic_long_t total_objects ;
3386 struct list_head full ;
3387};
3388#line 73 "include/linux/slub_def.h"
3389struct kmem_cache_order_objects {
3390 unsigned long x ;
3391};
3392#line 80 "include/linux/slub_def.h"
3393struct kmem_cache {
3394 struct kmem_cache_cpu *cpu_slab ;
3395 unsigned long flags ;
3396 unsigned long min_partial ;
3397 int size ;
3398 int objsize ;
3399 int offset ;
3400 int cpu_partial ;
3401 struct kmem_cache_order_objects oo ;
3402 struct kmem_cache_order_objects max ;
3403 struct kmem_cache_order_objects min ;
3404 gfp_t allocflags ;
3405 int refcount ;
3406 void (*ctor)(void * ) ;
3407 int inuse ;
3408 int align ;
3409 int reserved ;
3410 char const *name ;
3411 struct list_head list ;
3412 struct kobject kobj ;
3413 int remote_node_defrag_ratio ;
3414 struct kmem_cache_node *node[1 << 10] ;
3415};
3416#line 10 "include/linux/textsearch.h"
3417struct module;
3418#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
3419struct exception_table_entry {
3420 unsigned long insn ;
3421 unsigned long fixup ;
3422};
3423#line 109 "include/net/checksum.h"
3424struct sk_buff;
3425#line 109
3426struct sk_buff;
3427#line 19 "include/linux/klist.h"
3428struct klist_node;
3429#line 19
3430struct klist_node;
3431#line 39 "include/linux/klist.h"
3432struct klist_node {
3433 void *n_klist ;
3434 struct list_head n_node ;
3435 struct kref n_ref ;
3436};
3437#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
3438struct dma_map_ops;
3439#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
3440struct dev_archdata {
3441 void *acpi_handle ;
3442 struct dma_map_ops *dma_ops ;
3443 void *iommu ;
3444};
3445#line 28 "include/linux/device.h"
3446struct device;
3447#line 29
3448struct device_private;
3449#line 29
3450struct device_private;
3451#line 30
3452struct device_driver;
3453#line 30
3454struct device_driver;
3455#line 31
3456struct driver_private;
3457#line 31
3458struct driver_private;
3459#line 32
3460struct module;
3461#line 33
3462struct class;
3463#line 33
3464struct class;
3465#line 34
3466struct subsys_private;
3467#line 34
3468struct subsys_private;
3469#line 35
3470struct bus_type;
3471#line 35
3472struct bus_type;
3473#line 36
3474struct device_node;
3475#line 36
3476struct device_node;
3477#line 37
3478struct iommu_ops;
3479#line 37
3480struct iommu_ops;
3481#line 39 "include/linux/device.h"
3482struct bus_attribute {
3483 struct attribute attr ;
3484 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
3485 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
3486};
3487#line 89
3488struct device_attribute;
3489#line 89
3490struct driver_attribute;
3491#line 89 "include/linux/device.h"
3492struct bus_type {
3493 char const *name ;
3494 char const *dev_name ;
3495 struct device *dev_root ;
3496 struct bus_attribute *bus_attrs ;
3497 struct device_attribute *dev_attrs ;
3498 struct driver_attribute *drv_attrs ;
3499 int (*match)(struct device *dev , struct device_driver *drv ) ;
3500 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3501 int (*probe)(struct device *dev ) ;
3502 int (*remove)(struct device *dev ) ;
3503 void (*shutdown)(struct device *dev ) ;
3504 int (*suspend)(struct device *dev , pm_message_t state ) ;
3505 int (*resume)(struct device *dev ) ;
3506 struct dev_pm_ops const *pm ;
3507 struct iommu_ops *iommu_ops ;
3508 struct subsys_private *p ;
3509};
3510#line 127
3511struct device_type;
3512#line 159
3513struct notifier_block;
3514#line 214
3515struct of_device_id;
3516#line 214 "include/linux/device.h"
3517struct device_driver {
3518 char const *name ;
3519 struct bus_type *bus ;
3520 struct module *owner ;
3521 char const *mod_name ;
3522 bool suppress_bind_attrs ;
3523 struct of_device_id const *of_match_table ;
3524 int (*probe)(struct device *dev ) ;
3525 int (*remove)(struct device *dev ) ;
3526 void (*shutdown)(struct device *dev ) ;
3527 int (*suspend)(struct device *dev , pm_message_t state ) ;
3528 int (*resume)(struct device *dev ) ;
3529 struct attribute_group const **groups ;
3530 struct dev_pm_ops const *pm ;
3531 struct driver_private *p ;
3532};
3533#line 249 "include/linux/device.h"
3534struct driver_attribute {
3535 struct attribute attr ;
3536 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
3537 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
3538};
3539#line 330
3540struct class_attribute;
3541#line 330 "include/linux/device.h"
3542struct class {
3543 char const *name ;
3544 struct module *owner ;
3545 struct class_attribute *class_attrs ;
3546 struct device_attribute *dev_attrs ;
3547 struct bin_attribute *dev_bin_attrs ;
3548 struct kobject *dev_kobj ;
3549 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3550 char *(*devnode)(struct device *dev , umode_t *mode ) ;
3551 void (*class_release)(struct class *class ) ;
3552 void (*dev_release)(struct device *dev ) ;
3553 int (*suspend)(struct device *dev , pm_message_t state ) ;
3554 int (*resume)(struct device *dev ) ;
3555 struct kobj_ns_type_operations const *ns_type ;
3556 void const *(*namespace)(struct device *dev ) ;
3557 struct dev_pm_ops const *pm ;
3558 struct subsys_private *p ;
3559};
3560#line 397 "include/linux/device.h"
3561struct class_attribute {
3562 struct attribute attr ;
3563 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
3564 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
3565 size_t count ) ;
3566 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
3567};
3568#line 465 "include/linux/device.h"
3569struct device_type {
3570 char const *name ;
3571 struct attribute_group const **groups ;
3572 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3573 char *(*devnode)(struct device *dev , umode_t *mode ) ;
3574 void (*release)(struct device *dev ) ;
3575 struct dev_pm_ops const *pm ;
3576};
3577#line 476 "include/linux/device.h"
3578struct device_attribute {
3579 struct attribute attr ;
3580 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
3581 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
3582 size_t count ) ;
3583};
3584#line 559 "include/linux/device.h"
3585struct device_dma_parameters {
3586 unsigned int max_segment_size ;
3587 unsigned long segment_boundary_mask ;
3588};
3589#line 627
3590struct dma_coherent_mem;
3591#line 627 "include/linux/device.h"
3592struct device {
3593 struct device *parent ;
3594 struct device_private *p ;
3595 struct kobject kobj ;
3596 char const *init_name ;
3597 struct device_type const *type ;
3598 struct mutex mutex ;
3599 struct bus_type *bus ;
3600 struct device_driver *driver ;
3601 void *platform_data ;
3602 struct dev_pm_info power ;
3603 struct dev_pm_domain *pm_domain ;
3604 int numa_node ;
3605 u64 *dma_mask ;
3606 u64 coherent_dma_mask ;
3607 struct device_dma_parameters *dma_parms ;
3608 struct list_head dma_pools ;
3609 struct dma_coherent_mem *dma_mem ;
3610 struct dev_archdata archdata ;
3611 struct device_node *of_node ;
3612 dev_t devt ;
3613 u32 id ;
3614 spinlock_t devres_lock ;
3615 struct list_head devres_head ;
3616 struct klist_node knode_class ;
3617 struct class *class ;
3618 struct attribute_group const **groups ;
3619 void (*release)(struct device *dev ) ;
3620};
3621#line 43 "include/linux/pm_wakeup.h"
3622struct wakeup_source {
3623 char const *name ;
3624 struct list_head entry ;
3625 spinlock_t lock ;
3626 struct timer_list timer ;
3627 unsigned long timer_expires ;
3628 ktime_t total_time ;
3629 ktime_t max_time ;
3630 ktime_t last_time ;
3631 unsigned long event_count ;
3632 unsigned long active_count ;
3633 unsigned long relax_count ;
3634 unsigned long hit_count ;
3635 unsigned int active : 1 ;
3636};
3637#line 8 "include/linux/debug_locks.h"
3638struct task_struct;
3639#line 48
3640struct task_struct;
3641#line 22 "include/linux/mm.h"
3642struct mempolicy;
3643#line 23
3644struct anon_vma;
3645#line 24
3646struct file_ra_state;
3647#line 25
3648struct user_struct;
3649#line 26
3650struct writeback_control;
3651#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
3652struct mm_struct;
3653#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
3654struct vm_area_struct;
3655#line 188 "include/linux/mm.h"
3656struct vm_fault {
3657 unsigned int flags ;
3658 unsigned long pgoff ;
3659 void *virtual_address ;
3660 struct page *page ;
3661};
3662#line 205 "include/linux/mm.h"
3663struct vm_operations_struct {
3664 void (*open)(struct vm_area_struct *area ) ;
3665 void (*close)(struct vm_area_struct *area ) ;
3666 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
3667 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
3668 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
3669 int write ) ;
3670 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
3671 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
3672 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
3673 unsigned long flags ) ;
3674};
3675#line 247
3676struct inode;
3677#line 195 "include/linux/page-flags.h"
3678struct page;
3679#line 6 "include/asm-generic/scatterlist.h"
3680struct scatterlist {
3681 unsigned long sg_magic ;
3682 unsigned long page_link ;
3683 unsigned int offset ;
3684 unsigned int length ;
3685 dma_addr_t dma_address ;
3686 unsigned int dma_length ;
3687};
3688#line 37 "include/linux/dmaengine.h"
3689typedef s32 dma_cookie_t;
3690#line 27 "include/linux/dma-attrs.h"
3691struct dma_attrs {
3692 unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
3693};
3694#line 7 "include/linux/dma-direction.h"
3695enum dma_data_direction {
3696 DMA_BIDIRECTIONAL = 0,
3697 DMA_TO_DEVICE = 1,
3698 DMA_FROM_DEVICE = 2,
3699 DMA_NONE = 3
3700} ;
3701#line 11 "include/linux/dma-mapping.h"
3702struct dma_map_ops {
3703 void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
3704 struct dma_attrs *attrs ) ;
3705 void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
3706 struct dma_attrs *attrs ) ;
3707 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
3708 size_t , struct dma_attrs *attrs ) ;
3709 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
3710 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
3711 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
3712 struct dma_attrs *attrs ) ;
3713 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
3714 struct dma_attrs *attrs ) ;
3715 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
3716 struct dma_attrs *attrs ) ;
3717 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
3718 enum dma_data_direction dir ) ;
3719 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
3720 enum dma_data_direction dir ) ;
3721 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
3722 enum dma_data_direction dir ) ;
3723 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
3724 enum dma_data_direction dir ) ;
3725 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
3726 int (*dma_supported)(struct device *dev , u64 mask ) ;
3727 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
3728 int is_phys ;
3729};
3730#line 25 "include/linux/dma-debug.h"
3731struct device;
3732#line 26
3733struct scatterlist;
3734#line 27
3735struct bus_type;
3736#line 6 "include/linux/swiotlb.h"
3737struct device;
3738#line 7
3739struct dma_attrs;
3740#line 8
3741struct scatterlist;
3742#line 15 "include/linux/netdev_features.h"
3743typedef u64 netdev_features_t;
3744#line 108 "include/linux/skbuff.h"
3745struct net_device;
3746#line 109
3747struct scatterlist;
3748#line 110
3749struct pipe_inode_info;
3750#line 113 "include/linux/skbuff.h"
3751struct nf_conntrack {
3752 atomic_t use ;
3753};
3754#line 119 "include/linux/skbuff.h"
3755struct nf_bridge_info {
3756 atomic_t use ;
3757 struct net_device *physindev ;
3758 struct net_device *physoutdev ;
3759 unsigned int mask ;
3760 unsigned long data[32UL / sizeof(unsigned long )] ;
3761};
3762#line 128 "include/linux/skbuff.h"
3763struct sk_buff_head {
3764 struct sk_buff *next ;
3765 struct sk_buff *prev ;
3766 __u32 qlen ;
3767 spinlock_t lock ;
3768};
3769#line 137
3770struct sk_buff;
3771#line 318 "include/linux/skbuff.h"
3772typedef unsigned int sk_buff_data_t;
3773#line 391
3774struct sec_path;
3775#line 391 "include/linux/skbuff.h"
3776struct __anonstruct____missing_field_name_274 {
3777 __u16 csum_start ;
3778 __u16 csum_offset ;
3779};
3780#line 391 "include/linux/skbuff.h"
3781union __anonunion____missing_field_name_273 {
3782 __wsum csum ;
3783 struct __anonstruct____missing_field_name_274 __annonCompField47 ;
3784};
3785#line 391 "include/linux/skbuff.h"
3786union __anonunion____missing_field_name_275 {
3787 __u32 mark ;
3788 __u32 dropcount ;
3789 __u32 avail_size ;
3790};
3791#line 391 "include/linux/skbuff.h"
3792struct sk_buff {
3793 struct sk_buff *next ;
3794 struct sk_buff *prev ;
3795 ktime_t tstamp ;
3796 struct sock *sk ;
3797 struct net_device *dev ;
3798 char cb[48] __attribute__((__aligned__(8))) ;
3799 unsigned long _skb_refdst ;
3800 struct sec_path *sp ;
3801 unsigned int len ;
3802 unsigned int data_len ;
3803 __u16 mac_len ;
3804 __u16 hdr_len ;
3805 union __anonunion____missing_field_name_273 __annonCompField48 ;
3806 __u32 priority ;
3807 __u8 local_df : 1 ;
3808 __u8 cloned : 1 ;
3809 __u8 ip_summed : 2 ;
3810 __u8 nohdr : 1 ;
3811 __u8 nfctinfo : 3 ;
3812 __u8 pkt_type : 3 ;
3813 __u8 fclone : 2 ;
3814 __u8 ipvs_property : 1 ;
3815 __u8 peeked : 1 ;
3816 __u8 nf_trace : 1 ;
3817 __be16 protocol ;
3818 void (*destructor)(struct sk_buff *skb ) ;
3819 struct nf_conntrack *nfct ;
3820 struct sk_buff *nfct_reasm ;
3821 struct nf_bridge_info *nf_bridge ;
3822 int skb_iif ;
3823 __u32 rxhash ;
3824 __u16 vlan_tci ;
3825 __u16 tc_index ;
3826 __u16 tc_verd ;
3827 __u16 queue_mapping ;
3828 __u8 ndisc_nodetype : 2 ;
3829 __u8 ooo_okay : 1 ;
3830 __u8 l4_rxhash : 1 ;
3831 __u8 wifi_acked_valid : 1 ;
3832 __u8 wifi_acked : 1 ;
3833 __u8 no_fcs : 1 ;
3834 dma_cookie_t dma_cookie ;
3835 __u32 secmark ;
3836 union __anonunion____missing_field_name_275 __annonCompField49 ;
3837 sk_buff_data_t transport_header ;
3838 sk_buff_data_t network_header ;
3839 sk_buff_data_t mac_header ;
3840 sk_buff_data_t tail ;
3841 sk_buff_data_t end ;
3842 unsigned char *head ;
3843 unsigned char *data ;
3844 unsigned int truesize ;
3845 atomic_t users ;
3846};
3847#line 520
3848struct dst_entry;
3849#line 23 "include/linux/ethtool.h"
3850struct ethtool_cmd {
3851 __u32 cmd ;
3852 __u32 supported ;
3853 __u32 advertising ;
3854 __u16 speed ;
3855 __u8 duplex ;
3856 __u8 port ;
3857 __u8 phy_address ;
3858 __u8 transceiver ;
3859 __u8 autoneg ;
3860 __u8 mdio_support ;
3861 __u32 maxtxpkt ;
3862 __u32 maxrxpkt ;
3863 __u16 speed_hi ;
3864 __u8 eth_tp_mdix ;
3865 __u8 reserved2 ;
3866 __u32 lp_advertising ;
3867 __u32 reserved[2] ;
3868};
3869#line 84 "include/linux/ethtool.h"
3870struct ethtool_drvinfo {
3871 __u32 cmd ;
3872 char driver[32] ;
3873 char version[32] ;
3874 char fw_version[32] ;
3875 char bus_info[32] ;
3876 char reserved1[32] ;
3877 char reserved2[12] ;
3878 __u32 n_priv_flags ;
3879 __u32 n_stats ;
3880 __u32 testinfo_len ;
3881 __u32 eedump_len ;
3882 __u32 regdump_len ;
3883};
3884#line 109 "include/linux/ethtool.h"
3885struct ethtool_wolinfo {
3886 __u32 cmd ;
3887 __u32 supported ;
3888 __u32 wolopts ;
3889 __u8 sopass[6] ;
3890};
3891#line 123 "include/linux/ethtool.h"
3892struct ethtool_regs {
3893 __u32 cmd ;
3894 __u32 version ;
3895 __u32 len ;
3896 __u8 data[0] ;
3897};
3898#line 131 "include/linux/ethtool.h"
3899struct ethtool_eeprom {
3900 __u32 cmd ;
3901 __u32 magic ;
3902 __u32 offset ;
3903 __u32 len ;
3904 __u8 data[0] ;
3905};
3906#line 211 "include/linux/ethtool.h"
3907struct ethtool_coalesce {
3908 __u32 cmd ;
3909 __u32 rx_coalesce_usecs ;
3910 __u32 rx_max_coalesced_frames ;
3911 __u32 rx_coalesce_usecs_irq ;
3912 __u32 rx_max_coalesced_frames_irq ;
3913 __u32 tx_coalesce_usecs ;
3914 __u32 tx_max_coalesced_frames ;
3915 __u32 tx_coalesce_usecs_irq ;
3916 __u32 tx_max_coalesced_frames_irq ;
3917 __u32 stats_block_coalesce_usecs ;
3918 __u32 use_adaptive_rx_coalesce ;
3919 __u32 use_adaptive_tx_coalesce ;
3920 __u32 pkt_rate_low ;
3921 __u32 rx_coalesce_usecs_low ;
3922 __u32 rx_max_coalesced_frames_low ;
3923 __u32 tx_coalesce_usecs_low ;
3924 __u32 tx_max_coalesced_frames_low ;
3925 __u32 pkt_rate_high ;
3926 __u32 rx_coalesce_usecs_high ;
3927 __u32 rx_max_coalesced_frames_high ;
3928 __u32 tx_coalesce_usecs_high ;
3929 __u32 tx_max_coalesced_frames_high ;
3930 __u32 rate_sample_interval ;
3931};
3932#line 238 "include/linux/ethtool.h"
3933struct ethtool_ringparam {
3934 __u32 cmd ;
3935 __u32 rx_max_pending ;
3936 __u32 rx_mini_max_pending ;
3937 __u32 rx_jumbo_max_pending ;
3938 __u32 tx_max_pending ;
3939 __u32 rx_pending ;
3940 __u32 rx_mini_pending ;
3941 __u32 rx_jumbo_pending ;
3942 __u32 tx_pending ;
3943};
3944#line 275 "include/linux/ethtool.h"
3945struct ethtool_channels {
3946 __u32 cmd ;
3947 __u32 max_rx ;
3948 __u32 max_tx ;
3949 __u32 max_other ;
3950 __u32 max_combined ;
3951 __u32 rx_count ;
3952 __u32 tx_count ;
3953 __u32 other_count ;
3954 __u32 combined_count ;
3955};
3956#line 288 "include/linux/ethtool.h"
3957struct ethtool_pauseparam {
3958 __u32 cmd ;
3959 __u32 autoneg ;
3960 __u32 rx_pause ;
3961 __u32 tx_pause ;
3962};
3963#line 352 "include/linux/ethtool.h"
3964struct ethtool_test {
3965 __u32 cmd ;
3966 __u32 flags ;
3967 __u32 reserved ;
3968 __u32 len ;
3969 __u64 data[0] ;
3970};
3971#line 361 "include/linux/ethtool.h"
3972struct ethtool_stats {
3973 __u32 cmd ;
3974 __u32 n_stats ;
3975 __u64 data[0] ;
3976};
3977#line 406 "include/linux/ethtool.h"
3978struct ethtool_tcpip4_spec {
3979 __be32 ip4src ;
3980 __be32 ip4dst ;
3981 __be16 psrc ;
3982 __be16 pdst ;
3983 __u8 tos ;
3984};
3985#line 423 "include/linux/ethtool.h"
3986struct ethtool_ah_espip4_spec {
3987 __be32 ip4src ;
3988 __be32 ip4dst ;
3989 __be32 spi ;
3990 __u8 tos ;
3991};
3992#line 441 "include/linux/ethtool.h"
3993struct ethtool_usrip4_spec {
3994 __be32 ip4src ;
3995 __be32 ip4dst ;
3996 __be32 l4_4_bytes ;
3997 __u8 tos ;
3998 __u8 ip_ver ;
3999 __u8 proto ;
4000};
4001#line 450 "include/linux/ethtool.h"
4002union ethtool_flow_union {
4003 struct ethtool_tcpip4_spec tcp_ip4_spec ;
4004 struct ethtool_tcpip4_spec udp_ip4_spec ;
4005 struct ethtool_tcpip4_spec sctp_ip4_spec ;
4006 struct ethtool_ah_espip4_spec ah_ip4_spec ;
4007 struct ethtool_ah_espip4_spec esp_ip4_spec ;
4008 struct ethtool_usrip4_spec usr_ip4_spec ;
4009 struct ethhdr ether_spec ;
4010 __u8 hdata[60] ;
4011};
4012#line 461 "include/linux/ethtool.h"
4013struct ethtool_flow_ext {
4014 __be16 vlan_etype ;
4015 __be16 vlan_tci ;
4016 __be32 data[2] ;
4017};
4018#line 482 "include/linux/ethtool.h"
4019struct ethtool_rx_flow_spec {
4020 __u32 flow_type ;
4021 union ethtool_flow_union h_u ;
4022 struct ethtool_flow_ext h_ext ;
4023 union ethtool_flow_union m_u ;
4024 struct ethtool_flow_ext m_ext ;
4025 __u64 ring_cookie ;
4026 __u32 location ;
4027};
4028#line 544 "include/linux/ethtool.h"
4029struct ethtool_rxnfc {
4030 __u32 cmd ;
4031 __u32 flow_type ;
4032 __u64 data ;
4033 struct ethtool_rx_flow_spec fs ;
4034 __u32 rule_cnt ;
4035 __u32 rule_locs[0] ;
4036};
4037#line 652 "include/linux/ethtool.h"
4038struct ethtool_flash {
4039 __u32 cmd ;
4040 __u32 region ;
4041 char data[128] ;
4042};
4043#line 670 "include/linux/ethtool.h"
4044struct ethtool_dump {
4045 __u32 cmd ;
4046 __u32 version ;
4047 __u32 flag ;
4048 __u32 len ;
4049 __u8 data[0] ;
4050};
4051#line 780
4052enum ethtool_phys_id_state {
4053 ETHTOOL_ID_INACTIVE = 0,
4054 ETHTOOL_ID_ACTIVE = 1,
4055 ETHTOOL_ID_ON = 2,
4056 ETHTOOL_ID_OFF = 3
4057} ;
4058#line 787
4059struct net_device;
4060#line 906 "include/linux/ethtool.h"
4061struct ethtool_ops {
4062 int (*get_settings)(struct net_device * , struct ethtool_cmd * ) ;
4063 int (*set_settings)(struct net_device * , struct ethtool_cmd * ) ;
4064 void (*get_drvinfo)(struct net_device * , struct ethtool_drvinfo * ) ;
4065 int (*get_regs_len)(struct net_device * ) ;
4066 void (*get_regs)(struct net_device * , struct ethtool_regs * , void * ) ;
4067 void (*get_wol)(struct net_device * , struct ethtool_wolinfo * ) ;
4068 int (*set_wol)(struct net_device * , struct ethtool_wolinfo * ) ;
4069 u32 (*get_msglevel)(struct net_device * ) ;
4070 void (*set_msglevel)(struct net_device * , u32 ) ;
4071 int (*nway_reset)(struct net_device * ) ;
4072 u32 (*get_link)(struct net_device * ) ;
4073 int (*get_eeprom_len)(struct net_device * ) ;
4074 int (*get_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ;
4075 int (*set_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ;
4076 int (*get_coalesce)(struct net_device * , struct ethtool_coalesce * ) ;
4077 int (*set_coalesce)(struct net_device * , struct ethtool_coalesce * ) ;
4078 void (*get_ringparam)(struct net_device * , struct ethtool_ringparam * ) ;
4079 int (*set_ringparam)(struct net_device * , struct ethtool_ringparam * ) ;
4080 void (*get_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ;
4081 int (*set_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ;
4082 void (*self_test)(struct net_device * , struct ethtool_test * , u64 * ) ;
4083 void (*get_strings)(struct net_device * , u32 stringset , u8 * ) ;
4084 int (*set_phys_id)(struct net_device * , enum ethtool_phys_id_state ) ;
4085 void (*get_ethtool_stats)(struct net_device * , struct ethtool_stats * , u64 * ) ;
4086 int (*begin)(struct net_device * ) ;
4087 void (*complete)(struct net_device * ) ;
4088 u32 (*get_priv_flags)(struct net_device * ) ;
4089 int (*set_priv_flags)(struct net_device * , u32 ) ;
4090 int (*get_sset_count)(struct net_device * , int ) ;
4091 int (*get_rxnfc)(struct net_device * , struct ethtool_rxnfc * , u32 *rule_locs ) ;
4092 int (*set_rxnfc)(struct net_device * , struct ethtool_rxnfc * ) ;
4093 int (*flash_device)(struct net_device * , struct ethtool_flash * ) ;
4094 int (*reset)(struct net_device * , u32 * ) ;
4095 u32 (*get_rxfh_indir_size)(struct net_device * ) ;
4096 int (*get_rxfh_indir)(struct net_device * , u32 * ) ;
4097 int (*set_rxfh_indir)(struct net_device * , u32 const * ) ;
4098 void (*get_channels)(struct net_device * , struct ethtool_channels * ) ;
4099 int (*set_channels)(struct net_device * , struct ethtool_channels * ) ;
4100 int (*get_dump_flag)(struct net_device * , struct ethtool_dump * ) ;
4101 int (*get_dump_data)(struct net_device * , struct ethtool_dump * , void * ) ;
4102 int (*set_dump)(struct net_device * , struct ethtool_dump * ) ;
4103};
4104#line 156 "include/linux/mii.h"
4105struct ethtool_cmd;
4106#line 219 "include/linux/mod_devicetable.h"
4107struct of_device_id {
4108 char name[32] ;
4109 char type[32] ;
4110 char compatible[128] ;
4111 void *data ;
4112};
4113#line 533 "include/linux/mod_devicetable.h"
4114struct mdio_device_id {
4115 __u32 phy_id ;
4116 __u32 phy_id_mask ;
4117};
4118#line 54 "include/linux/phy.h"
4119enum __anonenum_phy_interface_t_278 {
4120 PHY_INTERFACE_MODE_NA = 0,
4121 PHY_INTERFACE_MODE_MII = 1,
4122 PHY_INTERFACE_MODE_GMII = 2,
4123 PHY_INTERFACE_MODE_SGMII = 3,
4124 PHY_INTERFACE_MODE_TBI = 4,
4125 PHY_INTERFACE_MODE_RMII = 5,
4126 PHY_INTERFACE_MODE_RGMII = 6,
4127 PHY_INTERFACE_MODE_RGMII_ID = 7,
4128 PHY_INTERFACE_MODE_RGMII_RXID = 8,
4129 PHY_INTERFACE_MODE_RGMII_TXID = 9,
4130 PHY_INTERFACE_MODE_RTBI = 10,
4131 PHY_INTERFACE_MODE_SMII = 11
4132} ;
4133#line 54 "include/linux/phy.h"
4134typedef enum __anonenum_phy_interface_t_278 phy_interface_t;
4135#line 90
4136struct device;
4137#line 91
4138struct sk_buff;
4139#line 97
4140enum __anonenum_state_279 {
4141 MDIOBUS_ALLOCATED = 1,
4142 MDIOBUS_REGISTERED = 2,
4143 MDIOBUS_UNREGISTERED = 3,
4144 MDIOBUS_RELEASED = 4
4145} ;
4146#line 97
4147struct phy_device;
4148#line 97 "include/linux/phy.h"
4149struct mii_bus {
4150 char const *name ;
4151 char id[17] ;
4152 void *priv ;
4153 int (*read)(struct mii_bus *bus , int phy_id , int regnum ) ;
4154 int (*write)(struct mii_bus *bus , int phy_id , int regnum , u16 val ) ;
4155 int (*reset)(struct mii_bus *bus ) ;
4156 struct mutex mdio_lock ;
4157 struct device *parent ;
4158 enum __anonenum_state_279 state ;
4159 struct device dev ;
4160 struct phy_device *phy_map[32] ;
4161 u32 phy_mask ;
4162 int *irq ;
4163};
4164#line 231
4165enum phy_state {
4166 PHY_DOWN = 0,
4167 PHY_STARTING = 1,
4168 PHY_READY = 2,
4169 PHY_PENDING = 3,
4170 PHY_UP = 4,
4171 PHY_AN = 5,
4172 PHY_RUNNING = 6,
4173 PHY_NOLINK = 7,
4174 PHY_FORCING = 8,
4175 PHY_CHANGELINK = 9,
4176 PHY_HALTED = 10,
4177 PHY_RESUMING = 11
4178} ;
4179#line 277
4180struct phy_driver;
4181#line 277 "include/linux/phy.h"
4182struct phy_device {
4183 struct phy_driver *drv ;
4184 struct mii_bus *bus ;
4185 struct device dev ;
4186 u32 phy_id ;
4187 enum phy_state state ;
4188 u32 dev_flags ;
4189 phy_interface_t interface ;
4190 int addr ;
4191 int speed ;
4192 int duplex ;
4193 int pause ;
4194 int asym_pause ;
4195 int link ;
4196 u32 interrupts ;
4197 u32 supported ;
4198 u32 advertising ;
4199 int autoneg ;
4200 int link_timeout ;
4201 int irq ;
4202 void *priv ;
4203 struct work_struct phy_queue ;
4204 struct delayed_work state_queue ;
4205 atomic_t irq_disable ;
4206 struct mutex lock ;
4207 struct net_device *attached_dev ;
4208 void (*adjust_link)(struct net_device *dev ) ;
4209 void (*adjust_state)(struct net_device *dev ) ;
4210};
4211#line 366 "include/linux/phy.h"
4212struct phy_driver {
4213 u32 phy_id ;
4214 char *name ;
4215 unsigned int phy_id_mask ;
4216 u32 features ;
4217 u32 flags ;
4218 int (*config_init)(struct phy_device *phydev ) ;
4219 int (*probe)(struct phy_device *phydev ) ;
4220 int (*suspend)(struct phy_device *phydev ) ;
4221 int (*resume)(struct phy_device *phydev ) ;
4222 int (*config_aneg)(struct phy_device *phydev ) ;
4223 int (*read_status)(struct phy_device *phydev ) ;
4224 int (*ack_interrupt)(struct phy_device *phydev ) ;
4225 int (*config_intr)(struct phy_device *phydev ) ;
4226 int (*did_interrupt)(struct phy_device *phydev ) ;
4227 void (*remove)(struct phy_device *phydev ) ;
4228 int (*hwtstamp)(struct phy_device *phydev , struct ifreq *ifr ) ;
4229 bool (*rxtstamp)(struct phy_device *dev , struct sk_buff *skb , int type ) ;
4230 void (*txtstamp)(struct phy_device *dev , struct sk_buff *skb , int type ) ;
4231 struct device_driver driver ;
4232};
4233#line 129 "include/linux/netlink.h"
4234struct nlattr {
4235 __u16 nla_len ;
4236 __u16 nla_type ;
4237};
4238#line 157
4239struct net;
4240#line 41 "include/linux/if_link.h"
4241struct rtnl_link_stats64 {
4242 __u64 rx_packets ;
4243 __u64 tx_packets ;
4244 __u64 rx_bytes ;
4245 __u64 tx_bytes ;
4246 __u64 rx_errors ;
4247 __u64 tx_errors ;
4248 __u64 rx_dropped ;
4249 __u64 tx_dropped ;
4250 __u64 multicast ;
4251 __u64 collisions ;
4252 __u64 rx_length_errors ;
4253 __u64 rx_over_errors ;
4254 __u64 rx_crc_errors ;
4255 __u64 rx_frame_errors ;
4256 __u64 rx_fifo_errors ;
4257 __u64 rx_missed_errors ;
4258 __u64 tx_aborted_errors ;
4259 __u64 tx_carrier_errors ;
4260 __u64 tx_fifo_errors ;
4261 __u64 tx_heartbeat_errors ;
4262 __u64 tx_window_errors ;
4263 __u64 rx_compressed ;
4264 __u64 tx_compressed ;
4265};
4266#line 312 "include/linux/if_link.h"
4267struct ifla_vf_info {
4268 __u32 vf ;
4269 __u8 mac[32] ;
4270 __u32 vlan ;
4271 __u32 qos ;
4272 __u32 tx_rate ;
4273 __u32 spoofchk ;
4274};
4275#line 48 "include/linux/miscdevice.h"
4276struct device;
4277#line 30 "include/linux/pm_qos.h"
4278struct pm_qos_request {
4279 struct plist_node node ;
4280 int pm_qos_class ;
4281 struct delayed_work work ;
4282};
4283#line 36 "include/linux/pm_qos.h"
4284struct dev_pm_qos_request {
4285 struct plist_node node ;
4286 struct device *dev ;
4287};
4288#line 41
4289enum pm_qos_type {
4290 PM_QOS_UNITIALIZED = 0,
4291 PM_QOS_MAX = 1,
4292 PM_QOS_MIN = 2
4293} ;
4294#line 52 "include/linux/pm_qos.h"
4295struct pm_qos_constraints {
4296 struct plist_head list ;
4297 s32 target_value ;
4298 s32 default_value ;
4299 enum pm_qos_type type ;
4300 struct blocking_notifier_head *notifiers ;
4301};
4302#line 40 "include/linux/dynamic_queue_limits.h"
4303struct dql {
4304 unsigned int num_queued ;
4305 unsigned int adj_limit ;
4306 unsigned int last_obj_cnt ;
4307 unsigned int limit __attribute__((__aligned__((1) << (6) ))) ;
4308 unsigned int num_completed ;
4309 unsigned int prev_ovlimit ;
4310 unsigned int prev_num_queued ;
4311 unsigned int prev_last_obj_cnt ;
4312 unsigned int lowest_slack ;
4313 unsigned long slack_start_time ;
4314 unsigned int max_limit ;
4315 unsigned int min_limit ;
4316 unsigned int slack_hold_time ;
4317};
4318#line 4 "include/net/netns/core.h"
4319struct ctl_table_header;
4320#line 5
4321struct prot_inuse;
4322#line 5
4323struct prot_inuse;
4324#line 7 "include/net/netns/core.h"
4325struct netns_core {
4326 struct ctl_table_header *sysctl_hdr ;
4327 int sysctl_somaxconn ;
4328 struct prot_inuse *inuse ;
4329};
4330#line 64 "include/linux/u64_stats_sync.h"
4331struct u64_stats_sync {
4332
4333};
4334#line 56 "include/net/snmp.h"
4335struct ipstats_mib {
4336 u64 mibs[31] ;
4337 struct u64_stats_sync syncp ;
4338};
4339#line 64 "include/net/snmp.h"
4340struct icmp_mib {
4341 unsigned long mibs[27] ;
4342};
4343#line 69 "include/net/snmp.h"
4344struct icmpmsg_mib {
4345 atomic_long_t mibs[512] ;
4346};
4347#line 76 "include/net/snmp.h"
4348struct icmpv6_mib {
4349 unsigned long mibs[5] ;
4350};
4351#line 86 "include/net/snmp.h"
4352struct icmpv6msg_mib {
4353 atomic_long_t mibs[512] ;
4354};
4355#line 97 "include/net/snmp.h"
4356struct tcp_mib {
4357 unsigned long mibs[15] ;
4358};
4359#line 103 "include/net/snmp.h"
4360struct udp_mib {
4361 unsigned long mibs[7] ;
4362};
4363#line 109 "include/net/snmp.h"
4364struct linux_mib {
4365 unsigned long mibs[83] ;
4366};
4367#line 115 "include/net/snmp.h"
4368struct linux_xfrm_mib {
4369 unsigned long mibs[27] ;
4370};
4371#line 6 "include/net/netns/mib.h"
4372struct proc_dir_entry;
4373#line 6 "include/net/netns/mib.h"
4374struct netns_mib {
4375 struct tcp_mib *tcp_statistics[1] ;
4376 struct ipstats_mib *ip_statistics[1] ;
4377 struct linux_mib *net_statistics[1] ;
4378 struct udp_mib *udp_statistics[1] ;
4379 struct udp_mib *udplite_statistics[1] ;
4380 struct icmp_mib *icmp_statistics[1] ;
4381 struct icmpmsg_mib *icmpmsg_statistics ;
4382 struct proc_dir_entry *proc_net_devsnmp6 ;
4383 struct udp_mib *udp_stats_in6[1] ;
4384 struct udp_mib *udplite_stats_in6[1] ;
4385 struct ipstats_mib *ipv6_statistics[1] ;
4386 struct icmpv6_mib *icmpv6_statistics[1] ;
4387 struct icmpv6msg_mib *icmpv6msg_statistics ;
4388 struct linux_xfrm_mib *xfrm_statistics[1] ;
4389};
4390#line 7 "include/net/netns/unix.h"
4391struct ctl_table_header;
4392#line 8 "include/net/netns/unix.h"
4393struct netns_unix {
4394 int sysctl_max_dgram_qlen ;
4395 struct ctl_table_header *ctl ;
4396};
4397#line 10 "include/net/netns/packet.h"
4398struct netns_packet {
4399 spinlock_t sklist_lock ;
4400 struct hlist_head sklist ;
4401};
4402#line 4 "include/net/inet_frag.h"
4403struct netns_frags {
4404 int nqueues ;
4405 atomic_t mem ;
4406 struct list_head lru_list ;
4407 int timeout ;
4408 int high_thresh ;
4409 int low_thresh ;
4410};
4411#line 10 "include/net/netns/ipv4.h"
4412struct ctl_table_header;
4413#line 11
4414struct ipv4_devconf;
4415#line 11
4416struct ipv4_devconf;
4417#line 12
4418struct fib_rules_ops;
4419#line 12
4420struct fib_rules_ops;
4421#line 13
4422struct hlist_head;
4423#line 14
4424struct sock;
4425#line 16
4426struct xt_table;
4427#line 16 "include/net/netns/ipv4.h"
4428struct netns_ipv4 {
4429 struct ctl_table_header *forw_hdr ;
4430 struct ctl_table_header *frags_hdr ;
4431 struct ctl_table_header *ipv4_hdr ;
4432 struct ctl_table_header *route_hdr ;
4433 struct ipv4_devconf *devconf_all ;
4434 struct ipv4_devconf *devconf_dflt ;
4435 struct fib_rules_ops *rules_ops ;
4436 struct hlist_head *fib_table_hash ;
4437 struct sock *fibnl ;
4438 struct sock **icmp_sk ;
4439 struct sock *tcp_sock ;
4440 struct netns_frags frags ;
4441 struct xt_table *iptable_filter ;
4442 struct xt_table *iptable_mangle ;
4443 struct xt_table *iptable_raw ;
4444 struct xt_table *arptable_filter ;
4445 struct xt_table *iptable_security ;
4446 struct xt_table *nat_table ;
4447 struct hlist_head *nat_bysource ;
4448 unsigned int nat_htable_size ;
4449 int sysctl_icmp_echo_ignore_all ;
4450 int sysctl_icmp_echo_ignore_broadcasts ;
4451 int sysctl_icmp_ignore_bogus_error_responses ;
4452 int sysctl_icmp_ratelimit ;
4453 int sysctl_icmp_ratemask ;
4454 int sysctl_icmp_errors_use_inbound_ifaddr ;
4455 int sysctl_rt_cache_rebuild_count ;
4456 int current_rt_cache_rebuild_count ;
4457 unsigned int sysctl_ping_group_range[2] ;
4458 long sysctl_tcp_mem[3] ;
4459 atomic_t rt_genid ;
4460 atomic_t dev_addr_genid ;
4461 struct list_head mr_tables ;
4462 struct fib_rules_ops *mr_rules_ops ;
4463};
4464#line 7 "include/net/dst_ops.h"
4465struct dst_entry;
4466#line 9
4467struct net_device;
4468#line 10
4469struct sk_buff;
4470#line 12
4471struct neighbour;
4472#line 12 "include/net/dst_ops.h"
4473struct dst_ops {
4474 unsigned short family ;
4475 __be16 protocol ;
4476 unsigned int gc_thresh ;
4477 int (*gc)(struct dst_ops *ops ) ;
4478 struct dst_entry *(*check)(struct dst_entry * , __u32 cookie ) ;
4479 unsigned int (*default_advmss)(struct dst_entry const * ) ;
4480 unsigned int (*mtu)(struct dst_entry const * ) ;
4481 u32 *(*cow_metrics)(struct dst_entry * , unsigned long ) ;
4482 void (*destroy)(struct dst_entry * ) ;
4483 void (*ifdown)(struct dst_entry * , struct net_device *dev , int how ) ;
4484 struct dst_entry *(*negative_advice)(struct dst_entry * ) ;
4485 void (*link_failure)(struct sk_buff * ) ;
4486 void (*update_pmtu)(struct dst_entry *dst , u32 mtu ) ;
4487 int (*local_out)(struct sk_buff *skb ) ;
4488 struct neighbour *(*neigh_lookup)(struct dst_entry const *dst , void const *daddr ) ;
4489 struct kmem_cache *kmem_cachep ;
4490 struct percpu_counter pcpuc_entries __attribute__((__aligned__((1) << (6) ))) ;
4491};
4492#line 11 "include/net/netns/ipv6.h"
4493struct ctl_table_header;
4494#line 13 "include/net/netns/ipv6.h"
4495struct netns_sysctl_ipv6 {
4496 struct ctl_table_header *table ;
4497 struct ctl_table_header *frags_hdr ;
4498 int bindv6only ;
4499 int flush_delay ;
4500 int ip6_rt_max_size ;
4501 int ip6_rt_gc_min_interval ;
4502 int ip6_rt_gc_timeout ;
4503 int ip6_rt_gc_interval ;
4504 int ip6_rt_gc_elasticity ;
4505 int ip6_rt_mtu_expires ;
4506 int ip6_rt_min_advmss ;
4507 int icmpv6_time ;
4508};
4509#line 30
4510struct ipv6_devconf;
4511#line 30
4512struct rt6_info;
4513#line 30
4514struct rt6_statistics;
4515#line 30
4516struct fib6_table;
4517#line 30 "include/net/netns/ipv6.h"
4518struct netns_ipv6 {
4519 struct netns_sysctl_ipv6 sysctl ;
4520 struct ipv6_devconf *devconf_all ;
4521 struct ipv6_devconf *devconf_dflt ;
4522 struct netns_frags frags ;
4523 struct xt_table *ip6table_filter ;
4524 struct xt_table *ip6table_mangle ;
4525 struct xt_table *ip6table_raw ;
4526 struct xt_table *ip6table_security ;
4527 struct rt6_info *ip6_null_entry ;
4528 struct rt6_statistics *rt6_stats ;
4529 struct timer_list ip6_fib_timer ;
4530 struct hlist_head *fib_table_hash ;
4531 struct fib6_table *fib6_main_tbl ;
4532 struct dst_ops ip6_dst_ops ;
4533 unsigned int ip6_rt_gc_expire ;
4534 unsigned long ip6_rt_last_gc ;
4535 struct rt6_info *ip6_prohibit_entry ;
4536 struct rt6_info *ip6_blk_hole_entry ;
4537 struct fib6_table *fib6_local_tbl ;
4538 struct fib_rules_ops *fib6_rules_ops ;
4539 struct sock **icmp_sk ;
4540 struct sock *ndisc_sk ;
4541 struct sock *tcp_sk ;
4542 struct sock *igmp_sk ;
4543 struct list_head mr6_tables ;
4544 struct fib_rules_ops *mr6_rules_ops ;
4545};
4546#line 4 "include/net/netns/dccp.h"
4547struct sock;
4548#line 6 "include/net/netns/dccp.h"
4549struct netns_dccp {
4550 struct sock *v4_ctl_sk ;
4551 struct sock *v6_ctl_sk ;
4552};
4553#line 102 "include/linux/netfilter.h"
4554struct sk_buff;
4555#line 200 "include/net/flow.h"
4556struct net;
4557#line 201
4558struct sock;
4559#line 10 "include/linux/proc_fs.h"
4560struct net;
4561#line 11
4562struct completion;
4563#line 12
4564struct mm_struct;
4565#line 46 "include/linux/proc_fs.h"
4566typedef int read_proc_t(char *page , char **start , off_t off , int count , int *eof ,
4567 void *data );
4568#line 48 "include/linux/proc_fs.h"
4569typedef int write_proc_t(struct file *file , char const *buffer , unsigned long count ,
4570 void *data );
4571#line 51 "include/linux/proc_fs.h"
4572struct proc_dir_entry {
4573 unsigned int low_ino ;
4574 umode_t mode ;
4575 nlink_t nlink ;
4576 uid_t uid ;
4577 gid_t gid ;
4578 loff_t size ;
4579 struct inode_operations const *proc_iops ;
4580 struct file_operations const *proc_fops ;
4581 struct proc_dir_entry *next ;
4582 struct proc_dir_entry *parent ;
4583 struct proc_dir_entry *subdir ;
4584 void *data ;
4585 read_proc_t *read_proc ;
4586 write_proc_t *write_proc ;
4587 atomic_t count ;
4588 int pde_users ;
4589 struct completion *pde_unload_completion ;
4590 struct list_head pde_openers ;
4591 spinlock_t pde_unload_lock ;
4592 u8 namelen ;
4593 char name[] ;
4594};
4595#line 117
4596struct pid_namespace;
4597#line 243
4598struct nsproxy;
4599#line 263
4600struct ctl_table_header;
4601#line 264
4602struct ctl_table;
4603#line 7 "include/net/netns/x_tables.h"
4604struct ebt_table;
4605#line 7
4606struct ebt_table;
4607#line 9 "include/net/netns/x_tables.h"
4608struct netns_xt {
4609 struct list_head tables[13] ;
4610 struct ebt_table *broute_table ;
4611 struct ebt_table *frame_filter ;
4612 struct ebt_table *frame_nat ;
4613};
4614#line 17 "include/linux/list_nulls.h"
4615struct hlist_nulls_node;
4616#line 17 "include/linux/list_nulls.h"
4617struct hlist_nulls_head {
4618 struct hlist_nulls_node *first ;
4619};
4620#line 21 "include/linux/list_nulls.h"
4621struct hlist_nulls_node {
4622 struct hlist_nulls_node *next ;
4623 struct hlist_nulls_node **pprev ;
4624};
4625#line 8 "include/net/netns/conntrack.h"
4626struct ctl_table_header;
4627#line 11
4628struct ip_conntrack_stat;
4629#line 11
4630struct nf_ct_event_notifier;
4631#line 11
4632struct nf_exp_event_notifier;
4633#line 11 "include/net/netns/conntrack.h"
4634struct netns_ct {
4635 atomic_t count ;
4636 unsigned int expect_count ;
4637 unsigned int htable_size ;
4638 struct kmem_cache *nf_conntrack_cachep ;
4639 struct hlist_nulls_head *hash ;
4640 struct hlist_head *expect_hash ;
4641 struct hlist_nulls_head unconfirmed ;
4642 struct hlist_nulls_head dying ;
4643 struct ip_conntrack_stat *stat ;
4644 struct nf_ct_event_notifier *nf_conntrack_event_cb ;
4645 struct nf_exp_event_notifier *nf_expect_event_cb ;
4646 int sysctl_events ;
4647 unsigned int sysctl_events_retry_timeout ;
4648 int sysctl_acct ;
4649 int sysctl_tstamp ;
4650 int sysctl_checksum ;
4651 unsigned int sysctl_log_invalid ;
4652 struct ctl_table_header *sysctl_header ;
4653 struct ctl_table_header *acct_sysctl_header ;
4654 struct ctl_table_header *tstamp_sysctl_header ;
4655 struct ctl_table_header *event_sysctl_header ;
4656 char *slabname ;
4657};
4658#line 10 "include/net/netns/xfrm.h"
4659struct ctl_table_header;
4660#line 12 "include/net/netns/xfrm.h"
4661struct xfrm_policy_hash {
4662 struct hlist_head *table ;
4663 unsigned int hmask ;
4664};
4665#line 17 "include/net/netns/xfrm.h"
4666struct netns_xfrm {
4667 struct list_head state_all ;
4668 struct hlist_head *state_bydst ;
4669 struct hlist_head *state_bysrc ;
4670 struct hlist_head *state_byspi ;
4671 unsigned int state_hmask ;
4672 unsigned int state_num ;
4673 struct work_struct state_hash_work ;
4674 struct hlist_head state_gc_list ;
4675 struct work_struct state_gc_work ;
4676 wait_queue_head_t km_waitq ;
4677 struct list_head policy_all ;
4678 struct hlist_head *policy_byidx ;
4679 unsigned int policy_idx_hmask ;
4680 struct hlist_head policy_inexact[6] ;
4681 struct xfrm_policy_hash policy_bydst[6] ;
4682 unsigned int policy_count[6] ;
4683 struct work_struct policy_hash_work ;
4684 struct sock *nlsk ;
4685 struct sock *nlsk_stash ;
4686 u32 sysctl_aevent_etime ;
4687 u32 sysctl_aevent_rseqth ;
4688 int sysctl_larval_drop ;
4689 u32 sysctl_acq_expires ;
4690 struct ctl_table_header *sysctl_hdr ;
4691 struct dst_ops xfrm4_dst_ops ;
4692 struct dst_ops xfrm6_dst_ops ;
4693};
4694#line 25 "include/net/net_namespace.h"
4695struct proc_dir_entry;
4696#line 26
4697struct net_device;
4698#line 27
4699struct sock;
4700#line 28
4701struct ctl_table_header;
4702#line 29
4703struct net_generic;
4704#line 29
4705struct net_generic;
4706#line 30
4707struct sock;
4708#line 31
4709struct netns_ipvs;
4710#line 31
4711struct netns_ipvs;
4712#line 37 "include/net/net_namespace.h"
4713struct net {
4714 atomic_t passive ;
4715 atomic_t count ;
4716 spinlock_t rules_mod_lock ;
4717 struct list_head list ;
4718 struct list_head cleanup_list ;
4719 struct list_head exit_list ;
4720 struct proc_dir_entry *proc_net ;
4721 struct proc_dir_entry *proc_net_stat ;
4722 struct ctl_table_set sysctls ;
4723 struct sock *rtnl ;
4724 struct sock *genl_sock ;
4725 struct list_head dev_base_head ;
4726 struct hlist_head *dev_name_head ;
4727 struct hlist_head *dev_index_head ;
4728 unsigned int dev_base_seq ;
4729 struct list_head rules_ops ;
4730 struct net_device *loopback_dev ;
4731 struct netns_core core ;
4732 struct netns_mib mib ;
4733 struct netns_packet packet ;
4734 struct netns_unix unx ;
4735 struct netns_ipv4 ipv4 ;
4736 struct netns_ipv6 ipv6 ;
4737 struct netns_dccp dccp ;
4738 struct netns_xt xt ;
4739 struct netns_ct ct ;
4740 struct sock *nfnl ;
4741 struct sock *nfnl_stash ;
4742 struct sk_buff_head wext_nlevents ;
4743 struct net_generic *gen ;
4744 struct netns_xfrm xfrm ;
4745 struct netns_ipvs *ipvs ;
4746};
4747#line 11 "include/linux/seq_file.h"
4748struct seq_operations;
4749#line 12
4750struct file;
4751#line 13
4752struct path;
4753#line 14
4754struct inode;
4755#line 15
4756struct dentry;
4757#line 17 "include/linux/seq_file.h"
4758struct seq_file {
4759 char *buf ;
4760 size_t size ;
4761 size_t from ;
4762 size_t count ;
4763 loff_t index ;
4764 loff_t read_pos ;
4765 u64 version ;
4766 struct mutex lock ;
4767 struct seq_operations const *op ;
4768 int poll_event ;
4769 void *private ;
4770};
4771#line 31 "include/linux/seq_file.h"
4772struct seq_operations {
4773 void *(*start)(struct seq_file *m , loff_t *pos ) ;
4774 void (*stop)(struct seq_file *m , void *v ) ;
4775 void *(*next)(struct seq_file *m , void *v , loff_t *pos ) ;
4776 int (*show)(struct seq_file *m , void *v ) ;
4777};
4778#line 6 "include/linux/seq_file_net.h"
4779struct net;
4780#line 283 "include/net/net_namespace.h"
4781struct ctl_table;
4782#line 284
4783struct ctl_table_header;
4784#line 22 "include/net/dsa.h"
4785struct dsa_chip_data {
4786 struct device *mii_bus ;
4787 int sw_addr ;
4788 char *port_names[12] ;
4789 s8 *rtable ;
4790};
4791#line 47 "include/net/dsa.h"
4792struct dsa_platform_data {
4793 struct device *netdev ;
4794 int nr_chips ;
4795 struct dsa_chip_data *chip ;
4796};
4797#line 62
4798struct dsa_switch;
4799#line 62 "include/net/dsa.h"
4800struct dsa_switch_tree {
4801 struct dsa_platform_data *pd ;
4802 struct net_device *master_netdev ;
4803 __be16 tag_protocol ;
4804 s8 cpu_switch ;
4805 s8 cpu_port ;
4806 int link_poll_needed ;
4807 struct work_struct link_poll_work ;
4808 struct timer_list link_poll_timer ;
4809 struct dsa_switch *ds[4] ;
4810};
4811#line 95
4812struct dsa_switch_driver;
4813#line 95 "include/net/dsa.h"
4814struct dsa_switch {
4815 struct dsa_switch_tree *dst ;
4816 int index ;
4817 struct dsa_chip_data *pd ;
4818 struct dsa_switch_driver *drv ;
4819 struct mii_bus *master_mii_bus ;
4820 u32 dsa_port_mask ;
4821 u32 phys_port_mask ;
4822 struct mii_bus *slave_mii_bus ;
4823 struct net_device *ports[12] ;
4824};
4825#line 147 "include/net/dsa.h"
4826struct dsa_switch_driver {
4827 struct list_head list ;
4828 __be16 tag_protocol ;
4829 int priv_size ;
4830 char *(*probe)(struct mii_bus *bus , int sw_addr ) ;
4831 int (*setup)(struct dsa_switch *ds ) ;
4832 int (*set_addr)(struct dsa_switch *ds , u8 *addr ) ;
4833 int (*phy_read)(struct dsa_switch *ds , int port , int regnum ) ;
4834 int (*phy_write)(struct dsa_switch *ds , int port , int regnum , u16 val ) ;
4835 void (*poll_link)(struct dsa_switch *ds ) ;
4836 void (*get_strings)(struct dsa_switch *ds , int port , uint8_t *data ) ;
4837 void (*get_ethtool_stats)(struct dsa_switch *ds , int port , uint64_t *data ) ;
4838 int (*get_sset_count)(struct dsa_switch *ds ) ;
4839};
4840#line 57 "include/linux/dcbnl.h"
4841struct ieee_ets {
4842 __u8 willing ;
4843 __u8 ets_cap ;
4844 __u8 cbs ;
4845 __u8 tc_tx_bw[8] ;
4846 __u8 tc_rx_bw[8] ;
4847 __u8 tc_tsa[8] ;
4848 __u8 prio_tc[8] ;
4849 __u8 tc_reco_bw[8] ;
4850 __u8 tc_reco_tsa[8] ;
4851 __u8 reco_prio_tc[8] ;
4852};
4853#line 81 "include/linux/dcbnl.h"
4854struct ieee_pfc {
4855 __u8 pfc_cap ;
4856 __u8 pfc_en ;
4857 __u8 mbc ;
4858 __u16 delay ;
4859 __u64 requests[8] ;
4860 __u64 indications[8] ;
4861};
4862#line 104 "include/linux/dcbnl.h"
4863struct cee_pg {
4864 __u8 willing ;
4865 __u8 error ;
4866 __u8 pg_en ;
4867 __u8 tcs_supported ;
4868 __u8 pg_bw[8] ;
4869 __u8 prio_pg[8] ;
4870};
4871#line 121 "include/linux/dcbnl.h"
4872struct cee_pfc {
4873 __u8 willing ;
4874 __u8 error ;
4875 __u8 pfc_en ;
4876 __u8 tcs_supported ;
4877};
4878#line 151 "include/linux/dcbnl.h"
4879struct dcb_app {
4880 __u8 selector ;
4881 __u8 priority ;
4882 __u16 protocol ;
4883};
4884#line 166 "include/linux/dcbnl.h"
4885struct dcb_peer_app_info {
4886 __u8 willing ;
4887 __u8 error ;
4888};
4889#line 47 "include/net/dcbnl.h"
4890struct dcbnl_rtnl_ops {
4891 int (*ieee_getets)(struct net_device * , struct ieee_ets * ) ;
4892 int (*ieee_setets)(struct net_device * , struct ieee_ets * ) ;
4893 int (*ieee_getpfc)(struct net_device * , struct ieee_pfc * ) ;
4894 int (*ieee_setpfc)(struct net_device * , struct ieee_pfc * ) ;
4895 int (*ieee_getapp)(struct net_device * , struct dcb_app * ) ;
4896 int (*ieee_setapp)(struct net_device * , struct dcb_app * ) ;
4897 int (*ieee_delapp)(struct net_device * , struct dcb_app * ) ;
4898 int (*ieee_peer_getets)(struct net_device * , struct ieee_ets * ) ;
4899 int (*ieee_peer_getpfc)(struct net_device * , struct ieee_pfc * ) ;
4900 u8 (*getstate)(struct net_device * ) ;
4901 u8 (*setstate)(struct net_device * , u8 ) ;
4902 void (*getpermhwaddr)(struct net_device * , u8 * ) ;
4903 void (*setpgtccfgtx)(struct net_device * , int , u8 , u8 , u8 , u8 ) ;
4904 void (*setpgbwgcfgtx)(struct net_device * , int , u8 ) ;
4905 void (*setpgtccfgrx)(struct net_device * , int , u8 , u8 , u8 , u8 ) ;
4906 void (*setpgbwgcfgrx)(struct net_device * , int , u8 ) ;
4907 void (*getpgtccfgtx)(struct net_device * , int , u8 * , u8 * , u8 * , u8 * ) ;
4908 void (*getpgbwgcfgtx)(struct net_device * , int , u8 * ) ;
4909 void (*getpgtccfgrx)(struct net_device * , int , u8 * , u8 * , u8 * , u8 * ) ;
4910 void (*getpgbwgcfgrx)(struct net_device * , int , u8 * ) ;
4911 void (*setpfccfg)(struct net_device * , int , u8 ) ;
4912 void (*getpfccfg)(struct net_device * , int , u8 * ) ;
4913 u8 (*setall)(struct net_device * ) ;
4914 u8 (*getcap)(struct net_device * , int , u8 * ) ;
4915 int (*getnumtcs)(struct net_device * , int , u8 * ) ;
4916 int (*setnumtcs)(struct net_device * , int , u8 ) ;
4917 u8 (*getpfcstate)(struct net_device * ) ;
4918 void (*setpfcstate)(struct net_device * , u8 ) ;
4919 void (*getbcncfg)(struct net_device * , int , u32 * ) ;
4920 void (*setbcncfg)(struct net_device * , int , u32 ) ;
4921 void (*getbcnrp)(struct net_device * , int , u8 * ) ;
4922 void (*setbcnrp)(struct net_device * , int , u8 ) ;
4923 u8 (*setapp)(struct net_device * , u8 , u16 , u8 ) ;
4924 u8 (*getapp)(struct net_device * , u8 , u16 ) ;
4925 u8 (*getfeatcfg)(struct net_device * , int , u8 * ) ;
4926 u8 (*setfeatcfg)(struct net_device * , int , u8 ) ;
4927 u8 (*getdcbx)(struct net_device * ) ;
4928 u8 (*setdcbx)(struct net_device * , u8 ) ;
4929 int (*peer_getappinfo)(struct net_device * , struct dcb_peer_app_info * , u16 * ) ;
4930 int (*peer_getapptable)(struct net_device * , struct dcb_app * ) ;
4931 int (*cee_peer_getpg)(struct net_device * , struct cee_pg * ) ;
4932 int (*cee_peer_getpfc)(struct net_device * , struct cee_pfc * ) ;
4933};
4934#line 40 "include/linux/taskstats.h"
4935struct taskstats {
4936 __u16 version ;
4937 __u32 ac_exitcode ;
4938 __u8 ac_flag ;
4939 __u8 ac_nice ;
4940 __u64 cpu_count __attribute__((__aligned__(8))) ;
4941 __u64 cpu_delay_total ;
4942 __u64 blkio_count ;
4943 __u64 blkio_delay_total ;
4944 __u64 swapin_count ;
4945 __u64 swapin_delay_total ;
4946 __u64 cpu_run_real_total ;
4947 __u64 cpu_run_virtual_total ;
4948 char ac_comm[32] ;
4949 __u8 ac_sched __attribute__((__aligned__(8))) ;
4950 __u8 ac_pad[3] ;
4951 __u32 ac_uid __attribute__((__aligned__(8))) ;
4952 __u32 ac_gid ;
4953 __u32 ac_pid ;
4954 __u32 ac_ppid ;
4955 __u32 ac_btime ;
4956 __u64 ac_etime __attribute__((__aligned__(8))) ;
4957 __u64 ac_utime ;
4958 __u64 ac_stime ;
4959 __u64 ac_minflt ;
4960 __u64 ac_majflt ;
4961 __u64 coremem ;
4962 __u64 virtmem ;
4963 __u64 hiwater_rss ;
4964 __u64 hiwater_vm ;
4965 __u64 read_char ;
4966 __u64 write_char ;
4967 __u64 read_syscalls ;
4968 __u64 write_syscalls ;
4969 __u64 read_bytes ;
4970 __u64 write_bytes ;
4971 __u64 cancelled_write_bytes ;
4972 __u64 nvcsw ;
4973 __u64 nivcsw ;
4974 __u64 ac_utimescaled ;
4975 __u64 ac_stimescaled ;
4976 __u64 cpu_scaled_run_real_total ;
4977 __u64 freepages_count ;
4978 __u64 freepages_delay_total ;
4979};
4980#line 22 "include/linux/cgroup.h"
4981struct cgroupfs_root;
4982#line 22
4983struct cgroupfs_root;
4984#line 24
4985struct inode;
4986#line 25
4987struct cgroup;
4988#line 25
4989struct cgroup;
4990#line 26
4991struct css_id;
4992#line 26
4993struct css_id;
4994#line 60 "include/linux/cgroup.h"
4995struct cgroup_subsys_state {
4996 struct cgroup *cgroup ;
4997 atomic_t refcnt ;
4998 unsigned long flags ;
4999 struct css_id *id ;
5000};
5001#line 163 "include/linux/cgroup.h"
5002struct cgroup {
5003 unsigned long flags ;
5004 atomic_t count ;
5005 struct list_head sibling ;
5006 struct list_head children ;
5007 struct cgroup *parent ;
5008 struct dentry *dentry ;
5009 struct cgroup_subsys_state *subsys[8UL * sizeof(unsigned long )] ;
5010 struct cgroupfs_root *root ;
5011 struct cgroup *top_cgroup ;
5012 struct list_head css_sets ;
5013 struct list_head release_list ;
5014 struct list_head pidlists ;
5015 struct mutex pidlist_mutex ;
5016 struct rcu_head rcu_head ;
5017 struct list_head event_list ;
5018 spinlock_t event_list_lock ;
5019};
5020#line 224 "include/linux/cgroup.h"
5021struct css_set {
5022 atomic_t refcount ;
5023 struct hlist_node hlist ;
5024 struct list_head tasks ;
5025 struct list_head cg_links ;
5026 struct cgroup_subsys_state *subsys[8UL * sizeof(unsigned long )] ;
5027 struct rcu_head rcu_head ;
5028};
5029#line 31 "include/linux/irq.h"
5030struct seq_file;
5031#line 32
5032struct module;
5033#line 12 "include/linux/irqdesc.h"
5034struct proc_dir_entry;
5035#line 14
5036struct module;
5037#line 16 "include/linux/profile.h"
5038struct proc_dir_entry;
5039#line 17
5040struct pt_regs;
5041#line 18
5042struct notifier_block;
5043#line 65
5044struct task_struct;
5045#line 66
5046struct mm_struct;
5047#line 88
5048struct pt_regs;
5049#line 132 "include/linux/hardirq.h"
5050struct task_struct;
5051#line 21 "include/net/netprio_cgroup.h"
5052struct netprio_map {
5053 struct rcu_head rcu ;
5054 u32 priomap_len ;
5055 u32 priomap[] ;
5056};
5057#line 58 "include/linux/netdevice.h"
5058struct netpoll_info;
5059#line 58
5060struct netpoll_info;
5061#line 59
5062struct device;
5063#line 60
5064struct phy_device;
5065#line 62
5066struct wireless_dev;
5067#line 62
5068struct wireless_dev;
5069#line 109
5070enum netdev_tx {
5071 __NETDEV_TX_MIN = (-0x7FFFFFFF-1),
5072 NETDEV_TX_OK = 0,
5073 NETDEV_TX_BUSY = 16,
5074 NETDEV_TX_LOCKED = 32
5075} ;
5076#line 115 "include/linux/netdevice.h"
5077typedef enum netdev_tx netdev_tx_t;
5078#line 172 "include/linux/netdevice.h"
5079struct net_device_stats {
5080 unsigned long rx_packets ;
5081 unsigned long tx_packets ;
5082 unsigned long rx_bytes ;
5083 unsigned long tx_bytes ;
5084 unsigned long rx_errors ;
5085 unsigned long tx_errors ;
5086 unsigned long rx_dropped ;
5087 unsigned long tx_dropped ;
5088 unsigned long multicast ;
5089 unsigned long collisions ;
5090 unsigned long rx_length_errors ;
5091 unsigned long rx_over_errors ;
5092 unsigned long rx_crc_errors ;
5093 unsigned long rx_frame_errors ;
5094 unsigned long rx_fifo_errors ;
5095 unsigned long rx_missed_errors ;
5096 unsigned long tx_aborted_errors ;
5097 unsigned long tx_carrier_errors ;
5098 unsigned long tx_fifo_errors ;
5099 unsigned long tx_heartbeat_errors ;
5100 unsigned long tx_window_errors ;
5101 unsigned long rx_compressed ;
5102 unsigned long tx_compressed ;
5103};
5104#line 222
5105struct neighbour;
5106#line 223
5107struct neigh_parms;
5108#line 223
5109struct neigh_parms;
5110#line 224
5111struct sk_buff;
5112#line 241 "include/linux/netdevice.h"
5113struct netdev_hw_addr_list {
5114 struct list_head list ;
5115 int count ;
5116};
5117#line 261 "include/linux/netdevice.h"
5118struct hh_cache {
5119 u16 hh_len ;
5120 u16 __pad ;
5121 seqlock_t hh_lock ;
5122 unsigned long hh_data[128UL / sizeof(long )] ;
5123};
5124#line 288 "include/linux/netdevice.h"
5125struct header_ops {
5126 int (*create)(struct sk_buff *skb , struct net_device *dev , unsigned short type ,
5127 void const *daddr , void const *saddr , unsigned int len ) ;
5128 int (*parse)(struct sk_buff const *skb , unsigned char *haddr ) ;
5129 int (*rebuild)(struct sk_buff *skb ) ;
5130 int (*cache)(struct neighbour const *neigh , struct hh_cache *hh , __be16 type ) ;
5131 void (*cache_update)(struct hh_cache *hh , struct net_device const *dev , unsigned char const *haddr ) ;
5132};
5133#line 410
5134enum rx_handler_result {
5135 RX_HANDLER_CONSUMED = 0,
5136 RX_HANDLER_ANOTHER = 1,
5137 RX_HANDLER_EXACT = 2,
5138 RX_HANDLER_PASS = 3
5139} ;
5140#line 416 "include/linux/netdevice.h"
5141typedef enum rx_handler_result rx_handler_result_t;
5142#line 417 "include/linux/netdevice.h"
5143typedef rx_handler_result_t rx_handler_func_t(struct sk_buff **pskb );
5144#line 539
5145struct Qdisc;
5146#line 539 "include/linux/netdevice.h"
5147struct netdev_queue {
5148 struct net_device *dev ;
5149 struct Qdisc *qdisc ;
5150 struct Qdisc *qdisc_sleeping ;
5151 struct kobject kobj ;
5152 int numa_node ;
5153 spinlock_t _xmit_lock __attribute__((__aligned__((1) << (6) ))) ;
5154 int xmit_lock_owner ;
5155 unsigned long trans_start ;
5156 unsigned long trans_timeout ;
5157 unsigned long state ;
5158 struct dql dql ;
5159} __attribute__((__aligned__((1) << (6) ))) ;
5160#line 596 "include/linux/netdevice.h"
5161struct rps_map {
5162 unsigned int len ;
5163 struct rcu_head rcu ;
5164 u16 cpus[0] ;
5165};
5166#line 608 "include/linux/netdevice.h"
5167struct rps_dev_flow {
5168 u16 cpu ;
5169 u16 filter ;
5170 unsigned int last_qtail ;
5171};
5172#line 618 "include/linux/netdevice.h"
5173struct rps_dev_flow_table {
5174 unsigned int mask ;
5175 struct rcu_head rcu ;
5176 struct work_struct free_work ;
5177 struct rps_dev_flow flows[0] ;
5178};
5179#line 669 "include/linux/netdevice.h"
5180struct netdev_rx_queue {
5181 struct rps_map *rps_map ;
5182 struct rps_dev_flow_table *rps_flow_table ;
5183 struct kobject kobj ;
5184 struct net_device *dev ;
5185} __attribute__((__aligned__((1) << (6) ))) ;
5186#line 682 "include/linux/netdevice.h"
5187struct xps_map {
5188 unsigned int len ;
5189 unsigned int alloc_len ;
5190 struct rcu_head rcu ;
5191 u16 queues[0] ;
5192};
5193#line 695 "include/linux/netdevice.h"
5194struct xps_dev_maps {
5195 struct rcu_head rcu ;
5196 struct xps_map *cpu_map[0] ;
5197};
5198#line 706 "include/linux/netdevice.h"
5199struct netdev_tc_txq {
5200 u16 count ;
5201 u16 offset ;
5202};
5203#line 716 "include/linux/netdevice.h"
5204struct netdev_fcoe_hbainfo {
5205 char manufacturer[64] ;
5206 char serial_number[64] ;
5207 char hardware_version[64] ;
5208 char driver_version[64] ;
5209 char optionrom_version[64] ;
5210 char firmware_version[64] ;
5211 char model[256] ;
5212 char model_description[256] ;
5213};
5214#line 909 "include/linux/netdevice.h"
5215struct net_device_ops {
5216 int (*ndo_init)(struct net_device *dev ) ;
5217 void (*ndo_uninit)(struct net_device *dev ) ;
5218 int (*ndo_open)(struct net_device *dev ) ;
5219 int (*ndo_stop)(struct net_device *dev ) ;
5220 netdev_tx_t (*ndo_start_xmit)(struct sk_buff *skb , struct net_device *dev ) ;
5221 u16 (*ndo_select_queue)(struct net_device *dev , struct sk_buff *skb ) ;
5222 void (*ndo_change_rx_flags)(struct net_device *dev , int flags ) ;
5223 void (*ndo_set_rx_mode)(struct net_device *dev ) ;
5224 int (*ndo_set_mac_address)(struct net_device *dev , void *addr ) ;
5225 int (*ndo_validate_addr)(struct net_device *dev ) ;
5226 int (*ndo_do_ioctl)(struct net_device *dev , struct ifreq *ifr , int cmd ) ;
5227 int (*ndo_set_config)(struct net_device *dev , struct ifmap *map ) ;
5228 int (*ndo_change_mtu)(struct net_device *dev , int new_mtu ) ;
5229 int (*ndo_neigh_setup)(struct net_device *dev , struct neigh_parms * ) ;
5230 void (*ndo_tx_timeout)(struct net_device *dev ) ;
5231 struct rtnl_link_stats64 *(*ndo_get_stats64)(struct net_device *dev , struct rtnl_link_stats64 *storage ) ;
5232 struct net_device_stats *(*ndo_get_stats)(struct net_device *dev ) ;
5233 int (*ndo_vlan_rx_add_vid)(struct net_device *dev , unsigned short vid ) ;
5234 int (*ndo_vlan_rx_kill_vid)(struct net_device *dev , unsigned short vid ) ;
5235 void (*ndo_poll_controller)(struct net_device *dev ) ;
5236 int (*ndo_netpoll_setup)(struct net_device *dev , struct netpoll_info *info ) ;
5237 void (*ndo_netpoll_cleanup)(struct net_device *dev ) ;
5238 int (*ndo_set_vf_mac)(struct net_device *dev , int queue , u8 *mac ) ;
5239 int (*ndo_set_vf_vlan)(struct net_device *dev , int queue , u16 vlan , u8 qos ) ;
5240 int (*ndo_set_vf_tx_rate)(struct net_device *dev , int vf , int rate ) ;
5241 int (*ndo_set_vf_spoofchk)(struct net_device *dev , int vf , bool setting ) ;
5242 int (*ndo_get_vf_config)(struct net_device *dev , int vf , struct ifla_vf_info *ivf ) ;
5243 int (*ndo_set_vf_port)(struct net_device *dev , int vf , struct nlattr **port ) ;
5244 int (*ndo_get_vf_port)(struct net_device *dev , int vf , struct sk_buff *skb ) ;
5245 int (*ndo_setup_tc)(struct net_device *dev , u8 tc ) ;
5246 int (*ndo_fcoe_enable)(struct net_device *dev ) ;
5247 int (*ndo_fcoe_disable)(struct net_device *dev ) ;
5248 int (*ndo_fcoe_ddp_setup)(struct net_device *dev , u16 xid , struct scatterlist *sgl ,
5249 unsigned int sgc ) ;
5250 int (*ndo_fcoe_ddp_done)(struct net_device *dev , u16 xid ) ;
5251 int (*ndo_fcoe_ddp_target)(struct net_device *dev , u16 xid , struct scatterlist *sgl ,
5252 unsigned int sgc ) ;
5253 int (*ndo_fcoe_get_hbainfo)(struct net_device *dev , struct netdev_fcoe_hbainfo *hbainfo ) ;
5254 int (*ndo_fcoe_get_wwn)(struct net_device *dev , u64 *wwn , int type ) ;
5255 int (*ndo_rx_flow_steer)(struct net_device *dev , struct sk_buff const *skb ,
5256 u16 rxq_index , u32 flow_id ) ;
5257 int (*ndo_add_slave)(struct net_device *dev , struct net_device *slave_dev ) ;
5258 int (*ndo_del_slave)(struct net_device *dev , struct net_device *slave_dev ) ;
5259 netdev_features_t (*ndo_fix_features)(struct net_device *dev , netdev_features_t features ) ;
5260 int (*ndo_set_features)(struct net_device *dev , netdev_features_t features ) ;
5261 int (*ndo_neigh_construct)(struct neighbour *n ) ;
5262 void (*ndo_neigh_destroy)(struct neighbour *n ) ;
5263};
5264#line 1017
5265struct iw_handler_def;
5266#line 1017
5267struct iw_public_data;
5268#line 1017
5269struct vlan_info;
5270#line 1017
5271struct in_device;
5272#line 1017
5273struct dn_dev;
5274#line 1017
5275struct inet6_dev;
5276#line 1017
5277struct cpu_rmap;
5278#line 1017
5279enum __anonenum_reg_state_333 {
5280 NETREG_UNINITIALIZED = 0,
5281 NETREG_REGISTERED = 1,
5282 NETREG_UNREGISTERING = 2,
5283 NETREG_UNREGISTERED = 3,
5284 NETREG_RELEASED = 4,
5285 NETREG_DUMMY = 5
5286} ;
5287#line 1017
5288enum __anonenum_rtnl_link_state_334 {
5289 RTNL_LINK_INITIALIZED = 0,
5290 RTNL_LINK_INITIALIZING = 1
5291} ;
5292#line 1017
5293struct pcpu_lstats;
5294#line 1017
5295struct pcpu_tstats;
5296#line 1017
5297struct pcpu_dstats;
5298#line 1017 "include/linux/netdevice.h"
5299union __anonunion____missing_field_name_335 {
5300 void *ml_priv ;
5301 struct pcpu_lstats *lstats ;
5302 struct pcpu_tstats *tstats ;
5303 struct pcpu_dstats *dstats ;
5304};
5305#line 1017
5306struct garp_port;
5307#line 1017
5308struct rtnl_link_ops;
5309#line 1017 "include/linux/netdevice.h"
5310struct net_device {
5311 char name[16] ;
5312 struct pm_qos_request pm_qos_req ;
5313 struct hlist_node name_hlist ;
5314 char *ifalias ;
5315 unsigned long mem_end ;
5316 unsigned long mem_start ;
5317 unsigned long base_addr ;
5318 unsigned int irq ;
5319 unsigned long state ;
5320 struct list_head dev_list ;
5321 struct list_head napi_list ;
5322 struct list_head unreg_list ;
5323 netdev_features_t features ;
5324 netdev_features_t hw_features ;
5325 netdev_features_t wanted_features ;
5326 netdev_features_t vlan_features ;
5327 int ifindex ;
5328 int iflink ;
5329 struct net_device_stats stats ;
5330 atomic_long_t rx_dropped ;
5331 struct iw_handler_def const *wireless_handlers ;
5332 struct iw_public_data *wireless_data ;
5333 struct net_device_ops const *netdev_ops ;
5334 struct ethtool_ops const *ethtool_ops ;
5335 struct header_ops const *header_ops ;
5336 unsigned int flags ;
5337 unsigned int priv_flags ;
5338 unsigned short gflags ;
5339 unsigned short padded ;
5340 unsigned char operstate ;
5341 unsigned char link_mode ;
5342 unsigned char if_port ;
5343 unsigned char dma ;
5344 unsigned int mtu ;
5345 unsigned short type ;
5346 unsigned short hard_header_len ;
5347 unsigned short needed_headroom ;
5348 unsigned short needed_tailroom ;
5349 unsigned char perm_addr[32] ;
5350 unsigned char addr_assign_type ;
5351 unsigned char addr_len ;
5352 unsigned char neigh_priv_len ;
5353 unsigned short dev_id ;
5354 spinlock_t addr_list_lock ;
5355 struct netdev_hw_addr_list uc ;
5356 struct netdev_hw_addr_list mc ;
5357 bool uc_promisc ;
5358 unsigned int promiscuity ;
5359 unsigned int allmulti ;
5360 struct vlan_info *vlan_info ;
5361 struct dsa_switch_tree *dsa_ptr ;
5362 void *atalk_ptr ;
5363 struct in_device *ip_ptr ;
5364 struct dn_dev *dn_ptr ;
5365 struct inet6_dev *ip6_ptr ;
5366 void *ec_ptr ;
5367 void *ax25_ptr ;
5368 struct wireless_dev *ieee80211_ptr ;
5369 unsigned long last_rx ;
5370 struct net_device *master ;
5371 unsigned char *dev_addr ;
5372 struct netdev_hw_addr_list dev_addrs ;
5373 unsigned char broadcast[32] ;
5374 struct kset *queues_kset ;
5375 struct netdev_rx_queue *_rx ;
5376 unsigned int num_rx_queues ;
5377 unsigned int real_num_rx_queues ;
5378 struct cpu_rmap *rx_cpu_rmap ;
5379 rx_handler_func_t *rx_handler ;
5380 void *rx_handler_data ;
5381 struct netdev_queue *ingress_queue ;
5382 struct netdev_queue *_tx __attribute__((__aligned__((1) << (6) ))) ;
5383 unsigned int num_tx_queues ;
5384 unsigned int real_num_tx_queues ;
5385 struct Qdisc *qdisc ;
5386 unsigned long tx_queue_len ;
5387 spinlock_t tx_global_lock ;
5388 struct xps_dev_maps *xps_maps ;
5389 unsigned long trans_start ;
5390 int watchdog_timeo ;
5391 struct timer_list watchdog_timer ;
5392 int *pcpu_refcnt ;
5393 struct list_head todo_list ;
5394 struct hlist_node index_hlist ;
5395 struct list_head link_watch_list ;
5396 enum __anonenum_reg_state_333 reg_state : 8 ;
5397 bool dismantle ;
5398 enum __anonenum_rtnl_link_state_334 rtnl_link_state : 16 ;
5399 void (*destructor)(struct net_device *dev ) ;
5400 struct netpoll_info *npinfo ;
5401 struct net *nd_net ;
5402 union __anonunion____missing_field_name_335 __annonCompField52 ;
5403 struct garp_port *garp_port ;
5404 struct device dev ;
5405 struct attribute_group const *sysfs_groups[4] ;
5406 struct rtnl_link_ops const *rtnl_link_ops ;
5407 unsigned int gso_max_size ;
5408 struct dcbnl_rtnl_ops const *dcbnl_ops ;
5409 u8 num_tc ;
5410 struct netdev_tc_txq tc_to_txq[16] ;
5411 u8 prio_tc_map[16] ;
5412 unsigned int fcoe_ddp_xid ;
5413 struct netprio_map *priomap ;
5414 struct phy_device *phydev ;
5415 int group ;
5416};
5417#line 1 "<compiler builtins>"
5418long __builtin_expect(long val , long res ) ;
5419#line 100 "include/linux/printk.h"
5420extern int ( printk)(char const *fmt , ...) ;
5421#line 152 "include/linux/mutex.h"
5422void mutex_lock(struct mutex *lock ) ;
5423#line 153
5424int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
5425#line 154
5426int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
5427#line 168
5428int mutex_trylock(struct mutex *lock ) ;
5429#line 169
5430void mutex_unlock(struct mutex *lock ) ;
5431#line 170
5432int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
5433#line 26 "include/linux/export.h"
5434extern struct module __this_module ;
5435#line 67 "include/linux/module.h"
5436int init_module(void) ;
5437#line 68
5438void cleanup_module(void) ;
5439#line 144 "include/linux/phy.h"
5440extern int mdiobus_read(struct mii_bus *bus , int addr , u32 regnum ) ;
5441#line 145
5442extern int mdiobus_write(struct mii_bus *bus , int addr , u32 regnum , u16 val ) ;
5443#line 460
5444__inline static int phy_read(struct phy_device *phydev , u32 regnum ) __attribute__((__no_instrument_function__)) ;
5445#line 460 "include/linux/phy.h"
5446__inline static int phy_read(struct phy_device *phydev , u32 regnum )
5447{ int tmp___7 ;
5448 unsigned long __cil_tmp4 ;
5449 unsigned long __cil_tmp5 ;
5450 struct mii_bus *__cil_tmp6 ;
5451 unsigned long __cil_tmp7 ;
5452 unsigned long __cil_tmp8 ;
5453 int __cil_tmp9 ;
5454
5455 {
5456 {
5457#line 462
5458 __cil_tmp4 = (unsigned long )phydev;
5459#line 462
5460 __cil_tmp5 = __cil_tmp4 + 8;
5461#line 462
5462 __cil_tmp6 = *((struct mii_bus **)__cil_tmp5);
5463#line 462
5464 __cil_tmp7 = (unsigned long )phydev;
5465#line 462
5466 __cil_tmp8 = __cil_tmp7 + 800;
5467#line 462
5468 __cil_tmp9 = *((int *)__cil_tmp8);
5469#line 462
5470 tmp___7 = mdiobus_read(__cil_tmp6, __cil_tmp9, regnum);
5471 }
5472#line 462
5473 return (tmp___7);
5474}
5475}
5476#line 475
5477__inline static int phy_write(struct phy_device *phydev , u32 regnum , u16 val ) __attribute__((__no_instrument_function__)) ;
5478#line 475 "include/linux/phy.h"
5479__inline static int phy_write(struct phy_device *phydev , u32 regnum , u16 val )
5480{ int tmp___7 ;
5481 unsigned long __cil_tmp5 ;
5482 unsigned long __cil_tmp6 ;
5483 struct mii_bus *__cil_tmp7 ;
5484 unsigned long __cil_tmp8 ;
5485 unsigned long __cil_tmp9 ;
5486 int __cil_tmp10 ;
5487
5488 {
5489 {
5490#line 477
5491 __cil_tmp5 = (unsigned long )phydev;
5492#line 477
5493 __cil_tmp6 = __cil_tmp5 + 8;
5494#line 477
5495 __cil_tmp7 = *((struct mii_bus **)__cil_tmp6);
5496#line 477
5497 __cil_tmp8 = (unsigned long )phydev;
5498#line 477
5499 __cil_tmp9 = __cil_tmp8 + 800;
5500#line 477
5501 __cil_tmp10 = *((int *)__cil_tmp9);
5502#line 477
5503 tmp___7 = mdiobus_write(__cil_tmp7, __cil_tmp10, regnum, val);
5504 }
5505#line 477
5506 return (tmp___7);
5507}
5508}
5509#line 506
5510extern int genphy_config_aneg(struct phy_device *phydev ) ;
5511#line 508
5512extern int genphy_read_status(struct phy_device *phydev ) ;
5513#line 511
5514extern void phy_driver_unregister(struct phy_driver *drv ) ;
5515#line 512
5516extern int phy_driver_register(struct phy_driver *new_driver ) ;
5517#line 56 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5518static u8 ns_exp_read(struct phy_device *phydev , u16 reg )
5519{ int tmp___7 ;
5520 u32 __cil_tmp4 ;
5521 u32 __cil_tmp5 ;
5522
5523 {
5524 {
5525#line 58
5526 __cil_tmp4 = (u32 )30;
5527#line 58
5528 phy_write(phydev, __cil_tmp4, reg);
5529#line 59
5530 __cil_tmp5 = (u32 )29;
5531#line 59
5532 tmp___7 = phy_read(phydev, __cil_tmp5);
5533 }
5534#line 59
5535 return ((u8 )tmp___7);
5536}
5537}
5538#line 62 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5539static void ns_exp_write(struct phy_device *phydev , u16 reg , u8 data )
5540{ u32 __cil_tmp4 ;
5541 u32 __cil_tmp5 ;
5542 u16 __cil_tmp6 ;
5543
5544 {
5545 {
5546#line 64
5547 __cil_tmp4 = (u32 )30;
5548#line 64
5549 phy_write(phydev, __cil_tmp4, reg);
5550#line 65
5551 __cil_tmp5 = (u32 )29;
5552#line 65
5553 __cil_tmp6 = (u16 )data;
5554#line 65
5555 phy_write(phydev, __cil_tmp5, __cil_tmp6);
5556 }
5557#line 66
5558 return;
5559}
5560}
5561#line 68 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5562static int ns_config_intr(struct phy_device *phydev )
5563{ int err ;
5564 unsigned long __cil_tmp3 ;
5565 unsigned long __cil_tmp4 ;
5566 u32 __cil_tmp5 ;
5567 u32 __cil_tmp6 ;
5568 u16 __cil_tmp7 ;
5569 u32 __cil_tmp8 ;
5570 u16 __cil_tmp9 ;
5571
5572 {
5573 {
5574#line 72
5575 __cil_tmp3 = (unsigned long )phydev;
5576#line 72
5577 __cil_tmp4 = __cil_tmp3 + 824;
5578#line 72
5579 __cil_tmp5 = *((u32 *)__cil_tmp4);
5580#line 72
5581 if (__cil_tmp5 == 2147483648U) {
5582 {
5583#line 73
5584 __cil_tmp6 = (u32 )21;
5585#line 73
5586 __cil_tmp7 = (u16 )57368;
5587#line 73
5588 err = phy_write(phydev, __cil_tmp6, __cil_tmp7);
5589 }
5590 } else {
5591 {
5592#line 76
5593 __cil_tmp8 = (u32 )21;
5594#line 76
5595 __cil_tmp9 = (u16 )0;
5596#line 76
5597 err = phy_write(phydev, __cil_tmp8, __cil_tmp9);
5598 }
5599 }
5600 }
5601#line 78
5602 return (err);
5603}
5604}
5605#line 81 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5606static int ns_ack_interrupt(struct phy_device *phydev )
5607{ int ret ;
5608 int tmp___7 ;
5609 u32 __cil_tmp4 ;
5610 u32 __cil_tmp5 ;
5611 int __cil_tmp6 ;
5612 u16 __cil_tmp7 ;
5613
5614 {
5615 {
5616#line 83
5617 __cil_tmp4 = (u32 )20;
5618#line 83
5619 tmp___7 = phy_read(phydev, __cil_tmp4);
5620#line 83
5621 ret = tmp___7;
5622 }
5623#line 84
5624 if (ret < 0) {
5625#line 85
5626 return (ret);
5627 } else {
5628
5629 }
5630 {
5631#line 89
5632 __cil_tmp5 = (u32 )23;
5633#line 89
5634 __cil_tmp6 = ret & -8;
5635#line 89
5636 __cil_tmp7 = (u16 )__cil_tmp6;
5637#line 89
5638 ret = phy_write(phydev, __cil_tmp5, __cil_tmp7);
5639 }
5640#line 91
5641 return (ret);
5642}
5643}
5644#line 94 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5645static void ns_giga_speed_fallback(struct phy_device *phydev , int mode )
5646{ int bmcr ;
5647 int tmp___7 ;
5648 u32 __cil_tmp5 ;
5649 u32 __cil_tmp6 ;
5650 int __cil_tmp7 ;
5651 u16 __cil_tmp8 ;
5652 u32 __cil_tmp9 ;
5653 u16 __cil_tmp10 ;
5654 u32 __cil_tmp11 ;
5655 u16 __cil_tmp12 ;
5656 u32 __cil_tmp13 ;
5657 u16 __cil_tmp14 ;
5658 u32 __cil_tmp15 ;
5659 int __cil_tmp16 ;
5660 u16 __cil_tmp17 ;
5661 u32 __cil_tmp18 ;
5662 u16 __cil_tmp19 ;
5663
5664 {
5665 {
5666#line 96
5667 __cil_tmp5 = (u32 )0;
5668#line 96
5669 tmp___7 = phy_read(phydev, __cil_tmp5);
5670#line 96
5671 bmcr = tmp___7;
5672#line 98
5673 __cil_tmp6 = (u32 )0;
5674#line 98
5675 __cil_tmp7 = bmcr | 2048;
5676#line 98
5677 __cil_tmp8 = (u16 )__cil_tmp7;
5678#line 98
5679 phy_write(phydev, __cil_tmp6, __cil_tmp8);
5680#line 101
5681 __cil_tmp9 = (u32 )22;
5682#line 101
5683 __cil_tmp10 = (u16 )0;
5684#line 101
5685 phy_write(phydev, __cil_tmp9, __cil_tmp10);
5686#line 102
5687 __cil_tmp11 = (u32 )30;
5688#line 102
5689 __cil_tmp12 = (u16 )448;
5690#line 102
5691 phy_write(phydev, __cil_tmp11, __cil_tmp12);
5692#line 103
5693 __cil_tmp13 = (u32 )29;
5694#line 103
5695 __cil_tmp14 = (u16 )8;
5696#line 103
5697 phy_write(phydev, __cil_tmp13, __cil_tmp14);
5698#line 104
5699 __cil_tmp15 = (u32 )0;
5700#line 104
5701 __cil_tmp16 = bmcr & -2049;
5702#line 104
5703 __cil_tmp17 = (u16 )__cil_tmp16;
5704#line 104
5705 phy_write(phydev, __cil_tmp15, __cil_tmp17);
5706#line 105
5707 __cil_tmp18 = (u32 )19;
5708#line 105
5709 __cil_tmp19 = (u16 )mode;
5710#line 105
5711 phy_write(phydev, __cil_tmp18, __cil_tmp19);
5712 }
5713#line 106
5714 return;
5715}
5716}
5717#line 108 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5718static void ns_10_base_t_hdx_loopack(struct phy_device *phydev , int disable )
5719{ u8 tmp___7 ;
5720 u8 tmp___8 ;
5721 char const *tmp___10 ;
5722 u8 tmp___11 ;
5723 u16 __cil_tmp8 ;
5724 u16 __cil_tmp9 ;
5725 int __cil_tmp10 ;
5726 int __cil_tmp11 ;
5727 u8 __cil_tmp12 ;
5728 u16 __cil_tmp13 ;
5729 u16 __cil_tmp14 ;
5730 int __cil_tmp15 ;
5731 int __cil_tmp16 ;
5732 u8 __cil_tmp17 ;
5733 u16 __cil_tmp18 ;
5734 int __cil_tmp19 ;
5735
5736 {
5737#line 110
5738 if (disable) {
5739 {
5740#line 111
5741 __cil_tmp8 = (u16 )448;
5742#line 111
5743 tmp___7 = ns_exp_read(phydev, __cil_tmp8);
5744#line 111
5745 __cil_tmp9 = (u16 )448;
5746#line 111
5747 __cil_tmp10 = (int )tmp___7;
5748#line 111
5749 __cil_tmp11 = __cil_tmp10 | 1;
5750#line 111
5751 __cil_tmp12 = (u8 )__cil_tmp11;
5752#line 111
5753 ns_exp_write(phydev, __cil_tmp9, __cil_tmp12);
5754 }
5755 } else {
5756 {
5757#line 113
5758 __cil_tmp13 = (u16 )448;
5759#line 113
5760 tmp___8 = ns_exp_read(phydev, __cil_tmp13);
5761#line 113
5762 __cil_tmp14 = (u16 )448;
5763#line 113
5764 __cil_tmp15 = (int )tmp___8;
5765#line 113
5766 __cil_tmp16 = __cil_tmp15 & 65534;
5767#line 113
5768 __cil_tmp17 = (u8 )__cil_tmp16;
5769#line 113
5770 ns_exp_write(phydev, __cil_tmp14, __cil_tmp17);
5771 }
5772 }
5773 {
5774#line 116
5775 __cil_tmp18 = (u16 )448;
5776#line 116
5777 tmp___11 = ns_exp_read(phydev, __cil_tmp18);
5778 }
5779 {
5780#line 116
5781 __cil_tmp19 = (int )tmp___11;
5782#line 116
5783 if (__cil_tmp19 & 1) {
5784#line 116
5785 tmp___10 = "off";
5786 } else {
5787#line 116
5788 tmp___10 = "on";
5789 }
5790 }
5791 {
5792#line 116
5793 printk("<7>DP83865 PHY: 10BASE-T HDX loopback %s\n", tmp___10);
5794 }
5795#line 118
5796 return;
5797}
5798}
5799#line 120 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5800static int ns_config_init(struct phy_device *phydev )
5801{ int tmp___7 ;
5802
5803 {
5804 {
5805#line 122
5806 ns_giga_speed_fallback(phydev, 7);
5807#line 125
5808 ns_10_base_t_hdx_loopack(phydev, 1);
5809#line 126
5810 tmp___7 = ns_ack_interrupt(phydev);
5811 }
5812#line 126
5813 return (tmp___7);
5814}
5815}
5816#line 129 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5817static struct phy_driver dp83865_driver =
5818#line 129
5819 {(u32 )536894586, (char *)"NatSemi DP83865", 4294967280U, (u32 )((((((((((1 | (1 << 1)) | (1 << 2)) | (1 << 3)) | (1 << 6)) | (1 << 7)) | (1 << 9)) | (1 << 4)) | (1 << 5)) | (1 << 13)) | (1 << 14)),
5820 (u32 )1, & ns_config_init, (int (*)(struct phy_device *phydev ))0, (int (*)(struct phy_device *phydev ))0,
5821 (int (*)(struct phy_device *phydev ))0, & genphy_config_aneg, & genphy_read_status,
5822 & ns_ack_interrupt, & ns_config_intr, (int (*)(struct phy_device *phydev ))0,
5823 (void (*)(struct phy_device *phydev ))0, (int (*)(struct phy_device *phydev ,
5824 struct ifreq *ifr ))0, (bool (*)(struct phy_device *dev ,
5825 struct sk_buff *skb ,
5826 int type ))0,
5827 (void (*)(struct phy_device *dev , struct sk_buff *skb , int type ))0, {(char const *)0,
5828 (struct bus_type *)0,
5829 & __this_module,
5830 (char const *)0,
5831 (_Bool)0,
5832 (struct of_device_id const *)0,
5833 (int (*)(struct device *dev ))0,
5834 (int (*)(struct device *dev ))0,
5835 (void (*)(struct device *dev ))0,
5836 (int (*)(struct device *dev ,
5837 pm_message_t state ))0,
5838 (int (*)(struct device *dev ))0,
5839 (struct attribute_group const **)0,
5840 (struct dev_pm_ops const *)0,
5841 (struct driver_private *)0}};
5842#line 143
5843static int ns_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
5844#line 143 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5845static int ns_init(void)
5846{ int tmp___7 ;
5847
5848 {
5849 {
5850#line 145
5851 tmp___7 = phy_driver_register(& dp83865_driver);
5852 }
5853#line 145
5854 return (tmp___7);
5855}
5856}
5857#line 148
5858static void ns_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
5859#line 148 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5860static void ns_exit(void)
5861{
5862
5863 {
5864 {
5865#line 150
5866 phy_driver_unregister(& dp83865_driver);
5867 }
5868#line 151
5869 return;
5870}
5871}
5872#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5873static char const __mod_description153[31] __attribute__((__used__, __unused__,
5874__section__(".modinfo"), __aligned__(1))) =
5875#line 153
5876 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
5877 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
5878 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
5879 (char const )'N', (char const )'a', (char const )'t', (char const )'S',
5880 (char const )'e', (char const )'m', (char const )'i', (char const )' ',
5881 (char const )'P', (char const )'H', (char const )'Y', (char const )' ',
5882 (char const )'d', (char const )'r', (char const )'i', (char const )'v',
5883 (char const )'e', (char const )'r', (char const )'\000'};
5884#line 154 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5885static char const __mod_author154[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
5886__aligned__(1))) =
5887#line 154
5888 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
5889 (char const )'o', (char const )'r', (char const )'=', (char const )'S',
5890 (char const )'t', (char const )'u', (char const )'a', (char const )'r',
5891 (char const )'t', (char const )' ', (char const )'M', (char const )'e',
5892 (char const )'n', (char const )'e', (char const )'f', (char const )'y',
5893 (char const )'\000'};
5894#line 155 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5895static char const __mod_license155[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
5896__aligned__(1))) =
5897#line 155
5898 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
5899 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
5900 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
5901#line 157 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5902int init_module(void)
5903{ int tmp___7 ;
5904
5905 {
5906 {
5907#line 157
5908 tmp___7 = ns_init();
5909 }
5910#line 157
5911 return (tmp___7);
5912}
5913}
5914#line 158 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5915void cleanup_module(void)
5916{
5917
5918 {
5919 {
5920#line 158
5921 ns_exit();
5922 }
5923#line 158
5924 return;
5925}
5926}
5927#line 160 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5928static struct mdio_device_id ns_tbl[1] __attribute__((__unused__)) = { {(__u32 )536894586, 4294967280U}};
5929#line 165
5930extern struct mdio_device_id const __mod_mdio_device_table __attribute__((__unused__,
5931__alias__("ns_tbl"))) ;
5932#line 183
5933void ldv_check_final_state(void) ;
5934#line 189
5935extern void ldv_initialize(void) ;
5936#line 192
5937extern int __VERIFIER_nondet_int(void) ;
5938#line 195 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5939int LDV_IN_INTERRUPT ;
5940#line 198 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
5941void main(void)
5942{ struct phy_device *var_group1 ;
5943 int tmp___7 ;
5944 int tmp___8 ;
5945 int tmp___9 ;
5946
5947 {
5948 {
5949#line 277
5950 LDV_IN_INTERRUPT = 1;
5951#line 286
5952 ldv_initialize();
5953#line 311
5954 tmp___7 = ns_init();
5955 }
5956#line 311
5957 if (tmp___7) {
5958#line 312
5959 goto ldv_final;
5960 } else {
5961
5962 }
5963 {
5964#line 316
5965 while (1) {
5966 while_continue: ;
5967 {
5968#line 316
5969 tmp___9 = __VERIFIER_nondet_int();
5970 }
5971#line 316
5972 if (tmp___9) {
5973
5974 } else {
5975#line 316
5976 goto while_break;
5977 }
5978 {
5979#line 319
5980 tmp___8 = __VERIFIER_nondet_int();
5981 }
5982#line 321
5983 if (tmp___8 == 0) {
5984#line 321
5985 goto case_0;
5986 } else
5987#line 356
5988 if (tmp___8 == 1) {
5989#line 356
5990 goto case_1;
5991 } else
5992#line 391
5993 if (tmp___8 == 2) {
5994#line 391
5995 goto case_2;
5996 } else {
5997 {
5998#line 426
5999 goto switch_default;
6000#line 319
6001 if (0) {
6002 case_0:
6003 {
6004#line 348
6005 ns_config_init(var_group1);
6006 }
6007#line 355
6008 goto switch_break;
6009 case_1:
6010 {
6011#line 383
6012 ns_ack_interrupt(var_group1);
6013 }
6014#line 390
6015 goto switch_break;
6016 case_2:
6017 {
6018#line 418
6019 ns_config_intr(var_group1);
6020 }
6021#line 425
6022 goto switch_break;
6023 switch_default:
6024#line 426
6025 goto switch_break;
6026 } else {
6027 switch_break: ;
6028 }
6029 }
6030 }
6031 }
6032 while_break: ;
6033 }
6034 {
6035#line 457
6036 ns_exit();
6037 }
6038 ldv_final:
6039 {
6040#line 460
6041 ldv_check_final_state();
6042 }
6043#line 463
6044 return;
6045}
6046}
6047#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
6048void ldv_blast_assert(void)
6049{
6050
6051 {
6052 ERROR:
6053#line 6
6054 goto ERROR;
6055}
6056}
6057#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
6058extern int __VERIFIER_nondet_int(void) ;
6059#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6060int ldv_mutex = 1;
6061#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6062int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
6063{ int nondetermined ;
6064
6065 {
6066#line 29
6067 if (ldv_mutex == 1) {
6068
6069 } else {
6070 {
6071#line 29
6072 ldv_blast_assert();
6073 }
6074 }
6075 {
6076#line 32
6077 nondetermined = __VERIFIER_nondet_int();
6078 }
6079#line 35
6080 if (nondetermined) {
6081#line 38
6082 ldv_mutex = 2;
6083#line 40
6084 return (0);
6085 } else {
6086#line 45
6087 return (-4);
6088 }
6089}
6090}
6091#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6092int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
6093{ int nondetermined ;
6094
6095 {
6096#line 57
6097 if (ldv_mutex == 1) {
6098
6099 } else {
6100 {
6101#line 57
6102 ldv_blast_assert();
6103 }
6104 }
6105 {
6106#line 60
6107 nondetermined = __VERIFIER_nondet_int();
6108 }
6109#line 63
6110 if (nondetermined) {
6111#line 66
6112 ldv_mutex = 2;
6113#line 68
6114 return (0);
6115 } else {
6116#line 73
6117 return (-4);
6118 }
6119}
6120}
6121#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6122int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
6123{ int atomic_value_after_dec ;
6124
6125 {
6126#line 83
6127 if (ldv_mutex == 1) {
6128
6129 } else {
6130 {
6131#line 83
6132 ldv_blast_assert();
6133 }
6134 }
6135 {
6136#line 86
6137 atomic_value_after_dec = __VERIFIER_nondet_int();
6138 }
6139#line 89
6140 if (atomic_value_after_dec == 0) {
6141#line 92
6142 ldv_mutex = 2;
6143#line 94
6144 return (1);
6145 } else {
6146
6147 }
6148#line 98
6149 return (0);
6150}
6151}
6152#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6153void mutex_lock(struct mutex *lock )
6154{
6155
6156 {
6157#line 108
6158 if (ldv_mutex == 1) {
6159
6160 } else {
6161 {
6162#line 108
6163 ldv_blast_assert();
6164 }
6165 }
6166#line 110
6167 ldv_mutex = 2;
6168#line 111
6169 return;
6170}
6171}
6172#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6173int mutex_trylock(struct mutex *lock )
6174{ int nondetermined ;
6175
6176 {
6177#line 121
6178 if (ldv_mutex == 1) {
6179
6180 } else {
6181 {
6182#line 121
6183 ldv_blast_assert();
6184 }
6185 }
6186 {
6187#line 124
6188 nondetermined = __VERIFIER_nondet_int();
6189 }
6190#line 127
6191 if (nondetermined) {
6192#line 130
6193 ldv_mutex = 2;
6194#line 132
6195 return (1);
6196 } else {
6197#line 137
6198 return (0);
6199 }
6200}
6201}
6202#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6203void mutex_unlock(struct mutex *lock )
6204{
6205
6206 {
6207#line 147
6208 if (ldv_mutex == 2) {
6209
6210 } else {
6211 {
6212#line 147
6213 ldv_blast_assert();
6214 }
6215 }
6216#line 149
6217 ldv_mutex = 1;
6218#line 150
6219 return;
6220}
6221}
6222#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6223void ldv_check_final_state(void)
6224{
6225
6226 {
6227#line 156
6228 if (ldv_mutex == 1) {
6229
6230 } else {
6231 {
6232#line 156
6233 ldv_blast_assert();
6234 }
6235 }
6236#line 157
6237 return;
6238}
6239}
6240#line 472 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9668/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/national.c.common.c"
6241long s__builtin_expect(long val , long res )
6242{
6243
6244 {
6245#line 473
6246 return (val);
6247}
6248}