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