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