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