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 162 "include/acpi/actypes.h"
2803typedef u64 acpi_io_address;
2804#line 371 "include/acpi/actypes.h"
2805typedef u32 acpi_status;
2806#line 373 "include/acpi/actypes.h"
2807typedef char *acpi_string;
2808#line 374 "include/acpi/actypes.h"
2809typedef void *acpi_handle;
2810#line 556 "include/acpi/actypes.h"
2811typedef u32 acpi_object_type;
2812#line 807 "include/acpi/actypes.h"
2813struct __anonstruct_integer_165 {
2814 acpi_object_type type ;
2815 u64 value ;
2816};
2817#line 807 "include/acpi/actypes.h"
2818struct __anonstruct_string_166 {
2819 acpi_object_type type ;
2820 u32 length ;
2821 char *pointer ;
2822};
2823#line 807 "include/acpi/actypes.h"
2824struct __anonstruct_buffer_167 {
2825 acpi_object_type type ;
2826 u32 length ;
2827 u8 *pointer ;
2828};
2829#line 807 "include/acpi/actypes.h"
2830struct __anonstruct_package_168 {
2831 acpi_object_type type ;
2832 u32 count ;
2833 union acpi_object *elements ;
2834};
2835#line 807 "include/acpi/actypes.h"
2836struct __anonstruct_reference_169 {
2837 acpi_object_type type ;
2838 acpi_object_type actual_type ;
2839 acpi_handle handle ;
2840};
2841#line 807 "include/acpi/actypes.h"
2842struct __anonstruct_processor_170 {
2843 acpi_object_type type ;
2844 u32 proc_id ;
2845 acpi_io_address pblk_address ;
2846 u32 pblk_length ;
2847};
2848#line 807 "include/acpi/actypes.h"
2849struct __anonstruct_power_resource_171 {
2850 acpi_object_type type ;
2851 u32 system_level ;
2852 u32 resource_order ;
2853};
2854#line 807 "include/acpi/actypes.h"
2855union acpi_object {
2856 acpi_object_type type ;
2857 struct __anonstruct_integer_165 integer ;
2858 struct __anonstruct_string_166 string ;
2859 struct __anonstruct_buffer_167 buffer ;
2860 struct __anonstruct_package_168 package ;
2861 struct __anonstruct_reference_169 reference ;
2862 struct __anonstruct_processor_170 processor ;
2863 struct __anonstruct_power_resource_171 power_resource ;
2864};
2865#line 860 "include/acpi/actypes.h"
2866struct acpi_object_list {
2867 u32 count ;
2868 union acpi_object *pointer ;
2869};
2870#line 53 "include/acpi/acpi_bus.h"
2871struct block_device;
2872#line 53
2873struct block_device;
2874#line 89 "include/linux/kdev_t.h"
2875struct hlist_bl_node;
2876#line 89 "include/linux/kdev_t.h"
2877struct hlist_bl_head {
2878 struct hlist_bl_node *first ;
2879};
2880#line 36 "include/linux/list_bl.h"
2881struct hlist_bl_node {
2882 struct hlist_bl_node *next ;
2883 struct hlist_bl_node **pprev ;
2884};
2885#line 114 "include/linux/rculist_bl.h"
2886struct nameidata;
2887#line 114
2888struct nameidata;
2889#line 115
2890struct path;
2891#line 115
2892struct path;
2893#line 116
2894struct vfsmount;
2895#line 116
2896struct vfsmount;
2897#line 117 "include/linux/rculist_bl.h"
2898struct qstr {
2899 unsigned int hash ;
2900 unsigned int len ;
2901 unsigned char const *name ;
2902};
2903#line 72 "include/linux/dcache.h"
2904struct dentry_operations;
2905#line 72
2906struct super_block;
2907#line 72 "include/linux/dcache.h"
2908union __anonunion_d_u_172 {
2909 struct list_head d_child ;
2910 struct rcu_head d_rcu ;
2911};
2912#line 72 "include/linux/dcache.h"
2913struct dentry {
2914 unsigned int d_flags ;
2915 seqcount_t d_seq ;
2916 struct hlist_bl_node d_hash ;
2917 struct dentry *d_parent ;
2918 struct qstr d_name ;
2919 struct inode *d_inode ;
2920 unsigned char d_iname[32U] ;
2921 unsigned int d_count ;
2922 spinlock_t d_lock ;
2923 struct dentry_operations const *d_op ;
2924 struct super_block *d_sb ;
2925 unsigned long d_time ;
2926 void *d_fsdata ;
2927 struct list_head d_lru ;
2928 union __anonunion_d_u_172 d_u ;
2929 struct list_head d_subdirs ;
2930 struct list_head d_alias ;
2931};
2932#line 123 "include/linux/dcache.h"
2933struct dentry_operations {
2934 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2935 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2936 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2937 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2938 int (*d_delete)(struct dentry const * ) ;
2939 void (*d_release)(struct dentry * ) ;
2940 void (*d_prune)(struct dentry * ) ;
2941 void (*d_iput)(struct dentry * , struct inode * ) ;
2942 char *(*d_dname)(struct dentry * , char * , int ) ;
2943 struct vfsmount *(*d_automount)(struct path * ) ;
2944 int (*d_manage)(struct dentry * , bool ) ;
2945};
2946#line 402 "include/linux/dcache.h"
2947struct path {
2948 struct vfsmount *mnt ;
2949 struct dentry *dentry ;
2950};
2951#line 58 "include/linux/radix-tree.h"
2952struct radix_tree_node;
2953#line 58 "include/linux/radix-tree.h"
2954struct radix_tree_root {
2955 unsigned int height ;
2956 gfp_t gfp_mask ;
2957 struct radix_tree_node *rnode ;
2958};
2959#line 45 "include/linux/semaphore.h"
2960struct fiemap_extent {
2961 __u64 fe_logical ;
2962 __u64 fe_physical ;
2963 __u64 fe_length ;
2964 __u64 fe_reserved64[2U] ;
2965 __u32 fe_flags ;
2966 __u32 fe_reserved[3U] ;
2967};
2968#line 38 "include/linux/fiemap.h"
2969enum migrate_mode {
2970 MIGRATE_ASYNC = 0,
2971 MIGRATE_SYNC_LIGHT = 1,
2972 MIGRATE_SYNC = 2
2973} ;
2974#line 44
2975struct export_operations;
2976#line 44
2977struct export_operations;
2978#line 46
2979struct poll_table_struct;
2980#line 46
2981struct poll_table_struct;
2982#line 47
2983struct kstatfs;
2984#line 47
2985struct kstatfs;
2986#line 435 "include/linux/fs.h"
2987struct iattr {
2988 unsigned int ia_valid ;
2989 umode_t ia_mode ;
2990 uid_t ia_uid ;
2991 gid_t ia_gid ;
2992 loff_t ia_size ;
2993 struct timespec ia_atime ;
2994 struct timespec ia_mtime ;
2995 struct timespec ia_ctime ;
2996 struct file *ia_file ;
2997};
2998#line 119 "include/linux/quota.h"
2999struct if_dqinfo {
3000 __u64 dqi_bgrace ;
3001 __u64 dqi_igrace ;
3002 __u32 dqi_flags ;
3003 __u32 dqi_valid ;
3004};
3005#line 152 "include/linux/quota.h"
3006struct fs_disk_quota {
3007 __s8 d_version ;
3008 __s8 d_flags ;
3009 __u16 d_fieldmask ;
3010 __u32 d_id ;
3011 __u64 d_blk_hardlimit ;
3012 __u64 d_blk_softlimit ;
3013 __u64 d_ino_hardlimit ;
3014 __u64 d_ino_softlimit ;
3015 __u64 d_bcount ;
3016 __u64 d_icount ;
3017 __s32 d_itimer ;
3018 __s32 d_btimer ;
3019 __u16 d_iwarns ;
3020 __u16 d_bwarns ;
3021 __s32 d_padding2 ;
3022 __u64 d_rtb_hardlimit ;
3023 __u64 d_rtb_softlimit ;
3024 __u64 d_rtbcount ;
3025 __s32 d_rtbtimer ;
3026 __u16 d_rtbwarns ;
3027 __s16 d_padding3 ;
3028 char d_padding4[8U] ;
3029};
3030#line 75 "include/linux/dqblk_xfs.h"
3031struct fs_qfilestat {
3032 __u64 qfs_ino ;
3033 __u64 qfs_nblks ;
3034 __u32 qfs_nextents ;
3035};
3036#line 150 "include/linux/dqblk_xfs.h"
3037typedef struct fs_qfilestat fs_qfilestat_t;
3038#line 151 "include/linux/dqblk_xfs.h"
3039struct fs_quota_stat {
3040 __s8 qs_version ;
3041 __u16 qs_flags ;
3042 __s8 qs_pad ;
3043 fs_qfilestat_t qs_uquota ;
3044 fs_qfilestat_t qs_gquota ;
3045 __u32 qs_incoredqs ;
3046 __s32 qs_btimelimit ;
3047 __s32 qs_itimelimit ;
3048 __s32 qs_rtbtimelimit ;
3049 __u16 qs_bwarnlimit ;
3050 __u16 qs_iwarnlimit ;
3051};
3052#line 165
3053struct dquot;
3054#line 165
3055struct dquot;
3056#line 185 "include/linux/quota.h"
3057typedef __kernel_uid32_t qid_t;
3058#line 186 "include/linux/quota.h"
3059typedef long long qsize_t;
3060#line 189 "include/linux/quota.h"
3061struct mem_dqblk {
3062 qsize_t dqb_bhardlimit ;
3063 qsize_t dqb_bsoftlimit ;
3064 qsize_t dqb_curspace ;
3065 qsize_t dqb_rsvspace ;
3066 qsize_t dqb_ihardlimit ;
3067 qsize_t dqb_isoftlimit ;
3068 qsize_t dqb_curinodes ;
3069 time_t dqb_btime ;
3070 time_t dqb_itime ;
3071};
3072#line 211
3073struct quota_format_type;
3074#line 211
3075struct quota_format_type;
3076#line 212 "include/linux/quota.h"
3077struct mem_dqinfo {
3078 struct quota_format_type *dqi_format ;
3079 int dqi_fmt_id ;
3080 struct list_head dqi_dirty_list ;
3081 unsigned long dqi_flags ;
3082 unsigned int dqi_bgrace ;
3083 unsigned int dqi_igrace ;
3084 qsize_t dqi_maxblimit ;
3085 qsize_t dqi_maxilimit ;
3086 void *dqi_priv ;
3087};
3088#line 275 "include/linux/quota.h"
3089struct dquot {
3090 struct hlist_node dq_hash ;
3091 struct list_head dq_inuse ;
3092 struct list_head dq_free ;
3093 struct list_head dq_dirty ;
3094 struct mutex dq_lock ;
3095 atomic_t dq_count ;
3096 wait_queue_head_t dq_wait_unused ;
3097 struct super_block *dq_sb ;
3098 unsigned int dq_id ;
3099 loff_t dq_off ;
3100 unsigned long dq_flags ;
3101 short dq_type ;
3102 struct mem_dqblk dq_dqb ;
3103};
3104#line 303 "include/linux/quota.h"
3105struct quota_format_ops {
3106 int (*check_quota_file)(struct super_block * , int ) ;
3107 int (*read_file_info)(struct super_block * , int ) ;
3108 int (*write_file_info)(struct super_block * , int ) ;
3109 int (*free_file_info)(struct super_block * , int ) ;
3110 int (*read_dqblk)(struct dquot * ) ;
3111 int (*commit_dqblk)(struct dquot * ) ;
3112 int (*release_dqblk)(struct dquot * ) ;
3113};
3114#line 314 "include/linux/quota.h"
3115struct dquot_operations {
3116 int (*write_dquot)(struct dquot * ) ;
3117 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
3118 void (*destroy_dquot)(struct dquot * ) ;
3119 int (*acquire_dquot)(struct dquot * ) ;
3120 int (*release_dquot)(struct dquot * ) ;
3121 int (*mark_dirty)(struct dquot * ) ;
3122 int (*write_info)(struct super_block * , int ) ;
3123 qsize_t *(*get_reserved_space)(struct inode * ) ;
3124};
3125#line 328 "include/linux/quota.h"
3126struct quotactl_ops {
3127 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
3128 int (*quota_on_meta)(struct super_block * , int , int ) ;
3129 int (*quota_off)(struct super_block * , int ) ;
3130 int (*quota_sync)(struct super_block * , int , int ) ;
3131 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
3132 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
3133 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3134 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3135 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
3136 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
3137};
3138#line 344 "include/linux/quota.h"
3139struct quota_format_type {
3140 int qf_fmt_id ;
3141 struct quota_format_ops const *qf_ops ;
3142 struct module *qf_owner ;
3143 struct quota_format_type *qf_next ;
3144};
3145#line 390 "include/linux/quota.h"
3146struct quota_info {
3147 unsigned int flags ;
3148 struct mutex dqio_mutex ;
3149 struct mutex dqonoff_mutex ;
3150 struct rw_semaphore dqptr_sem ;
3151 struct inode *files[2U] ;
3152 struct mem_dqinfo info[2U] ;
3153 struct quota_format_ops const *ops[2U] ;
3154};
3155#line 585 "include/linux/fs.h"
3156union __anonunion_arg_174 {
3157 char *buf ;
3158 void *data ;
3159};
3160#line 585 "include/linux/fs.h"
3161struct __anonstruct_read_descriptor_t_173 {
3162 size_t written ;
3163 size_t count ;
3164 union __anonunion_arg_174 arg ;
3165 int error ;
3166};
3167#line 585 "include/linux/fs.h"
3168typedef struct __anonstruct_read_descriptor_t_173 read_descriptor_t;
3169#line 588 "include/linux/fs.h"
3170struct address_space_operations {
3171 int (*writepage)(struct page * , struct writeback_control * ) ;
3172 int (*readpage)(struct file * , struct page * ) ;
3173 int (*writepages)(struct address_space * , struct writeback_control * ) ;
3174 int (*set_page_dirty)(struct page * ) ;
3175 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
3176 unsigned int ) ;
3177 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
3178 unsigned int , struct page ** , void ** ) ;
3179 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
3180 unsigned int , struct page * , void * ) ;
3181 sector_t (*bmap)(struct address_space * , sector_t ) ;
3182 void (*invalidatepage)(struct page * , unsigned long ) ;
3183 int (*releasepage)(struct page * , gfp_t ) ;
3184 void (*freepage)(struct page * ) ;
3185 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
3186 unsigned long ) ;
3187 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
3188 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
3189 int (*launder_page)(struct page * ) ;
3190 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
3191 int (*error_remove_page)(struct address_space * , struct page * ) ;
3192};
3193#line 642 "include/linux/fs.h"
3194struct address_space {
3195 struct inode *host ;
3196 struct radix_tree_root page_tree ;
3197 spinlock_t tree_lock ;
3198 unsigned int i_mmap_writable ;
3199 struct prio_tree_root i_mmap ;
3200 struct list_head i_mmap_nonlinear ;
3201 struct mutex i_mmap_mutex ;
3202 unsigned long nrpages ;
3203 unsigned long writeback_index ;
3204 struct address_space_operations const *a_ops ;
3205 unsigned long flags ;
3206 struct backing_dev_info *backing_dev_info ;
3207 spinlock_t private_lock ;
3208 struct list_head private_list ;
3209 struct address_space *assoc_mapping ;
3210};
3211#line 664
3212struct request_queue;
3213#line 664
3214struct request_queue;
3215#line 665
3216struct hd_struct;
3217#line 665
3218struct gendisk;
3219#line 665 "include/linux/fs.h"
3220struct block_device {
3221 dev_t bd_dev ;
3222 int bd_openers ;
3223 struct inode *bd_inode ;
3224 struct super_block *bd_super ;
3225 struct mutex bd_mutex ;
3226 struct list_head bd_inodes ;
3227 void *bd_claiming ;
3228 void *bd_holder ;
3229 int bd_holders ;
3230 bool bd_write_holder ;
3231 struct list_head bd_holder_disks ;
3232 struct block_device *bd_contains ;
3233 unsigned int bd_block_size ;
3234 struct hd_struct *bd_part ;
3235 unsigned int bd_part_count ;
3236 int bd_invalidated ;
3237 struct gendisk *bd_disk ;
3238 struct request_queue *bd_queue ;
3239 struct list_head bd_list ;
3240 unsigned long bd_private ;
3241 int bd_fsfreeze_count ;
3242 struct mutex bd_fsfreeze_mutex ;
3243};
3244#line 737
3245struct posix_acl;
3246#line 737
3247struct posix_acl;
3248#line 738
3249struct inode_operations;
3250#line 738 "include/linux/fs.h"
3251union __anonunion_ldv_26269_175 {
3252 unsigned int const i_nlink ;
3253 unsigned int __i_nlink ;
3254};
3255#line 738 "include/linux/fs.h"
3256union __anonunion_ldv_26288_176 {
3257 struct list_head i_dentry ;
3258 struct rcu_head i_rcu ;
3259};
3260#line 738
3261struct file_operations;
3262#line 738
3263struct file_lock;
3264#line 738
3265struct cdev;
3266#line 738 "include/linux/fs.h"
3267union __anonunion_ldv_26306_177 {
3268 struct pipe_inode_info *i_pipe ;
3269 struct block_device *i_bdev ;
3270 struct cdev *i_cdev ;
3271};
3272#line 738 "include/linux/fs.h"
3273struct inode {
3274 umode_t i_mode ;
3275 unsigned short i_opflags ;
3276 uid_t i_uid ;
3277 gid_t i_gid ;
3278 unsigned int i_flags ;
3279 struct posix_acl *i_acl ;
3280 struct posix_acl *i_default_acl ;
3281 struct inode_operations const *i_op ;
3282 struct super_block *i_sb ;
3283 struct address_space *i_mapping ;
3284 void *i_security ;
3285 unsigned long i_ino ;
3286 union __anonunion_ldv_26269_175 ldv_26269 ;
3287 dev_t i_rdev ;
3288 struct timespec i_atime ;
3289 struct timespec i_mtime ;
3290 struct timespec i_ctime ;
3291 spinlock_t i_lock ;
3292 unsigned short i_bytes ;
3293 blkcnt_t i_blocks ;
3294 loff_t i_size ;
3295 unsigned long i_state ;
3296 struct mutex i_mutex ;
3297 unsigned long dirtied_when ;
3298 struct hlist_node i_hash ;
3299 struct list_head i_wb_list ;
3300 struct list_head i_lru ;
3301 struct list_head i_sb_list ;
3302 union __anonunion_ldv_26288_176 ldv_26288 ;
3303 atomic_t i_count ;
3304 unsigned int i_blkbits ;
3305 u64 i_version ;
3306 atomic_t i_dio_count ;
3307 atomic_t i_writecount ;
3308 struct file_operations const *i_fop ;
3309 struct file_lock *i_flock ;
3310 struct address_space i_data ;
3311 struct dquot *i_dquot[2U] ;
3312 struct list_head i_devices ;
3313 union __anonunion_ldv_26306_177 ldv_26306 ;
3314 __u32 i_generation ;
3315 __u32 i_fsnotify_mask ;
3316 struct hlist_head i_fsnotify_marks ;
3317 atomic_t i_readcount ;
3318 void *i_private ;
3319};
3320#line 941 "include/linux/fs.h"
3321struct fown_struct {
3322 rwlock_t lock ;
3323 struct pid *pid ;
3324 enum pid_type pid_type ;
3325 uid_t uid ;
3326 uid_t euid ;
3327 int signum ;
3328};
3329#line 949 "include/linux/fs.h"
3330struct file_ra_state {
3331 unsigned long start ;
3332 unsigned int size ;
3333 unsigned int async_size ;
3334 unsigned int ra_pages ;
3335 unsigned int mmap_miss ;
3336 loff_t prev_pos ;
3337};
3338#line 972 "include/linux/fs.h"
3339union __anonunion_f_u_178 {
3340 struct list_head fu_list ;
3341 struct rcu_head fu_rcuhead ;
3342};
3343#line 972 "include/linux/fs.h"
3344struct file {
3345 union __anonunion_f_u_178 f_u ;
3346 struct path f_path ;
3347 struct file_operations const *f_op ;
3348 spinlock_t f_lock ;
3349 int f_sb_list_cpu ;
3350 atomic_long_t f_count ;
3351 unsigned int f_flags ;
3352 fmode_t f_mode ;
3353 loff_t f_pos ;
3354 struct fown_struct f_owner ;
3355 struct cred const *f_cred ;
3356 struct file_ra_state f_ra ;
3357 u64 f_version ;
3358 void *f_security ;
3359 void *private_data ;
3360 struct list_head f_ep_links ;
3361 struct list_head f_tfile_llink ;
3362 struct address_space *f_mapping ;
3363 unsigned long f_mnt_write_state ;
3364};
3365#line 1111 "include/linux/fs.h"
3366typedef struct files_struct *fl_owner_t;
3367#line 1112 "include/linux/fs.h"
3368struct file_lock_operations {
3369 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3370 void (*fl_release_private)(struct file_lock * ) ;
3371};
3372#line 1117 "include/linux/fs.h"
3373struct lock_manager_operations {
3374 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3375 void (*lm_notify)(struct file_lock * ) ;
3376 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
3377 void (*lm_release_private)(struct file_lock * ) ;
3378 void (*lm_break)(struct file_lock * ) ;
3379 int (*lm_change)(struct file_lock ** , int ) ;
3380};
3381#line 1134
3382struct nlm_lockowner;
3383#line 1134
3384struct nlm_lockowner;
3385#line 1135 "include/linux/fs.h"
3386struct nfs_lock_info {
3387 u32 state ;
3388 struct nlm_lockowner *owner ;
3389 struct list_head list ;
3390};
3391#line 14 "include/linux/nfs_fs_i.h"
3392struct nfs4_lock_state;
3393#line 14
3394struct nfs4_lock_state;
3395#line 15 "include/linux/nfs_fs_i.h"
3396struct nfs4_lock_info {
3397 struct nfs4_lock_state *owner ;
3398};
3399#line 19
3400struct fasync_struct;
3401#line 19 "include/linux/nfs_fs_i.h"
3402struct __anonstruct_afs_180 {
3403 struct list_head link ;
3404 int state ;
3405};
3406#line 19 "include/linux/nfs_fs_i.h"
3407union __anonunion_fl_u_179 {
3408 struct nfs_lock_info nfs_fl ;
3409 struct nfs4_lock_info nfs4_fl ;
3410 struct __anonstruct_afs_180 afs ;
3411};
3412#line 19 "include/linux/nfs_fs_i.h"
3413struct file_lock {
3414 struct file_lock *fl_next ;
3415 struct list_head fl_link ;
3416 struct list_head fl_block ;
3417 fl_owner_t fl_owner ;
3418 unsigned int fl_flags ;
3419 unsigned char fl_type ;
3420 unsigned int fl_pid ;
3421 struct pid *fl_nspid ;
3422 wait_queue_head_t fl_wait ;
3423 struct file *fl_file ;
3424 loff_t fl_start ;
3425 loff_t fl_end ;
3426 struct fasync_struct *fl_fasync ;
3427 unsigned long fl_break_time ;
3428 unsigned long fl_downgrade_time ;
3429 struct file_lock_operations const *fl_ops ;
3430 struct lock_manager_operations const *fl_lmops ;
3431 union __anonunion_fl_u_179 fl_u ;
3432};
3433#line 1221 "include/linux/fs.h"
3434struct fasync_struct {
3435 spinlock_t fa_lock ;
3436 int magic ;
3437 int fa_fd ;
3438 struct fasync_struct *fa_next ;
3439 struct file *fa_file ;
3440 struct rcu_head fa_rcu ;
3441};
3442#line 1417
3443struct file_system_type;
3444#line 1417
3445struct super_operations;
3446#line 1417
3447struct xattr_handler;
3448#line 1417
3449struct mtd_info;
3450#line 1417 "include/linux/fs.h"
3451struct super_block {
3452 struct list_head s_list ;
3453 dev_t s_dev ;
3454 unsigned char s_dirt ;
3455 unsigned char s_blocksize_bits ;
3456 unsigned long s_blocksize ;
3457 loff_t s_maxbytes ;
3458 struct file_system_type *s_type ;
3459 struct super_operations const *s_op ;
3460 struct dquot_operations const *dq_op ;
3461 struct quotactl_ops const *s_qcop ;
3462 struct export_operations const *s_export_op ;
3463 unsigned long s_flags ;
3464 unsigned long s_magic ;
3465 struct dentry *s_root ;
3466 struct rw_semaphore s_umount ;
3467 struct mutex s_lock ;
3468 int s_count ;
3469 atomic_t s_active ;
3470 void *s_security ;
3471 struct xattr_handler const **s_xattr ;
3472 struct list_head s_inodes ;
3473 struct hlist_bl_head s_anon ;
3474 struct list_head *s_files ;
3475 struct list_head s_mounts ;
3476 struct list_head s_dentry_lru ;
3477 int s_nr_dentry_unused ;
3478 spinlock_t s_inode_lru_lock ;
3479 struct list_head s_inode_lru ;
3480 int s_nr_inodes_unused ;
3481 struct block_device *s_bdev ;
3482 struct backing_dev_info *s_bdi ;
3483 struct mtd_info *s_mtd ;
3484 struct hlist_node s_instances ;
3485 struct quota_info s_dquot ;
3486 int s_frozen ;
3487 wait_queue_head_t s_wait_unfrozen ;
3488 char s_id[32U] ;
3489 u8 s_uuid[16U] ;
3490 void *s_fs_info ;
3491 unsigned int s_max_links ;
3492 fmode_t s_mode ;
3493 u32 s_time_gran ;
3494 struct mutex s_vfs_rename_mutex ;
3495 char *s_subtype ;
3496 char *s_options ;
3497 struct dentry_operations const *s_d_op ;
3498 int cleancache_poolid ;
3499 struct shrinker s_shrink ;
3500 atomic_long_t s_remove_count ;
3501 int s_readonly_remount ;
3502};
3503#line 1563 "include/linux/fs.h"
3504struct fiemap_extent_info {
3505 unsigned int fi_flags ;
3506 unsigned int fi_extents_mapped ;
3507 unsigned int fi_extents_max ;
3508 struct fiemap_extent *fi_extents_start ;
3509};
3510#line 1602 "include/linux/fs.h"
3511struct file_operations {
3512 struct module *owner ;
3513 loff_t (*llseek)(struct file * , loff_t , int ) ;
3514 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3515 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3516 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3517 loff_t ) ;
3518 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3519 loff_t ) ;
3520 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3521 loff_t , u64 , unsigned int ) ) ;
3522 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3523 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3524 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3525 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3526 int (*open)(struct inode * , struct file * ) ;
3527 int (*flush)(struct file * , fl_owner_t ) ;
3528 int (*release)(struct inode * , struct file * ) ;
3529 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
3530 int (*aio_fsync)(struct kiocb * , int ) ;
3531 int (*fasync)(int , struct file * , int ) ;
3532 int (*lock)(struct file * , int , struct file_lock * ) ;
3533 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3534 int ) ;
3535 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3536 unsigned long , unsigned long ) ;
3537 int (*check_flags)(int ) ;
3538 int (*flock)(struct file * , int , struct file_lock * ) ;
3539 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3540 unsigned int ) ;
3541 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3542 unsigned int ) ;
3543 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3544 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
3545};
3546#line 1637 "include/linux/fs.h"
3547struct inode_operations {
3548 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3549 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3550 int (*permission)(struct inode * , int ) ;
3551 struct posix_acl *(*get_acl)(struct inode * , int ) ;
3552 int (*readlink)(struct dentry * , char * , int ) ;
3553 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3554 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
3555 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3556 int (*unlink)(struct inode * , struct dentry * ) ;
3557 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3558 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
3559 int (*rmdir)(struct inode * , struct dentry * ) ;
3560 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
3561 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3562 void (*truncate)(struct inode * ) ;
3563 int (*setattr)(struct dentry * , struct iattr * ) ;
3564 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
3565 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3566 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3567 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3568 int (*removexattr)(struct dentry * , char const * ) ;
3569 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3570 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
3571};
3572#line 1682 "include/linux/fs.h"
3573struct super_operations {
3574 struct inode *(*alloc_inode)(struct super_block * ) ;
3575 void (*destroy_inode)(struct inode * ) ;
3576 void (*dirty_inode)(struct inode * , int ) ;
3577 int (*write_inode)(struct inode * , struct writeback_control * ) ;
3578 int (*drop_inode)(struct inode * ) ;
3579 void (*evict_inode)(struct inode * ) ;
3580 void (*put_super)(struct super_block * ) ;
3581 void (*write_super)(struct super_block * ) ;
3582 int (*sync_fs)(struct super_block * , int ) ;
3583 int (*freeze_fs)(struct super_block * ) ;
3584 int (*unfreeze_fs)(struct super_block * ) ;
3585 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3586 int (*remount_fs)(struct super_block * , int * , char * ) ;
3587 void (*umount_begin)(struct super_block * ) ;
3588 int (*show_options)(struct seq_file * , struct dentry * ) ;
3589 int (*show_devname)(struct seq_file * , struct dentry * ) ;
3590 int (*show_path)(struct seq_file * , struct dentry * ) ;
3591 int (*show_stats)(struct seq_file * , struct dentry * ) ;
3592 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3593 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3594 loff_t ) ;
3595 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3596 int (*nr_cached_objects)(struct super_block * ) ;
3597 void (*free_cached_objects)(struct super_block * , int ) ;
3598};
3599#line 1834 "include/linux/fs.h"
3600struct file_system_type {
3601 char const *name ;
3602 int fs_flags ;
3603 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3604 void (*kill_sb)(struct super_block * ) ;
3605 struct module *owner ;
3606 struct file_system_type *next ;
3607 struct hlist_head fs_supers ;
3608 struct lock_class_key s_lock_key ;
3609 struct lock_class_key s_umount_key ;
3610 struct lock_class_key s_vfs_rename_key ;
3611 struct lock_class_key i_lock_key ;
3612 struct lock_class_key i_mutex_key ;
3613 struct lock_class_key i_mutex_dir_key ;
3614};
3615#line 46 "include/linux/proc_fs.h"
3616typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
3617#line 48 "include/linux/proc_fs.h"
3618typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
3619#line 49 "include/linux/proc_fs.h"
3620struct proc_dir_entry {
3621 unsigned int low_ino ;
3622 umode_t mode ;
3623 nlink_t nlink ;
3624 uid_t uid ;
3625 gid_t gid ;
3626 loff_t size ;
3627 struct inode_operations const *proc_iops ;
3628 struct file_operations const *proc_fops ;
3629 struct proc_dir_entry *next ;
3630 struct proc_dir_entry *parent ;
3631 struct proc_dir_entry *subdir ;
3632 void *data ;
3633 read_proc_t *read_proc ;
3634 write_proc_t *write_proc ;
3635 atomic_t count ;
3636 int pde_users ;
3637 struct completion *pde_unload_completion ;
3638 struct list_head pde_openers ;
3639 spinlock_t pde_unload_lock ;
3640 u8 namelen ;
3641 char name[0U] ;
3642};
3643#line 380 "include/linux/acpi.h"
3644struct ioapic {
3645 acpi_handle handle ;
3646 u32 gsi_base ;
3647};
3648#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
3649void ldv_spin_lock(void) ;
3650#line 3
3651void ldv_spin_unlock(void) ;
3652#line 4
3653int ldv_spin_trylock(void) ;
3654#line 26 "include/linux/export.h"
3655extern struct module __this_module ;
3656#line 161 "include/linux/slab.h"
3657extern void kfree(void const * ) ;
3658#line 220 "include/linux/slub_def.h"
3659extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
3660#line 223
3661void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3662#line 353 "include/linux/slab.h"
3663__inline static void *kzalloc(size_t size , gfp_t flags ) ;
3664#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
3665extern void *__VERIFIER_nondet_pointer(void) ;
3666#line 11
3667void ldv_check_alloc_flags(gfp_t flags ) ;
3668#line 12
3669void ldv_check_alloc_nonatomic(void) ;
3670#line 14
3671struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3672#line 792 "include/linux/device.h"
3673extern void *dev_get_drvdata(struct device const * ) ;
3674#line 793
3675extern int dev_set_drvdata(struct device * , void * ) ;
3676#line 898
3677extern int _dev_info(struct device const * , char const * , ...) ;
3678#line 773 "include/linux/pci.h"
3679extern int pci_enable_device(struct pci_dev * ) ;
3680#line 790
3681extern void pci_disable_device(struct pci_dev * ) ;
3682#line 793
3683extern void pci_set_master(struct pci_dev * ) ;
3684#line 907
3685extern int pci_request_region(struct pci_dev * , int , char const * ) ;
3686#line 909
3687extern void pci_release_region(struct pci_dev * , int ) ;
3688#line 940
3689extern int __pci_register_driver(struct pci_driver * , struct module * , char const * ) ;
3690#line 949
3691extern void pci_unregister_driver(struct pci_driver * ) ;
3692#line 1358 "include/linux/pci.h"
3693__inline static void *pci_get_drvdata(struct pci_dev *pdev )
3694{ void *tmp ;
3695 unsigned long __cil_tmp3 ;
3696 unsigned long __cil_tmp4 ;
3697 struct device *__cil_tmp5 ;
3698 struct device const *__cil_tmp6 ;
3699
3700 {
3701 {
3702#line 1360
3703 __cil_tmp3 = (unsigned long )pdev;
3704#line 1360
3705 __cil_tmp4 = __cil_tmp3 + 144;
3706#line 1360
3707 __cil_tmp5 = (struct device *)__cil_tmp4;
3708#line 1360
3709 __cil_tmp6 = (struct device const *)__cil_tmp5;
3710#line 1360
3711 tmp = dev_get_drvdata(__cil_tmp6);
3712 }
3713#line 1360
3714 return (tmp);
3715}
3716}
3717#line 1363 "include/linux/pci.h"
3718__inline static void pci_set_drvdata(struct pci_dev *pdev , void *data )
3719{ unsigned long __cil_tmp3 ;
3720 unsigned long __cil_tmp4 ;
3721 struct device *__cil_tmp5 ;
3722
3723 {
3724 {
3725#line 1365
3726 __cil_tmp3 = (unsigned long )pdev;
3727#line 1365
3728 __cil_tmp4 = __cil_tmp3 + 144;
3729#line 1365
3730 __cil_tmp5 = (struct device *)__cil_tmp4;
3731#line 1365
3732 dev_set_drvdata(__cil_tmp5, data);
3733 }
3734#line 1366
3735 return;
3736}
3737}
3738#line 45 "include/acpi/acpi_bus.h"
3739extern acpi_status acpi_evaluate_integer(acpi_handle , acpi_string , struct acpi_object_list * ,
3740 unsigned long long * ) ;
3741#line 108 "include/linux/acpi.h"
3742extern int acpi_register_ioapic(acpi_handle , u64 , u32 ) ;
3743#line 109
3744extern int acpi_unregister_ioapic(acpi_handle , u32 ) ;
3745#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
3746static int ioapic_probe(struct pci_dev *dev , struct pci_device_id const *ent )
3747{ acpi_handle handle ;
3748 acpi_status status ;
3749 unsigned long long gsb ;
3750 struct ioapic *ioapic ;
3751 int ret ;
3752 char *type ;
3753 struct resource *res ;
3754 void *tmp ;
3755 int tmp___0 ;
3756 int tmp___1 ;
3757 unsigned long __cil_tmp13 ;
3758 unsigned long __cil_tmp14 ;
3759 unsigned long __cil_tmp15 ;
3760 acpi_handle __cil_tmp16 ;
3761 unsigned long __cil_tmp17 ;
3762 unsigned long __cil_tmp18 ;
3763 char *__cil_tmp19 ;
3764 struct acpi_object_list *__cil_tmp20 ;
3765 struct ioapic *__cil_tmp21 ;
3766 unsigned long __cil_tmp22 ;
3767 unsigned long __cil_tmp23 ;
3768 unsigned long __cil_tmp24 ;
3769 unsigned long __cil_tmp25 ;
3770 unsigned long long *__cil_tmp26 ;
3771 unsigned long long __cil_tmp27 ;
3772 unsigned long __cil_tmp28 ;
3773 unsigned long __cil_tmp29 ;
3774 unsigned int __cil_tmp30 ;
3775 char const *__cil_tmp31 ;
3776 unsigned long __cil_tmp32 ;
3777 unsigned long __cil_tmp33 ;
3778 struct resource (*__cil_tmp34)[17U] ;
3779 acpi_handle __cil_tmp35 ;
3780 resource_size_t __cil_tmp36 ;
3781 unsigned long __cil_tmp37 ;
3782 unsigned long __cil_tmp38 ;
3783 u32 __cil_tmp39 ;
3784 void *__cil_tmp40 ;
3785 unsigned long __cil_tmp41 ;
3786 unsigned long __cil_tmp42 ;
3787 struct device *__cil_tmp43 ;
3788 struct device const *__cil_tmp44 ;
3789 unsigned long __cil_tmp45 ;
3790 unsigned long __cil_tmp46 ;
3791 u32 __cil_tmp47 ;
3792 void const *__cil_tmp48 ;
3793
3794 {
3795#line 55
3796 __cil_tmp13 = 144 + 968;
3797#line 55
3798 __cil_tmp14 = (unsigned long )dev;
3799#line 55
3800 __cil_tmp15 = __cil_tmp14 + __cil_tmp13;
3801#line 55
3802 handle = *((void **)__cil_tmp15);
3803 {
3804#line 56
3805 __cil_tmp16 = (acpi_handle )0;
3806#line 56
3807 __cil_tmp17 = (unsigned long )__cil_tmp16;
3808#line 56
3809 __cil_tmp18 = (unsigned long )handle;
3810#line 56
3811 if (__cil_tmp18 == __cil_tmp17) {
3812#line 57
3813 return (-22);
3814 } else {
3815
3816 }
3817 }
3818 {
3819#line 59
3820 __cil_tmp19 = (char *)"_GSB";
3821#line 59
3822 __cil_tmp20 = (struct acpi_object_list *)0;
3823#line 59
3824 status = acpi_evaluate_integer(handle, __cil_tmp19, __cil_tmp20, & gsb);
3825 }
3826#line 60
3827 if (status != 0U) {
3828#line 61
3829 return (-22);
3830 } else {
3831
3832 }
3833 {
3834#line 68
3835 tmp = kzalloc(16UL, 208U);
3836#line 68
3837 ioapic = (struct ioapic *)tmp;
3838 }
3839 {
3840#line 69
3841 __cil_tmp21 = (struct ioapic *)0;
3842#line 69
3843 __cil_tmp22 = (unsigned long )__cil_tmp21;
3844#line 69
3845 __cil_tmp23 = (unsigned long )ioapic;
3846#line 69
3847 if (__cil_tmp23 == __cil_tmp22) {
3848#line 70
3849 return (-12);
3850 } else {
3851
3852 }
3853 }
3854#line 72
3855 *((acpi_handle *)ioapic) = handle;
3856#line 73
3857 __cil_tmp24 = (unsigned long )ioapic;
3858#line 73
3859 __cil_tmp25 = __cil_tmp24 + 8;
3860#line 73
3861 __cil_tmp26 = & gsb;
3862#line 73
3863 __cil_tmp27 = *__cil_tmp26;
3864#line 73
3865 *((u32 *)__cil_tmp25) = (unsigned int )__cil_tmp27;
3866 {
3867#line 75
3868 __cil_tmp28 = (unsigned long )dev;
3869#line 75
3870 __cil_tmp29 = __cil_tmp28 + 68;
3871#line 75
3872 __cil_tmp30 = *((unsigned int *)__cil_tmp29);
3873#line 75
3874 if (__cil_tmp30 == 524304U) {
3875#line 76
3876 type = (char *)"IOAPIC";
3877 } else {
3878#line 78
3879 type = (char *)"IOxAPIC";
3880 }
3881 }
3882 {
3883#line 80
3884 ret = pci_enable_device(dev);
3885 }
3886#line 81
3887 if (ret < 0) {
3888#line 82
3889 goto exit_free;
3890 } else {
3891
3892 }
3893 {
3894#line 84
3895 pci_set_master(dev);
3896#line 86
3897 __cil_tmp31 = (char const *)type;
3898#line 86
3899 tmp___0 = pci_request_region(dev, 0, __cil_tmp31);
3900 }
3901#line 86
3902 if (tmp___0 != 0) {
3903#line 87
3904 goto exit_disable;
3905 } else {
3906
3907 }
3908 {
3909#line 89
3910 __cil_tmp32 = (unsigned long )dev;
3911#line 89
3912 __cil_tmp33 = __cil_tmp32 + 1304;
3913#line 89
3914 __cil_tmp34 = (struct resource (*)[17U])__cil_tmp33;
3915#line 89
3916 res = (struct resource *)__cil_tmp34;
3917#line 90
3918 __cil_tmp35 = *((acpi_handle *)ioapic);
3919#line 90
3920 __cil_tmp36 = *((resource_size_t *)res);
3921#line 90
3922 __cil_tmp37 = (unsigned long )ioapic;
3923#line 90
3924 __cil_tmp38 = __cil_tmp37 + 8;
3925#line 90
3926 __cil_tmp39 = *((u32 *)__cil_tmp38);
3927#line 90
3928 tmp___1 = acpi_register_ioapic(__cil_tmp35, __cil_tmp36, __cil_tmp39);
3929 }
3930#line 90
3931 if (tmp___1 != 0) {
3932#line 91
3933 goto exit_release;
3934 } else {
3935
3936 }
3937 {
3938#line 93
3939 __cil_tmp40 = (void *)ioapic;
3940#line 93
3941 pci_set_drvdata(dev, __cil_tmp40);
3942#line 94
3943 __cil_tmp41 = (unsigned long )dev;
3944#line 94
3945 __cil_tmp42 = __cil_tmp41 + 144;
3946#line 94
3947 __cil_tmp43 = (struct device *)__cil_tmp42;
3948#line 94
3949 __cil_tmp44 = (struct device const *)__cil_tmp43;
3950#line 94
3951 __cil_tmp45 = (unsigned long )ioapic;
3952#line 94
3953 __cil_tmp46 = __cil_tmp45 + 8;
3954#line 94
3955 __cil_tmp47 = *((u32 *)__cil_tmp46);
3956#line 94
3957 _dev_info(__cil_tmp44, "%s at %pR, GSI %u\n", type, res, __cil_tmp47);
3958 }
3959#line 95
3960 return (0);
3961 exit_release:
3962 {
3963#line 98
3964 pci_release_region(dev, 0);
3965 }
3966 exit_disable:
3967 {
3968#line 100
3969 pci_disable_device(dev);
3970 }
3971 exit_free:
3972 {
3973#line 102
3974 __cil_tmp48 = (void const *)ioapic;
3975#line 102
3976 kfree(__cil_tmp48);
3977 }
3978#line 103
3979 return (-19);
3980}
3981}
3982#line 106 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
3983static void ioapic_remove(struct pci_dev *dev )
3984{ struct ioapic *ioapic ;
3985 void *tmp ;
3986 acpi_handle __cil_tmp4 ;
3987 unsigned long __cil_tmp5 ;
3988 unsigned long __cil_tmp6 ;
3989 u32 __cil_tmp7 ;
3990 void const *__cil_tmp8 ;
3991
3992 {
3993 {
3994#line 108
3995 tmp = pci_get_drvdata(dev);
3996#line 108
3997 ioapic = (struct ioapic *)tmp;
3998#line 110
3999 __cil_tmp4 = *((acpi_handle *)ioapic);
4000#line 110
4001 __cil_tmp5 = (unsigned long )ioapic;
4002#line 110
4003 __cil_tmp6 = __cil_tmp5 + 8;
4004#line 110
4005 __cil_tmp7 = *((u32 *)__cil_tmp6);
4006#line 110
4007 acpi_unregister_ioapic(__cil_tmp4, __cil_tmp7);
4008#line 111
4009 pci_release_region(dev, 0);
4010#line 112
4011 pci_disable_device(dev);
4012#line 113
4013 __cil_tmp8 = (void const *)ioapic;
4014#line 113
4015 kfree(__cil_tmp8);
4016 }
4017#line 114
4018 return;
4019}
4020}
4021#line 117 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4022static struct pci_device_id const ioapic_devices[3U] = { {4294967295U, 4294967295U, 4294967295U, 4294967295U, 524304U, 4294967295U, 0UL},
4023 {4294967295U,
4024 4294967295U, 4294967295U, 4294967295U, 524320U, 4294967295U, 0UL},
4025 {0U, 0U, 0U, 0U, 0U, 0U, 0UL}};
4026#line 122 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4027struct pci_device_id const __mod_pci_device_table ;
4028#line 124 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4029static struct pci_driver ioapic_driver =
4030#line 124
4031 {{(struct list_head *)0, (struct list_head *)0}, "ioapic", (struct pci_device_id const *)(& ioapic_devices),
4032 & ioapic_probe, & ioapic_remove, (int (*)(struct pci_dev * , pm_message_t ))0,
4033 (int (*)(struct pci_dev * , pm_message_t ))0, (int (*)(struct pci_dev * ))0,
4034 (int (*)(struct pci_dev * ))0, (void (*)(struct pci_dev * ))0, (struct pci_error_handlers *)0,
4035 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
4036 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device * ))0, (int (*)(struct device * ))0,
4037 (void (*)(struct device * ))0, (int (*)(struct device * , pm_message_t ))0,
4038 (int (*)(struct device * ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
4039 (struct driver_private *)0}, {{{{{{0U}}, 0U, 0U, (void *)0, {(struct lock_class_key *)0,
4040 {(struct lock_class *)0,
4041 (struct lock_class *)0},
4042 (char const *)0,
4043 0, 0UL}}}}, {(struct list_head *)0,
4044 (struct list_head *)0}}};
4045#line 131 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4046static int ioapic_init(void)
4047{ int tmp ;
4048
4049 {
4050 {
4051#line 133
4052 tmp = __pci_register_driver(& ioapic_driver, & __this_module, "ioapic");
4053 }
4054#line 133
4055 return (tmp);
4056}
4057}
4058#line 136 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4059static void ioapic_exit(void)
4060{
4061
4062 {
4063 {
4064#line 138
4065 pci_unregister_driver(& ioapic_driver);
4066 }
4067#line 139
4068 return;
4069}
4070}
4071#line 160
4072extern void ldv_check_final_state(void) ;
4073#line 163
4074extern void ldv_check_return_value(int ) ;
4075#line 166
4076extern void ldv_initialize(void) ;
4077#line 169
4078extern int __VERIFIER_nondet_int(void) ;
4079#line 172 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4080int LDV_IN_INTERRUPT ;
4081#line 175 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4082void main(void)
4083{ struct pci_dev *var_group1 ;
4084 struct pci_device_id const *var_ioapic_probe_0_p1 ;
4085 int res_ioapic_probe_0 ;
4086 int ldv_s_ioapic_driver_pci_driver ;
4087 int tmp ;
4088 int tmp___0 ;
4089 int tmp___1 ;
4090
4091 {
4092 {
4093#line 214
4094 ldv_s_ioapic_driver_pci_driver = 0;
4095#line 197
4096 LDV_IN_INTERRUPT = 1;
4097#line 206
4098 ldv_initialize();
4099#line 212
4100 tmp = ioapic_init();
4101 }
4102#line 212
4103 if (tmp != 0) {
4104#line 213
4105 goto ldv_final;
4106 } else {
4107
4108 }
4109#line 217
4110 goto ldv_29001;
4111 ldv_29000:
4112 {
4113#line 221
4114 tmp___0 = __VERIFIER_nondet_int();
4115 }
4116#line 223
4117 if (tmp___0 == 0) {
4118#line 223
4119 goto case_0;
4120 } else {
4121 {
4122#line 242
4123 goto switch_default;
4124#line 221
4125 if (0) {
4126 case_0: ;
4127#line 226
4128 if (ldv_s_ioapic_driver_pci_driver == 0) {
4129 {
4130#line 231
4131 res_ioapic_probe_0 = ioapic_probe(var_group1, var_ioapic_probe_0_p1);
4132#line 232
4133 ldv_check_return_value(res_ioapic_probe_0);
4134 }
4135#line 233
4136 if (res_ioapic_probe_0 != 0) {
4137#line 234
4138 goto ldv_module_exit;
4139 } else {
4140
4141 }
4142#line 235
4143 ldv_s_ioapic_driver_pci_driver = 0;
4144 } else {
4145
4146 }
4147#line 241
4148 goto ldv_28998;
4149 switch_default: ;
4150#line 242
4151 goto ldv_28998;
4152 } else {
4153 switch_break: ;
4154 }
4155 }
4156 }
4157 ldv_28998: ;
4158 ldv_29001:
4159 {
4160#line 217
4161 tmp___1 = __VERIFIER_nondet_int();
4162 }
4163#line 217
4164 if (tmp___1 != 0) {
4165#line 219
4166 goto ldv_29000;
4167 } else
4168#line 217
4169 if (ldv_s_ioapic_driver_pci_driver != 0) {
4170#line 219
4171 goto ldv_29000;
4172 } else {
4173#line 221
4174 goto ldv_29002;
4175 }
4176 ldv_29002: ;
4177 ldv_module_exit:
4178 {
4179#line 254
4180 ioapic_exit();
4181 }
4182 ldv_final:
4183 {
4184#line 257
4185 ldv_check_final_state();
4186 }
4187#line 260
4188 return;
4189}
4190}
4191#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
4192void ldv_blast_assert(void)
4193{
4194
4195 {
4196 ERROR: ;
4197#line 6
4198 goto ERROR;
4199}
4200}
4201#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
4202extern int __VERIFIER_nondet_int(void) ;
4203#line 281 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4204int ldv_spin = 0;
4205#line 285 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4206void ldv_check_alloc_flags(gfp_t flags )
4207{
4208
4209 {
4210#line 288
4211 if (ldv_spin != 0) {
4212#line 288
4213 if (flags != 32U) {
4214 {
4215#line 288
4216 ldv_blast_assert();
4217 }
4218 } else {
4219
4220 }
4221 } else {
4222
4223 }
4224#line 291
4225 return;
4226}
4227}
4228#line 291
4229extern struct page *ldv_some_page(void) ;
4230#line 294 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4231struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
4232{ struct page *tmp ;
4233
4234 {
4235#line 297
4236 if (ldv_spin != 0) {
4237#line 297
4238 if (flags != 32U) {
4239 {
4240#line 297
4241 ldv_blast_assert();
4242 }
4243 } else {
4244
4245 }
4246 } else {
4247
4248 }
4249 {
4250#line 299
4251 tmp = ldv_some_page();
4252 }
4253#line 299
4254 return (tmp);
4255}
4256}
4257#line 303 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4258void ldv_check_alloc_nonatomic(void)
4259{
4260
4261 {
4262#line 306
4263 if (ldv_spin != 0) {
4264 {
4265#line 306
4266 ldv_blast_assert();
4267 }
4268 } else {
4269
4270 }
4271#line 309
4272 return;
4273}
4274}
4275#line 310 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4276void ldv_spin_lock(void)
4277{
4278
4279 {
4280#line 313
4281 ldv_spin = 1;
4282#line 314
4283 return;
4284}
4285}
4286#line 317 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4287void ldv_spin_unlock(void)
4288{
4289
4290 {
4291#line 320
4292 ldv_spin = 0;
4293#line 321
4294 return;
4295}
4296}
4297#line 324 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4298int ldv_spin_trylock(void)
4299{ int is_lock ;
4300
4301 {
4302 {
4303#line 329
4304 is_lock = __VERIFIER_nondet_int();
4305 }
4306#line 331
4307 if (is_lock != 0) {
4308#line 334
4309 return (0);
4310 } else {
4311#line 339
4312 ldv_spin = 1;
4313#line 341
4314 return (1);
4315 }
4316}
4317}
4318#line 508 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4319void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
4320{
4321
4322 {
4323 {
4324#line 514
4325 ldv_check_alloc_flags(ldv_func_arg2);
4326#line 516
4327 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
4328 }
4329#line 517
4330 return ((void *)0);
4331}
4332}
4333#line 519 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2505/dscv_tempdir/dscv/ri/43_1a/drivers/pci/ioapic.c.p"
4334__inline static void *kzalloc(size_t size , gfp_t flags )
4335{ void *tmp ;
4336
4337 {
4338 {
4339#line 525
4340 ldv_check_alloc_flags(flags);
4341#line 526
4342 tmp = __VERIFIER_nondet_pointer();
4343 }
4344#line 526
4345 return (tmp);
4346}
4347}