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