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