1
2
3
4#line 23 "include/asm-generic/int-ll64.h"
5typedef unsigned short __u16;
6#line 25 "include/asm-generic/int-ll64.h"
7typedef int __s32;
8#line 26 "include/asm-generic/int-ll64.h"
9typedef unsigned int __u32;
10#line 30 "include/asm-generic/int-ll64.h"
11typedef unsigned long long __u64;
12#line 43 "include/asm-generic/int-ll64.h"
13typedef unsigned char u8;
14#line 45 "include/asm-generic/int-ll64.h"
15typedef short s16;
16#line 46 "include/asm-generic/int-ll64.h"
17typedef unsigned short u16;
18#line 49 "include/asm-generic/int-ll64.h"
19typedef unsigned int u32;
20#line 51 "include/asm-generic/int-ll64.h"
21typedef long long s64;
22#line 52 "include/asm-generic/int-ll64.h"
23typedef unsigned long long u64;
24#line 14 "include/asm-generic/posix_types.h"
25typedef long __kernel_long_t;
26#line 15 "include/asm-generic/posix_types.h"
27typedef unsigned long __kernel_ulong_t;
28#line 31 "include/asm-generic/posix_types.h"
29typedef int __kernel_pid_t;
30#line 52 "include/asm-generic/posix_types.h"
31typedef unsigned int __kernel_uid32_t;
32#line 53 "include/asm-generic/posix_types.h"
33typedef unsigned int __kernel_gid32_t;
34#line 75 "include/asm-generic/posix_types.h"
35typedef __kernel_ulong_t __kernel_size_t;
36#line 76 "include/asm-generic/posix_types.h"
37typedef __kernel_long_t __kernel_ssize_t;
38#line 91 "include/asm-generic/posix_types.h"
39typedef long long __kernel_loff_t;
40#line 92 "include/asm-generic/posix_types.h"
41typedef __kernel_long_t __kernel_time_t;
42#line 93 "include/asm-generic/posix_types.h"
43typedef __kernel_long_t __kernel_clock_t;
44#line 94 "include/asm-generic/posix_types.h"
45typedef int __kernel_timer_t;
46#line 95 "include/asm-generic/posix_types.h"
47typedef int __kernel_clockid_t;
48#line 21 "include/linux/types.h"
49typedef __u32 __kernel_dev_t;
50#line 24 "include/linux/types.h"
51typedef __kernel_dev_t dev_t;
52#line 27 "include/linux/types.h"
53typedef unsigned short umode_t;
54#line 30 "include/linux/types.h"
55typedef __kernel_pid_t pid_t;
56#line 35 "include/linux/types.h"
57typedef __kernel_clockid_t clockid_t;
58#line 38 "include/linux/types.h"
59typedef _Bool bool;
60#line 40 "include/linux/types.h"
61typedef __kernel_uid32_t uid_t;
62#line 41 "include/linux/types.h"
63typedef __kernel_gid32_t gid_t;
64#line 54 "include/linux/types.h"
65typedef __kernel_loff_t loff_t;
66#line 63 "include/linux/types.h"
67typedef __kernel_size_t size_t;
68#line 68 "include/linux/types.h"
69typedef __kernel_ssize_t ssize_t;
70#line 78 "include/linux/types.h"
71typedef __kernel_time_t time_t;
72#line 111 "include/linux/types.h"
73typedef __s32 int32_t;
74#line 117 "include/linux/types.h"
75typedef __u32 uint32_t;
76#line 155 "include/linux/types.h"
77typedef u64 dma_addr_t;
78#line 202 "include/linux/types.h"
79typedef unsigned int gfp_t;
80#line 219 "include/linux/types.h"
81struct __anonstruct_atomic_t_7 {
82 int counter ;
83};
84#line 219 "include/linux/types.h"
85typedef struct __anonstruct_atomic_t_7 atomic_t;
86#line 224 "include/linux/types.h"
87struct __anonstruct_atomic64_t_8 {
88 long counter ;
89};
90#line 224 "include/linux/types.h"
91typedef struct __anonstruct_atomic64_t_8 atomic64_t;
92#line 229 "include/linux/types.h"
93struct list_head {
94 struct list_head *next ;
95 struct list_head *prev ;
96};
97#line 233
98struct hlist_node;
99#line 233 "include/linux/types.h"
100struct hlist_head {
101 struct hlist_node *first ;
102};
103#line 237 "include/linux/types.h"
104struct hlist_node {
105 struct hlist_node *next ;
106 struct hlist_node **pprev ;
107};
108#line 253 "include/linux/types.h"
109struct rcu_head {
110 struct rcu_head *next ;
111 void (*func)(struct rcu_head *head ) ;
112};
113#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
114struct module;
115#line 56
116struct module;
117#line 146 "include/linux/init.h"
118typedef void (*ctor_fn_t)(void);
119#line 47 "include/linux/dynamic_debug.h"
120struct device;
121#line 47
122struct device;
123#line 135 "include/linux/kernel.h"
124struct completion;
125#line 135
126struct completion;
127#line 136
128struct pt_regs;
129#line 136
130struct pt_regs;
131#line 349
132struct pid;
133#line 349
134struct pid;
135#line 12 "include/linux/thread_info.h"
136struct timespec;
137#line 12
138struct timespec;
139#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
140struct page;
141#line 18
142struct page;
143#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
144struct task_struct;
145#line 20
146struct task_struct;
147#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
148struct task_struct;
149#line 8
150struct mm_struct;
151#line 8
152struct mm_struct;
153#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
154struct pt_regs {
155 unsigned long r15 ;
156 unsigned long r14 ;
157 unsigned long r13 ;
158 unsigned long r12 ;
159 unsigned long bp ;
160 unsigned long bx ;
161 unsigned long r11 ;
162 unsigned long r10 ;
163 unsigned long r9 ;
164 unsigned long r8 ;
165 unsigned long ax ;
166 unsigned long cx ;
167 unsigned long dx ;
168 unsigned long si ;
169 unsigned long di ;
170 unsigned long orig_ax ;
171 unsigned long ip ;
172 unsigned long cs ;
173 unsigned long flags ;
174 unsigned long sp ;
175 unsigned long ss ;
176};
177#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
178struct __anonstruct____missing_field_name_15 {
179 unsigned int a ;
180 unsigned int b ;
181};
182#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
183struct __anonstruct____missing_field_name_16 {
184 u16 limit0 ;
185 u16 base0 ;
186 unsigned int base1 : 8 ;
187 unsigned int type : 4 ;
188 unsigned int s : 1 ;
189 unsigned int dpl : 2 ;
190 unsigned int p : 1 ;
191 unsigned int limit : 4 ;
192 unsigned int avl : 1 ;
193 unsigned int l : 1 ;
194 unsigned int d : 1 ;
195 unsigned int g : 1 ;
196 unsigned int base2 : 8 ;
197};
198#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
199union __anonunion____missing_field_name_14 {
200 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
201 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
202};
203#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
204struct desc_struct {
205 union __anonunion____missing_field_name_14 __annonCompField7 ;
206} __attribute__((__packed__)) ;
207#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
208typedef unsigned long pgdval_t;
209#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
210typedef unsigned long pgprotval_t;
211#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
212struct pgprot {
213 pgprotval_t pgprot ;
214};
215#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
216typedef struct pgprot pgprot_t;
217#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
218struct __anonstruct_pgd_t_20 {
219 pgdval_t pgd ;
220};
221#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
222typedef struct __anonstruct_pgd_t_20 pgd_t;
223#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
224typedef struct page *pgtable_t;
225#line 295
226struct file;
227#line 295
228struct file;
229#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
230struct page;
231#line 47
232struct thread_struct;
233#line 47
234struct thread_struct;
235#line 50
236struct mm_struct;
237#line 51
238struct desc_struct;
239#line 52
240struct task_struct;
241#line 53
242struct cpumask;
243#line 53
244struct cpumask;
245#line 329
246struct arch_spinlock;
247#line 329
248struct arch_spinlock;
249#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
250struct task_struct;
251#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
252struct kernel_vm86_regs {
253 struct pt_regs pt ;
254 unsigned short es ;
255 unsigned short __esh ;
256 unsigned short ds ;
257 unsigned short __dsh ;
258 unsigned short fs ;
259 unsigned short __fsh ;
260 unsigned short gs ;
261 unsigned short __gsh ;
262};
263#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
264union __anonunion____missing_field_name_24 {
265 struct pt_regs *regs ;
266 struct kernel_vm86_regs *vm86 ;
267};
268#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
269struct math_emu_info {
270 long ___orig_eip ;
271 union __anonunion____missing_field_name_24 __annonCompField8 ;
272};
273#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
274struct task_struct;
275#line 10 "include/asm-generic/bug.h"
276struct bug_entry {
277 int bug_addr_disp ;
278 int file_disp ;
279 unsigned short line ;
280 unsigned short flags ;
281};
282#line 12 "include/linux/bug.h"
283struct pt_regs;
284#line 14 "include/linux/cpumask.h"
285struct cpumask {
286 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
287};
288#line 14 "include/linux/cpumask.h"
289typedef struct cpumask cpumask_t;
290#line 637 "include/linux/cpumask.h"
291typedef struct cpumask *cpumask_var_t;
292#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
293struct static_key;
294#line 234
295struct static_key;
296#line 11 "include/linux/personality.h"
297struct pt_regs;
298#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
299struct i387_fsave_struct {
300 u32 cwd ;
301 u32 swd ;
302 u32 twd ;
303 u32 fip ;
304 u32 fcs ;
305 u32 foo ;
306 u32 fos ;
307 u32 st_space[20] ;
308 u32 status ;
309};
310#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
311struct __anonstruct____missing_field_name_31 {
312 u64 rip ;
313 u64 rdp ;
314};
315#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
316struct __anonstruct____missing_field_name_32 {
317 u32 fip ;
318 u32 fcs ;
319 u32 foo ;
320 u32 fos ;
321};
322#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
323union __anonunion____missing_field_name_30 {
324 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
325 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
326};
327#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
328union __anonunion____missing_field_name_33 {
329 u32 padding1[12] ;
330 u32 sw_reserved[12] ;
331};
332#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
333struct i387_fxsave_struct {
334 u16 cwd ;
335 u16 swd ;
336 u16 twd ;
337 u16 fop ;
338 union __anonunion____missing_field_name_30 __annonCompField14 ;
339 u32 mxcsr ;
340 u32 mxcsr_mask ;
341 u32 st_space[32] ;
342 u32 xmm_space[64] ;
343 u32 padding[12] ;
344 union __anonunion____missing_field_name_33 __annonCompField15 ;
345} __attribute__((__aligned__(16))) ;
346#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
347struct i387_soft_struct {
348 u32 cwd ;
349 u32 swd ;
350 u32 twd ;
351 u32 fip ;
352 u32 fcs ;
353 u32 foo ;
354 u32 fos ;
355 u32 st_space[20] ;
356 u8 ftop ;
357 u8 changed ;
358 u8 lookahead ;
359 u8 no_update ;
360 u8 rm ;
361 u8 alimit ;
362 struct math_emu_info *info ;
363 u32 entry_eip ;
364};
365#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
366struct ymmh_struct {
367 u32 ymmh_space[64] ;
368};
369#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
370struct xsave_hdr_struct {
371 u64 xstate_bv ;
372 u64 reserved1[2] ;
373 u64 reserved2[5] ;
374} __attribute__((__packed__)) ;
375#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
376struct xsave_struct {
377 struct i387_fxsave_struct i387 ;
378 struct xsave_hdr_struct xsave_hdr ;
379 struct ymmh_struct ymmh ;
380} __attribute__((__packed__, __aligned__(64))) ;
381#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
382union thread_xstate {
383 struct i387_fsave_struct fsave ;
384 struct i387_fxsave_struct fxsave ;
385 struct i387_soft_struct soft ;
386 struct xsave_struct xsave ;
387};
388#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
389struct fpu {
390 unsigned int last_cpu ;
391 unsigned int has_fpu ;
392 union thread_xstate *state ;
393};
394#line 433
395struct kmem_cache;
396#line 435
397struct perf_event;
398#line 435
399struct perf_event;
400#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
401struct thread_struct {
402 struct desc_struct tls_array[3] ;
403 unsigned long sp0 ;
404 unsigned long sp ;
405 unsigned long usersp ;
406 unsigned short es ;
407 unsigned short ds ;
408 unsigned short fsindex ;
409 unsigned short gsindex ;
410 unsigned long fs ;
411 unsigned long gs ;
412 struct perf_event *ptrace_bps[4] ;
413 unsigned long debugreg6 ;
414 unsigned long ptrace_dr7 ;
415 unsigned long cr2 ;
416 unsigned long trap_nr ;
417 unsigned long error_code ;
418 struct fpu fpu ;
419 unsigned long *io_bitmap_ptr ;
420 unsigned long iopl ;
421 unsigned int io_bitmap_max ;
422};
423#line 23 "include/asm-generic/atomic-long.h"
424typedef atomic64_t atomic_long_t;
425#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
426typedef u16 __ticket_t;
427#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
428typedef u32 __ticketpair_t;
429#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
430struct __raw_tickets {
431 __ticket_t head ;
432 __ticket_t tail ;
433};
434#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
435union __anonunion____missing_field_name_36 {
436 __ticketpair_t head_tail ;
437 struct __raw_tickets tickets ;
438};
439#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
440struct arch_spinlock {
441 union __anonunion____missing_field_name_36 __annonCompField17 ;
442};
443#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
444typedef struct arch_spinlock arch_spinlock_t;
445#line 12 "include/linux/lockdep.h"
446struct task_struct;
447#line 391 "include/linux/lockdep.h"
448struct lock_class_key {
449
450};
451#line 20 "include/linux/spinlock_types.h"
452struct raw_spinlock {
453 arch_spinlock_t raw_lock ;
454 unsigned int magic ;
455 unsigned int owner_cpu ;
456 void *owner ;
457};
458#line 20 "include/linux/spinlock_types.h"
459typedef struct raw_spinlock raw_spinlock_t;
460#line 64 "include/linux/spinlock_types.h"
461union __anonunion____missing_field_name_39 {
462 struct raw_spinlock rlock ;
463};
464#line 64 "include/linux/spinlock_types.h"
465struct spinlock {
466 union __anonunion____missing_field_name_39 __annonCompField19 ;
467};
468#line 64 "include/linux/spinlock_types.h"
469typedef struct spinlock spinlock_t;
470#line 119 "include/linux/seqlock.h"
471struct seqcount {
472 unsigned int sequence ;
473};
474#line 119 "include/linux/seqlock.h"
475typedef struct seqcount seqcount_t;
476#line 14 "include/linux/time.h"
477struct timespec {
478 __kernel_time_t tv_sec ;
479 long tv_nsec ;
480};
481#line 49 "include/linux/wait.h"
482struct __wait_queue_head {
483 spinlock_t lock ;
484 struct list_head task_list ;
485};
486#line 53 "include/linux/wait.h"
487typedef struct __wait_queue_head wait_queue_head_t;
488#line 55
489struct task_struct;
490#line 98 "include/linux/nodemask.h"
491struct __anonstruct_nodemask_t_42 {
492 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
493};
494#line 98 "include/linux/nodemask.h"
495typedef struct __anonstruct_nodemask_t_42 nodemask_t;
496#line 60 "include/linux/pageblock-flags.h"
497struct page;
498#line 48 "include/linux/mutex.h"
499struct mutex {
500 atomic_t count ;
501 spinlock_t wait_lock ;
502 struct list_head wait_list ;
503 struct task_struct *owner ;
504 char const *name ;
505 void *magic ;
506};
507#line 69 "include/linux/mutex.h"
508struct mutex_waiter {
509 struct list_head list ;
510 struct task_struct *task ;
511 void *magic ;
512};
513#line 19 "include/linux/rwsem.h"
514struct rw_semaphore;
515#line 19
516struct rw_semaphore;
517#line 25 "include/linux/rwsem.h"
518struct rw_semaphore {
519 long count ;
520 raw_spinlock_t wait_lock ;
521 struct list_head wait_list ;
522};
523#line 25 "include/linux/completion.h"
524struct completion {
525 unsigned int done ;
526 wait_queue_head_t wait ;
527};
528#line 9 "include/linux/memory_hotplug.h"
529struct page;
530#line 202 "include/linux/ioport.h"
531struct device;
532#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
533struct device;
534#line 46 "include/linux/ktime.h"
535union ktime {
536 s64 tv64 ;
537};
538#line 59 "include/linux/ktime.h"
539typedef union ktime ktime_t;
540#line 10 "include/linux/timer.h"
541struct tvec_base;
542#line 10
543struct tvec_base;
544#line 12 "include/linux/timer.h"
545struct timer_list {
546 struct list_head entry ;
547 unsigned long expires ;
548 struct tvec_base *base ;
549 void (*function)(unsigned long ) ;
550 unsigned long data ;
551 int slack ;
552 int start_pid ;
553 void *start_site ;
554 char start_comm[16] ;
555};
556#line 289
557struct hrtimer;
558#line 289
559struct hrtimer;
560#line 290
561enum hrtimer_restart;
562#line 17 "include/linux/workqueue.h"
563struct work_struct;
564#line 17
565struct work_struct;
566#line 79 "include/linux/workqueue.h"
567struct work_struct {
568 atomic_long_t data ;
569 struct list_head entry ;
570 void (*func)(struct work_struct *work ) ;
571};
572#line 42 "include/linux/pm.h"
573struct device;
574#line 50 "include/linux/pm.h"
575struct pm_message {
576 int event ;
577};
578#line 50 "include/linux/pm.h"
579typedef struct pm_message pm_message_t;
580#line 264 "include/linux/pm.h"
581struct dev_pm_ops {
582 int (*prepare)(struct device *dev ) ;
583 void (*complete)(struct device *dev ) ;
584 int (*suspend)(struct device *dev ) ;
585 int (*resume)(struct device *dev ) ;
586 int (*freeze)(struct device *dev ) ;
587 int (*thaw)(struct device *dev ) ;
588 int (*poweroff)(struct device *dev ) ;
589 int (*restore)(struct device *dev ) ;
590 int (*suspend_late)(struct device *dev ) ;
591 int (*resume_early)(struct device *dev ) ;
592 int (*freeze_late)(struct device *dev ) ;
593 int (*thaw_early)(struct device *dev ) ;
594 int (*poweroff_late)(struct device *dev ) ;
595 int (*restore_early)(struct device *dev ) ;
596 int (*suspend_noirq)(struct device *dev ) ;
597 int (*resume_noirq)(struct device *dev ) ;
598 int (*freeze_noirq)(struct device *dev ) ;
599 int (*thaw_noirq)(struct device *dev ) ;
600 int (*poweroff_noirq)(struct device *dev ) ;
601 int (*restore_noirq)(struct device *dev ) ;
602 int (*runtime_suspend)(struct device *dev ) ;
603 int (*runtime_resume)(struct device *dev ) ;
604 int (*runtime_idle)(struct device *dev ) ;
605};
606#line 458
607enum rpm_status {
608 RPM_ACTIVE = 0,
609 RPM_RESUMING = 1,
610 RPM_SUSPENDED = 2,
611 RPM_SUSPENDING = 3
612} ;
613#line 480
614enum rpm_request {
615 RPM_REQ_NONE = 0,
616 RPM_REQ_IDLE = 1,
617 RPM_REQ_SUSPEND = 2,
618 RPM_REQ_AUTOSUSPEND = 3,
619 RPM_REQ_RESUME = 4
620} ;
621#line 488
622struct wakeup_source;
623#line 488
624struct wakeup_source;
625#line 495 "include/linux/pm.h"
626struct pm_subsys_data {
627 spinlock_t lock ;
628 unsigned int refcount ;
629};
630#line 506
631struct dev_pm_qos_request;
632#line 506
633struct pm_qos_constraints;
634#line 506 "include/linux/pm.h"
635struct dev_pm_info {
636 pm_message_t power_state ;
637 unsigned int can_wakeup : 1 ;
638 unsigned int async_suspend : 1 ;
639 bool is_prepared : 1 ;
640 bool is_suspended : 1 ;
641 bool ignore_children : 1 ;
642 spinlock_t lock ;
643 struct list_head entry ;
644 struct completion completion ;
645 struct wakeup_source *wakeup ;
646 bool wakeup_path : 1 ;
647 struct timer_list suspend_timer ;
648 unsigned long timer_expires ;
649 struct work_struct work ;
650 wait_queue_head_t wait_queue ;
651 atomic_t usage_count ;
652 atomic_t child_count ;
653 unsigned int disable_depth : 3 ;
654 unsigned int idle_notification : 1 ;
655 unsigned int request_pending : 1 ;
656 unsigned int deferred_resume : 1 ;
657 unsigned int run_wake : 1 ;
658 unsigned int runtime_auto : 1 ;
659 unsigned int no_callbacks : 1 ;
660 unsigned int irq_safe : 1 ;
661 unsigned int use_autosuspend : 1 ;
662 unsigned int timer_autosuspends : 1 ;
663 enum rpm_request request ;
664 enum rpm_status runtime_status ;
665 int runtime_error ;
666 int autosuspend_delay ;
667 unsigned long last_busy ;
668 unsigned long active_jiffies ;
669 unsigned long suspended_jiffies ;
670 unsigned long accounting_timestamp ;
671 ktime_t suspend_time ;
672 s64 max_time_suspended_ns ;
673 struct dev_pm_qos_request *pq_req ;
674 struct pm_subsys_data *subsys_data ;
675 struct pm_qos_constraints *constraints ;
676};
677#line 564 "include/linux/pm.h"
678struct dev_pm_domain {
679 struct dev_pm_ops ops ;
680};
681#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
682struct __anonstruct_mm_context_t_112 {
683 void *ldt ;
684 int size ;
685 unsigned short ia32_compat ;
686 struct mutex lock ;
687 void *vdso ;
688};
689#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
690typedef struct __anonstruct_mm_context_t_112 mm_context_t;
691#line 8 "include/linux/vmalloc.h"
692struct vm_area_struct;
693#line 8
694struct vm_area_struct;
695#line 994 "include/linux/mmzone.h"
696struct page;
697#line 10 "include/linux/gfp.h"
698struct vm_area_struct;
699#line 29 "include/linux/sysctl.h"
700struct completion;
701#line 100 "include/linux/rbtree.h"
702struct rb_node {
703 unsigned long rb_parent_color ;
704 struct rb_node *rb_right ;
705 struct rb_node *rb_left ;
706} __attribute__((__aligned__(sizeof(long )))) ;
707#line 110 "include/linux/rbtree.h"
708struct rb_root {
709 struct rb_node *rb_node ;
710};
711#line 939 "include/linux/sysctl.h"
712struct nsproxy;
713#line 939
714struct nsproxy;
715#line 48 "include/linux/kmod.h"
716struct cred;
717#line 48
718struct cred;
719#line 49
720struct file;
721#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
722struct task_struct;
723#line 18 "include/linux/elf.h"
724typedef __u64 Elf64_Addr;
725#line 19 "include/linux/elf.h"
726typedef __u16 Elf64_Half;
727#line 23 "include/linux/elf.h"
728typedef __u32 Elf64_Word;
729#line 24 "include/linux/elf.h"
730typedef __u64 Elf64_Xword;
731#line 194 "include/linux/elf.h"
732struct elf64_sym {
733 Elf64_Word st_name ;
734 unsigned char st_info ;
735 unsigned char st_other ;
736 Elf64_Half st_shndx ;
737 Elf64_Addr st_value ;
738 Elf64_Xword st_size ;
739};
740#line 194 "include/linux/elf.h"
741typedef struct elf64_sym Elf64_Sym;
742#line 438
743struct file;
744#line 20 "include/linux/kobject_ns.h"
745struct sock;
746#line 20
747struct sock;
748#line 21
749struct kobject;
750#line 21
751struct kobject;
752#line 27
753enum kobj_ns_type {
754 KOBJ_NS_TYPE_NONE = 0,
755 KOBJ_NS_TYPE_NET = 1,
756 KOBJ_NS_TYPES = 2
757} ;
758#line 40 "include/linux/kobject_ns.h"
759struct kobj_ns_type_operations {
760 enum kobj_ns_type type ;
761 void *(*grab_current_ns)(void) ;
762 void const *(*netlink_ns)(struct sock *sk ) ;
763 void const *(*initial_ns)(void) ;
764 void (*drop_ns)(void * ) ;
765};
766#line 22 "include/linux/sysfs.h"
767struct kobject;
768#line 23
769struct module;
770#line 24
771enum kobj_ns_type;
772#line 26 "include/linux/sysfs.h"
773struct attribute {
774 char const *name ;
775 umode_t mode ;
776};
777#line 56 "include/linux/sysfs.h"
778struct attribute_group {
779 char const *name ;
780 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
781 struct attribute **attrs ;
782};
783#line 85
784struct file;
785#line 86
786struct vm_area_struct;
787#line 88 "include/linux/sysfs.h"
788struct bin_attribute {
789 struct attribute attr ;
790 size_t size ;
791 void *private ;
792 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
793 loff_t , size_t ) ;
794 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
795 loff_t , size_t ) ;
796 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
797};
798#line 112 "include/linux/sysfs.h"
799struct sysfs_ops {
800 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
801 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
802 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
803};
804#line 118
805struct sysfs_dirent;
806#line 118
807struct sysfs_dirent;
808#line 22 "include/linux/kref.h"
809struct kref {
810 atomic_t refcount ;
811};
812#line 60 "include/linux/kobject.h"
813struct kset;
814#line 60
815struct kobj_type;
816#line 60 "include/linux/kobject.h"
817struct kobject {
818 char const *name ;
819 struct list_head entry ;
820 struct kobject *parent ;
821 struct kset *kset ;
822 struct kobj_type *ktype ;
823 struct sysfs_dirent *sd ;
824 struct kref kref ;
825 unsigned int state_initialized : 1 ;
826 unsigned int state_in_sysfs : 1 ;
827 unsigned int state_add_uevent_sent : 1 ;
828 unsigned int state_remove_uevent_sent : 1 ;
829 unsigned int uevent_suppress : 1 ;
830};
831#line 108 "include/linux/kobject.h"
832struct kobj_type {
833 void (*release)(struct kobject *kobj ) ;
834 struct sysfs_ops const *sysfs_ops ;
835 struct attribute **default_attrs ;
836 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
837 void const *(*namespace)(struct kobject *kobj ) ;
838};
839#line 116 "include/linux/kobject.h"
840struct kobj_uevent_env {
841 char *envp[32] ;
842 int envp_idx ;
843 char buf[2048] ;
844 int buflen ;
845};
846#line 123 "include/linux/kobject.h"
847struct kset_uevent_ops {
848 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
849 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
850 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
851};
852#line 140
853struct sock;
854#line 159 "include/linux/kobject.h"
855struct kset {
856 struct list_head list ;
857 spinlock_t list_lock ;
858 struct kobject kobj ;
859 struct kset_uevent_ops const *uevent_ops ;
860};
861#line 39 "include/linux/moduleparam.h"
862struct kernel_param;
863#line 39
864struct kernel_param;
865#line 41 "include/linux/moduleparam.h"
866struct kernel_param_ops {
867 int (*set)(char const *val , struct kernel_param const *kp ) ;
868 int (*get)(char *buffer , struct kernel_param const *kp ) ;
869 void (*free)(void *arg ) ;
870};
871#line 50
872struct kparam_string;
873#line 50
874struct kparam_array;
875#line 50 "include/linux/moduleparam.h"
876union __anonunion____missing_field_name_199 {
877 void *arg ;
878 struct kparam_string const *str ;
879 struct kparam_array const *arr ;
880};
881#line 50 "include/linux/moduleparam.h"
882struct kernel_param {
883 char const *name ;
884 struct kernel_param_ops const *ops ;
885 u16 perm ;
886 s16 level ;
887 union __anonunion____missing_field_name_199 __annonCompField32 ;
888};
889#line 63 "include/linux/moduleparam.h"
890struct kparam_string {
891 unsigned int maxlen ;
892 char *string ;
893};
894#line 69 "include/linux/moduleparam.h"
895struct kparam_array {
896 unsigned int max ;
897 unsigned int elemsize ;
898 unsigned int *num ;
899 struct kernel_param_ops const *ops ;
900 void *elem ;
901};
902#line 445
903struct module;
904#line 80 "include/linux/jump_label.h"
905struct module;
906#line 143 "include/linux/jump_label.h"
907struct static_key {
908 atomic_t enabled ;
909};
910#line 22 "include/linux/tracepoint.h"
911struct module;
912#line 23
913struct tracepoint;
914#line 23
915struct tracepoint;
916#line 25 "include/linux/tracepoint.h"
917struct tracepoint_func {
918 void *func ;
919 void *data ;
920};
921#line 30 "include/linux/tracepoint.h"
922struct tracepoint {
923 char const *name ;
924 struct static_key key ;
925 void (*regfunc)(void) ;
926 void (*unregfunc)(void) ;
927 struct tracepoint_func *funcs ;
928};
929#line 19 "include/linux/export.h"
930struct kernel_symbol {
931 unsigned long value ;
932 char const *name ;
933};
934#line 8 "include/asm-generic/module.h"
935struct mod_arch_specific {
936
937};
938#line 35 "include/linux/module.h"
939struct module;
940#line 37
941struct module_param_attrs;
942#line 37 "include/linux/module.h"
943struct module_kobject {
944 struct kobject kobj ;
945 struct module *mod ;
946 struct kobject *drivers_dir ;
947 struct module_param_attrs *mp ;
948};
949#line 44 "include/linux/module.h"
950struct module_attribute {
951 struct attribute attr ;
952 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
953 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
954 size_t count ) ;
955 void (*setup)(struct module * , char const * ) ;
956 int (*test)(struct module * ) ;
957 void (*free)(struct module * ) ;
958};
959#line 71
960struct exception_table_entry;
961#line 71
962struct exception_table_entry;
963#line 199
964enum module_state {
965 MODULE_STATE_LIVE = 0,
966 MODULE_STATE_COMING = 1,
967 MODULE_STATE_GOING = 2
968} ;
969#line 215 "include/linux/module.h"
970struct module_ref {
971 unsigned long incs ;
972 unsigned long decs ;
973} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
974#line 220
975struct module_sect_attrs;
976#line 220
977struct module_notes_attrs;
978#line 220
979struct ftrace_event_call;
980#line 220 "include/linux/module.h"
981struct module {
982 enum module_state state ;
983 struct list_head list ;
984 char name[64UL - sizeof(unsigned long )] ;
985 struct module_kobject mkobj ;
986 struct module_attribute *modinfo_attrs ;
987 char const *version ;
988 char const *srcversion ;
989 struct kobject *holders_dir ;
990 struct kernel_symbol const *syms ;
991 unsigned long const *crcs ;
992 unsigned int num_syms ;
993 struct kernel_param *kp ;
994 unsigned int num_kp ;
995 unsigned int num_gpl_syms ;
996 struct kernel_symbol const *gpl_syms ;
997 unsigned long const *gpl_crcs ;
998 struct kernel_symbol const *unused_syms ;
999 unsigned long const *unused_crcs ;
1000 unsigned int num_unused_syms ;
1001 unsigned int num_unused_gpl_syms ;
1002 struct kernel_symbol const *unused_gpl_syms ;
1003 unsigned long const *unused_gpl_crcs ;
1004 struct kernel_symbol const *gpl_future_syms ;
1005 unsigned long const *gpl_future_crcs ;
1006 unsigned int num_gpl_future_syms ;
1007 unsigned int num_exentries ;
1008 struct exception_table_entry *extable ;
1009 int (*init)(void) ;
1010 void *module_init ;
1011 void *module_core ;
1012 unsigned int init_size ;
1013 unsigned int core_size ;
1014 unsigned int init_text_size ;
1015 unsigned int core_text_size ;
1016 unsigned int init_ro_size ;
1017 unsigned int core_ro_size ;
1018 struct mod_arch_specific arch ;
1019 unsigned int taints ;
1020 unsigned int num_bugs ;
1021 struct list_head bug_list ;
1022 struct bug_entry *bug_table ;
1023 Elf64_Sym *symtab ;
1024 Elf64_Sym *core_symtab ;
1025 unsigned int num_symtab ;
1026 unsigned int core_num_syms ;
1027 char *strtab ;
1028 char *core_strtab ;
1029 struct module_sect_attrs *sect_attrs ;
1030 struct module_notes_attrs *notes_attrs ;
1031 char *args ;
1032 void *percpu ;
1033 unsigned int percpu_size ;
1034 unsigned int num_tracepoints ;
1035 struct tracepoint * const *tracepoints_ptrs ;
1036 unsigned int num_trace_bprintk_fmt ;
1037 char const **trace_bprintk_fmt_start ;
1038 struct ftrace_event_call **trace_events ;
1039 unsigned int num_trace_events ;
1040 struct list_head source_list ;
1041 struct list_head target_list ;
1042 struct task_struct *waiter ;
1043 void (*exit)(void) ;
1044 struct module_ref *refptr ;
1045 ctor_fn_t *ctors ;
1046 unsigned int num_ctors ;
1047};
1048#line 19 "include/linux/klist.h"
1049struct klist_node;
1050#line 19
1051struct klist_node;
1052#line 39 "include/linux/klist.h"
1053struct klist_node {
1054 void *n_klist ;
1055 struct list_head n_node ;
1056 struct kref n_ref ;
1057};
1058#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1059struct dma_map_ops;
1060#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1061struct dev_archdata {
1062 void *acpi_handle ;
1063 struct dma_map_ops *dma_ops ;
1064 void *iommu ;
1065};
1066#line 28 "include/linux/device.h"
1067struct device;
1068#line 29
1069struct device_private;
1070#line 29
1071struct device_private;
1072#line 30
1073struct device_driver;
1074#line 30
1075struct device_driver;
1076#line 31
1077struct driver_private;
1078#line 31
1079struct driver_private;
1080#line 32
1081struct module;
1082#line 33
1083struct class;
1084#line 33
1085struct class;
1086#line 34
1087struct subsys_private;
1088#line 34
1089struct subsys_private;
1090#line 35
1091struct bus_type;
1092#line 35
1093struct bus_type;
1094#line 36
1095struct device_node;
1096#line 36
1097struct device_node;
1098#line 37
1099struct iommu_ops;
1100#line 37
1101struct iommu_ops;
1102#line 39 "include/linux/device.h"
1103struct bus_attribute {
1104 struct attribute attr ;
1105 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1106 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1107};
1108#line 89
1109struct device_attribute;
1110#line 89
1111struct driver_attribute;
1112#line 89 "include/linux/device.h"
1113struct bus_type {
1114 char const *name ;
1115 char const *dev_name ;
1116 struct device *dev_root ;
1117 struct bus_attribute *bus_attrs ;
1118 struct device_attribute *dev_attrs ;
1119 struct driver_attribute *drv_attrs ;
1120 int (*match)(struct device *dev , struct device_driver *drv ) ;
1121 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1122 int (*probe)(struct device *dev ) ;
1123 int (*remove)(struct device *dev ) ;
1124 void (*shutdown)(struct device *dev ) ;
1125 int (*suspend)(struct device *dev , pm_message_t state ) ;
1126 int (*resume)(struct device *dev ) ;
1127 struct dev_pm_ops const *pm ;
1128 struct iommu_ops *iommu_ops ;
1129 struct subsys_private *p ;
1130};
1131#line 127
1132struct device_type;
1133#line 214
1134struct of_device_id;
1135#line 214 "include/linux/device.h"
1136struct device_driver {
1137 char const *name ;
1138 struct bus_type *bus ;
1139 struct module *owner ;
1140 char const *mod_name ;
1141 bool suppress_bind_attrs ;
1142 struct of_device_id const *of_match_table ;
1143 int (*probe)(struct device *dev ) ;
1144 int (*remove)(struct device *dev ) ;
1145 void (*shutdown)(struct device *dev ) ;
1146 int (*suspend)(struct device *dev , pm_message_t state ) ;
1147 int (*resume)(struct device *dev ) ;
1148 struct attribute_group const **groups ;
1149 struct dev_pm_ops const *pm ;
1150 struct driver_private *p ;
1151};
1152#line 249 "include/linux/device.h"
1153struct driver_attribute {
1154 struct attribute attr ;
1155 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1156 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1157};
1158#line 330
1159struct class_attribute;
1160#line 330 "include/linux/device.h"
1161struct class {
1162 char const *name ;
1163 struct module *owner ;
1164 struct class_attribute *class_attrs ;
1165 struct device_attribute *dev_attrs ;
1166 struct bin_attribute *dev_bin_attrs ;
1167 struct kobject *dev_kobj ;
1168 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1169 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1170 void (*class_release)(struct class *class ) ;
1171 void (*dev_release)(struct device *dev ) ;
1172 int (*suspend)(struct device *dev , pm_message_t state ) ;
1173 int (*resume)(struct device *dev ) ;
1174 struct kobj_ns_type_operations const *ns_type ;
1175 void const *(*namespace)(struct device *dev ) ;
1176 struct dev_pm_ops const *pm ;
1177 struct subsys_private *p ;
1178};
1179#line 397 "include/linux/device.h"
1180struct class_attribute {
1181 struct attribute attr ;
1182 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1183 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1184 size_t count ) ;
1185 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1186};
1187#line 465 "include/linux/device.h"
1188struct device_type {
1189 char const *name ;
1190 struct attribute_group const **groups ;
1191 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1192 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1193 void (*release)(struct device *dev ) ;
1194 struct dev_pm_ops const *pm ;
1195};
1196#line 476 "include/linux/device.h"
1197struct device_attribute {
1198 struct attribute attr ;
1199 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1200 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1201 size_t count ) ;
1202};
1203#line 559 "include/linux/device.h"
1204struct device_dma_parameters {
1205 unsigned int max_segment_size ;
1206 unsigned long segment_boundary_mask ;
1207};
1208#line 627
1209struct dma_coherent_mem;
1210#line 627 "include/linux/device.h"
1211struct device {
1212 struct device *parent ;
1213 struct device_private *p ;
1214 struct kobject kobj ;
1215 char const *init_name ;
1216 struct device_type const *type ;
1217 struct mutex mutex ;
1218 struct bus_type *bus ;
1219 struct device_driver *driver ;
1220 void *platform_data ;
1221 struct dev_pm_info power ;
1222 struct dev_pm_domain *pm_domain ;
1223 int numa_node ;
1224 u64 *dma_mask ;
1225 u64 coherent_dma_mask ;
1226 struct device_dma_parameters *dma_parms ;
1227 struct list_head dma_pools ;
1228 struct dma_coherent_mem *dma_mem ;
1229 struct dev_archdata archdata ;
1230 struct device_node *of_node ;
1231 dev_t devt ;
1232 u32 id ;
1233 spinlock_t devres_lock ;
1234 struct list_head devres_head ;
1235 struct klist_node knode_class ;
1236 struct class *class ;
1237 struct attribute_group const **groups ;
1238 void (*release)(struct device *dev ) ;
1239};
1240#line 43 "include/linux/pm_wakeup.h"
1241struct wakeup_source {
1242 char const *name ;
1243 struct list_head entry ;
1244 spinlock_t lock ;
1245 struct timer_list timer ;
1246 unsigned long timer_expires ;
1247 ktime_t total_time ;
1248 ktime_t max_time ;
1249 ktime_t last_time ;
1250 unsigned long event_count ;
1251 unsigned long active_count ;
1252 unsigned long relax_count ;
1253 unsigned long hit_count ;
1254 unsigned int active : 1 ;
1255};
1256#line 12 "include/linux/mod_devicetable.h"
1257typedef unsigned long kernel_ulong_t;
1258#line 219 "include/linux/mod_devicetable.h"
1259struct of_device_id {
1260 char name[32] ;
1261 char type[32] ;
1262 char compatible[128] ;
1263 void *data ;
1264};
1265#line 442 "include/linux/mod_devicetable.h"
1266struct spi_device_id {
1267 char name[32] ;
1268 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1269};
1270#line 46 "include/linux/slub_def.h"
1271struct kmem_cache_cpu {
1272 void **freelist ;
1273 unsigned long tid ;
1274 struct page *page ;
1275 struct page *partial ;
1276 int node ;
1277 unsigned int stat[26] ;
1278};
1279#line 57 "include/linux/slub_def.h"
1280struct kmem_cache_node {
1281 spinlock_t list_lock ;
1282 unsigned long nr_partial ;
1283 struct list_head partial ;
1284 atomic_long_t nr_slabs ;
1285 atomic_long_t total_objects ;
1286 struct list_head full ;
1287};
1288#line 73 "include/linux/slub_def.h"
1289struct kmem_cache_order_objects {
1290 unsigned long x ;
1291};
1292#line 80 "include/linux/slub_def.h"
1293struct kmem_cache {
1294 struct kmem_cache_cpu *cpu_slab ;
1295 unsigned long flags ;
1296 unsigned long min_partial ;
1297 int size ;
1298 int objsize ;
1299 int offset ;
1300 int cpu_partial ;
1301 struct kmem_cache_order_objects oo ;
1302 struct kmem_cache_order_objects max ;
1303 struct kmem_cache_order_objects min ;
1304 gfp_t allocflags ;
1305 int refcount ;
1306 void (*ctor)(void * ) ;
1307 int inuse ;
1308 int align ;
1309 int reserved ;
1310 char const *name ;
1311 struct list_head list ;
1312 struct kobject kobj ;
1313 int remote_node_defrag_ratio ;
1314 struct kmem_cache_node *node[1 << 10] ;
1315};
1316#line 18 "include/linux/capability.h"
1317struct task_struct;
1318#line 94 "include/linux/capability.h"
1319struct kernel_cap_struct {
1320 __u32 cap[2] ;
1321};
1322#line 94 "include/linux/capability.h"
1323typedef struct kernel_cap_struct kernel_cap_t;
1324#line 378
1325struct user_namespace;
1326#line 378
1327struct user_namespace;
1328#line 14 "include/linux/prio_tree.h"
1329struct prio_tree_node;
1330#line 14 "include/linux/prio_tree.h"
1331struct raw_prio_tree_node {
1332 struct prio_tree_node *left ;
1333 struct prio_tree_node *right ;
1334 struct prio_tree_node *parent ;
1335};
1336#line 20 "include/linux/prio_tree.h"
1337struct prio_tree_node {
1338 struct prio_tree_node *left ;
1339 struct prio_tree_node *right ;
1340 struct prio_tree_node *parent ;
1341 unsigned long start ;
1342 unsigned long last ;
1343};
1344#line 23 "include/linux/mm_types.h"
1345struct address_space;
1346#line 23
1347struct address_space;
1348#line 40 "include/linux/mm_types.h"
1349union __anonunion____missing_field_name_204 {
1350 unsigned long index ;
1351 void *freelist ;
1352};
1353#line 40 "include/linux/mm_types.h"
1354struct __anonstruct____missing_field_name_208 {
1355 unsigned int inuse : 16 ;
1356 unsigned int objects : 15 ;
1357 unsigned int frozen : 1 ;
1358};
1359#line 40 "include/linux/mm_types.h"
1360union __anonunion____missing_field_name_207 {
1361 atomic_t _mapcount ;
1362 struct __anonstruct____missing_field_name_208 __annonCompField34 ;
1363};
1364#line 40 "include/linux/mm_types.h"
1365struct __anonstruct____missing_field_name_206 {
1366 union __anonunion____missing_field_name_207 __annonCompField35 ;
1367 atomic_t _count ;
1368};
1369#line 40 "include/linux/mm_types.h"
1370union __anonunion____missing_field_name_205 {
1371 unsigned long counters ;
1372 struct __anonstruct____missing_field_name_206 __annonCompField36 ;
1373};
1374#line 40 "include/linux/mm_types.h"
1375struct __anonstruct____missing_field_name_203 {
1376 union __anonunion____missing_field_name_204 __annonCompField33 ;
1377 union __anonunion____missing_field_name_205 __annonCompField37 ;
1378};
1379#line 40 "include/linux/mm_types.h"
1380struct __anonstruct____missing_field_name_210 {
1381 struct page *next ;
1382 int pages ;
1383 int pobjects ;
1384};
1385#line 40 "include/linux/mm_types.h"
1386union __anonunion____missing_field_name_209 {
1387 struct list_head lru ;
1388 struct __anonstruct____missing_field_name_210 __annonCompField39 ;
1389};
1390#line 40 "include/linux/mm_types.h"
1391union __anonunion____missing_field_name_211 {
1392 unsigned long private ;
1393 struct kmem_cache *slab ;
1394 struct page *first_page ;
1395};
1396#line 40 "include/linux/mm_types.h"
1397struct page {
1398 unsigned long flags ;
1399 struct address_space *mapping ;
1400 struct __anonstruct____missing_field_name_203 __annonCompField38 ;
1401 union __anonunion____missing_field_name_209 __annonCompField40 ;
1402 union __anonunion____missing_field_name_211 __annonCompField41 ;
1403 unsigned long debug_flags ;
1404} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1405#line 200 "include/linux/mm_types.h"
1406struct __anonstruct_vm_set_213 {
1407 struct list_head list ;
1408 void *parent ;
1409 struct vm_area_struct *head ;
1410};
1411#line 200 "include/linux/mm_types.h"
1412union __anonunion_shared_212 {
1413 struct __anonstruct_vm_set_213 vm_set ;
1414 struct raw_prio_tree_node prio_tree_node ;
1415};
1416#line 200
1417struct anon_vma;
1418#line 200
1419struct vm_operations_struct;
1420#line 200
1421struct mempolicy;
1422#line 200 "include/linux/mm_types.h"
1423struct vm_area_struct {
1424 struct mm_struct *vm_mm ;
1425 unsigned long vm_start ;
1426 unsigned long vm_end ;
1427 struct vm_area_struct *vm_next ;
1428 struct vm_area_struct *vm_prev ;
1429 pgprot_t vm_page_prot ;
1430 unsigned long vm_flags ;
1431 struct rb_node vm_rb ;
1432 union __anonunion_shared_212 shared ;
1433 struct list_head anon_vma_chain ;
1434 struct anon_vma *anon_vma ;
1435 struct vm_operations_struct const *vm_ops ;
1436 unsigned long vm_pgoff ;
1437 struct file *vm_file ;
1438 void *vm_private_data ;
1439 struct mempolicy *vm_policy ;
1440};
1441#line 257 "include/linux/mm_types.h"
1442struct core_thread {
1443 struct task_struct *task ;
1444 struct core_thread *next ;
1445};
1446#line 262 "include/linux/mm_types.h"
1447struct core_state {
1448 atomic_t nr_threads ;
1449 struct core_thread dumper ;
1450 struct completion startup ;
1451};
1452#line 284 "include/linux/mm_types.h"
1453struct mm_rss_stat {
1454 atomic_long_t count[3] ;
1455};
1456#line 288
1457struct linux_binfmt;
1458#line 288
1459struct mmu_notifier_mm;
1460#line 288 "include/linux/mm_types.h"
1461struct mm_struct {
1462 struct vm_area_struct *mmap ;
1463 struct rb_root mm_rb ;
1464 struct vm_area_struct *mmap_cache ;
1465 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1466 unsigned long pgoff , unsigned long flags ) ;
1467 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1468 unsigned long mmap_base ;
1469 unsigned long task_size ;
1470 unsigned long cached_hole_size ;
1471 unsigned long free_area_cache ;
1472 pgd_t *pgd ;
1473 atomic_t mm_users ;
1474 atomic_t mm_count ;
1475 int map_count ;
1476 spinlock_t page_table_lock ;
1477 struct rw_semaphore mmap_sem ;
1478 struct list_head mmlist ;
1479 unsigned long hiwater_rss ;
1480 unsigned long hiwater_vm ;
1481 unsigned long total_vm ;
1482 unsigned long locked_vm ;
1483 unsigned long pinned_vm ;
1484 unsigned long shared_vm ;
1485 unsigned long exec_vm ;
1486 unsigned long stack_vm ;
1487 unsigned long reserved_vm ;
1488 unsigned long def_flags ;
1489 unsigned long nr_ptes ;
1490 unsigned long start_code ;
1491 unsigned long end_code ;
1492 unsigned long start_data ;
1493 unsigned long end_data ;
1494 unsigned long start_brk ;
1495 unsigned long brk ;
1496 unsigned long start_stack ;
1497 unsigned long arg_start ;
1498 unsigned long arg_end ;
1499 unsigned long env_start ;
1500 unsigned long env_end ;
1501 unsigned long saved_auxv[44] ;
1502 struct mm_rss_stat rss_stat ;
1503 struct linux_binfmt *binfmt ;
1504 cpumask_var_t cpu_vm_mask_var ;
1505 mm_context_t context ;
1506 unsigned int faultstamp ;
1507 unsigned int token_priority ;
1508 unsigned int last_interval ;
1509 unsigned long flags ;
1510 struct core_state *core_state ;
1511 spinlock_t ioctx_lock ;
1512 struct hlist_head ioctx_list ;
1513 struct task_struct *owner ;
1514 struct file *exe_file ;
1515 unsigned long num_exe_file_vmas ;
1516 struct mmu_notifier_mm *mmu_notifier_mm ;
1517 pgtable_t pmd_huge_pte ;
1518 struct cpumask cpumask_allocation ;
1519};
1520#line 7 "include/asm-generic/cputime.h"
1521typedef unsigned long cputime_t;
1522#line 84 "include/linux/sem.h"
1523struct task_struct;
1524#line 101
1525struct sem_undo_list;
1526#line 101 "include/linux/sem.h"
1527struct sysv_sem {
1528 struct sem_undo_list *undo_list ;
1529};
1530#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1531struct siginfo;
1532#line 10
1533struct siginfo;
1534#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1535struct __anonstruct_sigset_t_215 {
1536 unsigned long sig[1] ;
1537};
1538#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1539typedef struct __anonstruct_sigset_t_215 sigset_t;
1540#line 17 "include/asm-generic/signal-defs.h"
1541typedef void __signalfn_t(int );
1542#line 18 "include/asm-generic/signal-defs.h"
1543typedef __signalfn_t *__sighandler_t;
1544#line 20 "include/asm-generic/signal-defs.h"
1545typedef void __restorefn_t(void);
1546#line 21 "include/asm-generic/signal-defs.h"
1547typedef __restorefn_t *__sigrestore_t;
1548#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1549struct sigaction {
1550 __sighandler_t sa_handler ;
1551 unsigned long sa_flags ;
1552 __sigrestore_t sa_restorer ;
1553 sigset_t sa_mask ;
1554};
1555#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1556struct k_sigaction {
1557 struct sigaction sa ;
1558};
1559#line 7 "include/asm-generic/siginfo.h"
1560union sigval {
1561 int sival_int ;
1562 void *sival_ptr ;
1563};
1564#line 7 "include/asm-generic/siginfo.h"
1565typedef union sigval sigval_t;
1566#line 48 "include/asm-generic/siginfo.h"
1567struct __anonstruct__kill_217 {
1568 __kernel_pid_t _pid ;
1569 __kernel_uid32_t _uid ;
1570};
1571#line 48 "include/asm-generic/siginfo.h"
1572struct __anonstruct__timer_218 {
1573 __kernel_timer_t _tid ;
1574 int _overrun ;
1575 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1576 sigval_t _sigval ;
1577 int _sys_private ;
1578};
1579#line 48 "include/asm-generic/siginfo.h"
1580struct __anonstruct__rt_219 {
1581 __kernel_pid_t _pid ;
1582 __kernel_uid32_t _uid ;
1583 sigval_t _sigval ;
1584};
1585#line 48 "include/asm-generic/siginfo.h"
1586struct __anonstruct__sigchld_220 {
1587 __kernel_pid_t _pid ;
1588 __kernel_uid32_t _uid ;
1589 int _status ;
1590 __kernel_clock_t _utime ;
1591 __kernel_clock_t _stime ;
1592};
1593#line 48 "include/asm-generic/siginfo.h"
1594struct __anonstruct__sigfault_221 {
1595 void *_addr ;
1596 short _addr_lsb ;
1597};
1598#line 48 "include/asm-generic/siginfo.h"
1599struct __anonstruct__sigpoll_222 {
1600 long _band ;
1601 int _fd ;
1602};
1603#line 48 "include/asm-generic/siginfo.h"
1604union __anonunion__sifields_216 {
1605 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1606 struct __anonstruct__kill_217 _kill ;
1607 struct __anonstruct__timer_218 _timer ;
1608 struct __anonstruct__rt_219 _rt ;
1609 struct __anonstruct__sigchld_220 _sigchld ;
1610 struct __anonstruct__sigfault_221 _sigfault ;
1611 struct __anonstruct__sigpoll_222 _sigpoll ;
1612};
1613#line 48 "include/asm-generic/siginfo.h"
1614struct siginfo {
1615 int si_signo ;
1616 int si_errno ;
1617 int si_code ;
1618 union __anonunion__sifields_216 _sifields ;
1619};
1620#line 48 "include/asm-generic/siginfo.h"
1621typedef struct siginfo siginfo_t;
1622#line 288
1623struct siginfo;
1624#line 10 "include/linux/signal.h"
1625struct task_struct;
1626#line 18
1627struct user_struct;
1628#line 28 "include/linux/signal.h"
1629struct sigpending {
1630 struct list_head list ;
1631 sigset_t signal ;
1632};
1633#line 239
1634struct timespec;
1635#line 240
1636struct pt_regs;
1637#line 50 "include/linux/pid.h"
1638struct pid_namespace;
1639#line 50 "include/linux/pid.h"
1640struct upid {
1641 int nr ;
1642 struct pid_namespace *ns ;
1643 struct hlist_node pid_chain ;
1644};
1645#line 57 "include/linux/pid.h"
1646struct pid {
1647 atomic_t count ;
1648 unsigned int level ;
1649 struct hlist_head tasks[3] ;
1650 struct rcu_head rcu ;
1651 struct upid numbers[1] ;
1652};
1653#line 69 "include/linux/pid.h"
1654struct pid_link {
1655 struct hlist_node node ;
1656 struct pid *pid ;
1657};
1658#line 100
1659struct pid_namespace;
1660#line 10 "include/linux/seccomp.h"
1661struct __anonstruct_seccomp_t_225 {
1662 int mode ;
1663};
1664#line 10 "include/linux/seccomp.h"
1665typedef struct __anonstruct_seccomp_t_225 seccomp_t;
1666#line 81 "include/linux/plist.h"
1667struct plist_head {
1668 struct list_head node_list ;
1669};
1670#line 85 "include/linux/plist.h"
1671struct plist_node {
1672 int prio ;
1673 struct list_head prio_list ;
1674 struct list_head node_list ;
1675};
1676#line 40 "include/linux/rtmutex.h"
1677struct rt_mutex_waiter;
1678#line 40
1679struct rt_mutex_waiter;
1680#line 42 "include/linux/resource.h"
1681struct rlimit {
1682 unsigned long rlim_cur ;
1683 unsigned long rlim_max ;
1684};
1685#line 81
1686struct task_struct;
1687#line 8 "include/linux/timerqueue.h"
1688struct timerqueue_node {
1689 struct rb_node node ;
1690 ktime_t expires ;
1691};
1692#line 13 "include/linux/timerqueue.h"
1693struct timerqueue_head {
1694 struct rb_root head ;
1695 struct timerqueue_node *next ;
1696};
1697#line 27 "include/linux/hrtimer.h"
1698struct hrtimer_clock_base;
1699#line 27
1700struct hrtimer_clock_base;
1701#line 28
1702struct hrtimer_cpu_base;
1703#line 28
1704struct hrtimer_cpu_base;
1705#line 44
1706enum hrtimer_restart {
1707 HRTIMER_NORESTART = 0,
1708 HRTIMER_RESTART = 1
1709} ;
1710#line 108 "include/linux/hrtimer.h"
1711struct hrtimer {
1712 struct timerqueue_node node ;
1713 ktime_t _softexpires ;
1714 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1715 struct hrtimer_clock_base *base ;
1716 unsigned long state ;
1717 int start_pid ;
1718 void *start_site ;
1719 char start_comm[16] ;
1720};
1721#line 145 "include/linux/hrtimer.h"
1722struct hrtimer_clock_base {
1723 struct hrtimer_cpu_base *cpu_base ;
1724 int index ;
1725 clockid_t clockid ;
1726 struct timerqueue_head active ;
1727 ktime_t resolution ;
1728 ktime_t (*get_time)(void) ;
1729 ktime_t softirq_time ;
1730 ktime_t offset ;
1731};
1732#line 178 "include/linux/hrtimer.h"
1733struct hrtimer_cpu_base {
1734 raw_spinlock_t lock ;
1735 unsigned long active_bases ;
1736 ktime_t expires_next ;
1737 int hres_active ;
1738 int hang_detected ;
1739 unsigned long nr_events ;
1740 unsigned long nr_retries ;
1741 unsigned long nr_hangs ;
1742 ktime_t max_hang_time ;
1743 struct hrtimer_clock_base clock_base[3] ;
1744};
1745#line 11 "include/linux/task_io_accounting.h"
1746struct task_io_accounting {
1747 u64 rchar ;
1748 u64 wchar ;
1749 u64 syscr ;
1750 u64 syscw ;
1751 u64 read_bytes ;
1752 u64 write_bytes ;
1753 u64 cancelled_write_bytes ;
1754};
1755#line 13 "include/linux/latencytop.h"
1756struct task_struct;
1757#line 20 "include/linux/latencytop.h"
1758struct latency_record {
1759 unsigned long backtrace[12] ;
1760 unsigned int count ;
1761 unsigned long time ;
1762 unsigned long max ;
1763};
1764#line 29 "include/linux/key.h"
1765typedef int32_t key_serial_t;
1766#line 32 "include/linux/key.h"
1767typedef uint32_t key_perm_t;
1768#line 34
1769struct key;
1770#line 34
1771struct key;
1772#line 75
1773struct user_struct;
1774#line 76
1775struct signal_struct;
1776#line 76
1777struct signal_struct;
1778#line 77
1779struct cred;
1780#line 79
1781struct key_type;
1782#line 79
1783struct key_type;
1784#line 81
1785struct keyring_list;
1786#line 81
1787struct keyring_list;
1788#line 124
1789struct key_user;
1790#line 124 "include/linux/key.h"
1791union __anonunion____missing_field_name_226 {
1792 time_t expiry ;
1793 time_t revoked_at ;
1794};
1795#line 124 "include/linux/key.h"
1796union __anonunion_type_data_227 {
1797 struct list_head link ;
1798 unsigned long x[2] ;
1799 void *p[2] ;
1800 int reject_error ;
1801};
1802#line 124 "include/linux/key.h"
1803union __anonunion_payload_228 {
1804 unsigned long value ;
1805 void *rcudata ;
1806 void *data ;
1807 struct keyring_list *subscriptions ;
1808};
1809#line 124 "include/linux/key.h"
1810struct key {
1811 atomic_t usage ;
1812 key_serial_t serial ;
1813 struct rb_node serial_node ;
1814 struct key_type *type ;
1815 struct rw_semaphore sem ;
1816 struct key_user *user ;
1817 void *security ;
1818 union __anonunion____missing_field_name_226 __annonCompField42 ;
1819 uid_t uid ;
1820 gid_t gid ;
1821 key_perm_t perm ;
1822 unsigned short quotalen ;
1823 unsigned short datalen ;
1824 unsigned long flags ;
1825 char *description ;
1826 union __anonunion_type_data_227 type_data ;
1827 union __anonunion_payload_228 payload ;
1828};
1829#line 18 "include/linux/selinux.h"
1830struct audit_context;
1831#line 18
1832struct audit_context;
1833#line 21 "include/linux/cred.h"
1834struct user_struct;
1835#line 22
1836struct cred;
1837#line 31 "include/linux/cred.h"
1838struct group_info {
1839 atomic_t usage ;
1840 int ngroups ;
1841 int nblocks ;
1842 gid_t small_block[32] ;
1843 gid_t *blocks[0] ;
1844};
1845#line 83 "include/linux/cred.h"
1846struct thread_group_cred {
1847 atomic_t usage ;
1848 pid_t tgid ;
1849 spinlock_t lock ;
1850 struct key *session_keyring ;
1851 struct key *process_keyring ;
1852 struct rcu_head rcu ;
1853};
1854#line 116 "include/linux/cred.h"
1855struct cred {
1856 atomic_t usage ;
1857 atomic_t subscribers ;
1858 void *put_addr ;
1859 unsigned int magic ;
1860 uid_t uid ;
1861 gid_t gid ;
1862 uid_t suid ;
1863 gid_t sgid ;
1864 uid_t euid ;
1865 gid_t egid ;
1866 uid_t fsuid ;
1867 gid_t fsgid ;
1868 unsigned int securebits ;
1869 kernel_cap_t cap_inheritable ;
1870 kernel_cap_t cap_permitted ;
1871 kernel_cap_t cap_effective ;
1872 kernel_cap_t cap_bset ;
1873 unsigned char jit_keyring ;
1874 struct key *thread_keyring ;
1875 struct key *request_key_auth ;
1876 struct thread_group_cred *tgcred ;
1877 void *security ;
1878 struct user_struct *user ;
1879 struct user_namespace *user_ns ;
1880 struct group_info *group_info ;
1881 struct rcu_head rcu ;
1882};
1883#line 61 "include/linux/llist.h"
1884struct llist_node;
1885#line 65 "include/linux/llist.h"
1886struct llist_node {
1887 struct llist_node *next ;
1888};
1889#line 97 "include/linux/sched.h"
1890struct futex_pi_state;
1891#line 97
1892struct futex_pi_state;
1893#line 98
1894struct robust_list_head;
1895#line 98
1896struct robust_list_head;
1897#line 99
1898struct bio_list;
1899#line 99
1900struct bio_list;
1901#line 100
1902struct fs_struct;
1903#line 100
1904struct fs_struct;
1905#line 101
1906struct perf_event_context;
1907#line 101
1908struct perf_event_context;
1909#line 102
1910struct blk_plug;
1911#line 102
1912struct blk_plug;
1913#line 151
1914struct cfs_rq;
1915#line 151
1916struct cfs_rq;
1917#line 259
1918struct task_struct;
1919#line 366
1920struct nsproxy;
1921#line 367
1922struct user_namespace;
1923#line 214 "include/linux/aio.h"
1924struct mm_struct;
1925#line 443 "include/linux/sched.h"
1926struct sighand_struct {
1927 atomic_t count ;
1928 struct k_sigaction action[64] ;
1929 spinlock_t siglock ;
1930 wait_queue_head_t signalfd_wqh ;
1931};
1932#line 450 "include/linux/sched.h"
1933struct pacct_struct {
1934 int ac_flag ;
1935 long ac_exitcode ;
1936 unsigned long ac_mem ;
1937 cputime_t ac_utime ;
1938 cputime_t ac_stime ;
1939 unsigned long ac_minflt ;
1940 unsigned long ac_majflt ;
1941};
1942#line 458 "include/linux/sched.h"
1943struct cpu_itimer {
1944 cputime_t expires ;
1945 cputime_t incr ;
1946 u32 error ;
1947 u32 incr_error ;
1948};
1949#line 476 "include/linux/sched.h"
1950struct task_cputime {
1951 cputime_t utime ;
1952 cputime_t stime ;
1953 unsigned long long sum_exec_runtime ;
1954};
1955#line 512 "include/linux/sched.h"
1956struct thread_group_cputimer {
1957 struct task_cputime cputime ;
1958 int running ;
1959 raw_spinlock_t lock ;
1960};
1961#line 519
1962struct autogroup;
1963#line 519
1964struct autogroup;
1965#line 528
1966struct tty_struct;
1967#line 528
1968struct taskstats;
1969#line 528
1970struct tty_audit_buf;
1971#line 528 "include/linux/sched.h"
1972struct signal_struct {
1973 atomic_t sigcnt ;
1974 atomic_t live ;
1975 int nr_threads ;
1976 wait_queue_head_t wait_chldexit ;
1977 struct task_struct *curr_target ;
1978 struct sigpending shared_pending ;
1979 int group_exit_code ;
1980 int notify_count ;
1981 struct task_struct *group_exit_task ;
1982 int group_stop_count ;
1983 unsigned int flags ;
1984 unsigned int is_child_subreaper : 1 ;
1985 unsigned int has_child_subreaper : 1 ;
1986 struct list_head posix_timers ;
1987 struct hrtimer real_timer ;
1988 struct pid *leader_pid ;
1989 ktime_t it_real_incr ;
1990 struct cpu_itimer it[2] ;
1991 struct thread_group_cputimer cputimer ;
1992 struct task_cputime cputime_expires ;
1993 struct list_head cpu_timers[3] ;
1994 struct pid *tty_old_pgrp ;
1995 int leader ;
1996 struct tty_struct *tty ;
1997 struct autogroup *autogroup ;
1998 cputime_t utime ;
1999 cputime_t stime ;
2000 cputime_t cutime ;
2001 cputime_t cstime ;
2002 cputime_t gtime ;
2003 cputime_t cgtime ;
2004 cputime_t prev_utime ;
2005 cputime_t prev_stime ;
2006 unsigned long nvcsw ;
2007 unsigned long nivcsw ;
2008 unsigned long cnvcsw ;
2009 unsigned long cnivcsw ;
2010 unsigned long min_flt ;
2011 unsigned long maj_flt ;
2012 unsigned long cmin_flt ;
2013 unsigned long cmaj_flt ;
2014 unsigned long inblock ;
2015 unsigned long oublock ;
2016 unsigned long cinblock ;
2017 unsigned long coublock ;
2018 unsigned long maxrss ;
2019 unsigned long cmaxrss ;
2020 struct task_io_accounting ioac ;
2021 unsigned long long sum_sched_runtime ;
2022 struct rlimit rlim[16] ;
2023 struct pacct_struct pacct ;
2024 struct taskstats *stats ;
2025 unsigned int audit_tty ;
2026 struct tty_audit_buf *tty_audit_buf ;
2027 struct rw_semaphore group_rwsem ;
2028 int oom_adj ;
2029 int oom_score_adj ;
2030 int oom_score_adj_min ;
2031 struct mutex cred_guard_mutex ;
2032};
2033#line 703 "include/linux/sched.h"
2034struct user_struct {
2035 atomic_t __count ;
2036 atomic_t processes ;
2037 atomic_t files ;
2038 atomic_t sigpending ;
2039 atomic_t inotify_watches ;
2040 atomic_t inotify_devs ;
2041 atomic_t fanotify_listeners ;
2042 atomic_long_t epoll_watches ;
2043 unsigned long mq_bytes ;
2044 unsigned long locked_shm ;
2045 struct key *uid_keyring ;
2046 struct key *session_keyring ;
2047 struct hlist_node uidhash_node ;
2048 uid_t uid ;
2049 struct user_namespace *user_ns ;
2050 atomic_long_t locked_vm ;
2051};
2052#line 747
2053struct backing_dev_info;
2054#line 747
2055struct backing_dev_info;
2056#line 748
2057struct reclaim_state;
2058#line 748
2059struct reclaim_state;
2060#line 751 "include/linux/sched.h"
2061struct sched_info {
2062 unsigned long pcount ;
2063 unsigned long long run_delay ;
2064 unsigned long long last_arrival ;
2065 unsigned long long last_queued ;
2066};
2067#line 763 "include/linux/sched.h"
2068struct task_delay_info {
2069 spinlock_t lock ;
2070 unsigned int flags ;
2071 struct timespec blkio_start ;
2072 struct timespec blkio_end ;
2073 u64 blkio_delay ;
2074 u64 swapin_delay ;
2075 u32 blkio_count ;
2076 u32 swapin_count ;
2077 struct timespec freepages_start ;
2078 struct timespec freepages_end ;
2079 u64 freepages_delay ;
2080 u32 freepages_count ;
2081};
2082#line 1088
2083struct io_context;
2084#line 1088
2085struct io_context;
2086#line 1097
2087struct audit_context;
2088#line 1098
2089struct mempolicy;
2090#line 1099
2091struct pipe_inode_info;
2092#line 1099
2093struct pipe_inode_info;
2094#line 1102
2095struct rq;
2096#line 1102
2097struct rq;
2098#line 1122 "include/linux/sched.h"
2099struct sched_class {
2100 struct sched_class const *next ;
2101 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2102 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2103 void (*yield_task)(struct rq *rq ) ;
2104 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2105 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2106 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2107 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2108 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2109 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2110 void (*post_schedule)(struct rq *this_rq ) ;
2111 void (*task_waking)(struct task_struct *task ) ;
2112 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2113 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2114 void (*rq_online)(struct rq *rq ) ;
2115 void (*rq_offline)(struct rq *rq ) ;
2116 void (*set_curr_task)(struct rq *rq ) ;
2117 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2118 void (*task_fork)(struct task_struct *p ) ;
2119 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2120 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2121 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2122 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2123 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2124};
2125#line 1167 "include/linux/sched.h"
2126struct load_weight {
2127 unsigned long weight ;
2128 unsigned long inv_weight ;
2129};
2130#line 1172 "include/linux/sched.h"
2131struct sched_statistics {
2132 u64 wait_start ;
2133 u64 wait_max ;
2134 u64 wait_count ;
2135 u64 wait_sum ;
2136 u64 iowait_count ;
2137 u64 iowait_sum ;
2138 u64 sleep_start ;
2139 u64 sleep_max ;
2140 s64 sum_sleep_runtime ;
2141 u64 block_start ;
2142 u64 block_max ;
2143 u64 exec_max ;
2144 u64 slice_max ;
2145 u64 nr_migrations_cold ;
2146 u64 nr_failed_migrations_affine ;
2147 u64 nr_failed_migrations_running ;
2148 u64 nr_failed_migrations_hot ;
2149 u64 nr_forced_migrations ;
2150 u64 nr_wakeups ;
2151 u64 nr_wakeups_sync ;
2152 u64 nr_wakeups_migrate ;
2153 u64 nr_wakeups_local ;
2154 u64 nr_wakeups_remote ;
2155 u64 nr_wakeups_affine ;
2156 u64 nr_wakeups_affine_attempts ;
2157 u64 nr_wakeups_passive ;
2158 u64 nr_wakeups_idle ;
2159};
2160#line 1207 "include/linux/sched.h"
2161struct sched_entity {
2162 struct load_weight load ;
2163 struct rb_node run_node ;
2164 struct list_head group_node ;
2165 unsigned int on_rq ;
2166 u64 exec_start ;
2167 u64 sum_exec_runtime ;
2168 u64 vruntime ;
2169 u64 prev_sum_exec_runtime ;
2170 u64 nr_migrations ;
2171 struct sched_statistics statistics ;
2172 struct sched_entity *parent ;
2173 struct cfs_rq *cfs_rq ;
2174 struct cfs_rq *my_q ;
2175};
2176#line 1233
2177struct rt_rq;
2178#line 1233 "include/linux/sched.h"
2179struct sched_rt_entity {
2180 struct list_head run_list ;
2181 unsigned long timeout ;
2182 unsigned int time_slice ;
2183 int nr_cpus_allowed ;
2184 struct sched_rt_entity *back ;
2185 struct sched_rt_entity *parent ;
2186 struct rt_rq *rt_rq ;
2187 struct rt_rq *my_q ;
2188};
2189#line 1264
2190struct files_struct;
2191#line 1264
2192struct css_set;
2193#line 1264
2194struct compat_robust_list_head;
2195#line 1264
2196struct mem_cgroup;
2197#line 1264 "include/linux/sched.h"
2198struct memcg_batch_info {
2199 int do_batch ;
2200 struct mem_cgroup *memcg ;
2201 unsigned long nr_pages ;
2202 unsigned long memsw_nr_pages ;
2203};
2204#line 1264 "include/linux/sched.h"
2205struct task_struct {
2206 long volatile state ;
2207 void *stack ;
2208 atomic_t usage ;
2209 unsigned int flags ;
2210 unsigned int ptrace ;
2211 struct llist_node wake_entry ;
2212 int on_cpu ;
2213 int on_rq ;
2214 int prio ;
2215 int static_prio ;
2216 int normal_prio ;
2217 unsigned int rt_priority ;
2218 struct sched_class const *sched_class ;
2219 struct sched_entity se ;
2220 struct sched_rt_entity rt ;
2221 struct hlist_head preempt_notifiers ;
2222 unsigned char fpu_counter ;
2223 unsigned int policy ;
2224 cpumask_t cpus_allowed ;
2225 struct sched_info sched_info ;
2226 struct list_head tasks ;
2227 struct plist_node pushable_tasks ;
2228 struct mm_struct *mm ;
2229 struct mm_struct *active_mm ;
2230 unsigned int brk_randomized : 1 ;
2231 int exit_state ;
2232 int exit_code ;
2233 int exit_signal ;
2234 int pdeath_signal ;
2235 unsigned int jobctl ;
2236 unsigned int personality ;
2237 unsigned int did_exec : 1 ;
2238 unsigned int in_execve : 1 ;
2239 unsigned int in_iowait : 1 ;
2240 unsigned int sched_reset_on_fork : 1 ;
2241 unsigned int sched_contributes_to_load : 1 ;
2242 unsigned int irq_thread : 1 ;
2243 pid_t pid ;
2244 pid_t tgid ;
2245 unsigned long stack_canary ;
2246 struct task_struct *real_parent ;
2247 struct task_struct *parent ;
2248 struct list_head children ;
2249 struct list_head sibling ;
2250 struct task_struct *group_leader ;
2251 struct list_head ptraced ;
2252 struct list_head ptrace_entry ;
2253 struct pid_link pids[3] ;
2254 struct list_head thread_group ;
2255 struct completion *vfork_done ;
2256 int *set_child_tid ;
2257 int *clear_child_tid ;
2258 cputime_t utime ;
2259 cputime_t stime ;
2260 cputime_t utimescaled ;
2261 cputime_t stimescaled ;
2262 cputime_t gtime ;
2263 cputime_t prev_utime ;
2264 cputime_t prev_stime ;
2265 unsigned long nvcsw ;
2266 unsigned long nivcsw ;
2267 struct timespec start_time ;
2268 struct timespec real_start_time ;
2269 unsigned long min_flt ;
2270 unsigned long maj_flt ;
2271 struct task_cputime cputime_expires ;
2272 struct list_head cpu_timers[3] ;
2273 struct cred const *real_cred ;
2274 struct cred const *cred ;
2275 struct cred *replacement_session_keyring ;
2276 char comm[16] ;
2277 int link_count ;
2278 int total_link_count ;
2279 struct sysv_sem sysvsem ;
2280 unsigned long last_switch_count ;
2281 struct thread_struct thread ;
2282 struct fs_struct *fs ;
2283 struct files_struct *files ;
2284 struct nsproxy *nsproxy ;
2285 struct signal_struct *signal ;
2286 struct sighand_struct *sighand ;
2287 sigset_t blocked ;
2288 sigset_t real_blocked ;
2289 sigset_t saved_sigmask ;
2290 struct sigpending pending ;
2291 unsigned long sas_ss_sp ;
2292 size_t sas_ss_size ;
2293 int (*notifier)(void *priv ) ;
2294 void *notifier_data ;
2295 sigset_t *notifier_mask ;
2296 struct audit_context *audit_context ;
2297 uid_t loginuid ;
2298 unsigned int sessionid ;
2299 seccomp_t seccomp ;
2300 u32 parent_exec_id ;
2301 u32 self_exec_id ;
2302 spinlock_t alloc_lock ;
2303 raw_spinlock_t pi_lock ;
2304 struct plist_head pi_waiters ;
2305 struct rt_mutex_waiter *pi_blocked_on ;
2306 struct mutex_waiter *blocked_on ;
2307 unsigned int irq_events ;
2308 unsigned long hardirq_enable_ip ;
2309 unsigned long hardirq_disable_ip ;
2310 unsigned int hardirq_enable_event ;
2311 unsigned int hardirq_disable_event ;
2312 int hardirqs_enabled ;
2313 int hardirq_context ;
2314 unsigned long softirq_disable_ip ;
2315 unsigned long softirq_enable_ip ;
2316 unsigned int softirq_disable_event ;
2317 unsigned int softirq_enable_event ;
2318 int softirqs_enabled ;
2319 int softirq_context ;
2320 void *journal_info ;
2321 struct bio_list *bio_list ;
2322 struct blk_plug *plug ;
2323 struct reclaim_state *reclaim_state ;
2324 struct backing_dev_info *backing_dev_info ;
2325 struct io_context *io_context ;
2326 unsigned long ptrace_message ;
2327 siginfo_t *last_siginfo ;
2328 struct task_io_accounting ioac ;
2329 u64 acct_rss_mem1 ;
2330 u64 acct_vm_mem1 ;
2331 cputime_t acct_timexpd ;
2332 nodemask_t mems_allowed ;
2333 seqcount_t mems_allowed_seq ;
2334 int cpuset_mem_spread_rotor ;
2335 int cpuset_slab_spread_rotor ;
2336 struct css_set *cgroups ;
2337 struct list_head cg_list ;
2338 struct robust_list_head *robust_list ;
2339 struct compat_robust_list_head *compat_robust_list ;
2340 struct list_head pi_state_list ;
2341 struct futex_pi_state *pi_state_cache ;
2342 struct perf_event_context *perf_event_ctxp[2] ;
2343 struct mutex perf_event_mutex ;
2344 struct list_head perf_event_list ;
2345 struct mempolicy *mempolicy ;
2346 short il_next ;
2347 short pref_node_fork ;
2348 struct rcu_head rcu ;
2349 struct pipe_inode_info *splice_pipe ;
2350 struct task_delay_info *delays ;
2351 int make_it_fail ;
2352 int nr_dirtied ;
2353 int nr_dirtied_pause ;
2354 unsigned long dirty_paused_when ;
2355 int latency_record_count ;
2356 struct latency_record latency_record[32] ;
2357 unsigned long timer_slack_ns ;
2358 unsigned long default_timer_slack_ns ;
2359 struct list_head *scm_work_list ;
2360 unsigned long trace ;
2361 unsigned long trace_recursion ;
2362 struct memcg_batch_info memcg_batch ;
2363 atomic_t ptrace_bp_refcnt ;
2364};
2365#line 1681
2366struct pid_namespace;
2367#line 55 "include/linux/kthread.h"
2368struct kthread_work;
2369#line 55
2370struct kthread_work;
2371#line 58 "include/linux/kthread.h"
2372struct kthread_worker {
2373 spinlock_t lock ;
2374 struct list_head work_list ;
2375 struct task_struct *task ;
2376};
2377#line 64 "include/linux/kthread.h"
2378struct kthread_work {
2379 struct list_head node ;
2380 void (*func)(struct kthread_work *work ) ;
2381 wait_queue_head_t done ;
2382 atomic_t flushing ;
2383 int queue_seq ;
2384 int done_seq ;
2385};
2386#line 70 "include/linux/spi/spi.h"
2387struct spi_master;
2388#line 70 "include/linux/spi/spi.h"
2389struct spi_device {
2390 struct device dev ;
2391 struct spi_master *master ;
2392 u32 max_speed_hz ;
2393 u8 chip_select ;
2394 u8 mode ;
2395 u8 bits_per_word ;
2396 int irq ;
2397 void *controller_state ;
2398 void *controller_data ;
2399 char modalias[32] ;
2400};
2401#line 145
2402struct spi_message;
2403#line 145
2404struct spi_message;
2405#line 176 "include/linux/spi/spi.h"
2406struct spi_driver {
2407 struct spi_device_id const *id_table ;
2408 int (*probe)(struct spi_device *spi ) ;
2409 int (*remove)(struct spi_device *spi ) ;
2410 void (*shutdown)(struct spi_device *spi ) ;
2411 int (*suspend)(struct spi_device *spi , pm_message_t mesg ) ;
2412 int (*resume)(struct spi_device *spi ) ;
2413 struct device_driver driver ;
2414};
2415#line 272 "include/linux/spi/spi.h"
2416struct spi_master {
2417 struct device dev ;
2418 struct list_head list ;
2419 s16 bus_num ;
2420 u16 num_chipselect ;
2421 u16 dma_alignment ;
2422 u16 mode_bits ;
2423 u16 flags ;
2424 spinlock_t bus_lock_spinlock ;
2425 struct mutex bus_lock_mutex ;
2426 bool bus_lock_flag ;
2427 int (*setup)(struct spi_device *spi ) ;
2428 int (*transfer)(struct spi_device *spi , struct spi_message *mesg ) ;
2429 void (*cleanup)(struct spi_device *spi ) ;
2430 bool queued ;
2431 struct kthread_worker kworker ;
2432 struct task_struct *kworker_task ;
2433 struct kthread_work pump_messages ;
2434 spinlock_t queue_lock ;
2435 struct list_head queue ;
2436 struct spi_message *cur_msg ;
2437 bool busy ;
2438 bool running ;
2439 bool rt ;
2440 int (*prepare_transfer_hardware)(struct spi_master *master ) ;
2441 int (*transfer_one_message)(struct spi_master *master , struct spi_message *mesg ) ;
2442 int (*unprepare_transfer_hardware)(struct spi_master *master ) ;
2443};
2444#line 492 "include/linux/spi/spi.h"
2445struct spi_transfer {
2446 void const *tx_buf ;
2447 void *rx_buf ;
2448 unsigned int len ;
2449 dma_addr_t tx_dma ;
2450 dma_addr_t rx_dma ;
2451 unsigned int cs_change : 1 ;
2452 u8 bits_per_word ;
2453 u16 delay_usecs ;
2454 u32 speed_hz ;
2455 struct list_head transfer_list ;
2456};
2457#line 541 "include/linux/spi/spi.h"
2458struct spi_message {
2459 struct list_head transfers ;
2460 struct spi_device *spi ;
2461 unsigned int is_dma_mapped : 1 ;
2462 void (*complete)(void *context ) ;
2463 void *context ;
2464 unsigned int actual_length ;
2465 int status ;
2466 struct list_head queue ;
2467 void *state ;
2468};
2469#line 89 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
2470struct ks8995_pdata {
2471
2472};
2473#line 93 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
2474struct ks8995_switch {
2475 struct spi_device *spi ;
2476 struct mutex lock ;
2477 struct ks8995_pdata *pdata ;
2478};
2479#line 336
2480struct ks8995_data;
2481#line 1 "<compiler builtins>"
2482long __builtin_expect(long val , long res ) ;
2483#line 100 "include/linux/printk.h"
2484extern int ( printk)(char const *fmt , ...) ;
2485#line 24 "include/linux/list.h"
2486__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ;
2487#line 24 "include/linux/list.h"
2488__inline static void INIT_LIST_HEAD(struct list_head *list )
2489{ unsigned long __cil_tmp2 ;
2490 unsigned long __cil_tmp3 ;
2491
2492 {
2493#line 26
2494 *((struct list_head **)list) = list;
2495#line 27
2496 __cil_tmp2 = (unsigned long )list;
2497#line 27
2498 __cil_tmp3 = __cil_tmp2 + 8;
2499#line 27
2500 *((struct list_head **)__cil_tmp3) = list;
2501#line 28
2502 return;
2503}
2504}
2505#line 47
2506extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ;
2507#line 74
2508__inline static void list_add_tail(struct list_head *new , struct list_head *head ) __attribute__((__no_instrument_function__)) ;
2509#line 74 "include/linux/list.h"
2510__inline static void list_add_tail(struct list_head *new , struct list_head *head )
2511{ unsigned long __cil_tmp3 ;
2512 unsigned long __cil_tmp4 ;
2513 struct list_head *__cil_tmp5 ;
2514
2515 {
2516 {
2517#line 76
2518 __cil_tmp3 = (unsigned long )head;
2519#line 76
2520 __cil_tmp4 = __cil_tmp3 + 8;
2521#line 76
2522 __cil_tmp5 = *((struct list_head **)__cil_tmp4);
2523#line 76
2524 __list_add(new, __cil_tmp5, head);
2525 }
2526#line 77
2527 return;
2528}
2529}
2530#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
2531extern void *memset(void *s , int c , size_t n ) ;
2532#line 115 "include/linux/mutex.h"
2533extern void __mutex_init(struct mutex *lock , char const *name , struct lock_class_key *key ) ;
2534#line 152
2535void mutex_lock(struct mutex *lock ) ;
2536#line 153
2537int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2538#line 154
2539int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2540#line 168
2541int mutex_trylock(struct mutex *lock ) ;
2542#line 169
2543void mutex_unlock(struct mutex *lock ) ;
2544#line 170
2545int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2546#line 140 "include/linux/sysfs.h"
2547extern int __attribute__((__warn_unused_result__)) sysfs_create_bin_file(struct kobject *kobj ,
2548 struct bin_attribute const *attr ) ;
2549#line 142
2550extern void sysfs_remove_bin_file(struct kobject *kobj , struct bin_attribute const *attr ) ;
2551#line 26 "include/linux/export.h"
2552extern struct module __this_module ;
2553#line 67 "include/linux/module.h"
2554int init_module(void) ;
2555#line 68
2556void cleanup_module(void) ;
2557#line 10 "include/asm-generic/delay.h"
2558extern void __const_udelay(unsigned long xloops ) ;
2559#line 239 "include/linux/device.h"
2560extern void driver_unregister(struct device_driver *drv ) ;
2561#line 792
2562extern void *dev_get_drvdata(struct device const *dev ) ;
2563#line 793
2564extern int dev_set_drvdata(struct device *dev , void *data ) ;
2565#line 855
2566extern struct device *get_device(struct device *dev ) ;
2567#line 891
2568extern int ( dev_err)(struct device const *dev , char const *fmt
2569 , ...) ;
2570#line 897
2571extern int ( _dev_info)(struct device const *dev , char const *fmt
2572 , ...) ;
2573#line 161 "include/linux/slab.h"
2574extern void kfree(void const * ) ;
2575#line 221 "include/linux/slub_def.h"
2576extern void *__kmalloc(size_t size , gfp_t flags ) ;
2577#line 268
2578__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
2579 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
2580#line 268 "include/linux/slub_def.h"
2581__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
2582 gfp_t flags )
2583{ void *tmp___2 ;
2584
2585 {
2586 {
2587#line 283
2588 tmp___2 = __kmalloc(size, flags);
2589 }
2590#line 283
2591 return (tmp___2);
2592}
2593}
2594#line 349 "include/linux/slab.h"
2595__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
2596#line 349 "include/linux/slab.h"
2597__inline static void *kzalloc(size_t size , gfp_t flags )
2598{ void *tmp ;
2599 unsigned int __cil_tmp4 ;
2600
2601 {
2602 {
2603#line 351
2604 __cil_tmp4 = flags | 32768U;
2605#line 351
2606 tmp = kmalloc(size, __cil_tmp4);
2607 }
2608#line 351
2609 return (tmp);
2610}
2611}
2612#line 31 "include/linux/spi/spi.h"
2613extern struct bus_type spi_bus_type ;
2614#line 111
2615__inline static struct spi_device *spi_dev_get(struct spi_device *spi ) __attribute__((__no_instrument_function__)) ;
2616#line 111 "include/linux/spi/spi.h"
2617__inline static struct spi_device *spi_dev_get(struct spi_device *spi )
2618{ struct spi_device *tmp___8 ;
2619 struct device *tmp___9 ;
2620 struct device *__cil_tmp5 ;
2621 void *__cil_tmp6 ;
2622 void *__cil_tmp7 ;
2623
2624 {
2625#line 113
2626 if (spi) {
2627 {
2628#line 113
2629 __cil_tmp5 = (struct device *)spi;
2630#line 113
2631 tmp___9 = get_device(__cil_tmp5);
2632 }
2633#line 113
2634 if (tmp___9) {
2635#line 113
2636 tmp___8 = spi;
2637 } else {
2638#line 113
2639 __cil_tmp6 = (void *)0;
2640#line 113
2641 tmp___8 = (struct spi_device *)__cil_tmp6;
2642 }
2643 } else {
2644#line 113
2645 __cil_tmp7 = (void *)0;
2646#line 113
2647 tmp___8 = (struct spi_device *)__cil_tmp7;
2648 }
2649#line 113
2650 return (tmp___8);
2651}
2652}
2653#line 191
2654extern int spi_register_driver(struct spi_driver *sdrv ) ;
2655#line 198
2656__inline static void spi_unregister_driver(struct spi_driver *sdrv ) __attribute__((__no_instrument_function__)) ;
2657#line 198 "include/linux/spi/spi.h"
2658__inline static void spi_unregister_driver(struct spi_driver *sdrv )
2659{ unsigned long __cil_tmp2 ;
2660 unsigned long __cil_tmp3 ;
2661 struct device_driver *__cil_tmp4 ;
2662
2663 {
2664#line 200
2665 if (sdrv) {
2666 {
2667#line 201
2668 __cil_tmp2 = (unsigned long )sdrv;
2669#line 201
2670 __cil_tmp3 = __cil_tmp2 + 48;
2671#line 201
2672 __cil_tmp4 = (struct device_driver *)__cil_tmp3;
2673#line 201
2674 driver_unregister(__cil_tmp4);
2675 }
2676 } else {
2677
2678 }
2679#line 202
2680 return;
2681}
2682}
2683#line 573
2684__inline static void spi_message_init(struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2685#line 573 "include/linux/spi/spi.h"
2686__inline static void spi_message_init(struct spi_message *m )
2687{ void *__cil_tmp2 ;
2688 struct list_head *__cil_tmp3 ;
2689
2690 {
2691 {
2692#line 575
2693 __cil_tmp2 = (void *)m;
2694#line 575
2695 memset(__cil_tmp2, 0, 80UL);
2696#line 576
2697 __cil_tmp3 = (struct list_head *)m;
2698#line 576
2699 INIT_LIST_HEAD(__cil_tmp3);
2700 }
2701#line 577
2702 return;
2703}
2704}
2705#line 579
2706__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2707#line 579 "include/linux/spi/spi.h"
2708__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m )
2709{ unsigned long __cil_tmp3 ;
2710 unsigned long __cil_tmp4 ;
2711 struct list_head *__cil_tmp5 ;
2712 struct list_head *__cil_tmp6 ;
2713
2714 {
2715 {
2716#line 582
2717 __cil_tmp3 = (unsigned long )t;
2718#line 582
2719 __cil_tmp4 = __cil_tmp3 + 48;
2720#line 582
2721 __cil_tmp5 = (struct list_head *)__cil_tmp4;
2722#line 582
2723 __cil_tmp6 = (struct list_head *)m;
2724#line 582
2725 list_add_tail(__cil_tmp5, __cil_tmp6);
2726 }
2727#line 583
2728 return;
2729}
2730}
2731#line 618
2732extern int spi_setup(struct spi_device *spi ) ;
2733#line 630
2734extern int spi_sync(struct spi_device *spi , struct spi_message *message ) ;
2735#line 99 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
2736__inline static u8 get_chip_id(u8 val ) __attribute__((__no_instrument_function__)) ;
2737#line 99 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
2738__inline static u8 get_chip_id(u8 val )
2739{ int __cil_tmp2 ;
2740 int __cil_tmp3 ;
2741 int __cil_tmp4 ;
2742
2743 {
2744 {
2745#line 101
2746 __cil_tmp2 = (int )val;
2747#line 101
2748 __cil_tmp3 = __cil_tmp2 >> 4;
2749#line 101
2750 __cil_tmp4 = __cil_tmp3 & 15;
2751#line 101
2752 return ((u8 )__cil_tmp4);
2753 }
2754}
2755}
2756#line 104
2757__inline static u8 get_chip_rev(u8 val ) __attribute__((__no_instrument_function__)) ;
2758#line 104 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
2759__inline static u8 get_chip_rev(u8 val )
2760{ int __cil_tmp2 ;
2761 int __cil_tmp3 ;
2762 int __cil_tmp4 ;
2763
2764 {
2765 {
2766#line 106
2767 __cil_tmp2 = (int )val;
2768#line 106
2769 __cil_tmp3 = __cil_tmp2 >> 1;
2770#line 106
2771 __cil_tmp4 = __cil_tmp3 & 7;
2772#line 106
2773 return ((u8 )__cil_tmp4);
2774 }
2775}
2776}
2777#line 110 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
2778static int ks8995_read(struct ks8995_switch *ks , char *buf , unsigned int offset ,
2779 size_t count )
2780{ u8 cmd[2] ;
2781 struct spi_transfer t[2] ;
2782 struct spi_message m ;
2783 int err ;
2784 size_t tmp___7 ;
2785 void *__cil_tmp10 ;
2786 unsigned long __cil_tmp11 ;
2787 unsigned long __cil_tmp12 ;
2788 unsigned long __cil_tmp13 ;
2789 unsigned long __cil_tmp14 ;
2790 u8 *__cil_tmp15 ;
2791 unsigned long __cil_tmp16 ;
2792 unsigned long __cil_tmp17 ;
2793 unsigned long __cil_tmp18 ;
2794 unsigned long __cil_tmp19 ;
2795 unsigned long __cil_tmp20 ;
2796 struct spi_transfer *__cil_tmp21 ;
2797 unsigned long __cil_tmp22 ;
2798 unsigned long __cil_tmp23 ;
2799 unsigned long __cil_tmp24 ;
2800 unsigned long __cil_tmp25 ;
2801 unsigned long __cil_tmp26 ;
2802 unsigned long __cil_tmp27 ;
2803 unsigned long __cil_tmp28 ;
2804 unsigned long __cil_tmp29 ;
2805 struct spi_transfer *__cil_tmp30 ;
2806 unsigned long __cil_tmp31 ;
2807 unsigned long __cil_tmp32 ;
2808 unsigned long __cil_tmp33 ;
2809 unsigned long __cil_tmp34 ;
2810 unsigned long __cil_tmp35 ;
2811 unsigned long __cil_tmp36 ;
2812 struct mutex *__cil_tmp37 ;
2813 struct spi_device *__cil_tmp38 ;
2814 unsigned long __cil_tmp39 ;
2815 unsigned long __cil_tmp40 ;
2816 struct mutex *__cil_tmp41 ;
2817
2818 {
2819 {
2820#line 118
2821 spi_message_init(& m);
2822#line 120
2823 __cil_tmp10 = (void *)(& t);
2824#line 120
2825 memset(__cil_tmp10, 0, 128UL);
2826#line 122
2827 __cil_tmp11 = 0 * 64UL;
2828#line 122
2829 __cil_tmp12 = (unsigned long )(t) + __cil_tmp11;
2830#line 122
2831 __cil_tmp13 = 0 * 1UL;
2832#line 122
2833 __cil_tmp14 = (unsigned long )(cmd) + __cil_tmp13;
2834#line 122
2835 __cil_tmp15 = (u8 *)__cil_tmp14;
2836#line 122
2837 *((void const **)__cil_tmp12) = (void const *)__cil_tmp15;
2838#line 123
2839 __cil_tmp16 = 0 * 64UL;
2840#line 123
2841 __cil_tmp17 = __cil_tmp16 + 16;
2842#line 123
2843 __cil_tmp18 = (unsigned long )(t) + __cil_tmp17;
2844#line 123
2845 *((unsigned int *)__cil_tmp18) = (unsigned int )2UL;
2846#line 124
2847 __cil_tmp19 = 0 * 64UL;
2848#line 124
2849 __cil_tmp20 = (unsigned long )(t) + __cil_tmp19;
2850#line 124
2851 __cil_tmp21 = (struct spi_transfer *)__cil_tmp20;
2852#line 124
2853 spi_message_add_tail(__cil_tmp21, & m);
2854#line 126
2855 __cil_tmp22 = 1 * 64UL;
2856#line 126
2857 __cil_tmp23 = __cil_tmp22 + 8;
2858#line 126
2859 __cil_tmp24 = (unsigned long )(t) + __cil_tmp23;
2860#line 126
2861 *((void **)__cil_tmp24) = (void *)buf;
2862#line 127
2863 __cil_tmp25 = 1 * 64UL;
2864#line 127
2865 __cil_tmp26 = __cil_tmp25 + 16;
2866#line 127
2867 __cil_tmp27 = (unsigned long )(t) + __cil_tmp26;
2868#line 127
2869 *((unsigned int *)__cil_tmp27) = (unsigned int )count;
2870#line 128
2871 __cil_tmp28 = 1 * 64UL;
2872#line 128
2873 __cil_tmp29 = (unsigned long )(t) + __cil_tmp28;
2874#line 128
2875 __cil_tmp30 = (struct spi_transfer *)__cil_tmp29;
2876#line 128
2877 spi_message_add_tail(__cil_tmp30, & m);
2878#line 130
2879 __cil_tmp31 = 0 * 1UL;
2880#line 130
2881 __cil_tmp32 = (unsigned long )(cmd) + __cil_tmp31;
2882#line 130
2883 *((u8 *)__cil_tmp32) = (u8 )3U;
2884#line 131
2885 __cil_tmp33 = 1 * 1UL;
2886#line 131
2887 __cil_tmp34 = (unsigned long )(cmd) + __cil_tmp33;
2888#line 131
2889 *((u8 *)__cil_tmp34) = (u8 )offset;
2890#line 133
2891 __cil_tmp35 = (unsigned long )ks;
2892#line 133
2893 __cil_tmp36 = __cil_tmp35 + 8;
2894#line 133
2895 __cil_tmp37 = (struct mutex *)__cil_tmp36;
2896#line 133
2897 mutex_lock(__cil_tmp37);
2898#line 134
2899 __cil_tmp38 = *((struct spi_device **)ks);
2900#line 134
2901 err = spi_sync(__cil_tmp38, & m);
2902#line 135
2903 __cil_tmp39 = (unsigned long )ks;
2904#line 135
2905 __cil_tmp40 = __cil_tmp39 + 8;
2906#line 135
2907 __cil_tmp41 = (struct mutex *)__cil_tmp40;
2908#line 135
2909 mutex_unlock(__cil_tmp41);
2910 }
2911#line 137
2912 if (err) {
2913#line 137
2914 tmp___7 = (size_t )err;
2915 } else {
2916#line 137
2917 tmp___7 = count;
2918 }
2919#line 137
2920 return ((int )tmp___7);
2921}
2922}
2923#line 141 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
2924static int ks8995_write(struct ks8995_switch *ks , char *buf , unsigned int offset ,
2925 size_t count )
2926{ u8 cmd[2] ;
2927 struct spi_transfer t[2] ;
2928 struct spi_message m ;
2929 int err ;
2930 size_t tmp___7 ;
2931 void *__cil_tmp10 ;
2932 unsigned long __cil_tmp11 ;
2933 unsigned long __cil_tmp12 ;
2934 unsigned long __cil_tmp13 ;
2935 unsigned long __cil_tmp14 ;
2936 u8 *__cil_tmp15 ;
2937 unsigned long __cil_tmp16 ;
2938 unsigned long __cil_tmp17 ;
2939 unsigned long __cil_tmp18 ;
2940 unsigned long __cil_tmp19 ;
2941 unsigned long __cil_tmp20 ;
2942 struct spi_transfer *__cil_tmp21 ;
2943 unsigned long __cil_tmp22 ;
2944 unsigned long __cil_tmp23 ;
2945 unsigned long __cil_tmp24 ;
2946 unsigned long __cil_tmp25 ;
2947 unsigned long __cil_tmp26 ;
2948 unsigned long __cil_tmp27 ;
2949 unsigned long __cil_tmp28 ;
2950 struct spi_transfer *__cil_tmp29 ;
2951 unsigned long __cil_tmp30 ;
2952 unsigned long __cil_tmp31 ;
2953 unsigned long __cil_tmp32 ;
2954 unsigned long __cil_tmp33 ;
2955 unsigned long __cil_tmp34 ;
2956 unsigned long __cil_tmp35 ;
2957 struct mutex *__cil_tmp36 ;
2958 struct spi_device *__cil_tmp37 ;
2959 unsigned long __cil_tmp38 ;
2960 unsigned long __cil_tmp39 ;
2961 struct mutex *__cil_tmp40 ;
2962
2963 {
2964 {
2965#line 149
2966 spi_message_init(& m);
2967#line 151
2968 __cil_tmp10 = (void *)(& t);
2969#line 151
2970 memset(__cil_tmp10, 0, 128UL);
2971#line 153
2972 __cil_tmp11 = 0 * 64UL;
2973#line 153
2974 __cil_tmp12 = (unsigned long )(t) + __cil_tmp11;
2975#line 153
2976 __cil_tmp13 = 0 * 1UL;
2977#line 153
2978 __cil_tmp14 = (unsigned long )(cmd) + __cil_tmp13;
2979#line 153
2980 __cil_tmp15 = (u8 *)__cil_tmp14;
2981#line 153
2982 *((void const **)__cil_tmp12) = (void const *)__cil_tmp15;
2983#line 154
2984 __cil_tmp16 = 0 * 64UL;
2985#line 154
2986 __cil_tmp17 = __cil_tmp16 + 16;
2987#line 154
2988 __cil_tmp18 = (unsigned long )(t) + __cil_tmp17;
2989#line 154
2990 *((unsigned int *)__cil_tmp18) = (unsigned int )2UL;
2991#line 155
2992 __cil_tmp19 = 0 * 64UL;
2993#line 155
2994 __cil_tmp20 = (unsigned long )(t) + __cil_tmp19;
2995#line 155
2996 __cil_tmp21 = (struct spi_transfer *)__cil_tmp20;
2997#line 155
2998 spi_message_add_tail(__cil_tmp21, & m);
2999#line 157
3000 __cil_tmp22 = 1 * 64UL;
3001#line 157
3002 __cil_tmp23 = (unsigned long )(t) + __cil_tmp22;
3003#line 157
3004 *((void const **)__cil_tmp23) = (void const *)buf;
3005#line 158
3006 __cil_tmp24 = 1 * 64UL;
3007#line 158
3008 __cil_tmp25 = __cil_tmp24 + 16;
3009#line 158
3010 __cil_tmp26 = (unsigned long )(t) + __cil_tmp25;
3011#line 158
3012 *((unsigned int *)__cil_tmp26) = (unsigned int )count;
3013#line 159
3014 __cil_tmp27 = 1 * 64UL;
3015#line 159
3016 __cil_tmp28 = (unsigned long )(t) + __cil_tmp27;
3017#line 159
3018 __cil_tmp29 = (struct spi_transfer *)__cil_tmp28;
3019#line 159
3020 spi_message_add_tail(__cil_tmp29, & m);
3021#line 161
3022 __cil_tmp30 = 0 * 1UL;
3023#line 161
3024 __cil_tmp31 = (unsigned long )(cmd) + __cil_tmp30;
3025#line 161
3026 *((u8 *)__cil_tmp31) = (u8 )2U;
3027#line 162
3028 __cil_tmp32 = 1 * 1UL;
3029#line 162
3030 __cil_tmp33 = (unsigned long )(cmd) + __cil_tmp32;
3031#line 162
3032 *((u8 *)__cil_tmp33) = (u8 )offset;
3033#line 164
3034 __cil_tmp34 = (unsigned long )ks;
3035#line 164
3036 __cil_tmp35 = __cil_tmp34 + 8;
3037#line 164
3038 __cil_tmp36 = (struct mutex *)__cil_tmp35;
3039#line 164
3040 mutex_lock(__cil_tmp36);
3041#line 165
3042 __cil_tmp37 = *((struct spi_device **)ks);
3043#line 165
3044 err = spi_sync(__cil_tmp37, & m);
3045#line 166
3046 __cil_tmp38 = (unsigned long )ks;
3047#line 166
3048 __cil_tmp39 = __cil_tmp38 + 8;
3049#line 166
3050 __cil_tmp40 = (struct mutex *)__cil_tmp39;
3051#line 166
3052 mutex_unlock(__cil_tmp40);
3053 }
3054#line 168
3055 if (err) {
3056#line 168
3057 tmp___7 = (size_t )err;
3058 } else {
3059#line 168
3060 tmp___7 = count;
3061 }
3062#line 168
3063 return ((int )tmp___7);
3064}
3065}
3066#line 176
3067__inline static int ks8995_write_reg(struct ks8995_switch *ks , u8 addr , u8 val ) __attribute__((__no_instrument_function__)) ;
3068#line 176 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3069__inline static int ks8995_write_reg(struct ks8995_switch *ks , u8 addr , u8 val )
3070{ char buf ;
3071 int tmp___7 ;
3072 char *__cil_tmp6 ;
3073 unsigned int __cil_tmp7 ;
3074 size_t __cil_tmp8 ;
3075
3076 {
3077 {
3078#line 178
3079 __cil_tmp6 = & buf;
3080#line 178
3081 *__cil_tmp6 = (char )val;
3082#line 180
3083 __cil_tmp7 = (unsigned int )addr;
3084#line 180
3085 __cil_tmp8 = (size_t )1;
3086#line 180
3087 tmp___7 = ks8995_write(ks, & buf, __cil_tmp7, __cil_tmp8);
3088 }
3089#line 180
3090 return (tmp___7 != 1);
3091}
3092}
3093#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3094static int ks8995_stop(struct ks8995_switch *ks )
3095{ int tmp___7 ;
3096 u8 __cil_tmp3 ;
3097 u8 __cil_tmp4 ;
3098
3099 {
3100 {
3101#line 187
3102 __cil_tmp3 = (u8 )1;
3103#line 187
3104 __cil_tmp4 = (u8 )0;
3105#line 187
3106 tmp___7 = ks8995_write_reg(ks, __cil_tmp3, __cil_tmp4);
3107 }
3108#line 187
3109 return (tmp___7);
3110}
3111}
3112#line 190 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3113static int ks8995_start(struct ks8995_switch *ks )
3114{ int tmp___7 ;
3115 u8 __cil_tmp3 ;
3116 u8 __cil_tmp4 ;
3117
3118 {
3119 {
3120#line 192
3121 __cil_tmp3 = (u8 )1;
3122#line 192
3123 __cil_tmp4 = (u8 )1;
3124#line 192
3125 tmp___7 = ks8995_write_reg(ks, __cil_tmp3, __cil_tmp4);
3126 }
3127#line 192
3128 return (tmp___7);
3129}
3130}
3131#line 195 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3132static int ks8995_reset(struct ks8995_switch *ks )
3133{ int err ;
3134 int tmp___7 ;
3135
3136 {
3137 {
3138#line 199
3139 err = ks8995_stop(ks);
3140 }
3141#line 200
3142 if (err) {
3143#line 201
3144 return (err);
3145 } else {
3146
3147 }
3148 {
3149#line 203
3150 __const_udelay(42950UL);
3151#line 205
3152 tmp___7 = ks8995_start(ks);
3153 }
3154#line 205
3155 return (tmp___7);
3156}
3157}
3158#line 210 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3159static ssize_t ks8995_registers_read(struct file *filp , struct kobject *kobj , struct bin_attribute *bin_attr ,
3160 char *buf , loff_t off , size_t count )
3161{ struct device *dev ;
3162 struct ks8995_switch *ks8995 ;
3163 struct kobject const *__mptr ;
3164 void *tmp___7 ;
3165 long tmp___8 ;
3166 long tmp___9 ;
3167 int tmp___10 ;
3168 struct device *__cil_tmp14 ;
3169 unsigned long __cil_tmp15 ;
3170 unsigned long __cil_tmp16 ;
3171 struct kobject *__cil_tmp17 ;
3172 unsigned int __cil_tmp18 ;
3173 char *__cil_tmp19 ;
3174 char *__cil_tmp20 ;
3175 struct device const *__cil_tmp21 ;
3176 int __cil_tmp22 ;
3177 int __cil_tmp23 ;
3178 int __cil_tmp24 ;
3179 long __cil_tmp25 ;
3180 loff_t __cil_tmp26 ;
3181 loff_t __cil_tmp27 ;
3182 loff_t __cil_tmp28 ;
3183 int __cil_tmp29 ;
3184 int __cil_tmp30 ;
3185 int __cil_tmp31 ;
3186 long __cil_tmp32 ;
3187 unsigned int __cil_tmp33 ;
3188
3189 {
3190 {
3191#line 216
3192 __mptr = (struct kobject const *)kobj;
3193#line 216
3194 __cil_tmp14 = (struct device *)0;
3195#line 216
3196 __cil_tmp15 = (unsigned long )__cil_tmp14;
3197#line 216
3198 __cil_tmp16 = __cil_tmp15 + 16;
3199#line 216
3200 __cil_tmp17 = (struct kobject *)__cil_tmp16;
3201#line 216
3202 __cil_tmp18 = (unsigned int )__cil_tmp17;
3203#line 216
3204 __cil_tmp19 = (char *)__mptr;
3205#line 216
3206 __cil_tmp20 = __cil_tmp19 - __cil_tmp18;
3207#line 216
3208 dev = (struct device *)__cil_tmp20;
3209#line 217
3210 __cil_tmp21 = (struct device const *)dev;
3211#line 217
3212 tmp___7 = dev_get_drvdata(__cil_tmp21);
3213#line 217
3214 ks8995 = (struct ks8995_switch *)tmp___7;
3215#line 219
3216 __cil_tmp22 = off > 128LL;
3217#line 219
3218 __cil_tmp23 = ! __cil_tmp22;
3219#line 219
3220 __cil_tmp24 = ! __cil_tmp23;
3221#line 219
3222 __cil_tmp25 = (long )__cil_tmp24;
3223#line 219
3224 tmp___8 = __builtin_expect(__cil_tmp25, 0L);
3225 }
3226#line 219
3227 if (tmp___8) {
3228#line 220
3229 return ((ssize_t )0);
3230 } else {
3231
3232 }
3233 {
3234#line 222
3235 __cil_tmp26 = (loff_t )count;
3236#line 222
3237 __cil_tmp27 = off + __cil_tmp26;
3238#line 222
3239 if (__cil_tmp27 > 128LL) {
3240#line 223
3241 __cil_tmp28 = 128LL - off;
3242#line 223
3243 count = (size_t )__cil_tmp28;
3244 } else {
3245
3246 }
3247 }
3248 {
3249#line 225
3250 __cil_tmp29 = ! count;
3251#line 225
3252 __cil_tmp30 = ! __cil_tmp29;
3253#line 225
3254 __cil_tmp31 = ! __cil_tmp30;
3255#line 225
3256 __cil_tmp32 = (long )__cil_tmp31;
3257#line 225
3258 tmp___9 = __builtin_expect(__cil_tmp32, 0L);
3259 }
3260#line 225
3261 if (tmp___9) {
3262#line 226
3263 return ((ssize_t )count);
3264 } else {
3265
3266 }
3267 {
3268#line 228
3269 __cil_tmp33 = (unsigned int )off;
3270#line 228
3271 tmp___10 = ks8995_read(ks8995, buf, __cil_tmp33, count);
3272 }
3273#line 228
3274 return ((ssize_t )tmp___10);
3275}
3276}
3277#line 232 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3278static ssize_t ks8995_registers_write(struct file *filp , struct kobject *kobj , struct bin_attribute *bin_attr ,
3279 char *buf , loff_t off , size_t count )
3280{ struct device *dev ;
3281 struct ks8995_switch *ks8995 ;
3282 struct kobject const *__mptr ;
3283 void *tmp___7 ;
3284 long tmp___8 ;
3285 long tmp___9 ;
3286 int tmp___10 ;
3287 struct device *__cil_tmp14 ;
3288 unsigned long __cil_tmp15 ;
3289 unsigned long __cil_tmp16 ;
3290 struct kobject *__cil_tmp17 ;
3291 unsigned int __cil_tmp18 ;
3292 char *__cil_tmp19 ;
3293 char *__cil_tmp20 ;
3294 struct device const *__cil_tmp21 ;
3295 int __cil_tmp22 ;
3296 int __cil_tmp23 ;
3297 int __cil_tmp24 ;
3298 long __cil_tmp25 ;
3299 loff_t __cil_tmp26 ;
3300 loff_t __cil_tmp27 ;
3301 loff_t __cil_tmp28 ;
3302 int __cil_tmp29 ;
3303 int __cil_tmp30 ;
3304 int __cil_tmp31 ;
3305 long __cil_tmp32 ;
3306 unsigned int __cil_tmp33 ;
3307
3308 {
3309 {
3310#line 238
3311 __mptr = (struct kobject const *)kobj;
3312#line 238
3313 __cil_tmp14 = (struct device *)0;
3314#line 238
3315 __cil_tmp15 = (unsigned long )__cil_tmp14;
3316#line 238
3317 __cil_tmp16 = __cil_tmp15 + 16;
3318#line 238
3319 __cil_tmp17 = (struct kobject *)__cil_tmp16;
3320#line 238
3321 __cil_tmp18 = (unsigned int )__cil_tmp17;
3322#line 238
3323 __cil_tmp19 = (char *)__mptr;
3324#line 238
3325 __cil_tmp20 = __cil_tmp19 - __cil_tmp18;
3326#line 238
3327 dev = (struct device *)__cil_tmp20;
3328#line 239
3329 __cil_tmp21 = (struct device const *)dev;
3330#line 239
3331 tmp___7 = dev_get_drvdata(__cil_tmp21);
3332#line 239
3333 ks8995 = (struct ks8995_switch *)tmp___7;
3334#line 241
3335 __cil_tmp22 = off >= 128LL;
3336#line 241
3337 __cil_tmp23 = ! __cil_tmp22;
3338#line 241
3339 __cil_tmp24 = ! __cil_tmp23;
3340#line 241
3341 __cil_tmp25 = (long )__cil_tmp24;
3342#line 241
3343 tmp___8 = __builtin_expect(__cil_tmp25, 0L);
3344 }
3345#line 241
3346 if (tmp___8) {
3347#line 242
3348 return ((ssize_t )-27);
3349 } else {
3350
3351 }
3352 {
3353#line 244
3354 __cil_tmp26 = (loff_t )count;
3355#line 244
3356 __cil_tmp27 = off + __cil_tmp26;
3357#line 244
3358 if (__cil_tmp27 > 128LL) {
3359#line 245
3360 __cil_tmp28 = 128LL - off;
3361#line 245
3362 count = (size_t )__cil_tmp28;
3363 } else {
3364
3365 }
3366 }
3367 {
3368#line 247
3369 __cil_tmp29 = ! count;
3370#line 247
3371 __cil_tmp30 = ! __cil_tmp29;
3372#line 247
3373 __cil_tmp31 = ! __cil_tmp30;
3374#line 247
3375 __cil_tmp32 = (long )__cil_tmp31;
3376#line 247
3377 tmp___9 = __builtin_expect(__cil_tmp32, 0L);
3378 }
3379#line 247
3380 if (tmp___9) {
3381#line 248
3382 return ((ssize_t )count);
3383 } else {
3384
3385 }
3386 {
3387#line 250
3388 __cil_tmp33 = (unsigned int )off;
3389#line 250
3390 tmp___10 = ks8995_write(ks8995, buf, __cil_tmp33, count);
3391 }
3392#line 250
3393 return ((ssize_t )tmp___10);
3394}
3395}
3396#line 254 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3397static struct bin_attribute ks8995_registers_attr = {{"registers", (umode_t )384}, (size_t )128, (void *)0, & ks8995_registers_read,
3398 & ks8995_registers_write, (int (*)(struct file * , struct kobject * , struct bin_attribute *attr ,
3399 struct vm_area_struct *vma ))0};
3400#line 282 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3401static struct lock_class_key __key___3 ;
3402#line 266
3403static int ks8995_probe(struct spi_device *spi ) __attribute__((__section__(".devinit.text"),
3404__no_instrument_function__)) ;
3405#line 266 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3406static int ks8995_probe(struct spi_device *spi )
3407{ struct ks8995_switch *ks ;
3408 struct ks8995_pdata *pdata ;
3409 u8 ids[2] ;
3410 int err ;
3411 void *tmp___7 ;
3412 u8 tmp___8 ;
3413 u8 tmp___9 ;
3414 unsigned long __cil_tmp9 ;
3415 unsigned long __cil_tmp10 ;
3416 unsigned long __cil_tmp11 ;
3417 void *__cil_tmp12 ;
3418 struct device *__cil_tmp13 ;
3419 struct device const *__cil_tmp14 ;
3420 unsigned long __cil_tmp15 ;
3421 unsigned long __cil_tmp16 ;
3422 struct mutex *__cil_tmp17 ;
3423 unsigned long __cil_tmp18 ;
3424 unsigned long __cil_tmp19 ;
3425 struct device *__cil_tmp20 ;
3426 void *__cil_tmp21 ;
3427 unsigned long __cil_tmp22 ;
3428 unsigned long __cil_tmp23 ;
3429 unsigned long __cil_tmp24 ;
3430 unsigned long __cil_tmp25 ;
3431 struct device *__cil_tmp26 ;
3432 struct device const *__cil_tmp27 ;
3433 unsigned long __cil_tmp28 ;
3434 unsigned long __cil_tmp29 ;
3435 u8 *__cil_tmp30 ;
3436 char *__cil_tmp31 ;
3437 struct device *__cil_tmp32 ;
3438 struct device const *__cil_tmp33 ;
3439 unsigned long __cil_tmp34 ;
3440 unsigned long __cil_tmp35 ;
3441 u8 __cil_tmp36 ;
3442 struct device *__cil_tmp37 ;
3443 struct device const *__cil_tmp38 ;
3444 unsigned long __cil_tmp39 ;
3445 unsigned long __cil_tmp40 ;
3446 u8 __cil_tmp41 ;
3447 int __cil_tmp42 ;
3448 unsigned long __cil_tmp43 ;
3449 unsigned long __cil_tmp44 ;
3450 unsigned long __cil_tmp45 ;
3451 struct kobject *__cil_tmp46 ;
3452 struct bin_attribute const *__cil_tmp47 ;
3453 struct device *__cil_tmp48 ;
3454 struct device const *__cil_tmp49 ;
3455 unsigned long __cil_tmp50 ;
3456 unsigned long __cil_tmp51 ;
3457 u8 __cil_tmp52 ;
3458 unsigned long __cil_tmp53 ;
3459 unsigned long __cil_tmp54 ;
3460 u8 __cil_tmp55 ;
3461 struct device *__cil_tmp56 ;
3462 struct device const *__cil_tmp57 ;
3463 unsigned long __cil_tmp58 ;
3464 unsigned long __cil_tmp59 ;
3465 u8 __cil_tmp60 ;
3466 int __cil_tmp61 ;
3467 int __cil_tmp62 ;
3468 int __cil_tmp63 ;
3469 struct device *__cil_tmp64 ;
3470 void *__cil_tmp65 ;
3471 void const *__cil_tmp66 ;
3472
3473 {
3474 {
3475#line 274
3476 __cil_tmp9 = 0 + 184;
3477#line 274
3478 __cil_tmp10 = (unsigned long )spi;
3479#line 274
3480 __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
3481#line 274
3482 __cil_tmp12 = *((void **)__cil_tmp11);
3483#line 274
3484 pdata = (struct ks8995_pdata *)__cil_tmp12;
3485#line 276
3486 tmp___7 = kzalloc(88UL, 208U);
3487#line 276
3488 ks = (struct ks8995_switch *)tmp___7;
3489 }
3490#line 277
3491 if (! ks) {
3492 {
3493#line 278
3494 __cil_tmp13 = (struct device *)spi;
3495#line 278
3496 __cil_tmp14 = (struct device const *)__cil_tmp13;
3497#line 278
3498 dev_err(__cil_tmp14, "no memory for private data\n");
3499 }
3500#line 279
3501 return (-12);
3502 } else {
3503
3504 }
3505 {
3506#line 282
3507 while (1) {
3508 while_continue: ;
3509 {
3510#line 282
3511 __cil_tmp15 = (unsigned long )ks;
3512#line 282
3513 __cil_tmp16 = __cil_tmp15 + 8;
3514#line 282
3515 __cil_tmp17 = (struct mutex *)__cil_tmp16;
3516#line 282
3517 __mutex_init(__cil_tmp17, "&ks->lock", & __key___3);
3518 }
3519#line 282
3520 goto while_break;
3521 }
3522 while_break: ;
3523 }
3524 {
3525#line 283
3526 __cil_tmp18 = (unsigned long )ks;
3527#line 283
3528 __cil_tmp19 = __cil_tmp18 + 80;
3529#line 283
3530 *((struct ks8995_pdata **)__cil_tmp19) = pdata;
3531#line 284
3532 *((struct spi_device **)ks) = spi_dev_get(spi);
3533#line 285
3534 __cil_tmp20 = (struct device *)spi;
3535#line 285
3536 __cil_tmp21 = (void *)ks;
3537#line 285
3538 dev_set_drvdata(__cil_tmp20, __cil_tmp21);
3539#line 287
3540 __cil_tmp22 = (unsigned long )spi;
3541#line 287
3542 __cil_tmp23 = __cil_tmp22 + 781;
3543#line 287
3544 *((u8 *)__cil_tmp23) = (u8 )0;
3545#line 288
3546 __cil_tmp24 = (unsigned long )spi;
3547#line 288
3548 __cil_tmp25 = __cil_tmp24 + 782;
3549#line 288
3550 *((u8 *)__cil_tmp25) = (u8 )8;
3551#line 289
3552 err = spi_setup(spi);
3553 }
3554#line 290
3555 if (err) {
3556 {
3557#line 291
3558 __cil_tmp26 = (struct device *)spi;
3559#line 291
3560 __cil_tmp27 = (struct device const *)__cil_tmp26;
3561#line 291
3562 dev_err(__cil_tmp27, "spi_setup failed, err=%d\n", err);
3563 }
3564#line 292
3565 goto err_drvdata;
3566 } else {
3567
3568 }
3569 {
3570#line 295
3571 __cil_tmp28 = 0 * 1UL;
3572#line 295
3573 __cil_tmp29 = (unsigned long )(ids) + __cil_tmp28;
3574#line 295
3575 __cil_tmp30 = (u8 *)__cil_tmp29;
3576#line 295
3577 __cil_tmp31 = (char *)__cil_tmp30;
3578#line 295
3579 err = ks8995_read(ks, __cil_tmp31, 0U, 2UL);
3580 }
3581#line 296
3582 if (err < 0) {
3583 {
3584#line 297
3585 __cil_tmp32 = (struct device *)spi;
3586#line 297
3587 __cil_tmp33 = (struct device const *)__cil_tmp32;
3588#line 297
3589 dev_err(__cil_tmp33, "unable to read id registers, err=%d\n", err);
3590 }
3591#line 299
3592 goto err_drvdata;
3593 } else {
3594
3595 }
3596 {
3597#line 302
3598 __cil_tmp34 = 0 * 1UL;
3599#line 302
3600 __cil_tmp35 = (unsigned long )(ids) + __cil_tmp34;
3601#line 302
3602 __cil_tmp36 = *((u8 *)__cil_tmp35);
3603#line 303
3604 if ((int )__cil_tmp36 == 149) {
3605#line 303
3606 goto case_149;
3607 } else {
3608 {
3609#line 305
3610 goto switch_default;
3611#line 302
3612 if (0) {
3613 case_149:
3614#line 304
3615 goto switch_break;
3616 switch_default:
3617 {
3618#line 306
3619 __cil_tmp37 = (struct device *)spi;
3620#line 306
3621 __cil_tmp38 = (struct device const *)__cil_tmp37;
3622#line 306
3623 __cil_tmp39 = 0 * 1UL;
3624#line 306
3625 __cil_tmp40 = (unsigned long )(ids) + __cil_tmp39;
3626#line 306
3627 __cil_tmp41 = *((u8 *)__cil_tmp40);
3628#line 306
3629 __cil_tmp42 = (int )__cil_tmp41;
3630#line 306
3631 dev_err(__cil_tmp38, "unknown family id:%02x\n", __cil_tmp42);
3632#line 307
3633 err = -19;
3634 }
3635#line 308
3636 goto err_drvdata;
3637 } else {
3638 switch_break: ;
3639 }
3640 }
3641 }
3642 }
3643 {
3644#line 311
3645 err = ks8995_reset(ks);
3646 }
3647#line 312
3648 if (err) {
3649#line 313
3650 goto err_drvdata;
3651 } else {
3652
3653 }
3654 {
3655#line 315
3656 __cil_tmp43 = 0 + 16;
3657#line 315
3658 __cil_tmp44 = (unsigned long )spi;
3659#line 315
3660 __cil_tmp45 = __cil_tmp44 + __cil_tmp43;
3661#line 315
3662 __cil_tmp46 = (struct kobject *)__cil_tmp45;
3663#line 315
3664 __cil_tmp47 = (struct bin_attribute const *)(& ks8995_registers_attr);
3665#line 315
3666 err = (int )sysfs_create_bin_file(__cil_tmp46, __cil_tmp47);
3667 }
3668#line 316
3669 if (err) {
3670 {
3671#line 317
3672 __cil_tmp48 = (struct device *)spi;
3673#line 317
3674 __cil_tmp49 = (struct device const *)__cil_tmp48;
3675#line 317
3676 dev_err(__cil_tmp49, "unable to create sysfs file, err=%d\n", err);
3677 }
3678#line 319
3679 goto err_drvdata;
3680 } else {
3681
3682 }
3683 {
3684#line 322
3685 __cil_tmp50 = 1 * 1UL;
3686#line 322
3687 __cil_tmp51 = (unsigned long )(ids) + __cil_tmp50;
3688#line 322
3689 __cil_tmp52 = *((u8 *)__cil_tmp51);
3690#line 322
3691 tmp___8 = get_chip_rev(__cil_tmp52);
3692#line 322
3693 __cil_tmp53 = 1 * 1UL;
3694#line 322
3695 __cil_tmp54 = (unsigned long )(ids) + __cil_tmp53;
3696#line 322
3697 __cil_tmp55 = *((u8 *)__cil_tmp54);
3698#line 322
3699 tmp___9 = get_chip_id(__cil_tmp55);
3700#line 322
3701 __cil_tmp56 = (struct device *)spi;
3702#line 322
3703 __cil_tmp57 = (struct device const *)__cil_tmp56;
3704#line 322
3705 __cil_tmp58 = 0 * 1UL;
3706#line 322
3707 __cil_tmp59 = (unsigned long )(ids) + __cil_tmp58;
3708#line 322
3709 __cil_tmp60 = *((u8 *)__cil_tmp59);
3710#line 322
3711 __cil_tmp61 = (int )__cil_tmp60;
3712#line 322
3713 __cil_tmp62 = (int )tmp___9;
3714#line 322
3715 __cil_tmp63 = (int )tmp___8;
3716#line 322
3717 _dev_info(__cil_tmp57, "KS89%02X device found, Chip ID:%01x, Revision:%01x\n", __cil_tmp61,
3718 __cil_tmp62, __cil_tmp63);
3719 }
3720#line 326
3721 return (0);
3722 err_drvdata:
3723 {
3724#line 329
3725 __cil_tmp64 = (struct device *)spi;
3726#line 329
3727 __cil_tmp65 = (void *)0;
3728#line 329
3729 dev_set_drvdata(__cil_tmp64, __cil_tmp65);
3730#line 330
3731 __cil_tmp66 = (void const *)ks;
3732#line 330
3733 kfree(__cil_tmp66);
3734 }
3735#line 331
3736 return (err);
3737}
3738}
3739#line 334
3740static int ks8995_remove(struct spi_device *spi ) __attribute__((__section__(".devexit.text"),
3741__no_instrument_function__)) ;
3742#line 334 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3743static int ks8995_remove(struct spi_device *spi )
3744{ struct ks8995_data *ks8995 ;
3745 void *tmp___7 ;
3746 struct device *__cil_tmp4 ;
3747 struct device const *__cil_tmp5 ;
3748 unsigned long __cil_tmp6 ;
3749 unsigned long __cil_tmp7 ;
3750 unsigned long __cil_tmp8 ;
3751 struct kobject *__cil_tmp9 ;
3752 struct bin_attribute const *__cil_tmp10 ;
3753 struct device *__cil_tmp11 ;
3754 void *__cil_tmp12 ;
3755 void const *__cil_tmp13 ;
3756
3757 {
3758 {
3759#line 338
3760 __cil_tmp4 = (struct device *)spi;
3761#line 338
3762 __cil_tmp5 = (struct device const *)__cil_tmp4;
3763#line 338
3764 tmp___7 = dev_get_drvdata(__cil_tmp5);
3765#line 338
3766 ks8995 = (struct ks8995_data *)tmp___7;
3767#line 339
3768 __cil_tmp6 = 0 + 16;
3769#line 339
3770 __cil_tmp7 = (unsigned long )spi;
3771#line 339
3772 __cil_tmp8 = __cil_tmp7 + __cil_tmp6;
3773#line 339
3774 __cil_tmp9 = (struct kobject *)__cil_tmp8;
3775#line 339
3776 __cil_tmp10 = (struct bin_attribute const *)(& ks8995_registers_attr);
3777#line 339
3778 sysfs_remove_bin_file(__cil_tmp9, __cil_tmp10);
3779#line 341
3780 __cil_tmp11 = (struct device *)spi;
3781#line 341
3782 __cil_tmp12 = (void *)0;
3783#line 341
3784 dev_set_drvdata(__cil_tmp11, __cil_tmp12);
3785#line 342
3786 __cil_tmp13 = (void const *)ks8995;
3787#line 342
3788 kfree(__cil_tmp13);
3789 }
3790#line 344
3791 return (0);
3792}
3793}
3794#line 349 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3795static struct spi_driver ks8995_driver = {(struct spi_device_id const *)0, & ks8995_probe, & ks8995_remove, (void (*)(struct spi_device *spi ))0,
3796 (int (*)(struct spi_device *spi , pm_message_t mesg ))0, (int (*)(struct spi_device *spi ))0,
3797 {"spi-ks8995", & spi_bus_type, & __this_module, (char const *)0, (_Bool)0, (struct of_device_id const *)0,
3798 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0,
3799 (int (*)(struct device *dev , pm_message_t state ))0, (int (*)(struct device *dev ))0,
3800 (struct attribute_group const **)0, (struct dev_pm_ops const *)0, (struct driver_private *)0}};
3801#line 359
3802static int ks8995_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
3803#line 359 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3804static int ks8995_init(void)
3805{ int tmp___7 ;
3806
3807 {
3808 {
3809#line 361
3810 printk("<6>Micrel KS8995 Ethernet switch SPI driver version 0.1.1\n");
3811#line 363
3812 tmp___7 = spi_register_driver(& ks8995_driver);
3813 }
3814#line 363
3815 return (tmp___7);
3816}
3817}
3818#line 365 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3819int init_module(void)
3820{ int tmp___7 ;
3821
3822 {
3823 {
3824#line 365
3825 tmp___7 = ks8995_init();
3826 }
3827#line 365
3828 return (tmp___7);
3829}
3830}
3831#line 367
3832static void ks8995_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
3833#line 367 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3834static void ks8995_exit(void)
3835{
3836
3837 {
3838 {
3839#line 369
3840 spi_unregister_driver(& ks8995_driver);
3841 }
3842#line 370
3843 return;
3844}
3845}
3846#line 371 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3847void cleanup_module(void)
3848{
3849
3850 {
3851 {
3852#line 371
3853 ks8995_exit();
3854 }
3855#line 371
3856 return;
3857}
3858}
3859#line 373 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3860static char const __mod_description373[53] __attribute__((__used__, __unused__,
3861__section__(".modinfo"), __aligned__(1))) =
3862#line 373
3863 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3864 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3865 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3866 (char const )'M', (char const )'i', (char const )'c', (char const )'r',
3867 (char const )'e', (char const )'l', (char const )' ', (char const )'K',
3868 (char const )'S', (char const )'8', (char const )'9', (char const )'9',
3869 (char const )'5', (char const )' ', (char const )'E', (char const )'t',
3870 (char const )'h', (char const )'e', (char const )'r', (char const )'n',
3871 (char const )'e', (char const )'t', (char const )' ', (char const )'s',
3872 (char const )'w', (char const )'i', (char const )'t', (char const )'c',
3873 (char const )'h', (char const )' ', (char const )'S', (char const )'P',
3874 (char const )'I', (char const )' ', (char const )'d', (char const )'r',
3875 (char const )'i', (char const )'v', (char const )'e', (char const )'r',
3876 (char const )'\000'};
3877#line 374 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3878static char const __mod_version374[14] __attribute__((__used__, __unused__, __section__(".modinfo"),
3879__aligned__(1))) =
3880#line 374
3881 { (char const )'v', (char const )'e', (char const )'r', (char const )'s',
3882 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3883 (char const )'0', (char const )'.', (char const )'1', (char const )'.',
3884 (char const )'1', (char const )'\000'};
3885#line 375 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3886static char const __mod_author375[43] __attribute__((__used__, __unused__, __section__(".modinfo"),
3887__aligned__(1))) =
3888#line 375
3889 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3890 (char const )'o', (char const )'r', (char const )'=', (char const )'G',
3891 (char const )'a', (char const )'b', (char const )'o', (char const )'r',
3892 (char const )' ', (char const )'J', (char const )'u', (char const )'h',
3893 (char const )'o', (char const )'s', (char const )' ', (char const )'<',
3894 (char const )'j', (char const )'u', (char const )'h', (char const )'o',
3895 (char const )'s', (char const )'g', (char const )' ', (char const )'a',
3896 (char const )'t', (char const )' ', (char const )'o', (char const )'p',
3897 (char const )'e', (char const )'n', (char const )'w', (char const )'r',
3898 (char const )'t', (char const )'.', (char const )'o', (char const )'r',
3899 (char const )'g', (char const )'>', (char const )'\000'};
3900#line 376 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3901static char const __mod_license376[15] __attribute__((__used__, __unused__, __section__(".modinfo"),
3902__aligned__(1))) =
3903#line 376
3904 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3905 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3906 (char const )'G', (char const )'P', (char const )'L', (char const )' ',
3907 (char const )'v', (char const )'2', (char const )'\000'};
3908#line 394
3909void ldv_check_final_state(void) ;
3910#line 397
3911extern void ldv_check_return_value(int res ) ;
3912#line 400
3913extern void ldv_initialize(void) ;
3914#line 403
3915extern int __VERIFIER_nondet_int(void) ;
3916#line 406 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3917int LDV_IN_INTERRUPT ;
3918#line 603 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3919static int res_ks8995_probe_11 ;
3920#line 409 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
3921void main(void)
3922{ struct file *var_group1 ;
3923 struct kobject *var_group2 ;
3924 struct bin_attribute *var_ks8995_registers_read_9_p2 ;
3925 char *var_ks8995_registers_read_9_p3 ;
3926 loff_t var_ks8995_registers_read_9_p4 ;
3927 size_t var_ks8995_registers_read_9_p5 ;
3928 struct bin_attribute *var_ks8995_registers_write_10_p2 ;
3929 char *var_ks8995_registers_write_10_p3 ;
3930 loff_t var_ks8995_registers_write_10_p4 ;
3931 size_t var_ks8995_registers_write_10_p5 ;
3932 struct spi_device *var_group3 ;
3933 int tmp___7 ;
3934 int ldv_s_ks8995_driver_spi_driver ;
3935 int tmp___8 ;
3936 int tmp___9 ;
3937 int __cil_tmp16 ;
3938
3939 {
3940 {
3941#line 611
3942 LDV_IN_INTERRUPT = 1;
3943#line 620
3944 ldv_initialize();
3945#line 678
3946 tmp___7 = ks8995_init();
3947 }
3948#line 678
3949 if (tmp___7) {
3950#line 679
3951 goto ldv_final;
3952 } else {
3953
3954 }
3955#line 682
3956 ldv_s_ks8995_driver_spi_driver = 0;
3957 {
3958#line 685
3959 while (1) {
3960 while_continue: ;
3961 {
3962#line 685
3963 tmp___9 = __VERIFIER_nondet_int();
3964 }
3965#line 685
3966 if (tmp___9) {
3967
3968 } else {
3969 {
3970#line 685
3971 __cil_tmp16 = ldv_s_ks8995_driver_spi_driver == 0;
3972#line 685
3973 if (! __cil_tmp16) {
3974
3975 } else {
3976#line 685
3977 goto while_break;
3978 }
3979 }
3980 }
3981 {
3982#line 689
3983 tmp___8 = __VERIFIER_nondet_int();
3984 }
3985#line 691
3986 if (tmp___8 == 0) {
3987#line 691
3988 goto case_0;
3989 } else
3990#line 759
3991 if (tmp___8 == 1) {
3992#line 759
3993 goto case_1;
3994 } else
3995#line 827
3996 if (tmp___8 == 2) {
3997#line 827
3998 goto case_2;
3999 } else {
4000 {
4001#line 898
4002 goto switch_default;
4003#line 689
4004 if (0) {
4005 case_0:
4006 {
4007#line 751
4008 ks8995_registers_read(var_group1, var_group2, var_ks8995_registers_read_9_p2,
4009 var_ks8995_registers_read_9_p3, var_ks8995_registers_read_9_p4,
4010 var_ks8995_registers_read_9_p5);
4011 }
4012#line 758
4013 goto switch_break;
4014 case_1:
4015 {
4016#line 819
4017 ks8995_registers_write(var_group1, var_group2, var_ks8995_registers_write_10_p2,
4018 var_ks8995_registers_write_10_p3, var_ks8995_registers_write_10_p4,
4019 var_ks8995_registers_write_10_p5);
4020 }
4021#line 826
4022 goto switch_break;
4023 case_2:
4024#line 830
4025 if (ldv_s_ks8995_driver_spi_driver == 0) {
4026 {
4027#line 887
4028 res_ks8995_probe_11 = ks8995_probe(var_group3);
4029#line 888
4030 ldv_check_return_value(res_ks8995_probe_11);
4031 }
4032#line 889
4033 if (res_ks8995_probe_11) {
4034#line 890
4035 goto ldv_module_exit;
4036 } else {
4037
4038 }
4039#line 891
4040 ldv_s_ks8995_driver_spi_driver = 0;
4041 } else {
4042
4043 }
4044#line 897
4045 goto switch_break;
4046 switch_default:
4047#line 898
4048 goto switch_break;
4049 } else {
4050 switch_break: ;
4051 }
4052 }
4053 }
4054 }
4055 while_break: ;
4056 }
4057 ldv_module_exit:
4058 {
4059#line 962
4060 ks8995_exit();
4061 }
4062 ldv_final:
4063 {
4064#line 965
4065 ldv_check_final_state();
4066 }
4067#line 968
4068 return;
4069}
4070}
4071#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4072void ldv_blast_assert(void)
4073{
4074
4075 {
4076 ERROR:
4077#line 6
4078 goto ERROR;
4079}
4080}
4081#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4082extern int __VERIFIER_nondet_int(void) ;
4083#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4084int ldv_mutex = 1;
4085#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4086int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4087{ int nondetermined ;
4088
4089 {
4090#line 29
4091 if (ldv_mutex == 1) {
4092
4093 } else {
4094 {
4095#line 29
4096 ldv_blast_assert();
4097 }
4098 }
4099 {
4100#line 32
4101 nondetermined = __VERIFIER_nondet_int();
4102 }
4103#line 35
4104 if (nondetermined) {
4105#line 38
4106 ldv_mutex = 2;
4107#line 40
4108 return (0);
4109 } else {
4110#line 45
4111 return (-4);
4112 }
4113}
4114}
4115#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4116int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4117{ int nondetermined ;
4118
4119 {
4120#line 57
4121 if (ldv_mutex == 1) {
4122
4123 } else {
4124 {
4125#line 57
4126 ldv_blast_assert();
4127 }
4128 }
4129 {
4130#line 60
4131 nondetermined = __VERIFIER_nondet_int();
4132 }
4133#line 63
4134 if (nondetermined) {
4135#line 66
4136 ldv_mutex = 2;
4137#line 68
4138 return (0);
4139 } else {
4140#line 73
4141 return (-4);
4142 }
4143}
4144}
4145#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4146int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4147{ int atomic_value_after_dec ;
4148
4149 {
4150#line 83
4151 if (ldv_mutex == 1) {
4152
4153 } else {
4154 {
4155#line 83
4156 ldv_blast_assert();
4157 }
4158 }
4159 {
4160#line 86
4161 atomic_value_after_dec = __VERIFIER_nondet_int();
4162 }
4163#line 89
4164 if (atomic_value_after_dec == 0) {
4165#line 92
4166 ldv_mutex = 2;
4167#line 94
4168 return (1);
4169 } else {
4170
4171 }
4172#line 98
4173 return (0);
4174}
4175}
4176#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4177void mutex_lock(struct mutex *lock )
4178{
4179
4180 {
4181#line 108
4182 if (ldv_mutex == 1) {
4183
4184 } else {
4185 {
4186#line 108
4187 ldv_blast_assert();
4188 }
4189 }
4190#line 110
4191 ldv_mutex = 2;
4192#line 111
4193 return;
4194}
4195}
4196#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4197int mutex_trylock(struct mutex *lock )
4198{ int nondetermined ;
4199
4200 {
4201#line 121
4202 if (ldv_mutex == 1) {
4203
4204 } else {
4205 {
4206#line 121
4207 ldv_blast_assert();
4208 }
4209 }
4210 {
4211#line 124
4212 nondetermined = __VERIFIER_nondet_int();
4213 }
4214#line 127
4215 if (nondetermined) {
4216#line 130
4217 ldv_mutex = 2;
4218#line 132
4219 return (1);
4220 } else {
4221#line 137
4222 return (0);
4223 }
4224}
4225}
4226#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4227void mutex_unlock(struct mutex *lock )
4228{
4229
4230 {
4231#line 147
4232 if (ldv_mutex == 2) {
4233
4234 } else {
4235 {
4236#line 147
4237 ldv_blast_assert();
4238 }
4239 }
4240#line 149
4241 ldv_mutex = 1;
4242#line 150
4243 return;
4244}
4245}
4246#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4247void ldv_check_final_state(void)
4248{
4249
4250 {
4251#line 156
4252 if (ldv_mutex == 1) {
4253
4254 } else {
4255 {
4256#line 156
4257 ldv_blast_assert();
4258 }
4259 }
4260#line 157
4261 return;
4262}
4263}
4264#line 977 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9672/dscv_tempdir/dscv/ri/32_1/drivers/net/phy/spi_ks8995.c.common.c"
4265long s__builtin_expect(long val , long res )
4266{
4267
4268 {
4269#line 978
4270 return (val);
4271}
4272}