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