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