1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 20 "include/asm-generic/int-ll64.h"
7typedef unsigned char __u8;
8#line 22 "include/asm-generic/int-ll64.h"
9typedef short __s16;
10#line 23 "include/asm-generic/int-ll64.h"
11typedef unsigned short __u16;
12#line 25 "include/asm-generic/int-ll64.h"
13typedef int __s32;
14#line 26 "include/asm-generic/int-ll64.h"
15typedef unsigned int __u32;
16#line 29 "include/asm-generic/int-ll64.h"
17typedef long long __s64;
18#line 30 "include/asm-generic/int-ll64.h"
19typedef unsigned long long __u64;
20#line 43 "include/asm-generic/int-ll64.h"
21typedef unsigned char u8;
22#line 45 "include/asm-generic/int-ll64.h"
23typedef short s16;
24#line 46 "include/asm-generic/int-ll64.h"
25typedef unsigned short u16;
26#line 48 "include/asm-generic/int-ll64.h"
27typedef int s32;
28#line 49 "include/asm-generic/int-ll64.h"
29typedef unsigned int u32;
30#line 51 "include/asm-generic/int-ll64.h"
31typedef long long s64;
32#line 52 "include/asm-generic/int-ll64.h"
33typedef unsigned long long u64;
34#line 14 "include/asm-generic/posix_types.h"
35typedef long __kernel_long_t;
36#line 15 "include/asm-generic/posix_types.h"
37typedef unsigned long __kernel_ulong_t;
38#line 31 "include/asm-generic/posix_types.h"
39typedef int __kernel_pid_t;
40#line 52 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_uid32_t;
42#line 53 "include/asm-generic/posix_types.h"
43typedef unsigned int __kernel_gid32_t;
44#line 75 "include/asm-generic/posix_types.h"
45typedef __kernel_ulong_t __kernel_size_t;
46#line 76 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_ssize_t;
48#line 91 "include/asm-generic/posix_types.h"
49typedef long long __kernel_loff_t;
50#line 92 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_time_t;
52#line 93 "include/asm-generic/posix_types.h"
53typedef __kernel_long_t __kernel_clock_t;
54#line 94 "include/asm-generic/posix_types.h"
55typedef int __kernel_timer_t;
56#line 95 "include/asm-generic/posix_types.h"
57typedef int __kernel_clockid_t;
58#line 21 "include/linux/types.h"
59typedef __u32 __kernel_dev_t;
60#line 24 "include/linux/types.h"
61typedef __kernel_dev_t dev_t;
62#line 27 "include/linux/types.h"
63typedef unsigned short umode_t;
64#line 30 "include/linux/types.h"
65typedef __kernel_pid_t pid_t;
66#line 35 "include/linux/types.h"
67typedef __kernel_clockid_t clockid_t;
68#line 38 "include/linux/types.h"
69typedef _Bool bool;
70#line 40 "include/linux/types.h"
71typedef __kernel_uid32_t uid_t;
72#line 41 "include/linux/types.h"
73typedef __kernel_gid32_t gid_t;
74#line 54 "include/linux/types.h"
75typedef __kernel_loff_t loff_t;
76#line 63 "include/linux/types.h"
77typedef __kernel_size_t size_t;
78#line 68 "include/linux/types.h"
79typedef __kernel_ssize_t ssize_t;
80#line 78 "include/linux/types.h"
81typedef __kernel_time_t time_t;
82#line 111 "include/linux/types.h"
83typedef __s32 int32_t;
84#line 117 "include/linux/types.h"
85typedef __u32 uint32_t;
86#line 142 "include/linux/types.h"
87typedef unsigned long sector_t;
88#line 143 "include/linux/types.h"
89typedef unsigned long blkcnt_t;
90#line 178 "include/linux/types.h"
91typedef __u16 __le16;
92#line 202 "include/linux/types.h"
93typedef unsigned int gfp_t;
94#line 203 "include/linux/types.h"
95typedef unsigned int fmode_t;
96#line 219 "include/linux/types.h"
97struct __anonstruct_atomic_t_7 {
98 int counter ;
99};
100#line 219 "include/linux/types.h"
101typedef struct __anonstruct_atomic_t_7 atomic_t;
102#line 224 "include/linux/types.h"
103struct __anonstruct_atomic64_t_8 {
104 long counter ;
105};
106#line 224 "include/linux/types.h"
107typedef struct __anonstruct_atomic64_t_8 atomic64_t;
108#line 229 "include/linux/types.h"
109struct list_head {
110 struct list_head *next ;
111 struct list_head *prev ;
112};
113#line 233
114struct hlist_node;
115#line 233 "include/linux/types.h"
116struct hlist_head {
117 struct hlist_node *first ;
118};
119#line 237 "include/linux/types.h"
120struct hlist_node {
121 struct hlist_node *next ;
122 struct hlist_node **pprev ;
123};
124#line 253 "include/linux/types.h"
125struct rcu_head {
126 struct rcu_head *next ;
127 void (*func)(struct rcu_head *head ) ;
128};
129#line 146 "include/linux/init.h"
130typedef void (*ctor_fn_t)(void);
131#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
132struct module;
133#line 56
134struct module;
135#line 135 "include/linux/kernel.h"
136struct completion;
137#line 135
138struct completion;
139#line 136
140struct pt_regs;
141#line 136
142struct pt_regs;
143#line 349
144struct pid;
145#line 349
146struct pid;
147#line 12 "include/linux/thread_info.h"
148struct timespec;
149#line 12
150struct timespec;
151#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
152struct page;
153#line 18
154struct page;
155#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
156struct task_struct;
157#line 20
158struct task_struct;
159#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
160struct task_struct;
161#line 8
162struct mm_struct;
163#line 8
164struct mm_struct;
165#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
166struct pt_regs {
167 unsigned long r15 ;
168 unsigned long r14 ;
169 unsigned long r13 ;
170 unsigned long r12 ;
171 unsigned long bp ;
172 unsigned long bx ;
173 unsigned long r11 ;
174 unsigned long r10 ;
175 unsigned long r9 ;
176 unsigned long r8 ;
177 unsigned long ax ;
178 unsigned long cx ;
179 unsigned long dx ;
180 unsigned long si ;
181 unsigned long di ;
182 unsigned long orig_ax ;
183 unsigned long ip ;
184 unsigned long cs ;
185 unsigned long flags ;
186 unsigned long sp ;
187 unsigned long ss ;
188};
189#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
190struct __anonstruct____missing_field_name_15 {
191 unsigned int a ;
192 unsigned int b ;
193};
194#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
195struct __anonstruct____missing_field_name_16 {
196 u16 limit0 ;
197 u16 base0 ;
198 unsigned int base1 : 8 ;
199 unsigned int type : 4 ;
200 unsigned int s : 1 ;
201 unsigned int dpl : 2 ;
202 unsigned int p : 1 ;
203 unsigned int limit : 4 ;
204 unsigned int avl : 1 ;
205 unsigned int l : 1 ;
206 unsigned int d : 1 ;
207 unsigned int g : 1 ;
208 unsigned int base2 : 8 ;
209};
210#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
211union __anonunion____missing_field_name_14 {
212 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
213 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
214};
215#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
216struct desc_struct {
217 union __anonunion____missing_field_name_14 __annonCompField7 ;
218} __attribute__((__packed__)) ;
219#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
220typedef unsigned long pgdval_t;
221#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
222typedef unsigned long pgprotval_t;
223#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
224struct pgprot {
225 pgprotval_t pgprot ;
226};
227#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
228typedef struct pgprot pgprot_t;
229#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
230struct __anonstruct_pgd_t_20 {
231 pgdval_t pgd ;
232};
233#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
234typedef struct __anonstruct_pgd_t_20 pgd_t;
235#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
236typedef struct page *pgtable_t;
237#line 295
238struct file;
239#line 295
240struct file;
241#line 313
242struct seq_file;
243#line 313
244struct seq_file;
245#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
246struct page;
247#line 47
248struct thread_struct;
249#line 47
250struct thread_struct;
251#line 50
252struct mm_struct;
253#line 51
254struct desc_struct;
255#line 52
256struct task_struct;
257#line 53
258struct cpumask;
259#line 53
260struct cpumask;
261#line 329
262struct arch_spinlock;
263#line 329
264struct arch_spinlock;
265#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
266struct task_struct;
267#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
268struct kernel_vm86_regs {
269 struct pt_regs pt ;
270 unsigned short es ;
271 unsigned short __esh ;
272 unsigned short ds ;
273 unsigned short __dsh ;
274 unsigned short fs ;
275 unsigned short __fsh ;
276 unsigned short gs ;
277 unsigned short __gsh ;
278};
279#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
280union __anonunion____missing_field_name_24 {
281 struct pt_regs *regs ;
282 struct kernel_vm86_regs *vm86 ;
283};
284#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
285struct math_emu_info {
286 long ___orig_eip ;
287 union __anonunion____missing_field_name_24 __annonCompField8 ;
288};
289#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
290struct task_struct;
291#line 10 "include/asm-generic/bug.h"
292struct bug_entry {
293 int bug_addr_disp ;
294 int file_disp ;
295 unsigned short line ;
296 unsigned short flags ;
297};
298#line 12 "include/linux/bug.h"
299struct pt_regs;
300#line 14 "include/linux/cpumask.h"
301struct cpumask {
302 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
303};
304#line 14 "include/linux/cpumask.h"
305typedef struct cpumask cpumask_t;
306#line 637 "include/linux/cpumask.h"
307typedef struct cpumask *cpumask_var_t;
308#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
309struct static_key;
310#line 234
311struct static_key;
312#line 11 "include/linux/personality.h"
313struct pt_regs;
314#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
315struct i387_fsave_struct {
316 u32 cwd ;
317 u32 swd ;
318 u32 twd ;
319 u32 fip ;
320 u32 fcs ;
321 u32 foo ;
322 u32 fos ;
323 u32 st_space[20] ;
324 u32 status ;
325};
326#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
327struct __anonstruct____missing_field_name_31 {
328 u64 rip ;
329 u64 rdp ;
330};
331#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
332struct __anonstruct____missing_field_name_32 {
333 u32 fip ;
334 u32 fcs ;
335 u32 foo ;
336 u32 fos ;
337};
338#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
339union __anonunion____missing_field_name_30 {
340 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
341 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
342};
343#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
344union __anonunion____missing_field_name_33 {
345 u32 padding1[12] ;
346 u32 sw_reserved[12] ;
347};
348#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
349struct i387_fxsave_struct {
350 u16 cwd ;
351 u16 swd ;
352 u16 twd ;
353 u16 fop ;
354 union __anonunion____missing_field_name_30 __annonCompField14 ;
355 u32 mxcsr ;
356 u32 mxcsr_mask ;
357 u32 st_space[32] ;
358 u32 xmm_space[64] ;
359 u32 padding[12] ;
360 union __anonunion____missing_field_name_33 __annonCompField15 ;
361} __attribute__((__aligned__(16))) ;
362#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
363struct i387_soft_struct {
364 u32 cwd ;
365 u32 swd ;
366 u32 twd ;
367 u32 fip ;
368 u32 fcs ;
369 u32 foo ;
370 u32 fos ;
371 u32 st_space[20] ;
372 u8 ftop ;
373 u8 changed ;
374 u8 lookahead ;
375 u8 no_update ;
376 u8 rm ;
377 u8 alimit ;
378 struct math_emu_info *info ;
379 u32 entry_eip ;
380};
381#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
382struct ymmh_struct {
383 u32 ymmh_space[64] ;
384};
385#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
386struct xsave_hdr_struct {
387 u64 xstate_bv ;
388 u64 reserved1[2] ;
389 u64 reserved2[5] ;
390} __attribute__((__packed__)) ;
391#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
392struct xsave_struct {
393 struct i387_fxsave_struct i387 ;
394 struct xsave_hdr_struct xsave_hdr ;
395 struct ymmh_struct ymmh ;
396} __attribute__((__packed__, __aligned__(64))) ;
397#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
398union thread_xstate {
399 struct i387_fsave_struct fsave ;
400 struct i387_fxsave_struct fxsave ;
401 struct i387_soft_struct soft ;
402 struct xsave_struct xsave ;
403};
404#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
405struct fpu {
406 unsigned int last_cpu ;
407 unsigned int has_fpu ;
408 union thread_xstate *state ;
409};
410#line 433
411struct kmem_cache;
412#line 435
413struct perf_event;
414#line 435
415struct perf_event;
416#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
417struct thread_struct {
418 struct desc_struct tls_array[3] ;
419 unsigned long sp0 ;
420 unsigned long sp ;
421 unsigned long usersp ;
422 unsigned short es ;
423 unsigned short ds ;
424 unsigned short fsindex ;
425 unsigned short gsindex ;
426 unsigned long fs ;
427 unsigned long gs ;
428 struct perf_event *ptrace_bps[4] ;
429 unsigned long debugreg6 ;
430 unsigned long ptrace_dr7 ;
431 unsigned long cr2 ;
432 unsigned long trap_nr ;
433 unsigned long error_code ;
434 struct fpu fpu ;
435 unsigned long *io_bitmap_ptr ;
436 unsigned long iopl ;
437 unsigned int io_bitmap_max ;
438};
439#line 23 "include/asm-generic/atomic-long.h"
440typedef atomic64_t atomic_long_t;
441#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
442typedef u16 __ticket_t;
443#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
444typedef u32 __ticketpair_t;
445#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
446struct __raw_tickets {
447 __ticket_t head ;
448 __ticket_t tail ;
449};
450#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
451union __anonunion____missing_field_name_36 {
452 __ticketpair_t head_tail ;
453 struct __raw_tickets tickets ;
454};
455#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
456struct arch_spinlock {
457 union __anonunion____missing_field_name_36 __annonCompField17 ;
458};
459#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
460typedef struct arch_spinlock arch_spinlock_t;
461#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
462struct __anonstruct____missing_field_name_38 {
463 u32 read ;
464 s32 write ;
465};
466#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
467union __anonunion_arch_rwlock_t_37 {
468 s64 lock ;
469 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
470};
471#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
472typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
473#line 12 "include/linux/lockdep.h"
474struct task_struct;
475#line 391 "include/linux/lockdep.h"
476struct lock_class_key {
477
478};
479#line 20 "include/linux/spinlock_types.h"
480struct raw_spinlock {
481 arch_spinlock_t raw_lock ;
482 unsigned int magic ;
483 unsigned int owner_cpu ;
484 void *owner ;
485};
486#line 20 "include/linux/spinlock_types.h"
487typedef struct raw_spinlock raw_spinlock_t;
488#line 64 "include/linux/spinlock_types.h"
489union __anonunion____missing_field_name_39 {
490 struct raw_spinlock rlock ;
491};
492#line 64 "include/linux/spinlock_types.h"
493struct spinlock {
494 union __anonunion____missing_field_name_39 __annonCompField19 ;
495};
496#line 64 "include/linux/spinlock_types.h"
497typedef struct spinlock spinlock_t;
498#line 11 "include/linux/rwlock_types.h"
499struct __anonstruct_rwlock_t_40 {
500 arch_rwlock_t raw_lock ;
501 unsigned int magic ;
502 unsigned int owner_cpu ;
503 void *owner ;
504};
505#line 11 "include/linux/rwlock_types.h"
506typedef struct __anonstruct_rwlock_t_40 rwlock_t;
507#line 119 "include/linux/seqlock.h"
508struct seqcount {
509 unsigned int sequence ;
510};
511#line 119 "include/linux/seqlock.h"
512typedef struct seqcount seqcount_t;
513#line 14 "include/linux/time.h"
514struct timespec {
515 __kernel_time_t tv_sec ;
516 long tv_nsec ;
517};
518#line 62 "include/linux/stat.h"
519struct kstat {
520 u64 ino ;
521 dev_t dev ;
522 umode_t mode ;
523 unsigned int nlink ;
524 uid_t uid ;
525 gid_t gid ;
526 dev_t rdev ;
527 loff_t size ;
528 struct timespec atime ;
529 struct timespec mtime ;
530 struct timespec ctime ;
531 unsigned long blksize ;
532 unsigned long long blocks ;
533};
534#line 49 "include/linux/wait.h"
535struct __wait_queue_head {
536 spinlock_t lock ;
537 struct list_head task_list ;
538};
539#line 53 "include/linux/wait.h"
540typedef struct __wait_queue_head wait_queue_head_t;
541#line 55
542struct task_struct;
543#line 98 "include/linux/nodemask.h"
544struct __anonstruct_nodemask_t_42 {
545 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
546};
547#line 98 "include/linux/nodemask.h"
548typedef struct __anonstruct_nodemask_t_42 nodemask_t;
549#line 60 "include/linux/pageblock-flags.h"
550struct page;
551#line 48 "include/linux/mutex.h"
552struct mutex {
553 atomic_t count ;
554 spinlock_t wait_lock ;
555 struct list_head wait_list ;
556 struct task_struct *owner ;
557 char const *name ;
558 void *magic ;
559};
560#line 69 "include/linux/mutex.h"
561struct mutex_waiter {
562 struct list_head list ;
563 struct task_struct *task ;
564 void *magic ;
565};
566#line 19 "include/linux/rwsem.h"
567struct rw_semaphore;
568#line 19
569struct rw_semaphore;
570#line 25 "include/linux/rwsem.h"
571struct rw_semaphore {
572 long count ;
573 raw_spinlock_t wait_lock ;
574 struct list_head wait_list ;
575};
576#line 25 "include/linux/completion.h"
577struct completion {
578 unsigned int done ;
579 wait_queue_head_t wait ;
580};
581#line 9 "include/linux/memory_hotplug.h"
582struct page;
583#line 46 "include/linux/ktime.h"
584union ktime {
585 s64 tv64 ;
586};
587#line 59 "include/linux/ktime.h"
588typedef union ktime ktime_t;
589#line 10 "include/linux/timer.h"
590struct tvec_base;
591#line 10
592struct tvec_base;
593#line 12 "include/linux/timer.h"
594struct timer_list {
595 struct list_head entry ;
596 unsigned long expires ;
597 struct tvec_base *base ;
598 void (*function)(unsigned long ) ;
599 unsigned long data ;
600 int slack ;
601 int start_pid ;
602 void *start_site ;
603 char start_comm[16] ;
604};
605#line 289
606struct hrtimer;
607#line 289
608struct hrtimer;
609#line 290
610enum hrtimer_restart;
611#line 17 "include/linux/workqueue.h"
612struct work_struct;
613#line 17
614struct work_struct;
615#line 79 "include/linux/workqueue.h"
616struct work_struct {
617 atomic_long_t data ;
618 struct list_head entry ;
619 void (*func)(struct work_struct *work ) ;
620};
621#line 92 "include/linux/workqueue.h"
622struct delayed_work {
623 struct work_struct work ;
624 struct timer_list timer ;
625};
626#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
627struct __anonstruct_mm_context_t_112 {
628 void *ldt ;
629 int size ;
630 unsigned short ia32_compat ;
631 struct mutex lock ;
632 void *vdso ;
633};
634#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
635typedef struct __anonstruct_mm_context_t_112 mm_context_t;
636#line 8 "include/linux/vmalloc.h"
637struct vm_area_struct;
638#line 8
639struct vm_area_struct;
640#line 994 "include/linux/mmzone.h"
641struct page;
642#line 10 "include/linux/gfp.h"
643struct vm_area_struct;
644#line 29 "include/linux/sysctl.h"
645struct completion;
646#line 100 "include/linux/rbtree.h"
647struct rb_node {
648 unsigned long rb_parent_color ;
649 struct rb_node *rb_right ;
650 struct rb_node *rb_left ;
651} __attribute__((__aligned__(sizeof(long )))) ;
652#line 110 "include/linux/rbtree.h"
653struct rb_root {
654 struct rb_node *rb_node ;
655};
656#line 939 "include/linux/sysctl.h"
657struct nsproxy;
658#line 939
659struct nsproxy;
660#line 48 "include/linux/kmod.h"
661struct cred;
662#line 48
663struct cred;
664#line 49
665struct file;
666#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
667struct task_struct;
668#line 18 "include/linux/elf.h"
669typedef __u64 Elf64_Addr;
670#line 19 "include/linux/elf.h"
671typedef __u16 Elf64_Half;
672#line 23 "include/linux/elf.h"
673typedef __u32 Elf64_Word;
674#line 24 "include/linux/elf.h"
675typedef __u64 Elf64_Xword;
676#line 194 "include/linux/elf.h"
677struct elf64_sym {
678 Elf64_Word st_name ;
679 unsigned char st_info ;
680 unsigned char st_other ;
681 Elf64_Half st_shndx ;
682 Elf64_Addr st_value ;
683 Elf64_Xword st_size ;
684};
685#line 194 "include/linux/elf.h"
686typedef struct elf64_sym Elf64_Sym;
687#line 438
688struct file;
689#line 20 "include/linux/kobject_ns.h"
690struct sock;
691#line 20
692struct sock;
693#line 21
694struct kobject;
695#line 21
696struct kobject;
697#line 27
698enum kobj_ns_type {
699 KOBJ_NS_TYPE_NONE = 0,
700 KOBJ_NS_TYPE_NET = 1,
701 KOBJ_NS_TYPES = 2
702} ;
703#line 40 "include/linux/kobject_ns.h"
704struct kobj_ns_type_operations {
705 enum kobj_ns_type type ;
706 void *(*grab_current_ns)(void) ;
707 void const *(*netlink_ns)(struct sock *sk ) ;
708 void const *(*initial_ns)(void) ;
709 void (*drop_ns)(void * ) ;
710};
711#line 22 "include/linux/sysfs.h"
712struct kobject;
713#line 23
714struct module;
715#line 24
716enum kobj_ns_type;
717#line 26 "include/linux/sysfs.h"
718struct attribute {
719 char const *name ;
720 umode_t mode ;
721};
722#line 85
723struct file;
724#line 86
725struct vm_area_struct;
726#line 112 "include/linux/sysfs.h"
727struct sysfs_ops {
728 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
729 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
730 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
731};
732#line 118
733struct sysfs_dirent;
734#line 118
735struct sysfs_dirent;
736#line 22 "include/linux/kref.h"
737struct kref {
738 atomic_t refcount ;
739};
740#line 60 "include/linux/kobject.h"
741struct kset;
742#line 60
743struct kobj_type;
744#line 60 "include/linux/kobject.h"
745struct kobject {
746 char const *name ;
747 struct list_head entry ;
748 struct kobject *parent ;
749 struct kset *kset ;
750 struct kobj_type *ktype ;
751 struct sysfs_dirent *sd ;
752 struct kref kref ;
753 unsigned int state_initialized : 1 ;
754 unsigned int state_in_sysfs : 1 ;
755 unsigned int state_add_uevent_sent : 1 ;
756 unsigned int state_remove_uevent_sent : 1 ;
757 unsigned int uevent_suppress : 1 ;
758};
759#line 108 "include/linux/kobject.h"
760struct kobj_type {
761 void (*release)(struct kobject *kobj ) ;
762 struct sysfs_ops const *sysfs_ops ;
763 struct attribute **default_attrs ;
764 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
765 void const *(*namespace)(struct kobject *kobj ) ;
766};
767#line 116 "include/linux/kobject.h"
768struct kobj_uevent_env {
769 char *envp[32] ;
770 int envp_idx ;
771 char buf[2048] ;
772 int buflen ;
773};
774#line 123 "include/linux/kobject.h"
775struct kset_uevent_ops {
776 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
777 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
778 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
779};
780#line 140
781struct sock;
782#line 159 "include/linux/kobject.h"
783struct kset {
784 struct list_head list ;
785 spinlock_t list_lock ;
786 struct kobject kobj ;
787 struct kset_uevent_ops const *uevent_ops ;
788};
789#line 39 "include/linux/moduleparam.h"
790struct kernel_param;
791#line 39
792struct kernel_param;
793#line 41 "include/linux/moduleparam.h"
794struct kernel_param_ops {
795 int (*set)(char const *val , struct kernel_param const *kp ) ;
796 int (*get)(char *buffer , struct kernel_param const *kp ) ;
797 void (*free)(void *arg ) ;
798};
799#line 50
800struct kparam_string;
801#line 50
802struct kparam_array;
803#line 50 "include/linux/moduleparam.h"
804union __anonunion____missing_field_name_199 {
805 void *arg ;
806 struct kparam_string const *str ;
807 struct kparam_array const *arr ;
808};
809#line 50 "include/linux/moduleparam.h"
810struct kernel_param {
811 char const *name ;
812 struct kernel_param_ops const *ops ;
813 u16 perm ;
814 s16 level ;
815 union __anonunion____missing_field_name_199 __annonCompField32 ;
816};
817#line 63 "include/linux/moduleparam.h"
818struct kparam_string {
819 unsigned int maxlen ;
820 char *string ;
821};
822#line 69 "include/linux/moduleparam.h"
823struct kparam_array {
824 unsigned int max ;
825 unsigned int elemsize ;
826 unsigned int *num ;
827 struct kernel_param_ops const *ops ;
828 void *elem ;
829};
830#line 445
831struct module;
832#line 80 "include/linux/jump_label.h"
833struct module;
834#line 143 "include/linux/jump_label.h"
835struct static_key {
836 atomic_t enabled ;
837};
838#line 22 "include/linux/tracepoint.h"
839struct module;
840#line 23
841struct tracepoint;
842#line 23
843struct tracepoint;
844#line 25 "include/linux/tracepoint.h"
845struct tracepoint_func {
846 void *func ;
847 void *data ;
848};
849#line 30 "include/linux/tracepoint.h"
850struct tracepoint {
851 char const *name ;
852 struct static_key key ;
853 void (*regfunc)(void) ;
854 void (*unregfunc)(void) ;
855 struct tracepoint_func *funcs ;
856};
857#line 19 "include/linux/export.h"
858struct kernel_symbol {
859 unsigned long value ;
860 char const *name ;
861};
862#line 8 "include/asm-generic/module.h"
863struct mod_arch_specific {
864
865};
866#line 35 "include/linux/module.h"
867struct module;
868#line 37
869struct module_param_attrs;
870#line 37 "include/linux/module.h"
871struct module_kobject {
872 struct kobject kobj ;
873 struct module *mod ;
874 struct kobject *drivers_dir ;
875 struct module_param_attrs *mp ;
876};
877#line 44 "include/linux/module.h"
878struct module_attribute {
879 struct attribute attr ;
880 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
881 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
882 size_t count ) ;
883 void (*setup)(struct module * , char const * ) ;
884 int (*test)(struct module * ) ;
885 void (*free)(struct module * ) ;
886};
887#line 71
888struct exception_table_entry;
889#line 71
890struct exception_table_entry;
891#line 199
892enum module_state {
893 MODULE_STATE_LIVE = 0,
894 MODULE_STATE_COMING = 1,
895 MODULE_STATE_GOING = 2
896} ;
897#line 215 "include/linux/module.h"
898struct module_ref {
899 unsigned long incs ;
900 unsigned long decs ;
901} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
902#line 220
903struct module_sect_attrs;
904#line 220
905struct module_notes_attrs;
906#line 220
907struct ftrace_event_call;
908#line 220 "include/linux/module.h"
909struct module {
910 enum module_state state ;
911 struct list_head list ;
912 char name[64UL - sizeof(unsigned long )] ;
913 struct module_kobject mkobj ;
914 struct module_attribute *modinfo_attrs ;
915 char const *version ;
916 char const *srcversion ;
917 struct kobject *holders_dir ;
918 struct kernel_symbol const *syms ;
919 unsigned long const *crcs ;
920 unsigned int num_syms ;
921 struct kernel_param *kp ;
922 unsigned int num_kp ;
923 unsigned int num_gpl_syms ;
924 struct kernel_symbol const *gpl_syms ;
925 unsigned long const *gpl_crcs ;
926 struct kernel_symbol const *unused_syms ;
927 unsigned long const *unused_crcs ;
928 unsigned int num_unused_syms ;
929 unsigned int num_unused_gpl_syms ;
930 struct kernel_symbol const *unused_gpl_syms ;
931 unsigned long const *unused_gpl_crcs ;
932 struct kernel_symbol const *gpl_future_syms ;
933 unsigned long const *gpl_future_crcs ;
934 unsigned int num_gpl_future_syms ;
935 unsigned int num_exentries ;
936 struct exception_table_entry *extable ;
937 int (*init)(void) ;
938 void *module_init ;
939 void *module_core ;
940 unsigned int init_size ;
941 unsigned int core_size ;
942 unsigned int init_text_size ;
943 unsigned int core_text_size ;
944 unsigned int init_ro_size ;
945 unsigned int core_ro_size ;
946 struct mod_arch_specific arch ;
947 unsigned int taints ;
948 unsigned int num_bugs ;
949 struct list_head bug_list ;
950 struct bug_entry *bug_table ;
951 Elf64_Sym *symtab ;
952 Elf64_Sym *core_symtab ;
953 unsigned int num_symtab ;
954 unsigned int core_num_syms ;
955 char *strtab ;
956 char *core_strtab ;
957 struct module_sect_attrs *sect_attrs ;
958 struct module_notes_attrs *notes_attrs ;
959 char *args ;
960 void *percpu ;
961 unsigned int percpu_size ;
962 unsigned int num_tracepoints ;
963 struct tracepoint * const *tracepoints_ptrs ;
964 unsigned int num_trace_bprintk_fmt ;
965 char const **trace_bprintk_fmt_start ;
966 struct ftrace_event_call **trace_events ;
967 unsigned int num_trace_events ;
968 struct list_head source_list ;
969 struct list_head target_list ;
970 struct task_struct *waiter ;
971 void (*exit)(void) ;
972 struct module_ref *refptr ;
973 ctor_fn_t *ctors ;
974 unsigned int num_ctors ;
975};
976#line 12 "include/linux/mod_devicetable.h"
977typedef unsigned long kernel_ulong_t;
978#line 98 "include/linux/mod_devicetable.h"
979struct usb_device_id {
980 __u16 match_flags ;
981 __u16 idVendor ;
982 __u16 idProduct ;
983 __u16 bcdDevice_lo ;
984 __u16 bcdDevice_hi ;
985 __u8 bDeviceClass ;
986 __u8 bDeviceSubClass ;
987 __u8 bDeviceProtocol ;
988 __u8 bInterfaceClass ;
989 __u8 bInterfaceSubClass ;
990 __u8 bInterfaceProtocol ;
991 kernel_ulong_t driver_info ;
992};
993#line 31 "include/linux/irq.h"
994struct seq_file;
995#line 32
996struct module;
997#line 14 "include/linux/irqdesc.h"
998struct module;
999#line 17 "include/linux/profile.h"
1000struct pt_regs;
1001#line 65
1002struct task_struct;
1003#line 66
1004struct mm_struct;
1005#line 88
1006struct pt_regs;
1007#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
1008struct exception_table_entry {
1009 unsigned long insn ;
1010 unsigned long fixup ;
1011};
1012#line 132 "include/linux/hardirq.h"
1013struct task_struct;
1014#line 8 "include/linux/timerqueue.h"
1015struct timerqueue_node {
1016 struct rb_node node ;
1017 ktime_t expires ;
1018};
1019#line 13 "include/linux/timerqueue.h"
1020struct timerqueue_head {
1021 struct rb_root head ;
1022 struct timerqueue_node *next ;
1023};
1024#line 27 "include/linux/hrtimer.h"
1025struct hrtimer_clock_base;
1026#line 27
1027struct hrtimer_clock_base;
1028#line 28
1029struct hrtimer_cpu_base;
1030#line 28
1031struct hrtimer_cpu_base;
1032#line 44
1033enum hrtimer_restart {
1034 HRTIMER_NORESTART = 0,
1035 HRTIMER_RESTART = 1
1036} ;
1037#line 108 "include/linux/hrtimer.h"
1038struct hrtimer {
1039 struct timerqueue_node node ;
1040 ktime_t _softexpires ;
1041 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1042 struct hrtimer_clock_base *base ;
1043 unsigned long state ;
1044 int start_pid ;
1045 void *start_site ;
1046 char start_comm[16] ;
1047};
1048#line 145 "include/linux/hrtimer.h"
1049struct hrtimer_clock_base {
1050 struct hrtimer_cpu_base *cpu_base ;
1051 int index ;
1052 clockid_t clockid ;
1053 struct timerqueue_head active ;
1054 ktime_t resolution ;
1055 ktime_t (*get_time)(void) ;
1056 ktime_t softirq_time ;
1057 ktime_t offset ;
1058};
1059#line 178 "include/linux/hrtimer.h"
1060struct hrtimer_cpu_base {
1061 raw_spinlock_t lock ;
1062 unsigned long active_bases ;
1063 ktime_t expires_next ;
1064 int hres_active ;
1065 int hang_detected ;
1066 unsigned long nr_events ;
1067 unsigned long nr_retries ;
1068 unsigned long nr_hangs ;
1069 ktime_t max_hang_time ;
1070 struct hrtimer_clock_base clock_base[3] ;
1071};
1072#line 695 "include/linux/interrupt.h"
1073struct seq_file;
1074#line 32 "include/linux/device.h"
1075struct module;
1076#line 15 "include/linux/blk_types.h"
1077struct page;
1078#line 16
1079struct block_device;
1080#line 16
1081struct block_device;
1082#line 33 "include/linux/list_bl.h"
1083struct hlist_bl_node;
1084#line 33 "include/linux/list_bl.h"
1085struct hlist_bl_head {
1086 struct hlist_bl_node *first ;
1087};
1088#line 37 "include/linux/list_bl.h"
1089struct hlist_bl_node {
1090 struct hlist_bl_node *next ;
1091 struct hlist_bl_node **pprev ;
1092};
1093#line 13 "include/linux/dcache.h"
1094struct nameidata;
1095#line 13
1096struct nameidata;
1097#line 14
1098struct path;
1099#line 14
1100struct path;
1101#line 15
1102struct vfsmount;
1103#line 15
1104struct vfsmount;
1105#line 35 "include/linux/dcache.h"
1106struct qstr {
1107 unsigned int hash ;
1108 unsigned int len ;
1109 unsigned char const *name ;
1110};
1111#line 88
1112struct inode;
1113#line 88
1114struct dentry_operations;
1115#line 88
1116struct super_block;
1117#line 88 "include/linux/dcache.h"
1118union __anonunion_d_u_210 {
1119 struct list_head d_child ;
1120 struct rcu_head d_rcu ;
1121};
1122#line 88 "include/linux/dcache.h"
1123struct dentry {
1124 unsigned int d_flags ;
1125 seqcount_t d_seq ;
1126 struct hlist_bl_node d_hash ;
1127 struct dentry *d_parent ;
1128 struct qstr d_name ;
1129 struct inode *d_inode ;
1130 unsigned char d_iname[32] ;
1131 unsigned int d_count ;
1132 spinlock_t d_lock ;
1133 struct dentry_operations const *d_op ;
1134 struct super_block *d_sb ;
1135 unsigned long d_time ;
1136 void *d_fsdata ;
1137 struct list_head d_lru ;
1138 union __anonunion_d_u_210 d_u ;
1139 struct list_head d_subdirs ;
1140 struct list_head d_alias ;
1141};
1142#line 131 "include/linux/dcache.h"
1143struct dentry_operations {
1144 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1145 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1146 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1147 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1148 int (*d_delete)(struct dentry const * ) ;
1149 void (*d_release)(struct dentry * ) ;
1150 void (*d_prune)(struct dentry * ) ;
1151 void (*d_iput)(struct dentry * , struct inode * ) ;
1152 char *(*d_dname)(struct dentry * , char * , int ) ;
1153 struct vfsmount *(*d_automount)(struct path * ) ;
1154 int (*d_manage)(struct dentry * , bool ) ;
1155} __attribute__((__aligned__((1) << (6) ))) ;
1156#line 4 "include/linux/path.h"
1157struct dentry;
1158#line 5
1159struct vfsmount;
1160#line 7 "include/linux/path.h"
1161struct path {
1162 struct vfsmount *mnt ;
1163 struct dentry *dentry ;
1164};
1165#line 64 "include/linux/radix-tree.h"
1166struct radix_tree_node;
1167#line 64 "include/linux/radix-tree.h"
1168struct radix_tree_root {
1169 unsigned int height ;
1170 gfp_t gfp_mask ;
1171 struct radix_tree_node *rnode ;
1172};
1173#line 14 "include/linux/prio_tree.h"
1174struct prio_tree_node;
1175#line 14 "include/linux/prio_tree.h"
1176struct raw_prio_tree_node {
1177 struct prio_tree_node *left ;
1178 struct prio_tree_node *right ;
1179 struct prio_tree_node *parent ;
1180};
1181#line 20 "include/linux/prio_tree.h"
1182struct prio_tree_node {
1183 struct prio_tree_node *left ;
1184 struct prio_tree_node *right ;
1185 struct prio_tree_node *parent ;
1186 unsigned long start ;
1187 unsigned long last ;
1188};
1189#line 28 "include/linux/prio_tree.h"
1190struct prio_tree_root {
1191 struct prio_tree_node *prio_tree_node ;
1192 unsigned short index_bits ;
1193 unsigned short raw ;
1194};
1195#line 6 "include/linux/pid.h"
1196enum pid_type {
1197 PIDTYPE_PID = 0,
1198 PIDTYPE_PGID = 1,
1199 PIDTYPE_SID = 2,
1200 PIDTYPE_MAX = 3
1201} ;
1202#line 50
1203struct pid_namespace;
1204#line 50 "include/linux/pid.h"
1205struct upid {
1206 int nr ;
1207 struct pid_namespace *ns ;
1208 struct hlist_node pid_chain ;
1209};
1210#line 57 "include/linux/pid.h"
1211struct pid {
1212 atomic_t count ;
1213 unsigned int level ;
1214 struct hlist_head tasks[3] ;
1215 struct rcu_head rcu ;
1216 struct upid numbers[1] ;
1217};
1218#line 69 "include/linux/pid.h"
1219struct pid_link {
1220 struct hlist_node node ;
1221 struct pid *pid ;
1222};
1223#line 100
1224struct pid_namespace;
1225#line 18 "include/linux/capability.h"
1226struct task_struct;
1227#line 94 "include/linux/capability.h"
1228struct kernel_cap_struct {
1229 __u32 cap[2] ;
1230};
1231#line 94 "include/linux/capability.h"
1232typedef struct kernel_cap_struct kernel_cap_t;
1233#line 377
1234struct dentry;
1235#line 378
1236struct user_namespace;
1237#line 378
1238struct user_namespace;
1239#line 16 "include/linux/fiemap.h"
1240struct fiemap_extent {
1241 __u64 fe_logical ;
1242 __u64 fe_physical ;
1243 __u64 fe_length ;
1244 __u64 fe_reserved64[2] ;
1245 __u32 fe_flags ;
1246 __u32 fe_reserved[3] ;
1247};
1248#line 8 "include/linux/shrinker.h"
1249struct shrink_control {
1250 gfp_t gfp_mask ;
1251 unsigned long nr_to_scan ;
1252};
1253#line 31 "include/linux/shrinker.h"
1254struct shrinker {
1255 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1256 int seeks ;
1257 long batch ;
1258 struct list_head list ;
1259 atomic_long_t nr_in_batch ;
1260};
1261#line 10 "include/linux/migrate_mode.h"
1262enum migrate_mode {
1263 MIGRATE_ASYNC = 0,
1264 MIGRATE_SYNC_LIGHT = 1,
1265 MIGRATE_SYNC = 2
1266} ;
1267#line 408 "include/linux/fs.h"
1268struct export_operations;
1269#line 408
1270struct export_operations;
1271#line 410
1272struct iovec;
1273#line 410
1274struct iovec;
1275#line 411
1276struct nameidata;
1277#line 412
1278struct kiocb;
1279#line 412
1280struct kiocb;
1281#line 413
1282struct kobject;
1283#line 414
1284struct pipe_inode_info;
1285#line 414
1286struct pipe_inode_info;
1287#line 415
1288struct poll_table_struct;
1289#line 415
1290struct poll_table_struct;
1291#line 416
1292struct kstatfs;
1293#line 416
1294struct kstatfs;
1295#line 417
1296struct vm_area_struct;
1297#line 418
1298struct vfsmount;
1299#line 419
1300struct cred;
1301#line 469 "include/linux/fs.h"
1302struct iattr {
1303 unsigned int ia_valid ;
1304 umode_t ia_mode ;
1305 uid_t ia_uid ;
1306 gid_t ia_gid ;
1307 loff_t ia_size ;
1308 struct timespec ia_atime ;
1309 struct timespec ia_mtime ;
1310 struct timespec ia_ctime ;
1311 struct file *ia_file ;
1312};
1313#line 129 "include/linux/quota.h"
1314struct if_dqinfo {
1315 __u64 dqi_bgrace ;
1316 __u64 dqi_igrace ;
1317 __u32 dqi_flags ;
1318 __u32 dqi_valid ;
1319};
1320#line 50 "include/linux/dqblk_xfs.h"
1321struct fs_disk_quota {
1322 __s8 d_version ;
1323 __s8 d_flags ;
1324 __u16 d_fieldmask ;
1325 __u32 d_id ;
1326 __u64 d_blk_hardlimit ;
1327 __u64 d_blk_softlimit ;
1328 __u64 d_ino_hardlimit ;
1329 __u64 d_ino_softlimit ;
1330 __u64 d_bcount ;
1331 __u64 d_icount ;
1332 __s32 d_itimer ;
1333 __s32 d_btimer ;
1334 __u16 d_iwarns ;
1335 __u16 d_bwarns ;
1336 __s32 d_padding2 ;
1337 __u64 d_rtb_hardlimit ;
1338 __u64 d_rtb_softlimit ;
1339 __u64 d_rtbcount ;
1340 __s32 d_rtbtimer ;
1341 __u16 d_rtbwarns ;
1342 __s16 d_padding3 ;
1343 char d_padding4[8] ;
1344};
1345#line 146 "include/linux/dqblk_xfs.h"
1346struct fs_qfilestat {
1347 __u64 qfs_ino ;
1348 __u64 qfs_nblks ;
1349 __u32 qfs_nextents ;
1350};
1351#line 146 "include/linux/dqblk_xfs.h"
1352typedef struct fs_qfilestat fs_qfilestat_t;
1353#line 152 "include/linux/dqblk_xfs.h"
1354struct fs_quota_stat {
1355 __s8 qs_version ;
1356 __u16 qs_flags ;
1357 __s8 qs_pad ;
1358 fs_qfilestat_t qs_uquota ;
1359 fs_qfilestat_t qs_gquota ;
1360 __u32 qs_incoredqs ;
1361 __s32 qs_btimelimit ;
1362 __s32 qs_itimelimit ;
1363 __s32 qs_rtbtimelimit ;
1364 __u16 qs_bwarnlimit ;
1365 __u16 qs_iwarnlimit ;
1366};
1367#line 17 "include/linux/dqblk_qtree.h"
1368struct dquot;
1369#line 17
1370struct dquot;
1371#line 185 "include/linux/quota.h"
1372typedef __kernel_uid32_t qid_t;
1373#line 186 "include/linux/quota.h"
1374typedef long long qsize_t;
1375#line 200 "include/linux/quota.h"
1376struct mem_dqblk {
1377 qsize_t dqb_bhardlimit ;
1378 qsize_t dqb_bsoftlimit ;
1379 qsize_t dqb_curspace ;
1380 qsize_t dqb_rsvspace ;
1381 qsize_t dqb_ihardlimit ;
1382 qsize_t dqb_isoftlimit ;
1383 qsize_t dqb_curinodes ;
1384 time_t dqb_btime ;
1385 time_t dqb_itime ;
1386};
1387#line 215
1388struct quota_format_type;
1389#line 215
1390struct quota_format_type;
1391#line 217 "include/linux/quota.h"
1392struct mem_dqinfo {
1393 struct quota_format_type *dqi_format ;
1394 int dqi_fmt_id ;
1395 struct list_head dqi_dirty_list ;
1396 unsigned long dqi_flags ;
1397 unsigned int dqi_bgrace ;
1398 unsigned int dqi_igrace ;
1399 qsize_t dqi_maxblimit ;
1400 qsize_t dqi_maxilimit ;
1401 void *dqi_priv ;
1402};
1403#line 230
1404struct super_block;
1405#line 288 "include/linux/quota.h"
1406struct dquot {
1407 struct hlist_node dq_hash ;
1408 struct list_head dq_inuse ;
1409 struct list_head dq_free ;
1410 struct list_head dq_dirty ;
1411 struct mutex dq_lock ;
1412 atomic_t dq_count ;
1413 wait_queue_head_t dq_wait_unused ;
1414 struct super_block *dq_sb ;
1415 unsigned int dq_id ;
1416 loff_t dq_off ;
1417 unsigned long dq_flags ;
1418 short dq_type ;
1419 struct mem_dqblk dq_dqb ;
1420};
1421#line 305 "include/linux/quota.h"
1422struct quota_format_ops {
1423 int (*check_quota_file)(struct super_block *sb , int type ) ;
1424 int (*read_file_info)(struct super_block *sb , int type ) ;
1425 int (*write_file_info)(struct super_block *sb , int type ) ;
1426 int (*free_file_info)(struct super_block *sb , int type ) ;
1427 int (*read_dqblk)(struct dquot *dquot ) ;
1428 int (*commit_dqblk)(struct dquot *dquot ) ;
1429 int (*release_dqblk)(struct dquot *dquot ) ;
1430};
1431#line 316 "include/linux/quota.h"
1432struct dquot_operations {
1433 int (*write_dquot)(struct dquot * ) ;
1434 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1435 void (*destroy_dquot)(struct dquot * ) ;
1436 int (*acquire_dquot)(struct dquot * ) ;
1437 int (*release_dquot)(struct dquot * ) ;
1438 int (*mark_dirty)(struct dquot * ) ;
1439 int (*write_info)(struct super_block * , int ) ;
1440 qsize_t *(*get_reserved_space)(struct inode * ) ;
1441};
1442#line 329
1443struct path;
1444#line 332 "include/linux/quota.h"
1445struct quotactl_ops {
1446 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1447 int (*quota_on_meta)(struct super_block * , int , int ) ;
1448 int (*quota_off)(struct super_block * , int ) ;
1449 int (*quota_sync)(struct super_block * , int , int ) ;
1450 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1451 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1452 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1453 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1454 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1455 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1456};
1457#line 345 "include/linux/quota.h"
1458struct quota_format_type {
1459 int qf_fmt_id ;
1460 struct quota_format_ops const *qf_ops ;
1461 struct module *qf_owner ;
1462 struct quota_format_type *qf_next ;
1463};
1464#line 399 "include/linux/quota.h"
1465struct quota_info {
1466 unsigned int flags ;
1467 struct mutex dqio_mutex ;
1468 struct mutex dqonoff_mutex ;
1469 struct rw_semaphore dqptr_sem ;
1470 struct inode *files[2] ;
1471 struct mem_dqinfo info[2] ;
1472 struct quota_format_ops const *ops[2] ;
1473};
1474#line 532 "include/linux/fs.h"
1475struct page;
1476#line 533
1477struct address_space;
1478#line 533
1479struct address_space;
1480#line 534
1481struct writeback_control;
1482#line 534
1483struct writeback_control;
1484#line 577 "include/linux/fs.h"
1485union __anonunion_arg_218 {
1486 char *buf ;
1487 void *data ;
1488};
1489#line 577 "include/linux/fs.h"
1490struct __anonstruct_read_descriptor_t_217 {
1491 size_t written ;
1492 size_t count ;
1493 union __anonunion_arg_218 arg ;
1494 int error ;
1495};
1496#line 577 "include/linux/fs.h"
1497typedef struct __anonstruct_read_descriptor_t_217 read_descriptor_t;
1498#line 590 "include/linux/fs.h"
1499struct address_space_operations {
1500 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1501 int (*readpage)(struct file * , struct page * ) ;
1502 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1503 int (*set_page_dirty)(struct page *page ) ;
1504 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1505 unsigned int nr_pages ) ;
1506 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1507 unsigned int len , unsigned int flags , struct page **pagep ,
1508 void **fsdata ) ;
1509 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1510 unsigned int copied , struct page *page , void *fsdata ) ;
1511 sector_t (*bmap)(struct address_space * , sector_t ) ;
1512 void (*invalidatepage)(struct page * , unsigned long ) ;
1513 int (*releasepage)(struct page * , gfp_t ) ;
1514 void (*freepage)(struct page * ) ;
1515 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1516 unsigned long nr_segs ) ;
1517 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1518 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1519 int (*launder_page)(struct page * ) ;
1520 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1521 int (*error_remove_page)(struct address_space * , struct page * ) ;
1522};
1523#line 645
1524struct backing_dev_info;
1525#line 645
1526struct backing_dev_info;
1527#line 646 "include/linux/fs.h"
1528struct address_space {
1529 struct inode *host ;
1530 struct radix_tree_root page_tree ;
1531 spinlock_t tree_lock ;
1532 unsigned int i_mmap_writable ;
1533 struct prio_tree_root i_mmap ;
1534 struct list_head i_mmap_nonlinear ;
1535 struct mutex i_mmap_mutex ;
1536 unsigned long nrpages ;
1537 unsigned long writeback_index ;
1538 struct address_space_operations const *a_ops ;
1539 unsigned long flags ;
1540 struct backing_dev_info *backing_dev_info ;
1541 spinlock_t private_lock ;
1542 struct list_head private_list ;
1543 struct address_space *assoc_mapping ;
1544} __attribute__((__aligned__(sizeof(long )))) ;
1545#line 669
1546struct request_queue;
1547#line 669
1548struct request_queue;
1549#line 671
1550struct hd_struct;
1551#line 671
1552struct gendisk;
1553#line 671 "include/linux/fs.h"
1554struct block_device {
1555 dev_t bd_dev ;
1556 int bd_openers ;
1557 struct inode *bd_inode ;
1558 struct super_block *bd_super ;
1559 struct mutex bd_mutex ;
1560 struct list_head bd_inodes ;
1561 void *bd_claiming ;
1562 void *bd_holder ;
1563 int bd_holders ;
1564 bool bd_write_holder ;
1565 struct list_head bd_holder_disks ;
1566 struct block_device *bd_contains ;
1567 unsigned int bd_block_size ;
1568 struct hd_struct *bd_part ;
1569 unsigned int bd_part_count ;
1570 int bd_invalidated ;
1571 struct gendisk *bd_disk ;
1572 struct request_queue *bd_queue ;
1573 struct list_head bd_list ;
1574 unsigned long bd_private ;
1575 int bd_fsfreeze_count ;
1576 struct mutex bd_fsfreeze_mutex ;
1577};
1578#line 749
1579struct posix_acl;
1580#line 749
1581struct posix_acl;
1582#line 761
1583struct inode_operations;
1584#line 761 "include/linux/fs.h"
1585union __anonunion____missing_field_name_219 {
1586 unsigned int const i_nlink ;
1587 unsigned int __i_nlink ;
1588};
1589#line 761 "include/linux/fs.h"
1590union __anonunion____missing_field_name_220 {
1591 struct list_head i_dentry ;
1592 struct rcu_head i_rcu ;
1593};
1594#line 761
1595struct file_operations;
1596#line 761
1597struct file_lock;
1598#line 761
1599struct cdev;
1600#line 761 "include/linux/fs.h"
1601union __anonunion____missing_field_name_221 {
1602 struct pipe_inode_info *i_pipe ;
1603 struct block_device *i_bdev ;
1604 struct cdev *i_cdev ;
1605};
1606#line 761 "include/linux/fs.h"
1607struct inode {
1608 umode_t i_mode ;
1609 unsigned short i_opflags ;
1610 uid_t i_uid ;
1611 gid_t i_gid ;
1612 unsigned int i_flags ;
1613 struct posix_acl *i_acl ;
1614 struct posix_acl *i_default_acl ;
1615 struct inode_operations const *i_op ;
1616 struct super_block *i_sb ;
1617 struct address_space *i_mapping ;
1618 void *i_security ;
1619 unsigned long i_ino ;
1620 union __anonunion____missing_field_name_219 __annonCompField33 ;
1621 dev_t i_rdev ;
1622 struct timespec i_atime ;
1623 struct timespec i_mtime ;
1624 struct timespec i_ctime ;
1625 spinlock_t i_lock ;
1626 unsigned short i_bytes ;
1627 blkcnt_t i_blocks ;
1628 loff_t i_size ;
1629 unsigned long i_state ;
1630 struct mutex i_mutex ;
1631 unsigned long dirtied_when ;
1632 struct hlist_node i_hash ;
1633 struct list_head i_wb_list ;
1634 struct list_head i_lru ;
1635 struct list_head i_sb_list ;
1636 union __anonunion____missing_field_name_220 __annonCompField34 ;
1637 atomic_t i_count ;
1638 unsigned int i_blkbits ;
1639 u64 i_version ;
1640 atomic_t i_dio_count ;
1641 atomic_t i_writecount ;
1642 struct file_operations const *i_fop ;
1643 struct file_lock *i_flock ;
1644 struct address_space i_data ;
1645 struct dquot *i_dquot[2] ;
1646 struct list_head i_devices ;
1647 union __anonunion____missing_field_name_221 __annonCompField35 ;
1648 __u32 i_generation ;
1649 __u32 i_fsnotify_mask ;
1650 struct hlist_head i_fsnotify_marks ;
1651 atomic_t i_readcount ;
1652 void *i_private ;
1653};
1654#line 942 "include/linux/fs.h"
1655struct fown_struct {
1656 rwlock_t lock ;
1657 struct pid *pid ;
1658 enum pid_type pid_type ;
1659 uid_t uid ;
1660 uid_t euid ;
1661 int signum ;
1662};
1663#line 953 "include/linux/fs.h"
1664struct file_ra_state {
1665 unsigned long start ;
1666 unsigned int size ;
1667 unsigned int async_size ;
1668 unsigned int ra_pages ;
1669 unsigned int mmap_miss ;
1670 loff_t prev_pos ;
1671};
1672#line 976 "include/linux/fs.h"
1673union __anonunion_f_u_222 {
1674 struct list_head fu_list ;
1675 struct rcu_head fu_rcuhead ;
1676};
1677#line 976 "include/linux/fs.h"
1678struct file {
1679 union __anonunion_f_u_222 f_u ;
1680 struct path f_path ;
1681 struct file_operations const *f_op ;
1682 spinlock_t f_lock ;
1683 int f_sb_list_cpu ;
1684 atomic_long_t f_count ;
1685 unsigned int f_flags ;
1686 fmode_t f_mode ;
1687 loff_t f_pos ;
1688 struct fown_struct f_owner ;
1689 struct cred const *f_cred ;
1690 struct file_ra_state f_ra ;
1691 u64 f_version ;
1692 void *f_security ;
1693 void *private_data ;
1694 struct list_head f_ep_links ;
1695 struct list_head f_tfile_llink ;
1696 struct address_space *f_mapping ;
1697 unsigned long f_mnt_write_state ;
1698};
1699#line 1111
1700struct files_struct;
1701#line 1111 "include/linux/fs.h"
1702typedef struct files_struct *fl_owner_t;
1703#line 1113 "include/linux/fs.h"
1704struct file_lock_operations {
1705 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1706 void (*fl_release_private)(struct file_lock * ) ;
1707};
1708#line 1118 "include/linux/fs.h"
1709struct lock_manager_operations {
1710 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1711 void (*lm_notify)(struct file_lock * ) ;
1712 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
1713 void (*lm_release_private)(struct file_lock * ) ;
1714 void (*lm_break)(struct file_lock * ) ;
1715 int (*lm_change)(struct file_lock ** , int ) ;
1716};
1717#line 4 "include/linux/nfs_fs_i.h"
1718struct nlm_lockowner;
1719#line 4
1720struct nlm_lockowner;
1721#line 9 "include/linux/nfs_fs_i.h"
1722struct nfs_lock_info {
1723 u32 state ;
1724 struct nlm_lockowner *owner ;
1725 struct list_head list ;
1726};
1727#line 15
1728struct nfs4_lock_state;
1729#line 15
1730struct nfs4_lock_state;
1731#line 16 "include/linux/nfs_fs_i.h"
1732struct nfs4_lock_info {
1733 struct nfs4_lock_state *owner ;
1734};
1735#line 1138 "include/linux/fs.h"
1736struct fasync_struct;
1737#line 1138 "include/linux/fs.h"
1738struct __anonstruct_afs_224 {
1739 struct list_head link ;
1740 int state ;
1741};
1742#line 1138 "include/linux/fs.h"
1743union __anonunion_fl_u_223 {
1744 struct nfs_lock_info nfs_fl ;
1745 struct nfs4_lock_info nfs4_fl ;
1746 struct __anonstruct_afs_224 afs ;
1747};
1748#line 1138 "include/linux/fs.h"
1749struct file_lock {
1750 struct file_lock *fl_next ;
1751 struct list_head fl_link ;
1752 struct list_head fl_block ;
1753 fl_owner_t fl_owner ;
1754 unsigned int fl_flags ;
1755 unsigned char fl_type ;
1756 unsigned int fl_pid ;
1757 struct pid *fl_nspid ;
1758 wait_queue_head_t fl_wait ;
1759 struct file *fl_file ;
1760 loff_t fl_start ;
1761 loff_t fl_end ;
1762 struct fasync_struct *fl_fasync ;
1763 unsigned long fl_break_time ;
1764 unsigned long fl_downgrade_time ;
1765 struct file_lock_operations const *fl_ops ;
1766 struct lock_manager_operations const *fl_lmops ;
1767 union __anonunion_fl_u_223 fl_u ;
1768};
1769#line 1378 "include/linux/fs.h"
1770struct fasync_struct {
1771 spinlock_t fa_lock ;
1772 int magic ;
1773 int fa_fd ;
1774 struct fasync_struct *fa_next ;
1775 struct file *fa_file ;
1776 struct rcu_head fa_rcu ;
1777};
1778#line 1418
1779struct file_system_type;
1780#line 1418
1781struct super_operations;
1782#line 1418
1783struct xattr_handler;
1784#line 1418
1785struct mtd_info;
1786#line 1418 "include/linux/fs.h"
1787struct super_block {
1788 struct list_head s_list ;
1789 dev_t s_dev ;
1790 unsigned char s_dirt ;
1791 unsigned char s_blocksize_bits ;
1792 unsigned long s_blocksize ;
1793 loff_t s_maxbytes ;
1794 struct file_system_type *s_type ;
1795 struct super_operations const *s_op ;
1796 struct dquot_operations const *dq_op ;
1797 struct quotactl_ops const *s_qcop ;
1798 struct export_operations const *s_export_op ;
1799 unsigned long s_flags ;
1800 unsigned long s_magic ;
1801 struct dentry *s_root ;
1802 struct rw_semaphore s_umount ;
1803 struct mutex s_lock ;
1804 int s_count ;
1805 atomic_t s_active ;
1806 void *s_security ;
1807 struct xattr_handler const **s_xattr ;
1808 struct list_head s_inodes ;
1809 struct hlist_bl_head s_anon ;
1810 struct list_head *s_files ;
1811 struct list_head s_mounts ;
1812 struct list_head s_dentry_lru ;
1813 int s_nr_dentry_unused ;
1814 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
1815 struct list_head s_inode_lru ;
1816 int s_nr_inodes_unused ;
1817 struct block_device *s_bdev ;
1818 struct backing_dev_info *s_bdi ;
1819 struct mtd_info *s_mtd ;
1820 struct hlist_node s_instances ;
1821 struct quota_info s_dquot ;
1822 int s_frozen ;
1823 wait_queue_head_t s_wait_unfrozen ;
1824 char s_id[32] ;
1825 u8 s_uuid[16] ;
1826 void *s_fs_info ;
1827 unsigned int s_max_links ;
1828 fmode_t s_mode ;
1829 u32 s_time_gran ;
1830 struct mutex s_vfs_rename_mutex ;
1831 char *s_subtype ;
1832 char *s_options ;
1833 struct dentry_operations const *s_d_op ;
1834 int cleancache_poolid ;
1835 struct shrinker s_shrink ;
1836 atomic_long_t s_remove_count ;
1837 int s_readonly_remount ;
1838};
1839#line 1567 "include/linux/fs.h"
1840struct fiemap_extent_info {
1841 unsigned int fi_flags ;
1842 unsigned int fi_extents_mapped ;
1843 unsigned int fi_extents_max ;
1844 struct fiemap_extent *fi_extents_start ;
1845};
1846#line 1609 "include/linux/fs.h"
1847struct file_operations {
1848 struct module *owner ;
1849 loff_t (*llseek)(struct file * , loff_t , int ) ;
1850 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
1851 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
1852 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
1853 loff_t ) ;
1854 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
1855 loff_t ) ;
1856 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
1857 loff_t , u64 , unsigned int ) ) ;
1858 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
1859 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
1860 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
1861 int (*mmap)(struct file * , struct vm_area_struct * ) ;
1862 int (*open)(struct inode * , struct file * ) ;
1863 int (*flush)(struct file * , fl_owner_t id ) ;
1864 int (*release)(struct inode * , struct file * ) ;
1865 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
1866 int (*aio_fsync)(struct kiocb * , int datasync ) ;
1867 int (*fasync)(int , struct file * , int ) ;
1868 int (*lock)(struct file * , int , struct file_lock * ) ;
1869 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
1870 int ) ;
1871 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1872 unsigned long , unsigned long ) ;
1873 int (*check_flags)(int ) ;
1874 int (*flock)(struct file * , int , struct file_lock * ) ;
1875 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
1876 unsigned int ) ;
1877 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
1878 unsigned int ) ;
1879 int (*setlease)(struct file * , long , struct file_lock ** ) ;
1880 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
1881};
1882#line 1639 "include/linux/fs.h"
1883struct inode_operations {
1884 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
1885 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
1886 int (*permission)(struct inode * , int ) ;
1887 struct posix_acl *(*get_acl)(struct inode * , int ) ;
1888 int (*readlink)(struct dentry * , char * , int ) ;
1889 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
1890 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
1891 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
1892 int (*unlink)(struct inode * , struct dentry * ) ;
1893 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
1894 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
1895 int (*rmdir)(struct inode * , struct dentry * ) ;
1896 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
1897 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
1898 void (*truncate)(struct inode * ) ;
1899 int (*setattr)(struct dentry * , struct iattr * ) ;
1900 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
1901 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
1902 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
1903 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
1904 int (*removexattr)(struct dentry * , char const * ) ;
1905 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
1906 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
1907} __attribute__((__aligned__((1) << (6) ))) ;
1908#line 1669
1909struct seq_file;
1910#line 1684 "include/linux/fs.h"
1911struct super_operations {
1912 struct inode *(*alloc_inode)(struct super_block *sb ) ;
1913 void (*destroy_inode)(struct inode * ) ;
1914 void (*dirty_inode)(struct inode * , int flags ) ;
1915 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
1916 int (*drop_inode)(struct inode * ) ;
1917 void (*evict_inode)(struct inode * ) ;
1918 void (*put_super)(struct super_block * ) ;
1919 void (*write_super)(struct super_block * ) ;
1920 int (*sync_fs)(struct super_block *sb , int wait ) ;
1921 int (*freeze_fs)(struct super_block * ) ;
1922 int (*unfreeze_fs)(struct super_block * ) ;
1923 int (*statfs)(struct dentry * , struct kstatfs * ) ;
1924 int (*remount_fs)(struct super_block * , int * , char * ) ;
1925 void (*umount_begin)(struct super_block * ) ;
1926 int (*show_options)(struct seq_file * , struct dentry * ) ;
1927 int (*show_devname)(struct seq_file * , struct dentry * ) ;
1928 int (*show_path)(struct seq_file * , struct dentry * ) ;
1929 int (*show_stats)(struct seq_file * , struct dentry * ) ;
1930 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
1931 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
1932 loff_t ) ;
1933 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
1934 int (*nr_cached_objects)(struct super_block * ) ;
1935 void (*free_cached_objects)(struct super_block * , int ) ;
1936};
1937#line 1835 "include/linux/fs.h"
1938struct file_system_type {
1939 char const *name ;
1940 int fs_flags ;
1941 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
1942 void (*kill_sb)(struct super_block * ) ;
1943 struct module *owner ;
1944 struct file_system_type *next ;
1945 struct hlist_head fs_supers ;
1946 struct lock_class_key s_lock_key ;
1947 struct lock_class_key s_umount_key ;
1948 struct lock_class_key s_vfs_rename_key ;
1949 struct lock_class_key i_lock_key ;
1950 struct lock_class_key i_mutex_key ;
1951 struct lock_class_key i_mutex_dir_key ;
1952};
1953#line 23 "include/linux/mm_types.h"
1954struct address_space;
1955#line 40 "include/linux/mm_types.h"
1956union __anonunion____missing_field_name_228 {
1957 unsigned long index ;
1958 void *freelist ;
1959};
1960#line 40 "include/linux/mm_types.h"
1961struct __anonstruct____missing_field_name_232 {
1962 unsigned int inuse : 16 ;
1963 unsigned int objects : 15 ;
1964 unsigned int frozen : 1 ;
1965};
1966#line 40 "include/linux/mm_types.h"
1967union __anonunion____missing_field_name_231 {
1968 atomic_t _mapcount ;
1969 struct __anonstruct____missing_field_name_232 __annonCompField37 ;
1970};
1971#line 40 "include/linux/mm_types.h"
1972struct __anonstruct____missing_field_name_230 {
1973 union __anonunion____missing_field_name_231 __annonCompField38 ;
1974 atomic_t _count ;
1975};
1976#line 40 "include/linux/mm_types.h"
1977union __anonunion____missing_field_name_229 {
1978 unsigned long counters ;
1979 struct __anonstruct____missing_field_name_230 __annonCompField39 ;
1980};
1981#line 40 "include/linux/mm_types.h"
1982struct __anonstruct____missing_field_name_227 {
1983 union __anonunion____missing_field_name_228 __annonCompField36 ;
1984 union __anonunion____missing_field_name_229 __annonCompField40 ;
1985};
1986#line 40 "include/linux/mm_types.h"
1987struct __anonstruct____missing_field_name_234 {
1988 struct page *next ;
1989 int pages ;
1990 int pobjects ;
1991};
1992#line 40 "include/linux/mm_types.h"
1993union __anonunion____missing_field_name_233 {
1994 struct list_head lru ;
1995 struct __anonstruct____missing_field_name_234 __annonCompField42 ;
1996};
1997#line 40 "include/linux/mm_types.h"
1998union __anonunion____missing_field_name_235 {
1999 unsigned long private ;
2000 struct kmem_cache *slab ;
2001 struct page *first_page ;
2002};
2003#line 40 "include/linux/mm_types.h"
2004struct page {
2005 unsigned long flags ;
2006 struct address_space *mapping ;
2007 struct __anonstruct____missing_field_name_227 __annonCompField41 ;
2008 union __anonunion____missing_field_name_233 __annonCompField43 ;
2009 union __anonunion____missing_field_name_235 __annonCompField44 ;
2010 unsigned long debug_flags ;
2011} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2012#line 200 "include/linux/mm_types.h"
2013struct __anonstruct_vm_set_237 {
2014 struct list_head list ;
2015 void *parent ;
2016 struct vm_area_struct *head ;
2017};
2018#line 200 "include/linux/mm_types.h"
2019union __anonunion_shared_236 {
2020 struct __anonstruct_vm_set_237 vm_set ;
2021 struct raw_prio_tree_node prio_tree_node ;
2022};
2023#line 200
2024struct anon_vma;
2025#line 200
2026struct vm_operations_struct;
2027#line 200
2028struct mempolicy;
2029#line 200 "include/linux/mm_types.h"
2030struct vm_area_struct {
2031 struct mm_struct *vm_mm ;
2032 unsigned long vm_start ;
2033 unsigned long vm_end ;
2034 struct vm_area_struct *vm_next ;
2035 struct vm_area_struct *vm_prev ;
2036 pgprot_t vm_page_prot ;
2037 unsigned long vm_flags ;
2038 struct rb_node vm_rb ;
2039 union __anonunion_shared_236 shared ;
2040 struct list_head anon_vma_chain ;
2041 struct anon_vma *anon_vma ;
2042 struct vm_operations_struct const *vm_ops ;
2043 unsigned long vm_pgoff ;
2044 struct file *vm_file ;
2045 void *vm_private_data ;
2046 struct mempolicy *vm_policy ;
2047};
2048#line 257 "include/linux/mm_types.h"
2049struct core_thread {
2050 struct task_struct *task ;
2051 struct core_thread *next ;
2052};
2053#line 262 "include/linux/mm_types.h"
2054struct core_state {
2055 atomic_t nr_threads ;
2056 struct core_thread dumper ;
2057 struct completion startup ;
2058};
2059#line 284 "include/linux/mm_types.h"
2060struct mm_rss_stat {
2061 atomic_long_t count[3] ;
2062};
2063#line 288
2064struct linux_binfmt;
2065#line 288
2066struct mmu_notifier_mm;
2067#line 288 "include/linux/mm_types.h"
2068struct mm_struct {
2069 struct vm_area_struct *mmap ;
2070 struct rb_root mm_rb ;
2071 struct vm_area_struct *mmap_cache ;
2072 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2073 unsigned long pgoff , unsigned long flags ) ;
2074 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2075 unsigned long mmap_base ;
2076 unsigned long task_size ;
2077 unsigned long cached_hole_size ;
2078 unsigned long free_area_cache ;
2079 pgd_t *pgd ;
2080 atomic_t mm_users ;
2081 atomic_t mm_count ;
2082 int map_count ;
2083 spinlock_t page_table_lock ;
2084 struct rw_semaphore mmap_sem ;
2085 struct list_head mmlist ;
2086 unsigned long hiwater_rss ;
2087 unsigned long hiwater_vm ;
2088 unsigned long total_vm ;
2089 unsigned long locked_vm ;
2090 unsigned long pinned_vm ;
2091 unsigned long shared_vm ;
2092 unsigned long exec_vm ;
2093 unsigned long stack_vm ;
2094 unsigned long reserved_vm ;
2095 unsigned long def_flags ;
2096 unsigned long nr_ptes ;
2097 unsigned long start_code ;
2098 unsigned long end_code ;
2099 unsigned long start_data ;
2100 unsigned long end_data ;
2101 unsigned long start_brk ;
2102 unsigned long brk ;
2103 unsigned long start_stack ;
2104 unsigned long arg_start ;
2105 unsigned long arg_end ;
2106 unsigned long env_start ;
2107 unsigned long env_end ;
2108 unsigned long saved_auxv[44] ;
2109 struct mm_rss_stat rss_stat ;
2110 struct linux_binfmt *binfmt ;
2111 cpumask_var_t cpu_vm_mask_var ;
2112 mm_context_t context ;
2113 unsigned int faultstamp ;
2114 unsigned int token_priority ;
2115 unsigned int last_interval ;
2116 unsigned long flags ;
2117 struct core_state *core_state ;
2118 spinlock_t ioctx_lock ;
2119 struct hlist_head ioctx_list ;
2120 struct task_struct *owner ;
2121 struct file *exe_file ;
2122 unsigned long num_exe_file_vmas ;
2123 struct mmu_notifier_mm *mmu_notifier_mm ;
2124 pgtable_t pmd_huge_pte ;
2125 struct cpumask cpumask_allocation ;
2126};
2127#line 7 "include/asm-generic/cputime.h"
2128typedef unsigned long cputime_t;
2129#line 84 "include/linux/sem.h"
2130struct task_struct;
2131#line 101
2132struct sem_undo_list;
2133#line 101 "include/linux/sem.h"
2134struct sysv_sem {
2135 struct sem_undo_list *undo_list ;
2136};
2137#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2138struct siginfo;
2139#line 10
2140struct siginfo;
2141#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2142struct __anonstruct_sigset_t_239 {
2143 unsigned long sig[1] ;
2144};
2145#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2146typedef struct __anonstruct_sigset_t_239 sigset_t;
2147#line 17 "include/asm-generic/signal-defs.h"
2148typedef void __signalfn_t(int );
2149#line 18 "include/asm-generic/signal-defs.h"
2150typedef __signalfn_t *__sighandler_t;
2151#line 20 "include/asm-generic/signal-defs.h"
2152typedef void __restorefn_t(void);
2153#line 21 "include/asm-generic/signal-defs.h"
2154typedef __restorefn_t *__sigrestore_t;
2155#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2156struct sigaction {
2157 __sighandler_t sa_handler ;
2158 unsigned long sa_flags ;
2159 __sigrestore_t sa_restorer ;
2160 sigset_t sa_mask ;
2161};
2162#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2163struct k_sigaction {
2164 struct sigaction sa ;
2165};
2166#line 7 "include/asm-generic/siginfo.h"
2167union sigval {
2168 int sival_int ;
2169 void *sival_ptr ;
2170};
2171#line 7 "include/asm-generic/siginfo.h"
2172typedef union sigval sigval_t;
2173#line 48 "include/asm-generic/siginfo.h"
2174struct __anonstruct__kill_241 {
2175 __kernel_pid_t _pid ;
2176 __kernel_uid32_t _uid ;
2177};
2178#line 48 "include/asm-generic/siginfo.h"
2179struct __anonstruct__timer_242 {
2180 __kernel_timer_t _tid ;
2181 int _overrun ;
2182 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2183 sigval_t _sigval ;
2184 int _sys_private ;
2185};
2186#line 48 "include/asm-generic/siginfo.h"
2187struct __anonstruct__rt_243 {
2188 __kernel_pid_t _pid ;
2189 __kernel_uid32_t _uid ;
2190 sigval_t _sigval ;
2191};
2192#line 48 "include/asm-generic/siginfo.h"
2193struct __anonstruct__sigchld_244 {
2194 __kernel_pid_t _pid ;
2195 __kernel_uid32_t _uid ;
2196 int _status ;
2197 __kernel_clock_t _utime ;
2198 __kernel_clock_t _stime ;
2199};
2200#line 48 "include/asm-generic/siginfo.h"
2201struct __anonstruct__sigfault_245 {
2202 void *_addr ;
2203 short _addr_lsb ;
2204};
2205#line 48 "include/asm-generic/siginfo.h"
2206struct __anonstruct__sigpoll_246 {
2207 long _band ;
2208 int _fd ;
2209};
2210#line 48 "include/asm-generic/siginfo.h"
2211union __anonunion__sifields_240 {
2212 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2213 struct __anonstruct__kill_241 _kill ;
2214 struct __anonstruct__timer_242 _timer ;
2215 struct __anonstruct__rt_243 _rt ;
2216 struct __anonstruct__sigchld_244 _sigchld ;
2217 struct __anonstruct__sigfault_245 _sigfault ;
2218 struct __anonstruct__sigpoll_246 _sigpoll ;
2219};
2220#line 48 "include/asm-generic/siginfo.h"
2221struct siginfo {
2222 int si_signo ;
2223 int si_errno ;
2224 int si_code ;
2225 union __anonunion__sifields_240 _sifields ;
2226};
2227#line 48 "include/asm-generic/siginfo.h"
2228typedef struct siginfo siginfo_t;
2229#line 288
2230struct siginfo;
2231#line 10 "include/linux/signal.h"
2232struct task_struct;
2233#line 18
2234struct user_struct;
2235#line 28 "include/linux/signal.h"
2236struct sigpending {
2237 struct list_head list ;
2238 sigset_t signal ;
2239};
2240#line 239
2241struct timespec;
2242#line 240
2243struct pt_regs;
2244#line 10 "include/linux/seccomp.h"
2245struct __anonstruct_seccomp_t_249 {
2246 int mode ;
2247};
2248#line 10 "include/linux/seccomp.h"
2249typedef struct __anonstruct_seccomp_t_249 seccomp_t;
2250#line 81 "include/linux/plist.h"
2251struct plist_head {
2252 struct list_head node_list ;
2253};
2254#line 85 "include/linux/plist.h"
2255struct plist_node {
2256 int prio ;
2257 struct list_head prio_list ;
2258 struct list_head node_list ;
2259};
2260#line 40 "include/linux/rtmutex.h"
2261struct rt_mutex_waiter;
2262#line 40
2263struct rt_mutex_waiter;
2264#line 42 "include/linux/resource.h"
2265struct rlimit {
2266 unsigned long rlim_cur ;
2267 unsigned long rlim_max ;
2268};
2269#line 81
2270struct task_struct;
2271#line 11 "include/linux/task_io_accounting.h"
2272struct task_io_accounting {
2273 u64 rchar ;
2274 u64 wchar ;
2275 u64 syscr ;
2276 u64 syscw ;
2277 u64 read_bytes ;
2278 u64 write_bytes ;
2279 u64 cancelled_write_bytes ;
2280};
2281#line 13 "include/linux/latencytop.h"
2282struct task_struct;
2283#line 20 "include/linux/latencytop.h"
2284struct latency_record {
2285 unsigned long backtrace[12] ;
2286 unsigned int count ;
2287 unsigned long time ;
2288 unsigned long max ;
2289};
2290#line 29 "include/linux/key.h"
2291typedef int32_t key_serial_t;
2292#line 32 "include/linux/key.h"
2293typedef uint32_t key_perm_t;
2294#line 34
2295struct key;
2296#line 34
2297struct key;
2298#line 74
2299struct seq_file;
2300#line 75
2301struct user_struct;
2302#line 76
2303struct signal_struct;
2304#line 76
2305struct signal_struct;
2306#line 77
2307struct cred;
2308#line 79
2309struct key_type;
2310#line 79
2311struct key_type;
2312#line 81
2313struct keyring_list;
2314#line 81
2315struct keyring_list;
2316#line 124
2317struct key_user;
2318#line 124 "include/linux/key.h"
2319union __anonunion____missing_field_name_250 {
2320 time_t expiry ;
2321 time_t revoked_at ;
2322};
2323#line 124 "include/linux/key.h"
2324union __anonunion_type_data_251 {
2325 struct list_head link ;
2326 unsigned long x[2] ;
2327 void *p[2] ;
2328 int reject_error ;
2329};
2330#line 124 "include/linux/key.h"
2331union __anonunion_payload_252 {
2332 unsigned long value ;
2333 void *rcudata ;
2334 void *data ;
2335 struct keyring_list *subscriptions ;
2336};
2337#line 124 "include/linux/key.h"
2338struct key {
2339 atomic_t usage ;
2340 key_serial_t serial ;
2341 struct rb_node serial_node ;
2342 struct key_type *type ;
2343 struct rw_semaphore sem ;
2344 struct key_user *user ;
2345 void *security ;
2346 union __anonunion____missing_field_name_250 __annonCompField45 ;
2347 uid_t uid ;
2348 gid_t gid ;
2349 key_perm_t perm ;
2350 unsigned short quotalen ;
2351 unsigned short datalen ;
2352 unsigned long flags ;
2353 char *description ;
2354 union __anonunion_type_data_251 type_data ;
2355 union __anonunion_payload_252 payload ;
2356};
2357#line 18 "include/linux/selinux.h"
2358struct audit_context;
2359#line 18
2360struct audit_context;
2361#line 21 "include/linux/cred.h"
2362struct user_struct;
2363#line 22
2364struct cred;
2365#line 23
2366struct inode;
2367#line 31 "include/linux/cred.h"
2368struct group_info {
2369 atomic_t usage ;
2370 int ngroups ;
2371 int nblocks ;
2372 gid_t small_block[32] ;
2373 gid_t *blocks[0] ;
2374};
2375#line 83 "include/linux/cred.h"
2376struct thread_group_cred {
2377 atomic_t usage ;
2378 pid_t tgid ;
2379 spinlock_t lock ;
2380 struct key *session_keyring ;
2381 struct key *process_keyring ;
2382 struct rcu_head rcu ;
2383};
2384#line 116 "include/linux/cred.h"
2385struct cred {
2386 atomic_t usage ;
2387 atomic_t subscribers ;
2388 void *put_addr ;
2389 unsigned int magic ;
2390 uid_t uid ;
2391 gid_t gid ;
2392 uid_t suid ;
2393 gid_t sgid ;
2394 uid_t euid ;
2395 gid_t egid ;
2396 uid_t fsuid ;
2397 gid_t fsgid ;
2398 unsigned int securebits ;
2399 kernel_cap_t cap_inheritable ;
2400 kernel_cap_t cap_permitted ;
2401 kernel_cap_t cap_effective ;
2402 kernel_cap_t cap_bset ;
2403 unsigned char jit_keyring ;
2404 struct key *thread_keyring ;
2405 struct key *request_key_auth ;
2406 struct thread_group_cred *tgcred ;
2407 void *security ;
2408 struct user_struct *user ;
2409 struct user_namespace *user_ns ;
2410 struct group_info *group_info ;
2411 struct rcu_head rcu ;
2412};
2413#line 61 "include/linux/llist.h"
2414struct llist_node;
2415#line 65 "include/linux/llist.h"
2416struct llist_node {
2417 struct llist_node *next ;
2418};
2419#line 97 "include/linux/sched.h"
2420struct futex_pi_state;
2421#line 97
2422struct futex_pi_state;
2423#line 98
2424struct robust_list_head;
2425#line 98
2426struct robust_list_head;
2427#line 99
2428struct bio_list;
2429#line 99
2430struct bio_list;
2431#line 100
2432struct fs_struct;
2433#line 100
2434struct fs_struct;
2435#line 101
2436struct perf_event_context;
2437#line 101
2438struct perf_event_context;
2439#line 102
2440struct blk_plug;
2441#line 102
2442struct blk_plug;
2443#line 150
2444struct seq_file;
2445#line 151
2446struct cfs_rq;
2447#line 151
2448struct cfs_rq;
2449#line 259
2450struct task_struct;
2451#line 366
2452struct nsproxy;
2453#line 367
2454struct user_namespace;
2455#line 58 "include/linux/aio_abi.h"
2456struct io_event {
2457 __u64 data ;
2458 __u64 obj ;
2459 __s64 res ;
2460 __s64 res2 ;
2461};
2462#line 16 "include/linux/uio.h"
2463struct iovec {
2464 void *iov_base ;
2465 __kernel_size_t iov_len ;
2466};
2467#line 15 "include/linux/aio.h"
2468struct kioctx;
2469#line 15
2470struct kioctx;
2471#line 87 "include/linux/aio.h"
2472union __anonunion_ki_obj_254 {
2473 void *user ;
2474 struct task_struct *tsk ;
2475};
2476#line 87
2477struct eventfd_ctx;
2478#line 87 "include/linux/aio.h"
2479struct kiocb {
2480 struct list_head ki_run_list ;
2481 unsigned long ki_flags ;
2482 int ki_users ;
2483 unsigned int ki_key ;
2484 struct file *ki_filp ;
2485 struct kioctx *ki_ctx ;
2486 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2487 ssize_t (*ki_retry)(struct kiocb * ) ;
2488 void (*ki_dtor)(struct kiocb * ) ;
2489 union __anonunion_ki_obj_254 ki_obj ;
2490 __u64 ki_user_data ;
2491 loff_t ki_pos ;
2492 void *private ;
2493 unsigned short ki_opcode ;
2494 size_t ki_nbytes ;
2495 char *ki_buf ;
2496 size_t ki_left ;
2497 struct iovec ki_inline_vec ;
2498 struct iovec *ki_iovec ;
2499 unsigned long ki_nr_segs ;
2500 unsigned long ki_cur_seg ;
2501 struct list_head ki_list ;
2502 struct list_head ki_batch ;
2503 struct eventfd_ctx *ki_eventfd ;
2504};
2505#line 166 "include/linux/aio.h"
2506struct aio_ring_info {
2507 unsigned long mmap_base ;
2508 unsigned long mmap_size ;
2509 struct page **ring_pages ;
2510 spinlock_t ring_lock ;
2511 long nr_pages ;
2512 unsigned int nr ;
2513 unsigned int tail ;
2514 struct page *internal_pages[8] ;
2515};
2516#line 179 "include/linux/aio.h"
2517struct kioctx {
2518 atomic_t users ;
2519 int dead ;
2520 struct mm_struct *mm ;
2521 unsigned long user_id ;
2522 struct hlist_node list ;
2523 wait_queue_head_t wait ;
2524 spinlock_t ctx_lock ;
2525 int reqs_active ;
2526 struct list_head active_reqs ;
2527 struct list_head run_list ;
2528 unsigned int max_reqs ;
2529 struct aio_ring_info ring_info ;
2530 struct delayed_work wq ;
2531 struct rcu_head rcu_head ;
2532};
2533#line 214
2534struct mm_struct;
2535#line 443 "include/linux/sched.h"
2536struct sighand_struct {
2537 atomic_t count ;
2538 struct k_sigaction action[64] ;
2539 spinlock_t siglock ;
2540 wait_queue_head_t signalfd_wqh ;
2541};
2542#line 450 "include/linux/sched.h"
2543struct pacct_struct {
2544 int ac_flag ;
2545 long ac_exitcode ;
2546 unsigned long ac_mem ;
2547 cputime_t ac_utime ;
2548 cputime_t ac_stime ;
2549 unsigned long ac_minflt ;
2550 unsigned long ac_majflt ;
2551};
2552#line 458 "include/linux/sched.h"
2553struct cpu_itimer {
2554 cputime_t expires ;
2555 cputime_t incr ;
2556 u32 error ;
2557 u32 incr_error ;
2558};
2559#line 476 "include/linux/sched.h"
2560struct task_cputime {
2561 cputime_t utime ;
2562 cputime_t stime ;
2563 unsigned long long sum_exec_runtime ;
2564};
2565#line 512 "include/linux/sched.h"
2566struct thread_group_cputimer {
2567 struct task_cputime cputime ;
2568 int running ;
2569 raw_spinlock_t lock ;
2570};
2571#line 519
2572struct autogroup;
2573#line 519
2574struct autogroup;
2575#line 528
2576struct tty_struct;
2577#line 528
2578struct taskstats;
2579#line 528
2580struct tty_audit_buf;
2581#line 528 "include/linux/sched.h"
2582struct signal_struct {
2583 atomic_t sigcnt ;
2584 atomic_t live ;
2585 int nr_threads ;
2586 wait_queue_head_t wait_chldexit ;
2587 struct task_struct *curr_target ;
2588 struct sigpending shared_pending ;
2589 int group_exit_code ;
2590 int notify_count ;
2591 struct task_struct *group_exit_task ;
2592 int group_stop_count ;
2593 unsigned int flags ;
2594 unsigned int is_child_subreaper : 1 ;
2595 unsigned int has_child_subreaper : 1 ;
2596 struct list_head posix_timers ;
2597 struct hrtimer real_timer ;
2598 struct pid *leader_pid ;
2599 ktime_t it_real_incr ;
2600 struct cpu_itimer it[2] ;
2601 struct thread_group_cputimer cputimer ;
2602 struct task_cputime cputime_expires ;
2603 struct list_head cpu_timers[3] ;
2604 struct pid *tty_old_pgrp ;
2605 int leader ;
2606 struct tty_struct *tty ;
2607 struct autogroup *autogroup ;
2608 cputime_t utime ;
2609 cputime_t stime ;
2610 cputime_t cutime ;
2611 cputime_t cstime ;
2612 cputime_t gtime ;
2613 cputime_t cgtime ;
2614 cputime_t prev_utime ;
2615 cputime_t prev_stime ;
2616 unsigned long nvcsw ;
2617 unsigned long nivcsw ;
2618 unsigned long cnvcsw ;
2619 unsigned long cnivcsw ;
2620 unsigned long min_flt ;
2621 unsigned long maj_flt ;
2622 unsigned long cmin_flt ;
2623 unsigned long cmaj_flt ;
2624 unsigned long inblock ;
2625 unsigned long oublock ;
2626 unsigned long cinblock ;
2627 unsigned long coublock ;
2628 unsigned long maxrss ;
2629 unsigned long cmaxrss ;
2630 struct task_io_accounting ioac ;
2631 unsigned long long sum_sched_runtime ;
2632 struct rlimit rlim[16] ;
2633 struct pacct_struct pacct ;
2634 struct taskstats *stats ;
2635 unsigned int audit_tty ;
2636 struct tty_audit_buf *tty_audit_buf ;
2637 struct rw_semaphore group_rwsem ;
2638 int oom_adj ;
2639 int oom_score_adj ;
2640 int oom_score_adj_min ;
2641 struct mutex cred_guard_mutex ;
2642};
2643#line 703 "include/linux/sched.h"
2644struct user_struct {
2645 atomic_t __count ;
2646 atomic_t processes ;
2647 atomic_t files ;
2648 atomic_t sigpending ;
2649 atomic_t inotify_watches ;
2650 atomic_t inotify_devs ;
2651 atomic_t fanotify_listeners ;
2652 atomic_long_t epoll_watches ;
2653 unsigned long mq_bytes ;
2654 unsigned long locked_shm ;
2655 struct key *uid_keyring ;
2656 struct key *session_keyring ;
2657 struct hlist_node uidhash_node ;
2658 uid_t uid ;
2659 struct user_namespace *user_ns ;
2660 atomic_long_t locked_vm ;
2661};
2662#line 747
2663struct backing_dev_info;
2664#line 748
2665struct reclaim_state;
2666#line 748
2667struct reclaim_state;
2668#line 751 "include/linux/sched.h"
2669struct sched_info {
2670 unsigned long pcount ;
2671 unsigned long long run_delay ;
2672 unsigned long long last_arrival ;
2673 unsigned long long last_queued ;
2674};
2675#line 763 "include/linux/sched.h"
2676struct task_delay_info {
2677 spinlock_t lock ;
2678 unsigned int flags ;
2679 struct timespec blkio_start ;
2680 struct timespec blkio_end ;
2681 u64 blkio_delay ;
2682 u64 swapin_delay ;
2683 u32 blkio_count ;
2684 u32 swapin_count ;
2685 struct timespec freepages_start ;
2686 struct timespec freepages_end ;
2687 u64 freepages_delay ;
2688 u32 freepages_count ;
2689};
2690#line 1088
2691struct io_context;
2692#line 1088
2693struct io_context;
2694#line 1097
2695struct audit_context;
2696#line 1098
2697struct mempolicy;
2698#line 1099
2699struct pipe_inode_info;
2700#line 1102
2701struct rq;
2702#line 1102
2703struct rq;
2704#line 1122 "include/linux/sched.h"
2705struct sched_class {
2706 struct sched_class const *next ;
2707 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2708 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2709 void (*yield_task)(struct rq *rq ) ;
2710 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2711 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2712 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2713 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2714 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2715 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2716 void (*post_schedule)(struct rq *this_rq ) ;
2717 void (*task_waking)(struct task_struct *task ) ;
2718 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2719 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2720 void (*rq_online)(struct rq *rq ) ;
2721 void (*rq_offline)(struct rq *rq ) ;
2722 void (*set_curr_task)(struct rq *rq ) ;
2723 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2724 void (*task_fork)(struct task_struct *p ) ;
2725 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2726 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2727 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2728 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2729 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2730};
2731#line 1167 "include/linux/sched.h"
2732struct load_weight {
2733 unsigned long weight ;
2734 unsigned long inv_weight ;
2735};
2736#line 1172 "include/linux/sched.h"
2737struct sched_statistics {
2738 u64 wait_start ;
2739 u64 wait_max ;
2740 u64 wait_count ;
2741 u64 wait_sum ;
2742 u64 iowait_count ;
2743 u64 iowait_sum ;
2744 u64 sleep_start ;
2745 u64 sleep_max ;
2746 s64 sum_sleep_runtime ;
2747 u64 block_start ;
2748 u64 block_max ;
2749 u64 exec_max ;
2750 u64 slice_max ;
2751 u64 nr_migrations_cold ;
2752 u64 nr_failed_migrations_affine ;
2753 u64 nr_failed_migrations_running ;
2754 u64 nr_failed_migrations_hot ;
2755 u64 nr_forced_migrations ;
2756 u64 nr_wakeups ;
2757 u64 nr_wakeups_sync ;
2758 u64 nr_wakeups_migrate ;
2759 u64 nr_wakeups_local ;
2760 u64 nr_wakeups_remote ;
2761 u64 nr_wakeups_affine ;
2762 u64 nr_wakeups_affine_attempts ;
2763 u64 nr_wakeups_passive ;
2764 u64 nr_wakeups_idle ;
2765};
2766#line 1207 "include/linux/sched.h"
2767struct sched_entity {
2768 struct load_weight load ;
2769 struct rb_node run_node ;
2770 struct list_head group_node ;
2771 unsigned int on_rq ;
2772 u64 exec_start ;
2773 u64 sum_exec_runtime ;
2774 u64 vruntime ;
2775 u64 prev_sum_exec_runtime ;
2776 u64 nr_migrations ;
2777 struct sched_statistics statistics ;
2778 struct sched_entity *parent ;
2779 struct cfs_rq *cfs_rq ;
2780 struct cfs_rq *my_q ;
2781};
2782#line 1233
2783struct rt_rq;
2784#line 1233 "include/linux/sched.h"
2785struct sched_rt_entity {
2786 struct list_head run_list ;
2787 unsigned long timeout ;
2788 unsigned int time_slice ;
2789 int nr_cpus_allowed ;
2790 struct sched_rt_entity *back ;
2791 struct sched_rt_entity *parent ;
2792 struct rt_rq *rt_rq ;
2793 struct rt_rq *my_q ;
2794};
2795#line 1264
2796struct css_set;
2797#line 1264
2798struct compat_robust_list_head;
2799#line 1264
2800struct mem_cgroup;
2801#line 1264 "include/linux/sched.h"
2802struct memcg_batch_info {
2803 int do_batch ;
2804 struct mem_cgroup *memcg ;
2805 unsigned long nr_pages ;
2806 unsigned long memsw_nr_pages ;
2807};
2808#line 1264 "include/linux/sched.h"
2809struct task_struct {
2810 long volatile state ;
2811 void *stack ;
2812 atomic_t usage ;
2813 unsigned int flags ;
2814 unsigned int ptrace ;
2815 struct llist_node wake_entry ;
2816 int on_cpu ;
2817 int on_rq ;
2818 int prio ;
2819 int static_prio ;
2820 int normal_prio ;
2821 unsigned int rt_priority ;
2822 struct sched_class const *sched_class ;
2823 struct sched_entity se ;
2824 struct sched_rt_entity rt ;
2825 struct hlist_head preempt_notifiers ;
2826 unsigned char fpu_counter ;
2827 unsigned int policy ;
2828 cpumask_t cpus_allowed ;
2829 struct sched_info sched_info ;
2830 struct list_head tasks ;
2831 struct plist_node pushable_tasks ;
2832 struct mm_struct *mm ;
2833 struct mm_struct *active_mm ;
2834 unsigned int brk_randomized : 1 ;
2835 int exit_state ;
2836 int exit_code ;
2837 int exit_signal ;
2838 int pdeath_signal ;
2839 unsigned int jobctl ;
2840 unsigned int personality ;
2841 unsigned int did_exec : 1 ;
2842 unsigned int in_execve : 1 ;
2843 unsigned int in_iowait : 1 ;
2844 unsigned int sched_reset_on_fork : 1 ;
2845 unsigned int sched_contributes_to_load : 1 ;
2846 unsigned int irq_thread : 1 ;
2847 pid_t pid ;
2848 pid_t tgid ;
2849 unsigned long stack_canary ;
2850 struct task_struct *real_parent ;
2851 struct task_struct *parent ;
2852 struct list_head children ;
2853 struct list_head sibling ;
2854 struct task_struct *group_leader ;
2855 struct list_head ptraced ;
2856 struct list_head ptrace_entry ;
2857 struct pid_link pids[3] ;
2858 struct list_head thread_group ;
2859 struct completion *vfork_done ;
2860 int *set_child_tid ;
2861 int *clear_child_tid ;
2862 cputime_t utime ;
2863 cputime_t stime ;
2864 cputime_t utimescaled ;
2865 cputime_t stimescaled ;
2866 cputime_t gtime ;
2867 cputime_t prev_utime ;
2868 cputime_t prev_stime ;
2869 unsigned long nvcsw ;
2870 unsigned long nivcsw ;
2871 struct timespec start_time ;
2872 struct timespec real_start_time ;
2873 unsigned long min_flt ;
2874 unsigned long maj_flt ;
2875 struct task_cputime cputime_expires ;
2876 struct list_head cpu_timers[3] ;
2877 struct cred const *real_cred ;
2878 struct cred const *cred ;
2879 struct cred *replacement_session_keyring ;
2880 char comm[16] ;
2881 int link_count ;
2882 int total_link_count ;
2883 struct sysv_sem sysvsem ;
2884 unsigned long last_switch_count ;
2885 struct thread_struct thread ;
2886 struct fs_struct *fs ;
2887 struct files_struct *files ;
2888 struct nsproxy *nsproxy ;
2889 struct signal_struct *signal ;
2890 struct sighand_struct *sighand ;
2891 sigset_t blocked ;
2892 sigset_t real_blocked ;
2893 sigset_t saved_sigmask ;
2894 struct sigpending pending ;
2895 unsigned long sas_ss_sp ;
2896 size_t sas_ss_size ;
2897 int (*notifier)(void *priv ) ;
2898 void *notifier_data ;
2899 sigset_t *notifier_mask ;
2900 struct audit_context *audit_context ;
2901 uid_t loginuid ;
2902 unsigned int sessionid ;
2903 seccomp_t seccomp ;
2904 u32 parent_exec_id ;
2905 u32 self_exec_id ;
2906 spinlock_t alloc_lock ;
2907 raw_spinlock_t pi_lock ;
2908 struct plist_head pi_waiters ;
2909 struct rt_mutex_waiter *pi_blocked_on ;
2910 struct mutex_waiter *blocked_on ;
2911 unsigned int irq_events ;
2912 unsigned long hardirq_enable_ip ;
2913 unsigned long hardirq_disable_ip ;
2914 unsigned int hardirq_enable_event ;
2915 unsigned int hardirq_disable_event ;
2916 int hardirqs_enabled ;
2917 int hardirq_context ;
2918 unsigned long softirq_disable_ip ;
2919 unsigned long softirq_enable_ip ;
2920 unsigned int softirq_disable_event ;
2921 unsigned int softirq_enable_event ;
2922 int softirqs_enabled ;
2923 int softirq_context ;
2924 void *journal_info ;
2925 struct bio_list *bio_list ;
2926 struct blk_plug *plug ;
2927 struct reclaim_state *reclaim_state ;
2928 struct backing_dev_info *backing_dev_info ;
2929 struct io_context *io_context ;
2930 unsigned long ptrace_message ;
2931 siginfo_t *last_siginfo ;
2932 struct task_io_accounting ioac ;
2933 u64 acct_rss_mem1 ;
2934 u64 acct_vm_mem1 ;
2935 cputime_t acct_timexpd ;
2936 nodemask_t mems_allowed ;
2937 seqcount_t mems_allowed_seq ;
2938 int cpuset_mem_spread_rotor ;
2939 int cpuset_slab_spread_rotor ;
2940 struct css_set *cgroups ;
2941 struct list_head cg_list ;
2942 struct robust_list_head *robust_list ;
2943 struct compat_robust_list_head *compat_robust_list ;
2944 struct list_head pi_state_list ;
2945 struct futex_pi_state *pi_state_cache ;
2946 struct perf_event_context *perf_event_ctxp[2] ;
2947 struct mutex perf_event_mutex ;
2948 struct list_head perf_event_list ;
2949 struct mempolicy *mempolicy ;
2950 short il_next ;
2951 short pref_node_fork ;
2952 struct rcu_head rcu ;
2953 struct pipe_inode_info *splice_pipe ;
2954 struct task_delay_info *delays ;
2955 int make_it_fail ;
2956 int nr_dirtied ;
2957 int nr_dirtied_pause ;
2958 unsigned long dirty_paused_when ;
2959 int latency_record_count ;
2960 struct latency_record latency_record[32] ;
2961 unsigned long timer_slack_ns ;
2962 unsigned long default_timer_slack_ns ;
2963 struct list_head *scm_work_list ;
2964 unsigned long trace ;
2965 unsigned long trace_recursion ;
2966 struct memcg_batch_info memcg_batch ;
2967 atomic_t ptrace_bp_refcnt ;
2968};
2969#line 1681
2970struct pid_namespace;
2971#line 484 "include/linux/uwb/spec.h"
2972struct uwb_rceb {
2973 u8 bEventType ;
2974 __le16 wEvent ;
2975 u8 bEventContext ;
2976} __attribute__((__packed__)) ;
2977#line 674 "include/linux/uwb.h"
2978enum __anonenum_type_269 {
2979 UWB_EST_16 = 0,
2980 UWB_EST_8 = 1
2981} ;
2982#line 674 "include/linux/uwb.h"
2983struct uwb_est_entry {
2984 size_t size ;
2985 unsigned int offset ;
2986 enum __anonenum_type_269 type ;
2987};
2988#line 78 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/uwb/i1480/dfu/i1480-dfu.h"
2989struct uwb_rceb;
2990#line 177 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/uwb/i1480/dfu/i1480-dfu.h"
2991struct i1480_evt_confirm {
2992 struct uwb_rceb rceb ;
2993 __le16 wParamLength ;
2994 u8 bResultCode ;
2995} __attribute__((__packed__)) ;
2996#line 186 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/uwb/i1480/dfu/i1480-dfu.h"
2997struct i1480_rceb {
2998 struct uwb_rceb rceb ;
2999 __le16 wParamLength ;
3000} __attribute__((__packed__)) ;
3001#line 60 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3002struct __anonstruct_274 {
3003 int : 0 ;
3004};
3005#line 67 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3006struct __anonstruct_275 {
3007 int : 0 ;
3008};
3009#line 79 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3010struct __anonstruct_276 {
3011 int : 0 ;
3012};
3013#line 81 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3014struct __anonstruct_277 {
3015 int : 0 ;
3016};
3017#line 1 "<compiler builtins>"
3018long __builtin_expect(long val , long res ) ;
3019#line 100 "include/linux/printk.h"
3020extern int ( printk)(char const *fmt , ...) ;
3021#line 152 "include/linux/mutex.h"
3022void mutex_lock(struct mutex *lock ) ;
3023#line 153
3024int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3025#line 154
3026int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3027#line 168
3028int mutex_trylock(struct mutex *lock ) ;
3029#line 169
3030void mutex_unlock(struct mutex *lock ) ;
3031#line 170
3032int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3033#line 67 "include/linux/module.h"
3034int init_module(void) ;
3035#line 68
3036void cleanup_module(void) ;
3037#line 680 "include/linux/uwb.h"
3038extern int uwb_est_register(u8 type , u8 code_high , u16 vendor , u16 product , struct uwb_est_entry const * ,
3039 size_t entries ) ;
3040#line 682
3041extern int uwb_est_unregister(u8 type , u8 code_high , u16 vendor , u16 product ,
3042 struct uwb_est_entry const * , size_t entries ) ;
3043#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3044static struct uwb_est_entry i1480_est_fd00[15] =
3045#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3046 { {0UL, 0U, 0},
3047 {0UL, 0U, 0},
3048 {sizeof(struct i1480_evt_confirm ), 0U, 0},
3049 {0UL, 0U, 0},
3050 {0UL, 0U, 0},
3051 {0UL, 0U, 0},
3052 {0UL, 0U, 0},
3053 {0UL, 0U, 0},
3054 {0UL, 0U, 0},
3055 {sizeof(struct i1480_rceb ), 1U + (unsigned int )(& ((struct i1480_rceb *)0)->wParamLength),
3056 0},
3057 {0UL, 0U, 0},
3058 {0UL, 0U, 0},
3059 {0UL, 0U, 0},
3060 {0UL, 0U, 0},
3061 {sizeof(struct i1480_evt_confirm ), 0U, 0}};
3062#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3063static struct uwb_est_entry i1480_est_fd01[6] = { {0UL, 0U, 0},
3064 {sizeof(struct i1480_rceb ), 0U, 0},
3065 {0UL, 0U, 0},
3066 {sizeof(struct i1480_rceb ) + 9UL, 0U, 0},
3067 {sizeof(struct i1480_rceb ) + 9UL, 0U, 0},
3068 {sizeof(struct i1480_rceb ) + 2UL, 0U, 0}};
3069#line 58
3070static int i1480_est_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
3071#line 58 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3072static int i1480_est_init(void)
3073{ int result ;
3074 int tmp___7 ;
3075 u8 __cil_tmp3 ;
3076 u8 __cil_tmp4 ;
3077 u16 __cil_tmp5 ;
3078 u16 __cil_tmp6 ;
3079 unsigned long __cil_tmp7 ;
3080 unsigned long __cil_tmp8 ;
3081 struct uwb_est_entry *__cil_tmp9 ;
3082 struct uwb_est_entry const *__cil_tmp10 ;
3083 unsigned long __cil_tmp11 ;
3084 unsigned long __cil_tmp12 ;
3085 u8 __cil_tmp13 ;
3086 u8 __cil_tmp14 ;
3087 u16 __cil_tmp15 ;
3088 u16 __cil_tmp16 ;
3089 unsigned long __cil_tmp17 ;
3090 unsigned long __cil_tmp18 ;
3091 struct uwb_est_entry *__cil_tmp19 ;
3092 struct uwb_est_entry const *__cil_tmp20 ;
3093 unsigned long __cil_tmp21 ;
3094 unsigned long __cil_tmp22 ;
3095
3096 {
3097 {
3098#line 60
3099 __cil_tmp3 = (u8 )253;
3100#line 60
3101 __cil_tmp4 = (u8 )0;
3102#line 60
3103 __cil_tmp5 = (u16 )32902;
3104#line 60
3105 __cil_tmp6 = (u16 )3131;
3106#line 60
3107 __cil_tmp7 = 0 * 16UL;
3108#line 60
3109 __cil_tmp8 = (unsigned long )(i1480_est_fd00) + __cil_tmp7;
3110#line 60
3111 __cil_tmp9 = (struct uwb_est_entry *)__cil_tmp8;
3112#line 60
3113 __cil_tmp10 = (struct uwb_est_entry const *)__cil_tmp9;
3114#line 60
3115 __cil_tmp11 = 240UL / 16UL;
3116#line 60
3117 __cil_tmp12 = __cil_tmp11 + 0UL;
3118#line 60
3119 tmp___7 = uwb_est_register(__cil_tmp3, __cil_tmp4, __cil_tmp5, __cil_tmp6, __cil_tmp10,
3120 __cil_tmp12);
3121#line 60
3122 result = tmp___7;
3123 }
3124#line 63
3125 if (result < 0) {
3126 {
3127#line 64
3128 printk("<3>Can\'t register EST table fd00: %d\n", result);
3129 }
3130#line 65
3131 return (result);
3132 } else {
3133
3134 }
3135 {
3136#line 67
3137 __cil_tmp13 = (u8 )253;
3138#line 67
3139 __cil_tmp14 = (u8 )1;
3140#line 67
3141 __cil_tmp15 = (u16 )32902;
3142#line 67
3143 __cil_tmp16 = (u16 )3131;
3144#line 67
3145 __cil_tmp17 = 0 * 16UL;
3146#line 67
3147 __cil_tmp18 = (unsigned long )(i1480_est_fd01) + __cil_tmp17;
3148#line 67
3149 __cil_tmp19 = (struct uwb_est_entry *)__cil_tmp18;
3150#line 67
3151 __cil_tmp20 = (struct uwb_est_entry const *)__cil_tmp19;
3152#line 67
3153 __cil_tmp21 = 96UL / 16UL;
3154#line 67
3155 __cil_tmp22 = __cil_tmp21 + 0UL;
3156#line 67
3157 result = uwb_est_register(__cil_tmp13, __cil_tmp14, __cil_tmp15, __cil_tmp16, __cil_tmp20,
3158 __cil_tmp22);
3159 }
3160#line 69
3161 if (result < 0) {
3162 {
3163#line 70
3164 printk("<3>Can\'t register EST table fd01: %d\n", result);
3165 }
3166#line 71
3167 return (result);
3168 } else {
3169
3170 }
3171#line 73
3172 return (0);
3173}
3174}
3175#line 75 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3176int init_module(void)
3177{ int tmp___7 ;
3178
3179 {
3180 {
3181#line 75
3182 tmp___7 = i1480_est_init();
3183 }
3184#line 75
3185 return (tmp___7);
3186}
3187}
3188#line 77
3189static void i1480_est_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
3190#line 77 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3191static void i1480_est_exit(void)
3192{ u8 __cil_tmp1 ;
3193 u8 __cil_tmp2 ;
3194 u16 __cil_tmp3 ;
3195 u16 __cil_tmp4 ;
3196 unsigned long __cil_tmp5 ;
3197 unsigned long __cil_tmp6 ;
3198 struct uwb_est_entry *__cil_tmp7 ;
3199 struct uwb_est_entry const *__cil_tmp8 ;
3200 unsigned long __cil_tmp9 ;
3201 unsigned long __cil_tmp10 ;
3202 u8 __cil_tmp11 ;
3203 u8 __cil_tmp12 ;
3204 u16 __cil_tmp13 ;
3205 u16 __cil_tmp14 ;
3206 unsigned long __cil_tmp15 ;
3207 unsigned long __cil_tmp16 ;
3208 struct uwb_est_entry *__cil_tmp17 ;
3209 struct uwb_est_entry const *__cil_tmp18 ;
3210 unsigned long __cil_tmp19 ;
3211 unsigned long __cil_tmp20 ;
3212
3213 {
3214 {
3215#line 79
3216 __cil_tmp1 = (u8 )253;
3217#line 79
3218 __cil_tmp2 = (u8 )0;
3219#line 79
3220 __cil_tmp3 = (u16 )32902;
3221#line 79
3222 __cil_tmp4 = (u16 )3131;
3223#line 79
3224 __cil_tmp5 = 0 * 16UL;
3225#line 79
3226 __cil_tmp6 = (unsigned long )(i1480_est_fd00) + __cil_tmp5;
3227#line 79
3228 __cil_tmp7 = (struct uwb_est_entry *)__cil_tmp6;
3229#line 79
3230 __cil_tmp8 = (struct uwb_est_entry const *)__cil_tmp7;
3231#line 79
3232 __cil_tmp9 = 240UL / 16UL;
3233#line 79
3234 __cil_tmp10 = __cil_tmp9 + 0UL;
3235#line 79
3236 uwb_est_unregister(__cil_tmp1, __cil_tmp2, __cil_tmp3, __cil_tmp4, __cil_tmp8, __cil_tmp10);
3237#line 81
3238 __cil_tmp11 = (u8 )253;
3239#line 81
3240 __cil_tmp12 = (u8 )1;
3241#line 81
3242 __cil_tmp13 = (u16 )32902;
3243#line 81
3244 __cil_tmp14 = (u16 )3131;
3245#line 81
3246 __cil_tmp15 = 0 * 16UL;
3247#line 81
3248 __cil_tmp16 = (unsigned long )(i1480_est_fd01) + __cil_tmp15;
3249#line 81
3250 __cil_tmp17 = (struct uwb_est_entry *)__cil_tmp16;
3251#line 81
3252 __cil_tmp18 = (struct uwb_est_entry const *)__cil_tmp17;
3253#line 81
3254 __cil_tmp19 = 96UL / 16UL;
3255#line 81
3256 __cil_tmp20 = __cil_tmp19 + 0UL;
3257#line 81
3258 uwb_est_unregister(__cil_tmp11, __cil_tmp12, __cil_tmp13, __cil_tmp14, __cil_tmp18,
3259 __cil_tmp20);
3260 }
3261#line 83
3262 return;
3263}
3264}
3265#line 84 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3266void cleanup_module(void)
3267{
3268
3269 {
3270 {
3271#line 84
3272 i1480_est_exit();
3273 }
3274#line 84
3275 return;
3276}
3277}
3278#line 86 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3279static char const __mod_author86[61] __attribute__((__used__, __unused__, __section__(".modinfo"),
3280__aligned__(1))) =
3281#line 86
3282 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3283 (char const )'o', (char const )'r', (char const )'=', (char const )'I',
3284 (char const )'n', (char const )'a', (char const )'k', (char const )'y',
3285 (char const )' ', (char const )'P', (char const )'e', (char const )'r',
3286 (char const )'e', (char const )'z', (char const )'-', (char const )'G',
3287 (char const )'o', (char const )'n', (char const )'z', (char const )'a',
3288 (char const )'l', (char const )'e', (char const )'z', (char const )' ',
3289 (char const )'<', (char const )'i', (char const )'n', (char const )'a',
3290 (char const )'k', (char const )'y', (char const )'.', (char const )'p',
3291 (char const )'e', (char const )'r', (char const )'e', (char const )'z',
3292 (char const )'-', (char const )'g', (char const )'o', (char const )'n',
3293 (char const )'z', (char const )'a', (char const )'l', (char const )'e',
3294 (char const )'z', (char const )'@', (char const )'i', (char const )'n',
3295 (char const )'t', (char const )'e', (char const )'l', (char const )'.',
3296 (char const )'c', (char const )'o', (char const )'m', (char const )'>',
3297 (char const )'\000'};
3298#line 87 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3299static char const __mod_description87[54] __attribute__((__used__, __unused__,
3300__section__(".modinfo"), __aligned__(1))) =
3301#line 87
3302 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3303 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3304 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3305 (char const )'i', (char const )'1', (char const )'4', (char const )'8',
3306 (char const )'0', (char const )'\'', (char const )'s', (char const )' ',
3307 (char const )'V', (char const )'e', (char const )'n', (char const )'d',
3308 (char const )'o', (char const )'r', (char const )' ', (char const )'S',
3309 (char const )'p', (char const )'e', (char const )'c', (char const )'i',
3310 (char const )'f', (char const )'i', (char const )'c', (char const )' ',
3311 (char const )'E', (char const )'v', (char const )'e', (char const )'n',
3312 (char const )'t', (char const )' ', (char const )'S', (char const )'i',
3313 (char const )'z', (char const )'e', (char const )' ', (char const )'T',
3314 (char const )'a', (char const )'b', (char const )'l', (char const )'e',
3315 (char const )'s', (char const )'\000'};
3316#line 88 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3317static char const __mod_license88[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
3318__aligned__(1))) =
3319#line 88
3320 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3321 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3322 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
3323#line 95 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3324static struct usb_device_id i1480_est_id_table[2] __attribute__((__used__)) = { {(__u16 )3, (__u16 )32902, (__u16 )57147, (unsigned short)0, (unsigned short)0,
3325 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
3326 (unsigned char)0, 0UL},
3327 {(__u16 )3, (__u16 )32902, (__u16 )3131, (unsigned short)0, (unsigned short)0,
3328 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
3329 (unsigned char)0, 0UL}};
3330#line 100
3331extern struct usb_device_id const __mod_usb_device_table __attribute__((__unused__,
3332__alias__("i1480_est_id_table"))) ;
3333#line 118
3334void ldv_check_final_state(void) ;
3335#line 124
3336extern void ldv_initialize(void) ;
3337#line 127
3338extern int __VERIFIER_nondet_int(void) ;
3339#line 130 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3340int LDV_IN_INTERRUPT ;
3341#line 133 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3342void main(void)
3343{ int tmp___7 ;
3344 int tmp___8 ;
3345 int tmp___9 ;
3346
3347 {
3348 {
3349#line 145
3350 LDV_IN_INTERRUPT = 1;
3351#line 154
3352 ldv_initialize();
3353#line 163
3354 tmp___7 = i1480_est_init();
3355 }
3356#line 163
3357 if (tmp___7) {
3358#line 164
3359 goto ldv_final;
3360 } else {
3361
3362 }
3363 {
3364#line 166
3365 while (1) {
3366 while_continue: ;
3367 {
3368#line 166
3369 tmp___9 = __VERIFIER_nondet_int();
3370 }
3371#line 166
3372 if (tmp___9) {
3373
3374 } else {
3375#line 166
3376 goto while_break;
3377 }
3378 {
3379#line 169
3380 tmp___8 = __VERIFIER_nondet_int();
3381 }
3382 {
3383#line 171
3384 goto switch_default;
3385#line 169
3386 if (0) {
3387 switch_default:
3388#line 171
3389 goto switch_break;
3390 } else {
3391 switch_break: ;
3392 }
3393 }
3394 }
3395 while_break: ;
3396 }
3397 {
3398#line 186
3399 i1480_est_exit();
3400 }
3401 ldv_final:
3402 {
3403#line 189
3404 ldv_check_final_state();
3405 }
3406#line 192
3407 return;
3408}
3409}
3410#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3411void ldv_blast_assert(void)
3412{
3413
3414 {
3415 ERROR:
3416#line 6
3417 goto ERROR;
3418}
3419}
3420#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3421extern int __VERIFIER_nondet_int(void) ;
3422#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3423int ldv_mutex = 1;
3424#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3425int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3426{ int nondetermined ;
3427
3428 {
3429#line 29
3430 if (ldv_mutex == 1) {
3431
3432 } else {
3433 {
3434#line 29
3435 ldv_blast_assert();
3436 }
3437 }
3438 {
3439#line 32
3440 nondetermined = __VERIFIER_nondet_int();
3441 }
3442#line 35
3443 if (nondetermined) {
3444#line 38
3445 ldv_mutex = 2;
3446#line 40
3447 return (0);
3448 } else {
3449#line 45
3450 return (-4);
3451 }
3452}
3453}
3454#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3455int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3456{ int nondetermined ;
3457
3458 {
3459#line 57
3460 if (ldv_mutex == 1) {
3461
3462 } else {
3463 {
3464#line 57
3465 ldv_blast_assert();
3466 }
3467 }
3468 {
3469#line 60
3470 nondetermined = __VERIFIER_nondet_int();
3471 }
3472#line 63
3473 if (nondetermined) {
3474#line 66
3475 ldv_mutex = 2;
3476#line 68
3477 return (0);
3478 } else {
3479#line 73
3480 return (-4);
3481 }
3482}
3483}
3484#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3485int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3486{ int atomic_value_after_dec ;
3487
3488 {
3489#line 83
3490 if (ldv_mutex == 1) {
3491
3492 } else {
3493 {
3494#line 83
3495 ldv_blast_assert();
3496 }
3497 }
3498 {
3499#line 86
3500 atomic_value_after_dec = __VERIFIER_nondet_int();
3501 }
3502#line 89
3503 if (atomic_value_after_dec == 0) {
3504#line 92
3505 ldv_mutex = 2;
3506#line 94
3507 return (1);
3508 } else {
3509
3510 }
3511#line 98
3512 return (0);
3513}
3514}
3515#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3516void mutex_lock(struct mutex *lock )
3517{
3518
3519 {
3520#line 108
3521 if (ldv_mutex == 1) {
3522
3523 } else {
3524 {
3525#line 108
3526 ldv_blast_assert();
3527 }
3528 }
3529#line 110
3530 ldv_mutex = 2;
3531#line 111
3532 return;
3533}
3534}
3535#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3536int mutex_trylock(struct mutex *lock )
3537{ int nondetermined ;
3538
3539 {
3540#line 121
3541 if (ldv_mutex == 1) {
3542
3543 } else {
3544 {
3545#line 121
3546 ldv_blast_assert();
3547 }
3548 }
3549 {
3550#line 124
3551 nondetermined = __VERIFIER_nondet_int();
3552 }
3553#line 127
3554 if (nondetermined) {
3555#line 130
3556 ldv_mutex = 2;
3557#line 132
3558 return (1);
3559 } else {
3560#line 137
3561 return (0);
3562 }
3563}
3564}
3565#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3566void mutex_unlock(struct mutex *lock )
3567{
3568
3569 {
3570#line 147
3571 if (ldv_mutex == 2) {
3572
3573 } else {
3574 {
3575#line 147
3576 ldv_blast_assert();
3577 }
3578 }
3579#line 149
3580 ldv_mutex = 1;
3581#line 150
3582 return;
3583}
3584}
3585#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3586void ldv_check_final_state(void)
3587{
3588
3589 {
3590#line 156
3591 if (ldv_mutex == 1) {
3592
3593 } else {
3594 {
3595#line 156
3596 ldv_blast_assert();
3597 }
3598 }
3599#line 157
3600 return;
3601}
3602}
3603#line 201 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7345/dscv_tempdir/dscv/ri/32_1/drivers/uwb/i1480/i1480-est.c.common.c"
3604long s__builtin_expect(long val , long res )
3605{
3606
3607 {
3608#line 202
3609 return (val);
3610}
3611}