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