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