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 9 "include/linux/dynamic_debug.h"
146struct _ddebug {
147 char const *modname ;
148 char const *function ;
149 char const *filename ;
150 char const *format ;
151 unsigned int lineno : 18 ;
152 unsigned int flags : 8 ;
153} __attribute__((__aligned__(8))) ;
154#line 47
155struct device;
156#line 47
157struct device;
158#line 135 "include/linux/kernel.h"
159struct completion;
160#line 135
161struct completion;
162#line 136
163struct pt_regs;
164#line 136
165struct pt_regs;
166#line 349
167struct pid;
168#line 349
169struct pid;
170#line 12 "include/linux/thread_info.h"
171struct timespec;
172#line 12
173struct timespec;
174#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
175struct page;
176#line 18
177struct page;
178#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
179struct task_struct;
180#line 20
181struct task_struct;
182#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
183struct task_struct;
184#line 8
185struct mm_struct;
186#line 8
187struct mm_struct;
188#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
189struct pt_regs {
190 unsigned long r15 ;
191 unsigned long r14 ;
192 unsigned long r13 ;
193 unsigned long r12 ;
194 unsigned long bp ;
195 unsigned long bx ;
196 unsigned long r11 ;
197 unsigned long r10 ;
198 unsigned long r9 ;
199 unsigned long r8 ;
200 unsigned long ax ;
201 unsigned long cx ;
202 unsigned long dx ;
203 unsigned long si ;
204 unsigned long di ;
205 unsigned long orig_ax ;
206 unsigned long ip ;
207 unsigned long cs ;
208 unsigned long flags ;
209 unsigned long sp ;
210 unsigned long ss ;
211};
212#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
213struct __anonstruct____missing_field_name_15 {
214 unsigned int a ;
215 unsigned int b ;
216};
217#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
218struct __anonstruct____missing_field_name_16 {
219 u16 limit0 ;
220 u16 base0 ;
221 unsigned int base1 : 8 ;
222 unsigned int type : 4 ;
223 unsigned int s : 1 ;
224 unsigned int dpl : 2 ;
225 unsigned int p : 1 ;
226 unsigned int limit : 4 ;
227 unsigned int avl : 1 ;
228 unsigned int l : 1 ;
229 unsigned int d : 1 ;
230 unsigned int g : 1 ;
231 unsigned int base2 : 8 ;
232};
233#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
234union __anonunion____missing_field_name_14 {
235 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
236 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
237};
238#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
239struct desc_struct {
240 union __anonunion____missing_field_name_14 __annonCompField7 ;
241} __attribute__((__packed__)) ;
242#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
243typedef unsigned long pgdval_t;
244#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
245typedef unsigned long pgprotval_t;
246#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
247struct pgprot {
248 pgprotval_t pgprot ;
249};
250#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
251typedef struct pgprot pgprot_t;
252#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
253struct __anonstruct_pgd_t_20 {
254 pgdval_t pgd ;
255};
256#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
257typedef struct __anonstruct_pgd_t_20 pgd_t;
258#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
259typedef struct page *pgtable_t;
260#line 295
261struct file;
262#line 295
263struct file;
264#line 313
265struct seq_file;
266#line 313
267struct seq_file;
268#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
269struct page;
270#line 47
271struct thread_struct;
272#line 47
273struct thread_struct;
274#line 50
275struct mm_struct;
276#line 51
277struct desc_struct;
278#line 52
279struct task_struct;
280#line 53
281struct cpumask;
282#line 53
283struct cpumask;
284#line 329
285struct arch_spinlock;
286#line 329
287struct arch_spinlock;
288#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
289struct task_struct;
290#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
291struct kernel_vm86_regs {
292 struct pt_regs pt ;
293 unsigned short es ;
294 unsigned short __esh ;
295 unsigned short ds ;
296 unsigned short __dsh ;
297 unsigned short fs ;
298 unsigned short __fsh ;
299 unsigned short gs ;
300 unsigned short __gsh ;
301};
302#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
303union __anonunion____missing_field_name_24 {
304 struct pt_regs *regs ;
305 struct kernel_vm86_regs *vm86 ;
306};
307#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
308struct math_emu_info {
309 long ___orig_eip ;
310 union __anonunion____missing_field_name_24 __annonCompField8 ;
311};
312#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
313struct task_struct;
314#line 10 "include/asm-generic/bug.h"
315struct bug_entry {
316 int bug_addr_disp ;
317 int file_disp ;
318 unsigned short line ;
319 unsigned short flags ;
320};
321#line 12 "include/linux/bug.h"
322struct pt_regs;
323#line 14 "include/linux/cpumask.h"
324struct cpumask {
325 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
326};
327#line 14 "include/linux/cpumask.h"
328typedef struct cpumask cpumask_t;
329#line 637 "include/linux/cpumask.h"
330typedef struct cpumask *cpumask_var_t;
331#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
332struct static_key;
333#line 234
334struct static_key;
335#line 11 "include/linux/personality.h"
336struct pt_regs;
337#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
338struct i387_fsave_struct {
339 u32 cwd ;
340 u32 swd ;
341 u32 twd ;
342 u32 fip ;
343 u32 fcs ;
344 u32 foo ;
345 u32 fos ;
346 u32 st_space[20] ;
347 u32 status ;
348};
349#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
350struct __anonstruct____missing_field_name_31 {
351 u64 rip ;
352 u64 rdp ;
353};
354#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
355struct __anonstruct____missing_field_name_32 {
356 u32 fip ;
357 u32 fcs ;
358 u32 foo ;
359 u32 fos ;
360};
361#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
362union __anonunion____missing_field_name_30 {
363 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
364 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
365};
366#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
367union __anonunion____missing_field_name_33 {
368 u32 padding1[12] ;
369 u32 sw_reserved[12] ;
370};
371#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
372struct i387_fxsave_struct {
373 u16 cwd ;
374 u16 swd ;
375 u16 twd ;
376 u16 fop ;
377 union __anonunion____missing_field_name_30 __annonCompField14 ;
378 u32 mxcsr ;
379 u32 mxcsr_mask ;
380 u32 st_space[32] ;
381 u32 xmm_space[64] ;
382 u32 padding[12] ;
383 union __anonunion____missing_field_name_33 __annonCompField15 ;
384} __attribute__((__aligned__(16))) ;
385#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
386struct i387_soft_struct {
387 u32 cwd ;
388 u32 swd ;
389 u32 twd ;
390 u32 fip ;
391 u32 fcs ;
392 u32 foo ;
393 u32 fos ;
394 u32 st_space[20] ;
395 u8 ftop ;
396 u8 changed ;
397 u8 lookahead ;
398 u8 no_update ;
399 u8 rm ;
400 u8 alimit ;
401 struct math_emu_info *info ;
402 u32 entry_eip ;
403};
404#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
405struct ymmh_struct {
406 u32 ymmh_space[64] ;
407};
408#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
409struct xsave_hdr_struct {
410 u64 xstate_bv ;
411 u64 reserved1[2] ;
412 u64 reserved2[5] ;
413} __attribute__((__packed__)) ;
414#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
415struct xsave_struct {
416 struct i387_fxsave_struct i387 ;
417 struct xsave_hdr_struct xsave_hdr ;
418 struct ymmh_struct ymmh ;
419} __attribute__((__packed__, __aligned__(64))) ;
420#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
421union thread_xstate {
422 struct i387_fsave_struct fsave ;
423 struct i387_fxsave_struct fxsave ;
424 struct i387_soft_struct soft ;
425 struct xsave_struct xsave ;
426};
427#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
428struct fpu {
429 unsigned int last_cpu ;
430 unsigned int has_fpu ;
431 union thread_xstate *state ;
432};
433#line 433
434struct kmem_cache;
435#line 435
436struct perf_event;
437#line 435
438struct perf_event;
439#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
440struct thread_struct {
441 struct desc_struct tls_array[3] ;
442 unsigned long sp0 ;
443 unsigned long sp ;
444 unsigned long usersp ;
445 unsigned short es ;
446 unsigned short ds ;
447 unsigned short fsindex ;
448 unsigned short gsindex ;
449 unsigned long fs ;
450 unsigned long gs ;
451 struct perf_event *ptrace_bps[4] ;
452 unsigned long debugreg6 ;
453 unsigned long ptrace_dr7 ;
454 unsigned long cr2 ;
455 unsigned long trap_nr ;
456 unsigned long error_code ;
457 struct fpu fpu ;
458 unsigned long *io_bitmap_ptr ;
459 unsigned long iopl ;
460 unsigned int io_bitmap_max ;
461};
462#line 23 "include/asm-generic/atomic-long.h"
463typedef atomic64_t atomic_long_t;
464#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
465typedef u16 __ticket_t;
466#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
467typedef u32 __ticketpair_t;
468#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
469struct __raw_tickets {
470 __ticket_t head ;
471 __ticket_t tail ;
472};
473#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
474union __anonunion____missing_field_name_36 {
475 __ticketpair_t head_tail ;
476 struct __raw_tickets tickets ;
477};
478#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
479struct arch_spinlock {
480 union __anonunion____missing_field_name_36 __annonCompField17 ;
481};
482#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
483typedef struct arch_spinlock arch_spinlock_t;
484#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
485struct __anonstruct____missing_field_name_38 {
486 u32 read ;
487 s32 write ;
488};
489#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
490union __anonunion_arch_rwlock_t_37 {
491 s64 lock ;
492 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
493};
494#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
495typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
496#line 12 "include/linux/lockdep.h"
497struct task_struct;
498#line 391 "include/linux/lockdep.h"
499struct lock_class_key {
500
501};
502#line 20 "include/linux/spinlock_types.h"
503struct raw_spinlock {
504 arch_spinlock_t raw_lock ;
505 unsigned int magic ;
506 unsigned int owner_cpu ;
507 void *owner ;
508};
509#line 20 "include/linux/spinlock_types.h"
510typedef struct raw_spinlock raw_spinlock_t;
511#line 64 "include/linux/spinlock_types.h"
512union __anonunion____missing_field_name_39 {
513 struct raw_spinlock rlock ;
514};
515#line 64 "include/linux/spinlock_types.h"
516struct spinlock {
517 union __anonunion____missing_field_name_39 __annonCompField19 ;
518};
519#line 64 "include/linux/spinlock_types.h"
520typedef struct spinlock spinlock_t;
521#line 11 "include/linux/rwlock_types.h"
522struct __anonstruct_rwlock_t_40 {
523 arch_rwlock_t raw_lock ;
524 unsigned int magic ;
525 unsigned int owner_cpu ;
526 void *owner ;
527};
528#line 11 "include/linux/rwlock_types.h"
529typedef struct __anonstruct_rwlock_t_40 rwlock_t;
530#line 119 "include/linux/seqlock.h"
531struct seqcount {
532 unsigned int sequence ;
533};
534#line 119 "include/linux/seqlock.h"
535typedef struct seqcount seqcount_t;
536#line 14 "include/linux/time.h"
537struct timespec {
538 __kernel_time_t tv_sec ;
539 long tv_nsec ;
540};
541#line 62 "include/linux/stat.h"
542struct kstat {
543 u64 ino ;
544 dev_t dev ;
545 umode_t mode ;
546 unsigned int nlink ;
547 uid_t uid ;
548 gid_t gid ;
549 dev_t rdev ;
550 loff_t size ;
551 struct timespec atime ;
552 struct timespec mtime ;
553 struct timespec ctime ;
554 unsigned long blksize ;
555 unsigned long long blocks ;
556};
557#line 49 "include/linux/wait.h"
558struct __wait_queue_head {
559 spinlock_t lock ;
560 struct list_head task_list ;
561};
562#line 53 "include/linux/wait.h"
563typedef struct __wait_queue_head wait_queue_head_t;
564#line 55
565struct task_struct;
566#line 98 "include/linux/nodemask.h"
567struct __anonstruct_nodemask_t_42 {
568 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
569};
570#line 98 "include/linux/nodemask.h"
571typedef struct __anonstruct_nodemask_t_42 nodemask_t;
572#line 60 "include/linux/pageblock-flags.h"
573struct page;
574#line 48 "include/linux/mutex.h"
575struct mutex {
576 atomic_t count ;
577 spinlock_t wait_lock ;
578 struct list_head wait_list ;
579 struct task_struct *owner ;
580 char const *name ;
581 void *magic ;
582};
583#line 69 "include/linux/mutex.h"
584struct mutex_waiter {
585 struct list_head list ;
586 struct task_struct *task ;
587 void *magic ;
588};
589#line 19 "include/linux/rwsem.h"
590struct rw_semaphore;
591#line 19
592struct rw_semaphore;
593#line 25 "include/linux/rwsem.h"
594struct rw_semaphore {
595 long count ;
596 raw_spinlock_t wait_lock ;
597 struct list_head wait_list ;
598};
599#line 25 "include/linux/completion.h"
600struct completion {
601 unsigned int done ;
602 wait_queue_head_t wait ;
603};
604#line 9 "include/linux/memory_hotplug.h"
605struct page;
606#line 18 "include/linux/ioport.h"
607struct resource {
608 resource_size_t start ;
609 resource_size_t end ;
610 char const *name ;
611 unsigned long flags ;
612 struct resource *parent ;
613 struct resource *sibling ;
614 struct resource *child ;
615};
616#line 202
617struct device;
618#line 182 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
619struct pci_dev;
620#line 182
621struct pci_dev;
622#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
623struct device;
624#line 46 "include/linux/ktime.h"
625union ktime {
626 s64 tv64 ;
627};
628#line 59 "include/linux/ktime.h"
629typedef union ktime ktime_t;
630#line 10 "include/linux/timer.h"
631struct tvec_base;
632#line 10
633struct tvec_base;
634#line 12 "include/linux/timer.h"
635struct timer_list {
636 struct list_head entry ;
637 unsigned long expires ;
638 struct tvec_base *base ;
639 void (*function)(unsigned long ) ;
640 unsigned long data ;
641 int slack ;
642 int start_pid ;
643 void *start_site ;
644 char start_comm[16] ;
645};
646#line 289
647struct hrtimer;
648#line 289
649struct hrtimer;
650#line 290
651enum hrtimer_restart;
652#line 17 "include/linux/workqueue.h"
653struct work_struct;
654#line 17
655struct work_struct;
656#line 79 "include/linux/workqueue.h"
657struct work_struct {
658 atomic_long_t data ;
659 struct list_head entry ;
660 void (*func)(struct work_struct *work ) ;
661};
662#line 92 "include/linux/workqueue.h"
663struct delayed_work {
664 struct work_struct work ;
665 struct timer_list timer ;
666};
667#line 42 "include/linux/pm.h"
668struct device;
669#line 50 "include/linux/pm.h"
670struct pm_message {
671 int event ;
672};
673#line 50 "include/linux/pm.h"
674typedef struct pm_message pm_message_t;
675#line 264 "include/linux/pm.h"
676struct dev_pm_ops {
677 int (*prepare)(struct device *dev ) ;
678 void (*complete)(struct device *dev ) ;
679 int (*suspend)(struct device *dev ) ;
680 int (*resume)(struct device *dev ) ;
681 int (*freeze)(struct device *dev ) ;
682 int (*thaw)(struct device *dev ) ;
683 int (*poweroff)(struct device *dev ) ;
684 int (*restore)(struct device *dev ) ;
685 int (*suspend_late)(struct device *dev ) ;
686 int (*resume_early)(struct device *dev ) ;
687 int (*freeze_late)(struct device *dev ) ;
688 int (*thaw_early)(struct device *dev ) ;
689 int (*poweroff_late)(struct device *dev ) ;
690 int (*restore_early)(struct device *dev ) ;
691 int (*suspend_noirq)(struct device *dev ) ;
692 int (*resume_noirq)(struct device *dev ) ;
693 int (*freeze_noirq)(struct device *dev ) ;
694 int (*thaw_noirq)(struct device *dev ) ;
695 int (*poweroff_noirq)(struct device *dev ) ;
696 int (*restore_noirq)(struct device *dev ) ;
697 int (*runtime_suspend)(struct device *dev ) ;
698 int (*runtime_resume)(struct device *dev ) ;
699 int (*runtime_idle)(struct device *dev ) ;
700};
701#line 458
702enum rpm_status {
703 RPM_ACTIVE = 0,
704 RPM_RESUMING = 1,
705 RPM_SUSPENDED = 2,
706 RPM_SUSPENDING = 3
707} ;
708#line 480
709enum rpm_request {
710 RPM_REQ_NONE = 0,
711 RPM_REQ_IDLE = 1,
712 RPM_REQ_SUSPEND = 2,
713 RPM_REQ_AUTOSUSPEND = 3,
714 RPM_REQ_RESUME = 4
715} ;
716#line 488
717struct wakeup_source;
718#line 488
719struct wakeup_source;
720#line 495 "include/linux/pm.h"
721struct pm_subsys_data {
722 spinlock_t lock ;
723 unsigned int refcount ;
724};
725#line 506
726struct dev_pm_qos_request;
727#line 506
728struct pm_qos_constraints;
729#line 506 "include/linux/pm.h"
730struct dev_pm_info {
731 pm_message_t power_state ;
732 unsigned int can_wakeup : 1 ;
733 unsigned int async_suspend : 1 ;
734 bool is_prepared : 1 ;
735 bool is_suspended : 1 ;
736 bool ignore_children : 1 ;
737 spinlock_t lock ;
738 struct list_head entry ;
739 struct completion completion ;
740 struct wakeup_source *wakeup ;
741 bool wakeup_path : 1 ;
742 struct timer_list suspend_timer ;
743 unsigned long timer_expires ;
744 struct work_struct work ;
745 wait_queue_head_t wait_queue ;
746 atomic_t usage_count ;
747 atomic_t child_count ;
748 unsigned int disable_depth : 3 ;
749 unsigned int idle_notification : 1 ;
750 unsigned int request_pending : 1 ;
751 unsigned int deferred_resume : 1 ;
752 unsigned int run_wake : 1 ;
753 unsigned int runtime_auto : 1 ;
754 unsigned int no_callbacks : 1 ;
755 unsigned int irq_safe : 1 ;
756 unsigned int use_autosuspend : 1 ;
757 unsigned int timer_autosuspends : 1 ;
758 enum rpm_request request ;
759 enum rpm_status runtime_status ;
760 int runtime_error ;
761 int autosuspend_delay ;
762 unsigned long last_busy ;
763 unsigned long active_jiffies ;
764 unsigned long suspended_jiffies ;
765 unsigned long accounting_timestamp ;
766 ktime_t suspend_time ;
767 s64 max_time_suspended_ns ;
768 struct dev_pm_qos_request *pq_req ;
769 struct pm_subsys_data *subsys_data ;
770 struct pm_qos_constraints *constraints ;
771};
772#line 564 "include/linux/pm.h"
773struct dev_pm_domain {
774 struct dev_pm_ops ops ;
775};
776#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/topology.h"
777struct pci_bus;
778#line 174
779struct pci_bus;
780#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
781struct __anonstruct_mm_context_t_112 {
782 void *ldt ;
783 int size ;
784 unsigned short ia32_compat ;
785 struct mutex lock ;
786 void *vdso ;
787};
788#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
789typedef struct __anonstruct_mm_context_t_112 mm_context_t;
790#line 71 "include/asm-generic/iomap.h"
791struct pci_dev;
792#line 14 "include/asm-generic/pci_iomap.h"
793struct pci_dev;
794#line 8 "include/linux/vmalloc.h"
795struct vm_area_struct;
796#line 8
797struct vm_area_struct;
798#line 994 "include/linux/mmzone.h"
799struct page;
800#line 10 "include/linux/gfp.h"
801struct vm_area_struct;
802#line 29 "include/linux/sysctl.h"
803struct completion;
804#line 100 "include/linux/rbtree.h"
805struct rb_node {
806 unsigned long rb_parent_color ;
807 struct rb_node *rb_right ;
808 struct rb_node *rb_left ;
809} __attribute__((__aligned__(sizeof(long )))) ;
810#line 110 "include/linux/rbtree.h"
811struct rb_root {
812 struct rb_node *rb_node ;
813};
814#line 939 "include/linux/sysctl.h"
815struct nsproxy;
816#line 939
817struct nsproxy;
818#line 48 "include/linux/kmod.h"
819struct cred;
820#line 48
821struct cred;
822#line 49
823struct file;
824#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
825struct task_struct;
826#line 18 "include/linux/elf.h"
827typedef __u64 Elf64_Addr;
828#line 19 "include/linux/elf.h"
829typedef __u16 Elf64_Half;
830#line 23 "include/linux/elf.h"
831typedef __u32 Elf64_Word;
832#line 24 "include/linux/elf.h"
833typedef __u64 Elf64_Xword;
834#line 194 "include/linux/elf.h"
835struct elf64_sym {
836 Elf64_Word st_name ;
837 unsigned char st_info ;
838 unsigned char st_other ;
839 Elf64_Half st_shndx ;
840 Elf64_Addr st_value ;
841 Elf64_Xword st_size ;
842};
843#line 194 "include/linux/elf.h"
844typedef struct elf64_sym Elf64_Sym;
845#line 438
846struct file;
847#line 20 "include/linux/kobject_ns.h"
848struct sock;
849#line 20
850struct sock;
851#line 21
852struct kobject;
853#line 21
854struct kobject;
855#line 27
856enum kobj_ns_type {
857 KOBJ_NS_TYPE_NONE = 0,
858 KOBJ_NS_TYPE_NET = 1,
859 KOBJ_NS_TYPES = 2
860} ;
861#line 40 "include/linux/kobject_ns.h"
862struct kobj_ns_type_operations {
863 enum kobj_ns_type type ;
864 void *(*grab_current_ns)(void) ;
865 void const *(*netlink_ns)(struct sock *sk ) ;
866 void const *(*initial_ns)(void) ;
867 void (*drop_ns)(void * ) ;
868};
869#line 22 "include/linux/sysfs.h"
870struct kobject;
871#line 23
872struct module;
873#line 24
874enum kobj_ns_type;
875#line 26 "include/linux/sysfs.h"
876struct attribute {
877 char const *name ;
878 umode_t mode ;
879};
880#line 56 "include/linux/sysfs.h"
881struct attribute_group {
882 char const *name ;
883 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
884 struct attribute **attrs ;
885};
886#line 85
887struct file;
888#line 86
889struct vm_area_struct;
890#line 88 "include/linux/sysfs.h"
891struct bin_attribute {
892 struct attribute attr ;
893 size_t size ;
894 void *private ;
895 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
896 loff_t , size_t ) ;
897 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
898 loff_t , size_t ) ;
899 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
900};
901#line 112 "include/linux/sysfs.h"
902struct sysfs_ops {
903 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
904 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
905 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
906};
907#line 118
908struct sysfs_dirent;
909#line 118
910struct sysfs_dirent;
911#line 22 "include/linux/kref.h"
912struct kref {
913 atomic_t refcount ;
914};
915#line 60 "include/linux/kobject.h"
916struct kset;
917#line 60
918struct kobj_type;
919#line 60 "include/linux/kobject.h"
920struct kobject {
921 char const *name ;
922 struct list_head entry ;
923 struct kobject *parent ;
924 struct kset *kset ;
925 struct kobj_type *ktype ;
926 struct sysfs_dirent *sd ;
927 struct kref kref ;
928 unsigned int state_initialized : 1 ;
929 unsigned int state_in_sysfs : 1 ;
930 unsigned int state_add_uevent_sent : 1 ;
931 unsigned int state_remove_uevent_sent : 1 ;
932 unsigned int uevent_suppress : 1 ;
933};
934#line 108 "include/linux/kobject.h"
935struct kobj_type {
936 void (*release)(struct kobject *kobj ) ;
937 struct sysfs_ops const *sysfs_ops ;
938 struct attribute **default_attrs ;
939 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
940 void const *(*namespace)(struct kobject *kobj ) ;
941};
942#line 116 "include/linux/kobject.h"
943struct kobj_uevent_env {
944 char *envp[32] ;
945 int envp_idx ;
946 char buf[2048] ;
947 int buflen ;
948};
949#line 123 "include/linux/kobject.h"
950struct kset_uevent_ops {
951 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
952 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
953 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
954};
955#line 140
956struct sock;
957#line 159 "include/linux/kobject.h"
958struct kset {
959 struct list_head list ;
960 spinlock_t list_lock ;
961 struct kobject kobj ;
962 struct kset_uevent_ops const *uevent_ops ;
963};
964#line 39 "include/linux/moduleparam.h"
965struct kernel_param;
966#line 39
967struct kernel_param;
968#line 41 "include/linux/moduleparam.h"
969struct kernel_param_ops {
970 int (*set)(char const *val , struct kernel_param const *kp ) ;
971 int (*get)(char *buffer , struct kernel_param const *kp ) ;
972 void (*free)(void *arg ) ;
973};
974#line 50
975struct kparam_string;
976#line 50
977struct kparam_array;
978#line 50 "include/linux/moduleparam.h"
979union __anonunion____missing_field_name_199 {
980 void *arg ;
981 struct kparam_string const *str ;
982 struct kparam_array const *arr ;
983};
984#line 50 "include/linux/moduleparam.h"
985struct kernel_param {
986 char const *name ;
987 struct kernel_param_ops const *ops ;
988 u16 perm ;
989 s16 level ;
990 union __anonunion____missing_field_name_199 __annonCompField32 ;
991};
992#line 63 "include/linux/moduleparam.h"
993struct kparam_string {
994 unsigned int maxlen ;
995 char *string ;
996};
997#line 69 "include/linux/moduleparam.h"
998struct kparam_array {
999 unsigned int max ;
1000 unsigned int elemsize ;
1001 unsigned int *num ;
1002 struct kernel_param_ops const *ops ;
1003 void *elem ;
1004};
1005#line 445
1006struct module;
1007#line 80 "include/linux/jump_label.h"
1008struct module;
1009#line 143 "include/linux/jump_label.h"
1010struct static_key {
1011 atomic_t enabled ;
1012};
1013#line 22 "include/linux/tracepoint.h"
1014struct module;
1015#line 23
1016struct tracepoint;
1017#line 23
1018struct tracepoint;
1019#line 25 "include/linux/tracepoint.h"
1020struct tracepoint_func {
1021 void *func ;
1022 void *data ;
1023};
1024#line 30 "include/linux/tracepoint.h"
1025struct tracepoint {
1026 char const *name ;
1027 struct static_key key ;
1028 void (*regfunc)(void) ;
1029 void (*unregfunc)(void) ;
1030 struct tracepoint_func *funcs ;
1031};
1032#line 19 "include/linux/export.h"
1033struct kernel_symbol {
1034 unsigned long value ;
1035 char const *name ;
1036};
1037#line 8 "include/asm-generic/module.h"
1038struct mod_arch_specific {
1039
1040};
1041#line 35 "include/linux/module.h"
1042struct module;
1043#line 37
1044struct module_param_attrs;
1045#line 37 "include/linux/module.h"
1046struct module_kobject {
1047 struct kobject kobj ;
1048 struct module *mod ;
1049 struct kobject *drivers_dir ;
1050 struct module_param_attrs *mp ;
1051};
1052#line 44 "include/linux/module.h"
1053struct module_attribute {
1054 struct attribute attr ;
1055 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1056 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1057 size_t count ) ;
1058 void (*setup)(struct module * , char const * ) ;
1059 int (*test)(struct module * ) ;
1060 void (*free)(struct module * ) ;
1061};
1062#line 71
1063struct exception_table_entry;
1064#line 71
1065struct exception_table_entry;
1066#line 199
1067enum module_state {
1068 MODULE_STATE_LIVE = 0,
1069 MODULE_STATE_COMING = 1,
1070 MODULE_STATE_GOING = 2
1071} ;
1072#line 215 "include/linux/module.h"
1073struct module_ref {
1074 unsigned long incs ;
1075 unsigned long decs ;
1076} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1077#line 220
1078struct module_sect_attrs;
1079#line 220
1080struct module_notes_attrs;
1081#line 220
1082struct ftrace_event_call;
1083#line 220 "include/linux/module.h"
1084struct module {
1085 enum module_state state ;
1086 struct list_head list ;
1087 char name[64UL - sizeof(unsigned long )] ;
1088 struct module_kobject mkobj ;
1089 struct module_attribute *modinfo_attrs ;
1090 char const *version ;
1091 char const *srcversion ;
1092 struct kobject *holders_dir ;
1093 struct kernel_symbol const *syms ;
1094 unsigned long const *crcs ;
1095 unsigned int num_syms ;
1096 struct kernel_param *kp ;
1097 unsigned int num_kp ;
1098 unsigned int num_gpl_syms ;
1099 struct kernel_symbol const *gpl_syms ;
1100 unsigned long const *gpl_crcs ;
1101 struct kernel_symbol const *unused_syms ;
1102 unsigned long const *unused_crcs ;
1103 unsigned int num_unused_syms ;
1104 unsigned int num_unused_gpl_syms ;
1105 struct kernel_symbol const *unused_gpl_syms ;
1106 unsigned long const *unused_gpl_crcs ;
1107 struct kernel_symbol const *gpl_future_syms ;
1108 unsigned long const *gpl_future_crcs ;
1109 unsigned int num_gpl_future_syms ;
1110 unsigned int num_exentries ;
1111 struct exception_table_entry *extable ;
1112 int (*init)(void) ;
1113 void *module_init ;
1114 void *module_core ;
1115 unsigned int init_size ;
1116 unsigned int core_size ;
1117 unsigned int init_text_size ;
1118 unsigned int core_text_size ;
1119 unsigned int init_ro_size ;
1120 unsigned int core_ro_size ;
1121 struct mod_arch_specific arch ;
1122 unsigned int taints ;
1123 unsigned int num_bugs ;
1124 struct list_head bug_list ;
1125 struct bug_entry *bug_table ;
1126 Elf64_Sym *symtab ;
1127 Elf64_Sym *core_symtab ;
1128 unsigned int num_symtab ;
1129 unsigned int core_num_syms ;
1130 char *strtab ;
1131 char *core_strtab ;
1132 struct module_sect_attrs *sect_attrs ;
1133 struct module_notes_attrs *notes_attrs ;
1134 char *args ;
1135 void *percpu ;
1136 unsigned int percpu_size ;
1137 unsigned int num_tracepoints ;
1138 struct tracepoint * const *tracepoints_ptrs ;
1139 unsigned int num_trace_bprintk_fmt ;
1140 char const **trace_bprintk_fmt_start ;
1141 struct ftrace_event_call **trace_events ;
1142 unsigned int num_trace_events ;
1143 struct list_head source_list ;
1144 struct list_head target_list ;
1145 struct task_struct *waiter ;
1146 void (*exit)(void) ;
1147 struct module_ref *refptr ;
1148 ctor_fn_t *ctors ;
1149 unsigned int num_ctors ;
1150};
1151#line 15 "include/linux/blk_types.h"
1152struct page;
1153#line 16
1154struct block_device;
1155#line 16
1156struct block_device;
1157#line 33 "include/linux/list_bl.h"
1158struct hlist_bl_node;
1159#line 33 "include/linux/list_bl.h"
1160struct hlist_bl_head {
1161 struct hlist_bl_node *first ;
1162};
1163#line 37 "include/linux/list_bl.h"
1164struct hlist_bl_node {
1165 struct hlist_bl_node *next ;
1166 struct hlist_bl_node **pprev ;
1167};
1168#line 13 "include/linux/dcache.h"
1169struct nameidata;
1170#line 13
1171struct nameidata;
1172#line 14
1173struct path;
1174#line 14
1175struct path;
1176#line 15
1177struct vfsmount;
1178#line 15
1179struct vfsmount;
1180#line 35 "include/linux/dcache.h"
1181struct qstr {
1182 unsigned int hash ;
1183 unsigned int len ;
1184 unsigned char const *name ;
1185};
1186#line 88
1187struct inode;
1188#line 88
1189struct dentry_operations;
1190#line 88
1191struct super_block;
1192#line 88 "include/linux/dcache.h"
1193union __anonunion_d_u_201 {
1194 struct list_head d_child ;
1195 struct rcu_head d_rcu ;
1196};
1197#line 88 "include/linux/dcache.h"
1198struct dentry {
1199 unsigned int d_flags ;
1200 seqcount_t d_seq ;
1201 struct hlist_bl_node d_hash ;
1202 struct dentry *d_parent ;
1203 struct qstr d_name ;
1204 struct inode *d_inode ;
1205 unsigned char d_iname[32] ;
1206 unsigned int d_count ;
1207 spinlock_t d_lock ;
1208 struct dentry_operations const *d_op ;
1209 struct super_block *d_sb ;
1210 unsigned long d_time ;
1211 void *d_fsdata ;
1212 struct list_head d_lru ;
1213 union __anonunion_d_u_201 d_u ;
1214 struct list_head d_subdirs ;
1215 struct list_head d_alias ;
1216};
1217#line 131 "include/linux/dcache.h"
1218struct dentry_operations {
1219 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1220 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1221 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1222 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1223 int (*d_delete)(struct dentry const * ) ;
1224 void (*d_release)(struct dentry * ) ;
1225 void (*d_prune)(struct dentry * ) ;
1226 void (*d_iput)(struct dentry * , struct inode * ) ;
1227 char *(*d_dname)(struct dentry * , char * , int ) ;
1228 struct vfsmount *(*d_automount)(struct path * ) ;
1229 int (*d_manage)(struct dentry * , bool ) ;
1230} __attribute__((__aligned__((1) << (6) ))) ;
1231#line 4 "include/linux/path.h"
1232struct dentry;
1233#line 5
1234struct vfsmount;
1235#line 7 "include/linux/path.h"
1236struct path {
1237 struct vfsmount *mnt ;
1238 struct dentry *dentry ;
1239};
1240#line 64 "include/linux/radix-tree.h"
1241struct radix_tree_node;
1242#line 64 "include/linux/radix-tree.h"
1243struct radix_tree_root {
1244 unsigned int height ;
1245 gfp_t gfp_mask ;
1246 struct radix_tree_node *rnode ;
1247};
1248#line 14 "include/linux/prio_tree.h"
1249struct prio_tree_node;
1250#line 14 "include/linux/prio_tree.h"
1251struct raw_prio_tree_node {
1252 struct prio_tree_node *left ;
1253 struct prio_tree_node *right ;
1254 struct prio_tree_node *parent ;
1255};
1256#line 20 "include/linux/prio_tree.h"
1257struct prio_tree_node {
1258 struct prio_tree_node *left ;
1259 struct prio_tree_node *right ;
1260 struct prio_tree_node *parent ;
1261 unsigned long start ;
1262 unsigned long last ;
1263};
1264#line 28 "include/linux/prio_tree.h"
1265struct prio_tree_root {
1266 struct prio_tree_node *prio_tree_node ;
1267 unsigned short index_bits ;
1268 unsigned short raw ;
1269};
1270#line 6 "include/linux/pid.h"
1271enum pid_type {
1272 PIDTYPE_PID = 0,
1273 PIDTYPE_PGID = 1,
1274 PIDTYPE_SID = 2,
1275 PIDTYPE_MAX = 3
1276} ;
1277#line 50
1278struct pid_namespace;
1279#line 50 "include/linux/pid.h"
1280struct upid {
1281 int nr ;
1282 struct pid_namespace *ns ;
1283 struct hlist_node pid_chain ;
1284};
1285#line 57 "include/linux/pid.h"
1286struct pid {
1287 atomic_t count ;
1288 unsigned int level ;
1289 struct hlist_head tasks[3] ;
1290 struct rcu_head rcu ;
1291 struct upid numbers[1] ;
1292};
1293#line 69 "include/linux/pid.h"
1294struct pid_link {
1295 struct hlist_node node ;
1296 struct pid *pid ;
1297};
1298#line 100
1299struct pid_namespace;
1300#line 18 "include/linux/capability.h"
1301struct task_struct;
1302#line 94 "include/linux/capability.h"
1303struct kernel_cap_struct {
1304 __u32 cap[2] ;
1305};
1306#line 94 "include/linux/capability.h"
1307typedef struct kernel_cap_struct kernel_cap_t;
1308#line 377
1309struct dentry;
1310#line 378
1311struct user_namespace;
1312#line 378
1313struct user_namespace;
1314#line 16 "include/linux/fiemap.h"
1315struct fiemap_extent {
1316 __u64 fe_logical ;
1317 __u64 fe_physical ;
1318 __u64 fe_length ;
1319 __u64 fe_reserved64[2] ;
1320 __u32 fe_flags ;
1321 __u32 fe_reserved[3] ;
1322};
1323#line 8 "include/linux/shrinker.h"
1324struct shrink_control {
1325 gfp_t gfp_mask ;
1326 unsigned long nr_to_scan ;
1327};
1328#line 31 "include/linux/shrinker.h"
1329struct shrinker {
1330 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1331 int seeks ;
1332 long batch ;
1333 struct list_head list ;
1334 atomic_long_t nr_in_batch ;
1335};
1336#line 10 "include/linux/migrate_mode.h"
1337enum migrate_mode {
1338 MIGRATE_ASYNC = 0,
1339 MIGRATE_SYNC_LIGHT = 1,
1340 MIGRATE_SYNC = 2
1341} ;
1342#line 408 "include/linux/fs.h"
1343struct export_operations;
1344#line 408
1345struct export_operations;
1346#line 410
1347struct iovec;
1348#line 410
1349struct iovec;
1350#line 411
1351struct nameidata;
1352#line 412
1353struct kiocb;
1354#line 412
1355struct kiocb;
1356#line 413
1357struct kobject;
1358#line 414
1359struct pipe_inode_info;
1360#line 414
1361struct pipe_inode_info;
1362#line 415
1363struct poll_table_struct;
1364#line 415
1365struct poll_table_struct;
1366#line 416
1367struct kstatfs;
1368#line 416
1369struct kstatfs;
1370#line 417
1371struct vm_area_struct;
1372#line 418
1373struct vfsmount;
1374#line 419
1375struct cred;
1376#line 469 "include/linux/fs.h"
1377struct iattr {
1378 unsigned int ia_valid ;
1379 umode_t ia_mode ;
1380 uid_t ia_uid ;
1381 gid_t ia_gid ;
1382 loff_t ia_size ;
1383 struct timespec ia_atime ;
1384 struct timespec ia_mtime ;
1385 struct timespec ia_ctime ;
1386 struct file *ia_file ;
1387};
1388#line 129 "include/linux/quota.h"
1389struct if_dqinfo {
1390 __u64 dqi_bgrace ;
1391 __u64 dqi_igrace ;
1392 __u32 dqi_flags ;
1393 __u32 dqi_valid ;
1394};
1395#line 50 "include/linux/dqblk_xfs.h"
1396struct fs_disk_quota {
1397 __s8 d_version ;
1398 __s8 d_flags ;
1399 __u16 d_fieldmask ;
1400 __u32 d_id ;
1401 __u64 d_blk_hardlimit ;
1402 __u64 d_blk_softlimit ;
1403 __u64 d_ino_hardlimit ;
1404 __u64 d_ino_softlimit ;
1405 __u64 d_bcount ;
1406 __u64 d_icount ;
1407 __s32 d_itimer ;
1408 __s32 d_btimer ;
1409 __u16 d_iwarns ;
1410 __u16 d_bwarns ;
1411 __s32 d_padding2 ;
1412 __u64 d_rtb_hardlimit ;
1413 __u64 d_rtb_softlimit ;
1414 __u64 d_rtbcount ;
1415 __s32 d_rtbtimer ;
1416 __u16 d_rtbwarns ;
1417 __s16 d_padding3 ;
1418 char d_padding4[8] ;
1419};
1420#line 146 "include/linux/dqblk_xfs.h"
1421struct fs_qfilestat {
1422 __u64 qfs_ino ;
1423 __u64 qfs_nblks ;
1424 __u32 qfs_nextents ;
1425};
1426#line 146 "include/linux/dqblk_xfs.h"
1427typedef struct fs_qfilestat fs_qfilestat_t;
1428#line 152 "include/linux/dqblk_xfs.h"
1429struct fs_quota_stat {
1430 __s8 qs_version ;
1431 __u16 qs_flags ;
1432 __s8 qs_pad ;
1433 fs_qfilestat_t qs_uquota ;
1434 fs_qfilestat_t qs_gquota ;
1435 __u32 qs_incoredqs ;
1436 __s32 qs_btimelimit ;
1437 __s32 qs_itimelimit ;
1438 __s32 qs_rtbtimelimit ;
1439 __u16 qs_bwarnlimit ;
1440 __u16 qs_iwarnlimit ;
1441};
1442#line 17 "include/linux/dqblk_qtree.h"
1443struct dquot;
1444#line 17
1445struct dquot;
1446#line 185 "include/linux/quota.h"
1447typedef __kernel_uid32_t qid_t;
1448#line 186 "include/linux/quota.h"
1449typedef long long qsize_t;
1450#line 200 "include/linux/quota.h"
1451struct mem_dqblk {
1452 qsize_t dqb_bhardlimit ;
1453 qsize_t dqb_bsoftlimit ;
1454 qsize_t dqb_curspace ;
1455 qsize_t dqb_rsvspace ;
1456 qsize_t dqb_ihardlimit ;
1457 qsize_t dqb_isoftlimit ;
1458 qsize_t dqb_curinodes ;
1459 time_t dqb_btime ;
1460 time_t dqb_itime ;
1461};
1462#line 215
1463struct quota_format_type;
1464#line 215
1465struct quota_format_type;
1466#line 217 "include/linux/quota.h"
1467struct mem_dqinfo {
1468 struct quota_format_type *dqi_format ;
1469 int dqi_fmt_id ;
1470 struct list_head dqi_dirty_list ;
1471 unsigned long dqi_flags ;
1472 unsigned int dqi_bgrace ;
1473 unsigned int dqi_igrace ;
1474 qsize_t dqi_maxblimit ;
1475 qsize_t dqi_maxilimit ;
1476 void *dqi_priv ;
1477};
1478#line 230
1479struct super_block;
1480#line 288 "include/linux/quota.h"
1481struct dquot {
1482 struct hlist_node dq_hash ;
1483 struct list_head dq_inuse ;
1484 struct list_head dq_free ;
1485 struct list_head dq_dirty ;
1486 struct mutex dq_lock ;
1487 atomic_t dq_count ;
1488 wait_queue_head_t dq_wait_unused ;
1489 struct super_block *dq_sb ;
1490 unsigned int dq_id ;
1491 loff_t dq_off ;
1492 unsigned long dq_flags ;
1493 short dq_type ;
1494 struct mem_dqblk dq_dqb ;
1495};
1496#line 305 "include/linux/quota.h"
1497struct quota_format_ops {
1498 int (*check_quota_file)(struct super_block *sb , int type ) ;
1499 int (*read_file_info)(struct super_block *sb , int type ) ;
1500 int (*write_file_info)(struct super_block *sb , int type ) ;
1501 int (*free_file_info)(struct super_block *sb , int type ) ;
1502 int (*read_dqblk)(struct dquot *dquot ) ;
1503 int (*commit_dqblk)(struct dquot *dquot ) ;
1504 int (*release_dqblk)(struct dquot *dquot ) ;
1505};
1506#line 316 "include/linux/quota.h"
1507struct dquot_operations {
1508 int (*write_dquot)(struct dquot * ) ;
1509 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1510 void (*destroy_dquot)(struct dquot * ) ;
1511 int (*acquire_dquot)(struct dquot * ) ;
1512 int (*release_dquot)(struct dquot * ) ;
1513 int (*mark_dirty)(struct dquot * ) ;
1514 int (*write_info)(struct super_block * , int ) ;
1515 qsize_t *(*get_reserved_space)(struct inode * ) ;
1516};
1517#line 329
1518struct path;
1519#line 332 "include/linux/quota.h"
1520struct quotactl_ops {
1521 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1522 int (*quota_on_meta)(struct super_block * , int , int ) ;
1523 int (*quota_off)(struct super_block * , int ) ;
1524 int (*quota_sync)(struct super_block * , int , int ) ;
1525 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1526 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1527 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1528 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1529 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1530 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1531};
1532#line 345 "include/linux/quota.h"
1533struct quota_format_type {
1534 int qf_fmt_id ;
1535 struct quota_format_ops const *qf_ops ;
1536 struct module *qf_owner ;
1537 struct quota_format_type *qf_next ;
1538};
1539#line 399 "include/linux/quota.h"
1540struct quota_info {
1541 unsigned int flags ;
1542 struct mutex dqio_mutex ;
1543 struct mutex dqonoff_mutex ;
1544 struct rw_semaphore dqptr_sem ;
1545 struct inode *files[2] ;
1546 struct mem_dqinfo info[2] ;
1547 struct quota_format_ops const *ops[2] ;
1548};
1549#line 532 "include/linux/fs.h"
1550struct page;
1551#line 533
1552struct address_space;
1553#line 533
1554struct address_space;
1555#line 534
1556struct writeback_control;
1557#line 534
1558struct writeback_control;
1559#line 577 "include/linux/fs.h"
1560union __anonunion_arg_209 {
1561 char *buf ;
1562 void *data ;
1563};
1564#line 577 "include/linux/fs.h"
1565struct __anonstruct_read_descriptor_t_208 {
1566 size_t written ;
1567 size_t count ;
1568 union __anonunion_arg_209 arg ;
1569 int error ;
1570};
1571#line 577 "include/linux/fs.h"
1572typedef struct __anonstruct_read_descriptor_t_208 read_descriptor_t;
1573#line 590 "include/linux/fs.h"
1574struct address_space_operations {
1575 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1576 int (*readpage)(struct file * , struct page * ) ;
1577 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1578 int (*set_page_dirty)(struct page *page ) ;
1579 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1580 unsigned int nr_pages ) ;
1581 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1582 unsigned int len , unsigned int flags , struct page **pagep ,
1583 void **fsdata ) ;
1584 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1585 unsigned int copied , struct page *page , void *fsdata ) ;
1586 sector_t (*bmap)(struct address_space * , sector_t ) ;
1587 void (*invalidatepage)(struct page * , unsigned long ) ;
1588 int (*releasepage)(struct page * , gfp_t ) ;
1589 void (*freepage)(struct page * ) ;
1590 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1591 unsigned long nr_segs ) ;
1592 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1593 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1594 int (*launder_page)(struct page * ) ;
1595 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1596 int (*error_remove_page)(struct address_space * , struct page * ) ;
1597};
1598#line 645
1599struct backing_dev_info;
1600#line 645
1601struct backing_dev_info;
1602#line 646 "include/linux/fs.h"
1603struct address_space {
1604 struct inode *host ;
1605 struct radix_tree_root page_tree ;
1606 spinlock_t tree_lock ;
1607 unsigned int i_mmap_writable ;
1608 struct prio_tree_root i_mmap ;
1609 struct list_head i_mmap_nonlinear ;
1610 struct mutex i_mmap_mutex ;
1611 unsigned long nrpages ;
1612 unsigned long writeback_index ;
1613 struct address_space_operations const *a_ops ;
1614 unsigned long flags ;
1615 struct backing_dev_info *backing_dev_info ;
1616 spinlock_t private_lock ;
1617 struct list_head private_list ;
1618 struct address_space *assoc_mapping ;
1619} __attribute__((__aligned__(sizeof(long )))) ;
1620#line 669
1621struct request_queue;
1622#line 669
1623struct request_queue;
1624#line 671
1625struct hd_struct;
1626#line 671
1627struct gendisk;
1628#line 671 "include/linux/fs.h"
1629struct block_device {
1630 dev_t bd_dev ;
1631 int bd_openers ;
1632 struct inode *bd_inode ;
1633 struct super_block *bd_super ;
1634 struct mutex bd_mutex ;
1635 struct list_head bd_inodes ;
1636 void *bd_claiming ;
1637 void *bd_holder ;
1638 int bd_holders ;
1639 bool bd_write_holder ;
1640 struct list_head bd_holder_disks ;
1641 struct block_device *bd_contains ;
1642 unsigned int bd_block_size ;
1643 struct hd_struct *bd_part ;
1644 unsigned int bd_part_count ;
1645 int bd_invalidated ;
1646 struct gendisk *bd_disk ;
1647 struct request_queue *bd_queue ;
1648 struct list_head bd_list ;
1649 unsigned long bd_private ;
1650 int bd_fsfreeze_count ;
1651 struct mutex bd_fsfreeze_mutex ;
1652};
1653#line 749
1654struct posix_acl;
1655#line 749
1656struct posix_acl;
1657#line 761
1658struct inode_operations;
1659#line 761 "include/linux/fs.h"
1660union __anonunion____missing_field_name_210 {
1661 unsigned int const i_nlink ;
1662 unsigned int __i_nlink ;
1663};
1664#line 761 "include/linux/fs.h"
1665union __anonunion____missing_field_name_211 {
1666 struct list_head i_dentry ;
1667 struct rcu_head i_rcu ;
1668};
1669#line 761
1670struct file_operations;
1671#line 761
1672struct file_lock;
1673#line 761
1674struct cdev;
1675#line 761 "include/linux/fs.h"
1676union __anonunion____missing_field_name_212 {
1677 struct pipe_inode_info *i_pipe ;
1678 struct block_device *i_bdev ;
1679 struct cdev *i_cdev ;
1680};
1681#line 761 "include/linux/fs.h"
1682struct inode {
1683 umode_t i_mode ;
1684 unsigned short i_opflags ;
1685 uid_t i_uid ;
1686 gid_t i_gid ;
1687 unsigned int i_flags ;
1688 struct posix_acl *i_acl ;
1689 struct posix_acl *i_default_acl ;
1690 struct inode_operations const *i_op ;
1691 struct super_block *i_sb ;
1692 struct address_space *i_mapping ;
1693 void *i_security ;
1694 unsigned long i_ino ;
1695 union __anonunion____missing_field_name_210 __annonCompField33 ;
1696 dev_t i_rdev ;
1697 struct timespec i_atime ;
1698 struct timespec i_mtime ;
1699 struct timespec i_ctime ;
1700 spinlock_t i_lock ;
1701 unsigned short i_bytes ;
1702 blkcnt_t i_blocks ;
1703 loff_t i_size ;
1704 unsigned long i_state ;
1705 struct mutex i_mutex ;
1706 unsigned long dirtied_when ;
1707 struct hlist_node i_hash ;
1708 struct list_head i_wb_list ;
1709 struct list_head i_lru ;
1710 struct list_head i_sb_list ;
1711 union __anonunion____missing_field_name_211 __annonCompField34 ;
1712 atomic_t i_count ;
1713 unsigned int i_blkbits ;
1714 u64 i_version ;
1715 atomic_t i_dio_count ;
1716 atomic_t i_writecount ;
1717 struct file_operations const *i_fop ;
1718 struct file_lock *i_flock ;
1719 struct address_space i_data ;
1720 struct dquot *i_dquot[2] ;
1721 struct list_head i_devices ;
1722 union __anonunion____missing_field_name_212 __annonCompField35 ;
1723 __u32 i_generation ;
1724 __u32 i_fsnotify_mask ;
1725 struct hlist_head i_fsnotify_marks ;
1726 atomic_t i_readcount ;
1727 void *i_private ;
1728};
1729#line 942 "include/linux/fs.h"
1730struct fown_struct {
1731 rwlock_t lock ;
1732 struct pid *pid ;
1733 enum pid_type pid_type ;
1734 uid_t uid ;
1735 uid_t euid ;
1736 int signum ;
1737};
1738#line 953 "include/linux/fs.h"
1739struct file_ra_state {
1740 unsigned long start ;
1741 unsigned int size ;
1742 unsigned int async_size ;
1743 unsigned int ra_pages ;
1744 unsigned int mmap_miss ;
1745 loff_t prev_pos ;
1746};
1747#line 976 "include/linux/fs.h"
1748union __anonunion_f_u_213 {
1749 struct list_head fu_list ;
1750 struct rcu_head fu_rcuhead ;
1751};
1752#line 976 "include/linux/fs.h"
1753struct file {
1754 union __anonunion_f_u_213 f_u ;
1755 struct path f_path ;
1756 struct file_operations const *f_op ;
1757 spinlock_t f_lock ;
1758 int f_sb_list_cpu ;
1759 atomic_long_t f_count ;
1760 unsigned int f_flags ;
1761 fmode_t f_mode ;
1762 loff_t f_pos ;
1763 struct fown_struct f_owner ;
1764 struct cred const *f_cred ;
1765 struct file_ra_state f_ra ;
1766 u64 f_version ;
1767 void *f_security ;
1768 void *private_data ;
1769 struct list_head f_ep_links ;
1770 struct list_head f_tfile_llink ;
1771 struct address_space *f_mapping ;
1772 unsigned long f_mnt_write_state ;
1773};
1774#line 1111
1775struct files_struct;
1776#line 1111 "include/linux/fs.h"
1777typedef struct files_struct *fl_owner_t;
1778#line 1113 "include/linux/fs.h"
1779struct file_lock_operations {
1780 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1781 void (*fl_release_private)(struct file_lock * ) ;
1782};
1783#line 1118 "include/linux/fs.h"
1784struct lock_manager_operations {
1785 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1786 void (*lm_notify)(struct file_lock * ) ;
1787 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
1788 void (*lm_release_private)(struct file_lock * ) ;
1789 void (*lm_break)(struct file_lock * ) ;
1790 int (*lm_change)(struct file_lock ** , int ) ;
1791};
1792#line 4 "include/linux/nfs_fs_i.h"
1793struct nlm_lockowner;
1794#line 4
1795struct nlm_lockowner;
1796#line 9 "include/linux/nfs_fs_i.h"
1797struct nfs_lock_info {
1798 u32 state ;
1799 struct nlm_lockowner *owner ;
1800 struct list_head list ;
1801};
1802#line 15
1803struct nfs4_lock_state;
1804#line 15
1805struct nfs4_lock_state;
1806#line 16 "include/linux/nfs_fs_i.h"
1807struct nfs4_lock_info {
1808 struct nfs4_lock_state *owner ;
1809};
1810#line 1138 "include/linux/fs.h"
1811struct fasync_struct;
1812#line 1138 "include/linux/fs.h"
1813struct __anonstruct_afs_215 {
1814 struct list_head link ;
1815 int state ;
1816};
1817#line 1138 "include/linux/fs.h"
1818union __anonunion_fl_u_214 {
1819 struct nfs_lock_info nfs_fl ;
1820 struct nfs4_lock_info nfs4_fl ;
1821 struct __anonstruct_afs_215 afs ;
1822};
1823#line 1138 "include/linux/fs.h"
1824struct file_lock {
1825 struct file_lock *fl_next ;
1826 struct list_head fl_link ;
1827 struct list_head fl_block ;
1828 fl_owner_t fl_owner ;
1829 unsigned int fl_flags ;
1830 unsigned char fl_type ;
1831 unsigned int fl_pid ;
1832 struct pid *fl_nspid ;
1833 wait_queue_head_t fl_wait ;
1834 struct file *fl_file ;
1835 loff_t fl_start ;
1836 loff_t fl_end ;
1837 struct fasync_struct *fl_fasync ;
1838 unsigned long fl_break_time ;
1839 unsigned long fl_downgrade_time ;
1840 struct file_lock_operations const *fl_ops ;
1841 struct lock_manager_operations const *fl_lmops ;
1842 union __anonunion_fl_u_214 fl_u ;
1843};
1844#line 1378 "include/linux/fs.h"
1845struct fasync_struct {
1846 spinlock_t fa_lock ;
1847 int magic ;
1848 int fa_fd ;
1849 struct fasync_struct *fa_next ;
1850 struct file *fa_file ;
1851 struct rcu_head fa_rcu ;
1852};
1853#line 1418
1854struct file_system_type;
1855#line 1418
1856struct super_operations;
1857#line 1418
1858struct xattr_handler;
1859#line 1418
1860struct mtd_info;
1861#line 1418 "include/linux/fs.h"
1862struct super_block {
1863 struct list_head s_list ;
1864 dev_t s_dev ;
1865 unsigned char s_dirt ;
1866 unsigned char s_blocksize_bits ;
1867 unsigned long s_blocksize ;
1868 loff_t s_maxbytes ;
1869 struct file_system_type *s_type ;
1870 struct super_operations const *s_op ;
1871 struct dquot_operations const *dq_op ;
1872 struct quotactl_ops const *s_qcop ;
1873 struct export_operations const *s_export_op ;
1874 unsigned long s_flags ;
1875 unsigned long s_magic ;
1876 struct dentry *s_root ;
1877 struct rw_semaphore s_umount ;
1878 struct mutex s_lock ;
1879 int s_count ;
1880 atomic_t s_active ;
1881 void *s_security ;
1882 struct xattr_handler const **s_xattr ;
1883 struct list_head s_inodes ;
1884 struct hlist_bl_head s_anon ;
1885 struct list_head *s_files ;
1886 struct list_head s_mounts ;
1887 struct list_head s_dentry_lru ;
1888 int s_nr_dentry_unused ;
1889 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
1890 struct list_head s_inode_lru ;
1891 int s_nr_inodes_unused ;
1892 struct block_device *s_bdev ;
1893 struct backing_dev_info *s_bdi ;
1894 struct mtd_info *s_mtd ;
1895 struct hlist_node s_instances ;
1896 struct quota_info s_dquot ;
1897 int s_frozen ;
1898 wait_queue_head_t s_wait_unfrozen ;
1899 char s_id[32] ;
1900 u8 s_uuid[16] ;
1901 void *s_fs_info ;
1902 unsigned int s_max_links ;
1903 fmode_t s_mode ;
1904 u32 s_time_gran ;
1905 struct mutex s_vfs_rename_mutex ;
1906 char *s_subtype ;
1907 char *s_options ;
1908 struct dentry_operations const *s_d_op ;
1909 int cleancache_poolid ;
1910 struct shrinker s_shrink ;
1911 atomic_long_t s_remove_count ;
1912 int s_readonly_remount ;
1913};
1914#line 1567 "include/linux/fs.h"
1915struct fiemap_extent_info {
1916 unsigned int fi_flags ;
1917 unsigned int fi_extents_mapped ;
1918 unsigned int fi_extents_max ;
1919 struct fiemap_extent *fi_extents_start ;
1920};
1921#line 1609 "include/linux/fs.h"
1922struct file_operations {
1923 struct module *owner ;
1924 loff_t (*llseek)(struct file * , loff_t , int ) ;
1925 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
1926 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
1927 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
1928 loff_t ) ;
1929 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
1930 loff_t ) ;
1931 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
1932 loff_t , u64 , unsigned int ) ) ;
1933 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
1934 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
1935 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
1936 int (*mmap)(struct file * , struct vm_area_struct * ) ;
1937 int (*open)(struct inode * , struct file * ) ;
1938 int (*flush)(struct file * , fl_owner_t id ) ;
1939 int (*release)(struct inode * , struct file * ) ;
1940 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
1941 int (*aio_fsync)(struct kiocb * , int datasync ) ;
1942 int (*fasync)(int , struct file * , int ) ;
1943 int (*lock)(struct file * , int , struct file_lock * ) ;
1944 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
1945 int ) ;
1946 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1947 unsigned long , unsigned long ) ;
1948 int (*check_flags)(int ) ;
1949 int (*flock)(struct file * , int , struct file_lock * ) ;
1950 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
1951 unsigned int ) ;
1952 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
1953 unsigned int ) ;
1954 int (*setlease)(struct file * , long , struct file_lock ** ) ;
1955 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
1956};
1957#line 1639 "include/linux/fs.h"
1958struct inode_operations {
1959 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
1960 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
1961 int (*permission)(struct inode * , int ) ;
1962 struct posix_acl *(*get_acl)(struct inode * , int ) ;
1963 int (*readlink)(struct dentry * , char * , int ) ;
1964 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
1965 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
1966 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
1967 int (*unlink)(struct inode * , struct dentry * ) ;
1968 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
1969 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
1970 int (*rmdir)(struct inode * , struct dentry * ) ;
1971 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
1972 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
1973 void (*truncate)(struct inode * ) ;
1974 int (*setattr)(struct dentry * , struct iattr * ) ;
1975 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
1976 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
1977 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
1978 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
1979 int (*removexattr)(struct dentry * , char const * ) ;
1980 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
1981 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
1982} __attribute__((__aligned__((1) << (6) ))) ;
1983#line 1669
1984struct seq_file;
1985#line 1684 "include/linux/fs.h"
1986struct super_operations {
1987 struct inode *(*alloc_inode)(struct super_block *sb ) ;
1988 void (*destroy_inode)(struct inode * ) ;
1989 void (*dirty_inode)(struct inode * , int flags ) ;
1990 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
1991 int (*drop_inode)(struct inode * ) ;
1992 void (*evict_inode)(struct inode * ) ;
1993 void (*put_super)(struct super_block * ) ;
1994 void (*write_super)(struct super_block * ) ;
1995 int (*sync_fs)(struct super_block *sb , int wait ) ;
1996 int (*freeze_fs)(struct super_block * ) ;
1997 int (*unfreeze_fs)(struct super_block * ) ;
1998 int (*statfs)(struct dentry * , struct kstatfs * ) ;
1999 int (*remount_fs)(struct super_block * , int * , char * ) ;
2000 void (*umount_begin)(struct super_block * ) ;
2001 int (*show_options)(struct seq_file * , struct dentry * ) ;
2002 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2003 int (*show_path)(struct seq_file * , struct dentry * ) ;
2004 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2005 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2006 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2007 loff_t ) ;
2008 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2009 int (*nr_cached_objects)(struct super_block * ) ;
2010 void (*free_cached_objects)(struct super_block * , int ) ;
2011};
2012#line 1835 "include/linux/fs.h"
2013struct file_system_type {
2014 char const *name ;
2015 int fs_flags ;
2016 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2017 void (*kill_sb)(struct super_block * ) ;
2018 struct module *owner ;
2019 struct file_system_type *next ;
2020 struct hlist_head fs_supers ;
2021 struct lock_class_key s_lock_key ;
2022 struct lock_class_key s_umount_key ;
2023 struct lock_class_key s_vfs_rename_key ;
2024 struct lock_class_key i_lock_key ;
2025 struct lock_class_key i_mutex_key ;
2026 struct lock_class_key i_mutex_dir_key ;
2027};
2028#line 46 "include/linux/slub_def.h"
2029struct kmem_cache_cpu {
2030 void **freelist ;
2031 unsigned long tid ;
2032 struct page *page ;
2033 struct page *partial ;
2034 int node ;
2035 unsigned int stat[26] ;
2036};
2037#line 57 "include/linux/slub_def.h"
2038struct kmem_cache_node {
2039 spinlock_t list_lock ;
2040 unsigned long nr_partial ;
2041 struct list_head partial ;
2042 atomic_long_t nr_slabs ;
2043 atomic_long_t total_objects ;
2044 struct list_head full ;
2045};
2046#line 73 "include/linux/slub_def.h"
2047struct kmem_cache_order_objects {
2048 unsigned long x ;
2049};
2050#line 80 "include/linux/slub_def.h"
2051struct kmem_cache {
2052 struct kmem_cache_cpu *cpu_slab ;
2053 unsigned long flags ;
2054 unsigned long min_partial ;
2055 int size ;
2056 int objsize ;
2057 int offset ;
2058 int cpu_partial ;
2059 struct kmem_cache_order_objects oo ;
2060 struct kmem_cache_order_objects max ;
2061 struct kmem_cache_order_objects min ;
2062 gfp_t allocflags ;
2063 int refcount ;
2064 void (*ctor)(void * ) ;
2065 int inuse ;
2066 int align ;
2067 int reserved ;
2068 char const *name ;
2069 struct list_head list ;
2070 struct kobject kobj ;
2071 int remote_node_defrag_ratio ;
2072 struct kmem_cache_node *node[1 << 10] ;
2073};
2074#line 12 "include/linux/mod_devicetable.h"
2075typedef unsigned long kernel_ulong_t;
2076#line 17 "include/linux/mod_devicetable.h"
2077struct pci_device_id {
2078 __u32 vendor ;
2079 __u32 device ;
2080 __u32 subvendor ;
2081 __u32 subdevice ;
2082 __u32 class ;
2083 __u32 class_mask ;
2084 kernel_ulong_t driver_data ;
2085};
2086#line 219 "include/linux/mod_devicetable.h"
2087struct of_device_id {
2088 char name[32] ;
2089 char type[32] ;
2090 char compatible[128] ;
2091 void *data ;
2092};
2093#line 239 "include/linux/mod_devicetable.h"
2094struct pcmcia_device_id {
2095 __u16 match_flags ;
2096 __u16 manf_id ;
2097 __u16 card_id ;
2098 __u8 func_id ;
2099 __u8 function ;
2100 __u8 device_no ;
2101 __u32 prod_id_hash[4] __attribute__((__aligned__(sizeof(__u32 )))) ;
2102 char const *prod_id[4] ;
2103 kernel_ulong_t driver_info ;
2104 char *cisfile ;
2105};
2106#line 19 "include/linux/klist.h"
2107struct klist_node;
2108#line 19
2109struct klist_node;
2110#line 39 "include/linux/klist.h"
2111struct klist_node {
2112 void *n_klist ;
2113 struct list_head n_node ;
2114 struct kref n_ref ;
2115};
2116#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2117struct dma_map_ops;
2118#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2119struct dev_archdata {
2120 void *acpi_handle ;
2121 struct dma_map_ops *dma_ops ;
2122 void *iommu ;
2123};
2124#line 28 "include/linux/device.h"
2125struct device;
2126#line 29
2127struct device_private;
2128#line 29
2129struct device_private;
2130#line 30
2131struct device_driver;
2132#line 30
2133struct device_driver;
2134#line 31
2135struct driver_private;
2136#line 31
2137struct driver_private;
2138#line 32
2139struct module;
2140#line 33
2141struct class;
2142#line 33
2143struct class;
2144#line 34
2145struct subsys_private;
2146#line 34
2147struct subsys_private;
2148#line 35
2149struct bus_type;
2150#line 35
2151struct bus_type;
2152#line 36
2153struct device_node;
2154#line 36
2155struct device_node;
2156#line 37
2157struct iommu_ops;
2158#line 37
2159struct iommu_ops;
2160#line 39 "include/linux/device.h"
2161struct bus_attribute {
2162 struct attribute attr ;
2163 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
2164 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
2165};
2166#line 89
2167struct device_attribute;
2168#line 89
2169struct driver_attribute;
2170#line 89 "include/linux/device.h"
2171struct bus_type {
2172 char const *name ;
2173 char const *dev_name ;
2174 struct device *dev_root ;
2175 struct bus_attribute *bus_attrs ;
2176 struct device_attribute *dev_attrs ;
2177 struct driver_attribute *drv_attrs ;
2178 int (*match)(struct device *dev , struct device_driver *drv ) ;
2179 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
2180 int (*probe)(struct device *dev ) ;
2181 int (*remove)(struct device *dev ) ;
2182 void (*shutdown)(struct device *dev ) ;
2183 int (*suspend)(struct device *dev , pm_message_t state ) ;
2184 int (*resume)(struct device *dev ) ;
2185 struct dev_pm_ops const *pm ;
2186 struct iommu_ops *iommu_ops ;
2187 struct subsys_private *p ;
2188};
2189#line 127
2190struct device_type;
2191#line 214 "include/linux/device.h"
2192struct device_driver {
2193 char const *name ;
2194 struct bus_type *bus ;
2195 struct module *owner ;
2196 char const *mod_name ;
2197 bool suppress_bind_attrs ;
2198 struct of_device_id const *of_match_table ;
2199 int (*probe)(struct device *dev ) ;
2200 int (*remove)(struct device *dev ) ;
2201 void (*shutdown)(struct device *dev ) ;
2202 int (*suspend)(struct device *dev , pm_message_t state ) ;
2203 int (*resume)(struct device *dev ) ;
2204 struct attribute_group const **groups ;
2205 struct dev_pm_ops const *pm ;
2206 struct driver_private *p ;
2207};
2208#line 249 "include/linux/device.h"
2209struct driver_attribute {
2210 struct attribute attr ;
2211 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
2212 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
2213};
2214#line 330
2215struct class_attribute;
2216#line 330 "include/linux/device.h"
2217struct class {
2218 char const *name ;
2219 struct module *owner ;
2220 struct class_attribute *class_attrs ;
2221 struct device_attribute *dev_attrs ;
2222 struct bin_attribute *dev_bin_attrs ;
2223 struct kobject *dev_kobj ;
2224 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
2225 char *(*devnode)(struct device *dev , umode_t *mode ) ;
2226 void (*class_release)(struct class *class ) ;
2227 void (*dev_release)(struct device *dev ) ;
2228 int (*suspend)(struct device *dev , pm_message_t state ) ;
2229 int (*resume)(struct device *dev ) ;
2230 struct kobj_ns_type_operations const *ns_type ;
2231 void const *(*namespace)(struct device *dev ) ;
2232 struct dev_pm_ops const *pm ;
2233 struct subsys_private *p ;
2234};
2235#line 397 "include/linux/device.h"
2236struct class_attribute {
2237 struct attribute attr ;
2238 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
2239 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
2240 size_t count ) ;
2241 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
2242};
2243#line 465 "include/linux/device.h"
2244struct device_type {
2245 char const *name ;
2246 struct attribute_group const **groups ;
2247 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
2248 char *(*devnode)(struct device *dev , umode_t *mode ) ;
2249 void (*release)(struct device *dev ) ;
2250 struct dev_pm_ops const *pm ;
2251};
2252#line 476 "include/linux/device.h"
2253struct device_attribute {
2254 struct attribute attr ;
2255 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
2256 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
2257 size_t count ) ;
2258};
2259#line 559 "include/linux/device.h"
2260struct device_dma_parameters {
2261 unsigned int max_segment_size ;
2262 unsigned long segment_boundary_mask ;
2263};
2264#line 627
2265struct dma_coherent_mem;
2266#line 627 "include/linux/device.h"
2267struct device {
2268 struct device *parent ;
2269 struct device_private *p ;
2270 struct kobject kobj ;
2271 char const *init_name ;
2272 struct device_type const *type ;
2273 struct mutex mutex ;
2274 struct bus_type *bus ;
2275 struct device_driver *driver ;
2276 void *platform_data ;
2277 struct dev_pm_info power ;
2278 struct dev_pm_domain *pm_domain ;
2279 int numa_node ;
2280 u64 *dma_mask ;
2281 u64 coherent_dma_mask ;
2282 struct device_dma_parameters *dma_parms ;
2283 struct list_head dma_pools ;
2284 struct dma_coherent_mem *dma_mem ;
2285 struct dev_archdata archdata ;
2286 struct device_node *of_node ;
2287 dev_t devt ;
2288 u32 id ;
2289 spinlock_t devres_lock ;
2290 struct list_head devres_head ;
2291 struct klist_node knode_class ;
2292 struct class *class ;
2293 struct attribute_group const **groups ;
2294 void (*release)(struct device *dev ) ;
2295};
2296#line 43 "include/linux/pm_wakeup.h"
2297struct wakeup_source {
2298 char const *name ;
2299 struct list_head entry ;
2300 spinlock_t lock ;
2301 struct timer_list timer ;
2302 unsigned long timer_expires ;
2303 ktime_t total_time ;
2304 ktime_t max_time ;
2305 ktime_t last_time ;
2306 unsigned long event_count ;
2307 unsigned long active_count ;
2308 unsigned long relax_count ;
2309 unsigned long hit_count ;
2310 unsigned int active : 1 ;
2311};
2312#line 31 "include/linux/irq.h"
2313struct seq_file;
2314#line 32
2315struct module;
2316#line 12 "include/linux/irqdesc.h"
2317struct proc_dir_entry;
2318#line 12
2319struct proc_dir_entry;
2320#line 14
2321struct module;
2322#line 16 "include/linux/profile.h"
2323struct proc_dir_entry;
2324#line 17
2325struct pt_regs;
2326#line 65
2327struct task_struct;
2328#line 66
2329struct mm_struct;
2330#line 88
2331struct pt_regs;
2332#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
2333struct exception_table_entry {
2334 unsigned long insn ;
2335 unsigned long fixup ;
2336};
2337#line 132 "include/linux/hardirq.h"
2338struct task_struct;
2339#line 8 "include/linux/timerqueue.h"
2340struct timerqueue_node {
2341 struct rb_node node ;
2342 ktime_t expires ;
2343};
2344#line 13 "include/linux/timerqueue.h"
2345struct timerqueue_head {
2346 struct rb_root head ;
2347 struct timerqueue_node *next ;
2348};
2349#line 27 "include/linux/hrtimer.h"
2350struct hrtimer_clock_base;
2351#line 27
2352struct hrtimer_clock_base;
2353#line 28
2354struct hrtimer_cpu_base;
2355#line 28
2356struct hrtimer_cpu_base;
2357#line 44
2358enum hrtimer_restart {
2359 HRTIMER_NORESTART = 0,
2360 HRTIMER_RESTART = 1
2361} ;
2362#line 108 "include/linux/hrtimer.h"
2363struct hrtimer {
2364 struct timerqueue_node node ;
2365 ktime_t _softexpires ;
2366 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2367 struct hrtimer_clock_base *base ;
2368 unsigned long state ;
2369 int start_pid ;
2370 void *start_site ;
2371 char start_comm[16] ;
2372};
2373#line 145 "include/linux/hrtimer.h"
2374struct hrtimer_clock_base {
2375 struct hrtimer_cpu_base *cpu_base ;
2376 int index ;
2377 clockid_t clockid ;
2378 struct timerqueue_head active ;
2379 ktime_t resolution ;
2380 ktime_t (*get_time)(void) ;
2381 ktime_t softirq_time ;
2382 ktime_t offset ;
2383};
2384#line 178 "include/linux/hrtimer.h"
2385struct hrtimer_cpu_base {
2386 raw_spinlock_t lock ;
2387 unsigned long active_bases ;
2388 ktime_t expires_next ;
2389 int hres_active ;
2390 int hang_detected ;
2391 unsigned long nr_events ;
2392 unsigned long nr_retries ;
2393 unsigned long nr_hangs ;
2394 ktime_t max_hang_time ;
2395 struct hrtimer_clock_base clock_base[3] ;
2396};
2397#line 187 "include/linux/interrupt.h"
2398struct device;
2399#line 695
2400struct seq_file;
2401#line 23 "include/linux/mm_types.h"
2402struct address_space;
2403#line 40 "include/linux/mm_types.h"
2404union __anonunion____missing_field_name_234 {
2405 unsigned long index ;
2406 void *freelist ;
2407};
2408#line 40 "include/linux/mm_types.h"
2409struct __anonstruct____missing_field_name_238 {
2410 unsigned int inuse : 16 ;
2411 unsigned int objects : 15 ;
2412 unsigned int frozen : 1 ;
2413};
2414#line 40 "include/linux/mm_types.h"
2415union __anonunion____missing_field_name_237 {
2416 atomic_t _mapcount ;
2417 struct __anonstruct____missing_field_name_238 __annonCompField37 ;
2418};
2419#line 40 "include/linux/mm_types.h"
2420struct __anonstruct____missing_field_name_236 {
2421 union __anonunion____missing_field_name_237 __annonCompField38 ;
2422 atomic_t _count ;
2423};
2424#line 40 "include/linux/mm_types.h"
2425union __anonunion____missing_field_name_235 {
2426 unsigned long counters ;
2427 struct __anonstruct____missing_field_name_236 __annonCompField39 ;
2428};
2429#line 40 "include/linux/mm_types.h"
2430struct __anonstruct____missing_field_name_233 {
2431 union __anonunion____missing_field_name_234 __annonCompField36 ;
2432 union __anonunion____missing_field_name_235 __annonCompField40 ;
2433};
2434#line 40 "include/linux/mm_types.h"
2435struct __anonstruct____missing_field_name_240 {
2436 struct page *next ;
2437 int pages ;
2438 int pobjects ;
2439};
2440#line 40 "include/linux/mm_types.h"
2441union __anonunion____missing_field_name_239 {
2442 struct list_head lru ;
2443 struct __anonstruct____missing_field_name_240 __annonCompField42 ;
2444};
2445#line 40 "include/linux/mm_types.h"
2446union __anonunion____missing_field_name_241 {
2447 unsigned long private ;
2448 struct kmem_cache *slab ;
2449 struct page *first_page ;
2450};
2451#line 40 "include/linux/mm_types.h"
2452struct page {
2453 unsigned long flags ;
2454 struct address_space *mapping ;
2455 struct __anonstruct____missing_field_name_233 __annonCompField41 ;
2456 union __anonunion____missing_field_name_239 __annonCompField43 ;
2457 union __anonunion____missing_field_name_241 __annonCompField44 ;
2458 unsigned long debug_flags ;
2459} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2460#line 200 "include/linux/mm_types.h"
2461struct __anonstruct_vm_set_243 {
2462 struct list_head list ;
2463 void *parent ;
2464 struct vm_area_struct *head ;
2465};
2466#line 200 "include/linux/mm_types.h"
2467union __anonunion_shared_242 {
2468 struct __anonstruct_vm_set_243 vm_set ;
2469 struct raw_prio_tree_node prio_tree_node ;
2470};
2471#line 200
2472struct anon_vma;
2473#line 200
2474struct vm_operations_struct;
2475#line 200
2476struct mempolicy;
2477#line 200 "include/linux/mm_types.h"
2478struct vm_area_struct {
2479 struct mm_struct *vm_mm ;
2480 unsigned long vm_start ;
2481 unsigned long vm_end ;
2482 struct vm_area_struct *vm_next ;
2483 struct vm_area_struct *vm_prev ;
2484 pgprot_t vm_page_prot ;
2485 unsigned long vm_flags ;
2486 struct rb_node vm_rb ;
2487 union __anonunion_shared_242 shared ;
2488 struct list_head anon_vma_chain ;
2489 struct anon_vma *anon_vma ;
2490 struct vm_operations_struct const *vm_ops ;
2491 unsigned long vm_pgoff ;
2492 struct file *vm_file ;
2493 void *vm_private_data ;
2494 struct mempolicy *vm_policy ;
2495};
2496#line 257 "include/linux/mm_types.h"
2497struct core_thread {
2498 struct task_struct *task ;
2499 struct core_thread *next ;
2500};
2501#line 262 "include/linux/mm_types.h"
2502struct core_state {
2503 atomic_t nr_threads ;
2504 struct core_thread dumper ;
2505 struct completion startup ;
2506};
2507#line 284 "include/linux/mm_types.h"
2508struct mm_rss_stat {
2509 atomic_long_t count[3] ;
2510};
2511#line 288
2512struct linux_binfmt;
2513#line 288
2514struct mmu_notifier_mm;
2515#line 288 "include/linux/mm_types.h"
2516struct mm_struct {
2517 struct vm_area_struct *mmap ;
2518 struct rb_root mm_rb ;
2519 struct vm_area_struct *mmap_cache ;
2520 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2521 unsigned long pgoff , unsigned long flags ) ;
2522 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2523 unsigned long mmap_base ;
2524 unsigned long task_size ;
2525 unsigned long cached_hole_size ;
2526 unsigned long free_area_cache ;
2527 pgd_t *pgd ;
2528 atomic_t mm_users ;
2529 atomic_t mm_count ;
2530 int map_count ;
2531 spinlock_t page_table_lock ;
2532 struct rw_semaphore mmap_sem ;
2533 struct list_head mmlist ;
2534 unsigned long hiwater_rss ;
2535 unsigned long hiwater_vm ;
2536 unsigned long total_vm ;
2537 unsigned long locked_vm ;
2538 unsigned long pinned_vm ;
2539 unsigned long shared_vm ;
2540 unsigned long exec_vm ;
2541 unsigned long stack_vm ;
2542 unsigned long reserved_vm ;
2543 unsigned long def_flags ;
2544 unsigned long nr_ptes ;
2545 unsigned long start_code ;
2546 unsigned long end_code ;
2547 unsigned long start_data ;
2548 unsigned long end_data ;
2549 unsigned long start_brk ;
2550 unsigned long brk ;
2551 unsigned long start_stack ;
2552 unsigned long arg_start ;
2553 unsigned long arg_end ;
2554 unsigned long env_start ;
2555 unsigned long env_end ;
2556 unsigned long saved_auxv[44] ;
2557 struct mm_rss_stat rss_stat ;
2558 struct linux_binfmt *binfmt ;
2559 cpumask_var_t cpu_vm_mask_var ;
2560 mm_context_t context ;
2561 unsigned int faultstamp ;
2562 unsigned int token_priority ;
2563 unsigned int last_interval ;
2564 unsigned long flags ;
2565 struct core_state *core_state ;
2566 spinlock_t ioctx_lock ;
2567 struct hlist_head ioctx_list ;
2568 struct task_struct *owner ;
2569 struct file *exe_file ;
2570 unsigned long num_exe_file_vmas ;
2571 struct mmu_notifier_mm *mmu_notifier_mm ;
2572 pgtable_t pmd_huge_pte ;
2573 struct cpumask cpumask_allocation ;
2574};
2575#line 7 "include/asm-generic/cputime.h"
2576typedef unsigned long cputime_t;
2577#line 84 "include/linux/sem.h"
2578struct task_struct;
2579#line 101
2580struct sem_undo_list;
2581#line 101 "include/linux/sem.h"
2582struct sysv_sem {
2583 struct sem_undo_list *undo_list ;
2584};
2585#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2586struct siginfo;
2587#line 10
2588struct siginfo;
2589#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2590struct __anonstruct_sigset_t_245 {
2591 unsigned long sig[1] ;
2592};
2593#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2594typedef struct __anonstruct_sigset_t_245 sigset_t;
2595#line 17 "include/asm-generic/signal-defs.h"
2596typedef void __signalfn_t(int );
2597#line 18 "include/asm-generic/signal-defs.h"
2598typedef __signalfn_t *__sighandler_t;
2599#line 20 "include/asm-generic/signal-defs.h"
2600typedef void __restorefn_t(void);
2601#line 21 "include/asm-generic/signal-defs.h"
2602typedef __restorefn_t *__sigrestore_t;
2603#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2604struct sigaction {
2605 __sighandler_t sa_handler ;
2606 unsigned long sa_flags ;
2607 __sigrestore_t sa_restorer ;
2608 sigset_t sa_mask ;
2609};
2610#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2611struct k_sigaction {
2612 struct sigaction sa ;
2613};
2614#line 7 "include/asm-generic/siginfo.h"
2615union sigval {
2616 int sival_int ;
2617 void *sival_ptr ;
2618};
2619#line 7 "include/asm-generic/siginfo.h"
2620typedef union sigval sigval_t;
2621#line 48 "include/asm-generic/siginfo.h"
2622struct __anonstruct__kill_247 {
2623 __kernel_pid_t _pid ;
2624 __kernel_uid32_t _uid ;
2625};
2626#line 48 "include/asm-generic/siginfo.h"
2627struct __anonstruct__timer_248 {
2628 __kernel_timer_t _tid ;
2629 int _overrun ;
2630 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2631 sigval_t _sigval ;
2632 int _sys_private ;
2633};
2634#line 48 "include/asm-generic/siginfo.h"
2635struct __anonstruct__rt_249 {
2636 __kernel_pid_t _pid ;
2637 __kernel_uid32_t _uid ;
2638 sigval_t _sigval ;
2639};
2640#line 48 "include/asm-generic/siginfo.h"
2641struct __anonstruct__sigchld_250 {
2642 __kernel_pid_t _pid ;
2643 __kernel_uid32_t _uid ;
2644 int _status ;
2645 __kernel_clock_t _utime ;
2646 __kernel_clock_t _stime ;
2647};
2648#line 48 "include/asm-generic/siginfo.h"
2649struct __anonstruct__sigfault_251 {
2650 void *_addr ;
2651 short _addr_lsb ;
2652};
2653#line 48 "include/asm-generic/siginfo.h"
2654struct __anonstruct__sigpoll_252 {
2655 long _band ;
2656 int _fd ;
2657};
2658#line 48 "include/asm-generic/siginfo.h"
2659union __anonunion__sifields_246 {
2660 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2661 struct __anonstruct__kill_247 _kill ;
2662 struct __anonstruct__timer_248 _timer ;
2663 struct __anonstruct__rt_249 _rt ;
2664 struct __anonstruct__sigchld_250 _sigchld ;
2665 struct __anonstruct__sigfault_251 _sigfault ;
2666 struct __anonstruct__sigpoll_252 _sigpoll ;
2667};
2668#line 48 "include/asm-generic/siginfo.h"
2669struct siginfo {
2670 int si_signo ;
2671 int si_errno ;
2672 int si_code ;
2673 union __anonunion__sifields_246 _sifields ;
2674};
2675#line 48 "include/asm-generic/siginfo.h"
2676typedef struct siginfo siginfo_t;
2677#line 288
2678struct siginfo;
2679#line 10 "include/linux/signal.h"
2680struct task_struct;
2681#line 18
2682struct user_struct;
2683#line 28 "include/linux/signal.h"
2684struct sigpending {
2685 struct list_head list ;
2686 sigset_t signal ;
2687};
2688#line 239
2689struct timespec;
2690#line 240
2691struct pt_regs;
2692#line 10 "include/linux/seccomp.h"
2693struct __anonstruct_seccomp_t_255 {
2694 int mode ;
2695};
2696#line 10 "include/linux/seccomp.h"
2697typedef struct __anonstruct_seccomp_t_255 seccomp_t;
2698#line 81 "include/linux/plist.h"
2699struct plist_head {
2700 struct list_head node_list ;
2701};
2702#line 85 "include/linux/plist.h"
2703struct plist_node {
2704 int prio ;
2705 struct list_head prio_list ;
2706 struct list_head node_list ;
2707};
2708#line 40 "include/linux/rtmutex.h"
2709struct rt_mutex_waiter;
2710#line 40
2711struct rt_mutex_waiter;
2712#line 42 "include/linux/resource.h"
2713struct rlimit {
2714 unsigned long rlim_cur ;
2715 unsigned long rlim_max ;
2716};
2717#line 81
2718struct task_struct;
2719#line 11 "include/linux/task_io_accounting.h"
2720struct task_io_accounting {
2721 u64 rchar ;
2722 u64 wchar ;
2723 u64 syscr ;
2724 u64 syscw ;
2725 u64 read_bytes ;
2726 u64 write_bytes ;
2727 u64 cancelled_write_bytes ;
2728};
2729#line 13 "include/linux/latencytop.h"
2730struct task_struct;
2731#line 20 "include/linux/latencytop.h"
2732struct latency_record {
2733 unsigned long backtrace[12] ;
2734 unsigned int count ;
2735 unsigned long time ;
2736 unsigned long max ;
2737};
2738#line 29 "include/linux/key.h"
2739typedef int32_t key_serial_t;
2740#line 32 "include/linux/key.h"
2741typedef uint32_t key_perm_t;
2742#line 34
2743struct key;
2744#line 34
2745struct key;
2746#line 74
2747struct seq_file;
2748#line 75
2749struct user_struct;
2750#line 76
2751struct signal_struct;
2752#line 76
2753struct signal_struct;
2754#line 77
2755struct cred;
2756#line 79
2757struct key_type;
2758#line 79
2759struct key_type;
2760#line 81
2761struct keyring_list;
2762#line 81
2763struct keyring_list;
2764#line 124
2765struct key_user;
2766#line 124 "include/linux/key.h"
2767union __anonunion____missing_field_name_256 {
2768 time_t expiry ;
2769 time_t revoked_at ;
2770};
2771#line 124 "include/linux/key.h"
2772union __anonunion_type_data_257 {
2773 struct list_head link ;
2774 unsigned long x[2] ;
2775 void *p[2] ;
2776 int reject_error ;
2777};
2778#line 124 "include/linux/key.h"
2779union __anonunion_payload_258 {
2780 unsigned long value ;
2781 void *rcudata ;
2782 void *data ;
2783 struct keyring_list *subscriptions ;
2784};
2785#line 124 "include/linux/key.h"
2786struct key {
2787 atomic_t usage ;
2788 key_serial_t serial ;
2789 struct rb_node serial_node ;
2790 struct key_type *type ;
2791 struct rw_semaphore sem ;
2792 struct key_user *user ;
2793 void *security ;
2794 union __anonunion____missing_field_name_256 __annonCompField45 ;
2795 uid_t uid ;
2796 gid_t gid ;
2797 key_perm_t perm ;
2798 unsigned short quotalen ;
2799 unsigned short datalen ;
2800 unsigned long flags ;
2801 char *description ;
2802 union __anonunion_type_data_257 type_data ;
2803 union __anonunion_payload_258 payload ;
2804};
2805#line 18 "include/linux/selinux.h"
2806struct audit_context;
2807#line 18
2808struct audit_context;
2809#line 21 "include/linux/cred.h"
2810struct user_struct;
2811#line 22
2812struct cred;
2813#line 23
2814struct inode;
2815#line 31 "include/linux/cred.h"
2816struct group_info {
2817 atomic_t usage ;
2818 int ngroups ;
2819 int nblocks ;
2820 gid_t small_block[32] ;
2821 gid_t *blocks[0] ;
2822};
2823#line 83 "include/linux/cred.h"
2824struct thread_group_cred {
2825 atomic_t usage ;
2826 pid_t tgid ;
2827 spinlock_t lock ;
2828 struct key *session_keyring ;
2829 struct key *process_keyring ;
2830 struct rcu_head rcu ;
2831};
2832#line 116 "include/linux/cred.h"
2833struct cred {
2834 atomic_t usage ;
2835 atomic_t subscribers ;
2836 void *put_addr ;
2837 unsigned int magic ;
2838 uid_t uid ;
2839 gid_t gid ;
2840 uid_t suid ;
2841 gid_t sgid ;
2842 uid_t euid ;
2843 gid_t egid ;
2844 uid_t fsuid ;
2845 gid_t fsgid ;
2846 unsigned int securebits ;
2847 kernel_cap_t cap_inheritable ;
2848 kernel_cap_t cap_permitted ;
2849 kernel_cap_t cap_effective ;
2850 kernel_cap_t cap_bset ;
2851 unsigned char jit_keyring ;
2852 struct key *thread_keyring ;
2853 struct key *request_key_auth ;
2854 struct thread_group_cred *tgcred ;
2855 void *security ;
2856 struct user_struct *user ;
2857 struct user_namespace *user_ns ;
2858 struct group_info *group_info ;
2859 struct rcu_head rcu ;
2860};
2861#line 61 "include/linux/llist.h"
2862struct llist_node;
2863#line 65 "include/linux/llist.h"
2864struct llist_node {
2865 struct llist_node *next ;
2866};
2867#line 97 "include/linux/sched.h"
2868struct futex_pi_state;
2869#line 97
2870struct futex_pi_state;
2871#line 98
2872struct robust_list_head;
2873#line 98
2874struct robust_list_head;
2875#line 99
2876struct bio_list;
2877#line 99
2878struct bio_list;
2879#line 100
2880struct fs_struct;
2881#line 100
2882struct fs_struct;
2883#line 101
2884struct perf_event_context;
2885#line 101
2886struct perf_event_context;
2887#line 102
2888struct blk_plug;
2889#line 102
2890struct blk_plug;
2891#line 150
2892struct seq_file;
2893#line 151
2894struct cfs_rq;
2895#line 151
2896struct cfs_rq;
2897#line 259
2898struct task_struct;
2899#line 366
2900struct nsproxy;
2901#line 367
2902struct user_namespace;
2903#line 58 "include/linux/aio_abi.h"
2904struct io_event {
2905 __u64 data ;
2906 __u64 obj ;
2907 __s64 res ;
2908 __s64 res2 ;
2909};
2910#line 16 "include/linux/uio.h"
2911struct iovec {
2912 void *iov_base ;
2913 __kernel_size_t iov_len ;
2914};
2915#line 15 "include/linux/aio.h"
2916struct kioctx;
2917#line 15
2918struct kioctx;
2919#line 87 "include/linux/aio.h"
2920union __anonunion_ki_obj_260 {
2921 void *user ;
2922 struct task_struct *tsk ;
2923};
2924#line 87
2925struct eventfd_ctx;
2926#line 87 "include/linux/aio.h"
2927struct kiocb {
2928 struct list_head ki_run_list ;
2929 unsigned long ki_flags ;
2930 int ki_users ;
2931 unsigned int ki_key ;
2932 struct file *ki_filp ;
2933 struct kioctx *ki_ctx ;
2934 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2935 ssize_t (*ki_retry)(struct kiocb * ) ;
2936 void (*ki_dtor)(struct kiocb * ) ;
2937 union __anonunion_ki_obj_260 ki_obj ;
2938 __u64 ki_user_data ;
2939 loff_t ki_pos ;
2940 void *private ;
2941 unsigned short ki_opcode ;
2942 size_t ki_nbytes ;
2943 char *ki_buf ;
2944 size_t ki_left ;
2945 struct iovec ki_inline_vec ;
2946 struct iovec *ki_iovec ;
2947 unsigned long ki_nr_segs ;
2948 unsigned long ki_cur_seg ;
2949 struct list_head ki_list ;
2950 struct list_head ki_batch ;
2951 struct eventfd_ctx *ki_eventfd ;
2952};
2953#line 166 "include/linux/aio.h"
2954struct aio_ring_info {
2955 unsigned long mmap_base ;
2956 unsigned long mmap_size ;
2957 struct page **ring_pages ;
2958 spinlock_t ring_lock ;
2959 long nr_pages ;
2960 unsigned int nr ;
2961 unsigned int tail ;
2962 struct page *internal_pages[8] ;
2963};
2964#line 179 "include/linux/aio.h"
2965struct kioctx {
2966 atomic_t users ;
2967 int dead ;
2968 struct mm_struct *mm ;
2969 unsigned long user_id ;
2970 struct hlist_node list ;
2971 wait_queue_head_t wait ;
2972 spinlock_t ctx_lock ;
2973 int reqs_active ;
2974 struct list_head active_reqs ;
2975 struct list_head run_list ;
2976 unsigned int max_reqs ;
2977 struct aio_ring_info ring_info ;
2978 struct delayed_work wq ;
2979 struct rcu_head rcu_head ;
2980};
2981#line 214
2982struct mm_struct;
2983#line 443 "include/linux/sched.h"
2984struct sighand_struct {
2985 atomic_t count ;
2986 struct k_sigaction action[64] ;
2987 spinlock_t siglock ;
2988 wait_queue_head_t signalfd_wqh ;
2989};
2990#line 450 "include/linux/sched.h"
2991struct pacct_struct {
2992 int ac_flag ;
2993 long ac_exitcode ;
2994 unsigned long ac_mem ;
2995 cputime_t ac_utime ;
2996 cputime_t ac_stime ;
2997 unsigned long ac_minflt ;
2998 unsigned long ac_majflt ;
2999};
3000#line 458 "include/linux/sched.h"
3001struct cpu_itimer {
3002 cputime_t expires ;
3003 cputime_t incr ;
3004 u32 error ;
3005 u32 incr_error ;
3006};
3007#line 476 "include/linux/sched.h"
3008struct task_cputime {
3009 cputime_t utime ;
3010 cputime_t stime ;
3011 unsigned long long sum_exec_runtime ;
3012};
3013#line 512 "include/linux/sched.h"
3014struct thread_group_cputimer {
3015 struct task_cputime cputime ;
3016 int running ;
3017 raw_spinlock_t lock ;
3018};
3019#line 519
3020struct autogroup;
3021#line 519
3022struct autogroup;
3023#line 528
3024struct tty_struct;
3025#line 528
3026struct taskstats;
3027#line 528
3028struct tty_audit_buf;
3029#line 528 "include/linux/sched.h"
3030struct signal_struct {
3031 atomic_t sigcnt ;
3032 atomic_t live ;
3033 int nr_threads ;
3034 wait_queue_head_t wait_chldexit ;
3035 struct task_struct *curr_target ;
3036 struct sigpending shared_pending ;
3037 int group_exit_code ;
3038 int notify_count ;
3039 struct task_struct *group_exit_task ;
3040 int group_stop_count ;
3041 unsigned int flags ;
3042 unsigned int is_child_subreaper : 1 ;
3043 unsigned int has_child_subreaper : 1 ;
3044 struct list_head posix_timers ;
3045 struct hrtimer real_timer ;
3046 struct pid *leader_pid ;
3047 ktime_t it_real_incr ;
3048 struct cpu_itimer it[2] ;
3049 struct thread_group_cputimer cputimer ;
3050 struct task_cputime cputime_expires ;
3051 struct list_head cpu_timers[3] ;
3052 struct pid *tty_old_pgrp ;
3053 int leader ;
3054 struct tty_struct *tty ;
3055 struct autogroup *autogroup ;
3056 cputime_t utime ;
3057 cputime_t stime ;
3058 cputime_t cutime ;
3059 cputime_t cstime ;
3060 cputime_t gtime ;
3061 cputime_t cgtime ;
3062 cputime_t prev_utime ;
3063 cputime_t prev_stime ;
3064 unsigned long nvcsw ;
3065 unsigned long nivcsw ;
3066 unsigned long cnvcsw ;
3067 unsigned long cnivcsw ;
3068 unsigned long min_flt ;
3069 unsigned long maj_flt ;
3070 unsigned long cmin_flt ;
3071 unsigned long cmaj_flt ;
3072 unsigned long inblock ;
3073 unsigned long oublock ;
3074 unsigned long cinblock ;
3075 unsigned long coublock ;
3076 unsigned long maxrss ;
3077 unsigned long cmaxrss ;
3078 struct task_io_accounting ioac ;
3079 unsigned long long sum_sched_runtime ;
3080 struct rlimit rlim[16] ;
3081 struct pacct_struct pacct ;
3082 struct taskstats *stats ;
3083 unsigned int audit_tty ;
3084 struct tty_audit_buf *tty_audit_buf ;
3085 struct rw_semaphore group_rwsem ;
3086 int oom_adj ;
3087 int oom_score_adj ;
3088 int oom_score_adj_min ;
3089 struct mutex cred_guard_mutex ;
3090};
3091#line 703 "include/linux/sched.h"
3092struct user_struct {
3093 atomic_t __count ;
3094 atomic_t processes ;
3095 atomic_t files ;
3096 atomic_t sigpending ;
3097 atomic_t inotify_watches ;
3098 atomic_t inotify_devs ;
3099 atomic_t fanotify_listeners ;
3100 atomic_long_t epoll_watches ;
3101 unsigned long mq_bytes ;
3102 unsigned long locked_shm ;
3103 struct key *uid_keyring ;
3104 struct key *session_keyring ;
3105 struct hlist_node uidhash_node ;
3106 uid_t uid ;
3107 struct user_namespace *user_ns ;
3108 atomic_long_t locked_vm ;
3109};
3110#line 747
3111struct backing_dev_info;
3112#line 748
3113struct reclaim_state;
3114#line 748
3115struct reclaim_state;
3116#line 751 "include/linux/sched.h"
3117struct sched_info {
3118 unsigned long pcount ;
3119 unsigned long long run_delay ;
3120 unsigned long long last_arrival ;
3121 unsigned long long last_queued ;
3122};
3123#line 763 "include/linux/sched.h"
3124struct task_delay_info {
3125 spinlock_t lock ;
3126 unsigned int flags ;
3127 struct timespec blkio_start ;
3128 struct timespec blkio_end ;
3129 u64 blkio_delay ;
3130 u64 swapin_delay ;
3131 u32 blkio_count ;
3132 u32 swapin_count ;
3133 struct timespec freepages_start ;
3134 struct timespec freepages_end ;
3135 u64 freepages_delay ;
3136 u32 freepages_count ;
3137};
3138#line 1088
3139struct io_context;
3140#line 1088
3141struct io_context;
3142#line 1097
3143struct audit_context;
3144#line 1098
3145struct mempolicy;
3146#line 1099
3147struct pipe_inode_info;
3148#line 1102
3149struct rq;
3150#line 1102
3151struct rq;
3152#line 1122 "include/linux/sched.h"
3153struct sched_class {
3154 struct sched_class const *next ;
3155 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3156 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3157 void (*yield_task)(struct rq *rq ) ;
3158 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3159 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3160 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3161 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3162 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3163 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3164 void (*post_schedule)(struct rq *this_rq ) ;
3165 void (*task_waking)(struct task_struct *task ) ;
3166 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3167 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3168 void (*rq_online)(struct rq *rq ) ;
3169 void (*rq_offline)(struct rq *rq ) ;
3170 void (*set_curr_task)(struct rq *rq ) ;
3171 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3172 void (*task_fork)(struct task_struct *p ) ;
3173 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3174 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3175 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3176 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3177 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3178};
3179#line 1167 "include/linux/sched.h"
3180struct load_weight {
3181 unsigned long weight ;
3182 unsigned long inv_weight ;
3183};
3184#line 1172 "include/linux/sched.h"
3185struct sched_statistics {
3186 u64 wait_start ;
3187 u64 wait_max ;
3188 u64 wait_count ;
3189 u64 wait_sum ;
3190 u64 iowait_count ;
3191 u64 iowait_sum ;
3192 u64 sleep_start ;
3193 u64 sleep_max ;
3194 s64 sum_sleep_runtime ;
3195 u64 block_start ;
3196 u64 block_max ;
3197 u64 exec_max ;
3198 u64 slice_max ;
3199 u64 nr_migrations_cold ;
3200 u64 nr_failed_migrations_affine ;
3201 u64 nr_failed_migrations_running ;
3202 u64 nr_failed_migrations_hot ;
3203 u64 nr_forced_migrations ;
3204 u64 nr_wakeups ;
3205 u64 nr_wakeups_sync ;
3206 u64 nr_wakeups_migrate ;
3207 u64 nr_wakeups_local ;
3208 u64 nr_wakeups_remote ;
3209 u64 nr_wakeups_affine ;
3210 u64 nr_wakeups_affine_attempts ;
3211 u64 nr_wakeups_passive ;
3212 u64 nr_wakeups_idle ;
3213};
3214#line 1207 "include/linux/sched.h"
3215struct sched_entity {
3216 struct load_weight load ;
3217 struct rb_node run_node ;
3218 struct list_head group_node ;
3219 unsigned int on_rq ;
3220 u64 exec_start ;
3221 u64 sum_exec_runtime ;
3222 u64 vruntime ;
3223 u64 prev_sum_exec_runtime ;
3224 u64 nr_migrations ;
3225 struct sched_statistics statistics ;
3226 struct sched_entity *parent ;
3227 struct cfs_rq *cfs_rq ;
3228 struct cfs_rq *my_q ;
3229};
3230#line 1233
3231struct rt_rq;
3232#line 1233 "include/linux/sched.h"
3233struct sched_rt_entity {
3234 struct list_head run_list ;
3235 unsigned long timeout ;
3236 unsigned int time_slice ;
3237 int nr_cpus_allowed ;
3238 struct sched_rt_entity *back ;
3239 struct sched_rt_entity *parent ;
3240 struct rt_rq *rt_rq ;
3241 struct rt_rq *my_q ;
3242};
3243#line 1264
3244struct css_set;
3245#line 1264
3246struct compat_robust_list_head;
3247#line 1264
3248struct mem_cgroup;
3249#line 1264 "include/linux/sched.h"
3250struct memcg_batch_info {
3251 int do_batch ;
3252 struct mem_cgroup *memcg ;
3253 unsigned long nr_pages ;
3254 unsigned long memsw_nr_pages ;
3255};
3256#line 1264 "include/linux/sched.h"
3257struct task_struct {
3258 long volatile state ;
3259 void *stack ;
3260 atomic_t usage ;
3261 unsigned int flags ;
3262 unsigned int ptrace ;
3263 struct llist_node wake_entry ;
3264 int on_cpu ;
3265 int on_rq ;
3266 int prio ;
3267 int static_prio ;
3268 int normal_prio ;
3269 unsigned int rt_priority ;
3270 struct sched_class const *sched_class ;
3271 struct sched_entity se ;
3272 struct sched_rt_entity rt ;
3273 struct hlist_head preempt_notifiers ;
3274 unsigned char fpu_counter ;
3275 unsigned int policy ;
3276 cpumask_t cpus_allowed ;
3277 struct sched_info sched_info ;
3278 struct list_head tasks ;
3279 struct plist_node pushable_tasks ;
3280 struct mm_struct *mm ;
3281 struct mm_struct *active_mm ;
3282 unsigned int brk_randomized : 1 ;
3283 int exit_state ;
3284 int exit_code ;
3285 int exit_signal ;
3286 int pdeath_signal ;
3287 unsigned int jobctl ;
3288 unsigned int personality ;
3289 unsigned int did_exec : 1 ;
3290 unsigned int in_execve : 1 ;
3291 unsigned int in_iowait : 1 ;
3292 unsigned int sched_reset_on_fork : 1 ;
3293 unsigned int sched_contributes_to_load : 1 ;
3294 unsigned int irq_thread : 1 ;
3295 pid_t pid ;
3296 pid_t tgid ;
3297 unsigned long stack_canary ;
3298 struct task_struct *real_parent ;
3299 struct task_struct *parent ;
3300 struct list_head children ;
3301 struct list_head sibling ;
3302 struct task_struct *group_leader ;
3303 struct list_head ptraced ;
3304 struct list_head ptrace_entry ;
3305 struct pid_link pids[3] ;
3306 struct list_head thread_group ;
3307 struct completion *vfork_done ;
3308 int *set_child_tid ;
3309 int *clear_child_tid ;
3310 cputime_t utime ;
3311 cputime_t stime ;
3312 cputime_t utimescaled ;
3313 cputime_t stimescaled ;
3314 cputime_t gtime ;
3315 cputime_t prev_utime ;
3316 cputime_t prev_stime ;
3317 unsigned long nvcsw ;
3318 unsigned long nivcsw ;
3319 struct timespec start_time ;
3320 struct timespec real_start_time ;
3321 unsigned long min_flt ;
3322 unsigned long maj_flt ;
3323 struct task_cputime cputime_expires ;
3324 struct list_head cpu_timers[3] ;
3325 struct cred const *real_cred ;
3326 struct cred const *cred ;
3327 struct cred *replacement_session_keyring ;
3328 char comm[16] ;
3329 int link_count ;
3330 int total_link_count ;
3331 struct sysv_sem sysvsem ;
3332 unsigned long last_switch_count ;
3333 struct thread_struct thread ;
3334 struct fs_struct *fs ;
3335 struct files_struct *files ;
3336 struct nsproxy *nsproxy ;
3337 struct signal_struct *signal ;
3338 struct sighand_struct *sighand ;
3339 sigset_t blocked ;
3340 sigset_t real_blocked ;
3341 sigset_t saved_sigmask ;
3342 struct sigpending pending ;
3343 unsigned long sas_ss_sp ;
3344 size_t sas_ss_size ;
3345 int (*notifier)(void *priv ) ;
3346 void *notifier_data ;
3347 sigset_t *notifier_mask ;
3348 struct audit_context *audit_context ;
3349 uid_t loginuid ;
3350 unsigned int sessionid ;
3351 seccomp_t seccomp ;
3352 u32 parent_exec_id ;
3353 u32 self_exec_id ;
3354 spinlock_t alloc_lock ;
3355 raw_spinlock_t pi_lock ;
3356 struct plist_head pi_waiters ;
3357 struct rt_mutex_waiter *pi_blocked_on ;
3358 struct mutex_waiter *blocked_on ;
3359 unsigned int irq_events ;
3360 unsigned long hardirq_enable_ip ;
3361 unsigned long hardirq_disable_ip ;
3362 unsigned int hardirq_enable_event ;
3363 unsigned int hardirq_disable_event ;
3364 int hardirqs_enabled ;
3365 int hardirq_context ;
3366 unsigned long softirq_disable_ip ;
3367 unsigned long softirq_enable_ip ;
3368 unsigned int softirq_disable_event ;
3369 unsigned int softirq_enable_event ;
3370 int softirqs_enabled ;
3371 int softirq_context ;
3372 void *journal_info ;
3373 struct bio_list *bio_list ;
3374 struct blk_plug *plug ;
3375 struct reclaim_state *reclaim_state ;
3376 struct backing_dev_info *backing_dev_info ;
3377 struct io_context *io_context ;
3378 unsigned long ptrace_message ;
3379 siginfo_t *last_siginfo ;
3380 struct task_io_accounting ioac ;
3381 u64 acct_rss_mem1 ;
3382 u64 acct_vm_mem1 ;
3383 cputime_t acct_timexpd ;
3384 nodemask_t mems_allowed ;
3385 seqcount_t mems_allowed_seq ;
3386 int cpuset_mem_spread_rotor ;
3387 int cpuset_slab_spread_rotor ;
3388 struct css_set *cgroups ;
3389 struct list_head cg_list ;
3390 struct robust_list_head *robust_list ;
3391 struct compat_robust_list_head *compat_robust_list ;
3392 struct list_head pi_state_list ;
3393 struct futex_pi_state *pi_state_cache ;
3394 struct perf_event_context *perf_event_ctxp[2] ;
3395 struct mutex perf_event_mutex ;
3396 struct list_head perf_event_list ;
3397 struct mempolicy *mempolicy ;
3398 short il_next ;
3399 short pref_node_fork ;
3400 struct rcu_head rcu ;
3401 struct pipe_inode_info *splice_pipe ;
3402 struct task_delay_info *delays ;
3403 int make_it_fail ;
3404 int nr_dirtied ;
3405 int nr_dirtied_pause ;
3406 unsigned long dirty_paused_when ;
3407 int latency_record_count ;
3408 struct latency_record latency_record[32] ;
3409 unsigned long timer_slack_ns ;
3410 unsigned long default_timer_slack_ns ;
3411 struct list_head *scm_work_list ;
3412 unsigned long trace ;
3413 unsigned long trace_recursion ;
3414 struct memcg_batch_info memcg_batch ;
3415 atomic_t ptrace_bp_refcnt ;
3416};
3417#line 1681
3418struct pid_namespace;
3419#line 25 "include/linux/io.h"
3420struct device;
3421#line 61 "include/linux/pci.h"
3422struct hotplug_slot;
3423#line 61 "include/linux/pci.h"
3424struct pci_slot {
3425 struct pci_bus *bus ;
3426 struct list_head list ;
3427 struct hotplug_slot *hotplug ;
3428 unsigned char number ;
3429 struct kobject kobj ;
3430};
3431#line 117 "include/linux/pci.h"
3432typedef int pci_power_t;
3433#line 143 "include/linux/pci.h"
3434typedef unsigned int pci_channel_state_t;
3435#line 145
3436enum pci_channel_state {
3437 pci_channel_io_normal = 1,
3438 pci_channel_io_frozen = 2,
3439 pci_channel_io_perm_failure = 3
3440} ;
3441#line 169 "include/linux/pci.h"
3442typedef unsigned short pci_dev_flags_t;
3443#line 186 "include/linux/pci.h"
3444typedef unsigned short pci_bus_flags_t;
3445#line 230
3446struct pcie_link_state;
3447#line 230
3448struct pcie_link_state;
3449#line 231
3450struct pci_vpd;
3451#line 231
3452struct pci_vpd;
3453#line 232
3454struct pci_sriov;
3455#line 232
3456struct pci_sriov;
3457#line 233
3458struct pci_ats;
3459#line 233
3460struct pci_ats;
3461#line 238
3462struct pci_driver;
3463#line 238 "include/linux/pci.h"
3464union __anonunion____missing_field_name_263 {
3465 struct pci_sriov *sriov ;
3466 struct pci_dev *physfn ;
3467};
3468#line 238 "include/linux/pci.h"
3469struct pci_dev {
3470 struct list_head bus_list ;
3471 struct pci_bus *bus ;
3472 struct pci_bus *subordinate ;
3473 void *sysdata ;
3474 struct proc_dir_entry *procent ;
3475 struct pci_slot *slot ;
3476 unsigned int devfn ;
3477 unsigned short vendor ;
3478 unsigned short device ;
3479 unsigned short subsystem_vendor ;
3480 unsigned short subsystem_device ;
3481 unsigned int class ;
3482 u8 revision ;
3483 u8 hdr_type ;
3484 u8 pcie_cap ;
3485 u8 pcie_type : 4 ;
3486 u8 pcie_mpss : 3 ;
3487 u8 rom_base_reg ;
3488 u8 pin ;
3489 struct pci_driver *driver ;
3490 u64 dma_mask ;
3491 struct device_dma_parameters dma_parms ;
3492 pci_power_t current_state ;
3493 int pm_cap ;
3494 unsigned int pme_support : 5 ;
3495 unsigned int pme_interrupt : 1 ;
3496 unsigned int pme_poll : 1 ;
3497 unsigned int d1_support : 1 ;
3498 unsigned int d2_support : 1 ;
3499 unsigned int no_d1d2 : 1 ;
3500 unsigned int mmio_always_on : 1 ;
3501 unsigned int wakeup_prepared : 1 ;
3502 unsigned int d3_delay ;
3503 struct pcie_link_state *link_state ;
3504 pci_channel_state_t error_state ;
3505 struct device dev ;
3506 int cfg_size ;
3507 unsigned int irq ;
3508 struct resource resource[17] ;
3509 unsigned int transparent : 1 ;
3510 unsigned int multifunction : 1 ;
3511 unsigned int is_added : 1 ;
3512 unsigned int is_busmaster : 1 ;
3513 unsigned int no_msi : 1 ;
3514 unsigned int block_cfg_access : 1 ;
3515 unsigned int broken_parity_status : 1 ;
3516 unsigned int irq_reroute_variant : 2 ;
3517 unsigned int msi_enabled : 1 ;
3518 unsigned int msix_enabled : 1 ;
3519 unsigned int ari_enabled : 1 ;
3520 unsigned int is_managed : 1 ;
3521 unsigned int is_pcie : 1 ;
3522 unsigned int needs_freset : 1 ;
3523 unsigned int state_saved : 1 ;
3524 unsigned int is_physfn : 1 ;
3525 unsigned int is_virtfn : 1 ;
3526 unsigned int reset_fn : 1 ;
3527 unsigned int is_hotplug_bridge : 1 ;
3528 unsigned int __aer_firmware_first_valid : 1 ;
3529 unsigned int __aer_firmware_first : 1 ;
3530 pci_dev_flags_t dev_flags ;
3531 atomic_t enable_cnt ;
3532 u32 saved_config_space[16] ;
3533 struct hlist_head saved_cap_space ;
3534 struct bin_attribute *rom_attr ;
3535 int rom_attr_enabled ;
3536 struct bin_attribute *res_attr[17] ;
3537 struct bin_attribute *res_attr_wc[17] ;
3538 struct list_head msi_list ;
3539 struct kset *msi_kset ;
3540 struct pci_vpd *vpd ;
3541 union __anonunion____missing_field_name_263 __annonCompField47 ;
3542 struct pci_ats *ats ;
3543};
3544#line 406
3545struct pci_ops;
3546#line 406 "include/linux/pci.h"
3547struct pci_bus {
3548 struct list_head node ;
3549 struct pci_bus *parent ;
3550 struct list_head children ;
3551 struct list_head devices ;
3552 struct pci_dev *self ;
3553 struct list_head slots ;
3554 struct resource *resource[4] ;
3555 struct list_head resources ;
3556 struct pci_ops *ops ;
3557 void *sysdata ;
3558 struct proc_dir_entry *procdir ;
3559 unsigned char number ;
3560 unsigned char primary ;
3561 unsigned char secondary ;
3562 unsigned char subordinate ;
3563 unsigned char max_bus_speed ;
3564 unsigned char cur_bus_speed ;
3565 char name[48] ;
3566 unsigned short bridge_ctl ;
3567 pci_bus_flags_t bus_flags ;
3568 struct device *bridge ;
3569 struct device dev ;
3570 struct bin_attribute *legacy_io ;
3571 struct bin_attribute *legacy_mem ;
3572 unsigned int is_added : 1 ;
3573};
3574#line 472 "include/linux/pci.h"
3575struct pci_ops {
3576 int (*read)(struct pci_bus *bus , unsigned int devfn , int where , int size , u32 *val ) ;
3577 int (*write)(struct pci_bus *bus , unsigned int devfn , int where , int size ,
3578 u32 val ) ;
3579};
3580#line 491 "include/linux/pci.h"
3581struct pci_dynids {
3582 spinlock_t lock ;
3583 struct list_head list ;
3584};
3585#line 503 "include/linux/pci.h"
3586typedef unsigned int pci_ers_result_t;
3587#line 523 "include/linux/pci.h"
3588struct pci_error_handlers {
3589 pci_ers_result_t (*error_detected)(struct pci_dev *dev , enum pci_channel_state error ) ;
3590 pci_ers_result_t (*mmio_enabled)(struct pci_dev *dev ) ;
3591 pci_ers_result_t (*link_reset)(struct pci_dev *dev ) ;
3592 pci_ers_result_t (*slot_reset)(struct pci_dev *dev ) ;
3593 void (*resume)(struct pci_dev *dev ) ;
3594};
3595#line 543
3596struct module;
3597#line 544 "include/linux/pci.h"
3598struct pci_driver {
3599 struct list_head node ;
3600 char const *name ;
3601 struct pci_device_id const *id_table ;
3602 int (*probe)(struct pci_dev *dev , struct pci_device_id const *id ) ;
3603 void (*remove)(struct pci_dev *dev ) ;
3604 int (*suspend)(struct pci_dev *dev , pm_message_t state ) ;
3605 int (*suspend_late)(struct pci_dev *dev , pm_message_t state ) ;
3606 int (*resume_early)(struct pci_dev *dev ) ;
3607 int (*resume)(struct pci_dev *dev ) ;
3608 void (*shutdown)(struct pci_dev *dev ) ;
3609 struct pci_error_handlers *err_handler ;
3610 struct device_driver driver ;
3611 struct pci_dynids dynids ;
3612};
3613#line 6 "include/asm-generic/scatterlist.h"
3614struct scatterlist {
3615 unsigned long sg_magic ;
3616 unsigned long page_link ;
3617 unsigned int offset ;
3618 unsigned int length ;
3619 dma_addr_t dma_address ;
3620 unsigned int dma_length ;
3621};
3622#line 8 "include/linux/debug_locks.h"
3623struct task_struct;
3624#line 48
3625struct task_struct;
3626#line 22 "include/linux/mm.h"
3627struct mempolicy;
3628#line 23
3629struct anon_vma;
3630#line 24
3631struct file_ra_state;
3632#line 25
3633struct user_struct;
3634#line 26
3635struct writeback_control;
3636#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
3637struct mm_struct;
3638#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
3639struct vm_area_struct;
3640#line 188 "include/linux/mm.h"
3641struct vm_fault {
3642 unsigned int flags ;
3643 unsigned long pgoff ;
3644 void *virtual_address ;
3645 struct page *page ;
3646};
3647#line 205 "include/linux/mm.h"
3648struct vm_operations_struct {
3649 void (*open)(struct vm_area_struct *area ) ;
3650 void (*close)(struct vm_area_struct *area ) ;
3651 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
3652 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
3653 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
3654 int write ) ;
3655 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
3656 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
3657 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
3658 unsigned long flags ) ;
3659};
3660#line 247
3661struct inode;
3662#line 195 "include/linux/page-flags.h"
3663struct page;
3664#line 27 "include/linux/dma-attrs.h"
3665struct dma_attrs {
3666 unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
3667};
3668#line 7 "include/linux/dma-direction.h"
3669enum dma_data_direction {
3670 DMA_BIDIRECTIONAL = 0,
3671 DMA_TO_DEVICE = 1,
3672 DMA_FROM_DEVICE = 2,
3673 DMA_NONE = 3
3674} ;
3675#line 11 "include/linux/dma-mapping.h"
3676struct dma_map_ops {
3677 void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
3678 struct dma_attrs *attrs ) ;
3679 void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
3680 struct dma_attrs *attrs ) ;
3681 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
3682 size_t , struct dma_attrs *attrs ) ;
3683 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
3684 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
3685 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
3686 struct dma_attrs *attrs ) ;
3687 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
3688 struct dma_attrs *attrs ) ;
3689 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
3690 struct dma_attrs *attrs ) ;
3691 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
3692 enum dma_data_direction dir ) ;
3693 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
3694 enum dma_data_direction dir ) ;
3695 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
3696 enum dma_data_direction dir ) ;
3697 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
3698 enum dma_data_direction dir ) ;
3699 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
3700 int (*dma_supported)(struct device *dev , u64 mask ) ;
3701 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
3702 int is_phys ;
3703};
3704#line 25 "include/linux/dma-debug.h"
3705struct device;
3706#line 26
3707struct scatterlist;
3708#line 27
3709struct bus_type;
3710#line 6 "include/linux/swiotlb.h"
3711struct device;
3712#line 7
3713struct dma_attrs;
3714#line 8
3715struct scatterlist;
3716#line 53 "include/pcmcia/ss.h"
3717struct socket_state_t {
3718 u_int flags ;
3719 u_int csc_mask ;
3720 u_char Vcc ;
3721 u_char Vpp ;
3722 u_char io_irq ;
3723};
3724#line 53 "include/pcmcia/ss.h"
3725typedef struct socket_state_t socket_state_t;
3726#line 87 "include/pcmcia/ss.h"
3727struct pccard_io_map {
3728 u_char map ;
3729 u_char flags ;
3730 u_short speed ;
3731 phys_addr_t start ;
3732 phys_addr_t stop ;
3733};
3734#line 94 "include/pcmcia/ss.h"
3735struct pccard_mem_map {
3736 u_char map ;
3737 u_char flags ;
3738 u_short speed ;
3739 phys_addr_t static_start ;
3740 u_int card_start ;
3741 struct resource *res ;
3742};
3743#line 94 "include/pcmcia/ss.h"
3744typedef struct pccard_mem_map pccard_mem_map;
3745#line 103 "include/pcmcia/ss.h"
3746struct io_window_t {
3747 u_int InUse ;
3748 u_int Config ;
3749 struct resource *res ;
3750};
3751#line 103 "include/pcmcia/ss.h"
3752typedef struct io_window_t io_window_t;
3753#line 118
3754struct pcmcia_socket;
3755#line 118
3756struct pcmcia_socket;
3757#line 119
3758struct pccard_resource_ops;
3759#line 119
3760struct pccard_resource_ops;
3761#line 120
3762struct config_t;
3763#line 120
3764struct config_t;
3765#line 121
3766struct pcmcia_callback;
3767#line 121
3768struct pcmcia_callback;
3769#line 124 "include/pcmcia/ss.h"
3770struct pccard_operations {
3771 int (*init)(struct pcmcia_socket *s ) ;
3772 int (*suspend)(struct pcmcia_socket *s ) ;
3773 int (*get_status)(struct pcmcia_socket *s , u_int *value ) ;
3774 int (*set_socket)(struct pcmcia_socket *s , socket_state_t *state ) ;
3775 int (*set_io_map)(struct pcmcia_socket *s , struct pccard_io_map *io ) ;
3776 int (*set_mem_map)(struct pcmcia_socket *s , struct pccard_mem_map *mem ) ;
3777};
3778#line 133 "include/pcmcia/ss.h"
3779struct pcmcia_socket {
3780 struct module *owner ;
3781 socket_state_t socket ;
3782 u_int state ;
3783 u_int suspended_state ;
3784 u_short functions ;
3785 u_short lock_count ;
3786 pccard_mem_map cis_mem ;
3787 void *cis_virt ;
3788 io_window_t io[2] ;
3789 pccard_mem_map win[4] ;
3790 struct list_head cis_cache ;
3791 size_t fake_cis_len ;
3792 u8 *fake_cis ;
3793 struct list_head socket_list ;
3794 struct completion socket_released ;
3795 unsigned int sock ;
3796 u_int features ;
3797 u_int irq_mask ;
3798 u_int map_size ;
3799 u_int io_offset ;
3800 u_int pci_irq ;
3801 struct pci_dev *cb_dev ;
3802 u8 resource_setup_done ;
3803 struct pccard_operations *ops ;
3804 struct pccard_resource_ops *resource_ops ;
3805 void *resource_data ;
3806 void (*zoom_video)(struct pcmcia_socket * , int ) ;
3807 int (*power_hook)(struct pcmcia_socket *sock , int operation ) ;
3808 void (*tune_bridge)(struct pcmcia_socket *sock , struct pci_bus *bus ) ;
3809 struct task_struct *thread ;
3810 struct completion thread_done ;
3811 unsigned int thread_events ;
3812 unsigned int sysfs_events ;
3813 struct mutex skt_mutex ;
3814 struct mutex ops_mutex ;
3815 spinlock_t thread_lock ;
3816 struct pcmcia_callback *callback ;
3817 struct list_head devices_list ;
3818 u8 device_count ;
3819 u8 pcmcia_pfc ;
3820 atomic_t present ;
3821 unsigned int pcmcia_irq ;
3822 struct device dev ;
3823 void *driver_data ;
3824 int resume_status ;
3825};
3826#line 36 "include/pcmcia/ds.h"
3827struct pcmcia_socket;
3828#line 37
3829struct pcmcia_device;
3830#line 37
3831struct pcmcia_device;
3832#line 38
3833struct config_t;
3834#line 44 "include/pcmcia/ds.h"
3835struct pcmcia_dynids {
3836 struct mutex lock ;
3837 struct list_head list ;
3838};
3839#line 49 "include/pcmcia/ds.h"
3840struct pcmcia_driver {
3841 char const *name ;
3842 int (*probe)(struct pcmcia_device *dev ) ;
3843 void (*remove)(struct pcmcia_device *dev ) ;
3844 int (*suspend)(struct pcmcia_device *dev ) ;
3845 int (*resume)(struct pcmcia_device *dev ) ;
3846 struct module *owner ;
3847 struct pcmcia_device_id const *id_table ;
3848 struct device_driver drv ;
3849 struct pcmcia_dynids dynids ;
3850};
3851#line 79 "include/pcmcia/ds.h"
3852struct pcmcia_device {
3853 struct pcmcia_socket *socket ;
3854 char *devname ;
3855 u8 device_no ;
3856 u8 func ;
3857 struct config_t *function_config ;
3858 struct list_head socket_device_list ;
3859 unsigned int irq ;
3860 struct resource *resource[6] ;
3861 resource_size_t card_addr ;
3862 unsigned int vpp ;
3863 unsigned int config_flags ;
3864 unsigned int config_base ;
3865 unsigned int config_index ;
3866 unsigned int config_regs ;
3867 unsigned int io_lines ;
3868 u16 suspended : 1 ;
3869 u16 _irq : 1 ;
3870 u16 _io : 1 ;
3871 u16 _win : 4 ;
3872 u16 _locked : 1 ;
3873 u16 allow_func_id_match : 1 ;
3874 u16 has_manf_id : 1 ;
3875 u16 has_card_id : 1 ;
3876 u16 has_func_id : 1 ;
3877 u16 reserved : 4 ;
3878 u8 func_id ;
3879 u16 manf_id ;
3880 u16 card_id ;
3881 char *prod_id[4] ;
3882 u64 dma_mask ;
3883 struct device dev ;
3884 void *priv ;
3885 unsigned int open ;
3886};
3887#line 72 "include/linux/telephony.h"
3888enum __anonenum_phone_cap_265 {
3889 vendor = 0,
3890 device = 1,
3891 port = 2,
3892 codec = 3,
3893 dsp = 4
3894} ;
3895#line 72 "include/linux/telephony.h"
3896typedef enum __anonenum_phone_cap_265 phone_cap;
3897#line 80 "include/linux/telephony.h"
3898struct phone_capability {
3899 char desc[80] ;
3900 phone_cap captype ;
3901 int cap ;
3902 int handle ;
3903};
3904#line 98 "include/linux/telephony.h"
3905struct __anonstruct_PHONE_CID_267 {
3906 char month[3] ;
3907 char day[3] ;
3908 char hour[3] ;
3909 char min[3] ;
3910 int numlen ;
3911 char number[11] ;
3912 int namelen ;
3913 char name[80] ;
3914};
3915#line 98 "include/linux/telephony.h"
3916typedef struct __anonstruct_PHONE_CID_267 PHONE_CID;
3917#line 236 "include/linux/telephony.h"
3918struct phone_except {
3919 unsigned int dtmf_ready : 1 ;
3920 unsigned int hookstate : 1 ;
3921 unsigned int pstn_ring : 1 ;
3922 unsigned int caller_id : 1 ;
3923 unsigned int pstn_wink : 1 ;
3924 unsigned int f0 : 1 ;
3925 unsigned int f1 : 1 ;
3926 unsigned int f2 : 1 ;
3927 unsigned int f3 : 1 ;
3928 unsigned int flash : 1 ;
3929 unsigned int fc0 : 1 ;
3930 unsigned int fc1 : 1 ;
3931 unsigned int fc2 : 1 ;
3932 unsigned int fc3 : 1 ;
3933 unsigned int reserved : 18 ;
3934};
3935#line 255 "include/linux/telephony.h"
3936union telephony_exception {
3937 struct phone_except bits ;
3938 unsigned int bytes ;
3939};
3940#line 332 "include/linux/ixjuser.h"
3941struct __anonstruct_IXJ_CADENCE_ELEMENT_275 {
3942 int index ;
3943 int tone_on_time ;
3944 int tone_off_time ;
3945 int freq0 ;
3946 int gain0 ;
3947 int freq1 ;
3948 int gain1 ;
3949};
3950#line 332 "include/linux/ixjuser.h"
3951typedef struct __anonstruct_IXJ_CADENCE_ELEMENT_275 IXJ_CADENCE_ELEMENT;
3952#line 342
3953enum __anonenum_IXJ_CADENCE_TERM_276 {
3954 PLAY_ONCE = 0,
3955 REPEAT_LAST_ELEMENT = 1,
3956 REPEAT_ALL = 2
3957} ;
3958#line 342 "include/linux/ixjuser.h"
3959typedef enum __anonenum_IXJ_CADENCE_TERM_276 IXJ_CADENCE_TERM;
3960#line 670 "include/linux/ixjuser.h"
3961struct __anonstruct_IXJ_SIGDEF_279 {
3962 unsigned int event ;
3963 int signal ;
3964};
3965#line 670 "include/linux/ixjuser.h"
3966typedef struct __anonstruct_IXJ_SIGDEF_279 IXJ_SIGDEF;
3967#line 28 "include/linux/poll.h"
3968struct poll_table_struct;
3969#line 39 "include/linux/poll.h"
3970struct poll_table_struct {
3971 void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
3972 unsigned long _key ;
3973};
3974#line 10 "include/linux/phonedev.h"
3975struct phone_device {
3976 struct phone_device *next ;
3977 struct file_operations const *f_op ;
3978 int (*open)(struct phone_device * , struct file * ) ;
3979 int board ;
3980 int minor ;
3981};
3982#line 50 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
3983typedef __u8 BYTE;
3984#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
3985struct __anonstruct_BYTES_282 {
3986 unsigned char low ;
3987 unsigned char high ;
3988};
3989#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
3990typedef struct __anonstruct_BYTES_282 BYTES;
3991#line 122 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
3992struct __anonstruct_HSRBIT_288 {
3993 unsigned int controlrdy : 1 ;
3994 unsigned int auxctlrdy : 1 ;
3995 unsigned int statusrdy : 1 ;
3996 unsigned int auxstatusrdy : 1 ;
3997 unsigned int rxrdy : 1 ;
3998 unsigned int txrdy : 1 ;
3999 unsigned int restart : 1 ;
4000 unsigned int irqn : 1 ;
4001 unsigned int rxdma : 1 ;
4002 unsigned int txdma : 1 ;
4003 unsigned int cohostshutdown : 1 ;
4004 unsigned int t : 5 ;
4005};
4006#line 122 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4007typedef struct __anonstruct_HSRBIT_288 HSRBIT;
4008#line 137 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4009union __anonunion_HSR_289 {
4010 HSRBIT bits ;
4011 BYTES bytes ;
4012};
4013#line 137 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4014typedef union __anonunion_HSR_289 HSR;
4015#line 149 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4016struct __anonstruct_GPIOBIT_290 {
4017 unsigned int x : 1 ;
4018 unsigned int gpio1 : 1 ;
4019 unsigned int gpio2 : 1 ;
4020 unsigned int gpio3 : 1 ;
4021 unsigned int gpio4 : 1 ;
4022 unsigned int gpio5 : 1 ;
4023 unsigned int gpio6 : 1 ;
4024 unsigned int gpio7 : 1 ;
4025 unsigned int xread : 1 ;
4026 unsigned int gpio1read : 1 ;
4027 unsigned int gpio2read : 1 ;
4028 unsigned int gpio3read : 1 ;
4029 unsigned int gpio4read : 1 ;
4030 unsigned int gpio5read : 1 ;
4031 unsigned int gpio6read : 1 ;
4032 unsigned int gpio7read : 1 ;
4033};
4034#line 149 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4035typedef struct __anonstruct_GPIOBIT_290 GPIOBIT;
4036#line 168 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4037union __anonunion_GPIO_291 {
4038 GPIOBIT bits ;
4039 BYTES bytes ;
4040 unsigned short word ;
4041};
4042#line 168 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4043typedef union __anonunion_GPIO_291 GPIO;
4044#line 179 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4045struct __anonstruct_LMON_292 {
4046 unsigned int digit : 4 ;
4047 unsigned int cpf_valid : 1 ;
4048 unsigned int dtmf_valid : 1 ;
4049 unsigned int peak : 1 ;
4050 unsigned int z : 1 ;
4051 unsigned int f0 : 1 ;
4052 unsigned int f1 : 1 ;
4053 unsigned int f2 : 1 ;
4054 unsigned int f3 : 1 ;
4055 unsigned int frame : 4 ;
4056};
4057#line 179 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4058typedef struct __anonstruct_LMON_292 LMON;
4059#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4060union __anonunion_DTMF_293 {
4061 LMON bits ;
4062 BYTES bytes ;
4063};
4064#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4065typedef union __anonunion_DTMF_293 DTMF;
4066#line 197 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4067struct __anonstruct_CP_294 {
4068 unsigned int z : 7 ;
4069 unsigned int dtmf_en : 1 ;
4070 unsigned int y : 4 ;
4071 unsigned int F3 : 1 ;
4072 unsigned int F2 : 1 ;
4073 unsigned int F1 : 1 ;
4074 unsigned int F0 : 1 ;
4075};
4076#line 197 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4077typedef struct __anonstruct_CP_294 CP;
4078#line 207 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4079union __anonunion_CPTF_295 {
4080 CP bits ;
4081 BYTES bytes ;
4082};
4083#line 207 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4084typedef union __anonunion_CPTF_295 CPTF;
4085#line 218 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4086struct __anonstruct_PSCRWI_296 {
4087 unsigned int c0 : 1 ;
4088 unsigned int c1 : 1 ;
4089 unsigned int stereo : 1 ;
4090 unsigned int daafsyncen : 1 ;
4091 unsigned int led1 : 1 ;
4092 unsigned int led2 : 1 ;
4093 unsigned int led3 : 1 ;
4094 unsigned int led4 : 1 ;
4095};
4096#line 218 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4097typedef struct __anonstruct_PSCRWI_296 PSCRWI;
4098#line 229 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4099struct __anonstruct_PSCRWP_297 {
4100 unsigned int eidp : 1 ;
4101 unsigned int eisd : 1 ;
4102 unsigned int x : 6 ;
4103};
4104#line 229 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4105typedef struct __anonstruct_PSCRWP_297 PSCRWP;
4106#line 235 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4107union __anonunion_PLD_SCRW_298 {
4108 PSCRWI bits ;
4109 PSCRWP pcib ;
4110 char byte ;
4111};
4112#line 235 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4113typedef union __anonunion_PLD_SCRW_298 PLD_SCRW;
4114#line 241 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4115struct __anonstruct_PSCRRI_299 {
4116 unsigned int c0 : 1 ;
4117 unsigned int c1 : 1 ;
4118 unsigned int x : 1 ;
4119 unsigned int d0ee : 1 ;
4120 unsigned int mixerbusy : 1 ;
4121 unsigned int sci : 1 ;
4122 unsigned int dspflag : 1 ;
4123 unsigned int daaflag : 1 ;
4124};
4125#line 241 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4126typedef struct __anonstruct_PSCRRI_299 PSCRRI;
4127#line 252 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4128struct __anonstruct_PSCRRP_300 {
4129 unsigned int eidp : 1 ;
4130 unsigned int eisd : 1 ;
4131 unsigned int x : 4 ;
4132 unsigned int dspflag : 1 ;
4133 unsigned int det : 1 ;
4134};
4135#line 252 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4136typedef struct __anonstruct_PSCRRP_300 PSCRRP;
4137#line 260 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4138union __anonunion_PLD_SCRR_301 {
4139 PSCRRI bits ;
4140 PSCRRP pcib ;
4141 char byte ;
4142};
4143#line 260 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4144typedef union __anonunion_PLD_SCRR_301 PLD_SCRR;
4145#line 272 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4146struct __anonstruct_PSLICWRITE_302 {
4147 unsigned int c1 : 1 ;
4148 unsigned int c2 : 1 ;
4149 unsigned int c3 : 1 ;
4150 unsigned int b2en : 1 ;
4151 unsigned int spken : 1 ;
4152 unsigned int rly1 : 1 ;
4153 unsigned int rly2 : 1 ;
4154 unsigned int rly3 : 1 ;
4155};
4156#line 272 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4157typedef struct __anonstruct_PSLICWRITE_302 PSLICWRITE;
4158#line 283 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4159struct __anonstruct_PSLICREAD_303 {
4160 unsigned int state : 3 ;
4161 unsigned int b2en : 1 ;
4162 unsigned int spken : 1 ;
4163 unsigned int c3 : 1 ;
4164 unsigned int potspstn : 1 ;
4165 unsigned int det : 1 ;
4166};
4167#line 283 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4168typedef struct __anonstruct_PSLICREAD_303 PSLICREAD;
4169#line 292 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4170struct __anonstruct_PSLICPCI_304 {
4171 unsigned int c1 : 1 ;
4172 unsigned int c2 : 1 ;
4173 unsigned int c3 : 1 ;
4174 unsigned int b2en : 1 ;
4175 unsigned int e1 : 1 ;
4176 unsigned int mic : 1 ;
4177 unsigned int spk : 1 ;
4178 unsigned int x : 1 ;
4179};
4180#line 292 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4181typedef struct __anonstruct_PSLICPCI_304 PSLICPCI;
4182#line 303 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4183union __anonunion_PLD_SLICW_305 {
4184 PSLICPCI pcib ;
4185 PSLICWRITE bits ;
4186 PSLICREAD slic ;
4187 char byte ;
4188};
4189#line 303 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4190typedef union __anonunion_PLD_SLICW_305 PLD_SLICW;
4191#line 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4192union __anonunion_PLD_SLICR_306 {
4193 PSLICPCI pcib ;
4194 PSLICREAD bits ;
4195 char byte ;
4196};
4197#line 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4198typedef union __anonunion_PLD_SLICR_306 PLD_SLICR;
4199#line 322 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4200struct __anonstruct_PCLOCK_307 {
4201 unsigned int clk0 : 1 ;
4202 unsigned int clk1 : 1 ;
4203 unsigned int clk2 : 1 ;
4204 unsigned int x0 : 1 ;
4205 unsigned int slic_e1 : 1 ;
4206 unsigned int x1 : 1 ;
4207 unsigned int x2 : 1 ;
4208 unsigned int x3 : 1 ;
4209};
4210#line 322 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4211typedef struct __anonstruct_PCLOCK_307 PCLOCK;
4212#line 333 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4213union __anonunion_PLD_CLOCK_308 {
4214 PCLOCK bits ;
4215 char byte ;
4216};
4217#line 333 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4218typedef union __anonunion_PLD_CLOCK_308 PLD_CLOCK;
4219#line 344 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4220struct __anonstruct_MIX_309 {
4221 unsigned short vol[10] ;
4222 unsigned int recsrc ;
4223 unsigned int modcnt ;
4224 unsigned short micpreamp ;
4225};
4226#line 344 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4227typedef struct __anonstruct_MIX_309 MIX;
4228#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4229struct __anonstruct_COMMAND_REG1_310 {
4230 unsigned int x0 : 4 ;
4231 unsigned int ed : 1 ;
4232 unsigned int drf : 1 ;
4233 unsigned int dspf : 1 ;
4234 unsigned int crr : 1 ;
4235};
4236#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4237typedef struct __anonstruct_COMMAND_REG1_310 COMMAND_REG1;
4238#line 369 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4239union __anonunion_PCMCIA_CR1_311 {
4240 COMMAND_REG1 bits ;
4241 unsigned char byte ;
4242};
4243#line 369 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4244typedef union __anonunion_PCMCIA_CR1_311 PCMCIA_CR1;
4245#line 374 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4246struct __anonstruct_COMMAND_REG2_312 {
4247 unsigned int x0 : 4 ;
4248 unsigned int rstc : 1 ;
4249 unsigned int pwr : 1 ;
4250 unsigned int x1 : 2 ;
4251};
4252#line 374 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4253typedef struct __anonstruct_COMMAND_REG2_312 COMMAND_REG2;
4254#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4255union __anonunion_PCMCIA_CR2_313 {
4256 COMMAND_REG2 bits ;
4257 unsigned char byte ;
4258};
4259#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4260typedef union __anonunion_PCMCIA_CR2_313 PCMCIA_CR2;
4261#line 390 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4262struct __anonstruct_CONTROL_REG_314 {
4263 unsigned int addr : 5 ;
4264 unsigned int rw : 1 ;
4265 unsigned int dev : 2 ;
4266};
4267#line 390 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4268typedef struct __anonstruct_CONTROL_REG_314 CONTROL_REG;
4269#line 399 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4270union __anonunion_PCMCIA_SCCR_315 {
4271 CONTROL_REG bits ;
4272 unsigned char byte ;
4273};
4274#line 399 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4275typedef union __anonunion_PCMCIA_SCCR_315 PCMCIA_SCCR;
4276#line 404 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4277struct __anonstruct_PCMCIA_SLIC_REG_316 {
4278 unsigned int hsw : 1 ;
4279 unsigned int det : 1 ;
4280 unsigned int led2 : 1 ;
4281 unsigned int led1 : 1 ;
4282 unsigned int ring1 : 1 ;
4283 unsigned int ring0 : 1 ;
4284 unsigned int x : 1 ;
4285 unsigned int powerdown : 1 ;
4286};
4287#line 404 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4288typedef struct __anonstruct_PCMCIA_SLIC_REG_316 PCMCIA_SLIC_REG;
4289#line 415 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4290union __anonunion_PCMCIA_SLIC_317 {
4291 PCMCIA_SLIC_REG bits ;
4292 unsigned char byte ;
4293};
4294#line 415 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4295typedef union __anonunion_PCMCIA_SLIC_317 PCMCIA_SLIC;
4296#line 420 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4297struct __anonstruct_Si3CONTROL1_318 {
4298 unsigned int cpd : 1 ;
4299 unsigned int mpd : 1 ;
4300 unsigned int hpd : 1 ;
4301 unsigned int lpd : 1 ;
4302 unsigned int spd : 1 ;
4303 unsigned int x : 2 ;
4304 unsigned int sr : 1 ;
4305};
4306#line 420 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4307typedef struct __anonstruct_Si3CONTROL1_318 Si3CONTROL1;
4308#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4309union __anonunion_Si3C1_319 {
4310 Si3CONTROL1 bits ;
4311 unsigned char byte ;
4312};
4313#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4314typedef union __anonunion_Si3C1_319 Si3C1;
4315#line 442 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4316struct __anonstruct_Si3CONTROL2_320 {
4317 unsigned int al : 1 ;
4318 unsigned int dl2 : 1 ;
4319 unsigned int dl1 : 1 ;
4320 unsigned int pll : 1 ;
4321 unsigned int hpd : 1 ;
4322 unsigned int x : 3 ;
4323};
4324#line 442 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4325typedef struct __anonstruct_Si3CONTROL2_320 Si3CONTROL2;
4326#line 457 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4327union __anonunion_Si3C2_321 {
4328 Si3CONTROL2 bits ;
4329 unsigned char byte ;
4330};
4331#line 457 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4332typedef union __anonunion_Si3C2_321 Si3C2;
4333#line 462 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4334struct __anonstruct_Si3RXGAIN_322 {
4335 unsigned int iir : 1 ;
4336 unsigned int him : 1 ;
4337 unsigned int mcm : 1 ;
4338 unsigned int mcg : 2 ;
4339 unsigned int lim : 1 ;
4340 unsigned int lig : 2 ;
4341};
4342#line 462 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4343typedef struct __anonstruct_Si3RXGAIN_322 Si3RXGAIN;
4344#line 477 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4345union __anonunion_Si3RXG_323 {
4346 Si3RXGAIN bits ;
4347 unsigned char byte ;
4348};
4349#line 477 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4350typedef union __anonunion_Si3RXG_323 Si3RXG;
4351#line 482 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4352struct __anonstruct_Si3ADCVOLUME_324 {
4353 unsigned int hom : 1 ;
4354 unsigned int lom : 1 ;
4355 unsigned int rxg : 5 ;
4356 unsigned int x : 1 ;
4357};
4358#line 482 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4359typedef struct __anonstruct_Si3ADCVOLUME_324 Si3ADCVOLUME;
4360#line 493 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4361union __anonunion_Si3ADC_325 {
4362 Si3ADCVOLUME bits ;
4363 unsigned char byte ;
4364};
4365#line 493 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4366typedef union __anonunion_Si3ADC_325 Si3ADC;
4367#line 498 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4368struct __anonstruct_Si3DACVOLUME_326 {
4369 unsigned int srm : 1 ;
4370 unsigned int slm : 1 ;
4371 unsigned int txg : 5 ;
4372 unsigned int x : 1 ;
4373};
4374#line 498 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4375typedef struct __anonstruct_Si3DACVOLUME_326 Si3DACVOLUME;
4376#line 509 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4377union __anonunion_Si3DAC_327 {
4378 Si3DACVOLUME bits ;
4379 unsigned char byte ;
4380};
4381#line 509 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4382typedef union __anonunion_Si3DAC_327 Si3DAC;
4383#line 514 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4384struct __anonstruct_Si3STATUSREPORT_328 {
4385 unsigned int x : 5 ;
4386 unsigned int losc : 1 ;
4387 unsigned int srsc : 1 ;
4388 unsigned int slsc : 1 ;
4389};
4390#line 514 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4391typedef struct __anonstruct_Si3STATUSREPORT_328 Si3STATUSREPORT;
4392#line 525 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4393union __anonunion_Si3STAT_329 {
4394 Si3STATUSREPORT bits ;
4395 unsigned char byte ;
4396};
4397#line 525 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4398typedef union __anonunion_Si3STAT_329 Si3STAT;
4399#line 530 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4400struct __anonstruct_Si3ANALOGATTN_330 {
4401 unsigned int sot : 2 ;
4402 unsigned int lot : 2 ;
4403 unsigned int x : 4 ;
4404};
4405#line 530 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4406typedef struct __anonstruct_Si3ANALOGATTN_330 Si3ANALOGATTN;
4407#line 539 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4408union __anonunion_Si3AATT_331 {
4409 Si3ANALOGATTN bits ;
4410 unsigned char byte ;
4411};
4412#line 539 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4413typedef union __anonunion_Si3AATT_331 Si3AATT;
4414#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4415struct _CR0_BITREGS {
4416 BYTE CLK_EXT : 1 ;
4417 BYTE RIP : 1 ;
4418 BYTE AR : 1 ;
4419 BYTE AX : 1 ;
4420 BYTE FRR : 1 ;
4421 BYTE FRX : 1 ;
4422 BYTE IM : 1 ;
4423 BYTE TH : 1 ;
4424};
4425#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4426union __anonunion_cr0_332 {
4427 BYTE reg ;
4428 struct _CR0_BITREGS bitreg ;
4429};
4430#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4431struct _CR1_REGS {
4432 BYTE RM : 1 ;
4433 BYTE RMR : 1 ;
4434 BYTE No_auto : 1 ;
4435 BYTE Pulse : 1 ;
4436 BYTE P_Tone1 : 1 ;
4437 BYTE P_Tone2 : 1 ;
4438 BYTE E_Tone1 : 1 ;
4439 BYTE E_Tone2 : 1 ;
4440};
4441#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4442union __anonunion_cr1_333 {
4443 BYTE reg ;
4444 struct _CR1_REGS bitreg ;
4445};
4446#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4447struct _CR2_REGS {
4448 BYTE Call_II : 1 ;
4449 BYTE Call_I : 1 ;
4450 BYTE Call_en : 1 ;
4451 BYTE Call_pon : 1 ;
4452 BYTE IDR : 1 ;
4453 BYTE COT_R : 3 ;
4454};
4455#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4456union __anonunion_cr2_334 {
4457 BYTE reg ;
4458 struct _CR2_REGS bitreg ;
4459};
4460#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4461struct _CR3_REGS {
4462 BYTE DHP_X : 1 ;
4463 BYTE DHP_R : 1 ;
4464 BYTE Cal_pctl : 1 ;
4465 BYTE SEL : 1 ;
4466 BYTE TestLoops : 4 ;
4467};
4468#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4469union __anonunion_cr3_335 {
4470 BYTE reg ;
4471 struct _CR3_REGS bitreg ;
4472};
4473#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4474struct _CR4_REGS {
4475 BYTE Fsc_en : 1 ;
4476 BYTE Int_en : 1 ;
4477 BYTE AGX : 2 ;
4478 BYTE AGR_R : 2 ;
4479 BYTE AGR_Z : 2 ;
4480};
4481#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4482union __anonunion_cr4_336 {
4483 BYTE reg ;
4484 struct _CR4_REGS bitreg ;
4485};
4486#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4487struct _CR5_REGS {
4488 BYTE V_0 : 1 ;
4489 BYTE V_1 : 1 ;
4490 BYTE V_2 : 1 ;
4491 BYTE V_3 : 1 ;
4492 BYTE V_4 : 1 ;
4493 BYTE V_5 : 1 ;
4494 BYTE V_6 : 1 ;
4495 BYTE V_7 : 1 ;
4496};
4497#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4498union __anonunion_cr5_337 {
4499 BYTE reg ;
4500 struct _CR5_REGS bitreg ;
4501};
4502#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4503struct _CR6_REGS {
4504 BYTE reserved : 8 ;
4505};
4506#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4507union __anonunion_cr6_338 {
4508 BYTE reg ;
4509 struct _CR6_REGS bitreg ;
4510};
4511#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4512struct _CR7_REGS {
4513 BYTE reserved : 8 ;
4514};
4515#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4516union __anonunion_cr7_339 {
4517 BYTE reg ;
4518 struct _CR7_REGS bitreg ;
4519};
4520#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4521struct _SOP {
4522 union __anonunion_cr0_332 cr0 ;
4523 union __anonunion_cr1_333 cr1 ;
4524 union __anonunion_cr2_334 cr2 ;
4525 union __anonunion_cr3_335 cr3 ;
4526 union __anonunion_cr4_336 cr4 ;
4527 union __anonunion_cr5_337 cr5 ;
4528 union __anonunion_cr6_338 cr6 ;
4529 union __anonunion_cr7_339 cr7 ;
4530};
4531#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4532union _SOP_REGS {
4533 struct _SOP SOP ;
4534 BYTE ByteRegs[sizeof(struct _SOP )] ;
4535};
4536#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4537struct _XR0_BITREGS {
4538 BYTE SI_0 : 1 ;
4539 BYTE SI_1 : 1 ;
4540 BYTE VDD_OK : 1 ;
4541 BYTE Caller_ID : 1 ;
4542 BYTE RING : 1 ;
4543 BYTE Cadence : 1 ;
4544 BYTE Wake_up : 1 ;
4545 BYTE RMR : 1 ;
4546};
4547#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4548union XOPXR0 {
4549 BYTE reg ;
4550 struct _XR0_BITREGS bitreg ;
4551};
4552#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4553struct _XR1_BITREGS {
4554 BYTE M_SI_0 : 1 ;
4555 BYTE M_SI_1 : 1 ;
4556 BYTE M_VDD_OK : 1 ;
4557 BYTE M_Caller_ID : 1 ;
4558 BYTE M_RING : 1 ;
4559 BYTE M_Cadence : 1 ;
4560 BYTE M_Wake_up : 1 ;
4561 BYTE unused : 1 ;
4562};
4563#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4564union __anonunion_xr1_340 {
4565 BYTE reg ;
4566 struct _XR1_BITREGS bitreg ;
4567};
4568#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4569struct _XR2_BITREGS {
4570 BYTE CTO0 : 1 ;
4571 BYTE CTO1 : 1 ;
4572 BYTE CTO2 : 1 ;
4573 BYTE CTO3 : 1 ;
4574 BYTE CTO4 : 1 ;
4575 BYTE CTO5 : 1 ;
4576 BYTE CTO6 : 1 ;
4577 BYTE CTO7 : 1 ;
4578};
4579#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4580union __anonunion_xr2_341 {
4581 BYTE reg ;
4582 struct _XR2_BITREGS bitreg ;
4583};
4584#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4585struct _XR3_BITREGS {
4586 BYTE DCR0 : 1 ;
4587 BYTE DCR1 : 1 ;
4588 BYTE DCI : 1 ;
4589 BYTE DCU0 : 1 ;
4590 BYTE DCU1 : 1 ;
4591 BYTE B_off : 1 ;
4592 BYTE AGB0 : 1 ;
4593 BYTE AGB1 : 1 ;
4594};
4595#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4596union __anonunion_xr3_342 {
4597 BYTE reg ;
4598 struct _XR3_BITREGS bitreg ;
4599};
4600#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4601struct _XR4_BITREGS {
4602 BYTE C_0 : 1 ;
4603 BYTE C_1 : 1 ;
4604 BYTE C_2 : 1 ;
4605 BYTE C_3 : 1 ;
4606 BYTE C_4 : 1 ;
4607 BYTE C_5 : 1 ;
4608 BYTE C_6 : 1 ;
4609 BYTE C_7 : 1 ;
4610};
4611#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4612union __anonunion_xr4_343 {
4613 BYTE reg ;
4614 struct _XR4_BITREGS bitreg ;
4615};
4616#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4617struct _XR5_BITREGS {
4618 BYTE T_0 : 1 ;
4619 BYTE T_1 : 1 ;
4620 BYTE T_2 : 1 ;
4621 BYTE T_3 : 1 ;
4622 BYTE T_4 : 1 ;
4623 BYTE T_5 : 1 ;
4624 BYTE T_6 : 1 ;
4625 BYTE T_7 : 1 ;
4626};
4627#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4628union __anonunion_xr5_344 {
4629 BYTE reg ;
4630 struct _XR5_BITREGS bitreg ;
4631};
4632#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4633struct _XR6_BITREGS {
4634 BYTE CPS0 : 1 ;
4635 BYTE CPS1 : 1 ;
4636 BYTE unused1 : 2 ;
4637 BYTE CLK_OFF : 1 ;
4638 BYTE unused2 : 3 ;
4639};
4640#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4641union __anonunion_xr6_345 {
4642 BYTE reg ;
4643 struct _XR6_BITREGS bitreg ;
4644};
4645#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4646struct _XR7_BITREGS {
4647 BYTE unused1 : 1 ;
4648 BYTE Vdd0 : 1 ;
4649 BYTE Vdd1 : 1 ;
4650 BYTE unused2 : 5 ;
4651};
4652#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4653union __anonunion_xr7_346 {
4654 BYTE reg ;
4655 struct _XR7_BITREGS bitreg ;
4656};
4657#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4658struct _XOP {
4659 union XOPXR0 xr0 ;
4660 union __anonunion_xr1_340 xr1 ;
4661 union __anonunion_xr2_341 xr2 ;
4662 union __anonunion_xr3_342 xr3 ;
4663 union __anonunion_xr4_343 xr4 ;
4664 union __anonunion_xr5_344 xr5 ;
4665 union __anonunion_xr6_345 xr6 ;
4666 union __anonunion_xr7_346 xr7 ;
4667};
4668#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4669union _XOP_REGS {
4670 struct _XOP XOP ;
4671 BYTE ByteRegs[sizeof(struct _XOP )] ;
4672};
4673#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4674struct _COP {
4675 BYTE THFilterCoeff_1[8] ;
4676 BYTE THFilterCoeff_2[8] ;
4677 BYTE THFilterCoeff_3[8] ;
4678 BYTE RingerImpendance_1[8] ;
4679 BYTE IMFilterCoeff_1[8] ;
4680 BYTE IMFilterCoeff_2[8] ;
4681 BYTE RingerImpendance_2[8] ;
4682 BYTE FRRFilterCoeff[8] ;
4683 BYTE FRXFilterCoeff[8] ;
4684 BYTE ARFilterCoeff[4] ;
4685 BYTE AXFilterCoeff[4] ;
4686 BYTE Tone1Coeff[4] ;
4687 BYTE Tone2Coeff[4] ;
4688 BYTE LevelmeteringRinging[4] ;
4689 BYTE CallerID1stTone[8] ;
4690 BYTE CallerID2ndTone[8] ;
4691};
4692#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4693union _COP_REGS {
4694 struct _COP COP ;
4695 BYTE ByteRegs[sizeof(struct _COP )] ;
4696};
4697#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4698struct _CAO {
4699 BYTE CallerID[512] ;
4700};
4701#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4702union _CAO_REGS {
4703 struct _CAO CAO ;
4704 BYTE ByteRegs[sizeof(struct _CAO )] ;
4705};
4706#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4707struct _XR0_BITREGSW {
4708 BYTE SO_0 : 1 ;
4709 BYTE SO_1 : 1 ;
4710 BYTE SO_2 : 1 ;
4711 BYTE unused : 5 ;
4712};
4713#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4714union __anonunion_XOP_xr0_W_347 {
4715 BYTE reg ;
4716 struct _XR0_BITREGSW bitreg ;
4717};
4718#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4719struct _XR6_BITREGSW {
4720 BYTE unused1 : 4 ;
4721 BYTE CLK_OFF : 1 ;
4722 BYTE unused2 : 3 ;
4723};
4724#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4725union __anonunion_XOP_xr6_W_348 {
4726 BYTE reg ;
4727 struct _XR6_BITREGSW bitreg ;
4728};
4729#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4730struct _DAA_REGS {
4731 BYTE bySOP ;
4732 union _SOP_REGS SOP_REGS ;
4733 BYTE byXOP ;
4734 union _XOP_REGS XOP_REGS ;
4735 BYTE byCOP ;
4736 union _COP_REGS COP_REGS ;
4737 BYTE byCAO ;
4738 union _CAO_REGS CAO_REGS ;
4739 union __anonunion_XOP_xr0_W_347 XOP_xr0_W ;
4740 union __anonunion_XOP_xr6_W_348 XOP_xr6_W ;
4741};
4742#line 550 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4743typedef struct _DAA_REGS DAA_REGS;
4744#line 1041
4745enum Mode {
4746 T63 = 0,
4747 T53 = 1,
4748 T48 = 2,
4749 T40 = 3
4750} ;
4751#line 1044
4752enum Dir {
4753 V3_TO_V4 = 0,
4754 V4_TO_V3 = 1,
4755 V4_TO_V5 = 2,
4756 V5_TO_V4 = 3
4757} ;
4758#line 1048 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4759struct Proc_Info_Tag {
4760 enum Mode convert_mode ;
4761 enum Dir convert_dir ;
4762 int Prev_Frame_Type ;
4763 int Current_Frame_Type ;
4764};
4765#line 1048 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4766typedef struct Proc_Info_Tag Proc_Info_Type;
4767#line 1073 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4768struct __anonstruct_IXJ_CADENCE_F_349 {
4769 char enable ;
4770 char en_filter ;
4771 unsigned int filter ;
4772 unsigned int state ;
4773 unsigned int on1 ;
4774 unsigned long on1min ;
4775 unsigned long on1dot ;
4776 unsigned long on1max ;
4777 unsigned int off1 ;
4778 unsigned long off1min ;
4779 unsigned long off1dot ;
4780 unsigned long off1max ;
4781 unsigned int on2 ;
4782 unsigned long on2min ;
4783 unsigned long on2dot ;
4784 unsigned long on2max ;
4785 unsigned int off2 ;
4786 unsigned long off2min ;
4787 unsigned long off2dot ;
4788 unsigned long off2max ;
4789 unsigned int on3 ;
4790 unsigned long on3min ;
4791 unsigned long on3dot ;
4792 unsigned long on3max ;
4793 unsigned int off3 ;
4794 unsigned long off3min ;
4795 unsigned long off3dot ;
4796 unsigned long off3max ;
4797};
4798#line 1073 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4799typedef struct __anonstruct_IXJ_CADENCE_F_349 IXJ_CADENCE_F;
4800#line 1113 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4801struct __anonstruct_IXJ_FLAGS_350 {
4802 unsigned int busytone : 1 ;
4803 unsigned int dialtone : 1 ;
4804 unsigned int ringback : 1 ;
4805 unsigned int ringing : 1 ;
4806 unsigned int playing : 1 ;
4807 unsigned int recording : 1 ;
4808 unsigned int cringing : 1 ;
4809 unsigned int play_first_frame : 1 ;
4810 unsigned int pstn_present : 1 ;
4811 unsigned int pstn_ringing : 1 ;
4812 unsigned int pots_correct : 1 ;
4813 unsigned int pots_pstn : 1 ;
4814 unsigned int g729_loaded : 1 ;
4815 unsigned int ts85_loaded : 1 ;
4816 unsigned int dtmf_oob : 1 ;
4817 unsigned int pcmciascp : 1 ;
4818 unsigned int pcmciasct : 2 ;
4819 unsigned int pcmciastate : 3 ;
4820 unsigned int inwrite : 1 ;
4821 unsigned int inread : 1 ;
4822 unsigned int incheck : 1 ;
4823 unsigned int cidplay : 1 ;
4824 unsigned int cidring : 1 ;
4825 unsigned int cidsent : 1 ;
4826 unsigned int cidcw_ack : 1 ;
4827 unsigned int firstring : 1 ;
4828 unsigned int pstncheck : 1 ;
4829 unsigned int pstn_rmr : 1 ;
4830 unsigned int x : 3 ;
4831};
4832#line 1113 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4833typedef struct __anonstruct_IXJ_FLAGS_350 IXJ_FLAGS;
4834#line 1162 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4835struct __anonstruct_ixj_cadence_351 {
4836 int elements_used ;
4837 IXJ_CADENCE_TERM termination ;
4838 IXJ_CADENCE_ELEMENT *ce ;
4839};
4840#line 1162 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4841typedef struct __anonstruct_ixj_cadence_351 ixj_cadence;
4842#line 1168
4843struct pnp_dev;
4844#line 1168 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
4845struct __anonstruct_IXJ_352 {
4846 struct phone_device p ;
4847 struct timer_list timer ;
4848 unsigned int board ;
4849 unsigned int DSPbase ;
4850 unsigned int XILINXbase ;
4851 unsigned int serial ;
4852 atomic_t DSPWrite ;
4853 struct phone_capability caplist[30] ;
4854 unsigned int caps ;
4855 struct pnp_dev *dev ;
4856 unsigned int cardtype ;
4857 unsigned int rec_codec ;
4858 unsigned int cid_rec_codec ;
4859 unsigned int cid_rec_volume ;
4860 unsigned char cid_rec_flag ;
4861 signed char rec_mode ;
4862 unsigned int play_codec ;
4863 unsigned int cid_play_codec ;
4864 unsigned int cid_play_volume ;
4865 unsigned char cid_play_flag ;
4866 signed char play_mode ;
4867 IXJ_FLAGS flags ;
4868 unsigned long busyflags ;
4869 unsigned int rec_frame_size ;
4870 unsigned int play_frame_size ;
4871 unsigned int cid_play_frame_size ;
4872 unsigned int cid_base_frame_size ;
4873 unsigned long cidcw_wait ;
4874 int aec_level ;
4875 int cid_play_aec_level ;
4876 int readers ;
4877 int writers ;
4878 wait_queue_head_t poll_q ;
4879 wait_queue_head_t read_q ;
4880 char *read_buffer ;
4881 char *read_buffer_end ;
4882 char *read_convert_buffer ;
4883 size_t read_buffer_size ;
4884 unsigned int read_buffer_ready ;
4885 wait_queue_head_t write_q ;
4886 char *write_buffer ;
4887 char *write_buffer_end ;
4888 char *write_convert_buffer ;
4889 size_t write_buffer_size ;
4890 unsigned int write_buffers_empty ;
4891 unsigned long drybuffer ;
4892 char *write_buffer_rp ;
4893 char *write_buffer_wp ;
4894 char dtmfbuffer[80] ;
4895 char dtmf_current ;
4896 int dtmf_wp ;
4897 int dtmf_rp ;
4898 int dtmf_state ;
4899 int dtmf_proc ;
4900 int tone_off_time ;
4901 int tone_on_time ;
4902 struct fasync_struct *async_queue ;
4903 unsigned long tone_start_jif ;
4904 char tone_index ;
4905 char tone_state ;
4906 char maxrings ;
4907 ixj_cadence *cadence_t ;
4908 ixj_cadence *cadence_r ;
4909 int tone_cadence_state ;
4910 IXJ_CADENCE_F cadence_f[6] ;
4911 DTMF dtmf ;
4912 CPTF cptf ;
4913 BYTES dsp ;
4914 BYTES ver ;
4915 BYTES scr ;
4916 BYTES ssr ;
4917 BYTES baseframe ;
4918 HSR hsr ;
4919 GPIO gpio ;
4920 PLD_SCRR pld_scrr ;
4921 PLD_SCRW pld_scrw ;
4922 PLD_SLICW pld_slicw ;
4923 PLD_SLICR pld_slicr ;
4924 PLD_CLOCK pld_clock ;
4925 PCMCIA_CR1 pccr1 ;
4926 PCMCIA_CR2 pccr2 ;
4927 PCMCIA_SCCR psccr ;
4928 PCMCIA_SLIC pslic ;
4929 char pscdd ;
4930 Si3C1 sic1 ;
4931 Si3C2 sic2 ;
4932 Si3RXG sirxg ;
4933 Si3ADC siadc ;
4934 Si3DAC sidac ;
4935 Si3STAT sistat ;
4936 Si3AATT siaatt ;
4937 MIX mix ;
4938 unsigned short ring_cadence ;
4939 int ring_cadence_t ;
4940 unsigned long ring_cadence_jif ;
4941 unsigned long checkwait ;
4942 int intercom ;
4943 int m_hook ;
4944 int r_hook ;
4945 int p_hook ;
4946 char pstn_envelope ;
4947 char pstn_cid_intr ;
4948 unsigned char fskz ;
4949 unsigned char fskphase ;
4950 unsigned char fskcnt ;
4951 unsigned int cidsize ;
4952 unsigned int cidcnt ;
4953 unsigned long pstn_cid_received ;
4954 PHONE_CID cid ;
4955 PHONE_CID cid_send ;
4956 unsigned long pstn_ring_int ;
4957 unsigned long pstn_ring_start ;
4958 unsigned long pstn_ring_stop ;
4959 unsigned long pstn_winkstart ;
4960 unsigned long pstn_last_rmr ;
4961 unsigned long pstn_prev_rmr ;
4962 unsigned long pots_winkstart ;
4963 unsigned int winktime ;
4964 unsigned long flash_end ;
4965 char port ;
4966 char hookstate ;
4967 union telephony_exception ex ;
4968 union telephony_exception ex_sig ;
4969 int ixj_signals[35] ;
4970 IXJ_SIGDEF sigdef ;
4971 char daa_mode ;
4972 char daa_country ;
4973 unsigned long pstn_sleeptil ;
4974 DAA_REGS m_DAAShadowRegs ;
4975 Proc_Info_Type Info_read ;
4976 Proc_Info_Type Info_write ;
4977 unsigned short frame_count ;
4978 unsigned int filter_hist[4] ;
4979 unsigned char filter_en[6] ;
4980 unsigned short proc_load ;
4981 unsigned long framesread ;
4982 unsigned long frameswritten ;
4983 unsigned long read_wait ;
4984 unsigned long write_wait ;
4985 unsigned long timerchecks ;
4986 unsigned long txreadycheck ;
4987 unsigned long rxreadycheck ;
4988 unsigned long statuswait ;
4989 unsigned long statuswaitfail ;
4990 unsigned long pcontrolwait ;
4991 unsigned long pcontrolwaitfail ;
4992 unsigned long iscontrolready ;
4993 unsigned long iscontrolreadyfail ;
4994 unsigned long pstnstatecheck ;
4995 short fskdata[8000] ;
4996 int fsksize ;
4997 int fskdcnt ;
4998};
4999#line 1168 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
5000typedef struct __anonstruct_IXJ_352 IXJ;
5001#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5002struct ixj;
5003#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5004struct ixj_info_t {
5005 int ndev ;
5006 struct ixj *port ;
5007};
5008#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5009typedef struct ixj_info_t ixj_info_t;
5010#line 1 "<compiler builtins>"
5011long __builtin_expect(long val , long res ) ;
5012#line 100 "include/linux/printk.h"
5013extern int ( printk)(char const *fmt , ...) ;
5014#line 49 "include/linux/dynamic_debug.h"
5015extern int ( __dynamic_dev_dbg)(struct _ddebug *descriptor ,
5016 struct device const *dev ,
5017 char const *fmt , ...) ;
5018#line 61 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
5019extern unsigned long strlen(char const *s ) ;
5020#line 152 "include/linux/mutex.h"
5021void mutex_lock(struct mutex *lock ) ;
5022#line 153
5023int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
5024#line 154
5025int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
5026#line 168
5027int mutex_trylock(struct mutex *lock ) ;
5028#line 169
5029void mutex_unlock(struct mutex *lock ) ;
5030#line 170
5031int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
5032#line 26 "include/linux/export.h"
5033extern struct module __this_module ;
5034#line 67 "include/linux/module.h"
5035int init_module(void) ;
5036#line 68
5037void cleanup_module(void) ;
5038#line 161 "include/linux/slab.h"
5039extern void kfree(void const * ) ;
5040#line 221 "include/linux/slub_def.h"
5041extern void *__kmalloc(size_t size , gfp_t flags ) ;
5042#line 268
5043__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
5044 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
5045#line 268 "include/linux/slub_def.h"
5046__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
5047 gfp_t flags )
5048{ void *tmp___2 ;
5049
5050 {
5051 {
5052#line 283
5053 tmp___2 = __kmalloc(size, flags);
5054 }
5055#line 283
5056 return (tmp___2);
5057}
5058}
5059#line 349 "include/linux/slab.h"
5060__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
5061#line 349 "include/linux/slab.h"
5062__inline static void *kzalloc(size_t size , gfp_t flags )
5063{ void *tmp ;
5064 unsigned int __cil_tmp4 ;
5065
5066 {
5067 {
5068#line 351
5069 __cil_tmp4 = flags | 32768U;
5070#line 351
5071 tmp = kmalloc(size, __cil_tmp4);
5072 }
5073#line 351
5074 return (tmp);
5075}
5076}
5077#line 65 "include/pcmcia/ds.h"
5078extern int pcmcia_register_driver(struct pcmcia_driver *driver ) ;
5079#line 66
5080extern void pcmcia_unregister_driver(struct pcmcia_driver *driver ) ;
5081#line 179
5082extern int pcmcia_loop_config(struct pcmcia_device *p_dev , int (*conf_check)(struct pcmcia_device *p_dev ,
5083 void *priv_data ) ,
5084 void *priv_data ) ;
5085#line 195
5086extern int pcmcia_request_io(struct pcmcia_device *p_dev ) ;
5087#line 210
5088extern int pcmcia_enable_device(struct pcmcia_device *p_dev ) ;
5089#line 221
5090extern void pcmcia_disable_device(struct pcmcia_device *p_dev ) ;
5091#line 1321 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/telephony/ixj.h"
5092extern IXJ *ixj_pcmcia_probe(unsigned long , unsigned long ) ;
5093#line 27 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5094static void ixj_detach(struct pcmcia_device *link ) ;
5095#line 28
5096static int ixj_config(struct pcmcia_device *link ) ;
5097#line 29
5098static void ixj_cs_release(struct pcmcia_device *link ) ;
5099#line 33
5100static int ixj_probe(struct pcmcia_device *p_dev ) ;
5101#line 33 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5102static struct _ddebug __attribute__((__aligned__(8))) descriptor __attribute__((__used__,
5103__section__("__verbose"))) = {"ixj_pcmcia", "ixj_probe", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c",
5104 "ixj_attach()\n", 33U, 0U};
5105#line 31 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5106static int ixj_probe(struct pcmcia_device *p_dev )
5107{ long tmp___7 ;
5108 int tmp___8 ;
5109 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp4 ;
5110 unsigned int __cil_tmp5 ;
5111 unsigned int __cil_tmp6 ;
5112 int __cil_tmp7 ;
5113 int __cil_tmp8 ;
5114 long __cil_tmp9 ;
5115 unsigned long __cil_tmp10 ;
5116 unsigned long __cil_tmp11 ;
5117 struct device *__cil_tmp12 ;
5118 struct device const *__cil_tmp13 ;
5119 unsigned long __cil_tmp14 ;
5120 unsigned long __cil_tmp15 ;
5121 unsigned long __cil_tmp16 ;
5122 unsigned long __cil_tmp17 ;
5123 void *__cil_tmp18 ;
5124
5125 {
5126 {
5127#line 33
5128 while (1) {
5129 while_continue: ;
5130 {
5131#line 33
5132 while (1) {
5133 while_continue___0: ;
5134 {
5135#line 33
5136 __cil_tmp4 = & descriptor;
5137#line 33
5138 __cil_tmp5 = __cil_tmp4->flags;
5139#line 33
5140 __cil_tmp6 = __cil_tmp5 & 1U;
5141#line 33
5142 __cil_tmp7 = ! __cil_tmp6;
5143#line 33
5144 __cil_tmp8 = ! __cil_tmp7;
5145#line 33
5146 __cil_tmp9 = (long )__cil_tmp8;
5147#line 33
5148 tmp___7 = __builtin_expect(__cil_tmp9, 0L);
5149 }
5150#line 33
5151 if (tmp___7) {
5152 {
5153#line 33
5154 __cil_tmp10 = (unsigned long )p_dev;
5155#line 33
5156 __cil_tmp11 = __cil_tmp10 + 184;
5157#line 33
5158 __cil_tmp12 = (struct device *)__cil_tmp11;
5159#line 33
5160 __cil_tmp13 = (struct device const *)__cil_tmp12;
5161#line 33
5162 __dynamic_dev_dbg(& descriptor, __cil_tmp13, "ixj_attach()\n");
5163 }
5164 } else {
5165
5166 }
5167#line 33
5168 goto while_break___0;
5169 }
5170 while_break___0: ;
5171 }
5172#line 33
5173 goto while_break;
5174 }
5175 while_break: ;
5176 }
5177 {
5178#line 35
5179 __cil_tmp14 = (unsigned long )p_dev;
5180#line 35
5181 __cil_tmp15 = __cil_tmp14 + 952;
5182#line 35
5183 *((void **)__cil_tmp15) = kzalloc(16UL, 208U);
5184 }
5185 {
5186#line 36
5187 __cil_tmp16 = (unsigned long )p_dev;
5188#line 36
5189 __cil_tmp17 = __cil_tmp16 + 952;
5190#line 36
5191 __cil_tmp18 = *((void **)__cil_tmp17);
5192#line 36
5193 if (! __cil_tmp18) {
5194#line 37
5195 return (-12);
5196 } else {
5197
5198 }
5199 }
5200 {
5201#line 40
5202 tmp___8 = ixj_config(p_dev);
5203 }
5204#line 40
5205 return (tmp___8);
5206}
5207}
5208#line 45
5209static void ixj_detach(struct pcmcia_device *link ) ;
5210#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5211static struct _ddebug __attribute__((__aligned__(8))) descriptor___0 __attribute__((__used__,
5212__section__("__verbose"))) = {"ixj_pcmcia", "ixj_detach", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c",
5213 "ixj_detach\n", 45U, 0U};
5214#line 43 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5215static void ixj_detach(struct pcmcia_device *link )
5216{ long tmp___7 ;
5217 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp3 ;
5218 unsigned int __cil_tmp4 ;
5219 unsigned int __cil_tmp5 ;
5220 int __cil_tmp6 ;
5221 int __cil_tmp7 ;
5222 long __cil_tmp8 ;
5223 unsigned long __cil_tmp9 ;
5224 unsigned long __cil_tmp10 ;
5225 struct device *__cil_tmp11 ;
5226 struct device const *__cil_tmp12 ;
5227 unsigned long __cil_tmp13 ;
5228 unsigned long __cil_tmp14 ;
5229 void *__cil_tmp15 ;
5230 void const *__cil_tmp16 ;
5231
5232 {
5233 {
5234#line 45
5235 while (1) {
5236 while_continue: ;
5237 {
5238#line 45
5239 while (1) {
5240 while_continue___0: ;
5241 {
5242#line 45
5243 __cil_tmp3 = & descriptor___0;
5244#line 45
5245 __cil_tmp4 = __cil_tmp3->flags;
5246#line 45
5247 __cil_tmp5 = __cil_tmp4 & 1U;
5248#line 45
5249 __cil_tmp6 = ! __cil_tmp5;
5250#line 45
5251 __cil_tmp7 = ! __cil_tmp6;
5252#line 45
5253 __cil_tmp8 = (long )__cil_tmp7;
5254#line 45
5255 tmp___7 = __builtin_expect(__cil_tmp8, 0L);
5256 }
5257#line 45
5258 if (tmp___7) {
5259 {
5260#line 45
5261 __cil_tmp9 = (unsigned long )link;
5262#line 45
5263 __cil_tmp10 = __cil_tmp9 + 184;
5264#line 45
5265 __cil_tmp11 = (struct device *)__cil_tmp10;
5266#line 45
5267 __cil_tmp12 = (struct device const *)__cil_tmp11;
5268#line 45
5269 __dynamic_dev_dbg(& descriptor___0, __cil_tmp12, "ixj_detach\n");
5270 }
5271 } else {
5272
5273 }
5274#line 45
5275 goto while_break___0;
5276 }
5277 while_break___0: ;
5278 }
5279#line 45
5280 goto while_break;
5281 }
5282 while_break: ;
5283 }
5284 {
5285#line 47
5286 ixj_cs_release(link);
5287#line 49
5288 __cil_tmp13 = (unsigned long )link;
5289#line 49
5290 __cil_tmp14 = __cil_tmp13 + 952;
5291#line 49
5292 __cil_tmp15 = *((void **)__cil_tmp14);
5293#line 49
5294 __cil_tmp16 = (void const *)__cil_tmp15;
5295#line 49
5296 kfree(__cil_tmp16);
5297 }
5298#line 50
5299 return;
5300}
5301}
5302#line 56
5303static void ixj_get_serial(struct pcmcia_device *link , IXJ *j ) ;
5304#line 56 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5305static struct _ddebug __attribute__((__aligned__(8))) descriptor___1 __attribute__((__used__,
5306__section__("__verbose"))) = {"ixj_pcmcia", "ixj_get_serial", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c",
5307 "ixj_get_serial\n", 56U, 0U};
5308#line 52 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5309static void ixj_get_serial(struct pcmcia_device *link , IXJ *j )
5310{ char *str ;
5311 int i ;
5312 int place ;
5313 long tmp___7 ;
5314 unsigned long tmp___8 ;
5315 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp8 ;
5316 unsigned int __cil_tmp9 ;
5317 unsigned int __cil_tmp10 ;
5318 int __cil_tmp11 ;
5319 int __cil_tmp12 ;
5320 long __cil_tmp13 ;
5321 unsigned long __cil_tmp14 ;
5322 unsigned long __cil_tmp15 ;
5323 struct device *__cil_tmp16 ;
5324 struct device const *__cil_tmp17 ;
5325 unsigned long __cil_tmp18 ;
5326 unsigned long __cil_tmp19 ;
5327 unsigned long __cil_tmp20 ;
5328 unsigned long __cil_tmp21 ;
5329 unsigned long __cil_tmp22 ;
5330 unsigned long __cil_tmp23 ;
5331 unsigned long __cil_tmp24 ;
5332 unsigned long __cil_tmp25 ;
5333 unsigned long __cil_tmp26 ;
5334 unsigned long __cil_tmp27 ;
5335 unsigned long __cil_tmp28 ;
5336 unsigned long __cil_tmp29 ;
5337 char const *__cil_tmp30 ;
5338 unsigned long __cil_tmp31 ;
5339 char *__cil_tmp32 ;
5340 char __cil_tmp33 ;
5341 unsigned long __cil_tmp34 ;
5342 unsigned long __cil_tmp35 ;
5343 char *__cil_tmp36 ;
5344 char __cil_tmp37 ;
5345 int __cil_tmp38 ;
5346 int __cil_tmp39 ;
5347 int __cil_tmp40 ;
5348 unsigned int __cil_tmp41 ;
5349 unsigned long __cil_tmp42 ;
5350 unsigned long __cil_tmp43 ;
5351 unsigned int __cil_tmp44 ;
5352 unsigned long __cil_tmp45 ;
5353 unsigned long __cil_tmp46 ;
5354 char *__cil_tmp47 ;
5355 char __cil_tmp48 ;
5356 int __cil_tmp49 ;
5357 int __cil_tmp50 ;
5358 int __cil_tmp51 ;
5359 unsigned int __cil_tmp52 ;
5360 unsigned long __cil_tmp53 ;
5361 unsigned long __cil_tmp54 ;
5362 unsigned int __cil_tmp55 ;
5363 unsigned long __cil_tmp56 ;
5364 unsigned long __cil_tmp57 ;
5365 char *__cil_tmp58 ;
5366 char __cil_tmp59 ;
5367 int __cil_tmp60 ;
5368 int __cil_tmp61 ;
5369 int __cil_tmp62 ;
5370 unsigned int __cil_tmp63 ;
5371 unsigned long __cil_tmp64 ;
5372 unsigned long __cil_tmp65 ;
5373 unsigned int __cil_tmp66 ;
5374 unsigned long __cil_tmp67 ;
5375 unsigned long __cil_tmp68 ;
5376 unsigned long __cil_tmp69 ;
5377 unsigned long __cil_tmp70 ;
5378
5379 {
5380 {
5381#line 56
5382 while (1) {
5383 while_continue: ;
5384 {
5385#line 56
5386 while (1) {
5387 while_continue___0: ;
5388 {
5389#line 56
5390 __cil_tmp8 = & descriptor___1;
5391#line 56
5392 __cil_tmp9 = __cil_tmp8->flags;
5393#line 56
5394 __cil_tmp10 = __cil_tmp9 & 1U;
5395#line 56
5396 __cil_tmp11 = ! __cil_tmp10;
5397#line 56
5398 __cil_tmp12 = ! __cil_tmp11;
5399#line 56
5400 __cil_tmp13 = (long )__cil_tmp12;
5401#line 56
5402 tmp___7 = __builtin_expect(__cil_tmp13, 0L);
5403 }
5404#line 56
5405 if (tmp___7) {
5406 {
5407#line 56
5408 __cil_tmp14 = (unsigned long )link;
5409#line 56
5410 __cil_tmp15 = __cil_tmp14 + 184;
5411#line 56
5412 __cil_tmp16 = (struct device *)__cil_tmp15;
5413#line 56
5414 __cil_tmp17 = (struct device const *)__cil_tmp16;
5415#line 56
5416 __dynamic_dev_dbg(& descriptor___1, __cil_tmp17, "ixj_get_serial\n");
5417 }
5418 } else {
5419
5420 }
5421#line 56
5422 goto while_break___0;
5423 }
5424 while_break___0: ;
5425 }
5426#line 56
5427 goto while_break;
5428 }
5429 while_break: ;
5430 }
5431#line 58
5432 __cil_tmp18 = 0 * 8UL;
5433#line 58
5434 __cil_tmp19 = 144 + __cil_tmp18;
5435#line 58
5436 __cil_tmp20 = (unsigned long )link;
5437#line 58
5438 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
5439#line 58
5440 str = *((char **)__cil_tmp21);
5441#line 59
5442 if (! str) {
5443#line 60
5444 goto failed;
5445 } else {
5446
5447 }
5448 {
5449#line 61
5450 printk("%s", str);
5451#line 62
5452 __cil_tmp22 = 1 * 8UL;
5453#line 62
5454 __cil_tmp23 = 144 + __cil_tmp22;
5455#line 62
5456 __cil_tmp24 = (unsigned long )link;
5457#line 62
5458 __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
5459#line 62
5460 str = *((char **)__cil_tmp25);
5461 }
5462#line 63
5463 if (! str) {
5464#line 64
5465 goto failed;
5466 } else {
5467
5468 }
5469 {
5470#line 65
5471 printk(" %s", str);
5472#line 66
5473 __cil_tmp26 = 2 * 8UL;
5474#line 66
5475 __cil_tmp27 = 144 + __cil_tmp26;
5476#line 66
5477 __cil_tmp28 = (unsigned long )link;
5478#line 66
5479 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
5480#line 66
5481 str = *((char **)__cil_tmp29);
5482 }
5483#line 67
5484 if (! str) {
5485#line 68
5486 goto failed;
5487 } else {
5488
5489 }
5490 {
5491#line 69
5492 place = 1;
5493#line 70
5494 __cil_tmp30 = (char const *)str;
5495#line 70
5496 tmp___8 = strlen(__cil_tmp30);
5497#line 70
5498 __cil_tmp31 = tmp___8 - 1UL;
5499#line 70
5500 i = (int )__cil_tmp31;
5501 }
5502 {
5503#line 70
5504 while (1) {
5505 while_continue___1: ;
5506#line 70
5507 if (i >= 0) {
5508
5509 } else {
5510#line 70
5511 goto while_break___1;
5512 }
5513 {
5514#line 71
5515 __cil_tmp32 = str + i;
5516#line 71
5517 __cil_tmp33 = *__cil_tmp32;
5518#line 72
5519 if ((int )__cil_tmp33 == 48) {
5520#line 72
5521 goto case_48;
5522 } else
5523#line 73
5524 if ((int )__cil_tmp33 == 49) {
5525#line 73
5526 goto case_48;
5527 } else
5528#line 74
5529 if ((int )__cil_tmp33 == 50) {
5530#line 74
5531 goto case_48;
5532 } else
5533#line 75
5534 if ((int )__cil_tmp33 == 51) {
5535#line 75
5536 goto case_48;
5537 } else
5538#line 76
5539 if ((int )__cil_tmp33 == 52) {
5540#line 76
5541 goto case_48;
5542 } else
5543#line 77
5544 if ((int )__cil_tmp33 == 53) {
5545#line 77
5546 goto case_48;
5547 } else
5548#line 78
5549 if ((int )__cil_tmp33 == 54) {
5550#line 78
5551 goto case_48;
5552 } else
5553#line 79
5554 if ((int )__cil_tmp33 == 55) {
5555#line 79
5556 goto case_48;
5557 } else
5558#line 80
5559 if ((int )__cil_tmp33 == 56) {
5560#line 80
5561 goto case_48;
5562 } else
5563#line 81
5564 if ((int )__cil_tmp33 == 57) {
5565#line 81
5566 goto case_48;
5567 } else
5568#line 84
5569 if ((int )__cil_tmp33 == 65) {
5570#line 84
5571 goto case_65;
5572 } else
5573#line 85
5574 if ((int )__cil_tmp33 == 66) {
5575#line 85
5576 goto case_65;
5577 } else
5578#line 86
5579 if ((int )__cil_tmp33 == 67) {
5580#line 86
5581 goto case_65;
5582 } else
5583#line 87
5584 if ((int )__cil_tmp33 == 68) {
5585#line 87
5586 goto case_65;
5587 } else
5588#line 88
5589 if ((int )__cil_tmp33 == 69) {
5590#line 88
5591 goto case_65;
5592 } else
5593#line 89
5594 if ((int )__cil_tmp33 == 70) {
5595#line 89
5596 goto case_65;
5597 } else
5598#line 92
5599 if ((int )__cil_tmp33 == 97) {
5600#line 92
5601 goto case_97;
5602 } else
5603#line 93
5604 if ((int )__cil_tmp33 == 98) {
5605#line 93
5606 goto case_97;
5607 } else
5608#line 94
5609 if ((int )__cil_tmp33 == 99) {
5610#line 94
5611 goto case_97;
5612 } else
5613#line 95
5614 if ((int )__cil_tmp33 == 100) {
5615#line 95
5616 goto case_97;
5617 } else
5618#line 96
5619 if ((int )__cil_tmp33 == 101) {
5620#line 96
5621 goto case_97;
5622 } else
5623#line 97
5624 if ((int )__cil_tmp33 == 102) {
5625#line 97
5626 goto case_97;
5627 } else
5628#line 71
5629 if (0) {
5630 case_48:
5631 case_49:
5632 case_50:
5633 case_51:
5634 case_52:
5635 case_53:
5636 case_54:
5637 case_55:
5638 case_56:
5639 case_57:
5640#line 82
5641 __cil_tmp34 = (unsigned long )j;
5642#line 82
5643 __cil_tmp35 = __cil_tmp34 + 124;
5644#line 82
5645 __cil_tmp36 = str + i;
5646#line 82
5647 __cil_tmp37 = *__cil_tmp36;
5648#line 82
5649 __cil_tmp38 = (int )__cil_tmp37;
5650#line 82
5651 __cil_tmp39 = __cil_tmp38 - 48;
5652#line 82
5653 __cil_tmp40 = __cil_tmp39 * place;
5654#line 82
5655 __cil_tmp41 = (unsigned int )__cil_tmp40;
5656#line 82
5657 __cil_tmp42 = (unsigned long )j;
5658#line 82
5659 __cil_tmp43 = __cil_tmp42 + 124;
5660#line 82
5661 __cil_tmp44 = *((unsigned int *)__cil_tmp43);
5662#line 82
5663 *((unsigned int *)__cil_tmp35) = __cil_tmp44 + __cil_tmp41;
5664#line 83
5665 goto switch_break;
5666 case_65:
5667 case_66:
5668 case_67:
5669 case_68:
5670 case_69:
5671 case_70:
5672#line 90
5673 __cil_tmp45 = (unsigned long )j;
5674#line 90
5675 __cil_tmp46 = __cil_tmp45 + 124;
5676#line 90
5677 __cil_tmp47 = str + i;
5678#line 90
5679 __cil_tmp48 = *__cil_tmp47;
5680#line 90
5681 __cil_tmp49 = (int )__cil_tmp48;
5682#line 90
5683 __cil_tmp50 = __cil_tmp49 - 55;
5684#line 90
5685 __cil_tmp51 = __cil_tmp50 * place;
5686#line 90
5687 __cil_tmp52 = (unsigned int )__cil_tmp51;
5688#line 90
5689 __cil_tmp53 = (unsigned long )j;
5690#line 90
5691 __cil_tmp54 = __cil_tmp53 + 124;
5692#line 90
5693 __cil_tmp55 = *((unsigned int *)__cil_tmp54);
5694#line 90
5695 *((unsigned int *)__cil_tmp46) = __cil_tmp55 + __cil_tmp52;
5696#line 91
5697 goto switch_break;
5698 case_97:
5699 case_98:
5700 case_99:
5701 case_100:
5702 case_101:
5703 case_102:
5704#line 98
5705 __cil_tmp56 = (unsigned long )j;
5706#line 98
5707 __cil_tmp57 = __cil_tmp56 + 124;
5708#line 98
5709 __cil_tmp58 = str + i;
5710#line 98
5711 __cil_tmp59 = *__cil_tmp58;
5712#line 98
5713 __cil_tmp60 = (int )__cil_tmp59;
5714#line 98
5715 __cil_tmp61 = __cil_tmp60 - 87;
5716#line 98
5717 __cil_tmp62 = __cil_tmp61 * place;
5718#line 98
5719 __cil_tmp63 = (unsigned int )__cil_tmp62;
5720#line 98
5721 __cil_tmp64 = (unsigned long )j;
5722#line 98
5723 __cil_tmp65 = __cil_tmp64 + 124;
5724#line 98
5725 __cil_tmp66 = *((unsigned int *)__cil_tmp65);
5726#line 98
5727 *((unsigned int *)__cil_tmp57) = __cil_tmp66 + __cil_tmp63;
5728#line 99
5729 goto switch_break;
5730 } else {
5731 switch_break: ;
5732 }
5733 }
5734#line 101
5735 place = place * 16;
5736#line 70
5737 i = i - 1;
5738 }
5739 while_break___1: ;
5740 }
5741#line 103
5742 __cil_tmp67 = 3 * 8UL;
5743#line 103
5744 __cil_tmp68 = 144 + __cil_tmp67;
5745#line 103
5746 __cil_tmp69 = (unsigned long )link;
5747#line 103
5748 __cil_tmp70 = __cil_tmp69 + __cil_tmp68;
5749#line 103
5750 str = *((char **)__cil_tmp70);
5751#line 104
5752 if (! str) {
5753#line 105
5754 goto failed;
5755 } else {
5756
5757 }
5758 {
5759#line 106
5760 printk(" version %s\n", str);
5761 }
5762 failed:
5763#line 108
5764 return;
5765}
5766}
5767#line 111 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5768static int ixj_config_check(struct pcmcia_device *p_dev , void *priv_data )
5769{ int tmp___7 ;
5770 unsigned long __cil_tmp4 ;
5771 unsigned long __cil_tmp5 ;
5772 unsigned long __cil_tmp6 ;
5773 unsigned long __cil_tmp7 ;
5774 struct resource *__cil_tmp8 ;
5775 unsigned long __cil_tmp9 ;
5776 unsigned long __cil_tmp10 ;
5777 unsigned long __cil_tmp11 ;
5778 unsigned long __cil_tmp12 ;
5779 unsigned long __cil_tmp13 ;
5780 unsigned long __cil_tmp14 ;
5781 struct resource *__cil_tmp15 ;
5782 unsigned long __cil_tmp16 ;
5783 unsigned long __cil_tmp17 ;
5784 unsigned long __cil_tmp18 ;
5785 unsigned long __cil_tmp19 ;
5786 unsigned long __cil_tmp20 ;
5787 unsigned long __cil_tmp21 ;
5788 unsigned long __cil_tmp22 ;
5789 struct resource *__cil_tmp23 ;
5790 unsigned long __cil_tmp24 ;
5791 unsigned long __cil_tmp25 ;
5792 unsigned long __cil_tmp26 ;
5793 unsigned long __cil_tmp27 ;
5794 unsigned long __cil_tmp28 ;
5795 unsigned long __cil_tmp29 ;
5796 struct resource *__cil_tmp30 ;
5797 unsigned long __cil_tmp31 ;
5798 unsigned long __cil_tmp32 ;
5799 unsigned long __cil_tmp33 ;
5800 unsigned long __cil_tmp34 ;
5801 unsigned long __cil_tmp35 ;
5802 unsigned long __cil_tmp36 ;
5803 struct resource *__cil_tmp37 ;
5804 unsigned long __cil_tmp38 ;
5805 unsigned long __cil_tmp39 ;
5806 unsigned long __cil_tmp40 ;
5807 unsigned long __cil_tmp41 ;
5808 unsigned long __cil_tmp42 ;
5809 unsigned long __cil_tmp43 ;
5810 struct resource *__cil_tmp44 ;
5811 unsigned long __cil_tmp45 ;
5812 unsigned long __cil_tmp46 ;
5813 unsigned long __cil_tmp47 ;
5814 unsigned long __cil_tmp48 ;
5815 unsigned long __cil_tmp49 ;
5816 unsigned long __cil_tmp50 ;
5817 unsigned long __cil_tmp51 ;
5818 struct resource *__cil_tmp52 ;
5819 unsigned long __cil_tmp53 ;
5820 unsigned long __cil_tmp54 ;
5821 unsigned long __cil_tmp55 ;
5822 unsigned long __cil_tmp56 ;
5823 unsigned long __cil_tmp57 ;
5824 unsigned long __cil_tmp58 ;
5825 struct resource *__cil_tmp59 ;
5826 unsigned long __cil_tmp60 ;
5827 unsigned long __cil_tmp61 ;
5828 unsigned long __cil_tmp62 ;
5829 unsigned long __cil_tmp63 ;
5830
5831 {
5832 {
5833#line 113
5834 __cil_tmp4 = 0 * 8UL;
5835#line 113
5836 __cil_tmp5 = 56 + __cil_tmp4;
5837#line 113
5838 __cil_tmp6 = (unsigned long )p_dev;
5839#line 113
5840 __cil_tmp7 = __cil_tmp6 + __cil_tmp5;
5841#line 113
5842 __cil_tmp8 = *((struct resource **)__cil_tmp7);
5843#line 113
5844 __cil_tmp9 = (unsigned long )__cil_tmp8;
5845#line 113
5846 __cil_tmp10 = __cil_tmp9 + 24;
5847#line 113
5848 __cil_tmp11 = 0 * 8UL;
5849#line 113
5850 __cil_tmp12 = 56 + __cil_tmp11;
5851#line 113
5852 __cil_tmp13 = (unsigned long )p_dev;
5853#line 113
5854 __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
5855#line 113
5856 __cil_tmp15 = *((struct resource **)__cil_tmp14);
5857#line 113
5858 __cil_tmp16 = (unsigned long )__cil_tmp15;
5859#line 113
5860 __cil_tmp17 = __cil_tmp16 + 24;
5861#line 113
5862 __cil_tmp18 = *((unsigned long *)__cil_tmp17);
5863#line 113
5864 *((unsigned long *)__cil_tmp10) = __cil_tmp18 & 0xffffffffffffffe7UL;
5865#line 114
5866 __cil_tmp19 = 0 * 8UL;
5867#line 114
5868 __cil_tmp20 = 56 + __cil_tmp19;
5869#line 114
5870 __cil_tmp21 = (unsigned long )p_dev;
5871#line 114
5872 __cil_tmp22 = __cil_tmp21 + __cil_tmp20;
5873#line 114
5874 __cil_tmp23 = *((struct resource **)__cil_tmp22);
5875#line 114
5876 __cil_tmp24 = (unsigned long )__cil_tmp23;
5877#line 114
5878 __cil_tmp25 = __cil_tmp24 + 24;
5879#line 114
5880 __cil_tmp26 = 0 * 8UL;
5881#line 114
5882 __cil_tmp27 = 56 + __cil_tmp26;
5883#line 114
5884 __cil_tmp28 = (unsigned long )p_dev;
5885#line 114
5886 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
5887#line 114
5888 __cil_tmp30 = *((struct resource **)__cil_tmp29);
5889#line 114
5890 __cil_tmp31 = (unsigned long )__cil_tmp30;
5891#line 114
5892 __cil_tmp32 = __cil_tmp31 + 24;
5893#line 114
5894 *((unsigned long *)__cil_tmp25) = *((unsigned long *)__cil_tmp32);
5895#line 115
5896 __cil_tmp33 = 1 * 8UL;
5897#line 115
5898 __cil_tmp34 = 56 + __cil_tmp33;
5899#line 115
5900 __cil_tmp35 = (unsigned long )p_dev;
5901#line 115
5902 __cil_tmp36 = __cil_tmp35 + __cil_tmp34;
5903#line 115
5904 __cil_tmp37 = *((struct resource **)__cil_tmp36);
5905#line 115
5906 __cil_tmp38 = (unsigned long )__cil_tmp37;
5907#line 115
5908 __cil_tmp39 = __cil_tmp38 + 24;
5909#line 115
5910 __cil_tmp40 = 1 * 8UL;
5911#line 115
5912 __cil_tmp41 = 56 + __cil_tmp40;
5913#line 115
5914 __cil_tmp42 = (unsigned long )p_dev;
5915#line 115
5916 __cil_tmp43 = __cil_tmp42 + __cil_tmp41;
5917#line 115
5918 __cil_tmp44 = *((struct resource **)__cil_tmp43);
5919#line 115
5920 __cil_tmp45 = (unsigned long )__cil_tmp44;
5921#line 115
5922 __cil_tmp46 = __cil_tmp45 + 24;
5923#line 115
5924 __cil_tmp47 = *((unsigned long *)__cil_tmp46);
5925#line 115
5926 *((unsigned long *)__cil_tmp39) = __cil_tmp47 & 0xffffffffffffffe7UL;
5927#line 116
5928 __cil_tmp48 = 1 * 8UL;
5929#line 116
5930 __cil_tmp49 = 56 + __cil_tmp48;
5931#line 116
5932 __cil_tmp50 = (unsigned long )p_dev;
5933#line 116
5934 __cil_tmp51 = __cil_tmp50 + __cil_tmp49;
5935#line 116
5936 __cil_tmp52 = *((struct resource **)__cil_tmp51);
5937#line 116
5938 __cil_tmp53 = (unsigned long )__cil_tmp52;
5939#line 116
5940 __cil_tmp54 = __cil_tmp53 + 24;
5941#line 116
5942 __cil_tmp55 = 1 * 8UL;
5943#line 116
5944 __cil_tmp56 = 56 + __cil_tmp55;
5945#line 116
5946 __cil_tmp57 = (unsigned long )p_dev;
5947#line 116
5948 __cil_tmp58 = __cil_tmp57 + __cil_tmp56;
5949#line 116
5950 __cil_tmp59 = *((struct resource **)__cil_tmp58);
5951#line 116
5952 __cil_tmp60 = (unsigned long )__cil_tmp59;
5953#line 116
5954 __cil_tmp61 = __cil_tmp60 + 24;
5955#line 116
5956 *((unsigned long *)__cil_tmp54) = *((unsigned long *)__cil_tmp61);
5957#line 117
5958 __cil_tmp62 = (unsigned long )p_dev;
5959#line 117
5960 __cil_tmp63 = __cil_tmp62 + 132;
5961#line 117
5962 *((unsigned int *)__cil_tmp63) = 3U;
5963#line 119
5964 tmp___7 = pcmcia_request_io(p_dev);
5965 }
5966#line 119
5967 return (tmp___7);
5968}
5969}
5970#line 128
5971static int ixj_config(struct pcmcia_device *link ) ;
5972#line 128 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5973static struct _ddebug __attribute__((__aligned__(8))) descriptor___2 __attribute__((__used__,
5974__section__("__verbose"))) = {"ixj_pcmcia", "ixj_config", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c",
5975 "ixj_config\n", 128U, 0U};
5976#line 122 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
5977static int ixj_config(struct pcmcia_device *link )
5978{ IXJ *j ;
5979 ixj_info_t *info ;
5980 long tmp___7 ;
5981 int tmp___8 ;
5982 int tmp___9 ;
5983 unsigned long __cil_tmp7 ;
5984 unsigned long __cil_tmp8 ;
5985 void *__cil_tmp9 ;
5986 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp10 ;
5987 unsigned int __cil_tmp11 ;
5988 unsigned int __cil_tmp12 ;
5989 int __cil_tmp13 ;
5990 int __cil_tmp14 ;
5991 long __cil_tmp15 ;
5992 unsigned long __cil_tmp16 ;
5993 unsigned long __cil_tmp17 ;
5994 struct device *__cil_tmp18 ;
5995 struct device const *__cil_tmp19 ;
5996 unsigned long __cil_tmp20 ;
5997 unsigned long __cil_tmp21 ;
5998 void *__cil_tmp22 ;
5999 unsigned long __cil_tmp23 ;
6000 unsigned long __cil_tmp24 ;
6001 unsigned long __cil_tmp25 ;
6002 unsigned long __cil_tmp26 ;
6003 struct resource *__cil_tmp27 ;
6004 resource_size_t __cil_tmp28 ;
6005 unsigned long __cil_tmp29 ;
6006 unsigned long __cil_tmp30 ;
6007 unsigned long __cil_tmp31 ;
6008 unsigned long __cil_tmp32 ;
6009 unsigned long __cil_tmp33 ;
6010 struct resource *__cil_tmp34 ;
6011 resource_size_t __cil_tmp35 ;
6012 resource_size_t __cil_tmp36 ;
6013 unsigned long __cil_tmp37 ;
6014
6015 {
6016#line 127
6017 __cil_tmp7 = (unsigned long )link;
6018#line 127
6019 __cil_tmp8 = __cil_tmp7 + 952;
6020#line 127
6021 __cil_tmp9 = *((void **)__cil_tmp8);
6022#line 127
6023 info = (ixj_info_t *)__cil_tmp9;
6024 {
6025#line 128
6026 while (1) {
6027 while_continue: ;
6028 {
6029#line 128
6030 while (1) {
6031 while_continue___0: ;
6032 {
6033#line 128
6034 __cil_tmp10 = & descriptor___2;
6035#line 128
6036 __cil_tmp11 = __cil_tmp10->flags;
6037#line 128
6038 __cil_tmp12 = __cil_tmp11 & 1U;
6039#line 128
6040 __cil_tmp13 = ! __cil_tmp12;
6041#line 128
6042 __cil_tmp14 = ! __cil_tmp13;
6043#line 128
6044 __cil_tmp15 = (long )__cil_tmp14;
6045#line 128
6046 tmp___7 = __builtin_expect(__cil_tmp15, 0L);
6047 }
6048#line 128
6049 if (tmp___7) {
6050 {
6051#line 128
6052 __cil_tmp16 = (unsigned long )link;
6053#line 128
6054 __cil_tmp17 = __cil_tmp16 + 184;
6055#line 128
6056 __cil_tmp18 = (struct device *)__cil_tmp17;
6057#line 128
6058 __cil_tmp19 = (struct device const *)__cil_tmp18;
6059#line 128
6060 __dynamic_dev_dbg(& descriptor___2, __cil_tmp19, "ixj_config\n");
6061 }
6062 } else {
6063
6064 }
6065#line 128
6066 goto while_break___0;
6067 }
6068 while_break___0: ;
6069 }
6070#line 128
6071 goto while_break;
6072 }
6073 while_break: ;
6074 }
6075 {
6076#line 130
6077 __cil_tmp20 = (unsigned long )link;
6078#line 130
6079 __cil_tmp21 = __cil_tmp20 + 116;
6080#line 130
6081 *((unsigned int *)__cil_tmp21) = 2048U;
6082#line 132
6083 __cil_tmp22 = (void *)0;
6084#line 132
6085 tmp___8 = pcmcia_loop_config(link, & ixj_config_check, __cil_tmp22);
6086 }
6087#line 132
6088 if (tmp___8) {
6089#line 133
6090 goto failed;
6091 } else {
6092
6093 }
6094 {
6095#line 135
6096 tmp___9 = pcmcia_enable_device(link);
6097 }
6098#line 135
6099 if (tmp___9) {
6100#line 136
6101 goto failed;
6102 } else {
6103
6104 }
6105 {
6106#line 141
6107 __cil_tmp23 = 0 * 8UL;
6108#line 141
6109 __cil_tmp24 = 56 + __cil_tmp23;
6110#line 141
6111 __cil_tmp25 = (unsigned long )link;
6112#line 141
6113 __cil_tmp26 = __cil_tmp25 + __cil_tmp24;
6114#line 141
6115 __cil_tmp27 = *((struct resource **)__cil_tmp26);
6116#line 141
6117 __cil_tmp28 = *((resource_size_t *)__cil_tmp27);
6118#line 141
6119 __cil_tmp29 = (unsigned long )__cil_tmp28;
6120#line 141
6121 __cil_tmp30 = 0 * 8UL;
6122#line 141
6123 __cil_tmp31 = 56 + __cil_tmp30;
6124#line 141
6125 __cil_tmp32 = (unsigned long )link;
6126#line 141
6127 __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
6128#line 141
6129 __cil_tmp34 = *((struct resource **)__cil_tmp33);
6130#line 141
6131 __cil_tmp35 = *((resource_size_t *)__cil_tmp34);
6132#line 141
6133 __cil_tmp36 = __cil_tmp35 + 16ULL;
6134#line 141
6135 __cil_tmp37 = (unsigned long )__cil_tmp36;
6136#line 141
6137 j = ixj_pcmcia_probe(__cil_tmp29, __cil_tmp37);
6138#line 144
6139 *((int *)info) = 1;
6140#line 145
6141 ixj_get_serial(link, j);
6142 }
6143#line 146
6144 return (0);
6145 failed:
6146 {
6147#line 149
6148 ixj_cs_release(link);
6149 }
6150#line 150
6151 return (-19);
6152}
6153}
6154#line 156
6155static void ixj_cs_release(struct pcmcia_device *link ) ;
6156#line 156 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6157static struct _ddebug __attribute__((__aligned__(8))) descriptor___3 __attribute__((__used__,
6158__section__("__verbose"))) = {"ixj_pcmcia", "ixj_cs_release", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c",
6159 "ixj_cs_release\n", 156U, 0U};
6160#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6161static void ixj_cs_release(struct pcmcia_device *link )
6162{ ixj_info_t *info ;
6163 long tmp___7 ;
6164 unsigned long __cil_tmp4 ;
6165 unsigned long __cil_tmp5 ;
6166 void *__cil_tmp6 ;
6167 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp7 ;
6168 unsigned int __cil_tmp8 ;
6169 unsigned int __cil_tmp9 ;
6170 int __cil_tmp10 ;
6171 int __cil_tmp11 ;
6172 long __cil_tmp12 ;
6173 unsigned long __cil_tmp13 ;
6174 unsigned long __cil_tmp14 ;
6175 struct device *__cil_tmp15 ;
6176 struct device const *__cil_tmp16 ;
6177
6178 {
6179#line 155
6180 __cil_tmp4 = (unsigned long )link;
6181#line 155
6182 __cil_tmp5 = __cil_tmp4 + 952;
6183#line 155
6184 __cil_tmp6 = *((void **)__cil_tmp5);
6185#line 155
6186 info = (ixj_info_t *)__cil_tmp6;
6187 {
6188#line 156
6189 while (1) {
6190 while_continue: ;
6191 {
6192#line 156
6193 while (1) {
6194 while_continue___0: ;
6195 {
6196#line 156
6197 __cil_tmp7 = & descriptor___3;
6198#line 156
6199 __cil_tmp8 = __cil_tmp7->flags;
6200#line 156
6201 __cil_tmp9 = __cil_tmp8 & 1U;
6202#line 156
6203 __cil_tmp10 = ! __cil_tmp9;
6204#line 156
6205 __cil_tmp11 = ! __cil_tmp10;
6206#line 156
6207 __cil_tmp12 = (long )__cil_tmp11;
6208#line 156
6209 tmp___7 = __builtin_expect(__cil_tmp12, 0L);
6210 }
6211#line 156
6212 if (tmp___7) {
6213 {
6214#line 156
6215 __cil_tmp13 = (unsigned long )link;
6216#line 156
6217 __cil_tmp14 = __cil_tmp13 + 184;
6218#line 156
6219 __cil_tmp15 = (struct device *)__cil_tmp14;
6220#line 156
6221 __cil_tmp16 = (struct device const *)__cil_tmp15;
6222#line 156
6223 __dynamic_dev_dbg(& descriptor___3, __cil_tmp16, "ixj_cs_release\n");
6224 }
6225 } else {
6226
6227 }
6228#line 156
6229 goto while_break___0;
6230 }
6231 while_break___0: ;
6232 }
6233#line 156
6234 goto while_break;
6235 }
6236 while_break: ;
6237 }
6238 {
6239#line 157
6240 *((int *)info) = 0;
6241#line 158
6242 pcmcia_disable_device(link);
6243 }
6244#line 159
6245 return;
6246}
6247}
6248#line 161 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6249static struct pcmcia_device_id const ixj_ids[2] = { {(__u16 )3, (__u16 )599, (__u16 )1536, (unsigned char)0, (unsigned char)0, (unsigned char)0,
6250 {0U, 0U, 0U, 0U}, {(char const *)0, (char const *)0, (char const *)0,
6251 (char const *)0}, 0UL, (char *)0},
6252 {(__u16 )0, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
6253 (unsigned char)0, {0U, 0U, 0U, 0U}, {(char const *)0, (char const *)0, (char const *)0,
6254 (char const *)0}, 0UL, (char *)0}};
6255#line 165
6256extern struct pcmcia_device_id const __mod_pcmcia_device_table __attribute__((__unused__,
6257__alias__("ixj_ids"))) ;
6258#line 167 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6259static struct pcmcia_driver ixj_driver =
6260#line 167
6261 {"ixj_cs", & ixj_probe, & ixj_detach, (int (*)(struct pcmcia_device *dev ))0, (int (*)(struct pcmcia_device *dev ))0,
6262 & __this_module, ixj_ids, {(char const *)0, (struct bus_type *)0, (struct module *)0,
6263 (char const *)0, (_Bool)0, (struct of_device_id const *)0,
6264 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
6265 (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
6266 pm_message_t state ))0,
6267 (int (*)(struct device *dev ))0, (struct attribute_group const **)0,
6268 (struct dev_pm_ops const *)0, (struct driver_private *)0},
6269 {{{0}, {{{{{0U}}, 0U, 0U, (void *)0}}}, {(struct list_head *)0, (struct list_head *)0},
6270 (struct task_struct *)0, (char const *)0, (void *)0}, {(struct list_head *)0,
6271 (struct list_head *)0}}};
6272#line 175
6273static int ixj_pcmcia_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
6274#line 175 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6275static int ixj_pcmcia_init(void)
6276{ int tmp___7 ;
6277
6278 {
6279 {
6280#line 177
6281 tmp___7 = pcmcia_register_driver(& ixj_driver);
6282 }
6283#line 177
6284 return (tmp___7);
6285}
6286}
6287#line 180 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6288static void ixj_pcmcia_exit(void)
6289{
6290
6291 {
6292 {
6293#line 182
6294 pcmcia_unregister_driver(& ixj_driver);
6295 }
6296#line 183
6297 return;
6298}
6299}
6300#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6301int init_module(void)
6302{ int tmp___7 ;
6303
6304 {
6305 {
6306#line 185
6307 tmp___7 = ixj_pcmcia_init();
6308 }
6309#line 185
6310 return (tmp___7);
6311}
6312}
6313#line 186 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6314void cleanup_module(void)
6315{
6316
6317 {
6318 {
6319#line 186
6320 ixj_pcmcia_exit();
6321 }
6322#line 186
6323 return;
6324}
6325}
6326#line 188 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6327static char const __mod_license188[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
6328__aligned__(1))) =
6329#line 188
6330 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
6331 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
6332 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
6333#line 206
6334void ldv_check_final_state(void) ;
6335#line 209
6336extern void ldv_check_return_value(int res ) ;
6337#line 212
6338extern void ldv_initialize(void) ;
6339#line 215
6340extern int __VERIFIER_nondet_int(void) ;
6341#line 218 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6342int LDV_IN_INTERRUPT ;
6343#line 233 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6344static int res_ixj_probe_0 ;
6345#line 221 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6346void main(void)
6347{ struct pcmcia_device *var_group1 ;
6348 int tmp___7 ;
6349 int ldv_s_ixj_driver_pcmcia_driver ;
6350 int tmp___8 ;
6351 int tmp___9 ;
6352 int __cil_tmp6 ;
6353
6354 {
6355 {
6356#line 243
6357 LDV_IN_INTERRUPT = 1;
6358#line 252
6359 ldv_initialize();
6360#line 258
6361 tmp___7 = ixj_pcmcia_init();
6362 }
6363#line 258
6364 if (tmp___7) {
6365#line 259
6366 goto ldv_final;
6367 } else {
6368
6369 }
6370#line 260
6371 ldv_s_ixj_driver_pcmcia_driver = 0;
6372 {
6373#line 264
6374 while (1) {
6375 while_continue: ;
6376 {
6377#line 264
6378 tmp___9 = __VERIFIER_nondet_int();
6379 }
6380#line 264
6381 if (tmp___9) {
6382
6383 } else {
6384 {
6385#line 264
6386 __cil_tmp6 = ldv_s_ixj_driver_pcmcia_driver == 0;
6387#line 264
6388 if (! __cil_tmp6) {
6389
6390 } else {
6391#line 264
6392 goto while_break;
6393 }
6394 }
6395 }
6396 {
6397#line 268
6398 tmp___8 = __VERIFIER_nondet_int();
6399 }
6400#line 270
6401 if (tmp___8 == 0) {
6402#line 270
6403 goto case_0;
6404 } else
6405#line 289
6406 if (tmp___8 == 1) {
6407#line 289
6408 goto case_1;
6409 } else {
6410 {
6411#line 305
6412 goto switch_default;
6413#line 268
6414 if (0) {
6415 case_0:
6416#line 273
6417 if (ldv_s_ixj_driver_pcmcia_driver == 0) {
6418 {
6419#line 278
6420 res_ixj_probe_0 = ixj_probe(var_group1);
6421#line 279
6422 ldv_check_return_value(res_ixj_probe_0);
6423 }
6424#line 280
6425 if (res_ixj_probe_0) {
6426#line 281
6427 goto ldv_module_exit;
6428 } else {
6429
6430 }
6431#line 282
6432 ldv_s_ixj_driver_pcmcia_driver = 0;
6433 } else {
6434
6435 }
6436#line 288
6437 goto switch_break;
6438 case_1:
6439 {
6440#line 297
6441 ixj_detach(var_group1);
6442 }
6443#line 304
6444 goto switch_break;
6445 switch_default:
6446#line 305
6447 goto switch_break;
6448 } else {
6449 switch_break: ;
6450 }
6451 }
6452 }
6453 }
6454 while_break: ;
6455 }
6456 ldv_module_exit:
6457 {
6458#line 317
6459 ixj_pcmcia_exit();
6460 }
6461 ldv_final:
6462 {
6463#line 320
6464 ldv_check_final_state();
6465 }
6466#line 323
6467 return;
6468}
6469}
6470#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
6471void ldv_blast_assert(void)
6472{
6473
6474 {
6475 ERROR:
6476#line 6
6477 goto ERROR;
6478}
6479}
6480#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
6481extern int __VERIFIER_nondet_int(void) ;
6482#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6483int ldv_mutex = 1;
6484#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6485int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
6486{ int nondetermined ;
6487
6488 {
6489#line 29
6490 if (ldv_mutex == 1) {
6491
6492 } else {
6493 {
6494#line 29
6495 ldv_blast_assert();
6496 }
6497 }
6498 {
6499#line 32
6500 nondetermined = __VERIFIER_nondet_int();
6501 }
6502#line 35
6503 if (nondetermined) {
6504#line 38
6505 ldv_mutex = 2;
6506#line 40
6507 return (0);
6508 } else {
6509#line 45
6510 return (-4);
6511 }
6512}
6513}
6514#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6515int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
6516{ int nondetermined ;
6517
6518 {
6519#line 57
6520 if (ldv_mutex == 1) {
6521
6522 } else {
6523 {
6524#line 57
6525 ldv_blast_assert();
6526 }
6527 }
6528 {
6529#line 60
6530 nondetermined = __VERIFIER_nondet_int();
6531 }
6532#line 63
6533 if (nondetermined) {
6534#line 66
6535 ldv_mutex = 2;
6536#line 68
6537 return (0);
6538 } else {
6539#line 73
6540 return (-4);
6541 }
6542}
6543}
6544#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6545int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
6546{ int atomic_value_after_dec ;
6547
6548 {
6549#line 83
6550 if (ldv_mutex == 1) {
6551
6552 } else {
6553 {
6554#line 83
6555 ldv_blast_assert();
6556 }
6557 }
6558 {
6559#line 86
6560 atomic_value_after_dec = __VERIFIER_nondet_int();
6561 }
6562#line 89
6563 if (atomic_value_after_dec == 0) {
6564#line 92
6565 ldv_mutex = 2;
6566#line 94
6567 return (1);
6568 } else {
6569
6570 }
6571#line 98
6572 return (0);
6573}
6574}
6575#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6576void mutex_lock(struct mutex *lock )
6577{
6578
6579 {
6580#line 108
6581 if (ldv_mutex == 1) {
6582
6583 } else {
6584 {
6585#line 108
6586 ldv_blast_assert();
6587 }
6588 }
6589#line 110
6590 ldv_mutex = 2;
6591#line 111
6592 return;
6593}
6594}
6595#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6596int mutex_trylock(struct mutex *lock )
6597{ int nondetermined ;
6598
6599 {
6600#line 121
6601 if (ldv_mutex == 1) {
6602
6603 } else {
6604 {
6605#line 121
6606 ldv_blast_assert();
6607 }
6608 }
6609 {
6610#line 124
6611 nondetermined = __VERIFIER_nondet_int();
6612 }
6613#line 127
6614 if (nondetermined) {
6615#line 130
6616 ldv_mutex = 2;
6617#line 132
6618 return (1);
6619 } else {
6620#line 137
6621 return (0);
6622 }
6623}
6624}
6625#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6626void mutex_unlock(struct mutex *lock )
6627{
6628
6629 {
6630#line 147
6631 if (ldv_mutex == 2) {
6632
6633 } else {
6634 {
6635#line 147
6636 ldv_blast_assert();
6637 }
6638 }
6639#line 149
6640 ldv_mutex = 1;
6641#line 150
6642 return;
6643}
6644}
6645#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6646void ldv_check_final_state(void)
6647{
6648
6649 {
6650#line 156
6651 if (ldv_mutex == 1) {
6652
6653 } else {
6654 {
6655#line 156
6656 ldv_blast_assert();
6657 }
6658 }
6659#line 157
6660 return;
6661}
6662}
6663#line 332 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2058/dscv_tempdir/dscv/ri/32_1/drivers/staging/telephony/ixj_pcmcia.c.common.c"
6664long s__builtin_expect(long val , long res )
6665{
6666
6667 {
6668#line 333
6669 return (val);
6670}
6671}