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