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