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