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 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
232typedef unsigned long pgdval_t;
233#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
234typedef unsigned long pgprotval_t;
235#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
236struct pgprot {
237 pgprotval_t pgprot ;
238};
239#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
240typedef struct pgprot pgprot_t;
241#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
242struct __anonstruct_pgd_t_16 {
243 pgdval_t pgd ;
244};
245#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
246typedef struct __anonstruct_pgd_t_16 pgd_t;
247#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
248typedef struct page *pgtable_t;
249#line 290
250struct file;
251#line 290
252struct file;
253#line 305
254struct seq_file;
255#line 305
256struct seq_file;
257#line 337
258struct thread_struct;
259#line 337
260struct thread_struct;
261#line 339
262struct cpumask;
263#line 339
264struct cpumask;
265#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
266struct arch_spinlock;
267#line 327
268struct arch_spinlock;
269#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
270struct kernel_vm86_regs {
271 struct pt_regs pt ;
272 unsigned short es ;
273 unsigned short __esh ;
274 unsigned short ds ;
275 unsigned short __dsh ;
276 unsigned short fs ;
277 unsigned short __fsh ;
278 unsigned short gs ;
279 unsigned short __gsh ;
280};
281#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
282union __anonunion_ldv_2824_19 {
283 struct pt_regs *regs ;
284 struct kernel_vm86_regs *vm86 ;
285};
286#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
287struct math_emu_info {
288 long ___orig_eip ;
289 union __anonunion_ldv_2824_19 ldv_2824 ;
290};
291#line 306 "include/linux/bitmap.h"
292struct bug_entry {
293 int bug_addr_disp ;
294 int file_disp ;
295 unsigned short line ;
296 unsigned short flags ;
297};
298#line 89 "include/linux/bug.h"
299struct cpumask {
300 unsigned long bits[64U] ;
301};
302#line 14 "include/linux/cpumask.h"
303typedef struct cpumask cpumask_t;
304#line 637 "include/linux/cpumask.h"
305typedef struct cpumask *cpumask_var_t;
306#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
307struct static_key;
308#line 234
309struct static_key;
310#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
311struct i387_fsave_struct {
312 u32 cwd ;
313 u32 swd ;
314 u32 twd ;
315 u32 fip ;
316 u32 fcs ;
317 u32 foo ;
318 u32 fos ;
319 u32 st_space[20U] ;
320 u32 status ;
321};
322#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
323struct __anonstruct_ldv_5180_24 {
324 u64 rip ;
325 u64 rdp ;
326};
327#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
328struct __anonstruct_ldv_5186_25 {
329 u32 fip ;
330 u32 fcs ;
331 u32 foo ;
332 u32 fos ;
333};
334#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
335union __anonunion_ldv_5187_23 {
336 struct __anonstruct_ldv_5180_24 ldv_5180 ;
337 struct __anonstruct_ldv_5186_25 ldv_5186 ;
338};
339#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
340union __anonunion_ldv_5196_26 {
341 u32 padding1[12U] ;
342 u32 sw_reserved[12U] ;
343};
344#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
345struct i387_fxsave_struct {
346 u16 cwd ;
347 u16 swd ;
348 u16 twd ;
349 u16 fop ;
350 union __anonunion_ldv_5187_23 ldv_5187 ;
351 u32 mxcsr ;
352 u32 mxcsr_mask ;
353 u32 st_space[32U] ;
354 u32 xmm_space[64U] ;
355 u32 padding[12U] ;
356 union __anonunion_ldv_5196_26 ldv_5196 ;
357};
358#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
359struct i387_soft_struct {
360 u32 cwd ;
361 u32 swd ;
362 u32 twd ;
363 u32 fip ;
364 u32 fcs ;
365 u32 foo ;
366 u32 fos ;
367 u32 st_space[20U] ;
368 u8 ftop ;
369 u8 changed ;
370 u8 lookahead ;
371 u8 no_update ;
372 u8 rm ;
373 u8 alimit ;
374 struct math_emu_info *info ;
375 u32 entry_eip ;
376};
377#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
378struct ymmh_struct {
379 u32 ymmh_space[64U] ;
380};
381#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
382struct xsave_hdr_struct {
383 u64 xstate_bv ;
384 u64 reserved1[2U] ;
385 u64 reserved2[5U] ;
386};
387#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
388struct xsave_struct {
389 struct i387_fxsave_struct i387 ;
390 struct xsave_hdr_struct xsave_hdr ;
391 struct ymmh_struct ymmh ;
392};
393#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
394union thread_xstate {
395 struct i387_fsave_struct fsave ;
396 struct i387_fxsave_struct fxsave ;
397 struct i387_soft_struct soft ;
398 struct xsave_struct xsave ;
399};
400#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
401struct fpu {
402 unsigned int last_cpu ;
403 unsigned int has_fpu ;
404 union thread_xstate *state ;
405};
406#line 433
407struct kmem_cache;
408#line 434
409struct perf_event;
410#line 434
411struct perf_event;
412#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
413struct thread_struct {
414 struct desc_struct tls_array[3U] ;
415 unsigned long sp0 ;
416 unsigned long sp ;
417 unsigned long usersp ;
418 unsigned short es ;
419 unsigned short ds ;
420 unsigned short fsindex ;
421 unsigned short gsindex ;
422 unsigned long fs ;
423 unsigned long gs ;
424 struct perf_event *ptrace_bps[4U] ;
425 unsigned long debugreg6 ;
426 unsigned long ptrace_dr7 ;
427 unsigned long cr2 ;
428 unsigned long trap_nr ;
429 unsigned long error_code ;
430 struct fpu fpu ;
431 unsigned long *io_bitmap_ptr ;
432 unsigned long iopl ;
433 unsigned int io_bitmap_max ;
434};
435#line 23 "include/asm-generic/atomic-long.h"
436typedef atomic64_t atomic_long_t;
437#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
438typedef u16 __ticket_t;
439#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
440typedef u32 __ticketpair_t;
441#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
442struct __raw_tickets {
443 __ticket_t head ;
444 __ticket_t tail ;
445};
446#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
447union __anonunion_ldv_5907_29 {
448 __ticketpair_t head_tail ;
449 struct __raw_tickets tickets ;
450};
451#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
452struct arch_spinlock {
453 union __anonunion_ldv_5907_29 ldv_5907 ;
454};
455#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
456typedef struct arch_spinlock arch_spinlock_t;
457#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
458struct __anonstruct_ldv_5914_31 {
459 u32 read ;
460 s32 write ;
461};
462#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
463union __anonunion_arch_rwlock_t_30 {
464 s64 lock ;
465 struct __anonstruct_ldv_5914_31 ldv_5914 ;
466};
467#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
468typedef union __anonunion_arch_rwlock_t_30 arch_rwlock_t;
469#line 34
470struct lockdep_map;
471#line 34
472struct lockdep_map;
473#line 55 "include/linux/debug_locks.h"
474struct stack_trace {
475 unsigned int nr_entries ;
476 unsigned int max_entries ;
477 unsigned long *entries ;
478 int skip ;
479};
480#line 26 "include/linux/stacktrace.h"
481struct lockdep_subclass_key {
482 char __one_byte ;
483};
484#line 53 "include/linux/lockdep.h"
485struct lock_class_key {
486 struct lockdep_subclass_key subkeys[8U] ;
487};
488#line 59 "include/linux/lockdep.h"
489struct lock_class {
490 struct list_head hash_entry ;
491 struct list_head lock_entry ;
492 struct lockdep_subclass_key *key ;
493 unsigned int subclass ;
494 unsigned int dep_gen_id ;
495 unsigned long usage_mask ;
496 struct stack_trace usage_traces[13U] ;
497 struct list_head locks_after ;
498 struct list_head locks_before ;
499 unsigned int version ;
500 unsigned long ops ;
501 char const *name ;
502 int name_version ;
503 unsigned long contention_point[4U] ;
504 unsigned long contending_point[4U] ;
505};
506#line 144 "include/linux/lockdep.h"
507struct lockdep_map {
508 struct lock_class_key *key ;
509 struct lock_class *class_cache[2U] ;
510 char const *name ;
511 int cpu ;
512 unsigned long ip ;
513};
514#line 187 "include/linux/lockdep.h"
515struct held_lock {
516 u64 prev_chain_key ;
517 unsigned long acquire_ip ;
518 struct lockdep_map *instance ;
519 struct lockdep_map *nest_lock ;
520 u64 waittime_stamp ;
521 u64 holdtime_stamp ;
522 unsigned short class_idx : 13 ;
523 unsigned char irq_context : 2 ;
524 unsigned char trylock : 1 ;
525 unsigned char read : 2 ;
526 unsigned char check : 2 ;
527 unsigned char hardirqs_off : 1 ;
528 unsigned short references : 11 ;
529};
530#line 556 "include/linux/lockdep.h"
531struct raw_spinlock {
532 arch_spinlock_t raw_lock ;
533 unsigned int magic ;
534 unsigned int owner_cpu ;
535 void *owner ;
536 struct lockdep_map dep_map ;
537};
538#line 32 "include/linux/spinlock_types.h"
539typedef struct raw_spinlock raw_spinlock_t;
540#line 33 "include/linux/spinlock_types.h"
541struct __anonstruct_ldv_6122_33 {
542 u8 __padding[24U] ;
543 struct lockdep_map dep_map ;
544};
545#line 33 "include/linux/spinlock_types.h"
546union __anonunion_ldv_6123_32 {
547 struct raw_spinlock rlock ;
548 struct __anonstruct_ldv_6122_33 ldv_6122 ;
549};
550#line 33 "include/linux/spinlock_types.h"
551struct spinlock {
552 union __anonunion_ldv_6123_32 ldv_6123 ;
553};
554#line 76 "include/linux/spinlock_types.h"
555typedef struct spinlock spinlock_t;
556#line 23 "include/linux/rwlock_types.h"
557struct __anonstruct_rwlock_t_34 {
558 arch_rwlock_t raw_lock ;
559 unsigned int magic ;
560 unsigned int owner_cpu ;
561 void *owner ;
562 struct lockdep_map dep_map ;
563};
564#line 23 "include/linux/rwlock_types.h"
565typedef struct __anonstruct_rwlock_t_34 rwlock_t;
566#line 110 "include/linux/seqlock.h"
567struct seqcount {
568 unsigned int sequence ;
569};
570#line 121 "include/linux/seqlock.h"
571typedef struct seqcount seqcount_t;
572#line 254 "include/linux/seqlock.h"
573struct timespec {
574 __kernel_time_t tv_sec ;
575 long tv_nsec ;
576};
577#line 286 "include/linux/time.h"
578struct kstat {
579 u64 ino ;
580 dev_t dev ;
581 umode_t mode ;
582 unsigned int nlink ;
583 uid_t uid ;
584 gid_t gid ;
585 dev_t rdev ;
586 loff_t size ;
587 struct timespec atime ;
588 struct timespec mtime ;
589 struct timespec ctime ;
590 unsigned long blksize ;
591 unsigned long long blocks ;
592};
593#line 48 "include/linux/wait.h"
594struct __wait_queue_head {
595 spinlock_t lock ;
596 struct list_head task_list ;
597};
598#line 53 "include/linux/wait.h"
599typedef struct __wait_queue_head wait_queue_head_t;
600#line 98 "include/linux/nodemask.h"
601struct __anonstruct_nodemask_t_36 {
602 unsigned long bits[16U] ;
603};
604#line 98 "include/linux/nodemask.h"
605typedef struct __anonstruct_nodemask_t_36 nodemask_t;
606#line 670 "include/linux/mmzone.h"
607struct mutex {
608 atomic_t count ;
609 spinlock_t wait_lock ;
610 struct list_head wait_list ;
611 struct task_struct *owner ;
612 char const *name ;
613 void *magic ;
614 struct lockdep_map dep_map ;
615};
616#line 63 "include/linux/mutex.h"
617struct mutex_waiter {
618 struct list_head list ;
619 struct task_struct *task ;
620 void *magic ;
621};
622#line 171
623struct rw_semaphore;
624#line 171
625struct rw_semaphore;
626#line 172 "include/linux/mutex.h"
627struct rw_semaphore {
628 long count ;
629 raw_spinlock_t wait_lock ;
630 struct list_head wait_list ;
631 struct lockdep_map dep_map ;
632};
633#line 128 "include/linux/rwsem.h"
634struct completion {
635 unsigned int done ;
636 wait_queue_head_t wait ;
637};
638#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/e820.h"
639struct resource {
640 resource_size_t start ;
641 resource_size_t end ;
642 char const *name ;
643 unsigned long flags ;
644 struct resource *parent ;
645 struct resource *sibling ;
646 struct resource *child ;
647};
648#line 181 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
649struct pci_dev;
650#line 181
651struct pci_dev;
652#line 312 "include/linux/jiffies.h"
653union ktime {
654 s64 tv64 ;
655};
656#line 59 "include/linux/ktime.h"
657typedef union ktime ktime_t;
658#line 341
659struct tvec_base;
660#line 341
661struct tvec_base;
662#line 342 "include/linux/ktime.h"
663struct timer_list {
664 struct list_head entry ;
665 unsigned long expires ;
666 struct tvec_base *base ;
667 void (*function)(unsigned long ) ;
668 unsigned long data ;
669 int slack ;
670 int start_pid ;
671 void *start_site ;
672 char start_comm[16U] ;
673 struct lockdep_map lockdep_map ;
674};
675#line 289 "include/linux/timer.h"
676struct hrtimer;
677#line 289
678struct hrtimer;
679#line 290
680enum hrtimer_restart;
681#line 302
682struct work_struct;
683#line 302
684struct work_struct;
685#line 45 "include/linux/workqueue.h"
686struct work_struct {
687 atomic_long_t data ;
688 struct list_head entry ;
689 void (*func)(struct work_struct * ) ;
690 struct lockdep_map lockdep_map ;
691};
692#line 86 "include/linux/workqueue.h"
693struct delayed_work {
694 struct work_struct work ;
695 struct timer_list timer ;
696};
697#line 46 "include/linux/pm.h"
698struct pm_message {
699 int event ;
700};
701#line 52 "include/linux/pm.h"
702typedef struct pm_message pm_message_t;
703#line 53 "include/linux/pm.h"
704struct dev_pm_ops {
705 int (*prepare)(struct device * ) ;
706 void (*complete)(struct device * ) ;
707 int (*suspend)(struct device * ) ;
708 int (*resume)(struct device * ) ;
709 int (*freeze)(struct device * ) ;
710 int (*thaw)(struct device * ) ;
711 int (*poweroff)(struct device * ) ;
712 int (*restore)(struct device * ) ;
713 int (*suspend_late)(struct device * ) ;
714 int (*resume_early)(struct device * ) ;
715 int (*freeze_late)(struct device * ) ;
716 int (*thaw_early)(struct device * ) ;
717 int (*poweroff_late)(struct device * ) ;
718 int (*restore_early)(struct device * ) ;
719 int (*suspend_noirq)(struct device * ) ;
720 int (*resume_noirq)(struct device * ) ;
721 int (*freeze_noirq)(struct device * ) ;
722 int (*thaw_noirq)(struct device * ) ;
723 int (*poweroff_noirq)(struct device * ) ;
724 int (*restore_noirq)(struct device * ) ;
725 int (*runtime_suspend)(struct device * ) ;
726 int (*runtime_resume)(struct device * ) ;
727 int (*runtime_idle)(struct device * ) ;
728};
729#line 289
730enum rpm_status {
731 RPM_ACTIVE = 0,
732 RPM_RESUMING = 1,
733 RPM_SUSPENDED = 2,
734 RPM_SUSPENDING = 3
735} ;
736#line 296
737enum rpm_request {
738 RPM_REQ_NONE = 0,
739 RPM_REQ_IDLE = 1,
740 RPM_REQ_SUSPEND = 2,
741 RPM_REQ_AUTOSUSPEND = 3,
742 RPM_REQ_RESUME = 4
743} ;
744#line 304
745struct wakeup_source;
746#line 304
747struct wakeup_source;
748#line 494 "include/linux/pm.h"
749struct pm_subsys_data {
750 spinlock_t lock ;
751 unsigned int refcount ;
752};
753#line 499
754struct dev_pm_qos_request;
755#line 499
756struct pm_qos_constraints;
757#line 499 "include/linux/pm.h"
758struct dev_pm_info {
759 pm_message_t power_state ;
760 unsigned char can_wakeup : 1 ;
761 unsigned char async_suspend : 1 ;
762 bool is_prepared ;
763 bool is_suspended ;
764 bool ignore_children ;
765 spinlock_t lock ;
766 struct list_head entry ;
767 struct completion completion ;
768 struct wakeup_source *wakeup ;
769 bool wakeup_path ;
770 struct timer_list suspend_timer ;
771 unsigned long timer_expires ;
772 struct work_struct work ;
773 wait_queue_head_t wait_queue ;
774 atomic_t usage_count ;
775 atomic_t child_count ;
776 unsigned char disable_depth : 3 ;
777 unsigned char idle_notification : 1 ;
778 unsigned char request_pending : 1 ;
779 unsigned char deferred_resume : 1 ;
780 unsigned char run_wake : 1 ;
781 unsigned char runtime_auto : 1 ;
782 unsigned char no_callbacks : 1 ;
783 unsigned char irq_safe : 1 ;
784 unsigned char use_autosuspend : 1 ;
785 unsigned char timer_autosuspends : 1 ;
786 enum rpm_request request ;
787 enum rpm_status runtime_status ;
788 int runtime_error ;
789 int autosuspend_delay ;
790 unsigned long last_busy ;
791 unsigned long active_jiffies ;
792 unsigned long suspended_jiffies ;
793 unsigned long accounting_timestamp ;
794 ktime_t suspend_time ;
795 s64 max_time_suspended_ns ;
796 struct dev_pm_qos_request *pq_req ;
797 struct pm_subsys_data *subsys_data ;
798 struct pm_qos_constraints *constraints ;
799};
800#line 558 "include/linux/pm.h"
801struct dev_pm_domain {
802 struct dev_pm_ops ops ;
803};
804#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/topology.h"
805struct pci_bus;
806#line 173
807struct pci_bus;
808#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
809struct __anonstruct_mm_context_t_101 {
810 void *ldt ;
811 int size ;
812 unsigned short ia32_compat ;
813 struct mutex lock ;
814 void *vdso ;
815};
816#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
817typedef struct __anonstruct_mm_context_t_101 mm_context_t;
818#line 18 "include/asm-generic/pci_iomap.h"
819struct vm_area_struct;
820#line 18
821struct vm_area_struct;
822#line 835 "include/linux/sysctl.h"
823struct rb_node {
824 unsigned long rb_parent_color ;
825 struct rb_node *rb_right ;
826 struct rb_node *rb_left ;
827};
828#line 108 "include/linux/rbtree.h"
829struct rb_root {
830 struct rb_node *rb_node ;
831};
832#line 176
833struct nsproxy;
834#line 176
835struct nsproxy;
836#line 37 "include/linux/kmod.h"
837struct cred;
838#line 37
839struct cred;
840#line 18 "include/linux/elf.h"
841typedef __u64 Elf64_Addr;
842#line 19 "include/linux/elf.h"
843typedef __u16 Elf64_Half;
844#line 23 "include/linux/elf.h"
845typedef __u32 Elf64_Word;
846#line 24 "include/linux/elf.h"
847typedef __u64 Elf64_Xword;
848#line 193 "include/linux/elf.h"
849struct elf64_sym {
850 Elf64_Word st_name ;
851 unsigned char st_info ;
852 unsigned char st_other ;
853 Elf64_Half st_shndx ;
854 Elf64_Addr st_value ;
855 Elf64_Xword st_size ;
856};
857#line 201 "include/linux/elf.h"
858typedef struct elf64_sym Elf64_Sym;
859#line 445
860struct sock;
861#line 445
862struct sock;
863#line 446
864struct kobject;
865#line 446
866struct kobject;
867#line 447
868enum kobj_ns_type {
869 KOBJ_NS_TYPE_NONE = 0,
870 KOBJ_NS_TYPE_NET = 1,
871 KOBJ_NS_TYPES = 2
872} ;
873#line 453 "include/linux/elf.h"
874struct kobj_ns_type_operations {
875 enum kobj_ns_type type ;
876 void *(*grab_current_ns)(void) ;
877 void const *(*netlink_ns)(struct sock * ) ;
878 void const *(*initial_ns)(void) ;
879 void (*drop_ns)(void * ) ;
880};
881#line 57 "include/linux/kobject_ns.h"
882struct attribute {
883 char const *name ;
884 umode_t mode ;
885 struct lock_class_key *key ;
886 struct lock_class_key skey ;
887};
888#line 33 "include/linux/sysfs.h"
889struct attribute_group {
890 char const *name ;
891 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
892 struct attribute **attrs ;
893};
894#line 62 "include/linux/sysfs.h"
895struct bin_attribute {
896 struct attribute attr ;
897 size_t size ;
898 void *private ;
899 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
900 loff_t , size_t ) ;
901 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
902 loff_t , size_t ) ;
903 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
904};
905#line 98 "include/linux/sysfs.h"
906struct sysfs_ops {
907 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
908 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
909 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
910};
911#line 117
912struct sysfs_dirent;
913#line 117
914struct sysfs_dirent;
915#line 182 "include/linux/sysfs.h"
916struct kref {
917 atomic_t refcount ;
918};
919#line 49 "include/linux/kobject.h"
920struct kset;
921#line 49
922struct kobj_type;
923#line 49 "include/linux/kobject.h"
924struct kobject {
925 char const *name ;
926 struct list_head entry ;
927 struct kobject *parent ;
928 struct kset *kset ;
929 struct kobj_type *ktype ;
930 struct sysfs_dirent *sd ;
931 struct kref kref ;
932 unsigned char state_initialized : 1 ;
933 unsigned char state_in_sysfs : 1 ;
934 unsigned char state_add_uevent_sent : 1 ;
935 unsigned char state_remove_uevent_sent : 1 ;
936 unsigned char uevent_suppress : 1 ;
937};
938#line 107 "include/linux/kobject.h"
939struct kobj_type {
940 void (*release)(struct kobject * ) ;
941 struct sysfs_ops const *sysfs_ops ;
942 struct attribute **default_attrs ;
943 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
944 void const *(*namespace)(struct kobject * ) ;
945};
946#line 115 "include/linux/kobject.h"
947struct kobj_uevent_env {
948 char *envp[32U] ;
949 int envp_idx ;
950 char buf[2048U] ;
951 int buflen ;
952};
953#line 122 "include/linux/kobject.h"
954struct kset_uevent_ops {
955 int (* const filter)(struct kset * , struct kobject * ) ;
956 char const *(* const name)(struct kset * , struct kobject * ) ;
957 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
958};
959#line 139 "include/linux/kobject.h"
960struct kset {
961 struct list_head list ;
962 spinlock_t list_lock ;
963 struct kobject kobj ;
964 struct kset_uevent_ops const *uevent_ops ;
965};
966#line 215
967struct kernel_param;
968#line 215
969struct kernel_param;
970#line 216 "include/linux/kobject.h"
971struct kernel_param_ops {
972 int (*set)(char const * , struct kernel_param const * ) ;
973 int (*get)(char * , struct kernel_param const * ) ;
974 void (*free)(void * ) ;
975};
976#line 49 "include/linux/moduleparam.h"
977struct kparam_string;
978#line 49
979struct kparam_array;
980#line 49 "include/linux/moduleparam.h"
981union __anonunion_ldv_13363_134 {
982 void *arg ;
983 struct kparam_string const *str ;
984 struct kparam_array const *arr ;
985};
986#line 49 "include/linux/moduleparam.h"
987struct kernel_param {
988 char const *name ;
989 struct kernel_param_ops const *ops ;
990 u16 perm ;
991 s16 level ;
992 union __anonunion_ldv_13363_134 ldv_13363 ;
993};
994#line 61 "include/linux/moduleparam.h"
995struct kparam_string {
996 unsigned int maxlen ;
997 char *string ;
998};
999#line 67 "include/linux/moduleparam.h"
1000struct kparam_array {
1001 unsigned int max ;
1002 unsigned int elemsize ;
1003 unsigned int *num ;
1004 struct kernel_param_ops const *ops ;
1005 void *elem ;
1006};
1007#line 458 "include/linux/moduleparam.h"
1008struct static_key {
1009 atomic_t enabled ;
1010};
1011#line 225 "include/linux/jump_label.h"
1012struct tracepoint;
1013#line 225
1014struct tracepoint;
1015#line 226 "include/linux/jump_label.h"
1016struct tracepoint_func {
1017 void *func ;
1018 void *data ;
1019};
1020#line 29 "include/linux/tracepoint.h"
1021struct tracepoint {
1022 char const *name ;
1023 struct static_key key ;
1024 void (*regfunc)(void) ;
1025 void (*unregfunc)(void) ;
1026 struct tracepoint_func *funcs ;
1027};
1028#line 86 "include/linux/tracepoint.h"
1029struct kernel_symbol {
1030 unsigned long value ;
1031 char const *name ;
1032};
1033#line 27 "include/linux/export.h"
1034struct mod_arch_specific {
1035
1036};
1037#line 34 "include/linux/module.h"
1038struct module_param_attrs;
1039#line 34 "include/linux/module.h"
1040struct module_kobject {
1041 struct kobject kobj ;
1042 struct module *mod ;
1043 struct kobject *drivers_dir ;
1044 struct module_param_attrs *mp ;
1045};
1046#line 43 "include/linux/module.h"
1047struct module_attribute {
1048 struct attribute attr ;
1049 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1050 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1051 size_t ) ;
1052 void (*setup)(struct module * , char const * ) ;
1053 int (*test)(struct module * ) ;
1054 void (*free)(struct module * ) ;
1055};
1056#line 69
1057struct exception_table_entry;
1058#line 69
1059struct exception_table_entry;
1060#line 198
1061enum module_state {
1062 MODULE_STATE_LIVE = 0,
1063 MODULE_STATE_COMING = 1,
1064 MODULE_STATE_GOING = 2
1065} ;
1066#line 204 "include/linux/module.h"
1067struct module_ref {
1068 unsigned long incs ;
1069 unsigned long decs ;
1070};
1071#line 219
1072struct module_sect_attrs;
1073#line 219
1074struct module_notes_attrs;
1075#line 219
1076struct ftrace_event_call;
1077#line 219 "include/linux/module.h"
1078struct module {
1079 enum module_state state ;
1080 struct list_head list ;
1081 char name[56U] ;
1082 struct module_kobject mkobj ;
1083 struct module_attribute *modinfo_attrs ;
1084 char const *version ;
1085 char const *srcversion ;
1086 struct kobject *holders_dir ;
1087 struct kernel_symbol const *syms ;
1088 unsigned long const *crcs ;
1089 unsigned int num_syms ;
1090 struct kernel_param *kp ;
1091 unsigned int num_kp ;
1092 unsigned int num_gpl_syms ;
1093 struct kernel_symbol const *gpl_syms ;
1094 unsigned long const *gpl_crcs ;
1095 struct kernel_symbol const *unused_syms ;
1096 unsigned long const *unused_crcs ;
1097 unsigned int num_unused_syms ;
1098 unsigned int num_unused_gpl_syms ;
1099 struct kernel_symbol const *unused_gpl_syms ;
1100 unsigned long const *unused_gpl_crcs ;
1101 struct kernel_symbol const *gpl_future_syms ;
1102 unsigned long const *gpl_future_crcs ;
1103 unsigned int num_gpl_future_syms ;
1104 unsigned int num_exentries ;
1105 struct exception_table_entry *extable ;
1106 int (*init)(void) ;
1107 void *module_init ;
1108 void *module_core ;
1109 unsigned int init_size ;
1110 unsigned int core_size ;
1111 unsigned int init_text_size ;
1112 unsigned int core_text_size ;
1113 unsigned int init_ro_size ;
1114 unsigned int core_ro_size ;
1115 struct mod_arch_specific arch ;
1116 unsigned int taints ;
1117 unsigned int num_bugs ;
1118 struct list_head bug_list ;
1119 struct bug_entry *bug_table ;
1120 Elf64_Sym *symtab ;
1121 Elf64_Sym *core_symtab ;
1122 unsigned int num_symtab ;
1123 unsigned int core_num_syms ;
1124 char *strtab ;
1125 char *core_strtab ;
1126 struct module_sect_attrs *sect_attrs ;
1127 struct module_notes_attrs *notes_attrs ;
1128 char *args ;
1129 void *percpu ;
1130 unsigned int percpu_size ;
1131 unsigned int num_tracepoints ;
1132 struct tracepoint * const *tracepoints_ptrs ;
1133 unsigned int num_trace_bprintk_fmt ;
1134 char const **trace_bprintk_fmt_start ;
1135 struct ftrace_event_call **trace_events ;
1136 unsigned int num_trace_events ;
1137 struct list_head source_list ;
1138 struct list_head target_list ;
1139 struct task_struct *waiter ;
1140 void (*exit)(void) ;
1141 struct module_ref *refptr ;
1142 ctor_fn_t (**ctors)(void) ;
1143 unsigned int num_ctors ;
1144};
1145#line 88 "include/linux/kmemleak.h"
1146struct kmem_cache_cpu {
1147 void **freelist ;
1148 unsigned long tid ;
1149 struct page *page ;
1150 struct page *partial ;
1151 int node ;
1152 unsigned int stat[26U] ;
1153};
1154#line 55 "include/linux/slub_def.h"
1155struct kmem_cache_node {
1156 spinlock_t list_lock ;
1157 unsigned long nr_partial ;
1158 struct list_head partial ;
1159 atomic_long_t nr_slabs ;
1160 atomic_long_t total_objects ;
1161 struct list_head full ;
1162};
1163#line 66 "include/linux/slub_def.h"
1164struct kmem_cache_order_objects {
1165 unsigned long x ;
1166};
1167#line 76 "include/linux/slub_def.h"
1168struct kmem_cache {
1169 struct kmem_cache_cpu *cpu_slab ;
1170 unsigned long flags ;
1171 unsigned long min_partial ;
1172 int size ;
1173 int objsize ;
1174 int offset ;
1175 int cpu_partial ;
1176 struct kmem_cache_order_objects oo ;
1177 struct kmem_cache_order_objects max ;
1178 struct kmem_cache_order_objects min ;
1179 gfp_t allocflags ;
1180 int refcount ;
1181 void (*ctor)(void * ) ;
1182 int inuse ;
1183 int align ;
1184 int reserved ;
1185 char const *name ;
1186 struct list_head list ;
1187 struct kobject kobj ;
1188 int remote_node_defrag_ratio ;
1189 struct kmem_cache_node *node[1024U] ;
1190};
1191#line 12 "include/linux/mod_devicetable.h"
1192typedef unsigned long kernel_ulong_t;
1193#line 13 "include/linux/mod_devicetable.h"
1194struct pci_device_id {
1195 __u32 vendor ;
1196 __u32 device ;
1197 __u32 subvendor ;
1198 __u32 subdevice ;
1199 __u32 class ;
1200 __u32 class_mask ;
1201 kernel_ulong_t driver_data ;
1202};
1203#line 215 "include/linux/mod_devicetable.h"
1204struct of_device_id {
1205 char name[32U] ;
1206 char type[32U] ;
1207 char compatible[128U] ;
1208 void *data ;
1209};
1210#line 584
1211struct klist_node;
1212#line 584
1213struct klist_node;
1214#line 37 "include/linux/klist.h"
1215struct klist_node {
1216 void *n_klist ;
1217 struct list_head n_node ;
1218 struct kref n_ref ;
1219};
1220#line 67
1221struct dma_map_ops;
1222#line 67 "include/linux/klist.h"
1223struct dev_archdata {
1224 void *acpi_handle ;
1225 struct dma_map_ops *dma_ops ;
1226 void *iommu ;
1227};
1228#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1229struct device_private;
1230#line 17
1231struct device_private;
1232#line 18
1233struct device_driver;
1234#line 18
1235struct device_driver;
1236#line 19
1237struct driver_private;
1238#line 19
1239struct driver_private;
1240#line 20
1241struct class;
1242#line 20
1243struct class;
1244#line 21
1245struct subsys_private;
1246#line 21
1247struct subsys_private;
1248#line 22
1249struct bus_type;
1250#line 22
1251struct bus_type;
1252#line 23
1253struct device_node;
1254#line 23
1255struct device_node;
1256#line 24
1257struct iommu_ops;
1258#line 24
1259struct iommu_ops;
1260#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1261struct bus_attribute {
1262 struct attribute attr ;
1263 ssize_t (*show)(struct bus_type * , char * ) ;
1264 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
1265};
1266#line 51 "include/linux/device.h"
1267struct device_attribute;
1268#line 51
1269struct driver_attribute;
1270#line 51 "include/linux/device.h"
1271struct bus_type {
1272 char const *name ;
1273 char const *dev_name ;
1274 struct device *dev_root ;
1275 struct bus_attribute *bus_attrs ;
1276 struct device_attribute *dev_attrs ;
1277 struct driver_attribute *drv_attrs ;
1278 int (*match)(struct device * , struct device_driver * ) ;
1279 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1280 int (*probe)(struct device * ) ;
1281 int (*remove)(struct device * ) ;
1282 void (*shutdown)(struct device * ) ;
1283 int (*suspend)(struct device * , pm_message_t ) ;
1284 int (*resume)(struct device * ) ;
1285 struct dev_pm_ops const *pm ;
1286 struct iommu_ops *iommu_ops ;
1287 struct subsys_private *p ;
1288};
1289#line 125
1290struct device_type;
1291#line 182 "include/linux/device.h"
1292struct device_driver {
1293 char const *name ;
1294 struct bus_type *bus ;
1295 struct module *owner ;
1296 char const *mod_name ;
1297 bool suppress_bind_attrs ;
1298 struct of_device_id const *of_match_table ;
1299 int (*probe)(struct device * ) ;
1300 int (*remove)(struct device * ) ;
1301 void (*shutdown)(struct device * ) ;
1302 int (*suspend)(struct device * , pm_message_t ) ;
1303 int (*resume)(struct device * ) ;
1304 struct attribute_group const **groups ;
1305 struct dev_pm_ops const *pm ;
1306 struct driver_private *p ;
1307};
1308#line 245 "include/linux/device.h"
1309struct driver_attribute {
1310 struct attribute attr ;
1311 ssize_t (*show)(struct device_driver * , char * ) ;
1312 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
1313};
1314#line 299
1315struct class_attribute;
1316#line 299 "include/linux/device.h"
1317struct class {
1318 char const *name ;
1319 struct module *owner ;
1320 struct class_attribute *class_attrs ;
1321 struct device_attribute *dev_attrs ;
1322 struct bin_attribute *dev_bin_attrs ;
1323 struct kobject *dev_kobj ;
1324 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1325 char *(*devnode)(struct device * , umode_t * ) ;
1326 void (*class_release)(struct class * ) ;
1327 void (*dev_release)(struct device * ) ;
1328 int (*suspend)(struct device * , pm_message_t ) ;
1329 int (*resume)(struct device * ) ;
1330 struct kobj_ns_type_operations const *ns_type ;
1331 void const *(*namespace)(struct device * ) ;
1332 struct dev_pm_ops const *pm ;
1333 struct subsys_private *p ;
1334};
1335#line 394 "include/linux/device.h"
1336struct class_attribute {
1337 struct attribute attr ;
1338 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1339 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
1340 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
1341};
1342#line 447 "include/linux/device.h"
1343struct device_type {
1344 char const *name ;
1345 struct attribute_group const **groups ;
1346 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1347 char *(*devnode)(struct device * , umode_t * ) ;
1348 void (*release)(struct device * ) ;
1349 struct dev_pm_ops const *pm ;
1350};
1351#line 474 "include/linux/device.h"
1352struct device_attribute {
1353 struct attribute attr ;
1354 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1355 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
1356 size_t ) ;
1357};
1358#line 557 "include/linux/device.h"
1359struct device_dma_parameters {
1360 unsigned int max_segment_size ;
1361 unsigned long segment_boundary_mask ;
1362};
1363#line 567
1364struct dma_coherent_mem;
1365#line 567 "include/linux/device.h"
1366struct device {
1367 struct device *parent ;
1368 struct device_private *p ;
1369 struct kobject kobj ;
1370 char const *init_name ;
1371 struct device_type const *type ;
1372 struct mutex mutex ;
1373 struct bus_type *bus ;
1374 struct device_driver *driver ;
1375 void *platform_data ;
1376 struct dev_pm_info power ;
1377 struct dev_pm_domain *pm_domain ;
1378 int numa_node ;
1379 u64 *dma_mask ;
1380 u64 coherent_dma_mask ;
1381 struct device_dma_parameters *dma_parms ;
1382 struct list_head dma_pools ;
1383 struct dma_coherent_mem *dma_mem ;
1384 struct dev_archdata archdata ;
1385 struct device_node *of_node ;
1386 dev_t devt ;
1387 u32 id ;
1388 spinlock_t devres_lock ;
1389 struct list_head devres_head ;
1390 struct klist_node knode_class ;
1391 struct class *class ;
1392 struct attribute_group const **groups ;
1393 void (*release)(struct device * ) ;
1394};
1395#line 681 "include/linux/device.h"
1396struct wakeup_source {
1397 char const *name ;
1398 struct list_head entry ;
1399 spinlock_t lock ;
1400 struct timer_list timer ;
1401 unsigned long timer_expires ;
1402 ktime_t total_time ;
1403 ktime_t max_time ;
1404 ktime_t last_time ;
1405 unsigned long event_count ;
1406 unsigned long active_count ;
1407 unsigned long relax_count ;
1408 unsigned long hit_count ;
1409 unsigned char active : 1 ;
1410};
1411#line 17 "include/linux/irqreturn.h"
1412struct hotplug_slot;
1413#line 17 "include/linux/irqreturn.h"
1414struct pci_slot {
1415 struct pci_bus *bus ;
1416 struct list_head list ;
1417 struct hotplug_slot *hotplug ;
1418 unsigned char number ;
1419 struct kobject kobj ;
1420};
1421#line 117 "include/linux/pci.h"
1422typedef int pci_power_t;
1423#line 143 "include/linux/pci.h"
1424typedef unsigned int pci_channel_state_t;
1425#line 144
1426enum pci_channel_state {
1427 pci_channel_io_normal = 1,
1428 pci_channel_io_frozen = 2,
1429 pci_channel_io_perm_failure = 3
1430} ;
1431#line 169 "include/linux/pci.h"
1432typedef unsigned short pci_dev_flags_t;
1433#line 186 "include/linux/pci.h"
1434typedef unsigned short pci_bus_flags_t;
1435#line 229
1436struct pcie_link_state;
1437#line 229
1438struct pcie_link_state;
1439#line 230
1440struct pci_vpd;
1441#line 230
1442struct pci_vpd;
1443#line 231
1444struct pci_sriov;
1445#line 231
1446struct pci_sriov;
1447#line 232
1448struct pci_ats;
1449#line 232
1450struct pci_ats;
1451#line 233
1452struct proc_dir_entry;
1453#line 233
1454struct pci_driver;
1455#line 233 "include/linux/pci.h"
1456union __anonunion_ldv_15312_136 {
1457 struct pci_sriov *sriov ;
1458 struct pci_dev *physfn ;
1459};
1460#line 233 "include/linux/pci.h"
1461struct pci_dev {
1462 struct list_head bus_list ;
1463 struct pci_bus *bus ;
1464 struct pci_bus *subordinate ;
1465 void *sysdata ;
1466 struct proc_dir_entry *procent ;
1467 struct pci_slot *slot ;
1468 unsigned int devfn ;
1469 unsigned short vendor ;
1470 unsigned short device ;
1471 unsigned short subsystem_vendor ;
1472 unsigned short subsystem_device ;
1473 unsigned int class ;
1474 u8 revision ;
1475 u8 hdr_type ;
1476 u8 pcie_cap ;
1477 unsigned char pcie_type : 4 ;
1478 unsigned char pcie_mpss : 3 ;
1479 u8 rom_base_reg ;
1480 u8 pin ;
1481 struct pci_driver *driver ;
1482 u64 dma_mask ;
1483 struct device_dma_parameters dma_parms ;
1484 pci_power_t current_state ;
1485 int pm_cap ;
1486 unsigned char pme_support : 5 ;
1487 unsigned char pme_interrupt : 1 ;
1488 unsigned char pme_poll : 1 ;
1489 unsigned char d1_support : 1 ;
1490 unsigned char d2_support : 1 ;
1491 unsigned char no_d1d2 : 1 ;
1492 unsigned char mmio_always_on : 1 ;
1493 unsigned char wakeup_prepared : 1 ;
1494 unsigned int d3_delay ;
1495 struct pcie_link_state *link_state ;
1496 pci_channel_state_t error_state ;
1497 struct device dev ;
1498 int cfg_size ;
1499 unsigned int irq ;
1500 struct resource resource[17U] ;
1501 unsigned char transparent : 1 ;
1502 unsigned char multifunction : 1 ;
1503 unsigned char is_added : 1 ;
1504 unsigned char is_busmaster : 1 ;
1505 unsigned char no_msi : 1 ;
1506 unsigned char block_cfg_access : 1 ;
1507 unsigned char broken_parity_status : 1 ;
1508 unsigned char irq_reroute_variant : 2 ;
1509 unsigned char msi_enabled : 1 ;
1510 unsigned char msix_enabled : 1 ;
1511 unsigned char ari_enabled : 1 ;
1512 unsigned char is_managed : 1 ;
1513 unsigned char is_pcie : 1 ;
1514 unsigned char needs_freset : 1 ;
1515 unsigned char state_saved : 1 ;
1516 unsigned char is_physfn : 1 ;
1517 unsigned char is_virtfn : 1 ;
1518 unsigned char reset_fn : 1 ;
1519 unsigned char is_hotplug_bridge : 1 ;
1520 unsigned char __aer_firmware_first_valid : 1 ;
1521 unsigned char __aer_firmware_first : 1 ;
1522 pci_dev_flags_t dev_flags ;
1523 atomic_t enable_cnt ;
1524 u32 saved_config_space[16U] ;
1525 struct hlist_head saved_cap_space ;
1526 struct bin_attribute *rom_attr ;
1527 int rom_attr_enabled ;
1528 struct bin_attribute *res_attr[17U] ;
1529 struct bin_attribute *res_attr_wc[17U] ;
1530 struct list_head msi_list ;
1531 struct kset *msi_kset ;
1532 struct pci_vpd *vpd ;
1533 union __anonunion_ldv_15312_136 ldv_15312 ;
1534 struct pci_ats *ats ;
1535};
1536#line 403
1537struct pci_ops;
1538#line 403 "include/linux/pci.h"
1539struct pci_bus {
1540 struct list_head node ;
1541 struct pci_bus *parent ;
1542 struct list_head children ;
1543 struct list_head devices ;
1544 struct pci_dev *self ;
1545 struct list_head slots ;
1546 struct resource *resource[4U] ;
1547 struct list_head resources ;
1548 struct pci_ops *ops ;
1549 void *sysdata ;
1550 struct proc_dir_entry *procdir ;
1551 unsigned char number ;
1552 unsigned char primary ;
1553 unsigned char secondary ;
1554 unsigned char subordinate ;
1555 unsigned char max_bus_speed ;
1556 unsigned char cur_bus_speed ;
1557 char name[48U] ;
1558 unsigned short bridge_ctl ;
1559 pci_bus_flags_t bus_flags ;
1560 struct device *bridge ;
1561 struct device dev ;
1562 struct bin_attribute *legacy_io ;
1563 struct bin_attribute *legacy_mem ;
1564 unsigned char is_added : 1 ;
1565};
1566#line 455 "include/linux/pci.h"
1567struct pci_ops {
1568 int (*read)(struct pci_bus * , unsigned int , int , int , u32 * ) ;
1569 int (*write)(struct pci_bus * , unsigned int , int , int , u32 ) ;
1570};
1571#line 490 "include/linux/pci.h"
1572struct pci_dynids {
1573 spinlock_t lock ;
1574 struct list_head list ;
1575};
1576#line 503 "include/linux/pci.h"
1577typedef unsigned int pci_ers_result_t;
1578#line 512 "include/linux/pci.h"
1579struct pci_error_handlers {
1580 pci_ers_result_t (*error_detected)(struct pci_dev * , enum pci_channel_state ) ;
1581 pci_ers_result_t (*mmio_enabled)(struct pci_dev * ) ;
1582 pci_ers_result_t (*link_reset)(struct pci_dev * ) ;
1583 pci_ers_result_t (*slot_reset)(struct pci_dev * ) ;
1584 void (*resume)(struct pci_dev * ) ;
1585};
1586#line 540 "include/linux/pci.h"
1587struct pci_driver {
1588 struct list_head node ;
1589 char const *name ;
1590 struct pci_device_id const *id_table ;
1591 int (*probe)(struct pci_dev * , struct pci_device_id const * ) ;
1592 void (*remove)(struct pci_dev * ) ;
1593 int (*suspend)(struct pci_dev * , pm_message_t ) ;
1594 int (*suspend_late)(struct pci_dev * , pm_message_t ) ;
1595 int (*resume_early)(struct pci_dev * ) ;
1596 int (*resume)(struct pci_dev * ) ;
1597 void (*shutdown)(struct pci_dev * ) ;
1598 struct pci_error_handlers *err_handler ;
1599 struct device_driver driver ;
1600 struct pci_dynids dynids ;
1601};
1602#line 986 "include/linux/pci.h"
1603struct scatterlist {
1604 unsigned long sg_magic ;
1605 unsigned long page_link ;
1606 unsigned int offset ;
1607 unsigned int length ;
1608 dma_addr_t dma_address ;
1609 unsigned int dma_length ;
1610};
1611#line 1134
1612struct prio_tree_node;
1613#line 1134 "include/linux/pci.h"
1614struct raw_prio_tree_node {
1615 struct prio_tree_node *left ;
1616 struct prio_tree_node *right ;
1617 struct prio_tree_node *parent ;
1618};
1619#line 19 "include/linux/prio_tree.h"
1620struct prio_tree_node {
1621 struct prio_tree_node *left ;
1622 struct prio_tree_node *right ;
1623 struct prio_tree_node *parent ;
1624 unsigned long start ;
1625 unsigned long last ;
1626};
1627#line 27 "include/linux/prio_tree.h"
1628struct prio_tree_root {
1629 struct prio_tree_node *prio_tree_node ;
1630 unsigned short index_bits ;
1631 unsigned short raw ;
1632};
1633#line 116
1634struct address_space;
1635#line 116
1636struct address_space;
1637#line 117 "include/linux/prio_tree.h"
1638union __anonunion_ldv_16184_138 {
1639 unsigned long index ;
1640 void *freelist ;
1641};
1642#line 117 "include/linux/prio_tree.h"
1643struct __anonstruct_ldv_16194_142 {
1644 unsigned short inuse ;
1645 unsigned short objects : 15 ;
1646 unsigned char frozen : 1 ;
1647};
1648#line 117 "include/linux/prio_tree.h"
1649union __anonunion_ldv_16195_141 {
1650 atomic_t _mapcount ;
1651 struct __anonstruct_ldv_16194_142 ldv_16194 ;
1652};
1653#line 117 "include/linux/prio_tree.h"
1654struct __anonstruct_ldv_16197_140 {
1655 union __anonunion_ldv_16195_141 ldv_16195 ;
1656 atomic_t _count ;
1657};
1658#line 117 "include/linux/prio_tree.h"
1659union __anonunion_ldv_16198_139 {
1660 unsigned long counters ;
1661 struct __anonstruct_ldv_16197_140 ldv_16197 ;
1662};
1663#line 117 "include/linux/prio_tree.h"
1664struct __anonstruct_ldv_16199_137 {
1665 union __anonunion_ldv_16184_138 ldv_16184 ;
1666 union __anonunion_ldv_16198_139 ldv_16198 ;
1667};
1668#line 117 "include/linux/prio_tree.h"
1669struct __anonstruct_ldv_16206_144 {
1670 struct page *next ;
1671 int pages ;
1672 int pobjects ;
1673};
1674#line 117 "include/linux/prio_tree.h"
1675union __anonunion_ldv_16207_143 {
1676 struct list_head lru ;
1677 struct __anonstruct_ldv_16206_144 ldv_16206 ;
1678};
1679#line 117 "include/linux/prio_tree.h"
1680union __anonunion_ldv_16212_145 {
1681 unsigned long private ;
1682 struct kmem_cache *slab ;
1683 struct page *first_page ;
1684};
1685#line 117 "include/linux/prio_tree.h"
1686struct page {
1687 unsigned long flags ;
1688 struct address_space *mapping ;
1689 struct __anonstruct_ldv_16199_137 ldv_16199 ;
1690 union __anonunion_ldv_16207_143 ldv_16207 ;
1691 union __anonunion_ldv_16212_145 ldv_16212 ;
1692 unsigned long debug_flags ;
1693};
1694#line 192 "include/linux/mm_types.h"
1695struct __anonstruct_vm_set_147 {
1696 struct list_head list ;
1697 void *parent ;
1698 struct vm_area_struct *head ;
1699};
1700#line 192 "include/linux/mm_types.h"
1701union __anonunion_shared_146 {
1702 struct __anonstruct_vm_set_147 vm_set ;
1703 struct raw_prio_tree_node prio_tree_node ;
1704};
1705#line 192
1706struct anon_vma;
1707#line 192
1708struct vm_operations_struct;
1709#line 192
1710struct mempolicy;
1711#line 192 "include/linux/mm_types.h"
1712struct vm_area_struct {
1713 struct mm_struct *vm_mm ;
1714 unsigned long vm_start ;
1715 unsigned long vm_end ;
1716 struct vm_area_struct *vm_next ;
1717 struct vm_area_struct *vm_prev ;
1718 pgprot_t vm_page_prot ;
1719 unsigned long vm_flags ;
1720 struct rb_node vm_rb ;
1721 union __anonunion_shared_146 shared ;
1722 struct list_head anon_vma_chain ;
1723 struct anon_vma *anon_vma ;
1724 struct vm_operations_struct const *vm_ops ;
1725 unsigned long vm_pgoff ;
1726 struct file *vm_file ;
1727 void *vm_private_data ;
1728 struct mempolicy *vm_policy ;
1729};
1730#line 255 "include/linux/mm_types.h"
1731struct core_thread {
1732 struct task_struct *task ;
1733 struct core_thread *next ;
1734};
1735#line 261 "include/linux/mm_types.h"
1736struct core_state {
1737 atomic_t nr_threads ;
1738 struct core_thread dumper ;
1739 struct completion startup ;
1740};
1741#line 274 "include/linux/mm_types.h"
1742struct mm_rss_stat {
1743 atomic_long_t count[3U] ;
1744};
1745#line 287
1746struct linux_binfmt;
1747#line 287
1748struct mmu_notifier_mm;
1749#line 287 "include/linux/mm_types.h"
1750struct mm_struct {
1751 struct vm_area_struct *mmap ;
1752 struct rb_root mm_rb ;
1753 struct vm_area_struct *mmap_cache ;
1754 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1755 unsigned long , unsigned long ) ;
1756 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
1757 unsigned long mmap_base ;
1758 unsigned long task_size ;
1759 unsigned long cached_hole_size ;
1760 unsigned long free_area_cache ;
1761 pgd_t *pgd ;
1762 atomic_t mm_users ;
1763 atomic_t mm_count ;
1764 int map_count ;
1765 spinlock_t page_table_lock ;
1766 struct rw_semaphore mmap_sem ;
1767 struct list_head mmlist ;
1768 unsigned long hiwater_rss ;
1769 unsigned long hiwater_vm ;
1770 unsigned long total_vm ;
1771 unsigned long locked_vm ;
1772 unsigned long pinned_vm ;
1773 unsigned long shared_vm ;
1774 unsigned long exec_vm ;
1775 unsigned long stack_vm ;
1776 unsigned long reserved_vm ;
1777 unsigned long def_flags ;
1778 unsigned long nr_ptes ;
1779 unsigned long start_code ;
1780 unsigned long end_code ;
1781 unsigned long start_data ;
1782 unsigned long end_data ;
1783 unsigned long start_brk ;
1784 unsigned long brk ;
1785 unsigned long start_stack ;
1786 unsigned long arg_start ;
1787 unsigned long arg_end ;
1788 unsigned long env_start ;
1789 unsigned long env_end ;
1790 unsigned long saved_auxv[44U] ;
1791 struct mm_rss_stat rss_stat ;
1792 struct linux_binfmt *binfmt ;
1793 cpumask_var_t cpu_vm_mask_var ;
1794 mm_context_t context ;
1795 unsigned int faultstamp ;
1796 unsigned int token_priority ;
1797 unsigned int last_interval ;
1798 unsigned long flags ;
1799 struct core_state *core_state ;
1800 spinlock_t ioctx_lock ;
1801 struct hlist_head ioctx_list ;
1802 struct task_struct *owner ;
1803 struct file *exe_file ;
1804 unsigned long num_exe_file_vmas ;
1805 struct mmu_notifier_mm *mmu_notifier_mm ;
1806 pgtable_t pmd_huge_pte ;
1807 struct cpumask cpumask_allocation ;
1808};
1809#line 93 "include/linux/bit_spinlock.h"
1810struct shrink_control {
1811 gfp_t gfp_mask ;
1812 unsigned long nr_to_scan ;
1813};
1814#line 14 "include/linux/shrinker.h"
1815struct shrinker {
1816 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
1817 int seeks ;
1818 long batch ;
1819 struct list_head list ;
1820 atomic_long_t nr_in_batch ;
1821};
1822#line 43
1823struct file_ra_state;
1824#line 43
1825struct file_ra_state;
1826#line 44
1827struct user_struct;
1828#line 44
1829struct user_struct;
1830#line 45
1831struct writeback_control;
1832#line 45
1833struct writeback_control;
1834#line 178 "include/linux/mm.h"
1835struct vm_fault {
1836 unsigned int flags ;
1837 unsigned long pgoff ;
1838 void *virtual_address ;
1839 struct page *page ;
1840};
1841#line 195 "include/linux/mm.h"
1842struct vm_operations_struct {
1843 void (*open)(struct vm_area_struct * ) ;
1844 void (*close)(struct vm_area_struct * ) ;
1845 int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
1846 int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
1847 int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
1848 int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
1849 struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
1850 int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
1851 unsigned long ) ;
1852};
1853#line 244
1854struct inode;
1855#line 244
1856struct inode;
1857#line 31 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pci_64.h"
1858struct dma_attrs {
1859 unsigned long flags[1U] ;
1860};
1861#line 67 "include/linux/dma-attrs.h"
1862enum dma_data_direction {
1863 DMA_BIDIRECTIONAL = 0,
1864 DMA_TO_DEVICE = 1,
1865 DMA_FROM_DEVICE = 2,
1866 DMA_NONE = 3
1867} ;
1868#line 268 "include/linux/scatterlist.h"
1869struct dma_map_ops {
1870 void *(*alloc)(struct device * , size_t , dma_addr_t * , gfp_t , struct dma_attrs * ) ;
1871 void (*free)(struct device * , size_t , void * , dma_addr_t , struct dma_attrs * ) ;
1872 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1873 size_t , struct dma_attrs * ) ;
1874 dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
1875 enum dma_data_direction , struct dma_attrs * ) ;
1876 void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
1877 struct dma_attrs * ) ;
1878 int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
1879 struct dma_attrs * ) ;
1880 void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
1881 struct dma_attrs * ) ;
1882 void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
1883 void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
1884 void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
1885 void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
1886 int (*mapping_error)(struct device * , dma_addr_t ) ;
1887 int (*dma_supported)(struct device * , u64 ) ;
1888 int (*set_dma_mask)(struct device * , u64 ) ;
1889 int is_phys ;
1890};
1891#line 93 "include/linux/capability.h"
1892struct kernel_cap_struct {
1893 __u32 cap[2U] ;
1894};
1895#line 96 "include/linux/capability.h"
1896typedef struct kernel_cap_struct kernel_cap_t;
1897#line 104
1898struct dentry;
1899#line 104
1900struct dentry;
1901#line 105
1902struct user_namespace;
1903#line 105
1904struct user_namespace;
1905#line 7 "include/asm-generic/cputime.h"
1906typedef unsigned long cputime_t;
1907#line 98 "include/linux/sem.h"
1908struct sem_undo_list;
1909#line 98 "include/linux/sem.h"
1910struct sysv_sem {
1911 struct sem_undo_list *undo_list ;
1912};
1913#line 107
1914struct siginfo;
1915#line 107
1916struct siginfo;
1917#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1918struct __anonstruct_sigset_t_149 {
1919 unsigned long sig[1U] ;
1920};
1921#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1922typedef struct __anonstruct_sigset_t_149 sigset_t;
1923#line 17 "include/asm-generic/signal-defs.h"
1924typedef void __signalfn_t(int );
1925#line 18 "include/asm-generic/signal-defs.h"
1926typedef __signalfn_t *__sighandler_t;
1927#line 20 "include/asm-generic/signal-defs.h"
1928typedef void __restorefn_t(void);
1929#line 21 "include/asm-generic/signal-defs.h"
1930typedef __restorefn_t *__sigrestore_t;
1931#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1932struct sigaction {
1933 __sighandler_t sa_handler ;
1934 unsigned long sa_flags ;
1935 __sigrestore_t sa_restorer ;
1936 sigset_t sa_mask ;
1937};
1938#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1939struct k_sigaction {
1940 struct sigaction sa ;
1941};
1942#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1943union sigval {
1944 int sival_int ;
1945 void *sival_ptr ;
1946};
1947#line 10 "include/asm-generic/siginfo.h"
1948typedef union sigval sigval_t;
1949#line 11 "include/asm-generic/siginfo.h"
1950struct __anonstruct__kill_151 {
1951 __kernel_pid_t _pid ;
1952 __kernel_uid32_t _uid ;
1953};
1954#line 11 "include/asm-generic/siginfo.h"
1955struct __anonstruct__timer_152 {
1956 __kernel_timer_t _tid ;
1957 int _overrun ;
1958 char _pad[0U] ;
1959 sigval_t _sigval ;
1960 int _sys_private ;
1961};
1962#line 11 "include/asm-generic/siginfo.h"
1963struct __anonstruct__rt_153 {
1964 __kernel_pid_t _pid ;
1965 __kernel_uid32_t _uid ;
1966 sigval_t _sigval ;
1967};
1968#line 11 "include/asm-generic/siginfo.h"
1969struct __anonstruct__sigchld_154 {
1970 __kernel_pid_t _pid ;
1971 __kernel_uid32_t _uid ;
1972 int _status ;
1973 __kernel_clock_t _utime ;
1974 __kernel_clock_t _stime ;
1975};
1976#line 11 "include/asm-generic/siginfo.h"
1977struct __anonstruct__sigfault_155 {
1978 void *_addr ;
1979 short _addr_lsb ;
1980};
1981#line 11 "include/asm-generic/siginfo.h"
1982struct __anonstruct__sigpoll_156 {
1983 long _band ;
1984 int _fd ;
1985};
1986#line 11 "include/asm-generic/siginfo.h"
1987union __anonunion__sifields_150 {
1988 int _pad[28U] ;
1989 struct __anonstruct__kill_151 _kill ;
1990 struct __anonstruct__timer_152 _timer ;
1991 struct __anonstruct__rt_153 _rt ;
1992 struct __anonstruct__sigchld_154 _sigchld ;
1993 struct __anonstruct__sigfault_155 _sigfault ;
1994 struct __anonstruct__sigpoll_156 _sigpoll ;
1995};
1996#line 11 "include/asm-generic/siginfo.h"
1997struct siginfo {
1998 int si_signo ;
1999 int si_errno ;
2000 int si_code ;
2001 union __anonunion__sifields_150 _sifields ;
2002};
2003#line 102 "include/asm-generic/siginfo.h"
2004typedef struct siginfo siginfo_t;
2005#line 24 "include/linux/signal.h"
2006struct sigpending {
2007 struct list_head list ;
2008 sigset_t signal ;
2009};
2010#line 388
2011enum pid_type {
2012 PIDTYPE_PID = 0,
2013 PIDTYPE_PGID = 1,
2014 PIDTYPE_SID = 2,
2015 PIDTYPE_MAX = 3
2016} ;
2017#line 395
2018struct pid_namespace;
2019#line 395 "include/linux/signal.h"
2020struct upid {
2021 int nr ;
2022 struct pid_namespace *ns ;
2023 struct hlist_node pid_chain ;
2024};
2025#line 56 "include/linux/pid.h"
2026struct pid {
2027 atomic_t count ;
2028 unsigned int level ;
2029 struct hlist_head tasks[3U] ;
2030 struct rcu_head rcu ;
2031 struct upid numbers[1U] ;
2032};
2033#line 68 "include/linux/pid.h"
2034struct pid_link {
2035 struct hlist_node node ;
2036 struct pid *pid ;
2037};
2038#line 10 "include/linux/seccomp.h"
2039struct __anonstruct_seccomp_t_159 {
2040 int mode ;
2041};
2042#line 10 "include/linux/seccomp.h"
2043typedef struct __anonstruct_seccomp_t_159 seccomp_t;
2044#line 427 "include/linux/rculist.h"
2045struct plist_head {
2046 struct list_head node_list ;
2047};
2048#line 84 "include/linux/plist.h"
2049struct plist_node {
2050 int prio ;
2051 struct list_head prio_list ;
2052 struct list_head node_list ;
2053};
2054#line 38 "include/linux/rtmutex.h"
2055struct rt_mutex_waiter;
2056#line 38
2057struct rt_mutex_waiter;
2058#line 41 "include/linux/resource.h"
2059struct rlimit {
2060 unsigned long rlim_cur ;
2061 unsigned long rlim_max ;
2062};
2063#line 85 "include/linux/resource.h"
2064struct timerqueue_node {
2065 struct rb_node node ;
2066 ktime_t expires ;
2067};
2068#line 12 "include/linux/timerqueue.h"
2069struct timerqueue_head {
2070 struct rb_root head ;
2071 struct timerqueue_node *next ;
2072};
2073#line 50
2074struct hrtimer_clock_base;
2075#line 50
2076struct hrtimer_clock_base;
2077#line 51
2078struct hrtimer_cpu_base;
2079#line 51
2080struct hrtimer_cpu_base;
2081#line 60
2082enum hrtimer_restart {
2083 HRTIMER_NORESTART = 0,
2084 HRTIMER_RESTART = 1
2085} ;
2086#line 65 "include/linux/timerqueue.h"
2087struct hrtimer {
2088 struct timerqueue_node node ;
2089 ktime_t _softexpires ;
2090 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2091 struct hrtimer_clock_base *base ;
2092 unsigned long state ;
2093 int start_pid ;
2094 void *start_site ;
2095 char start_comm[16U] ;
2096};
2097#line 132 "include/linux/hrtimer.h"
2098struct hrtimer_clock_base {
2099 struct hrtimer_cpu_base *cpu_base ;
2100 int index ;
2101 clockid_t clockid ;
2102 struct timerqueue_head active ;
2103 ktime_t resolution ;
2104 ktime_t (*get_time)(void) ;
2105 ktime_t softirq_time ;
2106 ktime_t offset ;
2107};
2108#line 162 "include/linux/hrtimer.h"
2109struct hrtimer_cpu_base {
2110 raw_spinlock_t lock ;
2111 unsigned long active_bases ;
2112 ktime_t expires_next ;
2113 int hres_active ;
2114 int hang_detected ;
2115 unsigned long nr_events ;
2116 unsigned long nr_retries ;
2117 unsigned long nr_hangs ;
2118 ktime_t max_hang_time ;
2119 struct hrtimer_clock_base clock_base[3U] ;
2120};
2121#line 452 "include/linux/hrtimer.h"
2122struct task_io_accounting {
2123 u64 rchar ;
2124 u64 wchar ;
2125 u64 syscr ;
2126 u64 syscw ;
2127 u64 read_bytes ;
2128 u64 write_bytes ;
2129 u64 cancelled_write_bytes ;
2130};
2131#line 45 "include/linux/task_io_accounting.h"
2132struct latency_record {
2133 unsigned long backtrace[12U] ;
2134 unsigned int count ;
2135 unsigned long time ;
2136 unsigned long max ;
2137};
2138#line 29 "include/linux/key.h"
2139typedef int32_t key_serial_t;
2140#line 32 "include/linux/key.h"
2141typedef uint32_t key_perm_t;
2142#line 33
2143struct key;
2144#line 33
2145struct key;
2146#line 34
2147struct signal_struct;
2148#line 34
2149struct signal_struct;
2150#line 35
2151struct key_type;
2152#line 35
2153struct key_type;
2154#line 37
2155struct keyring_list;
2156#line 37
2157struct keyring_list;
2158#line 115
2159struct key_user;
2160#line 115 "include/linux/key.h"
2161union __anonunion_ldv_21082_160 {
2162 time_t expiry ;
2163 time_t revoked_at ;
2164};
2165#line 115 "include/linux/key.h"
2166union __anonunion_type_data_161 {
2167 struct list_head link ;
2168 unsigned long x[2U] ;
2169 void *p[2U] ;
2170 int reject_error ;
2171};
2172#line 115 "include/linux/key.h"
2173union __anonunion_payload_162 {
2174 unsigned long value ;
2175 void *rcudata ;
2176 void *data ;
2177 struct keyring_list *subscriptions ;
2178};
2179#line 115 "include/linux/key.h"
2180struct key {
2181 atomic_t usage ;
2182 key_serial_t serial ;
2183 struct rb_node serial_node ;
2184 struct key_type *type ;
2185 struct rw_semaphore sem ;
2186 struct key_user *user ;
2187 void *security ;
2188 union __anonunion_ldv_21082_160 ldv_21082 ;
2189 uid_t uid ;
2190 gid_t gid ;
2191 key_perm_t perm ;
2192 unsigned short quotalen ;
2193 unsigned short datalen ;
2194 unsigned long flags ;
2195 char *description ;
2196 union __anonunion_type_data_161 type_data ;
2197 union __anonunion_payload_162 payload ;
2198};
2199#line 316
2200struct audit_context;
2201#line 316
2202struct audit_context;
2203#line 27 "include/linux/selinux.h"
2204struct group_info {
2205 atomic_t usage ;
2206 int ngroups ;
2207 int nblocks ;
2208 gid_t small_block[32U] ;
2209 gid_t *blocks[0U] ;
2210};
2211#line 77 "include/linux/cred.h"
2212struct thread_group_cred {
2213 atomic_t usage ;
2214 pid_t tgid ;
2215 spinlock_t lock ;
2216 struct key *session_keyring ;
2217 struct key *process_keyring ;
2218 struct rcu_head rcu ;
2219};
2220#line 91 "include/linux/cred.h"
2221struct cred {
2222 atomic_t usage ;
2223 atomic_t subscribers ;
2224 void *put_addr ;
2225 unsigned int magic ;
2226 uid_t uid ;
2227 gid_t gid ;
2228 uid_t suid ;
2229 gid_t sgid ;
2230 uid_t euid ;
2231 gid_t egid ;
2232 uid_t fsuid ;
2233 gid_t fsgid ;
2234 unsigned int securebits ;
2235 kernel_cap_t cap_inheritable ;
2236 kernel_cap_t cap_permitted ;
2237 kernel_cap_t cap_effective ;
2238 kernel_cap_t cap_bset ;
2239 unsigned char jit_keyring ;
2240 struct key *thread_keyring ;
2241 struct key *request_key_auth ;
2242 struct thread_group_cred *tgcred ;
2243 void *security ;
2244 struct user_struct *user ;
2245 struct user_namespace *user_ns ;
2246 struct group_info *group_info ;
2247 struct rcu_head rcu ;
2248};
2249#line 264
2250struct llist_node;
2251#line 64 "include/linux/llist.h"
2252struct llist_node {
2253 struct llist_node *next ;
2254};
2255#line 185
2256struct futex_pi_state;
2257#line 185
2258struct futex_pi_state;
2259#line 186
2260struct robust_list_head;
2261#line 186
2262struct robust_list_head;
2263#line 187
2264struct bio_list;
2265#line 187
2266struct bio_list;
2267#line 188
2268struct fs_struct;
2269#line 188
2270struct fs_struct;
2271#line 189
2272struct perf_event_context;
2273#line 189
2274struct perf_event_context;
2275#line 190
2276struct blk_plug;
2277#line 190
2278struct blk_plug;
2279#line 149 "include/linux/sched.h"
2280struct cfs_rq;
2281#line 149
2282struct cfs_rq;
2283#line 44 "include/linux/aio_abi.h"
2284struct io_event {
2285 __u64 data ;
2286 __u64 obj ;
2287 __s64 res ;
2288 __s64 res2 ;
2289};
2290#line 106 "include/linux/aio_abi.h"
2291struct iovec {
2292 void *iov_base ;
2293 __kernel_size_t iov_len ;
2294};
2295#line 54 "include/linux/uio.h"
2296struct kioctx;
2297#line 54
2298struct kioctx;
2299#line 55 "include/linux/uio.h"
2300union __anonunion_ki_obj_163 {
2301 void *user ;
2302 struct task_struct *tsk ;
2303};
2304#line 55
2305struct eventfd_ctx;
2306#line 55 "include/linux/uio.h"
2307struct kiocb {
2308 struct list_head ki_run_list ;
2309 unsigned long ki_flags ;
2310 int ki_users ;
2311 unsigned int ki_key ;
2312 struct file *ki_filp ;
2313 struct kioctx *ki_ctx ;
2314 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2315 ssize_t (*ki_retry)(struct kiocb * ) ;
2316 void (*ki_dtor)(struct kiocb * ) ;
2317 union __anonunion_ki_obj_163 ki_obj ;
2318 __u64 ki_user_data ;
2319 loff_t ki_pos ;
2320 void *private ;
2321 unsigned short ki_opcode ;
2322 size_t ki_nbytes ;
2323 char *ki_buf ;
2324 size_t ki_left ;
2325 struct iovec ki_inline_vec ;
2326 struct iovec *ki_iovec ;
2327 unsigned long ki_nr_segs ;
2328 unsigned long ki_cur_seg ;
2329 struct list_head ki_list ;
2330 struct list_head ki_batch ;
2331 struct eventfd_ctx *ki_eventfd ;
2332};
2333#line 162 "include/linux/aio.h"
2334struct aio_ring_info {
2335 unsigned long mmap_base ;
2336 unsigned long mmap_size ;
2337 struct page **ring_pages ;
2338 spinlock_t ring_lock ;
2339 long nr_pages ;
2340 unsigned int nr ;
2341 unsigned int tail ;
2342 struct page *internal_pages[8U] ;
2343};
2344#line 178 "include/linux/aio.h"
2345struct kioctx {
2346 atomic_t users ;
2347 int dead ;
2348 struct mm_struct *mm ;
2349 unsigned long user_id ;
2350 struct hlist_node list ;
2351 wait_queue_head_t wait ;
2352 spinlock_t ctx_lock ;
2353 int reqs_active ;
2354 struct list_head active_reqs ;
2355 struct list_head run_list ;
2356 unsigned int max_reqs ;
2357 struct aio_ring_info ring_info ;
2358 struct delayed_work wq ;
2359 struct rcu_head rcu_head ;
2360};
2361#line 406 "include/linux/sched.h"
2362struct sighand_struct {
2363 atomic_t count ;
2364 struct k_sigaction action[64U] ;
2365 spinlock_t siglock ;
2366 wait_queue_head_t signalfd_wqh ;
2367};
2368#line 449 "include/linux/sched.h"
2369struct pacct_struct {
2370 int ac_flag ;
2371 long ac_exitcode ;
2372 unsigned long ac_mem ;
2373 cputime_t ac_utime ;
2374 cputime_t ac_stime ;
2375 unsigned long ac_minflt ;
2376 unsigned long ac_majflt ;
2377};
2378#line 457 "include/linux/sched.h"
2379struct cpu_itimer {
2380 cputime_t expires ;
2381 cputime_t incr ;
2382 u32 error ;
2383 u32 incr_error ;
2384};
2385#line 464 "include/linux/sched.h"
2386struct task_cputime {
2387 cputime_t utime ;
2388 cputime_t stime ;
2389 unsigned long long sum_exec_runtime ;
2390};
2391#line 481 "include/linux/sched.h"
2392struct thread_group_cputimer {
2393 struct task_cputime cputime ;
2394 int running ;
2395 raw_spinlock_t lock ;
2396};
2397#line 517
2398struct autogroup;
2399#line 517
2400struct autogroup;
2401#line 518
2402struct tty_struct;
2403#line 518
2404struct taskstats;
2405#line 518
2406struct tty_audit_buf;
2407#line 518 "include/linux/sched.h"
2408struct signal_struct {
2409 atomic_t sigcnt ;
2410 atomic_t live ;
2411 int nr_threads ;
2412 wait_queue_head_t wait_chldexit ;
2413 struct task_struct *curr_target ;
2414 struct sigpending shared_pending ;
2415 int group_exit_code ;
2416 int notify_count ;
2417 struct task_struct *group_exit_task ;
2418 int group_stop_count ;
2419 unsigned int flags ;
2420 unsigned char is_child_subreaper : 1 ;
2421 unsigned char has_child_subreaper : 1 ;
2422 struct list_head posix_timers ;
2423 struct hrtimer real_timer ;
2424 struct pid *leader_pid ;
2425 ktime_t it_real_incr ;
2426 struct cpu_itimer it[2U] ;
2427 struct thread_group_cputimer cputimer ;
2428 struct task_cputime cputime_expires ;
2429 struct list_head cpu_timers[3U] ;
2430 struct pid *tty_old_pgrp ;
2431 int leader ;
2432 struct tty_struct *tty ;
2433 struct autogroup *autogroup ;
2434 cputime_t utime ;
2435 cputime_t stime ;
2436 cputime_t cutime ;
2437 cputime_t cstime ;
2438 cputime_t gtime ;
2439 cputime_t cgtime ;
2440 cputime_t prev_utime ;
2441 cputime_t prev_stime ;
2442 unsigned long nvcsw ;
2443 unsigned long nivcsw ;
2444 unsigned long cnvcsw ;
2445 unsigned long cnivcsw ;
2446 unsigned long min_flt ;
2447 unsigned long maj_flt ;
2448 unsigned long cmin_flt ;
2449 unsigned long cmaj_flt ;
2450 unsigned long inblock ;
2451 unsigned long oublock ;
2452 unsigned long cinblock ;
2453 unsigned long coublock ;
2454 unsigned long maxrss ;
2455 unsigned long cmaxrss ;
2456 struct task_io_accounting ioac ;
2457 unsigned long long sum_sched_runtime ;
2458 struct rlimit rlim[16U] ;
2459 struct pacct_struct pacct ;
2460 struct taskstats *stats ;
2461 unsigned int audit_tty ;
2462 struct tty_audit_buf *tty_audit_buf ;
2463 struct rw_semaphore group_rwsem ;
2464 int oom_adj ;
2465 int oom_score_adj ;
2466 int oom_score_adj_min ;
2467 struct mutex cred_guard_mutex ;
2468};
2469#line 699 "include/linux/sched.h"
2470struct user_struct {
2471 atomic_t __count ;
2472 atomic_t processes ;
2473 atomic_t files ;
2474 atomic_t sigpending ;
2475 atomic_t inotify_watches ;
2476 atomic_t inotify_devs ;
2477 atomic_t fanotify_listeners ;
2478 atomic_long_t epoll_watches ;
2479 unsigned long mq_bytes ;
2480 unsigned long locked_shm ;
2481 struct key *uid_keyring ;
2482 struct key *session_keyring ;
2483 struct hlist_node uidhash_node ;
2484 uid_t uid ;
2485 struct user_namespace *user_ns ;
2486 atomic_long_t locked_vm ;
2487};
2488#line 744
2489struct backing_dev_info;
2490#line 744
2491struct backing_dev_info;
2492#line 745
2493struct reclaim_state;
2494#line 745
2495struct reclaim_state;
2496#line 746 "include/linux/sched.h"
2497struct sched_info {
2498 unsigned long pcount ;
2499 unsigned long long run_delay ;
2500 unsigned long long last_arrival ;
2501 unsigned long long last_queued ;
2502};
2503#line 760 "include/linux/sched.h"
2504struct task_delay_info {
2505 spinlock_t lock ;
2506 unsigned int flags ;
2507 struct timespec blkio_start ;
2508 struct timespec blkio_end ;
2509 u64 blkio_delay ;
2510 u64 swapin_delay ;
2511 u32 blkio_count ;
2512 u32 swapin_count ;
2513 struct timespec freepages_start ;
2514 struct timespec freepages_end ;
2515 u64 freepages_delay ;
2516 u32 freepages_count ;
2517};
2518#line 1069
2519struct io_context;
2520#line 1069
2521struct io_context;
2522#line 1097
2523struct pipe_inode_info;
2524#line 1097
2525struct pipe_inode_info;
2526#line 1099
2527struct rq;
2528#line 1099
2529struct rq;
2530#line 1100 "include/linux/sched.h"
2531struct sched_class {
2532 struct sched_class const *next ;
2533 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
2534 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
2535 void (*yield_task)(struct rq * ) ;
2536 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
2537 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
2538 struct task_struct *(*pick_next_task)(struct rq * ) ;
2539 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
2540 int (*select_task_rq)(struct task_struct * , int , int ) ;
2541 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
2542 void (*post_schedule)(struct rq * ) ;
2543 void (*task_waking)(struct task_struct * ) ;
2544 void (*task_woken)(struct rq * , struct task_struct * ) ;
2545 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
2546 void (*rq_online)(struct rq * ) ;
2547 void (*rq_offline)(struct rq * ) ;
2548 void (*set_curr_task)(struct rq * ) ;
2549 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
2550 void (*task_fork)(struct task_struct * ) ;
2551 void (*switched_from)(struct rq * , struct task_struct * ) ;
2552 void (*switched_to)(struct rq * , struct task_struct * ) ;
2553 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
2554 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
2555 void (*task_move_group)(struct task_struct * , int ) ;
2556};
2557#line 1165 "include/linux/sched.h"
2558struct load_weight {
2559 unsigned long weight ;
2560 unsigned long inv_weight ;
2561};
2562#line 1170 "include/linux/sched.h"
2563struct sched_statistics {
2564 u64 wait_start ;
2565 u64 wait_max ;
2566 u64 wait_count ;
2567 u64 wait_sum ;
2568 u64 iowait_count ;
2569 u64 iowait_sum ;
2570 u64 sleep_start ;
2571 u64 sleep_max ;
2572 s64 sum_sleep_runtime ;
2573 u64 block_start ;
2574 u64 block_max ;
2575 u64 exec_max ;
2576 u64 slice_max ;
2577 u64 nr_migrations_cold ;
2578 u64 nr_failed_migrations_affine ;
2579 u64 nr_failed_migrations_running ;
2580 u64 nr_failed_migrations_hot ;
2581 u64 nr_forced_migrations ;
2582 u64 nr_wakeups ;
2583 u64 nr_wakeups_sync ;
2584 u64 nr_wakeups_migrate ;
2585 u64 nr_wakeups_local ;
2586 u64 nr_wakeups_remote ;
2587 u64 nr_wakeups_affine ;
2588 u64 nr_wakeups_affine_attempts ;
2589 u64 nr_wakeups_passive ;
2590 u64 nr_wakeups_idle ;
2591};
2592#line 1205 "include/linux/sched.h"
2593struct sched_entity {
2594 struct load_weight load ;
2595 struct rb_node run_node ;
2596 struct list_head group_node ;
2597 unsigned int on_rq ;
2598 u64 exec_start ;
2599 u64 sum_exec_runtime ;
2600 u64 vruntime ;
2601 u64 prev_sum_exec_runtime ;
2602 u64 nr_migrations ;
2603 struct sched_statistics statistics ;
2604 struct sched_entity *parent ;
2605 struct cfs_rq *cfs_rq ;
2606 struct cfs_rq *my_q ;
2607};
2608#line 1231
2609struct rt_rq;
2610#line 1231 "include/linux/sched.h"
2611struct sched_rt_entity {
2612 struct list_head run_list ;
2613 unsigned long timeout ;
2614 unsigned int time_slice ;
2615 int nr_cpus_allowed ;
2616 struct sched_rt_entity *back ;
2617 struct sched_rt_entity *parent ;
2618 struct rt_rq *rt_rq ;
2619 struct rt_rq *my_q ;
2620};
2621#line 1255
2622struct mem_cgroup;
2623#line 1255 "include/linux/sched.h"
2624struct memcg_batch_info {
2625 int do_batch ;
2626 struct mem_cgroup *memcg ;
2627 unsigned long nr_pages ;
2628 unsigned long memsw_nr_pages ;
2629};
2630#line 1616
2631struct files_struct;
2632#line 1616
2633struct css_set;
2634#line 1616
2635struct compat_robust_list_head;
2636#line 1616 "include/linux/sched.h"
2637struct task_struct {
2638 long volatile state ;
2639 void *stack ;
2640 atomic_t usage ;
2641 unsigned int flags ;
2642 unsigned int ptrace ;
2643 struct llist_node wake_entry ;
2644 int on_cpu ;
2645 int on_rq ;
2646 int prio ;
2647 int static_prio ;
2648 int normal_prio ;
2649 unsigned int rt_priority ;
2650 struct sched_class const *sched_class ;
2651 struct sched_entity se ;
2652 struct sched_rt_entity rt ;
2653 struct hlist_head preempt_notifiers ;
2654 unsigned char fpu_counter ;
2655 unsigned int policy ;
2656 cpumask_t cpus_allowed ;
2657 struct sched_info sched_info ;
2658 struct list_head tasks ;
2659 struct plist_node pushable_tasks ;
2660 struct mm_struct *mm ;
2661 struct mm_struct *active_mm ;
2662 unsigned char brk_randomized : 1 ;
2663 int exit_state ;
2664 int exit_code ;
2665 int exit_signal ;
2666 int pdeath_signal ;
2667 unsigned int jobctl ;
2668 unsigned int personality ;
2669 unsigned char did_exec : 1 ;
2670 unsigned char in_execve : 1 ;
2671 unsigned char in_iowait : 1 ;
2672 unsigned char sched_reset_on_fork : 1 ;
2673 unsigned char sched_contributes_to_load : 1 ;
2674 unsigned char irq_thread : 1 ;
2675 pid_t pid ;
2676 pid_t tgid ;
2677 unsigned long stack_canary ;
2678 struct task_struct *real_parent ;
2679 struct task_struct *parent ;
2680 struct list_head children ;
2681 struct list_head sibling ;
2682 struct task_struct *group_leader ;
2683 struct list_head ptraced ;
2684 struct list_head ptrace_entry ;
2685 struct pid_link pids[3U] ;
2686 struct list_head thread_group ;
2687 struct completion *vfork_done ;
2688 int *set_child_tid ;
2689 int *clear_child_tid ;
2690 cputime_t utime ;
2691 cputime_t stime ;
2692 cputime_t utimescaled ;
2693 cputime_t stimescaled ;
2694 cputime_t gtime ;
2695 cputime_t prev_utime ;
2696 cputime_t prev_stime ;
2697 unsigned long nvcsw ;
2698 unsigned long nivcsw ;
2699 struct timespec start_time ;
2700 struct timespec real_start_time ;
2701 unsigned long min_flt ;
2702 unsigned long maj_flt ;
2703 struct task_cputime cputime_expires ;
2704 struct list_head cpu_timers[3U] ;
2705 struct cred const *real_cred ;
2706 struct cred const *cred ;
2707 struct cred *replacement_session_keyring ;
2708 char comm[16U] ;
2709 int link_count ;
2710 int total_link_count ;
2711 struct sysv_sem sysvsem ;
2712 unsigned long last_switch_count ;
2713 struct thread_struct thread ;
2714 struct fs_struct *fs ;
2715 struct files_struct *files ;
2716 struct nsproxy *nsproxy ;
2717 struct signal_struct *signal ;
2718 struct sighand_struct *sighand ;
2719 sigset_t blocked ;
2720 sigset_t real_blocked ;
2721 sigset_t saved_sigmask ;
2722 struct sigpending pending ;
2723 unsigned long sas_ss_sp ;
2724 size_t sas_ss_size ;
2725 int (*notifier)(void * ) ;
2726 void *notifier_data ;
2727 sigset_t *notifier_mask ;
2728 struct audit_context *audit_context ;
2729 uid_t loginuid ;
2730 unsigned int sessionid ;
2731 seccomp_t seccomp ;
2732 u32 parent_exec_id ;
2733 u32 self_exec_id ;
2734 spinlock_t alloc_lock ;
2735 raw_spinlock_t pi_lock ;
2736 struct plist_head pi_waiters ;
2737 struct rt_mutex_waiter *pi_blocked_on ;
2738 struct mutex_waiter *blocked_on ;
2739 unsigned int irq_events ;
2740 unsigned long hardirq_enable_ip ;
2741 unsigned long hardirq_disable_ip ;
2742 unsigned int hardirq_enable_event ;
2743 unsigned int hardirq_disable_event ;
2744 int hardirqs_enabled ;
2745 int hardirq_context ;
2746 unsigned long softirq_disable_ip ;
2747 unsigned long softirq_enable_ip ;
2748 unsigned int softirq_disable_event ;
2749 unsigned int softirq_enable_event ;
2750 int softirqs_enabled ;
2751 int softirq_context ;
2752 u64 curr_chain_key ;
2753 int lockdep_depth ;
2754 unsigned int lockdep_recursion ;
2755 struct held_lock held_locks[48U] ;
2756 gfp_t lockdep_reclaim_gfp ;
2757 void *journal_info ;
2758 struct bio_list *bio_list ;
2759 struct blk_plug *plug ;
2760 struct reclaim_state *reclaim_state ;
2761 struct backing_dev_info *backing_dev_info ;
2762 struct io_context *io_context ;
2763 unsigned long ptrace_message ;
2764 siginfo_t *last_siginfo ;
2765 struct task_io_accounting ioac ;
2766 u64 acct_rss_mem1 ;
2767 u64 acct_vm_mem1 ;
2768 cputime_t acct_timexpd ;
2769 nodemask_t mems_allowed ;
2770 seqcount_t mems_allowed_seq ;
2771 int cpuset_mem_spread_rotor ;
2772 int cpuset_slab_spread_rotor ;
2773 struct css_set *cgroups ;
2774 struct list_head cg_list ;
2775 struct robust_list_head *robust_list ;
2776 struct compat_robust_list_head *compat_robust_list ;
2777 struct list_head pi_state_list ;
2778 struct futex_pi_state *pi_state_cache ;
2779 struct perf_event_context *perf_event_ctxp[2U] ;
2780 struct mutex perf_event_mutex ;
2781 struct list_head perf_event_list ;
2782 struct mempolicy *mempolicy ;
2783 short il_next ;
2784 short pref_node_fork ;
2785 struct rcu_head rcu ;
2786 struct pipe_inode_info *splice_pipe ;
2787 struct task_delay_info *delays ;
2788 int make_it_fail ;
2789 int nr_dirtied ;
2790 int nr_dirtied_pause ;
2791 unsigned long dirty_paused_when ;
2792 int latency_record_count ;
2793 struct latency_record latency_record[32U] ;
2794 unsigned long timer_slack_ns ;
2795 unsigned long default_timer_slack_ns ;
2796 struct list_head *scm_work_list ;
2797 unsigned long trace ;
2798 unsigned long trace_recursion ;
2799 struct memcg_batch_info memcg_batch ;
2800 atomic_t ptrace_bp_refcnt ;
2801};
2802#line 53 "include/acpi/acpi_bus.h"
2803struct block_device;
2804#line 53
2805struct block_device;
2806#line 89 "include/linux/kdev_t.h"
2807struct hlist_bl_node;
2808#line 89 "include/linux/kdev_t.h"
2809struct hlist_bl_head {
2810 struct hlist_bl_node *first ;
2811};
2812#line 36 "include/linux/list_bl.h"
2813struct hlist_bl_node {
2814 struct hlist_bl_node *next ;
2815 struct hlist_bl_node **pprev ;
2816};
2817#line 114 "include/linux/rculist_bl.h"
2818struct nameidata;
2819#line 114
2820struct nameidata;
2821#line 115
2822struct path;
2823#line 115
2824struct path;
2825#line 116
2826struct vfsmount;
2827#line 116
2828struct vfsmount;
2829#line 117 "include/linux/rculist_bl.h"
2830struct qstr {
2831 unsigned int hash ;
2832 unsigned int len ;
2833 unsigned char const *name ;
2834};
2835#line 72 "include/linux/dcache.h"
2836struct dentry_operations;
2837#line 72
2838struct super_block;
2839#line 72 "include/linux/dcache.h"
2840union __anonunion_d_u_172 {
2841 struct list_head d_child ;
2842 struct rcu_head d_rcu ;
2843};
2844#line 72 "include/linux/dcache.h"
2845struct dentry {
2846 unsigned int d_flags ;
2847 seqcount_t d_seq ;
2848 struct hlist_bl_node d_hash ;
2849 struct dentry *d_parent ;
2850 struct qstr d_name ;
2851 struct inode *d_inode ;
2852 unsigned char d_iname[32U] ;
2853 unsigned int d_count ;
2854 spinlock_t d_lock ;
2855 struct dentry_operations const *d_op ;
2856 struct super_block *d_sb ;
2857 unsigned long d_time ;
2858 void *d_fsdata ;
2859 struct list_head d_lru ;
2860 union __anonunion_d_u_172 d_u ;
2861 struct list_head d_subdirs ;
2862 struct list_head d_alias ;
2863};
2864#line 123 "include/linux/dcache.h"
2865struct dentry_operations {
2866 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2867 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2868 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2869 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2870 int (*d_delete)(struct dentry const * ) ;
2871 void (*d_release)(struct dentry * ) ;
2872 void (*d_prune)(struct dentry * ) ;
2873 void (*d_iput)(struct dentry * , struct inode * ) ;
2874 char *(*d_dname)(struct dentry * , char * , int ) ;
2875 struct vfsmount *(*d_automount)(struct path * ) ;
2876 int (*d_manage)(struct dentry * , bool ) ;
2877};
2878#line 402 "include/linux/dcache.h"
2879struct path {
2880 struct vfsmount *mnt ;
2881 struct dentry *dentry ;
2882};
2883#line 58 "include/linux/radix-tree.h"
2884struct radix_tree_node;
2885#line 58 "include/linux/radix-tree.h"
2886struct radix_tree_root {
2887 unsigned int height ;
2888 gfp_t gfp_mask ;
2889 struct radix_tree_node *rnode ;
2890};
2891#line 45 "include/linux/semaphore.h"
2892struct fiemap_extent {
2893 __u64 fe_logical ;
2894 __u64 fe_physical ;
2895 __u64 fe_length ;
2896 __u64 fe_reserved64[2U] ;
2897 __u32 fe_flags ;
2898 __u32 fe_reserved[3U] ;
2899};
2900#line 38 "include/linux/fiemap.h"
2901enum migrate_mode {
2902 MIGRATE_ASYNC = 0,
2903 MIGRATE_SYNC_LIGHT = 1,
2904 MIGRATE_SYNC = 2
2905} ;
2906#line 44
2907struct export_operations;
2908#line 44
2909struct export_operations;
2910#line 46
2911struct poll_table_struct;
2912#line 46
2913struct poll_table_struct;
2914#line 47
2915struct kstatfs;
2916#line 47
2917struct kstatfs;
2918#line 435 "include/linux/fs.h"
2919struct iattr {
2920 unsigned int ia_valid ;
2921 umode_t ia_mode ;
2922 uid_t ia_uid ;
2923 gid_t ia_gid ;
2924 loff_t ia_size ;
2925 struct timespec ia_atime ;
2926 struct timespec ia_mtime ;
2927 struct timespec ia_ctime ;
2928 struct file *ia_file ;
2929};
2930#line 119 "include/linux/quota.h"
2931struct if_dqinfo {
2932 __u64 dqi_bgrace ;
2933 __u64 dqi_igrace ;
2934 __u32 dqi_flags ;
2935 __u32 dqi_valid ;
2936};
2937#line 152 "include/linux/quota.h"
2938struct fs_disk_quota {
2939 __s8 d_version ;
2940 __s8 d_flags ;
2941 __u16 d_fieldmask ;
2942 __u32 d_id ;
2943 __u64 d_blk_hardlimit ;
2944 __u64 d_blk_softlimit ;
2945 __u64 d_ino_hardlimit ;
2946 __u64 d_ino_softlimit ;
2947 __u64 d_bcount ;
2948 __u64 d_icount ;
2949 __s32 d_itimer ;
2950 __s32 d_btimer ;
2951 __u16 d_iwarns ;
2952 __u16 d_bwarns ;
2953 __s32 d_padding2 ;
2954 __u64 d_rtb_hardlimit ;
2955 __u64 d_rtb_softlimit ;
2956 __u64 d_rtbcount ;
2957 __s32 d_rtbtimer ;
2958 __u16 d_rtbwarns ;
2959 __s16 d_padding3 ;
2960 char d_padding4[8U] ;
2961};
2962#line 75 "include/linux/dqblk_xfs.h"
2963struct fs_qfilestat {
2964 __u64 qfs_ino ;
2965 __u64 qfs_nblks ;
2966 __u32 qfs_nextents ;
2967};
2968#line 150 "include/linux/dqblk_xfs.h"
2969typedef struct fs_qfilestat fs_qfilestat_t;
2970#line 151 "include/linux/dqblk_xfs.h"
2971struct fs_quota_stat {
2972 __s8 qs_version ;
2973 __u16 qs_flags ;
2974 __s8 qs_pad ;
2975 fs_qfilestat_t qs_uquota ;
2976 fs_qfilestat_t qs_gquota ;
2977 __u32 qs_incoredqs ;
2978 __s32 qs_btimelimit ;
2979 __s32 qs_itimelimit ;
2980 __s32 qs_rtbtimelimit ;
2981 __u16 qs_bwarnlimit ;
2982 __u16 qs_iwarnlimit ;
2983};
2984#line 165
2985struct dquot;
2986#line 165
2987struct dquot;
2988#line 185 "include/linux/quota.h"
2989typedef __kernel_uid32_t qid_t;
2990#line 186 "include/linux/quota.h"
2991typedef long long qsize_t;
2992#line 189 "include/linux/quota.h"
2993struct mem_dqblk {
2994 qsize_t dqb_bhardlimit ;
2995 qsize_t dqb_bsoftlimit ;
2996 qsize_t dqb_curspace ;
2997 qsize_t dqb_rsvspace ;
2998 qsize_t dqb_ihardlimit ;
2999 qsize_t dqb_isoftlimit ;
3000 qsize_t dqb_curinodes ;
3001 time_t dqb_btime ;
3002 time_t dqb_itime ;
3003};
3004#line 211
3005struct quota_format_type;
3006#line 211
3007struct quota_format_type;
3008#line 212 "include/linux/quota.h"
3009struct mem_dqinfo {
3010 struct quota_format_type *dqi_format ;
3011 int dqi_fmt_id ;
3012 struct list_head dqi_dirty_list ;
3013 unsigned long dqi_flags ;
3014 unsigned int dqi_bgrace ;
3015 unsigned int dqi_igrace ;
3016 qsize_t dqi_maxblimit ;
3017 qsize_t dqi_maxilimit ;
3018 void *dqi_priv ;
3019};
3020#line 275 "include/linux/quota.h"
3021struct dquot {
3022 struct hlist_node dq_hash ;
3023 struct list_head dq_inuse ;
3024 struct list_head dq_free ;
3025 struct list_head dq_dirty ;
3026 struct mutex dq_lock ;
3027 atomic_t dq_count ;
3028 wait_queue_head_t dq_wait_unused ;
3029 struct super_block *dq_sb ;
3030 unsigned int dq_id ;
3031 loff_t dq_off ;
3032 unsigned long dq_flags ;
3033 short dq_type ;
3034 struct mem_dqblk dq_dqb ;
3035};
3036#line 303 "include/linux/quota.h"
3037struct quota_format_ops {
3038 int (*check_quota_file)(struct super_block * , int ) ;
3039 int (*read_file_info)(struct super_block * , int ) ;
3040 int (*write_file_info)(struct super_block * , int ) ;
3041 int (*free_file_info)(struct super_block * , int ) ;
3042 int (*read_dqblk)(struct dquot * ) ;
3043 int (*commit_dqblk)(struct dquot * ) ;
3044 int (*release_dqblk)(struct dquot * ) ;
3045};
3046#line 314 "include/linux/quota.h"
3047struct dquot_operations {
3048 int (*write_dquot)(struct dquot * ) ;
3049 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
3050 void (*destroy_dquot)(struct dquot * ) ;
3051 int (*acquire_dquot)(struct dquot * ) ;
3052 int (*release_dquot)(struct dquot * ) ;
3053 int (*mark_dirty)(struct dquot * ) ;
3054 int (*write_info)(struct super_block * , int ) ;
3055 qsize_t *(*get_reserved_space)(struct inode * ) ;
3056};
3057#line 328 "include/linux/quota.h"
3058struct quotactl_ops {
3059 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
3060 int (*quota_on_meta)(struct super_block * , int , int ) ;
3061 int (*quota_off)(struct super_block * , int ) ;
3062 int (*quota_sync)(struct super_block * , int , int ) ;
3063 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
3064 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
3065 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3066 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3067 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
3068 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
3069};
3070#line 344 "include/linux/quota.h"
3071struct quota_format_type {
3072 int qf_fmt_id ;
3073 struct quota_format_ops const *qf_ops ;
3074 struct module *qf_owner ;
3075 struct quota_format_type *qf_next ;
3076};
3077#line 390 "include/linux/quota.h"
3078struct quota_info {
3079 unsigned int flags ;
3080 struct mutex dqio_mutex ;
3081 struct mutex dqonoff_mutex ;
3082 struct rw_semaphore dqptr_sem ;
3083 struct inode *files[2U] ;
3084 struct mem_dqinfo info[2U] ;
3085 struct quota_format_ops const *ops[2U] ;
3086};
3087#line 585 "include/linux/fs.h"
3088union __anonunion_arg_174 {
3089 char *buf ;
3090 void *data ;
3091};
3092#line 585 "include/linux/fs.h"
3093struct __anonstruct_read_descriptor_t_173 {
3094 size_t written ;
3095 size_t count ;
3096 union __anonunion_arg_174 arg ;
3097 int error ;
3098};
3099#line 585 "include/linux/fs.h"
3100typedef struct __anonstruct_read_descriptor_t_173 read_descriptor_t;
3101#line 588 "include/linux/fs.h"
3102struct address_space_operations {
3103 int (*writepage)(struct page * , struct writeback_control * ) ;
3104 int (*readpage)(struct file * , struct page * ) ;
3105 int (*writepages)(struct address_space * , struct writeback_control * ) ;
3106 int (*set_page_dirty)(struct page * ) ;
3107 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
3108 unsigned int ) ;
3109 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
3110 unsigned int , struct page ** , void ** ) ;
3111 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
3112 unsigned int , struct page * , void * ) ;
3113 sector_t (*bmap)(struct address_space * , sector_t ) ;
3114 void (*invalidatepage)(struct page * , unsigned long ) ;
3115 int (*releasepage)(struct page * , gfp_t ) ;
3116 void (*freepage)(struct page * ) ;
3117 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
3118 unsigned long ) ;
3119 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
3120 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
3121 int (*launder_page)(struct page * ) ;
3122 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
3123 int (*error_remove_page)(struct address_space * , struct page * ) ;
3124};
3125#line 642 "include/linux/fs.h"
3126struct address_space {
3127 struct inode *host ;
3128 struct radix_tree_root page_tree ;
3129 spinlock_t tree_lock ;
3130 unsigned int i_mmap_writable ;
3131 struct prio_tree_root i_mmap ;
3132 struct list_head i_mmap_nonlinear ;
3133 struct mutex i_mmap_mutex ;
3134 unsigned long nrpages ;
3135 unsigned long writeback_index ;
3136 struct address_space_operations const *a_ops ;
3137 unsigned long flags ;
3138 struct backing_dev_info *backing_dev_info ;
3139 spinlock_t private_lock ;
3140 struct list_head private_list ;
3141 struct address_space *assoc_mapping ;
3142};
3143#line 664
3144struct request_queue;
3145#line 664
3146struct request_queue;
3147#line 665
3148struct hd_struct;
3149#line 665
3150struct gendisk;
3151#line 665 "include/linux/fs.h"
3152struct block_device {
3153 dev_t bd_dev ;
3154 int bd_openers ;
3155 struct inode *bd_inode ;
3156 struct super_block *bd_super ;
3157 struct mutex bd_mutex ;
3158 struct list_head bd_inodes ;
3159 void *bd_claiming ;
3160 void *bd_holder ;
3161 int bd_holders ;
3162 bool bd_write_holder ;
3163 struct list_head bd_holder_disks ;
3164 struct block_device *bd_contains ;
3165 unsigned int bd_block_size ;
3166 struct hd_struct *bd_part ;
3167 unsigned int bd_part_count ;
3168 int bd_invalidated ;
3169 struct gendisk *bd_disk ;
3170 struct request_queue *bd_queue ;
3171 struct list_head bd_list ;
3172 unsigned long bd_private ;
3173 int bd_fsfreeze_count ;
3174 struct mutex bd_fsfreeze_mutex ;
3175};
3176#line 737
3177struct posix_acl;
3178#line 737
3179struct posix_acl;
3180#line 738
3181struct inode_operations;
3182#line 738 "include/linux/fs.h"
3183union __anonunion_ldv_26269_175 {
3184 unsigned int const i_nlink ;
3185 unsigned int __i_nlink ;
3186};
3187#line 738 "include/linux/fs.h"
3188union __anonunion_ldv_26288_176 {
3189 struct list_head i_dentry ;
3190 struct rcu_head i_rcu ;
3191};
3192#line 738
3193struct file_operations;
3194#line 738
3195struct file_lock;
3196#line 738
3197struct cdev;
3198#line 738 "include/linux/fs.h"
3199union __anonunion_ldv_26306_177 {
3200 struct pipe_inode_info *i_pipe ;
3201 struct block_device *i_bdev ;
3202 struct cdev *i_cdev ;
3203};
3204#line 738 "include/linux/fs.h"
3205struct inode {
3206 umode_t i_mode ;
3207 unsigned short i_opflags ;
3208 uid_t i_uid ;
3209 gid_t i_gid ;
3210 unsigned int i_flags ;
3211 struct posix_acl *i_acl ;
3212 struct posix_acl *i_default_acl ;
3213 struct inode_operations const *i_op ;
3214 struct super_block *i_sb ;
3215 struct address_space *i_mapping ;
3216 void *i_security ;
3217 unsigned long i_ino ;
3218 union __anonunion_ldv_26269_175 ldv_26269 ;
3219 dev_t i_rdev ;
3220 struct timespec i_atime ;
3221 struct timespec i_mtime ;
3222 struct timespec i_ctime ;
3223 spinlock_t i_lock ;
3224 unsigned short i_bytes ;
3225 blkcnt_t i_blocks ;
3226 loff_t i_size ;
3227 unsigned long i_state ;
3228 struct mutex i_mutex ;
3229 unsigned long dirtied_when ;
3230 struct hlist_node i_hash ;
3231 struct list_head i_wb_list ;
3232 struct list_head i_lru ;
3233 struct list_head i_sb_list ;
3234 union __anonunion_ldv_26288_176 ldv_26288 ;
3235 atomic_t i_count ;
3236 unsigned int i_blkbits ;
3237 u64 i_version ;
3238 atomic_t i_dio_count ;
3239 atomic_t i_writecount ;
3240 struct file_operations const *i_fop ;
3241 struct file_lock *i_flock ;
3242 struct address_space i_data ;
3243 struct dquot *i_dquot[2U] ;
3244 struct list_head i_devices ;
3245 union __anonunion_ldv_26306_177 ldv_26306 ;
3246 __u32 i_generation ;
3247 __u32 i_fsnotify_mask ;
3248 struct hlist_head i_fsnotify_marks ;
3249 atomic_t i_readcount ;
3250 void *i_private ;
3251};
3252#line 941 "include/linux/fs.h"
3253struct fown_struct {
3254 rwlock_t lock ;
3255 struct pid *pid ;
3256 enum pid_type pid_type ;
3257 uid_t uid ;
3258 uid_t euid ;
3259 int signum ;
3260};
3261#line 949 "include/linux/fs.h"
3262struct file_ra_state {
3263 unsigned long start ;
3264 unsigned int size ;
3265 unsigned int async_size ;
3266 unsigned int ra_pages ;
3267 unsigned int mmap_miss ;
3268 loff_t prev_pos ;
3269};
3270#line 972 "include/linux/fs.h"
3271union __anonunion_f_u_178 {
3272 struct list_head fu_list ;
3273 struct rcu_head fu_rcuhead ;
3274};
3275#line 972 "include/linux/fs.h"
3276struct file {
3277 union __anonunion_f_u_178 f_u ;
3278 struct path f_path ;
3279 struct file_operations const *f_op ;
3280 spinlock_t f_lock ;
3281 int f_sb_list_cpu ;
3282 atomic_long_t f_count ;
3283 unsigned int f_flags ;
3284 fmode_t f_mode ;
3285 loff_t f_pos ;
3286 struct fown_struct f_owner ;
3287 struct cred const *f_cred ;
3288 struct file_ra_state f_ra ;
3289 u64 f_version ;
3290 void *f_security ;
3291 void *private_data ;
3292 struct list_head f_ep_links ;
3293 struct list_head f_tfile_llink ;
3294 struct address_space *f_mapping ;
3295 unsigned long f_mnt_write_state ;
3296};
3297#line 1111 "include/linux/fs.h"
3298typedef struct files_struct *fl_owner_t;
3299#line 1112 "include/linux/fs.h"
3300struct file_lock_operations {
3301 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3302 void (*fl_release_private)(struct file_lock * ) ;
3303};
3304#line 1117 "include/linux/fs.h"
3305struct lock_manager_operations {
3306 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3307 void (*lm_notify)(struct file_lock * ) ;
3308 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
3309 void (*lm_release_private)(struct file_lock * ) ;
3310 void (*lm_break)(struct file_lock * ) ;
3311 int (*lm_change)(struct file_lock ** , int ) ;
3312};
3313#line 1134
3314struct nlm_lockowner;
3315#line 1134
3316struct nlm_lockowner;
3317#line 1135 "include/linux/fs.h"
3318struct nfs_lock_info {
3319 u32 state ;
3320 struct nlm_lockowner *owner ;
3321 struct list_head list ;
3322};
3323#line 14 "include/linux/nfs_fs_i.h"
3324struct nfs4_lock_state;
3325#line 14
3326struct nfs4_lock_state;
3327#line 15 "include/linux/nfs_fs_i.h"
3328struct nfs4_lock_info {
3329 struct nfs4_lock_state *owner ;
3330};
3331#line 19
3332struct fasync_struct;
3333#line 19 "include/linux/nfs_fs_i.h"
3334struct __anonstruct_afs_180 {
3335 struct list_head link ;
3336 int state ;
3337};
3338#line 19 "include/linux/nfs_fs_i.h"
3339union __anonunion_fl_u_179 {
3340 struct nfs_lock_info nfs_fl ;
3341 struct nfs4_lock_info nfs4_fl ;
3342 struct __anonstruct_afs_180 afs ;
3343};
3344#line 19 "include/linux/nfs_fs_i.h"
3345struct file_lock {
3346 struct file_lock *fl_next ;
3347 struct list_head fl_link ;
3348 struct list_head fl_block ;
3349 fl_owner_t fl_owner ;
3350 unsigned int fl_flags ;
3351 unsigned char fl_type ;
3352 unsigned int fl_pid ;
3353 struct pid *fl_nspid ;
3354 wait_queue_head_t fl_wait ;
3355 struct file *fl_file ;
3356 loff_t fl_start ;
3357 loff_t fl_end ;
3358 struct fasync_struct *fl_fasync ;
3359 unsigned long fl_break_time ;
3360 unsigned long fl_downgrade_time ;
3361 struct file_lock_operations const *fl_ops ;
3362 struct lock_manager_operations const *fl_lmops ;
3363 union __anonunion_fl_u_179 fl_u ;
3364};
3365#line 1221 "include/linux/fs.h"
3366struct fasync_struct {
3367 spinlock_t fa_lock ;
3368 int magic ;
3369 int fa_fd ;
3370 struct fasync_struct *fa_next ;
3371 struct file *fa_file ;
3372 struct rcu_head fa_rcu ;
3373};
3374#line 1417
3375struct file_system_type;
3376#line 1417
3377struct super_operations;
3378#line 1417
3379struct xattr_handler;
3380#line 1417
3381struct mtd_info;
3382#line 1417 "include/linux/fs.h"
3383struct super_block {
3384 struct list_head s_list ;
3385 dev_t s_dev ;
3386 unsigned char s_dirt ;
3387 unsigned char s_blocksize_bits ;
3388 unsigned long s_blocksize ;
3389 loff_t s_maxbytes ;
3390 struct file_system_type *s_type ;
3391 struct super_operations const *s_op ;
3392 struct dquot_operations const *dq_op ;
3393 struct quotactl_ops const *s_qcop ;
3394 struct export_operations const *s_export_op ;
3395 unsigned long s_flags ;
3396 unsigned long s_magic ;
3397 struct dentry *s_root ;
3398 struct rw_semaphore s_umount ;
3399 struct mutex s_lock ;
3400 int s_count ;
3401 atomic_t s_active ;
3402 void *s_security ;
3403 struct xattr_handler const **s_xattr ;
3404 struct list_head s_inodes ;
3405 struct hlist_bl_head s_anon ;
3406 struct list_head *s_files ;
3407 struct list_head s_mounts ;
3408 struct list_head s_dentry_lru ;
3409 int s_nr_dentry_unused ;
3410 spinlock_t s_inode_lru_lock ;
3411 struct list_head s_inode_lru ;
3412 int s_nr_inodes_unused ;
3413 struct block_device *s_bdev ;
3414 struct backing_dev_info *s_bdi ;
3415 struct mtd_info *s_mtd ;
3416 struct hlist_node s_instances ;
3417 struct quota_info s_dquot ;
3418 int s_frozen ;
3419 wait_queue_head_t s_wait_unfrozen ;
3420 char s_id[32U] ;
3421 u8 s_uuid[16U] ;
3422 void *s_fs_info ;
3423 unsigned int s_max_links ;
3424 fmode_t s_mode ;
3425 u32 s_time_gran ;
3426 struct mutex s_vfs_rename_mutex ;
3427 char *s_subtype ;
3428 char *s_options ;
3429 struct dentry_operations const *s_d_op ;
3430 int cleancache_poolid ;
3431 struct shrinker s_shrink ;
3432 atomic_long_t s_remove_count ;
3433 int s_readonly_remount ;
3434};
3435#line 1563 "include/linux/fs.h"
3436struct fiemap_extent_info {
3437 unsigned int fi_flags ;
3438 unsigned int fi_extents_mapped ;
3439 unsigned int fi_extents_max ;
3440 struct fiemap_extent *fi_extents_start ;
3441};
3442#line 1602 "include/linux/fs.h"
3443struct file_operations {
3444 struct module *owner ;
3445 loff_t (*llseek)(struct file * , loff_t , int ) ;
3446 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3447 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3448 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3449 loff_t ) ;
3450 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3451 loff_t ) ;
3452 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3453 loff_t , u64 , unsigned int ) ) ;
3454 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3455 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3456 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3457 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3458 int (*open)(struct inode * , struct file * ) ;
3459 int (*flush)(struct file * , fl_owner_t ) ;
3460 int (*release)(struct inode * , struct file * ) ;
3461 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
3462 int (*aio_fsync)(struct kiocb * , int ) ;
3463 int (*fasync)(int , struct file * , int ) ;
3464 int (*lock)(struct file * , int , struct file_lock * ) ;
3465 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3466 int ) ;
3467 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3468 unsigned long , unsigned long ) ;
3469 int (*check_flags)(int ) ;
3470 int (*flock)(struct file * , int , struct file_lock * ) ;
3471 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3472 unsigned int ) ;
3473 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3474 unsigned int ) ;
3475 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3476 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
3477};
3478#line 1637 "include/linux/fs.h"
3479struct inode_operations {
3480 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3481 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3482 int (*permission)(struct inode * , int ) ;
3483 struct posix_acl *(*get_acl)(struct inode * , int ) ;
3484 int (*readlink)(struct dentry * , char * , int ) ;
3485 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3486 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
3487 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3488 int (*unlink)(struct inode * , struct dentry * ) ;
3489 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3490 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
3491 int (*rmdir)(struct inode * , struct dentry * ) ;
3492 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
3493 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3494 void (*truncate)(struct inode * ) ;
3495 int (*setattr)(struct dentry * , struct iattr * ) ;
3496 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
3497 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3498 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3499 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3500 int (*removexattr)(struct dentry * , char const * ) ;
3501 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3502 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
3503};
3504#line 1682 "include/linux/fs.h"
3505struct super_operations {
3506 struct inode *(*alloc_inode)(struct super_block * ) ;
3507 void (*destroy_inode)(struct inode * ) ;
3508 void (*dirty_inode)(struct inode * , int ) ;
3509 int (*write_inode)(struct inode * , struct writeback_control * ) ;
3510 int (*drop_inode)(struct inode * ) ;
3511 void (*evict_inode)(struct inode * ) ;
3512 void (*put_super)(struct super_block * ) ;
3513 void (*write_super)(struct super_block * ) ;
3514 int (*sync_fs)(struct super_block * , int ) ;
3515 int (*freeze_fs)(struct super_block * ) ;
3516 int (*unfreeze_fs)(struct super_block * ) ;
3517 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3518 int (*remount_fs)(struct super_block * , int * , char * ) ;
3519 void (*umount_begin)(struct super_block * ) ;
3520 int (*show_options)(struct seq_file * , struct dentry * ) ;
3521 int (*show_devname)(struct seq_file * , struct dentry * ) ;
3522 int (*show_path)(struct seq_file * , struct dentry * ) ;
3523 int (*show_stats)(struct seq_file * , struct dentry * ) ;
3524 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3525 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3526 loff_t ) ;
3527 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3528 int (*nr_cached_objects)(struct super_block * ) ;
3529 void (*free_cached_objects)(struct super_block * , int ) ;
3530};
3531#line 1834 "include/linux/fs.h"
3532struct file_system_type {
3533 char const *name ;
3534 int fs_flags ;
3535 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3536 void (*kill_sb)(struct super_block * ) ;
3537 struct module *owner ;
3538 struct file_system_type *next ;
3539 struct hlist_head fs_supers ;
3540 struct lock_class_key s_lock_key ;
3541 struct lock_class_key s_umount_key ;
3542 struct lock_class_key s_vfs_rename_key ;
3543 struct lock_class_key i_lock_key ;
3544 struct lock_class_key i_mutex_key ;
3545 struct lock_class_key i_mutex_dir_key ;
3546};
3547#line 46 "include/linux/proc_fs.h"
3548typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
3549#line 48 "include/linux/proc_fs.h"
3550typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
3551#line 49 "include/linux/proc_fs.h"
3552struct proc_dir_entry {
3553 unsigned int low_ino ;
3554 umode_t mode ;
3555 nlink_t nlink ;
3556 uid_t uid ;
3557 gid_t gid ;
3558 loff_t size ;
3559 struct inode_operations const *proc_iops ;
3560 struct file_operations const *proc_fops ;
3561 struct proc_dir_entry *next ;
3562 struct proc_dir_entry *parent ;
3563 struct proc_dir_entry *subdir ;
3564 void *data ;
3565 read_proc_t *read_proc ;
3566 write_proc_t *write_proc ;
3567 atomic_t count ;
3568 int pde_users ;
3569 struct completion *pde_unload_completion ;
3570 struct list_head pde_openers ;
3571 spinlock_t pde_unload_lock ;
3572 u8 namelen ;
3573 char name[0U] ;
3574};
3575#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3576void ldv_spin_lock(void) ;
3577#line 3
3578void ldv_spin_unlock(void) ;
3579#line 4
3580int ldv_spin_trylock(void) ;
3581#line 26 "include/linux/export.h"
3582extern struct module __this_module ;
3583#line 220 "include/linux/slub_def.h"
3584extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
3585#line 223
3586void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3587#line 11 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3588void ldv_check_alloc_flags(gfp_t flags ) ;
3589#line 12
3590void ldv_check_alloc_nonatomic(void) ;
3591#line 14
3592struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3593#line 940 "include/linux/pci.h"
3594extern int __pci_register_driver(struct pci_driver * , struct module * , char const * ) ;
3595#line 949
3596extern void pci_unregister_driver(struct pci_driver * ) ;
3597#line 20 "include/acpi/video.h"
3598extern int acpi_video_register(void) ;
3599#line 21
3600extern void acpi_video_unregister(void) ;
3601#line 39 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3602static struct pci_device_id const pciidlist[3U] = { {32902U, 33032U, 4294967295U, 4294967295U, 0U, 0U, 0UL},
3603 {32902U, 33033U, 4294967295U, 4294967295U, 0U, 0U, 1UL},
3604 {0U, 0U, 0U, 0U, 0U, 0U, 0UL}};
3605#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3606static int poulsbo_probe(struct pci_dev *pdev , struct pci_device_id const *id )
3607{ int tmp ;
3608
3609 {
3610 {
3611#line 47
3612 tmp = acpi_video_register();
3613 }
3614#line 47
3615 return (tmp);
3616}
3617}
3618#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3619static void poulsbo_remove(struct pci_dev *pdev )
3620{
3621
3622 {
3623 {
3624#line 52
3625 acpi_video_unregister();
3626 }
3627#line 53
3628 return;
3629}
3630}
3631#line 55 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3632static struct pci_driver poulsbo_driver =
3633#line 55
3634 {{(struct list_head *)0, (struct list_head *)0}, "poulsbo", (struct pci_device_id const *)(& pciidlist),
3635 & poulsbo_probe, & poulsbo_remove, (int (*)(struct pci_dev * , pm_message_t ))0,
3636 (int (*)(struct pci_dev * , pm_message_t ))0, (int (*)(struct pci_dev * ))0,
3637 (int (*)(struct pci_dev * ))0, (void (*)(struct pci_dev * ))0, (struct pci_error_handlers *)0,
3638 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
3639 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device * ))0, (int (*)(struct device * ))0,
3640 (void (*)(struct device * ))0, (int (*)(struct device * , pm_message_t ))0,
3641 (int (*)(struct device * ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
3642 (struct driver_private *)0}, {{{{{{0U}}, 0U, 0U, (void *)0, {(struct lock_class_key *)0,
3643 {(struct lock_class *)0,
3644 (struct lock_class *)0},
3645 (char const *)0,
3646 0, 0UL}}}}, {(struct list_head *)0,
3647 (struct list_head *)0}}};
3648#line 62 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3649static int poulsbo_init(void)
3650{ int tmp ;
3651
3652 {
3653 {
3654#line 64
3655 tmp = __pci_register_driver(& poulsbo_driver, & __this_module, "poulsbo");
3656 }
3657#line 64
3658 return (tmp);
3659}
3660}
3661#line 67 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3662static void poulsbo_exit(void)
3663{
3664
3665 {
3666 {
3667#line 69
3668 pci_unregister_driver(& poulsbo_driver);
3669 }
3670#line 70
3671 return;
3672}
3673}
3674#line 79 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3675struct pci_device_id const __mod_pci_device_table ;
3676#line 97
3677extern void ldv_check_final_state(void) ;
3678#line 100
3679extern void ldv_check_return_value(int ) ;
3680#line 103
3681extern void ldv_initialize(void) ;
3682#line 106
3683extern int __VERIFIER_nondet_int(void) ;
3684#line 109 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3685int LDV_IN_INTERRUPT ;
3686#line 112 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3687void main(void)
3688{ struct pci_dev *var_group1 ;
3689 struct pci_device_id const *var_poulsbo_probe_0_p1 ;
3690 int res_poulsbo_probe_0 ;
3691 int ldv_s_poulsbo_driver_pci_driver ;
3692 int tmp ;
3693 int tmp___0 ;
3694 int tmp___1 ;
3695
3696 {
3697 {
3698#line 159
3699 ldv_s_poulsbo_driver_pci_driver = 0;
3700#line 140
3701 LDV_IN_INTERRUPT = 1;
3702#line 149
3703 ldv_initialize();
3704#line 157
3705 tmp = poulsbo_init();
3706 }
3707#line 157
3708 if (tmp != 0) {
3709#line 158
3710 goto ldv_final;
3711 } else {
3712
3713 }
3714#line 163
3715 goto ldv_29003;
3716 ldv_29002:
3717 {
3718#line 167
3719 tmp___0 = __VERIFIER_nondet_int();
3720 }
3721#line 169
3722 if (tmp___0 == 0) {
3723#line 169
3724 goto case_0;
3725 } else
3726#line 190
3727 if (tmp___0 == 1) {
3728#line 190
3729 goto case_1;
3730 } else {
3731 {
3732#line 208
3733 goto switch_default;
3734#line 167
3735 if (0) {
3736 case_0: ;
3737#line 172
3738 if (ldv_s_poulsbo_driver_pci_driver == 0) {
3739 {
3740#line 179
3741 res_poulsbo_probe_0 = poulsbo_probe(var_group1, var_poulsbo_probe_0_p1);
3742#line 180
3743 ldv_check_return_value(res_poulsbo_probe_0);
3744 }
3745#line 181
3746 if (res_poulsbo_probe_0 != 0) {
3747#line 182
3748 goto ldv_module_exit;
3749 } else {
3750
3751 }
3752#line 183
3753 ldv_s_poulsbo_driver_pci_driver = 0;
3754 } else {
3755
3756 }
3757#line 189
3758 goto ldv_28999;
3759 case_1:
3760 {
3761#line 200
3762 poulsbo_remove(var_group1);
3763 }
3764#line 207
3765 goto ldv_28999;
3766 switch_default: ;
3767#line 208
3768 goto ldv_28999;
3769 } else {
3770 switch_break: ;
3771 }
3772 }
3773 }
3774 ldv_28999: ;
3775 ldv_29003:
3776 {
3777#line 163
3778 tmp___1 = __VERIFIER_nondet_int();
3779 }
3780#line 163
3781 if (tmp___1 != 0) {
3782#line 165
3783 goto ldv_29002;
3784 } else
3785#line 163
3786 if (ldv_s_poulsbo_driver_pci_driver != 0) {
3787#line 165
3788 goto ldv_29002;
3789 } else {
3790#line 167
3791 goto ldv_29004;
3792 }
3793 ldv_29004: ;
3794 ldv_module_exit:
3795 {
3796#line 222
3797 poulsbo_exit();
3798 }
3799 ldv_final:
3800 {
3801#line 225
3802 ldv_check_final_state();
3803 }
3804#line 228
3805 return;
3806}
3807}
3808#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
3809void ldv_blast_assert(void)
3810{
3811
3812 {
3813 ERROR: ;
3814#line 6
3815 goto ERROR;
3816}
3817}
3818#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
3819extern int __VERIFIER_nondet_int(void) ;
3820#line 249 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3821int ldv_spin = 0;
3822#line 253 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3823void ldv_check_alloc_flags(gfp_t flags )
3824{
3825
3826 {
3827#line 256
3828 if (ldv_spin != 0) {
3829#line 256
3830 if (flags != 32U) {
3831 {
3832#line 256
3833 ldv_blast_assert();
3834 }
3835 } else {
3836
3837 }
3838 } else {
3839
3840 }
3841#line 259
3842 return;
3843}
3844}
3845#line 259
3846extern struct page *ldv_some_page(void) ;
3847#line 262 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3848struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
3849{ struct page *tmp ;
3850
3851 {
3852#line 265
3853 if (ldv_spin != 0) {
3854#line 265
3855 if (flags != 32U) {
3856 {
3857#line 265
3858 ldv_blast_assert();
3859 }
3860 } else {
3861
3862 }
3863 } else {
3864
3865 }
3866 {
3867#line 267
3868 tmp = ldv_some_page();
3869 }
3870#line 267
3871 return (tmp);
3872}
3873}
3874#line 271 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3875void ldv_check_alloc_nonatomic(void)
3876{
3877
3878 {
3879#line 274
3880 if (ldv_spin != 0) {
3881 {
3882#line 274
3883 ldv_blast_assert();
3884 }
3885 } else {
3886
3887 }
3888#line 277
3889 return;
3890}
3891}
3892#line 278 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3893void ldv_spin_lock(void)
3894{
3895
3896 {
3897#line 281
3898 ldv_spin = 1;
3899#line 282
3900 return;
3901}
3902}
3903#line 285 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3904void ldv_spin_unlock(void)
3905{
3906
3907 {
3908#line 288
3909 ldv_spin = 0;
3910#line 289
3911 return;
3912}
3913}
3914#line 292 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3915int ldv_spin_trylock(void)
3916{ int is_lock ;
3917
3918 {
3919 {
3920#line 297
3921 is_lock = __VERIFIER_nondet_int();
3922 }
3923#line 299
3924 if (is_lock != 0) {
3925#line 302
3926 return (0);
3927 } else {
3928#line 307
3929 ldv_spin = 1;
3930#line 309
3931 return (1);
3932 }
3933}
3934}
3935#line 476 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/10/dscv_tempdir/dscv/ri/43_1a/drivers/gpu/stub/poulsbo.c.p"
3936void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
3937{
3938
3939 {
3940 {
3941#line 482
3942 ldv_check_alloc_flags(ldv_func_arg2);
3943#line 484
3944 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
3945 }
3946#line 485
3947 return ((void *)0);
3948}
3949}