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