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