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