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