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