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