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