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