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