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