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