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