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