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