1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 22 "include/asm-generic/int-ll64.h"
7typedef short __s16;
8#line 23 "include/asm-generic/int-ll64.h"
9typedef unsigned short __u16;
10#line 25 "include/asm-generic/int-ll64.h"
11typedef int __s32;
12#line 26 "include/asm-generic/int-ll64.h"
13typedef unsigned int __u32;
14#line 29 "include/asm-generic/int-ll64.h"
15typedef long long __s64;
16#line 30 "include/asm-generic/int-ll64.h"
17typedef unsigned long long __u64;
18#line 43 "include/asm-generic/int-ll64.h"
19typedef unsigned char u8;
20#line 45 "include/asm-generic/int-ll64.h"
21typedef short s16;
22#line 46 "include/asm-generic/int-ll64.h"
23typedef unsigned short u16;
24#line 48 "include/asm-generic/int-ll64.h"
25typedef int s32;
26#line 49 "include/asm-generic/int-ll64.h"
27typedef unsigned int u32;
28#line 51 "include/asm-generic/int-ll64.h"
29typedef long long s64;
30#line 52 "include/asm-generic/int-ll64.h"
31typedef unsigned long long u64;
32#line 14 "include/asm-generic/posix_types.h"
33typedef long __kernel_long_t;
34#line 15 "include/asm-generic/posix_types.h"
35typedef unsigned long __kernel_ulong_t;
36#line 31 "include/asm-generic/posix_types.h"
37typedef int __kernel_pid_t;
38#line 52 "include/asm-generic/posix_types.h"
39typedef unsigned int __kernel_uid32_t;
40#line 53 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_gid32_t;
42#line 75 "include/asm-generic/posix_types.h"
43typedef __kernel_ulong_t __kernel_size_t;
44#line 76 "include/asm-generic/posix_types.h"
45typedef __kernel_long_t __kernel_ssize_t;
46#line 91 "include/asm-generic/posix_types.h"
47typedef long long __kernel_loff_t;
48#line 92 "include/asm-generic/posix_types.h"
49typedef __kernel_long_t __kernel_time_t;
50#line 93 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_clock_t;
52#line 94 "include/asm-generic/posix_types.h"
53typedef int __kernel_timer_t;
54#line 95 "include/asm-generic/posix_types.h"
55typedef int __kernel_clockid_t;
56#line 21 "include/linux/types.h"
57typedef __u32 __kernel_dev_t;
58#line 24 "include/linux/types.h"
59typedef __kernel_dev_t dev_t;
60#line 27 "include/linux/types.h"
61typedef unsigned short umode_t;
62#line 30 "include/linux/types.h"
63typedef __kernel_pid_t pid_t;
64#line 35 "include/linux/types.h"
65typedef __kernel_clockid_t clockid_t;
66#line 38 "include/linux/types.h"
67typedef _Bool bool;
68#line 40 "include/linux/types.h"
69typedef __kernel_uid32_t uid_t;
70#line 41 "include/linux/types.h"
71typedef __kernel_gid32_t gid_t;
72#line 54 "include/linux/types.h"
73typedef __kernel_loff_t loff_t;
74#line 63 "include/linux/types.h"
75typedef __kernel_size_t size_t;
76#line 68 "include/linux/types.h"
77typedef __kernel_ssize_t ssize_t;
78#line 78 "include/linux/types.h"
79typedef __kernel_time_t time_t;
80#line 111 "include/linux/types.h"
81typedef __s32 int32_t;
82#line 117 "include/linux/types.h"
83typedef __u32 uint32_t;
84#line 120 "include/linux/types.h"
85typedef __u64 uint64_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 219 "include/linux/types.h"
95struct __anonstruct_atomic_t_7 {
96 int counter ;
97};
98#line 219 "include/linux/types.h"
99typedef struct __anonstruct_atomic_t_7 atomic_t;
100#line 224 "include/linux/types.h"
101struct __anonstruct_atomic64_t_8 {
102 long counter ;
103};
104#line 224 "include/linux/types.h"
105typedef struct __anonstruct_atomic64_t_8 atomic64_t;
106#line 229 "include/linux/types.h"
107struct list_head {
108 struct list_head *next ;
109 struct list_head *prev ;
110};
111#line 233
112struct hlist_node;
113#line 233 "include/linux/types.h"
114struct hlist_head {
115 struct hlist_node *first ;
116};
117#line 237 "include/linux/types.h"
118struct hlist_node {
119 struct hlist_node *next ;
120 struct hlist_node **pprev ;
121};
122#line 253 "include/linux/types.h"
123struct rcu_head {
124 struct rcu_head *next ;
125 void (*func)(struct rcu_head *head ) ;
126};
127#line 13 "include/linux/blk_types.h"
128struct bio;
129#line 13
130struct bio;
131#line 14
132struct bio_integrity_payload;
133#line 14
134struct bio_integrity_payload;
135#line 15
136struct page;
137#line 15
138struct page;
139#line 16
140struct block_device;
141#line 16
142struct block_device;
143#line 17 "include/linux/blk_types.h"
144typedef void bio_end_io_t(struct bio * , int );
145#line 18 "include/linux/blk_types.h"
146typedef void bio_destructor_t(struct bio * );
147#line 23 "include/linux/blk_types.h"
148struct bio_vec {
149 struct page *bv_page ;
150 unsigned int bv_len ;
151 unsigned int bv_offset ;
152};
153#line 33 "include/linux/blk_types.h"
154struct bio {
155 sector_t bi_sector ;
156 struct bio *bi_next ;
157 struct block_device *bi_bdev ;
158 unsigned long bi_flags ;
159 unsigned long bi_rw ;
160 unsigned short bi_vcnt ;
161 unsigned short bi_idx ;
162 unsigned int bi_phys_segments ;
163 unsigned int bi_size ;
164 unsigned int bi_seg_front_size ;
165 unsigned int bi_seg_back_size ;
166 unsigned int bi_max_vecs ;
167 atomic_t bi_cnt ;
168 struct bio_vec *bi_io_vec ;
169 bio_end_io_t *bi_end_io ;
170 void *bi_private ;
171 struct bio_integrity_payload *bi_integrity ;
172 bio_destructor_t *bi_destructor ;
173 struct bio_vec bi_inline_vecs[0] ;
174};
175#line 12 "include/linux/thread_info.h"
176struct timespec;
177#line 12
178struct timespec;
179#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
180struct module;
181#line 56
182struct module;
183#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
184struct page;
185#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
186struct task_struct;
187#line 20
188struct task_struct;
189#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
190struct task_struct;
191#line 8
192struct mm_struct;
193#line 8
194struct mm_struct;
195#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
196struct pt_regs {
197 unsigned long r15 ;
198 unsigned long r14 ;
199 unsigned long r13 ;
200 unsigned long r12 ;
201 unsigned long bp ;
202 unsigned long bx ;
203 unsigned long r11 ;
204 unsigned long r10 ;
205 unsigned long r9 ;
206 unsigned long r8 ;
207 unsigned long ax ;
208 unsigned long cx ;
209 unsigned long dx ;
210 unsigned long si ;
211 unsigned long di ;
212 unsigned long orig_ax ;
213 unsigned long ip ;
214 unsigned long cs ;
215 unsigned long flags ;
216 unsigned long sp ;
217 unsigned long ss ;
218};
219#line 146 "include/linux/init.h"
220typedef void (*ctor_fn_t)(void);
221#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
222struct __anonstruct____missing_field_name_14 {
223 unsigned int a ;
224 unsigned int b ;
225};
226#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
227struct __anonstruct____missing_field_name_15 {
228 u16 limit0 ;
229 u16 base0 ;
230 unsigned int base1 : 8 ;
231 unsigned int type : 4 ;
232 unsigned int s : 1 ;
233 unsigned int dpl : 2 ;
234 unsigned int p : 1 ;
235 unsigned int limit : 4 ;
236 unsigned int avl : 1 ;
237 unsigned int l : 1 ;
238 unsigned int d : 1 ;
239 unsigned int g : 1 ;
240 unsigned int base2 : 8 ;
241};
242#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
243union __anonunion____missing_field_name_13 {
244 struct __anonstruct____missing_field_name_14 __annonCompField5 ;
245 struct __anonstruct____missing_field_name_15 __annonCompField6 ;
246};
247#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
248struct desc_struct {
249 union __anonunion____missing_field_name_13 __annonCompField7 ;
250} __attribute__((__packed__)) ;
251#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
252typedef unsigned long pgdval_t;
253#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
254typedef unsigned long pgprotval_t;
255#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
256struct pgprot {
257 pgprotval_t pgprot ;
258};
259#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
260typedef struct pgprot pgprot_t;
261#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
262struct __anonstruct_pgd_t_19 {
263 pgdval_t pgd ;
264};
265#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
266typedef struct __anonstruct_pgd_t_19 pgd_t;
267#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
268typedef struct page *pgtable_t;
269#line 295
270struct file;
271#line 295
272struct file;
273#line 313
274struct seq_file;
275#line 313
276struct seq_file;
277#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
278struct page;
279#line 47
280struct thread_struct;
281#line 47
282struct thread_struct;
283#line 50
284struct mm_struct;
285#line 51
286struct desc_struct;
287#line 52
288struct task_struct;
289#line 53
290struct cpumask;
291#line 53
292struct cpumask;
293#line 329
294struct arch_spinlock;
295#line 329
296struct arch_spinlock;
297#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
298struct task_struct;
299#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
300struct kernel_vm86_regs {
301 struct pt_regs pt ;
302 unsigned short es ;
303 unsigned short __esh ;
304 unsigned short ds ;
305 unsigned short __dsh ;
306 unsigned short fs ;
307 unsigned short __fsh ;
308 unsigned short gs ;
309 unsigned short __gsh ;
310};
311#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
312union __anonunion____missing_field_name_23 {
313 struct pt_regs *regs ;
314 struct kernel_vm86_regs *vm86 ;
315};
316#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
317struct math_emu_info {
318 long ___orig_eip ;
319 union __anonunion____missing_field_name_23 __annonCompField8 ;
320};
321#line 47 "include/linux/dynamic_debug.h"
322struct device;
323#line 47
324struct device;
325#line 135 "include/linux/kernel.h"
326struct completion;
327#line 135
328struct completion;
329#line 136
330struct pt_regs;
331#line 349
332struct pid;
333#line 349
334struct pid;
335#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
336struct task_struct;
337#line 10 "include/asm-generic/bug.h"
338struct bug_entry {
339 int bug_addr_disp ;
340 int file_disp ;
341 unsigned short line ;
342 unsigned short flags ;
343};
344#line 12 "include/linux/bug.h"
345struct pt_regs;
346#line 14 "include/linux/cpumask.h"
347struct cpumask {
348 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
349};
350#line 14 "include/linux/cpumask.h"
351typedef struct cpumask cpumask_t;
352#line 637 "include/linux/cpumask.h"
353typedef struct cpumask *cpumask_var_t;
354#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
355struct static_key;
356#line 234
357struct static_key;
358#line 11 "include/linux/personality.h"
359struct pt_regs;
360#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
361struct i387_fsave_struct {
362 u32 cwd ;
363 u32 swd ;
364 u32 twd ;
365 u32 fip ;
366 u32 fcs ;
367 u32 foo ;
368 u32 fos ;
369 u32 st_space[20] ;
370 u32 status ;
371};
372#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
373struct __anonstruct____missing_field_name_31 {
374 u64 rip ;
375 u64 rdp ;
376};
377#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
378struct __anonstruct____missing_field_name_32 {
379 u32 fip ;
380 u32 fcs ;
381 u32 foo ;
382 u32 fos ;
383};
384#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
385union __anonunion____missing_field_name_30 {
386 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
387 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
388};
389#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
390union __anonunion____missing_field_name_33 {
391 u32 padding1[12] ;
392 u32 sw_reserved[12] ;
393};
394#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
395struct i387_fxsave_struct {
396 u16 cwd ;
397 u16 swd ;
398 u16 twd ;
399 u16 fop ;
400 union __anonunion____missing_field_name_30 __annonCompField14 ;
401 u32 mxcsr ;
402 u32 mxcsr_mask ;
403 u32 st_space[32] ;
404 u32 xmm_space[64] ;
405 u32 padding[12] ;
406 union __anonunion____missing_field_name_33 __annonCompField15 ;
407} __attribute__((__aligned__(16))) ;
408#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
409struct i387_soft_struct {
410 u32 cwd ;
411 u32 swd ;
412 u32 twd ;
413 u32 fip ;
414 u32 fcs ;
415 u32 foo ;
416 u32 fos ;
417 u32 st_space[20] ;
418 u8 ftop ;
419 u8 changed ;
420 u8 lookahead ;
421 u8 no_update ;
422 u8 rm ;
423 u8 alimit ;
424 struct math_emu_info *info ;
425 u32 entry_eip ;
426};
427#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
428struct ymmh_struct {
429 u32 ymmh_space[64] ;
430};
431#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
432struct xsave_hdr_struct {
433 u64 xstate_bv ;
434 u64 reserved1[2] ;
435 u64 reserved2[5] ;
436} __attribute__((__packed__)) ;
437#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
438struct xsave_struct {
439 struct i387_fxsave_struct i387 ;
440 struct xsave_hdr_struct xsave_hdr ;
441 struct ymmh_struct ymmh ;
442} __attribute__((__packed__, __aligned__(64))) ;
443#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
444union thread_xstate {
445 struct i387_fsave_struct fsave ;
446 struct i387_fxsave_struct fxsave ;
447 struct i387_soft_struct soft ;
448 struct xsave_struct xsave ;
449};
450#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
451struct fpu {
452 unsigned int last_cpu ;
453 unsigned int has_fpu ;
454 union thread_xstate *state ;
455};
456#line 433
457struct kmem_cache;
458#line 435
459struct perf_event;
460#line 435
461struct perf_event;
462#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
463struct thread_struct {
464 struct desc_struct tls_array[3] ;
465 unsigned long sp0 ;
466 unsigned long sp ;
467 unsigned long usersp ;
468 unsigned short es ;
469 unsigned short ds ;
470 unsigned short fsindex ;
471 unsigned short gsindex ;
472 unsigned long fs ;
473 unsigned long gs ;
474 struct perf_event *ptrace_bps[4] ;
475 unsigned long debugreg6 ;
476 unsigned long ptrace_dr7 ;
477 unsigned long cr2 ;
478 unsigned long trap_nr ;
479 unsigned long error_code ;
480 struct fpu fpu ;
481 unsigned long *io_bitmap_ptr ;
482 unsigned long iopl ;
483 unsigned int io_bitmap_max ;
484};
485#line 23 "include/asm-generic/atomic-long.h"
486typedef atomic64_t atomic_long_t;
487#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
488typedef u16 __ticket_t;
489#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
490typedef u32 __ticketpair_t;
491#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
492struct __raw_tickets {
493 __ticket_t head ;
494 __ticket_t tail ;
495};
496#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
497union __anonunion____missing_field_name_36 {
498 __ticketpair_t head_tail ;
499 struct __raw_tickets tickets ;
500};
501#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
502struct arch_spinlock {
503 union __anonunion____missing_field_name_36 __annonCompField17 ;
504};
505#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
506typedef struct arch_spinlock arch_spinlock_t;
507#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
508struct __anonstruct____missing_field_name_38 {
509 u32 read ;
510 s32 write ;
511};
512#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
513union __anonunion_arch_rwlock_t_37 {
514 s64 lock ;
515 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
516};
517#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
518typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
519#line 12 "include/linux/lockdep.h"
520struct task_struct;
521#line 391 "include/linux/lockdep.h"
522struct lock_class_key {
523
524};
525#line 20 "include/linux/spinlock_types.h"
526struct raw_spinlock {
527 arch_spinlock_t raw_lock ;
528 unsigned int magic ;
529 unsigned int owner_cpu ;
530 void *owner ;
531};
532#line 20 "include/linux/spinlock_types.h"
533typedef struct raw_spinlock raw_spinlock_t;
534#line 64 "include/linux/spinlock_types.h"
535union __anonunion____missing_field_name_39 {
536 struct raw_spinlock rlock ;
537};
538#line 64 "include/linux/spinlock_types.h"
539struct spinlock {
540 union __anonunion____missing_field_name_39 __annonCompField19 ;
541};
542#line 64 "include/linux/spinlock_types.h"
543typedef struct spinlock spinlock_t;
544#line 11 "include/linux/rwlock_types.h"
545struct __anonstruct_rwlock_t_40 {
546 arch_rwlock_t raw_lock ;
547 unsigned int magic ;
548 unsigned int owner_cpu ;
549 void *owner ;
550};
551#line 11 "include/linux/rwlock_types.h"
552typedef struct __anonstruct_rwlock_t_40 rwlock_t;
553#line 49 "include/linux/wait.h"
554struct __wait_queue_head {
555 spinlock_t lock ;
556 struct list_head task_list ;
557};
558#line 53 "include/linux/wait.h"
559typedef struct __wait_queue_head wait_queue_head_t;
560#line 55
561struct task_struct;
562#line 119 "include/linux/seqlock.h"
563struct seqcount {
564 unsigned int sequence ;
565};
566#line 119 "include/linux/seqlock.h"
567typedef struct seqcount seqcount_t;
568#line 25 "include/linux/completion.h"
569struct completion {
570 unsigned int done ;
571 wait_queue_head_t wait ;
572};
573#line 33 "include/linux/list_bl.h"
574struct hlist_bl_node;
575#line 33 "include/linux/list_bl.h"
576struct hlist_bl_head {
577 struct hlist_bl_node *first ;
578};
579#line 37 "include/linux/list_bl.h"
580struct hlist_bl_node {
581 struct hlist_bl_node *next ;
582 struct hlist_bl_node **pprev ;
583};
584#line 13 "include/linux/dcache.h"
585struct nameidata;
586#line 13
587struct nameidata;
588#line 14
589struct path;
590#line 14
591struct path;
592#line 15
593struct vfsmount;
594#line 15
595struct vfsmount;
596#line 35 "include/linux/dcache.h"
597struct qstr {
598 unsigned int hash ;
599 unsigned int len ;
600 unsigned char const *name ;
601};
602#line 88
603struct inode;
604#line 88
605struct dentry_operations;
606#line 88
607struct super_block;
608#line 88 "include/linux/dcache.h"
609union __anonunion_d_u_42 {
610 struct list_head d_child ;
611 struct rcu_head d_rcu ;
612};
613#line 88 "include/linux/dcache.h"
614struct dentry {
615 unsigned int d_flags ;
616 seqcount_t d_seq ;
617 struct hlist_bl_node d_hash ;
618 struct dentry *d_parent ;
619 struct qstr d_name ;
620 struct inode *d_inode ;
621 unsigned char d_iname[32] ;
622 unsigned int d_count ;
623 spinlock_t d_lock ;
624 struct dentry_operations const *d_op ;
625 struct super_block *d_sb ;
626 unsigned long d_time ;
627 void *d_fsdata ;
628 struct list_head d_lru ;
629 union __anonunion_d_u_42 d_u ;
630 struct list_head d_subdirs ;
631 struct list_head d_alias ;
632};
633#line 131 "include/linux/dcache.h"
634struct dentry_operations {
635 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
636 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
637 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
638 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
639 int (*d_delete)(struct dentry const * ) ;
640 void (*d_release)(struct dentry * ) ;
641 void (*d_prune)(struct dentry * ) ;
642 void (*d_iput)(struct dentry * , struct inode * ) ;
643 char *(*d_dname)(struct dentry * , char * , int ) ;
644 struct vfsmount *(*d_automount)(struct path * ) ;
645 int (*d_manage)(struct dentry * , bool ) ;
646} __attribute__((__aligned__((1) << (6) ))) ;
647#line 4 "include/linux/path.h"
648struct dentry;
649#line 5
650struct vfsmount;
651#line 7 "include/linux/path.h"
652struct path {
653 struct vfsmount *mnt ;
654 struct dentry *dentry ;
655};
656#line 14 "include/linux/time.h"
657struct timespec {
658 __kernel_time_t tv_sec ;
659 long tv_nsec ;
660};
661#line 62 "include/linux/stat.h"
662struct kstat {
663 u64 ino ;
664 dev_t dev ;
665 umode_t mode ;
666 unsigned int nlink ;
667 uid_t uid ;
668 gid_t gid ;
669 dev_t rdev ;
670 loff_t size ;
671 struct timespec atime ;
672 struct timespec mtime ;
673 struct timespec ctime ;
674 unsigned long blksize ;
675 unsigned long long blocks ;
676};
677#line 64 "include/linux/radix-tree.h"
678struct radix_tree_node;
679#line 64 "include/linux/radix-tree.h"
680struct radix_tree_root {
681 unsigned int height ;
682 gfp_t gfp_mask ;
683 struct radix_tree_node *rnode ;
684};
685#line 14 "include/linux/prio_tree.h"
686struct prio_tree_node;
687#line 14 "include/linux/prio_tree.h"
688struct raw_prio_tree_node {
689 struct prio_tree_node *left ;
690 struct prio_tree_node *right ;
691 struct prio_tree_node *parent ;
692};
693#line 20 "include/linux/prio_tree.h"
694struct prio_tree_node {
695 struct prio_tree_node *left ;
696 struct prio_tree_node *right ;
697 struct prio_tree_node *parent ;
698 unsigned long start ;
699 unsigned long last ;
700};
701#line 28 "include/linux/prio_tree.h"
702struct prio_tree_root {
703 struct prio_tree_node *prio_tree_node ;
704 unsigned short index_bits ;
705 unsigned short raw ;
706};
707#line 6 "include/linux/pid.h"
708enum pid_type {
709 PIDTYPE_PID = 0,
710 PIDTYPE_PGID = 1,
711 PIDTYPE_SID = 2,
712 PIDTYPE_MAX = 3
713} ;
714#line 50
715struct pid_namespace;
716#line 50 "include/linux/pid.h"
717struct upid {
718 int nr ;
719 struct pid_namespace *ns ;
720 struct hlist_node pid_chain ;
721};
722#line 57 "include/linux/pid.h"
723struct pid {
724 atomic_t count ;
725 unsigned int level ;
726 struct hlist_head tasks[3] ;
727 struct rcu_head rcu ;
728 struct upid numbers[1] ;
729};
730#line 69 "include/linux/pid.h"
731struct pid_link {
732 struct hlist_node node ;
733 struct pid *pid ;
734};
735#line 100
736struct pid_namespace;
737#line 48 "include/linux/mutex.h"
738struct mutex {
739 atomic_t count ;
740 spinlock_t wait_lock ;
741 struct list_head wait_list ;
742 struct task_struct *owner ;
743 char const *name ;
744 void *magic ;
745};
746#line 69 "include/linux/mutex.h"
747struct mutex_waiter {
748 struct list_head list ;
749 struct task_struct *task ;
750 void *magic ;
751};
752#line 18 "include/linux/capability.h"
753struct task_struct;
754#line 94 "include/linux/capability.h"
755struct kernel_cap_struct {
756 __u32 cap[2] ;
757};
758#line 94 "include/linux/capability.h"
759typedef struct kernel_cap_struct kernel_cap_t;
760#line 377
761struct dentry;
762#line 378
763struct user_namespace;
764#line 378
765struct user_namespace;
766#line 16 "include/linux/fiemap.h"
767struct fiemap_extent {
768 __u64 fe_logical ;
769 __u64 fe_physical ;
770 __u64 fe_length ;
771 __u64 fe_reserved64[2] ;
772 __u32 fe_flags ;
773 __u32 fe_reserved[3] ;
774};
775#line 8 "include/linux/shrinker.h"
776struct shrink_control {
777 gfp_t gfp_mask ;
778 unsigned long nr_to_scan ;
779};
780#line 31 "include/linux/shrinker.h"
781struct shrinker {
782 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
783 int seeks ;
784 long batch ;
785 struct list_head list ;
786 atomic_long_t nr_in_batch ;
787};
788#line 10 "include/linux/migrate_mode.h"
789enum migrate_mode {
790 MIGRATE_ASYNC = 0,
791 MIGRATE_SYNC_LIGHT = 1,
792 MIGRATE_SYNC = 2
793} ;
794#line 408 "include/linux/fs.h"
795struct export_operations;
796#line 408
797struct export_operations;
798#line 409
799struct hd_geometry;
800#line 409
801struct hd_geometry;
802#line 410
803struct iovec;
804#line 410
805struct iovec;
806#line 411
807struct nameidata;
808#line 412
809struct kiocb;
810#line 412
811struct kiocb;
812#line 413
813struct kobject;
814#line 413
815struct kobject;
816#line 414
817struct pipe_inode_info;
818#line 414
819struct pipe_inode_info;
820#line 415
821struct poll_table_struct;
822#line 415
823struct poll_table_struct;
824#line 416
825struct kstatfs;
826#line 416
827struct kstatfs;
828#line 417
829struct vm_area_struct;
830#line 417
831struct vm_area_struct;
832#line 418
833struct vfsmount;
834#line 419
835struct cred;
836#line 419
837struct cred;
838#line 469 "include/linux/fs.h"
839struct iattr {
840 unsigned int ia_valid ;
841 umode_t ia_mode ;
842 uid_t ia_uid ;
843 gid_t ia_gid ;
844 loff_t ia_size ;
845 struct timespec ia_atime ;
846 struct timespec ia_mtime ;
847 struct timespec ia_ctime ;
848 struct file *ia_file ;
849};
850#line 129 "include/linux/quota.h"
851struct if_dqinfo {
852 __u64 dqi_bgrace ;
853 __u64 dqi_igrace ;
854 __u32 dqi_flags ;
855 __u32 dqi_valid ;
856};
857#line 19 "include/linux/rwsem.h"
858struct rw_semaphore;
859#line 19
860struct rw_semaphore;
861#line 25 "include/linux/rwsem.h"
862struct rw_semaphore {
863 long count ;
864 raw_spinlock_t wait_lock ;
865 struct list_head wait_list ;
866};
867#line 18 "include/linux/smp.h"
868struct call_single_data {
869 struct list_head list ;
870 void (*func)(void *info ) ;
871 void *info ;
872 u16 flags ;
873 u16 priv ;
874};
875#line 202 "include/linux/ioport.h"
876struct device;
877#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
878struct device;
879#line 46 "include/linux/ktime.h"
880union ktime {
881 s64 tv64 ;
882};
883#line 59 "include/linux/ktime.h"
884typedef union ktime ktime_t;
885#line 10 "include/linux/timer.h"
886struct tvec_base;
887#line 10
888struct tvec_base;
889#line 12 "include/linux/timer.h"
890struct timer_list {
891 struct list_head entry ;
892 unsigned long expires ;
893 struct tvec_base *base ;
894 void (*function)(unsigned long ) ;
895 unsigned long data ;
896 int slack ;
897 int start_pid ;
898 void *start_site ;
899 char start_comm[16] ;
900};
901#line 289
902struct hrtimer;
903#line 289
904struct hrtimer;
905#line 290
906enum hrtimer_restart;
907#line 17 "include/linux/workqueue.h"
908struct work_struct;
909#line 17
910struct work_struct;
911#line 79 "include/linux/workqueue.h"
912struct work_struct {
913 atomic_long_t data ;
914 struct list_head entry ;
915 void (*func)(struct work_struct *work ) ;
916};
917#line 92 "include/linux/workqueue.h"
918struct delayed_work {
919 struct work_struct work ;
920 struct timer_list timer ;
921};
922#line 42 "include/linux/pm.h"
923struct device;
924#line 50 "include/linux/pm.h"
925struct pm_message {
926 int event ;
927};
928#line 50 "include/linux/pm.h"
929typedef struct pm_message pm_message_t;
930#line 264 "include/linux/pm.h"
931struct dev_pm_ops {
932 int (*prepare)(struct device *dev ) ;
933 void (*complete)(struct device *dev ) ;
934 int (*suspend)(struct device *dev ) ;
935 int (*resume)(struct device *dev ) ;
936 int (*freeze)(struct device *dev ) ;
937 int (*thaw)(struct device *dev ) ;
938 int (*poweroff)(struct device *dev ) ;
939 int (*restore)(struct device *dev ) ;
940 int (*suspend_late)(struct device *dev ) ;
941 int (*resume_early)(struct device *dev ) ;
942 int (*freeze_late)(struct device *dev ) ;
943 int (*thaw_early)(struct device *dev ) ;
944 int (*poweroff_late)(struct device *dev ) ;
945 int (*restore_early)(struct device *dev ) ;
946 int (*suspend_noirq)(struct device *dev ) ;
947 int (*resume_noirq)(struct device *dev ) ;
948 int (*freeze_noirq)(struct device *dev ) ;
949 int (*thaw_noirq)(struct device *dev ) ;
950 int (*poweroff_noirq)(struct device *dev ) ;
951 int (*restore_noirq)(struct device *dev ) ;
952 int (*runtime_suspend)(struct device *dev ) ;
953 int (*runtime_resume)(struct device *dev ) ;
954 int (*runtime_idle)(struct device *dev ) ;
955};
956#line 458
957enum rpm_status {
958 RPM_ACTIVE = 0,
959 RPM_RESUMING = 1,
960 RPM_SUSPENDED = 2,
961 RPM_SUSPENDING = 3
962} ;
963#line 480
964enum rpm_request {
965 RPM_REQ_NONE = 0,
966 RPM_REQ_IDLE = 1,
967 RPM_REQ_SUSPEND = 2,
968 RPM_REQ_AUTOSUSPEND = 3,
969 RPM_REQ_RESUME = 4
970} ;
971#line 488
972struct wakeup_source;
973#line 488
974struct wakeup_source;
975#line 495 "include/linux/pm.h"
976struct pm_subsys_data {
977 spinlock_t lock ;
978 unsigned int refcount ;
979};
980#line 506
981struct dev_pm_qos_request;
982#line 506
983struct pm_qos_constraints;
984#line 506 "include/linux/pm.h"
985struct dev_pm_info {
986 pm_message_t power_state ;
987 unsigned int can_wakeup : 1 ;
988 unsigned int async_suspend : 1 ;
989 bool is_prepared : 1 ;
990 bool is_suspended : 1 ;
991 bool ignore_children : 1 ;
992 spinlock_t lock ;
993 struct list_head entry ;
994 struct completion completion ;
995 struct wakeup_source *wakeup ;
996 bool wakeup_path : 1 ;
997 struct timer_list suspend_timer ;
998 unsigned long timer_expires ;
999 struct work_struct work ;
1000 wait_queue_head_t wait_queue ;
1001 atomic_t usage_count ;
1002 atomic_t child_count ;
1003 unsigned int disable_depth : 3 ;
1004 unsigned int idle_notification : 1 ;
1005 unsigned int request_pending : 1 ;
1006 unsigned int deferred_resume : 1 ;
1007 unsigned int run_wake : 1 ;
1008 unsigned int runtime_auto : 1 ;
1009 unsigned int no_callbacks : 1 ;
1010 unsigned int irq_safe : 1 ;
1011 unsigned int use_autosuspend : 1 ;
1012 unsigned int timer_autosuspends : 1 ;
1013 enum rpm_request request ;
1014 enum rpm_status runtime_status ;
1015 int runtime_error ;
1016 int autosuspend_delay ;
1017 unsigned long last_busy ;
1018 unsigned long active_jiffies ;
1019 unsigned long suspended_jiffies ;
1020 unsigned long accounting_timestamp ;
1021 ktime_t suspend_time ;
1022 s64 max_time_suspended_ns ;
1023 struct dev_pm_qos_request *pq_req ;
1024 struct pm_subsys_data *subsys_data ;
1025 struct pm_qos_constraints *constraints ;
1026};
1027#line 564 "include/linux/pm.h"
1028struct dev_pm_domain {
1029 struct dev_pm_ops ops ;
1030};
1031#line 98 "include/linux/nodemask.h"
1032struct __anonstruct_nodemask_t_114 {
1033 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1034};
1035#line 98 "include/linux/nodemask.h"
1036typedef struct __anonstruct_nodemask_t_114 nodemask_t;
1037#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1038struct __anonstruct_mm_context_t_115 {
1039 void *ldt ;
1040 int size ;
1041 unsigned short ia32_compat ;
1042 struct mutex lock ;
1043 void *vdso ;
1044};
1045#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1046typedef struct __anonstruct_mm_context_t_115 mm_context_t;
1047#line 8 "include/linux/vmalloc.h"
1048struct vm_area_struct;
1049#line 336 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1050struct bio_vec;
1051#line 18 "include/linux/percpu_counter.h"
1052struct percpu_counter {
1053 raw_spinlock_t lock ;
1054 s64 count ;
1055 struct list_head list ;
1056 s32 *counters ;
1057};
1058#line 50 "include/linux/dqblk_xfs.h"
1059struct fs_disk_quota {
1060 __s8 d_version ;
1061 __s8 d_flags ;
1062 __u16 d_fieldmask ;
1063 __u32 d_id ;
1064 __u64 d_blk_hardlimit ;
1065 __u64 d_blk_softlimit ;
1066 __u64 d_ino_hardlimit ;
1067 __u64 d_ino_softlimit ;
1068 __u64 d_bcount ;
1069 __u64 d_icount ;
1070 __s32 d_itimer ;
1071 __s32 d_btimer ;
1072 __u16 d_iwarns ;
1073 __u16 d_bwarns ;
1074 __s32 d_padding2 ;
1075 __u64 d_rtb_hardlimit ;
1076 __u64 d_rtb_softlimit ;
1077 __u64 d_rtbcount ;
1078 __s32 d_rtbtimer ;
1079 __u16 d_rtbwarns ;
1080 __s16 d_padding3 ;
1081 char d_padding4[8] ;
1082};
1083#line 146 "include/linux/dqblk_xfs.h"
1084struct fs_qfilestat {
1085 __u64 qfs_ino ;
1086 __u64 qfs_nblks ;
1087 __u32 qfs_nextents ;
1088};
1089#line 146 "include/linux/dqblk_xfs.h"
1090typedef struct fs_qfilestat fs_qfilestat_t;
1091#line 152 "include/linux/dqblk_xfs.h"
1092struct fs_quota_stat {
1093 __s8 qs_version ;
1094 __u16 qs_flags ;
1095 __s8 qs_pad ;
1096 fs_qfilestat_t qs_uquota ;
1097 fs_qfilestat_t qs_gquota ;
1098 __u32 qs_incoredqs ;
1099 __s32 qs_btimelimit ;
1100 __s32 qs_itimelimit ;
1101 __s32 qs_rtbtimelimit ;
1102 __u16 qs_bwarnlimit ;
1103 __u16 qs_iwarnlimit ;
1104};
1105#line 17 "include/linux/dqblk_qtree.h"
1106struct dquot;
1107#line 17
1108struct dquot;
1109#line 185 "include/linux/quota.h"
1110typedef __kernel_uid32_t qid_t;
1111#line 186 "include/linux/quota.h"
1112typedef long long qsize_t;
1113#line 200 "include/linux/quota.h"
1114struct mem_dqblk {
1115 qsize_t dqb_bhardlimit ;
1116 qsize_t dqb_bsoftlimit ;
1117 qsize_t dqb_curspace ;
1118 qsize_t dqb_rsvspace ;
1119 qsize_t dqb_ihardlimit ;
1120 qsize_t dqb_isoftlimit ;
1121 qsize_t dqb_curinodes ;
1122 time_t dqb_btime ;
1123 time_t dqb_itime ;
1124};
1125#line 215
1126struct quota_format_type;
1127#line 215
1128struct quota_format_type;
1129#line 217 "include/linux/quota.h"
1130struct mem_dqinfo {
1131 struct quota_format_type *dqi_format ;
1132 int dqi_fmt_id ;
1133 struct list_head dqi_dirty_list ;
1134 unsigned long dqi_flags ;
1135 unsigned int dqi_bgrace ;
1136 unsigned int dqi_igrace ;
1137 qsize_t dqi_maxblimit ;
1138 qsize_t dqi_maxilimit ;
1139 void *dqi_priv ;
1140};
1141#line 230
1142struct super_block;
1143#line 288 "include/linux/quota.h"
1144struct dquot {
1145 struct hlist_node dq_hash ;
1146 struct list_head dq_inuse ;
1147 struct list_head dq_free ;
1148 struct list_head dq_dirty ;
1149 struct mutex dq_lock ;
1150 atomic_t dq_count ;
1151 wait_queue_head_t dq_wait_unused ;
1152 struct super_block *dq_sb ;
1153 unsigned int dq_id ;
1154 loff_t dq_off ;
1155 unsigned long dq_flags ;
1156 short dq_type ;
1157 struct mem_dqblk dq_dqb ;
1158};
1159#line 305 "include/linux/quota.h"
1160struct quota_format_ops {
1161 int (*check_quota_file)(struct super_block *sb , int type ) ;
1162 int (*read_file_info)(struct super_block *sb , int type ) ;
1163 int (*write_file_info)(struct super_block *sb , int type ) ;
1164 int (*free_file_info)(struct super_block *sb , int type ) ;
1165 int (*read_dqblk)(struct dquot *dquot ) ;
1166 int (*commit_dqblk)(struct dquot *dquot ) ;
1167 int (*release_dqblk)(struct dquot *dquot ) ;
1168};
1169#line 316 "include/linux/quota.h"
1170struct dquot_operations {
1171 int (*write_dquot)(struct dquot * ) ;
1172 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1173 void (*destroy_dquot)(struct dquot * ) ;
1174 int (*acquire_dquot)(struct dquot * ) ;
1175 int (*release_dquot)(struct dquot * ) ;
1176 int (*mark_dirty)(struct dquot * ) ;
1177 int (*write_info)(struct super_block * , int ) ;
1178 qsize_t *(*get_reserved_space)(struct inode * ) ;
1179};
1180#line 329
1181struct path;
1182#line 332 "include/linux/quota.h"
1183struct quotactl_ops {
1184 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1185 int (*quota_on_meta)(struct super_block * , int , int ) ;
1186 int (*quota_off)(struct super_block * , int ) ;
1187 int (*quota_sync)(struct super_block * , int , int ) ;
1188 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1189 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1190 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1191 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1192 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1193 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1194};
1195#line 345 "include/linux/quota.h"
1196struct quota_format_type {
1197 int qf_fmt_id ;
1198 struct quota_format_ops const *qf_ops ;
1199 struct module *qf_owner ;
1200 struct quota_format_type *qf_next ;
1201};
1202#line 399 "include/linux/quota.h"
1203struct quota_info {
1204 unsigned int flags ;
1205 struct mutex dqio_mutex ;
1206 struct mutex dqonoff_mutex ;
1207 struct rw_semaphore dqptr_sem ;
1208 struct inode *files[2] ;
1209 struct mem_dqinfo info[2] ;
1210 struct quota_format_ops const *ops[2] ;
1211};
1212#line 532 "include/linux/fs.h"
1213struct page;
1214#line 533
1215struct address_space;
1216#line 533
1217struct address_space;
1218#line 534
1219struct writeback_control;
1220#line 534
1221struct writeback_control;
1222#line 577 "include/linux/fs.h"
1223union __anonunion_arg_145 {
1224 char *buf ;
1225 void *data ;
1226};
1227#line 577 "include/linux/fs.h"
1228struct __anonstruct_read_descriptor_t_144 {
1229 size_t written ;
1230 size_t count ;
1231 union __anonunion_arg_145 arg ;
1232 int error ;
1233};
1234#line 577 "include/linux/fs.h"
1235typedef struct __anonstruct_read_descriptor_t_144 read_descriptor_t;
1236#line 590 "include/linux/fs.h"
1237struct address_space_operations {
1238 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1239 int (*readpage)(struct file * , struct page * ) ;
1240 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1241 int (*set_page_dirty)(struct page *page ) ;
1242 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1243 unsigned int nr_pages ) ;
1244 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1245 unsigned int len , unsigned int flags , struct page **pagep ,
1246 void **fsdata ) ;
1247 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1248 unsigned int copied , struct page *page , void *fsdata ) ;
1249 sector_t (*bmap)(struct address_space * , sector_t ) ;
1250 void (*invalidatepage)(struct page * , unsigned long ) ;
1251 int (*releasepage)(struct page * , gfp_t ) ;
1252 void (*freepage)(struct page * ) ;
1253 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1254 unsigned long nr_segs ) ;
1255 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1256 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1257 int (*launder_page)(struct page * ) ;
1258 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1259 int (*error_remove_page)(struct address_space * , struct page * ) ;
1260};
1261#line 645
1262struct backing_dev_info;
1263#line 645
1264struct backing_dev_info;
1265#line 646 "include/linux/fs.h"
1266struct address_space {
1267 struct inode *host ;
1268 struct radix_tree_root page_tree ;
1269 spinlock_t tree_lock ;
1270 unsigned int i_mmap_writable ;
1271 struct prio_tree_root i_mmap ;
1272 struct list_head i_mmap_nonlinear ;
1273 struct mutex i_mmap_mutex ;
1274 unsigned long nrpages ;
1275 unsigned long writeback_index ;
1276 struct address_space_operations const *a_ops ;
1277 unsigned long flags ;
1278 struct backing_dev_info *backing_dev_info ;
1279 spinlock_t private_lock ;
1280 struct list_head private_list ;
1281 struct address_space *assoc_mapping ;
1282} __attribute__((__aligned__(sizeof(long )))) ;
1283#line 669
1284struct request_queue;
1285#line 669
1286struct request_queue;
1287#line 671
1288struct hd_struct;
1289#line 671
1290struct gendisk;
1291#line 671 "include/linux/fs.h"
1292struct block_device {
1293 dev_t bd_dev ;
1294 int bd_openers ;
1295 struct inode *bd_inode ;
1296 struct super_block *bd_super ;
1297 struct mutex bd_mutex ;
1298 struct list_head bd_inodes ;
1299 void *bd_claiming ;
1300 void *bd_holder ;
1301 int bd_holders ;
1302 bool bd_write_holder ;
1303 struct list_head bd_holder_disks ;
1304 struct block_device *bd_contains ;
1305 unsigned int bd_block_size ;
1306 struct hd_struct *bd_part ;
1307 unsigned int bd_part_count ;
1308 int bd_invalidated ;
1309 struct gendisk *bd_disk ;
1310 struct request_queue *bd_queue ;
1311 struct list_head bd_list ;
1312 unsigned long bd_private ;
1313 int bd_fsfreeze_count ;
1314 struct mutex bd_fsfreeze_mutex ;
1315};
1316#line 749
1317struct posix_acl;
1318#line 749
1319struct posix_acl;
1320#line 761
1321struct inode_operations;
1322#line 761 "include/linux/fs.h"
1323union __anonunion____missing_field_name_146 {
1324 unsigned int const i_nlink ;
1325 unsigned int __i_nlink ;
1326};
1327#line 761 "include/linux/fs.h"
1328union __anonunion____missing_field_name_147 {
1329 struct list_head i_dentry ;
1330 struct rcu_head i_rcu ;
1331};
1332#line 761
1333struct file_operations;
1334#line 761
1335struct file_lock;
1336#line 761
1337struct cdev;
1338#line 761 "include/linux/fs.h"
1339union __anonunion____missing_field_name_148 {
1340 struct pipe_inode_info *i_pipe ;
1341 struct block_device *i_bdev ;
1342 struct cdev *i_cdev ;
1343};
1344#line 761 "include/linux/fs.h"
1345struct inode {
1346 umode_t i_mode ;
1347 unsigned short i_opflags ;
1348 uid_t i_uid ;
1349 gid_t i_gid ;
1350 unsigned int i_flags ;
1351 struct posix_acl *i_acl ;
1352 struct posix_acl *i_default_acl ;
1353 struct inode_operations const *i_op ;
1354 struct super_block *i_sb ;
1355 struct address_space *i_mapping ;
1356 void *i_security ;
1357 unsigned long i_ino ;
1358 union __anonunion____missing_field_name_146 __annonCompField30 ;
1359 dev_t i_rdev ;
1360 struct timespec i_atime ;
1361 struct timespec i_mtime ;
1362 struct timespec i_ctime ;
1363 spinlock_t i_lock ;
1364 unsigned short i_bytes ;
1365 blkcnt_t i_blocks ;
1366 loff_t i_size ;
1367 unsigned long i_state ;
1368 struct mutex i_mutex ;
1369 unsigned long dirtied_when ;
1370 struct hlist_node i_hash ;
1371 struct list_head i_wb_list ;
1372 struct list_head i_lru ;
1373 struct list_head i_sb_list ;
1374 union __anonunion____missing_field_name_147 __annonCompField31 ;
1375 atomic_t i_count ;
1376 unsigned int i_blkbits ;
1377 u64 i_version ;
1378 atomic_t i_dio_count ;
1379 atomic_t i_writecount ;
1380 struct file_operations const *i_fop ;
1381 struct file_lock *i_flock ;
1382 struct address_space i_data ;
1383 struct dquot *i_dquot[2] ;
1384 struct list_head i_devices ;
1385 union __anonunion____missing_field_name_148 __annonCompField32 ;
1386 __u32 i_generation ;
1387 __u32 i_fsnotify_mask ;
1388 struct hlist_head i_fsnotify_marks ;
1389 atomic_t i_readcount ;
1390 void *i_private ;
1391};
1392#line 942 "include/linux/fs.h"
1393struct fown_struct {
1394 rwlock_t lock ;
1395 struct pid *pid ;
1396 enum pid_type pid_type ;
1397 uid_t uid ;
1398 uid_t euid ;
1399 int signum ;
1400};
1401#line 953 "include/linux/fs.h"
1402struct file_ra_state {
1403 unsigned long start ;
1404 unsigned int size ;
1405 unsigned int async_size ;
1406 unsigned int ra_pages ;
1407 unsigned int mmap_miss ;
1408 loff_t prev_pos ;
1409};
1410#line 976 "include/linux/fs.h"
1411union __anonunion_f_u_149 {
1412 struct list_head fu_list ;
1413 struct rcu_head fu_rcuhead ;
1414};
1415#line 976 "include/linux/fs.h"
1416struct file {
1417 union __anonunion_f_u_149 f_u ;
1418 struct path f_path ;
1419 struct file_operations const *f_op ;
1420 spinlock_t f_lock ;
1421 int f_sb_list_cpu ;
1422 atomic_long_t f_count ;
1423 unsigned int f_flags ;
1424 fmode_t f_mode ;
1425 loff_t f_pos ;
1426 struct fown_struct f_owner ;
1427 struct cred const *f_cred ;
1428 struct file_ra_state f_ra ;
1429 u64 f_version ;
1430 void *f_security ;
1431 void *private_data ;
1432 struct list_head f_ep_links ;
1433 struct list_head f_tfile_llink ;
1434 struct address_space *f_mapping ;
1435 unsigned long f_mnt_write_state ;
1436};
1437#line 1111
1438struct files_struct;
1439#line 1111 "include/linux/fs.h"
1440typedef struct files_struct *fl_owner_t;
1441#line 1113 "include/linux/fs.h"
1442struct file_lock_operations {
1443 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1444 void (*fl_release_private)(struct file_lock * ) ;
1445};
1446#line 1118 "include/linux/fs.h"
1447struct lock_manager_operations {
1448 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1449 void (*lm_notify)(struct file_lock * ) ;
1450 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
1451 void (*lm_release_private)(struct file_lock * ) ;
1452 void (*lm_break)(struct file_lock * ) ;
1453 int (*lm_change)(struct file_lock ** , int ) ;
1454};
1455#line 4 "include/linux/nfs_fs_i.h"
1456struct nlm_lockowner;
1457#line 4
1458struct nlm_lockowner;
1459#line 9 "include/linux/nfs_fs_i.h"
1460struct nfs_lock_info {
1461 u32 state ;
1462 struct nlm_lockowner *owner ;
1463 struct list_head list ;
1464};
1465#line 15
1466struct nfs4_lock_state;
1467#line 15
1468struct nfs4_lock_state;
1469#line 16 "include/linux/nfs_fs_i.h"
1470struct nfs4_lock_info {
1471 struct nfs4_lock_state *owner ;
1472};
1473#line 1138 "include/linux/fs.h"
1474struct fasync_struct;
1475#line 1138 "include/linux/fs.h"
1476struct __anonstruct_afs_151 {
1477 struct list_head link ;
1478 int state ;
1479};
1480#line 1138 "include/linux/fs.h"
1481union __anonunion_fl_u_150 {
1482 struct nfs_lock_info nfs_fl ;
1483 struct nfs4_lock_info nfs4_fl ;
1484 struct __anonstruct_afs_151 afs ;
1485};
1486#line 1138 "include/linux/fs.h"
1487struct file_lock {
1488 struct file_lock *fl_next ;
1489 struct list_head fl_link ;
1490 struct list_head fl_block ;
1491 fl_owner_t fl_owner ;
1492 unsigned int fl_flags ;
1493 unsigned char fl_type ;
1494 unsigned int fl_pid ;
1495 struct pid *fl_nspid ;
1496 wait_queue_head_t fl_wait ;
1497 struct file *fl_file ;
1498 loff_t fl_start ;
1499 loff_t fl_end ;
1500 struct fasync_struct *fl_fasync ;
1501 unsigned long fl_break_time ;
1502 unsigned long fl_downgrade_time ;
1503 struct file_lock_operations const *fl_ops ;
1504 struct lock_manager_operations const *fl_lmops ;
1505 union __anonunion_fl_u_150 fl_u ;
1506};
1507#line 1378 "include/linux/fs.h"
1508struct fasync_struct {
1509 spinlock_t fa_lock ;
1510 int magic ;
1511 int fa_fd ;
1512 struct fasync_struct *fa_next ;
1513 struct file *fa_file ;
1514 struct rcu_head fa_rcu ;
1515};
1516#line 1418
1517struct file_system_type;
1518#line 1418
1519struct super_operations;
1520#line 1418
1521struct xattr_handler;
1522#line 1418
1523struct mtd_info;
1524#line 1418 "include/linux/fs.h"
1525struct super_block {
1526 struct list_head s_list ;
1527 dev_t s_dev ;
1528 unsigned char s_dirt ;
1529 unsigned char s_blocksize_bits ;
1530 unsigned long s_blocksize ;
1531 loff_t s_maxbytes ;
1532 struct file_system_type *s_type ;
1533 struct super_operations const *s_op ;
1534 struct dquot_operations const *dq_op ;
1535 struct quotactl_ops const *s_qcop ;
1536 struct export_operations const *s_export_op ;
1537 unsigned long s_flags ;
1538 unsigned long s_magic ;
1539 struct dentry *s_root ;
1540 struct rw_semaphore s_umount ;
1541 struct mutex s_lock ;
1542 int s_count ;
1543 atomic_t s_active ;
1544 void *s_security ;
1545 struct xattr_handler const **s_xattr ;
1546 struct list_head s_inodes ;
1547 struct hlist_bl_head s_anon ;
1548 struct list_head *s_files ;
1549 struct list_head s_mounts ;
1550 struct list_head s_dentry_lru ;
1551 int s_nr_dentry_unused ;
1552 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
1553 struct list_head s_inode_lru ;
1554 int s_nr_inodes_unused ;
1555 struct block_device *s_bdev ;
1556 struct backing_dev_info *s_bdi ;
1557 struct mtd_info *s_mtd ;
1558 struct hlist_node s_instances ;
1559 struct quota_info s_dquot ;
1560 int s_frozen ;
1561 wait_queue_head_t s_wait_unfrozen ;
1562 char s_id[32] ;
1563 u8 s_uuid[16] ;
1564 void *s_fs_info ;
1565 unsigned int s_max_links ;
1566 fmode_t s_mode ;
1567 u32 s_time_gran ;
1568 struct mutex s_vfs_rename_mutex ;
1569 char *s_subtype ;
1570 char *s_options ;
1571 struct dentry_operations const *s_d_op ;
1572 int cleancache_poolid ;
1573 struct shrinker s_shrink ;
1574 atomic_long_t s_remove_count ;
1575 int s_readonly_remount ;
1576};
1577#line 1567 "include/linux/fs.h"
1578struct fiemap_extent_info {
1579 unsigned int fi_flags ;
1580 unsigned int fi_extents_mapped ;
1581 unsigned int fi_extents_max ;
1582 struct fiemap_extent *fi_extents_start ;
1583};
1584#line 1601
1585struct block_device_operations;
1586#line 1601
1587struct block_device_operations;
1588#line 1609 "include/linux/fs.h"
1589struct file_operations {
1590 struct module *owner ;
1591 loff_t (*llseek)(struct file * , loff_t , int ) ;
1592 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
1593 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
1594 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
1595 loff_t ) ;
1596 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
1597 loff_t ) ;
1598 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
1599 loff_t , u64 , unsigned int ) ) ;
1600 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
1601 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
1602 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
1603 int (*mmap)(struct file * , struct vm_area_struct * ) ;
1604 int (*open)(struct inode * , struct file * ) ;
1605 int (*flush)(struct file * , fl_owner_t id ) ;
1606 int (*release)(struct inode * , struct file * ) ;
1607 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
1608 int (*aio_fsync)(struct kiocb * , int datasync ) ;
1609 int (*fasync)(int , struct file * , int ) ;
1610 int (*lock)(struct file * , int , struct file_lock * ) ;
1611 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
1612 int ) ;
1613 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1614 unsigned long , unsigned long ) ;
1615 int (*check_flags)(int ) ;
1616 int (*flock)(struct file * , int , struct file_lock * ) ;
1617 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
1618 unsigned int ) ;
1619 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
1620 unsigned int ) ;
1621 int (*setlease)(struct file * , long , struct file_lock ** ) ;
1622 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
1623};
1624#line 1639 "include/linux/fs.h"
1625struct inode_operations {
1626 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
1627 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
1628 int (*permission)(struct inode * , int ) ;
1629 struct posix_acl *(*get_acl)(struct inode * , int ) ;
1630 int (*readlink)(struct dentry * , char * , int ) ;
1631 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
1632 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
1633 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
1634 int (*unlink)(struct inode * , struct dentry * ) ;
1635 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
1636 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
1637 int (*rmdir)(struct inode * , struct dentry * ) ;
1638 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
1639 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
1640 void (*truncate)(struct inode * ) ;
1641 int (*setattr)(struct dentry * , struct iattr * ) ;
1642 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
1643 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
1644 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
1645 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
1646 int (*removexattr)(struct dentry * , char const * ) ;
1647 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
1648 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
1649} __attribute__((__aligned__((1) << (6) ))) ;
1650#line 1669
1651struct seq_file;
1652#line 1684 "include/linux/fs.h"
1653struct super_operations {
1654 struct inode *(*alloc_inode)(struct super_block *sb ) ;
1655 void (*destroy_inode)(struct inode * ) ;
1656 void (*dirty_inode)(struct inode * , int flags ) ;
1657 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
1658 int (*drop_inode)(struct inode * ) ;
1659 void (*evict_inode)(struct inode * ) ;
1660 void (*put_super)(struct super_block * ) ;
1661 void (*write_super)(struct super_block * ) ;
1662 int (*sync_fs)(struct super_block *sb , int wait ) ;
1663 int (*freeze_fs)(struct super_block * ) ;
1664 int (*unfreeze_fs)(struct super_block * ) ;
1665 int (*statfs)(struct dentry * , struct kstatfs * ) ;
1666 int (*remount_fs)(struct super_block * , int * , char * ) ;
1667 void (*umount_begin)(struct super_block * ) ;
1668 int (*show_options)(struct seq_file * , struct dentry * ) ;
1669 int (*show_devname)(struct seq_file * , struct dentry * ) ;
1670 int (*show_path)(struct seq_file * , struct dentry * ) ;
1671 int (*show_stats)(struct seq_file * , struct dentry * ) ;
1672 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
1673 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
1674 loff_t ) ;
1675 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
1676 int (*nr_cached_objects)(struct super_block * ) ;
1677 void (*free_cached_objects)(struct super_block * , int ) ;
1678};
1679#line 1835 "include/linux/fs.h"
1680struct file_system_type {
1681 char const *name ;
1682 int fs_flags ;
1683 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
1684 void (*kill_sb)(struct super_block * ) ;
1685 struct module *owner ;
1686 struct file_system_type *next ;
1687 struct hlist_head fs_supers ;
1688 struct lock_class_key s_lock_key ;
1689 struct lock_class_key s_umount_key ;
1690 struct lock_class_key s_vfs_rename_key ;
1691 struct lock_class_key i_lock_key ;
1692 struct lock_class_key i_mutex_key ;
1693 struct lock_class_key i_mutex_dir_key ;
1694};
1695#line 60 "include/linux/pageblock-flags.h"
1696struct page;
1697#line 9 "include/linux/memory_hotplug.h"
1698struct page;
1699#line 994 "include/linux/mmzone.h"
1700struct page;
1701#line 10 "include/linux/gfp.h"
1702struct vm_area_struct;
1703#line 100 "include/linux/rbtree.h"
1704struct rb_node {
1705 unsigned long rb_parent_color ;
1706 struct rb_node *rb_right ;
1707 struct rb_node *rb_left ;
1708} __attribute__((__aligned__(sizeof(long )))) ;
1709#line 110 "include/linux/rbtree.h"
1710struct rb_root {
1711 struct rb_node *rb_node ;
1712};
1713#line 8 "include/linux/debug_locks.h"
1714struct task_struct;
1715#line 48
1716struct task_struct;
1717#line 23 "include/linux/mm_types.h"
1718struct address_space;
1719#line 40 "include/linux/mm_types.h"
1720union __anonunion____missing_field_name_157 {
1721 unsigned long index ;
1722 void *freelist ;
1723};
1724#line 40 "include/linux/mm_types.h"
1725struct __anonstruct____missing_field_name_161 {
1726 unsigned int inuse : 16 ;
1727 unsigned int objects : 15 ;
1728 unsigned int frozen : 1 ;
1729};
1730#line 40 "include/linux/mm_types.h"
1731union __anonunion____missing_field_name_160 {
1732 atomic_t _mapcount ;
1733 struct __anonstruct____missing_field_name_161 __annonCompField34 ;
1734};
1735#line 40 "include/linux/mm_types.h"
1736struct __anonstruct____missing_field_name_159 {
1737 union __anonunion____missing_field_name_160 __annonCompField35 ;
1738 atomic_t _count ;
1739};
1740#line 40 "include/linux/mm_types.h"
1741union __anonunion____missing_field_name_158 {
1742 unsigned long counters ;
1743 struct __anonstruct____missing_field_name_159 __annonCompField36 ;
1744};
1745#line 40 "include/linux/mm_types.h"
1746struct __anonstruct____missing_field_name_156 {
1747 union __anonunion____missing_field_name_157 __annonCompField33 ;
1748 union __anonunion____missing_field_name_158 __annonCompField37 ;
1749};
1750#line 40 "include/linux/mm_types.h"
1751struct __anonstruct____missing_field_name_163 {
1752 struct page *next ;
1753 int pages ;
1754 int pobjects ;
1755};
1756#line 40 "include/linux/mm_types.h"
1757union __anonunion____missing_field_name_162 {
1758 struct list_head lru ;
1759 struct __anonstruct____missing_field_name_163 __annonCompField39 ;
1760};
1761#line 40 "include/linux/mm_types.h"
1762union __anonunion____missing_field_name_164 {
1763 unsigned long private ;
1764 struct kmem_cache *slab ;
1765 struct page *first_page ;
1766};
1767#line 40 "include/linux/mm_types.h"
1768struct page {
1769 unsigned long flags ;
1770 struct address_space *mapping ;
1771 struct __anonstruct____missing_field_name_156 __annonCompField38 ;
1772 union __anonunion____missing_field_name_162 __annonCompField40 ;
1773 union __anonunion____missing_field_name_164 __annonCompField41 ;
1774 unsigned long debug_flags ;
1775} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1776#line 200 "include/linux/mm_types.h"
1777struct __anonstruct_vm_set_166 {
1778 struct list_head list ;
1779 void *parent ;
1780 struct vm_area_struct *head ;
1781};
1782#line 200 "include/linux/mm_types.h"
1783union __anonunion_shared_165 {
1784 struct __anonstruct_vm_set_166 vm_set ;
1785 struct raw_prio_tree_node prio_tree_node ;
1786};
1787#line 200
1788struct anon_vma;
1789#line 200
1790struct vm_operations_struct;
1791#line 200
1792struct mempolicy;
1793#line 200 "include/linux/mm_types.h"
1794struct vm_area_struct {
1795 struct mm_struct *vm_mm ;
1796 unsigned long vm_start ;
1797 unsigned long vm_end ;
1798 struct vm_area_struct *vm_next ;
1799 struct vm_area_struct *vm_prev ;
1800 pgprot_t vm_page_prot ;
1801 unsigned long vm_flags ;
1802 struct rb_node vm_rb ;
1803 union __anonunion_shared_165 shared ;
1804 struct list_head anon_vma_chain ;
1805 struct anon_vma *anon_vma ;
1806 struct vm_operations_struct const *vm_ops ;
1807 unsigned long vm_pgoff ;
1808 struct file *vm_file ;
1809 void *vm_private_data ;
1810 struct mempolicy *vm_policy ;
1811};
1812#line 257 "include/linux/mm_types.h"
1813struct core_thread {
1814 struct task_struct *task ;
1815 struct core_thread *next ;
1816};
1817#line 262 "include/linux/mm_types.h"
1818struct core_state {
1819 atomic_t nr_threads ;
1820 struct core_thread dumper ;
1821 struct completion startup ;
1822};
1823#line 284 "include/linux/mm_types.h"
1824struct mm_rss_stat {
1825 atomic_long_t count[3] ;
1826};
1827#line 288
1828struct linux_binfmt;
1829#line 288
1830struct mmu_notifier_mm;
1831#line 288 "include/linux/mm_types.h"
1832struct mm_struct {
1833 struct vm_area_struct *mmap ;
1834 struct rb_root mm_rb ;
1835 struct vm_area_struct *mmap_cache ;
1836 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1837 unsigned long pgoff , unsigned long flags ) ;
1838 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1839 unsigned long mmap_base ;
1840 unsigned long task_size ;
1841 unsigned long cached_hole_size ;
1842 unsigned long free_area_cache ;
1843 pgd_t *pgd ;
1844 atomic_t mm_users ;
1845 atomic_t mm_count ;
1846 int map_count ;
1847 spinlock_t page_table_lock ;
1848 struct rw_semaphore mmap_sem ;
1849 struct list_head mmlist ;
1850 unsigned long hiwater_rss ;
1851 unsigned long hiwater_vm ;
1852 unsigned long total_vm ;
1853 unsigned long locked_vm ;
1854 unsigned long pinned_vm ;
1855 unsigned long shared_vm ;
1856 unsigned long exec_vm ;
1857 unsigned long stack_vm ;
1858 unsigned long reserved_vm ;
1859 unsigned long def_flags ;
1860 unsigned long nr_ptes ;
1861 unsigned long start_code ;
1862 unsigned long end_code ;
1863 unsigned long start_data ;
1864 unsigned long end_data ;
1865 unsigned long start_brk ;
1866 unsigned long brk ;
1867 unsigned long start_stack ;
1868 unsigned long arg_start ;
1869 unsigned long arg_end ;
1870 unsigned long env_start ;
1871 unsigned long env_end ;
1872 unsigned long saved_auxv[44] ;
1873 struct mm_rss_stat rss_stat ;
1874 struct linux_binfmt *binfmt ;
1875 cpumask_var_t cpu_vm_mask_var ;
1876 mm_context_t context ;
1877 unsigned int faultstamp ;
1878 unsigned int token_priority ;
1879 unsigned int last_interval ;
1880 unsigned long flags ;
1881 struct core_state *core_state ;
1882 spinlock_t ioctx_lock ;
1883 struct hlist_head ioctx_list ;
1884 struct task_struct *owner ;
1885 struct file *exe_file ;
1886 unsigned long num_exe_file_vmas ;
1887 struct mmu_notifier_mm *mmu_notifier_mm ;
1888 pgtable_t pmd_huge_pte ;
1889 struct cpumask cpumask_allocation ;
1890};
1891#line 22 "include/linux/mm.h"
1892struct mempolicy;
1893#line 23
1894struct anon_vma;
1895#line 24
1896struct file_ra_state;
1897#line 25
1898struct user_struct;
1899#line 25
1900struct user_struct;
1901#line 26
1902struct writeback_control;
1903#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1904struct mm_struct;
1905#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1906struct vm_area_struct;
1907#line 188 "include/linux/mm.h"
1908struct vm_fault {
1909 unsigned int flags ;
1910 unsigned long pgoff ;
1911 void *virtual_address ;
1912 struct page *page ;
1913};
1914#line 205 "include/linux/mm.h"
1915struct vm_operations_struct {
1916 void (*open)(struct vm_area_struct *area ) ;
1917 void (*close)(struct vm_area_struct *area ) ;
1918 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1919 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1920 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1921 int write ) ;
1922 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1923 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1924 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
1925 unsigned long flags ) ;
1926};
1927#line 247
1928struct inode;
1929#line 195 "include/linux/page-flags.h"
1930struct page;
1931#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
1932struct exception_table_entry {
1933 unsigned long insn ;
1934 unsigned long fixup ;
1935};
1936#line 31 "include/linux/irq.h"
1937struct seq_file;
1938#line 32
1939struct module;
1940#line 13 "include/linux/irqdesc.h"
1941struct timer_rand_state;
1942#line 13
1943struct timer_rand_state;
1944#line 14
1945struct module;
1946#line 17 "include/linux/profile.h"
1947struct pt_regs;
1948#line 65
1949struct task_struct;
1950#line 66
1951struct mm_struct;
1952#line 88
1953struct pt_regs;
1954#line 132 "include/linux/hardirq.h"
1955struct task_struct;
1956#line 9 "include/linux/mempool.h"
1957struct kmem_cache;
1958#line 11 "include/linux/mempool.h"
1959typedef void *mempool_alloc_t(gfp_t gfp_mask , void *pool_data );
1960#line 12 "include/linux/mempool.h"
1961typedef void mempool_free_t(void *element , void *pool_data );
1962#line 14 "include/linux/mempool.h"
1963struct mempool_s {
1964 spinlock_t lock ;
1965 int min_nr ;
1966 int curr_nr ;
1967 void **elements ;
1968 void *pool_data ;
1969 mempool_alloc_t *alloc ;
1970 mempool_free_t *free ;
1971 wait_queue_head_t wait ;
1972};
1973#line 14 "include/linux/mempool.h"
1974typedef struct mempool_s mempool_t;
1975#line 7 "include/asm-generic/cputime.h"
1976typedef unsigned long cputime_t;
1977#line 84 "include/linux/sem.h"
1978struct task_struct;
1979#line 101
1980struct sem_undo_list;
1981#line 101 "include/linux/sem.h"
1982struct sysv_sem {
1983 struct sem_undo_list *undo_list ;
1984};
1985#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1986struct siginfo;
1987#line 10
1988struct siginfo;
1989#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1990struct __anonstruct_sigset_t_173 {
1991 unsigned long sig[1] ;
1992};
1993#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1994typedef struct __anonstruct_sigset_t_173 sigset_t;
1995#line 17 "include/asm-generic/signal-defs.h"
1996typedef void __signalfn_t(int );
1997#line 18 "include/asm-generic/signal-defs.h"
1998typedef __signalfn_t *__sighandler_t;
1999#line 20 "include/asm-generic/signal-defs.h"
2000typedef void __restorefn_t(void);
2001#line 21 "include/asm-generic/signal-defs.h"
2002typedef __restorefn_t *__sigrestore_t;
2003#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2004struct sigaction {
2005 __sighandler_t sa_handler ;
2006 unsigned long sa_flags ;
2007 __sigrestore_t sa_restorer ;
2008 sigset_t sa_mask ;
2009};
2010#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2011struct k_sigaction {
2012 struct sigaction sa ;
2013};
2014#line 7 "include/asm-generic/siginfo.h"
2015union sigval {
2016 int sival_int ;
2017 void *sival_ptr ;
2018};
2019#line 7 "include/asm-generic/siginfo.h"
2020typedef union sigval sigval_t;
2021#line 48 "include/asm-generic/siginfo.h"
2022struct __anonstruct__kill_175 {
2023 __kernel_pid_t _pid ;
2024 __kernel_uid32_t _uid ;
2025};
2026#line 48 "include/asm-generic/siginfo.h"
2027struct __anonstruct__timer_176 {
2028 __kernel_timer_t _tid ;
2029 int _overrun ;
2030 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2031 sigval_t _sigval ;
2032 int _sys_private ;
2033};
2034#line 48 "include/asm-generic/siginfo.h"
2035struct __anonstruct__rt_177 {
2036 __kernel_pid_t _pid ;
2037 __kernel_uid32_t _uid ;
2038 sigval_t _sigval ;
2039};
2040#line 48 "include/asm-generic/siginfo.h"
2041struct __anonstruct__sigchld_178 {
2042 __kernel_pid_t _pid ;
2043 __kernel_uid32_t _uid ;
2044 int _status ;
2045 __kernel_clock_t _utime ;
2046 __kernel_clock_t _stime ;
2047};
2048#line 48 "include/asm-generic/siginfo.h"
2049struct __anonstruct__sigfault_179 {
2050 void *_addr ;
2051 short _addr_lsb ;
2052};
2053#line 48 "include/asm-generic/siginfo.h"
2054struct __anonstruct__sigpoll_180 {
2055 long _band ;
2056 int _fd ;
2057};
2058#line 48 "include/asm-generic/siginfo.h"
2059union __anonunion__sifields_174 {
2060 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2061 struct __anonstruct__kill_175 _kill ;
2062 struct __anonstruct__timer_176 _timer ;
2063 struct __anonstruct__rt_177 _rt ;
2064 struct __anonstruct__sigchld_178 _sigchld ;
2065 struct __anonstruct__sigfault_179 _sigfault ;
2066 struct __anonstruct__sigpoll_180 _sigpoll ;
2067};
2068#line 48 "include/asm-generic/siginfo.h"
2069struct siginfo {
2070 int si_signo ;
2071 int si_errno ;
2072 int si_code ;
2073 union __anonunion__sifields_174 _sifields ;
2074};
2075#line 48 "include/asm-generic/siginfo.h"
2076typedef struct siginfo siginfo_t;
2077#line 288
2078struct siginfo;
2079#line 10 "include/linux/signal.h"
2080struct task_struct;
2081#line 28 "include/linux/signal.h"
2082struct sigpending {
2083 struct list_head list ;
2084 sigset_t signal ;
2085};
2086#line 239
2087struct timespec;
2088#line 240
2089struct pt_regs;
2090#line 50 "include/linux/proportions.h"
2091struct prop_local_percpu {
2092 struct percpu_counter events ;
2093 int shift ;
2094 unsigned long period ;
2095 raw_spinlock_t lock ;
2096};
2097#line 10 "include/linux/seccomp.h"
2098struct __anonstruct_seccomp_t_183 {
2099 int mode ;
2100};
2101#line 10 "include/linux/seccomp.h"
2102typedef struct __anonstruct_seccomp_t_183 seccomp_t;
2103#line 81 "include/linux/plist.h"
2104struct plist_head {
2105 struct list_head node_list ;
2106};
2107#line 85 "include/linux/plist.h"
2108struct plist_node {
2109 int prio ;
2110 struct list_head prio_list ;
2111 struct list_head node_list ;
2112};
2113#line 40 "include/linux/rtmutex.h"
2114struct rt_mutex_waiter;
2115#line 40
2116struct rt_mutex_waiter;
2117#line 42 "include/linux/resource.h"
2118struct rlimit {
2119 unsigned long rlim_cur ;
2120 unsigned long rlim_max ;
2121};
2122#line 81
2123struct task_struct;
2124#line 8 "include/linux/timerqueue.h"
2125struct timerqueue_node {
2126 struct rb_node node ;
2127 ktime_t expires ;
2128};
2129#line 13 "include/linux/timerqueue.h"
2130struct timerqueue_head {
2131 struct rb_root head ;
2132 struct timerqueue_node *next ;
2133};
2134#line 27 "include/linux/hrtimer.h"
2135struct hrtimer_clock_base;
2136#line 27
2137struct hrtimer_clock_base;
2138#line 28
2139struct hrtimer_cpu_base;
2140#line 28
2141struct hrtimer_cpu_base;
2142#line 44
2143enum hrtimer_restart {
2144 HRTIMER_NORESTART = 0,
2145 HRTIMER_RESTART = 1
2146} ;
2147#line 108 "include/linux/hrtimer.h"
2148struct hrtimer {
2149 struct timerqueue_node node ;
2150 ktime_t _softexpires ;
2151 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2152 struct hrtimer_clock_base *base ;
2153 unsigned long state ;
2154 int start_pid ;
2155 void *start_site ;
2156 char start_comm[16] ;
2157};
2158#line 145 "include/linux/hrtimer.h"
2159struct hrtimer_clock_base {
2160 struct hrtimer_cpu_base *cpu_base ;
2161 int index ;
2162 clockid_t clockid ;
2163 struct timerqueue_head active ;
2164 ktime_t resolution ;
2165 ktime_t (*get_time)(void) ;
2166 ktime_t softirq_time ;
2167 ktime_t offset ;
2168};
2169#line 178 "include/linux/hrtimer.h"
2170struct hrtimer_cpu_base {
2171 raw_spinlock_t lock ;
2172 unsigned long active_bases ;
2173 ktime_t expires_next ;
2174 int hres_active ;
2175 int hang_detected ;
2176 unsigned long nr_events ;
2177 unsigned long nr_retries ;
2178 unsigned long nr_hangs ;
2179 ktime_t max_hang_time ;
2180 struct hrtimer_clock_base clock_base[3] ;
2181};
2182#line 11 "include/linux/task_io_accounting.h"
2183struct task_io_accounting {
2184 u64 rchar ;
2185 u64 wchar ;
2186 u64 syscr ;
2187 u64 syscw ;
2188 u64 read_bytes ;
2189 u64 write_bytes ;
2190 u64 cancelled_write_bytes ;
2191};
2192#line 13 "include/linux/latencytop.h"
2193struct task_struct;
2194#line 20 "include/linux/latencytop.h"
2195struct latency_record {
2196 unsigned long backtrace[12] ;
2197 unsigned int count ;
2198 unsigned long time ;
2199 unsigned long max ;
2200};
2201#line 29 "include/linux/sysctl.h"
2202struct completion;
2203#line 939
2204struct nsproxy;
2205#line 939
2206struct nsproxy;
2207#line 29 "include/linux/key.h"
2208typedef int32_t key_serial_t;
2209#line 32 "include/linux/key.h"
2210typedef uint32_t key_perm_t;
2211#line 34
2212struct key;
2213#line 34
2214struct key;
2215#line 74
2216struct seq_file;
2217#line 75
2218struct user_struct;
2219#line 76
2220struct signal_struct;
2221#line 76
2222struct signal_struct;
2223#line 77
2224struct cred;
2225#line 79
2226struct key_type;
2227#line 79
2228struct key_type;
2229#line 81
2230struct keyring_list;
2231#line 81
2232struct keyring_list;
2233#line 124
2234struct key_user;
2235#line 124 "include/linux/key.h"
2236union __anonunion____missing_field_name_240 {
2237 time_t expiry ;
2238 time_t revoked_at ;
2239};
2240#line 124 "include/linux/key.h"
2241union __anonunion_type_data_241 {
2242 struct list_head link ;
2243 unsigned long x[2] ;
2244 void *p[2] ;
2245 int reject_error ;
2246};
2247#line 124 "include/linux/key.h"
2248union __anonunion_payload_242 {
2249 unsigned long value ;
2250 void *rcudata ;
2251 void *data ;
2252 struct keyring_list *subscriptions ;
2253};
2254#line 124 "include/linux/key.h"
2255struct key {
2256 atomic_t usage ;
2257 key_serial_t serial ;
2258 struct rb_node serial_node ;
2259 struct key_type *type ;
2260 struct rw_semaphore sem ;
2261 struct key_user *user ;
2262 void *security ;
2263 union __anonunion____missing_field_name_240 __annonCompField44 ;
2264 uid_t uid ;
2265 gid_t gid ;
2266 key_perm_t perm ;
2267 unsigned short quotalen ;
2268 unsigned short datalen ;
2269 unsigned long flags ;
2270 char *description ;
2271 union __anonunion_type_data_241 type_data ;
2272 union __anonunion_payload_242 payload ;
2273};
2274#line 18 "include/linux/selinux.h"
2275struct audit_context;
2276#line 18
2277struct audit_context;
2278#line 21 "include/linux/cred.h"
2279struct user_struct;
2280#line 22
2281struct cred;
2282#line 23
2283struct inode;
2284#line 31 "include/linux/cred.h"
2285struct group_info {
2286 atomic_t usage ;
2287 int ngroups ;
2288 int nblocks ;
2289 gid_t small_block[32] ;
2290 gid_t *blocks[0] ;
2291};
2292#line 83 "include/linux/cred.h"
2293struct thread_group_cred {
2294 atomic_t usage ;
2295 pid_t tgid ;
2296 spinlock_t lock ;
2297 struct key *session_keyring ;
2298 struct key *process_keyring ;
2299 struct rcu_head rcu ;
2300};
2301#line 116 "include/linux/cred.h"
2302struct cred {
2303 atomic_t usage ;
2304 atomic_t subscribers ;
2305 void *put_addr ;
2306 unsigned int magic ;
2307 uid_t uid ;
2308 gid_t gid ;
2309 uid_t suid ;
2310 gid_t sgid ;
2311 uid_t euid ;
2312 gid_t egid ;
2313 uid_t fsuid ;
2314 gid_t fsgid ;
2315 unsigned int securebits ;
2316 kernel_cap_t cap_inheritable ;
2317 kernel_cap_t cap_permitted ;
2318 kernel_cap_t cap_effective ;
2319 kernel_cap_t cap_bset ;
2320 unsigned char jit_keyring ;
2321 struct key *thread_keyring ;
2322 struct key *request_key_auth ;
2323 struct thread_group_cred *tgcred ;
2324 void *security ;
2325 struct user_struct *user ;
2326 struct user_namespace *user_ns ;
2327 struct group_info *group_info ;
2328 struct rcu_head rcu ;
2329};
2330#line 61 "include/linux/llist.h"
2331struct llist_node;
2332#line 65 "include/linux/llist.h"
2333struct llist_node {
2334 struct llist_node *next ;
2335};
2336#line 97 "include/linux/sched.h"
2337struct futex_pi_state;
2338#line 97
2339struct futex_pi_state;
2340#line 98
2341struct robust_list_head;
2342#line 98
2343struct robust_list_head;
2344#line 99
2345struct bio_list;
2346#line 99
2347struct bio_list;
2348#line 100
2349struct fs_struct;
2350#line 100
2351struct fs_struct;
2352#line 101
2353struct perf_event_context;
2354#line 101
2355struct perf_event_context;
2356#line 102
2357struct blk_plug;
2358#line 102
2359struct blk_plug;
2360#line 150
2361struct seq_file;
2362#line 151
2363struct cfs_rq;
2364#line 151
2365struct cfs_rq;
2366#line 259
2367struct task_struct;
2368#line 366
2369struct nsproxy;
2370#line 367
2371struct user_namespace;
2372#line 58 "include/linux/aio_abi.h"
2373struct io_event {
2374 __u64 data ;
2375 __u64 obj ;
2376 __s64 res ;
2377 __s64 res2 ;
2378};
2379#line 16 "include/linux/uio.h"
2380struct iovec {
2381 void *iov_base ;
2382 __kernel_size_t iov_len ;
2383};
2384#line 15 "include/linux/aio.h"
2385struct kioctx;
2386#line 15
2387struct kioctx;
2388#line 87 "include/linux/aio.h"
2389union __anonunion_ki_obj_244 {
2390 void *user ;
2391 struct task_struct *tsk ;
2392};
2393#line 87
2394struct eventfd_ctx;
2395#line 87 "include/linux/aio.h"
2396struct kiocb {
2397 struct list_head ki_run_list ;
2398 unsigned long ki_flags ;
2399 int ki_users ;
2400 unsigned int ki_key ;
2401 struct file *ki_filp ;
2402 struct kioctx *ki_ctx ;
2403 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2404 ssize_t (*ki_retry)(struct kiocb * ) ;
2405 void (*ki_dtor)(struct kiocb * ) ;
2406 union __anonunion_ki_obj_244 ki_obj ;
2407 __u64 ki_user_data ;
2408 loff_t ki_pos ;
2409 void *private ;
2410 unsigned short ki_opcode ;
2411 size_t ki_nbytes ;
2412 char *ki_buf ;
2413 size_t ki_left ;
2414 struct iovec ki_inline_vec ;
2415 struct iovec *ki_iovec ;
2416 unsigned long ki_nr_segs ;
2417 unsigned long ki_cur_seg ;
2418 struct list_head ki_list ;
2419 struct list_head ki_batch ;
2420 struct eventfd_ctx *ki_eventfd ;
2421};
2422#line 166 "include/linux/aio.h"
2423struct aio_ring_info {
2424 unsigned long mmap_base ;
2425 unsigned long mmap_size ;
2426 struct page **ring_pages ;
2427 spinlock_t ring_lock ;
2428 long nr_pages ;
2429 unsigned int nr ;
2430 unsigned int tail ;
2431 struct page *internal_pages[8] ;
2432};
2433#line 179 "include/linux/aio.h"
2434struct kioctx {
2435 atomic_t users ;
2436 int dead ;
2437 struct mm_struct *mm ;
2438 unsigned long user_id ;
2439 struct hlist_node list ;
2440 wait_queue_head_t wait ;
2441 spinlock_t ctx_lock ;
2442 int reqs_active ;
2443 struct list_head active_reqs ;
2444 struct list_head run_list ;
2445 unsigned int max_reqs ;
2446 struct aio_ring_info ring_info ;
2447 struct delayed_work wq ;
2448 struct rcu_head rcu_head ;
2449};
2450#line 214
2451struct mm_struct;
2452#line 443 "include/linux/sched.h"
2453struct sighand_struct {
2454 atomic_t count ;
2455 struct k_sigaction action[64] ;
2456 spinlock_t siglock ;
2457 wait_queue_head_t signalfd_wqh ;
2458};
2459#line 450 "include/linux/sched.h"
2460struct pacct_struct {
2461 int ac_flag ;
2462 long ac_exitcode ;
2463 unsigned long ac_mem ;
2464 cputime_t ac_utime ;
2465 cputime_t ac_stime ;
2466 unsigned long ac_minflt ;
2467 unsigned long ac_majflt ;
2468};
2469#line 458 "include/linux/sched.h"
2470struct cpu_itimer {
2471 cputime_t expires ;
2472 cputime_t incr ;
2473 u32 error ;
2474 u32 incr_error ;
2475};
2476#line 476 "include/linux/sched.h"
2477struct task_cputime {
2478 cputime_t utime ;
2479 cputime_t stime ;
2480 unsigned long long sum_exec_runtime ;
2481};
2482#line 512 "include/linux/sched.h"
2483struct thread_group_cputimer {
2484 struct task_cputime cputime ;
2485 int running ;
2486 raw_spinlock_t lock ;
2487};
2488#line 519
2489struct autogroup;
2490#line 519
2491struct autogroup;
2492#line 528
2493struct tty_struct;
2494#line 528
2495struct taskstats;
2496#line 528
2497struct tty_audit_buf;
2498#line 528 "include/linux/sched.h"
2499struct signal_struct {
2500 atomic_t sigcnt ;
2501 atomic_t live ;
2502 int nr_threads ;
2503 wait_queue_head_t wait_chldexit ;
2504 struct task_struct *curr_target ;
2505 struct sigpending shared_pending ;
2506 int group_exit_code ;
2507 int notify_count ;
2508 struct task_struct *group_exit_task ;
2509 int group_stop_count ;
2510 unsigned int flags ;
2511 unsigned int is_child_subreaper : 1 ;
2512 unsigned int has_child_subreaper : 1 ;
2513 struct list_head posix_timers ;
2514 struct hrtimer real_timer ;
2515 struct pid *leader_pid ;
2516 ktime_t it_real_incr ;
2517 struct cpu_itimer it[2] ;
2518 struct thread_group_cputimer cputimer ;
2519 struct task_cputime cputime_expires ;
2520 struct list_head cpu_timers[3] ;
2521 struct pid *tty_old_pgrp ;
2522 int leader ;
2523 struct tty_struct *tty ;
2524 struct autogroup *autogroup ;
2525 cputime_t utime ;
2526 cputime_t stime ;
2527 cputime_t cutime ;
2528 cputime_t cstime ;
2529 cputime_t gtime ;
2530 cputime_t cgtime ;
2531 cputime_t prev_utime ;
2532 cputime_t prev_stime ;
2533 unsigned long nvcsw ;
2534 unsigned long nivcsw ;
2535 unsigned long cnvcsw ;
2536 unsigned long cnivcsw ;
2537 unsigned long min_flt ;
2538 unsigned long maj_flt ;
2539 unsigned long cmin_flt ;
2540 unsigned long cmaj_flt ;
2541 unsigned long inblock ;
2542 unsigned long oublock ;
2543 unsigned long cinblock ;
2544 unsigned long coublock ;
2545 unsigned long maxrss ;
2546 unsigned long cmaxrss ;
2547 struct task_io_accounting ioac ;
2548 unsigned long long sum_sched_runtime ;
2549 struct rlimit rlim[16] ;
2550 struct pacct_struct pacct ;
2551 struct taskstats *stats ;
2552 unsigned int audit_tty ;
2553 struct tty_audit_buf *tty_audit_buf ;
2554 struct rw_semaphore group_rwsem ;
2555 int oom_adj ;
2556 int oom_score_adj ;
2557 int oom_score_adj_min ;
2558 struct mutex cred_guard_mutex ;
2559};
2560#line 703 "include/linux/sched.h"
2561struct user_struct {
2562 atomic_t __count ;
2563 atomic_t processes ;
2564 atomic_t files ;
2565 atomic_t sigpending ;
2566 atomic_t inotify_watches ;
2567 atomic_t inotify_devs ;
2568 atomic_t fanotify_listeners ;
2569 atomic_long_t epoll_watches ;
2570 unsigned long mq_bytes ;
2571 unsigned long locked_shm ;
2572 struct key *uid_keyring ;
2573 struct key *session_keyring ;
2574 struct hlist_node uidhash_node ;
2575 uid_t uid ;
2576 struct user_namespace *user_ns ;
2577 atomic_long_t locked_vm ;
2578};
2579#line 747
2580struct backing_dev_info;
2581#line 748
2582struct reclaim_state;
2583#line 748
2584struct reclaim_state;
2585#line 751 "include/linux/sched.h"
2586struct sched_info {
2587 unsigned long pcount ;
2588 unsigned long long run_delay ;
2589 unsigned long long last_arrival ;
2590 unsigned long long last_queued ;
2591};
2592#line 763 "include/linux/sched.h"
2593struct task_delay_info {
2594 spinlock_t lock ;
2595 unsigned int flags ;
2596 struct timespec blkio_start ;
2597 struct timespec blkio_end ;
2598 u64 blkio_delay ;
2599 u64 swapin_delay ;
2600 u32 blkio_count ;
2601 u32 swapin_count ;
2602 struct timespec freepages_start ;
2603 struct timespec freepages_end ;
2604 u64 freepages_delay ;
2605 u32 freepages_count ;
2606};
2607#line 1088
2608struct io_context;
2609#line 1088
2610struct io_context;
2611#line 1097
2612struct audit_context;
2613#line 1098
2614struct mempolicy;
2615#line 1099
2616struct pipe_inode_info;
2617#line 1102
2618struct rq;
2619#line 1102
2620struct rq;
2621#line 1122 "include/linux/sched.h"
2622struct sched_class {
2623 struct sched_class const *next ;
2624 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2625 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2626 void (*yield_task)(struct rq *rq ) ;
2627 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2628 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2629 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2630 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2631 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2632 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2633 void (*post_schedule)(struct rq *this_rq ) ;
2634 void (*task_waking)(struct task_struct *task ) ;
2635 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2636 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2637 void (*rq_online)(struct rq *rq ) ;
2638 void (*rq_offline)(struct rq *rq ) ;
2639 void (*set_curr_task)(struct rq *rq ) ;
2640 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2641 void (*task_fork)(struct task_struct *p ) ;
2642 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2643 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2644 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2645 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2646 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2647};
2648#line 1167 "include/linux/sched.h"
2649struct load_weight {
2650 unsigned long weight ;
2651 unsigned long inv_weight ;
2652};
2653#line 1172 "include/linux/sched.h"
2654struct sched_statistics {
2655 u64 wait_start ;
2656 u64 wait_max ;
2657 u64 wait_count ;
2658 u64 wait_sum ;
2659 u64 iowait_count ;
2660 u64 iowait_sum ;
2661 u64 sleep_start ;
2662 u64 sleep_max ;
2663 s64 sum_sleep_runtime ;
2664 u64 block_start ;
2665 u64 block_max ;
2666 u64 exec_max ;
2667 u64 slice_max ;
2668 u64 nr_migrations_cold ;
2669 u64 nr_failed_migrations_affine ;
2670 u64 nr_failed_migrations_running ;
2671 u64 nr_failed_migrations_hot ;
2672 u64 nr_forced_migrations ;
2673 u64 nr_wakeups ;
2674 u64 nr_wakeups_sync ;
2675 u64 nr_wakeups_migrate ;
2676 u64 nr_wakeups_local ;
2677 u64 nr_wakeups_remote ;
2678 u64 nr_wakeups_affine ;
2679 u64 nr_wakeups_affine_attempts ;
2680 u64 nr_wakeups_passive ;
2681 u64 nr_wakeups_idle ;
2682};
2683#line 1207 "include/linux/sched.h"
2684struct sched_entity {
2685 struct load_weight load ;
2686 struct rb_node run_node ;
2687 struct list_head group_node ;
2688 unsigned int on_rq ;
2689 u64 exec_start ;
2690 u64 sum_exec_runtime ;
2691 u64 vruntime ;
2692 u64 prev_sum_exec_runtime ;
2693 u64 nr_migrations ;
2694 struct sched_statistics statistics ;
2695 struct sched_entity *parent ;
2696 struct cfs_rq *cfs_rq ;
2697 struct cfs_rq *my_q ;
2698};
2699#line 1233
2700struct rt_rq;
2701#line 1233 "include/linux/sched.h"
2702struct sched_rt_entity {
2703 struct list_head run_list ;
2704 unsigned long timeout ;
2705 unsigned int time_slice ;
2706 int nr_cpus_allowed ;
2707 struct sched_rt_entity *back ;
2708 struct sched_rt_entity *parent ;
2709 struct rt_rq *rt_rq ;
2710 struct rt_rq *my_q ;
2711};
2712#line 1264
2713struct css_set;
2714#line 1264
2715struct compat_robust_list_head;
2716#line 1264
2717struct mem_cgroup;
2718#line 1264 "include/linux/sched.h"
2719struct memcg_batch_info {
2720 int do_batch ;
2721 struct mem_cgroup *memcg ;
2722 unsigned long nr_pages ;
2723 unsigned long memsw_nr_pages ;
2724};
2725#line 1264 "include/linux/sched.h"
2726struct task_struct {
2727 long volatile state ;
2728 void *stack ;
2729 atomic_t usage ;
2730 unsigned int flags ;
2731 unsigned int ptrace ;
2732 struct llist_node wake_entry ;
2733 int on_cpu ;
2734 int on_rq ;
2735 int prio ;
2736 int static_prio ;
2737 int normal_prio ;
2738 unsigned int rt_priority ;
2739 struct sched_class const *sched_class ;
2740 struct sched_entity se ;
2741 struct sched_rt_entity rt ;
2742 struct hlist_head preempt_notifiers ;
2743 unsigned char fpu_counter ;
2744 unsigned int policy ;
2745 cpumask_t cpus_allowed ;
2746 struct sched_info sched_info ;
2747 struct list_head tasks ;
2748 struct plist_node pushable_tasks ;
2749 struct mm_struct *mm ;
2750 struct mm_struct *active_mm ;
2751 unsigned int brk_randomized : 1 ;
2752 int exit_state ;
2753 int exit_code ;
2754 int exit_signal ;
2755 int pdeath_signal ;
2756 unsigned int jobctl ;
2757 unsigned int personality ;
2758 unsigned int did_exec : 1 ;
2759 unsigned int in_execve : 1 ;
2760 unsigned int in_iowait : 1 ;
2761 unsigned int sched_reset_on_fork : 1 ;
2762 unsigned int sched_contributes_to_load : 1 ;
2763 unsigned int irq_thread : 1 ;
2764 pid_t pid ;
2765 pid_t tgid ;
2766 unsigned long stack_canary ;
2767 struct task_struct *real_parent ;
2768 struct task_struct *parent ;
2769 struct list_head children ;
2770 struct list_head sibling ;
2771 struct task_struct *group_leader ;
2772 struct list_head ptraced ;
2773 struct list_head ptrace_entry ;
2774 struct pid_link pids[3] ;
2775 struct list_head thread_group ;
2776 struct completion *vfork_done ;
2777 int *set_child_tid ;
2778 int *clear_child_tid ;
2779 cputime_t utime ;
2780 cputime_t stime ;
2781 cputime_t utimescaled ;
2782 cputime_t stimescaled ;
2783 cputime_t gtime ;
2784 cputime_t prev_utime ;
2785 cputime_t prev_stime ;
2786 unsigned long nvcsw ;
2787 unsigned long nivcsw ;
2788 struct timespec start_time ;
2789 struct timespec real_start_time ;
2790 unsigned long min_flt ;
2791 unsigned long maj_flt ;
2792 struct task_cputime cputime_expires ;
2793 struct list_head cpu_timers[3] ;
2794 struct cred const *real_cred ;
2795 struct cred const *cred ;
2796 struct cred *replacement_session_keyring ;
2797 char comm[16] ;
2798 int link_count ;
2799 int total_link_count ;
2800 struct sysv_sem sysvsem ;
2801 unsigned long last_switch_count ;
2802 struct thread_struct thread ;
2803 struct fs_struct *fs ;
2804 struct files_struct *files ;
2805 struct nsproxy *nsproxy ;
2806 struct signal_struct *signal ;
2807 struct sighand_struct *sighand ;
2808 sigset_t blocked ;
2809 sigset_t real_blocked ;
2810 sigset_t saved_sigmask ;
2811 struct sigpending pending ;
2812 unsigned long sas_ss_sp ;
2813 size_t sas_ss_size ;
2814 int (*notifier)(void *priv ) ;
2815 void *notifier_data ;
2816 sigset_t *notifier_mask ;
2817 struct audit_context *audit_context ;
2818 uid_t loginuid ;
2819 unsigned int sessionid ;
2820 seccomp_t seccomp ;
2821 u32 parent_exec_id ;
2822 u32 self_exec_id ;
2823 spinlock_t alloc_lock ;
2824 raw_spinlock_t pi_lock ;
2825 struct plist_head pi_waiters ;
2826 struct rt_mutex_waiter *pi_blocked_on ;
2827 struct mutex_waiter *blocked_on ;
2828 unsigned int irq_events ;
2829 unsigned long hardirq_enable_ip ;
2830 unsigned long hardirq_disable_ip ;
2831 unsigned int hardirq_enable_event ;
2832 unsigned int hardirq_disable_event ;
2833 int hardirqs_enabled ;
2834 int hardirq_context ;
2835 unsigned long softirq_disable_ip ;
2836 unsigned long softirq_enable_ip ;
2837 unsigned int softirq_disable_event ;
2838 unsigned int softirq_enable_event ;
2839 int softirqs_enabled ;
2840 int softirq_context ;
2841 void *journal_info ;
2842 struct bio_list *bio_list ;
2843 struct blk_plug *plug ;
2844 struct reclaim_state *reclaim_state ;
2845 struct backing_dev_info *backing_dev_info ;
2846 struct io_context *io_context ;
2847 unsigned long ptrace_message ;
2848 siginfo_t *last_siginfo ;
2849 struct task_io_accounting ioac ;
2850 u64 acct_rss_mem1 ;
2851 u64 acct_vm_mem1 ;
2852 cputime_t acct_timexpd ;
2853 nodemask_t mems_allowed ;
2854 seqcount_t mems_allowed_seq ;
2855 int cpuset_mem_spread_rotor ;
2856 int cpuset_slab_spread_rotor ;
2857 struct css_set *cgroups ;
2858 struct list_head cg_list ;
2859 struct robust_list_head *robust_list ;
2860 struct compat_robust_list_head *compat_robust_list ;
2861 struct list_head pi_state_list ;
2862 struct futex_pi_state *pi_state_cache ;
2863 struct perf_event_context *perf_event_ctxp[2] ;
2864 struct mutex perf_event_mutex ;
2865 struct list_head perf_event_list ;
2866 struct mempolicy *mempolicy ;
2867 short il_next ;
2868 short pref_node_fork ;
2869 struct rcu_head rcu ;
2870 struct pipe_inode_info *splice_pipe ;
2871 struct task_delay_info *delays ;
2872 int make_it_fail ;
2873 int nr_dirtied ;
2874 int nr_dirtied_pause ;
2875 unsigned long dirty_paused_when ;
2876 int latency_record_count ;
2877 struct latency_record latency_record[32] ;
2878 unsigned long timer_slack_ns ;
2879 unsigned long default_timer_slack_ns ;
2880 struct list_head *scm_work_list ;
2881 unsigned long trace ;
2882 unsigned long trace_recursion ;
2883 struct memcg_batch_info memcg_batch ;
2884 atomic_t ptrace_bp_refcnt ;
2885};
2886#line 1681
2887struct pid_namespace;
2888#line 75 "include/linux/iocontext.h"
2889union __anonunion____missing_field_name_247 {
2890 struct list_head q_node ;
2891 struct kmem_cache *__rcu_icq_cache ;
2892};
2893#line 75 "include/linux/iocontext.h"
2894union __anonunion____missing_field_name_248 {
2895 struct hlist_node ioc_node ;
2896 struct rcu_head __rcu_head ;
2897};
2898#line 75 "include/linux/iocontext.h"
2899struct io_cq {
2900 struct request_queue *q ;
2901 struct io_context *ioc ;
2902 union __anonunion____missing_field_name_247 __annonCompField46 ;
2903 union __anonunion____missing_field_name_248 __annonCompField47 ;
2904 unsigned int flags ;
2905};
2906#line 101 "include/linux/iocontext.h"
2907struct io_context {
2908 atomic_long_t refcount ;
2909 atomic_t nr_tasks ;
2910 spinlock_t lock ;
2911 unsigned short ioprio ;
2912 int nr_batch_requests ;
2913 unsigned long last_waited ;
2914 struct radix_tree_root icq_tree ;
2915 struct io_cq *icq_hint ;
2916 struct hlist_head icq_list ;
2917 struct work_struct release_work ;
2918};
2919#line 137
2920struct task_struct;
2921#line 170 "include/linux/bio.h"
2922struct bio_integrity_payload {
2923 struct bio *bip_bio ;
2924 sector_t bip_sector ;
2925 void *bip_buf ;
2926 bio_end_io_t *bip_end_io ;
2927 unsigned int bip_size ;
2928 unsigned short bip_slab ;
2929 unsigned short bip_vcnt ;
2930 unsigned short bip_idx ;
2931 struct work_struct bip_work ;
2932 struct bio_vec bip_vec[0] ;
2933};
2934#line 222
2935struct request_queue;
2936#line 374 "include/linux/bio.h"
2937struct bio_list {
2938 struct bio *head ;
2939 struct bio *tail ;
2940};
2941#line 20 "include/linux/kobject_ns.h"
2942struct sock;
2943#line 20
2944struct sock;
2945#line 21
2946struct kobject;
2947#line 27
2948enum kobj_ns_type {
2949 KOBJ_NS_TYPE_NONE = 0,
2950 KOBJ_NS_TYPE_NET = 1,
2951 KOBJ_NS_TYPES = 2
2952} ;
2953#line 40 "include/linux/kobject_ns.h"
2954struct kobj_ns_type_operations {
2955 enum kobj_ns_type type ;
2956 void *(*grab_current_ns)(void) ;
2957 void const *(*netlink_ns)(struct sock *sk ) ;
2958 void const *(*initial_ns)(void) ;
2959 void (*drop_ns)(void * ) ;
2960};
2961#line 22 "include/linux/sysfs.h"
2962struct kobject;
2963#line 23
2964struct module;
2965#line 24
2966enum kobj_ns_type;
2967#line 26 "include/linux/sysfs.h"
2968struct attribute {
2969 char const *name ;
2970 umode_t mode ;
2971};
2972#line 56 "include/linux/sysfs.h"
2973struct attribute_group {
2974 char const *name ;
2975 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
2976 struct attribute **attrs ;
2977};
2978#line 85
2979struct file;
2980#line 86
2981struct vm_area_struct;
2982#line 88 "include/linux/sysfs.h"
2983struct bin_attribute {
2984 struct attribute attr ;
2985 size_t size ;
2986 void *private ;
2987 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
2988 loff_t , size_t ) ;
2989 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
2990 loff_t , size_t ) ;
2991 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
2992};
2993#line 112 "include/linux/sysfs.h"
2994struct sysfs_ops {
2995 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
2996 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
2997 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
2998};
2999#line 118
3000struct sysfs_dirent;
3001#line 118
3002struct sysfs_dirent;
3003#line 22 "include/linux/kref.h"
3004struct kref {
3005 atomic_t refcount ;
3006};
3007#line 60 "include/linux/kobject.h"
3008struct kset;
3009#line 60
3010struct kobj_type;
3011#line 60 "include/linux/kobject.h"
3012struct kobject {
3013 char const *name ;
3014 struct list_head entry ;
3015 struct kobject *parent ;
3016 struct kset *kset ;
3017 struct kobj_type *ktype ;
3018 struct sysfs_dirent *sd ;
3019 struct kref kref ;
3020 unsigned int state_initialized : 1 ;
3021 unsigned int state_in_sysfs : 1 ;
3022 unsigned int state_add_uevent_sent : 1 ;
3023 unsigned int state_remove_uevent_sent : 1 ;
3024 unsigned int uevent_suppress : 1 ;
3025};
3026#line 108 "include/linux/kobject.h"
3027struct kobj_type {
3028 void (*release)(struct kobject *kobj ) ;
3029 struct sysfs_ops const *sysfs_ops ;
3030 struct attribute **default_attrs ;
3031 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
3032 void const *(*namespace)(struct kobject *kobj ) ;
3033};
3034#line 116 "include/linux/kobject.h"
3035struct kobj_uevent_env {
3036 char *envp[32] ;
3037 int envp_idx ;
3038 char buf[2048] ;
3039 int buflen ;
3040};
3041#line 123 "include/linux/kobject.h"
3042struct kset_uevent_ops {
3043 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
3044 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
3045 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
3046};
3047#line 140
3048struct sock;
3049#line 159 "include/linux/kobject.h"
3050struct kset {
3051 struct list_head list ;
3052 spinlock_t list_lock ;
3053 struct kobject kobj ;
3054 struct kset_uevent_ops const *uevent_ops ;
3055};
3056#line 46 "include/linux/slub_def.h"
3057struct kmem_cache_cpu {
3058 void **freelist ;
3059 unsigned long tid ;
3060 struct page *page ;
3061 struct page *partial ;
3062 int node ;
3063 unsigned int stat[26] ;
3064};
3065#line 57 "include/linux/slub_def.h"
3066struct kmem_cache_node {
3067 spinlock_t list_lock ;
3068 unsigned long nr_partial ;
3069 struct list_head partial ;
3070 atomic_long_t nr_slabs ;
3071 atomic_long_t total_objects ;
3072 struct list_head full ;
3073};
3074#line 73 "include/linux/slub_def.h"
3075struct kmem_cache_order_objects {
3076 unsigned long x ;
3077};
3078#line 80 "include/linux/slub_def.h"
3079struct kmem_cache {
3080 struct kmem_cache_cpu *cpu_slab ;
3081 unsigned long flags ;
3082 unsigned long min_partial ;
3083 int size ;
3084 int objsize ;
3085 int offset ;
3086 int cpu_partial ;
3087 struct kmem_cache_order_objects oo ;
3088 struct kmem_cache_order_objects max ;
3089 struct kmem_cache_order_objects min ;
3090 gfp_t allocflags ;
3091 int refcount ;
3092 void (*ctor)(void * ) ;
3093 int inuse ;
3094 int align ;
3095 int reserved ;
3096 char const *name ;
3097 struct list_head list ;
3098 struct kobject kobj ;
3099 int remote_node_defrag_ratio ;
3100 struct kmem_cache_node *node[1 << 10] ;
3101};
3102#line 25 "include/linux/genhd.h"
3103struct device_type;
3104#line 27
3105struct class;
3106#line 19 "include/linux/klist.h"
3107struct klist_node;
3108#line 19
3109struct klist_node;
3110#line 39 "include/linux/klist.h"
3111struct klist_node {
3112 void *n_klist ;
3113 struct list_head n_node ;
3114 struct kref n_ref ;
3115};
3116#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
3117struct dma_map_ops;
3118#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
3119struct dev_archdata {
3120 void *acpi_handle ;
3121 struct dma_map_ops *dma_ops ;
3122 void *iommu ;
3123};
3124#line 28 "include/linux/device.h"
3125struct device;
3126#line 29
3127struct device_private;
3128#line 29
3129struct device_private;
3130#line 30
3131struct device_driver;
3132#line 30
3133struct device_driver;
3134#line 31
3135struct driver_private;
3136#line 31
3137struct driver_private;
3138#line 32
3139struct module;
3140#line 33
3141struct class;
3142#line 34
3143struct subsys_private;
3144#line 34
3145struct subsys_private;
3146#line 35
3147struct bus_type;
3148#line 35
3149struct bus_type;
3150#line 36
3151struct device_node;
3152#line 36
3153struct device_node;
3154#line 37
3155struct iommu_ops;
3156#line 37
3157struct iommu_ops;
3158#line 39 "include/linux/device.h"
3159struct bus_attribute {
3160 struct attribute attr ;
3161 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
3162 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
3163};
3164#line 89
3165struct device_attribute;
3166#line 89
3167struct driver_attribute;
3168#line 89 "include/linux/device.h"
3169struct bus_type {
3170 char const *name ;
3171 char const *dev_name ;
3172 struct device *dev_root ;
3173 struct bus_attribute *bus_attrs ;
3174 struct device_attribute *dev_attrs ;
3175 struct driver_attribute *drv_attrs ;
3176 int (*match)(struct device *dev , struct device_driver *drv ) ;
3177 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3178 int (*probe)(struct device *dev ) ;
3179 int (*remove)(struct device *dev ) ;
3180 void (*shutdown)(struct device *dev ) ;
3181 int (*suspend)(struct device *dev , pm_message_t state ) ;
3182 int (*resume)(struct device *dev ) ;
3183 struct dev_pm_ops const *pm ;
3184 struct iommu_ops *iommu_ops ;
3185 struct subsys_private *p ;
3186};
3187#line 214
3188struct of_device_id;
3189#line 214 "include/linux/device.h"
3190struct device_driver {
3191 char const *name ;
3192 struct bus_type *bus ;
3193 struct module *owner ;
3194 char const *mod_name ;
3195 bool suppress_bind_attrs ;
3196 struct of_device_id const *of_match_table ;
3197 int (*probe)(struct device *dev ) ;
3198 int (*remove)(struct device *dev ) ;
3199 void (*shutdown)(struct device *dev ) ;
3200 int (*suspend)(struct device *dev , pm_message_t state ) ;
3201 int (*resume)(struct device *dev ) ;
3202 struct attribute_group const **groups ;
3203 struct dev_pm_ops const *pm ;
3204 struct driver_private *p ;
3205};
3206#line 249 "include/linux/device.h"
3207struct driver_attribute {
3208 struct attribute attr ;
3209 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
3210 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
3211};
3212#line 330
3213struct class_attribute;
3214#line 330 "include/linux/device.h"
3215struct class {
3216 char const *name ;
3217 struct module *owner ;
3218 struct class_attribute *class_attrs ;
3219 struct device_attribute *dev_attrs ;
3220 struct bin_attribute *dev_bin_attrs ;
3221 struct kobject *dev_kobj ;
3222 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3223 char *(*devnode)(struct device *dev , umode_t *mode ) ;
3224 void (*class_release)(struct class *class ) ;
3225 void (*dev_release)(struct device *dev ) ;
3226 int (*suspend)(struct device *dev , pm_message_t state ) ;
3227 int (*resume)(struct device *dev ) ;
3228 struct kobj_ns_type_operations const *ns_type ;
3229 void const *(*namespace)(struct device *dev ) ;
3230 struct dev_pm_ops const *pm ;
3231 struct subsys_private *p ;
3232};
3233#line 397 "include/linux/device.h"
3234struct class_attribute {
3235 struct attribute attr ;
3236 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
3237 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
3238 size_t count ) ;
3239 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
3240};
3241#line 465 "include/linux/device.h"
3242struct device_type {
3243 char const *name ;
3244 struct attribute_group const **groups ;
3245 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3246 char *(*devnode)(struct device *dev , umode_t *mode ) ;
3247 void (*release)(struct device *dev ) ;
3248 struct dev_pm_ops const *pm ;
3249};
3250#line 476 "include/linux/device.h"
3251struct device_attribute {
3252 struct attribute attr ;
3253 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
3254 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
3255 size_t count ) ;
3256};
3257#line 559 "include/linux/device.h"
3258struct device_dma_parameters {
3259 unsigned int max_segment_size ;
3260 unsigned long segment_boundary_mask ;
3261};
3262#line 627
3263struct dma_coherent_mem;
3264#line 627 "include/linux/device.h"
3265struct device {
3266 struct device *parent ;
3267 struct device_private *p ;
3268 struct kobject kobj ;
3269 char const *init_name ;
3270 struct device_type const *type ;
3271 struct mutex mutex ;
3272 struct bus_type *bus ;
3273 struct device_driver *driver ;
3274 void *platform_data ;
3275 struct dev_pm_info power ;
3276 struct dev_pm_domain *pm_domain ;
3277 int numa_node ;
3278 u64 *dma_mask ;
3279 u64 coherent_dma_mask ;
3280 struct device_dma_parameters *dma_parms ;
3281 struct list_head dma_pools ;
3282 struct dma_coherent_mem *dma_mem ;
3283 struct dev_archdata archdata ;
3284 struct device_node *of_node ;
3285 dev_t devt ;
3286 u32 id ;
3287 spinlock_t devres_lock ;
3288 struct list_head devres_head ;
3289 struct klist_node knode_class ;
3290 struct class *class ;
3291 struct attribute_group const **groups ;
3292 void (*release)(struct device *dev ) ;
3293};
3294#line 43 "include/linux/pm_wakeup.h"
3295struct wakeup_source {
3296 char const *name ;
3297 struct list_head entry ;
3298 spinlock_t lock ;
3299 struct timer_list timer ;
3300 unsigned long timer_expires ;
3301 ktime_t total_time ;
3302 ktime_t max_time ;
3303 ktime_t last_time ;
3304 unsigned long event_count ;
3305 unsigned long active_count ;
3306 unsigned long relax_count ;
3307 unsigned long hit_count ;
3308 unsigned int active : 1 ;
3309};
3310#line 82 "include/linux/genhd.h"
3311struct disk_stats {
3312 unsigned long sectors[2] ;
3313 unsigned long ios[2] ;
3314 unsigned long merges[2] ;
3315 unsigned long ticks[2] ;
3316 unsigned long io_ticks ;
3317 unsigned long time_in_queue ;
3318};
3319#line 94 "include/linux/genhd.h"
3320struct partition_meta_info {
3321 u8 uuid[16] ;
3322 u8 volname[64] ;
3323};
3324#line 99 "include/linux/genhd.h"
3325struct hd_struct {
3326 sector_t start_sect ;
3327 sector_t nr_sects ;
3328 sector_t alignment_offset ;
3329 unsigned int discard_alignment ;
3330 struct device __dev ;
3331 struct kobject *holder_dir ;
3332 int policy ;
3333 int partno ;
3334 struct partition_meta_info *info ;
3335 int make_it_fail ;
3336 unsigned long stamp ;
3337 atomic_t in_flight[2] ;
3338 struct disk_stats *dkstats ;
3339 atomic_t ref ;
3340 struct rcu_head rcu_head ;
3341};
3342#line 147 "include/linux/genhd.h"
3343struct disk_part_tbl {
3344 struct rcu_head rcu_head ;
3345 int len ;
3346 struct hd_struct *last_lookup ;
3347 struct hd_struct *part[] ;
3348};
3349#line 154
3350struct disk_events;
3351#line 154
3352struct disk_events;
3353#line 156
3354struct blk_integrity;
3355#line 156 "include/linux/genhd.h"
3356struct gendisk {
3357 int major ;
3358 int first_minor ;
3359 int minors ;
3360 char disk_name[32] ;
3361 char *(*devnode)(struct gendisk *gd , umode_t *mode ) ;
3362 unsigned int events ;
3363 unsigned int async_events ;
3364 struct disk_part_tbl *part_tbl ;
3365 struct hd_struct part0 ;
3366 struct block_device_operations const *fops ;
3367 struct request_queue *queue ;
3368 void *private_data ;
3369 int flags ;
3370 struct device *driverfs_dev ;
3371 struct kobject *slave_dir ;
3372 struct timer_rand_state *random ;
3373 atomic_t sync_io ;
3374 struct disk_events *ev ;
3375 struct blk_integrity *integrity ;
3376 int node_id ;
3377};
3378#line 28 "include/linux/writeback.h"
3379struct backing_dev_info;
3380#line 33
3381enum writeback_sync_modes {
3382 WB_SYNC_NONE = 0,
3383 WB_SYNC_ALL = 1
3384} ;
3385#line 60 "include/linux/writeback.h"
3386struct writeback_control {
3387 enum writeback_sync_modes sync_mode ;
3388 long nr_to_write ;
3389 long pages_skipped ;
3390 loff_t range_start ;
3391 loff_t range_end ;
3392 unsigned int for_kupdate : 1 ;
3393 unsigned int for_background : 1 ;
3394 unsigned int tagged_writepages : 1 ;
3395 unsigned int for_reclaim : 1 ;
3396 unsigned int range_cyclic : 1 ;
3397};
3398#line 84
3399struct bdi_writeback;
3400#line 84
3401struct bdi_writeback;
3402#line 21 "include/linux/backing-dev.h"
3403struct page;
3404#line 22
3405struct device;
3406#line 23
3407struct dentry;
3408#line 38 "include/linux/backing-dev.h"
3409typedef int congested_fn(void * , int );
3410#line 50 "include/linux/backing-dev.h"
3411struct bdi_writeback {
3412 struct backing_dev_info *bdi ;
3413 unsigned int nr ;
3414 unsigned long last_old_flush ;
3415 unsigned long last_active ;
3416 struct task_struct *task ;
3417 struct timer_list wakeup_timer ;
3418 struct list_head b_dirty ;
3419 struct list_head b_io ;
3420 struct list_head b_more_io ;
3421 spinlock_t list_lock ;
3422};
3423#line 65 "include/linux/backing-dev.h"
3424struct backing_dev_info {
3425 struct list_head bdi_list ;
3426 unsigned long ra_pages ;
3427 unsigned long state ;
3428 unsigned int capabilities ;
3429 congested_fn *congested_fn ;
3430 void *congested_data ;
3431 char *name ;
3432 struct percpu_counter bdi_stat[4] ;
3433 unsigned long bw_time_stamp ;
3434 unsigned long dirtied_stamp ;
3435 unsigned long written_stamp ;
3436 unsigned long write_bandwidth ;
3437 unsigned long avg_write_bandwidth ;
3438 unsigned long dirty_ratelimit ;
3439 unsigned long balanced_dirty_ratelimit ;
3440 struct prop_local_percpu completions ;
3441 int dirty_exceeded ;
3442 unsigned int min_ratio ;
3443 unsigned int max_ratio ;
3444 unsigned int max_prop_frac ;
3445 struct bdi_writeback wb ;
3446 spinlock_t wb_lock ;
3447 struct list_head work_list ;
3448 struct device *dev ;
3449 struct timer_list laptop_mode_wb_timer ;
3450 struct dentry *debug_dir ;
3451 struct dentry *debug_stats ;
3452};
3453#line 67 "include/linux/bsg.h"
3454struct bsg_class_device {
3455 struct device *class_dev ;
3456 struct device *parent ;
3457 int minor ;
3458 struct request_queue *queue ;
3459 struct kref ref ;
3460 void (*release)(struct device * ) ;
3461};
3462#line 25 "include/linux/blkdev.h"
3463struct module;
3464#line 28
3465struct request_queue;
3466#line 29
3467struct elevator_queue;
3468#line 29
3469struct elevator_queue;
3470#line 32
3471struct request;
3472#line 32
3473struct request;
3474#line 34
3475struct bsg_job;
3476#line 34
3477struct bsg_job;
3478#line 39
3479struct request;
3480#line 40 "include/linux/blkdev.h"
3481typedef void rq_end_io_fn(struct request * , int );
3482#line 42 "include/linux/blkdev.h"
3483struct request_list {
3484 int count[2] ;
3485 int starved[2] ;
3486 int elvpriv ;
3487 mempool_t *rq_pool ;
3488 wait_queue_head_t wait[2] ;
3489};
3490#line 57
3491enum rq_cmd_type_bits {
3492 REQ_TYPE_FS = 1,
3493 REQ_TYPE_BLOCK_PC = 2,
3494 REQ_TYPE_SENSE = 3,
3495 REQ_TYPE_PM_SUSPEND = 4,
3496 REQ_TYPE_PM_RESUME = 5,
3497 REQ_TYPE_PM_SHUTDOWN = 6,
3498 REQ_TYPE_SPECIAL = 7,
3499 REQ_TYPE_ATA_TASKFILE = 8,
3500 REQ_TYPE_ATA_PC = 9
3501} ;
3502#line 81 "include/linux/blkdev.h"
3503union __anonunion____missing_field_name_254 {
3504 struct rb_node rb_node ;
3505 void *completion_data ;
3506};
3507#line 81 "include/linux/blkdev.h"
3508struct __anonstruct_elv_256 {
3509 struct io_cq *icq ;
3510 void *priv[2] ;
3511};
3512#line 81 "include/linux/blkdev.h"
3513struct __anonstruct_flush_257 {
3514 unsigned int seq ;
3515 struct list_head list ;
3516 rq_end_io_fn *saved_end_io ;
3517};
3518#line 81 "include/linux/blkdev.h"
3519union __anonunion____missing_field_name_255 {
3520 struct __anonstruct_elv_256 elv ;
3521 struct __anonstruct_flush_257 flush ;
3522};
3523#line 81 "include/linux/blkdev.h"
3524struct request {
3525 struct list_head queuelist ;
3526 struct call_single_data csd ;
3527 struct request_queue *q ;
3528 unsigned int cmd_flags ;
3529 enum rq_cmd_type_bits cmd_type ;
3530 unsigned long atomic_flags ;
3531 int cpu ;
3532 unsigned int __data_len ;
3533 sector_t __sector ;
3534 struct bio *bio ;
3535 struct bio *biotail ;
3536 struct hlist_node hash ;
3537 union __anonunion____missing_field_name_254 __annonCompField48 ;
3538 union __anonunion____missing_field_name_255 __annonCompField49 ;
3539 struct gendisk *rq_disk ;
3540 struct hd_struct *part ;
3541 unsigned long start_time ;
3542 unsigned short nr_phys_segments ;
3543 unsigned short nr_integrity_segments ;
3544 unsigned short ioprio ;
3545 int ref_count ;
3546 void *special ;
3547 char *buffer ;
3548 int tag ;
3549 int errors ;
3550 unsigned char __cmd[16] ;
3551 unsigned char *cmd ;
3552 unsigned short cmd_len ;
3553 unsigned int extra_len ;
3554 unsigned int sense_len ;
3555 unsigned int resid_len ;
3556 void *sense ;
3557 unsigned long deadline ;
3558 struct list_head timeout_list ;
3559 unsigned int timeout ;
3560 int retries ;
3561 rq_end_io_fn *end_io ;
3562 void *end_io_data ;
3563 struct request *next_rq ;
3564};
3565#line 8 "include/linux/elevator.h"
3566struct io_cq;
3567#line 10 "include/linux/elevator.h"
3568typedef int elevator_merge_fn(struct request_queue * , struct request ** , struct bio * );
3569#line 13 "include/linux/elevator.h"
3570typedef void elevator_merge_req_fn(struct request_queue * , struct request * , struct request * );
3571#line 15 "include/linux/elevator.h"
3572typedef void elevator_merged_fn(struct request_queue * , struct request * , int );
3573#line 17 "include/linux/elevator.h"
3574typedef int elevator_allow_merge_fn(struct request_queue * , struct request * , struct bio * );
3575#line 19 "include/linux/elevator.h"
3576typedef void elevator_bio_merged_fn(struct request_queue * , struct request * , struct bio * );
3577#line 22 "include/linux/elevator.h"
3578typedef int elevator_dispatch_fn(struct request_queue * , int );
3579#line 24 "include/linux/elevator.h"
3580typedef void elevator_add_req_fn(struct request_queue * , struct request * );
3581#line 25 "include/linux/elevator.h"
3582typedef struct request *elevator_request_list_fn(struct request_queue * , struct request * );
3583#line 26 "include/linux/elevator.h"
3584typedef void elevator_completed_req_fn(struct request_queue * , struct request * );
3585#line 27 "include/linux/elevator.h"
3586typedef int elevator_may_queue_fn(struct request_queue * , int );
3587#line 29 "include/linux/elevator.h"
3588typedef void elevator_init_icq_fn(struct io_cq * );
3589#line 30 "include/linux/elevator.h"
3590typedef void elevator_exit_icq_fn(struct io_cq * );
3591#line 31 "include/linux/elevator.h"
3592typedef int elevator_set_req_fn(struct request_queue * , struct request * , gfp_t );
3593#line 32 "include/linux/elevator.h"
3594typedef void elevator_put_req_fn(struct request * );
3595#line 33 "include/linux/elevator.h"
3596typedef void elevator_activate_req_fn(struct request_queue * , struct request * );
3597#line 34 "include/linux/elevator.h"
3598typedef void elevator_deactivate_req_fn(struct request_queue * , struct request * );
3599#line 36 "include/linux/elevator.h"
3600typedef void *elevator_init_fn(struct request_queue * );
3601#line 37 "include/linux/elevator.h"
3602typedef void elevator_exit_fn(struct elevator_queue * );
3603#line 39 "include/linux/elevator.h"
3604struct elevator_ops {
3605 elevator_merge_fn *elevator_merge_fn ;
3606 elevator_merged_fn *elevator_merged_fn ;
3607 elevator_merge_req_fn *elevator_merge_req_fn ;
3608 elevator_allow_merge_fn *elevator_allow_merge_fn ;
3609 elevator_bio_merged_fn *elevator_bio_merged_fn ;
3610 elevator_dispatch_fn *elevator_dispatch_fn ;
3611 elevator_add_req_fn *elevator_add_req_fn ;
3612 elevator_activate_req_fn *elevator_activate_req_fn ;
3613 elevator_deactivate_req_fn *elevator_deactivate_req_fn ;
3614 elevator_completed_req_fn *elevator_completed_req_fn ;
3615 elevator_request_list_fn *elevator_former_req_fn ;
3616 elevator_request_list_fn *elevator_latter_req_fn ;
3617 elevator_init_icq_fn *elevator_init_icq_fn ;
3618 elevator_exit_icq_fn *elevator_exit_icq_fn ;
3619 elevator_set_req_fn *elevator_set_req_fn ;
3620 elevator_put_req_fn *elevator_put_req_fn ;
3621 elevator_may_queue_fn *elevator_may_queue_fn ;
3622 elevator_init_fn *elevator_init_fn ;
3623 elevator_exit_fn *elevator_exit_fn ;
3624};
3625#line 71 "include/linux/elevator.h"
3626struct elv_fs_entry {
3627 struct attribute attr ;
3628 ssize_t (*show)(struct elevator_queue * , char * ) ;
3629 ssize_t (*store)(struct elevator_queue * , char const * , size_t ) ;
3630};
3631#line 80 "include/linux/elevator.h"
3632struct elevator_type {
3633 struct kmem_cache *icq_cache ;
3634 struct elevator_ops ops ;
3635 size_t icq_size ;
3636 size_t icq_align ;
3637 struct elv_fs_entry *elevator_attrs ;
3638 char elevator_name[16] ;
3639 struct module *elevator_owner ;
3640 char icq_cache_name[21] ;
3641 struct list_head list ;
3642};
3643#line 101 "include/linux/elevator.h"
3644struct elevator_queue {
3645 struct elevator_type *type ;
3646 void *elevator_data ;
3647 struct kobject kobj ;
3648 struct mutex sysfs_lock ;
3649 struct hlist_head *hash ;
3650 unsigned int registered : 1 ;
3651};
3652#line 202 "include/linux/blkdev.h"
3653typedef void request_fn_proc(struct request_queue *q );
3654#line 203 "include/linux/blkdev.h"
3655typedef void make_request_fn(struct request_queue *q , struct bio *bio );
3656#line 204 "include/linux/blkdev.h"
3657typedef int prep_rq_fn(struct request_queue * , struct request * );
3658#line 205 "include/linux/blkdev.h"
3659typedef void unprep_rq_fn(struct request_queue * , struct request * );
3660#line 207
3661struct bio_vec;
3662#line 208 "include/linux/blkdev.h"
3663struct bvec_merge_data {
3664 struct block_device *bi_bdev ;
3665 sector_t bi_sector ;
3666 unsigned int bi_size ;
3667 unsigned long bi_rw ;
3668};
3669#line 214 "include/linux/blkdev.h"
3670typedef int merge_bvec_fn(struct request_queue * , struct bvec_merge_data * , struct bio_vec * );
3671#line 216 "include/linux/blkdev.h"
3672typedef void softirq_done_fn(struct request * );
3673#line 217 "include/linux/blkdev.h"
3674typedef int dma_drain_needed_fn(struct request * );
3675#line 218 "include/linux/blkdev.h"
3676typedef int lld_busy_fn(struct request_queue *q );
3677#line 219 "include/linux/blkdev.h"
3678typedef int bsg_job_fn(struct bsg_job * );
3679#line 221
3680enum blk_eh_timer_return {
3681 BLK_EH_NOT_HANDLED = 0,
3682 BLK_EH_HANDLED = 1,
3683 BLK_EH_RESET_TIMER = 2
3684} ;
3685#line 227 "include/linux/blkdev.h"
3686typedef enum blk_eh_timer_return rq_timed_out_fn(struct request * );
3687#line 234 "include/linux/blkdev.h"
3688struct blk_queue_tag {
3689 struct request **tag_index ;
3690 unsigned long *tag_map ;
3691 int busy ;
3692 int max_depth ;
3693 int real_max_depth ;
3694 atomic_t refcnt ;
3695};
3696#line 246 "include/linux/blkdev.h"
3697struct queue_limits {
3698 unsigned long bounce_pfn ;
3699 unsigned long seg_boundary_mask ;
3700 unsigned int max_hw_sectors ;
3701 unsigned int max_sectors ;
3702 unsigned int max_segment_size ;
3703 unsigned int physical_block_size ;
3704 unsigned int alignment_offset ;
3705 unsigned int io_min ;
3706 unsigned int io_opt ;
3707 unsigned int max_discard_sectors ;
3708 unsigned int discard_granularity ;
3709 unsigned int discard_alignment ;
3710 unsigned short logical_block_size ;
3711 unsigned short max_segments ;
3712 unsigned short max_integrity_segments ;
3713 unsigned char misaligned ;
3714 unsigned char discard_misaligned ;
3715 unsigned char cluster ;
3716 unsigned char discard_zeroes_data ;
3717};
3718#line 271 "include/linux/blkdev.h"
3719struct request_queue {
3720 struct list_head queue_head ;
3721 struct request *last_merge ;
3722 struct elevator_queue *elevator ;
3723 struct request_list rq ;
3724 request_fn_proc *request_fn ;
3725 make_request_fn *make_request_fn ;
3726 prep_rq_fn *prep_rq_fn ;
3727 unprep_rq_fn *unprep_rq_fn ;
3728 merge_bvec_fn *merge_bvec_fn ;
3729 softirq_done_fn *softirq_done_fn ;
3730 rq_timed_out_fn *rq_timed_out_fn ;
3731 dma_drain_needed_fn *dma_drain_needed ;
3732 lld_busy_fn *lld_busy_fn ;
3733 sector_t end_sector ;
3734 struct request *boundary_rq ;
3735 struct delayed_work delay_work ;
3736 struct backing_dev_info backing_dev_info ;
3737 void *queuedata ;
3738 unsigned long queue_flags ;
3739 int id ;
3740 gfp_t bounce_gfp ;
3741 spinlock_t __queue_lock ;
3742 spinlock_t *queue_lock ;
3743 struct kobject kobj ;
3744 unsigned long nr_requests ;
3745 unsigned int nr_congestion_on ;
3746 unsigned int nr_congestion_off ;
3747 unsigned int nr_batching ;
3748 unsigned int dma_drain_size ;
3749 void *dma_drain_buffer ;
3750 unsigned int dma_pad_mask ;
3751 unsigned int dma_alignment ;
3752 struct blk_queue_tag *queue_tags ;
3753 struct list_head tag_busy_list ;
3754 unsigned int nr_sorted ;
3755 unsigned int in_flight[2] ;
3756 unsigned int rq_timeout ;
3757 struct timer_list timeout ;
3758 struct list_head timeout_list ;
3759 struct list_head icq_list ;
3760 struct queue_limits limits ;
3761 unsigned int sg_timeout ;
3762 unsigned int sg_reserved_size ;
3763 int node ;
3764 unsigned int flush_flags ;
3765 unsigned int flush_not_queueable : 1 ;
3766 unsigned int flush_queue_delayed : 1 ;
3767 unsigned int flush_pending_idx : 1 ;
3768 unsigned int flush_running_idx : 1 ;
3769 unsigned long flush_pending_since ;
3770 struct list_head flush_queue[2] ;
3771 struct list_head flush_data_in_flight ;
3772 struct request flush_rq ;
3773 struct mutex sysfs_lock ;
3774 bsg_job_fn *bsg_job_fn ;
3775 int bsg_job_size ;
3776 struct bsg_class_device bsg_dev ;
3777};
3778#line 889 "include/linux/blkdev.h"
3779struct blk_plug {
3780 unsigned long magic ;
3781 struct list_head list ;
3782 struct list_head cb_list ;
3783 unsigned int should_sort ;
3784};
3785#line 1165
3786struct work_struct;
3787#line 1220 "include/linux/blkdev.h"
3788struct blk_integrity_exchg {
3789 void *prot_buf ;
3790 void *data_buf ;
3791 sector_t sector ;
3792 unsigned int data_size ;
3793 unsigned short sector_size ;
3794 char const *disk_name ;
3795};
3796#line 1229 "include/linux/blkdev.h"
3797typedef void integrity_gen_fn(struct blk_integrity_exchg * );
3798#line 1230 "include/linux/blkdev.h"
3799typedef int integrity_vrfy_fn(struct blk_integrity_exchg * );
3800#line 1231 "include/linux/blkdev.h"
3801typedef void integrity_set_tag_fn(void * , void * , unsigned int );
3802#line 1232 "include/linux/blkdev.h"
3803typedef void integrity_get_tag_fn(void * , void * , unsigned int );
3804#line 1234 "include/linux/blkdev.h"
3805struct blk_integrity {
3806 integrity_gen_fn *generate_fn ;
3807 integrity_vrfy_fn *verify_fn ;
3808 integrity_set_tag_fn *set_tag_fn ;
3809 integrity_get_tag_fn *get_tag_fn ;
3810 unsigned short flags ;
3811 unsigned short tuple_size ;
3812 unsigned short sector_size ;
3813 unsigned short tag_size ;
3814 char const *name ;
3815 struct kobject kobj ;
3816};
3817#line 1362 "include/linux/blkdev.h"
3818struct block_device_operations {
3819 int (*open)(struct block_device * , fmode_t ) ;
3820 int (*release)(struct gendisk * , fmode_t ) ;
3821 int (*ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
3822 int (*compat_ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
3823 int (*direct_access)(struct block_device * , sector_t , void ** , unsigned long * ) ;
3824 unsigned int (*check_events)(struct gendisk *disk , unsigned int clearing ) ;
3825 int (*media_changed)(struct gendisk * ) ;
3826 void (*unlock_native_capacity)(struct gendisk * ) ;
3827 int (*revalidate_disk)(struct gendisk * ) ;
3828 int (*getgeo)(struct block_device * , struct hd_geometry * ) ;
3829 void (*swap_slot_free_notify)(struct block_device * , unsigned long ) ;
3830 struct module *owner ;
3831};
3832#line 15 "include/linux/device-mapper.h"
3833struct dm_dev;
3834#line 15
3835struct dm_dev;
3836#line 16
3837struct dm_target;
3838#line 16
3839struct dm_target;
3840#line 17
3841struct dm_table;
3842#line 17
3843struct dm_table;
3844#line 19
3845struct bio_vec;
3846#line 21
3847enum __anonenum_status_type_t_260 {
3848 STATUSTYPE_INFO = 0,
3849 STATUSTYPE_TABLE = 1
3850} ;
3851#line 21 "include/linux/device-mapper.h"
3852typedef enum __anonenum_status_type_t_260 status_type_t;
3853#line 23 "include/linux/device-mapper.h"
3854union map_info {
3855 void *ptr ;
3856 unsigned long long ll ;
3857 unsigned int target_request_nr ;
3858};
3859#line 113 "include/linux/device-mapper.h"
3860struct dm_dev {
3861 struct block_device *bdev ;
3862 fmode_t mode ;
3863 char name[16] ;
3864};
3865#line 131 "include/linux/device-mapper.h"
3866struct target_type {
3867 uint64_t features ;
3868 char const *name ;
3869 struct module *module ;
3870 unsigned int version[3] ;
3871 int (*ctr)(struct dm_target *target , unsigned int argc , char **argv ) ;
3872 void (*dtr)(struct dm_target *ti ) ;
3873 int (*map)(struct dm_target *ti , struct bio *bio , union map_info *map_context ) ;
3874 int (*map_rq)(struct dm_target *ti , struct request *clone , union map_info *map_context ) ;
3875 int (*end_io)(struct dm_target *ti , struct bio *bio , int error , union map_info *map_context ) ;
3876 int (*rq_end_io)(struct dm_target *ti , struct request *clone , int error , union map_info *map_context ) ;
3877 void (*flush)(struct dm_target *ti ) ;
3878 void (*presuspend)(struct dm_target *ti ) ;
3879 void (*postsuspend)(struct dm_target *ti ) ;
3880 int (*preresume)(struct dm_target *ti ) ;
3881 void (*resume)(struct dm_target *ti ) ;
3882 int (*status)(struct dm_target *ti , status_type_t status_type , char *result ,
3883 unsigned int maxlen ) ;
3884 int (*message)(struct dm_target *ti , unsigned int argc , char **argv ) ;
3885 int (*ioctl)(struct dm_target *ti , unsigned int cmd , unsigned long arg ) ;
3886 int (*merge)(struct dm_target *ti , struct bvec_merge_data *bvm , struct bio_vec *biovec ,
3887 int max_size ) ;
3888 int (*busy)(struct dm_target *ti ) ;
3889 int (*iterate_devices)(struct dm_target *ti , int (*fn)(struct dm_target *ti ,
3890 struct dm_dev *dev , sector_t start ,
3891 sector_t len , void *data ) ,
3892 void *data ) ;
3893 void (*io_hints)(struct dm_target *ti , struct queue_limits *limits ) ;
3894 struct list_head list ;
3895};
3896#line 183 "include/linux/device-mapper.h"
3897struct dm_target {
3898 struct dm_table *table ;
3899 struct target_type *type ;
3900 sector_t begin ;
3901 sector_t len ;
3902 sector_t split_io ;
3903 unsigned int num_flush_requests ;
3904 unsigned int num_discard_requests ;
3905 void *private ;
3906 char *error ;
3907 unsigned int discards_supported : 1 ;
3908 unsigned int discard_zeroes_data_unsupported : 1 ;
3909};
3910#line 48 "include/linux/kmod.h"
3911struct cred;
3912#line 49
3913struct file;
3914#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
3915struct task_struct;
3916#line 18 "include/linux/elf.h"
3917typedef __u64 Elf64_Addr;
3918#line 19 "include/linux/elf.h"
3919typedef __u16 Elf64_Half;
3920#line 23 "include/linux/elf.h"
3921typedef __u32 Elf64_Word;
3922#line 24 "include/linux/elf.h"
3923typedef __u64 Elf64_Xword;
3924#line 194 "include/linux/elf.h"
3925struct elf64_sym {
3926 Elf64_Word st_name ;
3927 unsigned char st_info ;
3928 unsigned char st_other ;
3929 Elf64_Half st_shndx ;
3930 Elf64_Addr st_value ;
3931 Elf64_Xword st_size ;
3932};
3933#line 194 "include/linux/elf.h"
3934typedef struct elf64_sym Elf64_Sym;
3935#line 438
3936struct file;
3937#line 39 "include/linux/moduleparam.h"
3938struct kernel_param;
3939#line 39
3940struct kernel_param;
3941#line 41 "include/linux/moduleparam.h"
3942struct kernel_param_ops {
3943 int (*set)(char const *val , struct kernel_param const *kp ) ;
3944 int (*get)(char *buffer , struct kernel_param const *kp ) ;
3945 void (*free)(void *arg ) ;
3946};
3947#line 50
3948struct kparam_string;
3949#line 50
3950struct kparam_array;
3951#line 50 "include/linux/moduleparam.h"
3952union __anonunion____missing_field_name_265 {
3953 void *arg ;
3954 struct kparam_string const *str ;
3955 struct kparam_array const *arr ;
3956};
3957#line 50 "include/linux/moduleparam.h"
3958struct kernel_param {
3959 char const *name ;
3960 struct kernel_param_ops const *ops ;
3961 u16 perm ;
3962 s16 level ;
3963 union __anonunion____missing_field_name_265 __annonCompField50 ;
3964};
3965#line 63 "include/linux/moduleparam.h"
3966struct kparam_string {
3967 unsigned int maxlen ;
3968 char *string ;
3969};
3970#line 69 "include/linux/moduleparam.h"
3971struct kparam_array {
3972 unsigned int max ;
3973 unsigned int elemsize ;
3974 unsigned int *num ;
3975 struct kernel_param_ops const *ops ;
3976 void *elem ;
3977};
3978#line 445
3979struct module;
3980#line 80 "include/linux/jump_label.h"
3981struct module;
3982#line 143 "include/linux/jump_label.h"
3983struct static_key {
3984 atomic_t enabled ;
3985};
3986#line 22 "include/linux/tracepoint.h"
3987struct module;
3988#line 23
3989struct tracepoint;
3990#line 23
3991struct tracepoint;
3992#line 25 "include/linux/tracepoint.h"
3993struct tracepoint_func {
3994 void *func ;
3995 void *data ;
3996};
3997#line 30 "include/linux/tracepoint.h"
3998struct tracepoint {
3999 char const *name ;
4000 struct static_key key ;
4001 void (*regfunc)(void) ;
4002 void (*unregfunc)(void) ;
4003 struct tracepoint_func *funcs ;
4004};
4005#line 19 "include/linux/export.h"
4006struct kernel_symbol {
4007 unsigned long value ;
4008 char const *name ;
4009};
4010#line 8 "include/asm-generic/module.h"
4011struct mod_arch_specific {
4012
4013};
4014#line 35 "include/linux/module.h"
4015struct module;
4016#line 37
4017struct module_param_attrs;
4018#line 37 "include/linux/module.h"
4019struct module_kobject {
4020 struct kobject kobj ;
4021 struct module *mod ;
4022 struct kobject *drivers_dir ;
4023 struct module_param_attrs *mp ;
4024};
4025#line 44 "include/linux/module.h"
4026struct module_attribute {
4027 struct attribute attr ;
4028 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
4029 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
4030 size_t count ) ;
4031 void (*setup)(struct module * , char const * ) ;
4032 int (*test)(struct module * ) ;
4033 void (*free)(struct module * ) ;
4034};
4035#line 71
4036struct exception_table_entry;
4037#line 199
4038enum module_state {
4039 MODULE_STATE_LIVE = 0,
4040 MODULE_STATE_COMING = 1,
4041 MODULE_STATE_GOING = 2
4042} ;
4043#line 215 "include/linux/module.h"
4044struct module_ref {
4045 unsigned long incs ;
4046 unsigned long decs ;
4047} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
4048#line 220
4049struct module_sect_attrs;
4050#line 220
4051struct module_notes_attrs;
4052#line 220
4053struct ftrace_event_call;
4054#line 220 "include/linux/module.h"
4055struct module {
4056 enum module_state state ;
4057 struct list_head list ;
4058 char name[64UL - sizeof(unsigned long )] ;
4059 struct module_kobject mkobj ;
4060 struct module_attribute *modinfo_attrs ;
4061 char const *version ;
4062 char const *srcversion ;
4063 struct kobject *holders_dir ;
4064 struct kernel_symbol const *syms ;
4065 unsigned long const *crcs ;
4066 unsigned int num_syms ;
4067 struct kernel_param *kp ;
4068 unsigned int num_kp ;
4069 unsigned int num_gpl_syms ;
4070 struct kernel_symbol const *gpl_syms ;
4071 unsigned long const *gpl_crcs ;
4072 struct kernel_symbol const *unused_syms ;
4073 unsigned long const *unused_crcs ;
4074 unsigned int num_unused_syms ;
4075 unsigned int num_unused_gpl_syms ;
4076 struct kernel_symbol const *unused_gpl_syms ;
4077 unsigned long const *unused_gpl_crcs ;
4078 struct kernel_symbol const *gpl_future_syms ;
4079 unsigned long const *gpl_future_crcs ;
4080 unsigned int num_gpl_future_syms ;
4081 unsigned int num_exentries ;
4082 struct exception_table_entry *extable ;
4083 int (*init)(void) ;
4084 void *module_init ;
4085 void *module_core ;
4086 unsigned int init_size ;
4087 unsigned int core_size ;
4088 unsigned int init_text_size ;
4089 unsigned int core_text_size ;
4090 unsigned int init_ro_size ;
4091 unsigned int core_ro_size ;
4092 struct mod_arch_specific arch ;
4093 unsigned int taints ;
4094 unsigned int num_bugs ;
4095 struct list_head bug_list ;
4096 struct bug_entry *bug_table ;
4097 Elf64_Sym *symtab ;
4098 Elf64_Sym *core_symtab ;
4099 unsigned int num_symtab ;
4100 unsigned int core_num_syms ;
4101 char *strtab ;
4102 char *core_strtab ;
4103 struct module_sect_attrs *sect_attrs ;
4104 struct module_notes_attrs *notes_attrs ;
4105 char *args ;
4106 void *percpu ;
4107 unsigned int percpu_size ;
4108 unsigned int num_tracepoints ;
4109 struct tracepoint * const *tracepoints_ptrs ;
4110 unsigned int num_trace_bprintk_fmt ;
4111 char const **trace_bprintk_fmt_start ;
4112 struct ftrace_event_call **trace_events ;
4113 unsigned int num_trace_events ;
4114 struct list_head source_list ;
4115 struct list_head target_list ;
4116 struct task_struct *waiter ;
4117 void (*exit)(void) ;
4118 struct module_ref *refptr ;
4119 ctor_fn_t *ctors ;
4120 unsigned int num_ctors ;
4121};
4122#line 1 "<compiler builtins>"
4123long __builtin_expect(long val , long res ) ;
4124#line 100 "include/linux/printk.h"
4125extern int ( printk)(char const *fmt , ...) ;
4126#line 152 "include/linux/mutex.h"
4127void mutex_lock(struct mutex *lock ) ;
4128#line 153
4129int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
4130#line 154
4131int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
4132#line 168
4133int mutex_trylock(struct mutex *lock ) ;
4134#line 169
4135void mutex_unlock(struct mutex *lock ) ;
4136#line 170
4137int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
4138#line 221 "include/linux/bio.h"
4139extern void bio_endio(struct bio * , int ) ;
4140#line 267
4141extern void zero_fill_bio(struct bio *bio ) ;
4142#line 234 "include/linux/device-mapper.h"
4143extern int dm_register_target(struct target_type *t ) ;
4144#line 235
4145extern void dm_unregister_target(struct target_type *t ) ;
4146#line 26 "include/linux/export.h"
4147extern struct module __this_module ;
4148#line 67 "include/linux/module.h"
4149int init_module(void) ;
4150#line 68
4151void cleanup_module(void) ;
4152#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4153static int zero_ctr(struct dm_target *ti , unsigned int argc , char **argv )
4154{ unsigned long __cil_tmp4 ;
4155 unsigned long __cil_tmp5 ;
4156 unsigned long __cil_tmp6 ;
4157 unsigned long __cil_tmp7 ;
4158
4159 {
4160#line 21
4161 if (argc != 0U) {
4162#line 22
4163 __cil_tmp4 = (unsigned long )ti;
4164#line 22
4165 __cil_tmp5 = __cil_tmp4 + 56;
4166#line 22
4167 *((char **)__cil_tmp5) = (char *)"No arguments required";
4168#line 23
4169 return (-22);
4170 } else {
4171
4172 }
4173#line 29
4174 __cil_tmp6 = (unsigned long )ti;
4175#line 29
4176 __cil_tmp7 = __cil_tmp6 + 44;
4177#line 29
4178 *((unsigned int *)__cil_tmp7) = 1U;
4179#line 31
4180 return (0);
4181}
4182}
4183#line 37 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4184static int zero_map(struct dm_target *ti , struct bio *bio , union map_info *map_context )
4185{ int __cil_tmp4 ;
4186 int __cil_tmp5 ;
4187 unsigned long __cil_tmp6 ;
4188 unsigned long __cil_tmp7 ;
4189 unsigned long __cil_tmp8 ;
4190 unsigned long __cil_tmp9 ;
4191 unsigned long __cil_tmp10 ;
4192
4193 {
4194 {
4195#line 40
4196 __cil_tmp4 = 1 << 12;
4197#line 40
4198 __cil_tmp5 = 1 | __cil_tmp4;
4199#line 40
4200 __cil_tmp6 = (unsigned long )__cil_tmp5;
4201#line 40
4202 __cil_tmp7 = (unsigned long )bio;
4203#line 40
4204 __cil_tmp8 = __cil_tmp7 + 32;
4205#line 40
4206 __cil_tmp9 = *((unsigned long *)__cil_tmp8);
4207#line 40
4208 __cil_tmp10 = __cil_tmp9 & __cil_tmp6;
4209#line 41
4210 if ((int )__cil_tmp10 == 0) {
4211#line 41
4212 goto case_0;
4213 } else
4214#line 44
4215 if ((int )__cil_tmp10 == 1 << 12) {
4216#line 44
4217 goto case_exp;
4218 } else
4219#line 47
4220 if ((int )__cil_tmp10 == 1) {
4221#line 47
4222 goto case_1;
4223 } else
4224#line 40
4225 if (0) {
4226 case_0:
4227 {
4228#line 42
4229 zero_fill_bio(bio);
4230 }
4231#line 43
4232 goto switch_break;
4233 case_exp:
4234#line 46
4235 return (-5);
4236 case_1:
4237#line 49
4238 goto switch_break;
4239 } else {
4240 switch_break: ;
4241 }
4242 }
4243 {
4244#line 52
4245 bio_endio(bio, 0);
4246 }
4247#line 55
4248 return (0);
4249}
4250}
4251#line 58 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4252static struct target_type zero_target =
4253#line 58
4254 {0ULL, "zero", & __this_module, {1U, 0U, 0U}, & zero_ctr, (void (*)(struct dm_target *ti ))0,
4255 & zero_map, (int (*)(struct dm_target *ti , struct request *clone , union map_info *map_context ))0,
4256 (int (*)(struct dm_target *ti , struct bio *bio , int error , union map_info *map_context ))0,
4257 (int (*)(struct dm_target *ti , struct request *clone , int error , union map_info *map_context ))0,
4258 (void (*)(struct dm_target *ti ))0, (void (*)(struct dm_target *ti ))0, (void (*)(struct dm_target *ti ))0,
4259 (int (*)(struct dm_target *ti ))0, (void (*)(struct dm_target *ti ))0, (int (*)(struct dm_target *ti ,
4260 status_type_t status_type ,
4261 char *result ,
4262 unsigned int maxlen ))0,
4263 (int (*)(struct dm_target *ti , unsigned int argc , char **argv ))0, (int (*)(struct dm_target *ti ,
4264 unsigned int cmd ,
4265 unsigned long arg ))0,
4266 (int (*)(struct dm_target *ti , struct bvec_merge_data *bvm , struct bio_vec *biovec ,
4267 int max_size ))0, (int (*)(struct dm_target *ti ))0, (int (*)(struct dm_target *ti ,
4268 int (*fn)(struct dm_target *ti ,
4269 struct dm_dev *dev ,
4270 sector_t start ,
4271 sector_t len ,
4272 void *data ) ,
4273 void *data ))0,
4274 (void (*)(struct dm_target *ti , struct queue_limits *limits ))0, {(struct list_head *)0,
4275 (struct list_head *)0}};
4276#line 66
4277static int dm_zero_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4278#line 66 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4279static int dm_zero_init(void)
4280{ int r ;
4281 int tmp___7 ;
4282
4283 {
4284 {
4285#line 68
4286 tmp___7 = dm_register_target(& zero_target);
4287#line 68
4288 r = tmp___7;
4289 }
4290#line 70
4291 if (r < 0) {
4292 {
4293#line 71
4294 printk("<3>device-mapper: zero: register failed %d\n", r);
4295 }
4296 } else {
4297
4298 }
4299#line 73
4300 return (r);
4301}
4302}
4303#line 76
4304static void dm_zero_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
4305#line 76 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4306static void dm_zero_exit(void)
4307{
4308
4309 {
4310 {
4311#line 78
4312 dm_unregister_target(& zero_target);
4313 }
4314#line 79
4315 return;
4316}
4317}
4318#line 81 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4319int init_module(void)
4320{ int tmp___7 ;
4321
4322 {
4323 {
4324#line 81
4325 tmp___7 = dm_zero_init();
4326 }
4327#line 81
4328 return (tmp___7);
4329}
4330}
4331#line 82 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4332void cleanup_module(void)
4333{
4334
4335 {
4336 {
4337#line 82
4338 dm_zero_exit();
4339 }
4340#line 82
4341 return;
4342}
4343}
4344#line 84 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4345static char const __mod_author84[46] __attribute__((__used__, __unused__, __section__(".modinfo"),
4346__aligned__(1))) =
4347#line 84
4348 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4349 (char const )'o', (char const )'r', (char const )'=', (char const )'C',
4350 (char const )'h', (char const )'r', (char const )'i', (char const )'s',
4351 (char const )'t', (char const )'o', (char const )'p', (char const )'h',
4352 (char const )'e', (char const )' ', (char const )'S', (char const )'a',
4353 (char const )'o', (char const )'u', (char const )'t', (char const )' ',
4354 (char const )'<', (char const )'c', (char const )'h', (char const )'r',
4355 (char const )'i', (char const )'s', (char const )'t', (char const )'o',
4356 (char const )'p', (char const )'h', (char const )'e', (char const )'@',
4357 (char const )'s', (char const )'a', (char const )'o', (char const )'u',
4358 (char const )'t', (char const )'.', (char const )'d', (char const )'e',
4359 (char const )'>', (char const )'\000'};
4360#line 85 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4361static char const __mod_description85[55] __attribute__((__used__, __unused__,
4362__section__(".modinfo"), __aligned__(1))) =
4363#line 85
4364 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4365 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4366 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4367 (char const )'d', (char const )'e', (char const )'v', (char const )'i',
4368 (char const )'c', (char const )'e', (char const )'-', (char const )'m',
4369 (char const )'a', (char const )'p', (char const )'p', (char const )'e',
4370 (char const )'r', (char const )' ', (char const )'d', (char const )'u',
4371 (char const )'m', (char const )'m', (char const )'y', (char const )' ',
4372 (char const )'t', (char const )'a', (char const )'r', (char const )'g',
4373 (char const )'e', (char const )'t', (char const )' ', (char const )'r',
4374 (char const )'e', (char const )'t', (char const )'u', (char const )'r',
4375 (char const )'n', (char const )'i', (char const )'n', (char const )'g',
4376 (char const )' ', (char const )'z', (char const )'e', (char const )'r',
4377 (char const )'o', (char const )'s', (char const )'\000'};
4378#line 86 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4379static char const __mod_license86[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4380__aligned__(1))) =
4381#line 86
4382 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4383 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4384 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4385#line 104
4386void ldv_check_final_state(void) ;
4387#line 110
4388extern void ldv_initialize(void) ;
4389#line 113
4390extern int __VERIFIER_nondet_int(void) ;
4391#line 116 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4392int LDV_IN_INTERRUPT ;
4393#line 119 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4394void main(void)
4395{ struct dm_target *var_group1 ;
4396 unsigned int var_zero_ctr_0_p1 ;
4397 char **var_zero_ctr_0_p2 ;
4398 struct bio *var_group2 ;
4399 union map_info *var_zero_map_1_p2 ;
4400 int tmp___7 ;
4401 int tmp___8 ;
4402 int tmp___9 ;
4403
4404 {
4405 {
4406#line 151
4407 LDV_IN_INTERRUPT = 1;
4408#line 160
4409 ldv_initialize();
4410#line 168
4411 tmp___7 = dm_zero_init();
4412 }
4413#line 168
4414 if (tmp___7) {
4415#line 169
4416 goto ldv_final;
4417 } else {
4418
4419 }
4420 {
4421#line 173
4422 while (1) {
4423 while_continue: ;
4424 {
4425#line 173
4426 tmp___9 = __VERIFIER_nondet_int();
4427 }
4428#line 173
4429 if (tmp___9) {
4430
4431 } else {
4432#line 173
4433 goto while_break;
4434 }
4435 {
4436#line 176
4437 tmp___8 = __VERIFIER_nondet_int();
4438 }
4439#line 178
4440 if (tmp___8 == 0) {
4441#line 178
4442 goto case_0;
4443 } else
4444#line 196
4445 if (tmp___8 == 1) {
4446#line 196
4447 goto case_1;
4448 } else {
4449 {
4450#line 214
4451 goto switch_default;
4452#line 176
4453 if (0) {
4454 case_0:
4455 {
4456#line 188
4457 zero_ctr(var_group1, var_zero_ctr_0_p1, var_zero_ctr_0_p2);
4458 }
4459#line 195
4460 goto switch_break;
4461 case_1:
4462 {
4463#line 206
4464 zero_map(var_group1, var_group2, var_zero_map_1_p2);
4465 }
4466#line 213
4467 goto switch_break;
4468 switch_default:
4469#line 214
4470 goto switch_break;
4471 } else {
4472 switch_break: ;
4473 }
4474 }
4475 }
4476 }
4477 while_break: ;
4478 }
4479 {
4480#line 228
4481 dm_zero_exit();
4482 }
4483 ldv_final:
4484 {
4485#line 231
4486 ldv_check_final_state();
4487 }
4488#line 234
4489 return;
4490}
4491}
4492#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4493void ldv_blast_assert(void)
4494{
4495
4496 {
4497 ERROR:
4498#line 6
4499 goto ERROR;
4500}
4501}
4502#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4503extern int __VERIFIER_nondet_int(void) ;
4504#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4505int ldv_mutex = 1;
4506#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4507int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4508{ int nondetermined ;
4509
4510 {
4511#line 29
4512 if (ldv_mutex == 1) {
4513
4514 } else {
4515 {
4516#line 29
4517 ldv_blast_assert();
4518 }
4519 }
4520 {
4521#line 32
4522 nondetermined = __VERIFIER_nondet_int();
4523 }
4524#line 35
4525 if (nondetermined) {
4526#line 38
4527 ldv_mutex = 2;
4528#line 40
4529 return (0);
4530 } else {
4531#line 45
4532 return (-4);
4533 }
4534}
4535}
4536#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4537int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4538{ int nondetermined ;
4539
4540 {
4541#line 57
4542 if (ldv_mutex == 1) {
4543
4544 } else {
4545 {
4546#line 57
4547 ldv_blast_assert();
4548 }
4549 }
4550 {
4551#line 60
4552 nondetermined = __VERIFIER_nondet_int();
4553 }
4554#line 63
4555 if (nondetermined) {
4556#line 66
4557 ldv_mutex = 2;
4558#line 68
4559 return (0);
4560 } else {
4561#line 73
4562 return (-4);
4563 }
4564}
4565}
4566#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4567int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4568{ int atomic_value_after_dec ;
4569
4570 {
4571#line 83
4572 if (ldv_mutex == 1) {
4573
4574 } else {
4575 {
4576#line 83
4577 ldv_blast_assert();
4578 }
4579 }
4580 {
4581#line 86
4582 atomic_value_after_dec = __VERIFIER_nondet_int();
4583 }
4584#line 89
4585 if (atomic_value_after_dec == 0) {
4586#line 92
4587 ldv_mutex = 2;
4588#line 94
4589 return (1);
4590 } else {
4591
4592 }
4593#line 98
4594 return (0);
4595}
4596}
4597#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4598void mutex_lock(struct mutex *lock )
4599{
4600
4601 {
4602#line 108
4603 if (ldv_mutex == 1) {
4604
4605 } else {
4606 {
4607#line 108
4608 ldv_blast_assert();
4609 }
4610 }
4611#line 110
4612 ldv_mutex = 2;
4613#line 111
4614 return;
4615}
4616}
4617#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4618int mutex_trylock(struct mutex *lock )
4619{ int nondetermined ;
4620
4621 {
4622#line 121
4623 if (ldv_mutex == 1) {
4624
4625 } else {
4626 {
4627#line 121
4628 ldv_blast_assert();
4629 }
4630 }
4631 {
4632#line 124
4633 nondetermined = __VERIFIER_nondet_int();
4634 }
4635#line 127
4636 if (nondetermined) {
4637#line 130
4638 ldv_mutex = 2;
4639#line 132
4640 return (1);
4641 } else {
4642#line 137
4643 return (0);
4644 }
4645}
4646}
4647#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4648void mutex_unlock(struct mutex *lock )
4649{
4650
4651 {
4652#line 147
4653 if (ldv_mutex == 2) {
4654
4655 } else {
4656 {
4657#line 147
4658 ldv_blast_assert();
4659 }
4660 }
4661#line 149
4662 ldv_mutex = 1;
4663#line 150
4664 return;
4665}
4666}
4667#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4668void ldv_check_final_state(void)
4669{
4670
4671 {
4672#line 156
4673 if (ldv_mutex == 1) {
4674
4675 } else {
4676 {
4677#line 156
4678 ldv_blast_assert();
4679 }
4680 }
4681#line 157
4682 return;
4683}
4684}
4685#line 243 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4705/dscv_tempdir/dscv/ri/32_1/drivers/md/dm-zero.c.common.c"
4686long s__builtin_expect(long val , long res )
4687{
4688
4689 {
4690#line 244
4691 return (val);
4692}
4693}