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