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