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