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 48 "include/asm-generic/int-ll64.h"
19typedef int s32;
20#line 49 "include/asm-generic/int-ll64.h"
21typedef unsigned int u32;
22#line 51 "include/asm-generic/int-ll64.h"
23typedef long long s64;
24#line 52 "include/asm-generic/int-ll64.h"
25typedef unsigned long long u64;
26#line 14 "include/asm-generic/posix_types.h"
27typedef long __kernel_long_t;
28#line 15 "include/asm-generic/posix_types.h"
29typedef unsigned long __kernel_ulong_t;
30#line 31 "include/asm-generic/posix_types.h"
31typedef int __kernel_pid_t;
32#line 52 "include/asm-generic/posix_types.h"
33typedef unsigned int __kernel_uid32_t;
34#line 53 "include/asm-generic/posix_types.h"
35typedef unsigned int __kernel_gid32_t;
36#line 75 "include/asm-generic/posix_types.h"
37typedef __kernel_ulong_t __kernel_size_t;
38#line 76 "include/asm-generic/posix_types.h"
39typedef __kernel_long_t __kernel_ssize_t;
40#line 91 "include/asm-generic/posix_types.h"
41typedef long long __kernel_loff_t;
42#line 92 "include/asm-generic/posix_types.h"
43typedef __kernel_long_t __kernel_time_t;
44#line 93 "include/asm-generic/posix_types.h"
45typedef __kernel_long_t __kernel_clock_t;
46#line 94 "include/asm-generic/posix_types.h"
47typedef int __kernel_timer_t;
48#line 95 "include/asm-generic/posix_types.h"
49typedef int __kernel_clockid_t;
50#line 21 "include/linux/types.h"
51typedef __u32 __kernel_dev_t;
52#line 24 "include/linux/types.h"
53typedef __kernel_dev_t dev_t;
54#line 27 "include/linux/types.h"
55typedef unsigned short umode_t;
56#line 30 "include/linux/types.h"
57typedef __kernel_pid_t pid_t;
58#line 35 "include/linux/types.h"
59typedef __kernel_clockid_t clockid_t;
60#line 38 "include/linux/types.h"
61typedef _Bool bool;
62#line 40 "include/linux/types.h"
63typedef __kernel_uid32_t uid_t;
64#line 41 "include/linux/types.h"
65typedef __kernel_gid32_t gid_t;
66#line 54 "include/linux/types.h"
67typedef __kernel_loff_t loff_t;
68#line 63 "include/linux/types.h"
69typedef __kernel_size_t size_t;
70#line 68 "include/linux/types.h"
71typedef __kernel_ssize_t ssize_t;
72#line 78 "include/linux/types.h"
73typedef __kernel_time_t time_t;
74#line 111 "include/linux/types.h"
75typedef __s32 int32_t;
76#line 117 "include/linux/types.h"
77typedef __u32 uint32_t;
78#line 155 "include/linux/types.h"
79typedef u64 dma_addr_t;
80#line 179 "include/linux/types.h"
81typedef __u16 __be16;
82#line 186 "include/linux/types.h"
83typedef __u32 __wsum;
84#line 202 "include/linux/types.h"
85typedef unsigned int gfp_t;
86#line 206 "include/linux/types.h"
87typedef u64 phys_addr_t;
88#line 211 "include/linux/types.h"
89typedef phys_addr_t resource_size_t;
90#line 221 "include/linux/types.h"
91struct __anonstruct_atomic_t_6 {
92 int counter ;
93};
94#line 221 "include/linux/types.h"
95typedef struct __anonstruct_atomic_t_6 atomic_t;
96#line 226 "include/linux/types.h"
97struct __anonstruct_atomic64_t_7 {
98 long counter ;
99};
100#line 226 "include/linux/types.h"
101typedef struct __anonstruct_atomic64_t_7 atomic64_t;
102#line 227 "include/linux/types.h"
103struct list_head {
104 struct list_head *next ;
105 struct list_head *prev ;
106};
107#line 232
108struct hlist_node;
109#line 232 "include/linux/types.h"
110struct hlist_head {
111 struct hlist_node *first ;
112};
113#line 236 "include/linux/types.h"
114struct hlist_node {
115 struct hlist_node *next ;
116 struct hlist_node **pprev ;
117};
118#line 247 "include/linux/types.h"
119struct rcu_head {
120 struct rcu_head *next ;
121 void (*func)(struct rcu_head * ) ;
122};
123#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
124struct module;
125#line 55
126struct module;
127#line 146 "include/linux/init.h"
128typedef void (*ctor_fn_t)(void);
129#line 46 "include/linux/dynamic_debug.h"
130struct device;
131#line 46
132struct device;
133#line 51
134struct net_device;
135#line 51
136struct net_device;
137#line 57
138struct completion;
139#line 57
140struct completion;
141#line 58
142struct pt_regs;
143#line 58
144struct pt_regs;
145#line 348 "include/linux/kernel.h"
146struct pid;
147#line 348
148struct pid;
149#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h"
150struct timespec;
151#line 112
152struct timespec;
153#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h"
154struct page;
155#line 58
156struct page;
157#line 26 "include/asm-generic/getorder.h"
158struct task_struct;
159#line 26
160struct task_struct;
161#line 28
162struct mm_struct;
163#line 28
164struct mm_struct;
165#line 268 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/segment.h"
166struct pt_regs {
167 unsigned long r15 ;
168 unsigned long r14 ;
169 unsigned long r13 ;
170 unsigned long r12 ;
171 unsigned long bp ;
172 unsigned long bx ;
173 unsigned long r11 ;
174 unsigned long r10 ;
175 unsigned long r9 ;
176 unsigned long r8 ;
177 unsigned long ax ;
178 unsigned long cx ;
179 unsigned long dx ;
180 unsigned long si ;
181 unsigned long di ;
182 unsigned long orig_ax ;
183 unsigned long ip ;
184 unsigned long cs ;
185 unsigned long flags ;
186 unsigned long sp ;
187 unsigned long ss ;
188};
189#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
190struct __anonstruct_ldv_2180_13 {
191 unsigned int a ;
192 unsigned int b ;
193};
194#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
195struct __anonstruct_ldv_2195_14 {
196 u16 limit0 ;
197 u16 base0 ;
198 unsigned char base1 ;
199 unsigned char type : 4 ;
200 unsigned char s : 1 ;
201 unsigned char dpl : 2 ;
202 unsigned char p : 1 ;
203 unsigned char limit : 4 ;
204 unsigned char avl : 1 ;
205 unsigned char l : 1 ;
206 unsigned char d : 1 ;
207 unsigned char g : 1 ;
208 unsigned char base2 ;
209};
210#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
211union __anonunion_ldv_2196_12 {
212 struct __anonstruct_ldv_2180_13 ldv_2180 ;
213 struct __anonstruct_ldv_2195_14 ldv_2195 ;
214};
215#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
216struct desc_struct {
217 union __anonunion_ldv_2196_12 ldv_2196 ;
218};
219#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
220typedef unsigned long pgdval_t;
221#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
222typedef unsigned long pgprotval_t;
223#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
224struct pgprot {
225 pgprotval_t pgprot ;
226};
227#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
228typedef struct pgprot pgprot_t;
229#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
230struct __anonstruct_pgd_t_16 {
231 pgdval_t pgd ;
232};
233#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
234typedef struct __anonstruct_pgd_t_16 pgd_t;
235#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
236typedef struct page *pgtable_t;
237#line 290
238struct file;
239#line 290
240struct file;
241#line 337
242struct thread_struct;
243#line 337
244struct thread_struct;
245#line 339
246struct cpumask;
247#line 339
248struct cpumask;
249#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
250struct arch_spinlock;
251#line 327
252struct arch_spinlock;
253#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
254struct kernel_vm86_regs {
255 struct pt_regs pt ;
256 unsigned short es ;
257 unsigned short __esh ;
258 unsigned short ds ;
259 unsigned short __dsh ;
260 unsigned short fs ;
261 unsigned short __fsh ;
262 unsigned short gs ;
263 unsigned short __gsh ;
264};
265#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
266union __anonunion_ldv_2824_19 {
267 struct pt_regs *regs ;
268 struct kernel_vm86_regs *vm86 ;
269};
270#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
271struct math_emu_info {
272 long ___orig_eip ;
273 union __anonunion_ldv_2824_19 ldv_2824 ;
274};
275#line 306 "include/linux/bitmap.h"
276struct bug_entry {
277 int bug_addr_disp ;
278 int file_disp ;
279 unsigned short line ;
280 unsigned short flags ;
281};
282#line 89 "include/linux/bug.h"
283struct cpumask {
284 unsigned long bits[64U] ;
285};
286#line 14 "include/linux/cpumask.h"
287typedef struct cpumask cpumask_t;
288#line 637 "include/linux/cpumask.h"
289typedef struct cpumask *cpumask_var_t;
290#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
291struct static_key;
292#line 234
293struct static_key;
294#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
295struct i387_fsave_struct {
296 u32 cwd ;
297 u32 swd ;
298 u32 twd ;
299 u32 fip ;
300 u32 fcs ;
301 u32 foo ;
302 u32 fos ;
303 u32 st_space[20U] ;
304 u32 status ;
305};
306#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
307struct __anonstruct_ldv_5180_24 {
308 u64 rip ;
309 u64 rdp ;
310};
311#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
312struct __anonstruct_ldv_5186_25 {
313 u32 fip ;
314 u32 fcs ;
315 u32 foo ;
316 u32 fos ;
317};
318#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
319union __anonunion_ldv_5187_23 {
320 struct __anonstruct_ldv_5180_24 ldv_5180 ;
321 struct __anonstruct_ldv_5186_25 ldv_5186 ;
322};
323#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
324union __anonunion_ldv_5196_26 {
325 u32 padding1[12U] ;
326 u32 sw_reserved[12U] ;
327};
328#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
329struct i387_fxsave_struct {
330 u16 cwd ;
331 u16 swd ;
332 u16 twd ;
333 u16 fop ;
334 union __anonunion_ldv_5187_23 ldv_5187 ;
335 u32 mxcsr ;
336 u32 mxcsr_mask ;
337 u32 st_space[32U] ;
338 u32 xmm_space[64U] ;
339 u32 padding[12U] ;
340 union __anonunion_ldv_5196_26 ldv_5196 ;
341};
342#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
343struct i387_soft_struct {
344 u32 cwd ;
345 u32 swd ;
346 u32 twd ;
347 u32 fip ;
348 u32 fcs ;
349 u32 foo ;
350 u32 fos ;
351 u32 st_space[20U] ;
352 u8 ftop ;
353 u8 changed ;
354 u8 lookahead ;
355 u8 no_update ;
356 u8 rm ;
357 u8 alimit ;
358 struct math_emu_info *info ;
359 u32 entry_eip ;
360};
361#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
362struct ymmh_struct {
363 u32 ymmh_space[64U] ;
364};
365#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
366struct xsave_hdr_struct {
367 u64 xstate_bv ;
368 u64 reserved1[2U] ;
369 u64 reserved2[5U] ;
370};
371#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
372struct xsave_struct {
373 struct i387_fxsave_struct i387 ;
374 struct xsave_hdr_struct xsave_hdr ;
375 struct ymmh_struct ymmh ;
376};
377#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
378union thread_xstate {
379 struct i387_fsave_struct fsave ;
380 struct i387_fxsave_struct fxsave ;
381 struct i387_soft_struct soft ;
382 struct xsave_struct xsave ;
383};
384#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
385struct fpu {
386 unsigned int last_cpu ;
387 unsigned int has_fpu ;
388 union thread_xstate *state ;
389};
390#line 433
391struct kmem_cache;
392#line 434
393struct perf_event;
394#line 434
395struct perf_event;
396#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
397struct thread_struct {
398 struct desc_struct tls_array[3U] ;
399 unsigned long sp0 ;
400 unsigned long sp ;
401 unsigned long usersp ;
402 unsigned short es ;
403 unsigned short ds ;
404 unsigned short fsindex ;
405 unsigned short gsindex ;
406 unsigned long fs ;
407 unsigned long gs ;
408 struct perf_event *ptrace_bps[4U] ;
409 unsigned long debugreg6 ;
410 unsigned long ptrace_dr7 ;
411 unsigned long cr2 ;
412 unsigned long trap_nr ;
413 unsigned long error_code ;
414 struct fpu fpu ;
415 unsigned long *io_bitmap_ptr ;
416 unsigned long iopl ;
417 unsigned int io_bitmap_max ;
418};
419#line 23 "include/asm-generic/atomic-long.h"
420typedef atomic64_t atomic_long_t;
421#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
422typedef u16 __ticket_t;
423#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
424typedef u32 __ticketpair_t;
425#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
426struct __raw_tickets {
427 __ticket_t head ;
428 __ticket_t tail ;
429};
430#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
431union __anonunion_ldv_5907_29 {
432 __ticketpair_t head_tail ;
433 struct __raw_tickets tickets ;
434};
435#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
436struct arch_spinlock {
437 union __anonunion_ldv_5907_29 ldv_5907 ;
438};
439#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
440typedef struct arch_spinlock arch_spinlock_t;
441#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
442struct lockdep_map;
443#line 34
444struct lockdep_map;
445#line 55 "include/linux/debug_locks.h"
446struct stack_trace {
447 unsigned int nr_entries ;
448 unsigned int max_entries ;
449 unsigned long *entries ;
450 int skip ;
451};
452#line 26 "include/linux/stacktrace.h"
453struct lockdep_subclass_key {
454 char __one_byte ;
455};
456#line 53 "include/linux/lockdep.h"
457struct lock_class_key {
458 struct lockdep_subclass_key subkeys[8U] ;
459};
460#line 59 "include/linux/lockdep.h"
461struct lock_class {
462 struct list_head hash_entry ;
463 struct list_head lock_entry ;
464 struct lockdep_subclass_key *key ;
465 unsigned int subclass ;
466 unsigned int dep_gen_id ;
467 unsigned long usage_mask ;
468 struct stack_trace usage_traces[13U] ;
469 struct list_head locks_after ;
470 struct list_head locks_before ;
471 unsigned int version ;
472 unsigned long ops ;
473 char const *name ;
474 int name_version ;
475 unsigned long contention_point[4U] ;
476 unsigned long contending_point[4U] ;
477};
478#line 144 "include/linux/lockdep.h"
479struct lockdep_map {
480 struct lock_class_key *key ;
481 struct lock_class *class_cache[2U] ;
482 char const *name ;
483 int cpu ;
484 unsigned long ip ;
485};
486#line 187 "include/linux/lockdep.h"
487struct held_lock {
488 u64 prev_chain_key ;
489 unsigned long acquire_ip ;
490 struct lockdep_map *instance ;
491 struct lockdep_map *nest_lock ;
492 u64 waittime_stamp ;
493 u64 holdtime_stamp ;
494 unsigned short class_idx : 13 ;
495 unsigned char irq_context : 2 ;
496 unsigned char trylock : 1 ;
497 unsigned char read : 2 ;
498 unsigned char check : 2 ;
499 unsigned char hardirqs_off : 1 ;
500 unsigned short references : 11 ;
501};
502#line 556 "include/linux/lockdep.h"
503struct raw_spinlock {
504 arch_spinlock_t raw_lock ;
505 unsigned int magic ;
506 unsigned int owner_cpu ;
507 void *owner ;
508 struct lockdep_map dep_map ;
509};
510#line 32 "include/linux/spinlock_types.h"
511typedef struct raw_spinlock raw_spinlock_t;
512#line 33 "include/linux/spinlock_types.h"
513struct __anonstruct_ldv_6122_33 {
514 u8 __padding[24U] ;
515 struct lockdep_map dep_map ;
516};
517#line 33 "include/linux/spinlock_types.h"
518union __anonunion_ldv_6123_32 {
519 struct raw_spinlock rlock ;
520 struct __anonstruct_ldv_6122_33 ldv_6122 ;
521};
522#line 33 "include/linux/spinlock_types.h"
523struct spinlock {
524 union __anonunion_ldv_6123_32 ldv_6123 ;
525};
526#line 76 "include/linux/spinlock_types.h"
527typedef struct spinlock spinlock_t;
528#line 110 "include/linux/seqlock.h"
529struct seqcount {
530 unsigned int sequence ;
531};
532#line 121 "include/linux/seqlock.h"
533typedef struct seqcount seqcount_t;
534#line 254 "include/linux/seqlock.h"
535struct timespec {
536 __kernel_time_t tv_sec ;
537 long tv_nsec ;
538};
539#line 48 "include/linux/wait.h"
540struct __wait_queue_head {
541 spinlock_t lock ;
542 struct list_head task_list ;
543};
544#line 53 "include/linux/wait.h"
545typedef struct __wait_queue_head wait_queue_head_t;
546#line 98 "include/linux/nodemask.h"
547struct __anonstruct_nodemask_t_36 {
548 unsigned long bits[16U] ;
549};
550#line 98 "include/linux/nodemask.h"
551typedef struct __anonstruct_nodemask_t_36 nodemask_t;
552#line 670 "include/linux/mmzone.h"
553struct mutex {
554 atomic_t count ;
555 spinlock_t wait_lock ;
556 struct list_head wait_list ;
557 struct task_struct *owner ;
558 char const *name ;
559 void *magic ;
560 struct lockdep_map dep_map ;
561};
562#line 63 "include/linux/mutex.h"
563struct mutex_waiter {
564 struct list_head list ;
565 struct task_struct *task ;
566 void *magic ;
567};
568#line 171
569struct rw_semaphore;
570#line 171
571struct rw_semaphore;
572#line 172 "include/linux/mutex.h"
573struct rw_semaphore {
574 long count ;
575 raw_spinlock_t wait_lock ;
576 struct list_head wait_list ;
577 struct lockdep_map dep_map ;
578};
579#line 128 "include/linux/rwsem.h"
580struct completion {
581 unsigned int done ;
582 wait_queue_head_t wait ;
583};
584#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/e820.h"
585struct resource {
586 resource_size_t start ;
587 resource_size_t end ;
588 char const *name ;
589 unsigned long flags ;
590 struct resource *parent ;
591 struct resource *sibling ;
592 struct resource *child ;
593};
594#line 181 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
595struct pci_dev;
596#line 181
597struct pci_dev;
598#line 312 "include/linux/jiffies.h"
599union ktime {
600 s64 tv64 ;
601};
602#line 59 "include/linux/ktime.h"
603typedef union ktime ktime_t;
604#line 341
605struct tvec_base;
606#line 341
607struct tvec_base;
608#line 342 "include/linux/ktime.h"
609struct timer_list {
610 struct list_head entry ;
611 unsigned long expires ;
612 struct tvec_base *base ;
613 void (*function)(unsigned long ) ;
614 unsigned long data ;
615 int slack ;
616 int start_pid ;
617 void *start_site ;
618 char start_comm[16U] ;
619 struct lockdep_map lockdep_map ;
620};
621#line 289 "include/linux/timer.h"
622struct hrtimer;
623#line 289
624struct hrtimer;
625#line 290
626enum hrtimer_restart;
627#line 302
628struct work_struct;
629#line 302
630struct work_struct;
631#line 45 "include/linux/workqueue.h"
632struct work_struct {
633 atomic_long_t data ;
634 struct list_head entry ;
635 void (*func)(struct work_struct * ) ;
636 struct lockdep_map lockdep_map ;
637};
638#line 46 "include/linux/pm.h"
639struct pm_message {
640 int event ;
641};
642#line 52 "include/linux/pm.h"
643typedef struct pm_message pm_message_t;
644#line 53 "include/linux/pm.h"
645struct dev_pm_ops {
646 int (*prepare)(struct device * ) ;
647 void (*complete)(struct device * ) ;
648 int (*suspend)(struct device * ) ;
649 int (*resume)(struct device * ) ;
650 int (*freeze)(struct device * ) ;
651 int (*thaw)(struct device * ) ;
652 int (*poweroff)(struct device * ) ;
653 int (*restore)(struct device * ) ;
654 int (*suspend_late)(struct device * ) ;
655 int (*resume_early)(struct device * ) ;
656 int (*freeze_late)(struct device * ) ;
657 int (*thaw_early)(struct device * ) ;
658 int (*poweroff_late)(struct device * ) ;
659 int (*restore_early)(struct device * ) ;
660 int (*suspend_noirq)(struct device * ) ;
661 int (*resume_noirq)(struct device * ) ;
662 int (*freeze_noirq)(struct device * ) ;
663 int (*thaw_noirq)(struct device * ) ;
664 int (*poweroff_noirq)(struct device * ) ;
665 int (*restore_noirq)(struct device * ) ;
666 int (*runtime_suspend)(struct device * ) ;
667 int (*runtime_resume)(struct device * ) ;
668 int (*runtime_idle)(struct device * ) ;
669};
670#line 289
671enum rpm_status {
672 RPM_ACTIVE = 0,
673 RPM_RESUMING = 1,
674 RPM_SUSPENDED = 2,
675 RPM_SUSPENDING = 3
676} ;
677#line 296
678enum rpm_request {
679 RPM_REQ_NONE = 0,
680 RPM_REQ_IDLE = 1,
681 RPM_REQ_SUSPEND = 2,
682 RPM_REQ_AUTOSUSPEND = 3,
683 RPM_REQ_RESUME = 4
684} ;
685#line 304
686struct wakeup_source;
687#line 304
688struct wakeup_source;
689#line 494 "include/linux/pm.h"
690struct pm_subsys_data {
691 spinlock_t lock ;
692 unsigned int refcount ;
693};
694#line 499
695struct dev_pm_qos_request;
696#line 499
697struct pm_qos_constraints;
698#line 499 "include/linux/pm.h"
699struct dev_pm_info {
700 pm_message_t power_state ;
701 unsigned char can_wakeup : 1 ;
702 unsigned char async_suspend : 1 ;
703 bool is_prepared ;
704 bool is_suspended ;
705 bool ignore_children ;
706 spinlock_t lock ;
707 struct list_head entry ;
708 struct completion completion ;
709 struct wakeup_source *wakeup ;
710 bool wakeup_path ;
711 struct timer_list suspend_timer ;
712 unsigned long timer_expires ;
713 struct work_struct work ;
714 wait_queue_head_t wait_queue ;
715 atomic_t usage_count ;
716 atomic_t child_count ;
717 unsigned char disable_depth : 3 ;
718 unsigned char idle_notification : 1 ;
719 unsigned char request_pending : 1 ;
720 unsigned char deferred_resume : 1 ;
721 unsigned char run_wake : 1 ;
722 unsigned char runtime_auto : 1 ;
723 unsigned char no_callbacks : 1 ;
724 unsigned char irq_safe : 1 ;
725 unsigned char use_autosuspend : 1 ;
726 unsigned char timer_autosuspends : 1 ;
727 enum rpm_request request ;
728 enum rpm_status runtime_status ;
729 int runtime_error ;
730 int autosuspend_delay ;
731 unsigned long last_busy ;
732 unsigned long active_jiffies ;
733 unsigned long suspended_jiffies ;
734 unsigned long accounting_timestamp ;
735 ktime_t suspend_time ;
736 s64 max_time_suspended_ns ;
737 struct dev_pm_qos_request *pq_req ;
738 struct pm_subsys_data *subsys_data ;
739 struct pm_qos_constraints *constraints ;
740};
741#line 558 "include/linux/pm.h"
742struct dev_pm_domain {
743 struct dev_pm_ops ops ;
744};
745#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/topology.h"
746struct pci_bus;
747#line 173
748struct pci_bus;
749#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
750struct __anonstruct_mm_context_t_101 {
751 void *ldt ;
752 int size ;
753 unsigned short ia32_compat ;
754 struct mutex lock ;
755 void *vdso ;
756};
757#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
758typedef struct __anonstruct_mm_context_t_101 mm_context_t;
759#line 18 "include/asm-generic/pci_iomap.h"
760struct vm_area_struct;
761#line 18
762struct vm_area_struct;
763#line 835 "include/linux/sysctl.h"
764struct rb_node {
765 unsigned long rb_parent_color ;
766 struct rb_node *rb_right ;
767 struct rb_node *rb_left ;
768};
769#line 108 "include/linux/rbtree.h"
770struct rb_root {
771 struct rb_node *rb_node ;
772};
773#line 176
774struct nsproxy;
775#line 176
776struct nsproxy;
777#line 37 "include/linux/kmod.h"
778struct cred;
779#line 37
780struct cred;
781#line 18 "include/linux/elf.h"
782typedef __u64 Elf64_Addr;
783#line 19 "include/linux/elf.h"
784typedef __u16 Elf64_Half;
785#line 23 "include/linux/elf.h"
786typedef __u32 Elf64_Word;
787#line 24 "include/linux/elf.h"
788typedef __u64 Elf64_Xword;
789#line 193 "include/linux/elf.h"
790struct elf64_sym {
791 Elf64_Word st_name ;
792 unsigned char st_info ;
793 unsigned char st_other ;
794 Elf64_Half st_shndx ;
795 Elf64_Addr st_value ;
796 Elf64_Xword st_size ;
797};
798#line 201 "include/linux/elf.h"
799typedef struct elf64_sym Elf64_Sym;
800#line 445
801struct sock;
802#line 445
803struct sock;
804#line 446
805struct kobject;
806#line 446
807struct kobject;
808#line 447
809enum kobj_ns_type {
810 KOBJ_NS_TYPE_NONE = 0,
811 KOBJ_NS_TYPE_NET = 1,
812 KOBJ_NS_TYPES = 2
813} ;
814#line 453 "include/linux/elf.h"
815struct kobj_ns_type_operations {
816 enum kobj_ns_type type ;
817 void *(*grab_current_ns)(void) ;
818 void const *(*netlink_ns)(struct sock * ) ;
819 void const *(*initial_ns)(void) ;
820 void (*drop_ns)(void * ) ;
821};
822#line 57 "include/linux/kobject_ns.h"
823struct attribute {
824 char const *name ;
825 umode_t mode ;
826 struct lock_class_key *key ;
827 struct lock_class_key skey ;
828};
829#line 33 "include/linux/sysfs.h"
830struct attribute_group {
831 char const *name ;
832 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
833 struct attribute **attrs ;
834};
835#line 62 "include/linux/sysfs.h"
836struct bin_attribute {
837 struct attribute attr ;
838 size_t size ;
839 void *private ;
840 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
841 loff_t , size_t ) ;
842 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
843 loff_t , size_t ) ;
844 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
845};
846#line 98 "include/linux/sysfs.h"
847struct sysfs_ops {
848 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
849 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
850 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
851};
852#line 117
853struct sysfs_dirent;
854#line 117
855struct sysfs_dirent;
856#line 182 "include/linux/sysfs.h"
857struct kref {
858 atomic_t refcount ;
859};
860#line 49 "include/linux/kobject.h"
861struct kset;
862#line 49
863struct kobj_type;
864#line 49 "include/linux/kobject.h"
865struct kobject {
866 char const *name ;
867 struct list_head entry ;
868 struct kobject *parent ;
869 struct kset *kset ;
870 struct kobj_type *ktype ;
871 struct sysfs_dirent *sd ;
872 struct kref kref ;
873 unsigned char state_initialized : 1 ;
874 unsigned char state_in_sysfs : 1 ;
875 unsigned char state_add_uevent_sent : 1 ;
876 unsigned char state_remove_uevent_sent : 1 ;
877 unsigned char uevent_suppress : 1 ;
878};
879#line 107 "include/linux/kobject.h"
880struct kobj_type {
881 void (*release)(struct kobject * ) ;
882 struct sysfs_ops const *sysfs_ops ;
883 struct attribute **default_attrs ;
884 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
885 void const *(*namespace)(struct kobject * ) ;
886};
887#line 115 "include/linux/kobject.h"
888struct kobj_uevent_env {
889 char *envp[32U] ;
890 int envp_idx ;
891 char buf[2048U] ;
892 int buflen ;
893};
894#line 122 "include/linux/kobject.h"
895struct kset_uevent_ops {
896 int (* const filter)(struct kset * , struct kobject * ) ;
897 char const *(* const name)(struct kset * , struct kobject * ) ;
898 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
899};
900#line 139 "include/linux/kobject.h"
901struct kset {
902 struct list_head list ;
903 spinlock_t list_lock ;
904 struct kobject kobj ;
905 struct kset_uevent_ops const *uevent_ops ;
906};
907#line 215
908struct kernel_param;
909#line 215
910struct kernel_param;
911#line 216 "include/linux/kobject.h"
912struct kernel_param_ops {
913 int (*set)(char const * , struct kernel_param const * ) ;
914 int (*get)(char * , struct kernel_param const * ) ;
915 void (*free)(void * ) ;
916};
917#line 49 "include/linux/moduleparam.h"
918struct kparam_string;
919#line 49
920struct kparam_array;
921#line 49 "include/linux/moduleparam.h"
922union __anonunion_ldv_13363_134 {
923 void *arg ;
924 struct kparam_string const *str ;
925 struct kparam_array const *arr ;
926};
927#line 49 "include/linux/moduleparam.h"
928struct kernel_param {
929 char const *name ;
930 struct kernel_param_ops const *ops ;
931 u16 perm ;
932 s16 level ;
933 union __anonunion_ldv_13363_134 ldv_13363 ;
934};
935#line 61 "include/linux/moduleparam.h"
936struct kparam_string {
937 unsigned int maxlen ;
938 char *string ;
939};
940#line 67 "include/linux/moduleparam.h"
941struct kparam_array {
942 unsigned int max ;
943 unsigned int elemsize ;
944 unsigned int *num ;
945 struct kernel_param_ops const *ops ;
946 void *elem ;
947};
948#line 458 "include/linux/moduleparam.h"
949struct static_key {
950 atomic_t enabled ;
951};
952#line 225 "include/linux/jump_label.h"
953struct tracepoint;
954#line 225
955struct tracepoint;
956#line 226 "include/linux/jump_label.h"
957struct tracepoint_func {
958 void *func ;
959 void *data ;
960};
961#line 29 "include/linux/tracepoint.h"
962struct tracepoint {
963 char const *name ;
964 struct static_key key ;
965 void (*regfunc)(void) ;
966 void (*unregfunc)(void) ;
967 struct tracepoint_func *funcs ;
968};
969#line 86 "include/linux/tracepoint.h"
970struct kernel_symbol {
971 unsigned long value ;
972 char const *name ;
973};
974#line 27 "include/linux/export.h"
975struct mod_arch_specific {
976
977};
978#line 34 "include/linux/module.h"
979struct module_param_attrs;
980#line 34 "include/linux/module.h"
981struct module_kobject {
982 struct kobject kobj ;
983 struct module *mod ;
984 struct kobject *drivers_dir ;
985 struct module_param_attrs *mp ;
986};
987#line 43 "include/linux/module.h"
988struct module_attribute {
989 struct attribute attr ;
990 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
991 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
992 size_t ) ;
993 void (*setup)(struct module * , char const * ) ;
994 int (*test)(struct module * ) ;
995 void (*free)(struct module * ) ;
996};
997#line 69
998struct exception_table_entry;
999#line 69
1000struct exception_table_entry;
1001#line 198
1002enum module_state {
1003 MODULE_STATE_LIVE = 0,
1004 MODULE_STATE_COMING = 1,
1005 MODULE_STATE_GOING = 2
1006} ;
1007#line 204 "include/linux/module.h"
1008struct module_ref {
1009 unsigned long incs ;
1010 unsigned long decs ;
1011};
1012#line 219
1013struct module_sect_attrs;
1014#line 219
1015struct module_notes_attrs;
1016#line 219
1017struct ftrace_event_call;
1018#line 219 "include/linux/module.h"
1019struct module {
1020 enum module_state state ;
1021 struct list_head list ;
1022 char name[56U] ;
1023 struct module_kobject mkobj ;
1024 struct module_attribute *modinfo_attrs ;
1025 char const *version ;
1026 char const *srcversion ;
1027 struct kobject *holders_dir ;
1028 struct kernel_symbol const *syms ;
1029 unsigned long const *crcs ;
1030 unsigned int num_syms ;
1031 struct kernel_param *kp ;
1032 unsigned int num_kp ;
1033 unsigned int num_gpl_syms ;
1034 struct kernel_symbol const *gpl_syms ;
1035 unsigned long const *gpl_crcs ;
1036 struct kernel_symbol const *unused_syms ;
1037 unsigned long const *unused_crcs ;
1038 unsigned int num_unused_syms ;
1039 unsigned int num_unused_gpl_syms ;
1040 struct kernel_symbol const *unused_gpl_syms ;
1041 unsigned long const *unused_gpl_crcs ;
1042 struct kernel_symbol const *gpl_future_syms ;
1043 unsigned long const *gpl_future_crcs ;
1044 unsigned int num_gpl_future_syms ;
1045 unsigned int num_exentries ;
1046 struct exception_table_entry *extable ;
1047 int (*init)(void) ;
1048 void *module_init ;
1049 void *module_core ;
1050 unsigned int init_size ;
1051 unsigned int core_size ;
1052 unsigned int init_text_size ;
1053 unsigned int core_text_size ;
1054 unsigned int init_ro_size ;
1055 unsigned int core_ro_size ;
1056 struct mod_arch_specific arch ;
1057 unsigned int taints ;
1058 unsigned int num_bugs ;
1059 struct list_head bug_list ;
1060 struct bug_entry *bug_table ;
1061 Elf64_Sym *symtab ;
1062 Elf64_Sym *core_symtab ;
1063 unsigned int num_symtab ;
1064 unsigned int core_num_syms ;
1065 char *strtab ;
1066 char *core_strtab ;
1067 struct module_sect_attrs *sect_attrs ;
1068 struct module_notes_attrs *notes_attrs ;
1069 char *args ;
1070 void *percpu ;
1071 unsigned int percpu_size ;
1072 unsigned int num_tracepoints ;
1073 struct tracepoint * const *tracepoints_ptrs ;
1074 unsigned int num_trace_bprintk_fmt ;
1075 char const **trace_bprintk_fmt_start ;
1076 struct ftrace_event_call **trace_events ;
1077 unsigned int num_trace_events ;
1078 struct list_head source_list ;
1079 struct list_head target_list ;
1080 struct task_struct *waiter ;
1081 void (*exit)(void) ;
1082 struct module_ref *refptr ;
1083 ctor_fn_t (**ctors)(void) ;
1084 unsigned int num_ctors ;
1085};
1086#line 88 "include/linux/kmemleak.h"
1087struct kmem_cache_cpu {
1088 void **freelist ;
1089 unsigned long tid ;
1090 struct page *page ;
1091 struct page *partial ;
1092 int node ;
1093 unsigned int stat[26U] ;
1094};
1095#line 55 "include/linux/slub_def.h"
1096struct kmem_cache_node {
1097 spinlock_t list_lock ;
1098 unsigned long nr_partial ;
1099 struct list_head partial ;
1100 atomic_long_t nr_slabs ;
1101 atomic_long_t total_objects ;
1102 struct list_head full ;
1103};
1104#line 66 "include/linux/slub_def.h"
1105struct kmem_cache_order_objects {
1106 unsigned long x ;
1107};
1108#line 76 "include/linux/slub_def.h"
1109struct kmem_cache {
1110 struct kmem_cache_cpu *cpu_slab ;
1111 unsigned long flags ;
1112 unsigned long min_partial ;
1113 int size ;
1114 int objsize ;
1115 int offset ;
1116 int cpu_partial ;
1117 struct kmem_cache_order_objects oo ;
1118 struct kmem_cache_order_objects max ;
1119 struct kmem_cache_order_objects min ;
1120 gfp_t allocflags ;
1121 int refcount ;
1122 void (*ctor)(void * ) ;
1123 int inuse ;
1124 int align ;
1125 int reserved ;
1126 char const *name ;
1127 struct list_head list ;
1128 struct kobject kobj ;
1129 int remote_node_defrag_ratio ;
1130 struct kmem_cache_node *node[1024U] ;
1131};
1132#line 12 "include/linux/mod_devicetable.h"
1133typedef unsigned long kernel_ulong_t;
1134#line 13 "include/linux/mod_devicetable.h"
1135struct pci_device_id {
1136 __u32 vendor ;
1137 __u32 device ;
1138 __u32 subvendor ;
1139 __u32 subdevice ;
1140 __u32 class ;
1141 __u32 class_mask ;
1142 kernel_ulong_t driver_data ;
1143};
1144#line 215 "include/linux/mod_devicetable.h"
1145struct of_device_id {
1146 char name[32U] ;
1147 char type[32U] ;
1148 char compatible[128U] ;
1149 void *data ;
1150};
1151#line 492 "include/linux/mod_devicetable.h"
1152struct platform_device_id {
1153 char name[20U] ;
1154 kernel_ulong_t driver_data ;
1155};
1156#line 584
1157struct klist_node;
1158#line 584
1159struct klist_node;
1160#line 37 "include/linux/klist.h"
1161struct klist_node {
1162 void *n_klist ;
1163 struct list_head n_node ;
1164 struct kref n_ref ;
1165};
1166#line 67
1167struct dma_map_ops;
1168#line 67 "include/linux/klist.h"
1169struct dev_archdata {
1170 void *acpi_handle ;
1171 struct dma_map_ops *dma_ops ;
1172 void *iommu ;
1173};
1174#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1175struct pdev_archdata {
1176
1177};
1178#line 17
1179struct device_private;
1180#line 17
1181struct device_private;
1182#line 18
1183struct device_driver;
1184#line 18
1185struct device_driver;
1186#line 19
1187struct driver_private;
1188#line 19
1189struct driver_private;
1190#line 20
1191struct class;
1192#line 20
1193struct class;
1194#line 21
1195struct subsys_private;
1196#line 21
1197struct subsys_private;
1198#line 22
1199struct bus_type;
1200#line 22
1201struct bus_type;
1202#line 23
1203struct device_node;
1204#line 23
1205struct device_node;
1206#line 24
1207struct iommu_ops;
1208#line 24
1209struct iommu_ops;
1210#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1211struct bus_attribute {
1212 struct attribute attr ;
1213 ssize_t (*show)(struct bus_type * , char * ) ;
1214 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
1215};
1216#line 51 "include/linux/device.h"
1217struct device_attribute;
1218#line 51
1219struct driver_attribute;
1220#line 51 "include/linux/device.h"
1221struct bus_type {
1222 char const *name ;
1223 char const *dev_name ;
1224 struct device *dev_root ;
1225 struct bus_attribute *bus_attrs ;
1226 struct device_attribute *dev_attrs ;
1227 struct driver_attribute *drv_attrs ;
1228 int (*match)(struct device * , struct device_driver * ) ;
1229 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1230 int (*probe)(struct device * ) ;
1231 int (*remove)(struct device * ) ;
1232 void (*shutdown)(struct device * ) ;
1233 int (*suspend)(struct device * , pm_message_t ) ;
1234 int (*resume)(struct device * ) ;
1235 struct dev_pm_ops const *pm ;
1236 struct iommu_ops *iommu_ops ;
1237 struct subsys_private *p ;
1238};
1239#line 125
1240struct device_type;
1241#line 182 "include/linux/device.h"
1242struct device_driver {
1243 char const *name ;
1244 struct bus_type *bus ;
1245 struct module *owner ;
1246 char const *mod_name ;
1247 bool suppress_bind_attrs ;
1248 struct of_device_id const *of_match_table ;
1249 int (*probe)(struct device * ) ;
1250 int (*remove)(struct device * ) ;
1251 void (*shutdown)(struct device * ) ;
1252 int (*suspend)(struct device * , pm_message_t ) ;
1253 int (*resume)(struct device * ) ;
1254 struct attribute_group const **groups ;
1255 struct dev_pm_ops const *pm ;
1256 struct driver_private *p ;
1257};
1258#line 245 "include/linux/device.h"
1259struct driver_attribute {
1260 struct attribute attr ;
1261 ssize_t (*show)(struct device_driver * , char * ) ;
1262 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
1263};
1264#line 299
1265struct class_attribute;
1266#line 299 "include/linux/device.h"
1267struct class {
1268 char const *name ;
1269 struct module *owner ;
1270 struct class_attribute *class_attrs ;
1271 struct device_attribute *dev_attrs ;
1272 struct bin_attribute *dev_bin_attrs ;
1273 struct kobject *dev_kobj ;
1274 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1275 char *(*devnode)(struct device * , umode_t * ) ;
1276 void (*class_release)(struct class * ) ;
1277 void (*dev_release)(struct device * ) ;
1278 int (*suspend)(struct device * , pm_message_t ) ;
1279 int (*resume)(struct device * ) ;
1280 struct kobj_ns_type_operations const *ns_type ;
1281 void const *(*namespace)(struct device * ) ;
1282 struct dev_pm_ops const *pm ;
1283 struct subsys_private *p ;
1284};
1285#line 394 "include/linux/device.h"
1286struct class_attribute {
1287 struct attribute attr ;
1288 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1289 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
1290 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
1291};
1292#line 447 "include/linux/device.h"
1293struct device_type {
1294 char const *name ;
1295 struct attribute_group const **groups ;
1296 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1297 char *(*devnode)(struct device * , umode_t * ) ;
1298 void (*release)(struct device * ) ;
1299 struct dev_pm_ops const *pm ;
1300};
1301#line 474 "include/linux/device.h"
1302struct device_attribute {
1303 struct attribute attr ;
1304 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1305 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
1306 size_t ) ;
1307};
1308#line 557 "include/linux/device.h"
1309struct device_dma_parameters {
1310 unsigned int max_segment_size ;
1311 unsigned long segment_boundary_mask ;
1312};
1313#line 567
1314struct dma_coherent_mem;
1315#line 567 "include/linux/device.h"
1316struct device {
1317 struct device *parent ;
1318 struct device_private *p ;
1319 struct kobject kobj ;
1320 char const *init_name ;
1321 struct device_type const *type ;
1322 struct mutex mutex ;
1323 struct bus_type *bus ;
1324 struct device_driver *driver ;
1325 void *platform_data ;
1326 struct dev_pm_info power ;
1327 struct dev_pm_domain *pm_domain ;
1328 int numa_node ;
1329 u64 *dma_mask ;
1330 u64 coherent_dma_mask ;
1331 struct device_dma_parameters *dma_parms ;
1332 struct list_head dma_pools ;
1333 struct dma_coherent_mem *dma_mem ;
1334 struct dev_archdata archdata ;
1335 struct device_node *of_node ;
1336 dev_t devt ;
1337 u32 id ;
1338 spinlock_t devres_lock ;
1339 struct list_head devres_head ;
1340 struct klist_node knode_class ;
1341 struct class *class ;
1342 struct attribute_group const **groups ;
1343 void (*release)(struct device * ) ;
1344};
1345#line 681 "include/linux/device.h"
1346struct wakeup_source {
1347 char const *name ;
1348 struct list_head entry ;
1349 spinlock_t lock ;
1350 struct timer_list timer ;
1351 unsigned long timer_expires ;
1352 ktime_t total_time ;
1353 ktime_t max_time ;
1354 ktime_t last_time ;
1355 unsigned long event_count ;
1356 unsigned long active_count ;
1357 unsigned long relax_count ;
1358 unsigned long hit_count ;
1359 unsigned char active : 1 ;
1360};
1361#line 17 "include/linux/irqreturn.h"
1362struct hotplug_slot;
1363#line 17 "include/linux/irqreturn.h"
1364struct pci_slot {
1365 struct pci_bus *bus ;
1366 struct list_head list ;
1367 struct hotplug_slot *hotplug ;
1368 unsigned char number ;
1369 struct kobject kobj ;
1370};
1371#line 117 "include/linux/pci.h"
1372typedef int pci_power_t;
1373#line 143 "include/linux/pci.h"
1374typedef unsigned int pci_channel_state_t;
1375#line 144
1376enum pci_channel_state {
1377 pci_channel_io_normal = 1,
1378 pci_channel_io_frozen = 2,
1379 pci_channel_io_perm_failure = 3
1380} ;
1381#line 169 "include/linux/pci.h"
1382typedef unsigned short pci_dev_flags_t;
1383#line 186 "include/linux/pci.h"
1384typedef unsigned short pci_bus_flags_t;
1385#line 229
1386struct pcie_link_state;
1387#line 229
1388struct pcie_link_state;
1389#line 230
1390struct pci_vpd;
1391#line 230
1392struct pci_vpd;
1393#line 231
1394struct pci_sriov;
1395#line 231
1396struct pci_sriov;
1397#line 232
1398struct pci_ats;
1399#line 232
1400struct pci_ats;
1401#line 233
1402struct proc_dir_entry;
1403#line 233
1404struct pci_driver;
1405#line 233 "include/linux/pci.h"
1406union __anonunion_ldv_15312_136 {
1407 struct pci_sriov *sriov ;
1408 struct pci_dev *physfn ;
1409};
1410#line 233 "include/linux/pci.h"
1411struct pci_dev {
1412 struct list_head bus_list ;
1413 struct pci_bus *bus ;
1414 struct pci_bus *subordinate ;
1415 void *sysdata ;
1416 struct proc_dir_entry *procent ;
1417 struct pci_slot *slot ;
1418 unsigned int devfn ;
1419 unsigned short vendor ;
1420 unsigned short device ;
1421 unsigned short subsystem_vendor ;
1422 unsigned short subsystem_device ;
1423 unsigned int class ;
1424 u8 revision ;
1425 u8 hdr_type ;
1426 u8 pcie_cap ;
1427 unsigned char pcie_type : 4 ;
1428 unsigned char pcie_mpss : 3 ;
1429 u8 rom_base_reg ;
1430 u8 pin ;
1431 struct pci_driver *driver ;
1432 u64 dma_mask ;
1433 struct device_dma_parameters dma_parms ;
1434 pci_power_t current_state ;
1435 int pm_cap ;
1436 unsigned char pme_support : 5 ;
1437 unsigned char pme_interrupt : 1 ;
1438 unsigned char pme_poll : 1 ;
1439 unsigned char d1_support : 1 ;
1440 unsigned char d2_support : 1 ;
1441 unsigned char no_d1d2 : 1 ;
1442 unsigned char mmio_always_on : 1 ;
1443 unsigned char wakeup_prepared : 1 ;
1444 unsigned int d3_delay ;
1445 struct pcie_link_state *link_state ;
1446 pci_channel_state_t error_state ;
1447 struct device dev ;
1448 int cfg_size ;
1449 unsigned int irq ;
1450 struct resource resource[17U] ;
1451 unsigned char transparent : 1 ;
1452 unsigned char multifunction : 1 ;
1453 unsigned char is_added : 1 ;
1454 unsigned char is_busmaster : 1 ;
1455 unsigned char no_msi : 1 ;
1456 unsigned char block_cfg_access : 1 ;
1457 unsigned char broken_parity_status : 1 ;
1458 unsigned char irq_reroute_variant : 2 ;
1459 unsigned char msi_enabled : 1 ;
1460 unsigned char msix_enabled : 1 ;
1461 unsigned char ari_enabled : 1 ;
1462 unsigned char is_managed : 1 ;
1463 unsigned char is_pcie : 1 ;
1464 unsigned char needs_freset : 1 ;
1465 unsigned char state_saved : 1 ;
1466 unsigned char is_physfn : 1 ;
1467 unsigned char is_virtfn : 1 ;
1468 unsigned char reset_fn : 1 ;
1469 unsigned char is_hotplug_bridge : 1 ;
1470 unsigned char __aer_firmware_first_valid : 1 ;
1471 unsigned char __aer_firmware_first : 1 ;
1472 pci_dev_flags_t dev_flags ;
1473 atomic_t enable_cnt ;
1474 u32 saved_config_space[16U] ;
1475 struct hlist_head saved_cap_space ;
1476 struct bin_attribute *rom_attr ;
1477 int rom_attr_enabled ;
1478 struct bin_attribute *res_attr[17U] ;
1479 struct bin_attribute *res_attr_wc[17U] ;
1480 struct list_head msi_list ;
1481 struct kset *msi_kset ;
1482 struct pci_vpd *vpd ;
1483 union __anonunion_ldv_15312_136 ldv_15312 ;
1484 struct pci_ats *ats ;
1485};
1486#line 403
1487struct pci_ops;
1488#line 403 "include/linux/pci.h"
1489struct pci_bus {
1490 struct list_head node ;
1491 struct pci_bus *parent ;
1492 struct list_head children ;
1493 struct list_head devices ;
1494 struct pci_dev *self ;
1495 struct list_head slots ;
1496 struct resource *resource[4U] ;
1497 struct list_head resources ;
1498 struct pci_ops *ops ;
1499 void *sysdata ;
1500 struct proc_dir_entry *procdir ;
1501 unsigned char number ;
1502 unsigned char primary ;
1503 unsigned char secondary ;
1504 unsigned char subordinate ;
1505 unsigned char max_bus_speed ;
1506 unsigned char cur_bus_speed ;
1507 char name[48U] ;
1508 unsigned short bridge_ctl ;
1509 pci_bus_flags_t bus_flags ;
1510 struct device *bridge ;
1511 struct device dev ;
1512 struct bin_attribute *legacy_io ;
1513 struct bin_attribute *legacy_mem ;
1514 unsigned char is_added : 1 ;
1515};
1516#line 455 "include/linux/pci.h"
1517struct pci_ops {
1518 int (*read)(struct pci_bus * , unsigned int , int , int , u32 * ) ;
1519 int (*write)(struct pci_bus * , unsigned int , int , int , u32 ) ;
1520};
1521#line 490 "include/linux/pci.h"
1522struct pci_dynids {
1523 spinlock_t lock ;
1524 struct list_head list ;
1525};
1526#line 503 "include/linux/pci.h"
1527typedef unsigned int pci_ers_result_t;
1528#line 512 "include/linux/pci.h"
1529struct pci_error_handlers {
1530 pci_ers_result_t (*error_detected)(struct pci_dev * , enum pci_channel_state ) ;
1531 pci_ers_result_t (*mmio_enabled)(struct pci_dev * ) ;
1532 pci_ers_result_t (*link_reset)(struct pci_dev * ) ;
1533 pci_ers_result_t (*slot_reset)(struct pci_dev * ) ;
1534 void (*resume)(struct pci_dev * ) ;
1535};
1536#line 540 "include/linux/pci.h"
1537struct pci_driver {
1538 struct list_head node ;
1539 char const *name ;
1540 struct pci_device_id const *id_table ;
1541 int (*probe)(struct pci_dev * , struct pci_device_id const * ) ;
1542 void (*remove)(struct pci_dev * ) ;
1543 int (*suspend)(struct pci_dev * , pm_message_t ) ;
1544 int (*suspend_late)(struct pci_dev * , pm_message_t ) ;
1545 int (*resume_early)(struct pci_dev * ) ;
1546 int (*resume)(struct pci_dev * ) ;
1547 void (*shutdown)(struct pci_dev * ) ;
1548 struct pci_error_handlers *err_handler ;
1549 struct device_driver driver ;
1550 struct pci_dynids dynids ;
1551};
1552#line 986 "include/linux/pci.h"
1553struct scatterlist {
1554 unsigned long sg_magic ;
1555 unsigned long page_link ;
1556 unsigned int offset ;
1557 unsigned int length ;
1558 dma_addr_t dma_address ;
1559 unsigned int dma_length ;
1560};
1561#line 39 "include/linux/dmapool.h"
1562struct msix_entry {
1563 u32 vector ;
1564 u16 entry ;
1565};
1566#line 1134 "include/linux/pci.h"
1567struct prio_tree_node;
1568#line 1134 "include/linux/pci.h"
1569struct raw_prio_tree_node {
1570 struct prio_tree_node *left ;
1571 struct prio_tree_node *right ;
1572 struct prio_tree_node *parent ;
1573};
1574#line 19 "include/linux/prio_tree.h"
1575struct prio_tree_node {
1576 struct prio_tree_node *left ;
1577 struct prio_tree_node *right ;
1578 struct prio_tree_node *parent ;
1579 unsigned long start ;
1580 unsigned long last ;
1581};
1582#line 116
1583struct address_space;
1584#line 116
1585struct address_space;
1586#line 117 "include/linux/prio_tree.h"
1587union __anonunion_ldv_16184_138 {
1588 unsigned long index ;
1589 void *freelist ;
1590};
1591#line 117 "include/linux/prio_tree.h"
1592struct __anonstruct_ldv_16194_142 {
1593 unsigned short inuse ;
1594 unsigned short objects : 15 ;
1595 unsigned char frozen : 1 ;
1596};
1597#line 117 "include/linux/prio_tree.h"
1598union __anonunion_ldv_16195_141 {
1599 atomic_t _mapcount ;
1600 struct __anonstruct_ldv_16194_142 ldv_16194 ;
1601};
1602#line 117 "include/linux/prio_tree.h"
1603struct __anonstruct_ldv_16197_140 {
1604 union __anonunion_ldv_16195_141 ldv_16195 ;
1605 atomic_t _count ;
1606};
1607#line 117 "include/linux/prio_tree.h"
1608union __anonunion_ldv_16198_139 {
1609 unsigned long counters ;
1610 struct __anonstruct_ldv_16197_140 ldv_16197 ;
1611};
1612#line 117 "include/linux/prio_tree.h"
1613struct __anonstruct_ldv_16199_137 {
1614 union __anonunion_ldv_16184_138 ldv_16184 ;
1615 union __anonunion_ldv_16198_139 ldv_16198 ;
1616};
1617#line 117 "include/linux/prio_tree.h"
1618struct __anonstruct_ldv_16206_144 {
1619 struct page *next ;
1620 int pages ;
1621 int pobjects ;
1622};
1623#line 117 "include/linux/prio_tree.h"
1624union __anonunion_ldv_16207_143 {
1625 struct list_head lru ;
1626 struct __anonstruct_ldv_16206_144 ldv_16206 ;
1627};
1628#line 117 "include/linux/prio_tree.h"
1629union __anonunion_ldv_16212_145 {
1630 unsigned long private ;
1631 struct kmem_cache *slab ;
1632 struct page *first_page ;
1633};
1634#line 117 "include/linux/prio_tree.h"
1635struct page {
1636 unsigned long flags ;
1637 struct address_space *mapping ;
1638 struct __anonstruct_ldv_16199_137 ldv_16199 ;
1639 union __anonunion_ldv_16207_143 ldv_16207 ;
1640 union __anonunion_ldv_16212_145 ldv_16212 ;
1641 unsigned long debug_flags ;
1642};
1643#line 192 "include/linux/mm_types.h"
1644struct __anonstruct_vm_set_147 {
1645 struct list_head list ;
1646 void *parent ;
1647 struct vm_area_struct *head ;
1648};
1649#line 192 "include/linux/mm_types.h"
1650union __anonunion_shared_146 {
1651 struct __anonstruct_vm_set_147 vm_set ;
1652 struct raw_prio_tree_node prio_tree_node ;
1653};
1654#line 192
1655struct anon_vma;
1656#line 192
1657struct vm_operations_struct;
1658#line 192
1659struct mempolicy;
1660#line 192 "include/linux/mm_types.h"
1661struct vm_area_struct {
1662 struct mm_struct *vm_mm ;
1663 unsigned long vm_start ;
1664 unsigned long vm_end ;
1665 struct vm_area_struct *vm_next ;
1666 struct vm_area_struct *vm_prev ;
1667 pgprot_t vm_page_prot ;
1668 unsigned long vm_flags ;
1669 struct rb_node vm_rb ;
1670 union __anonunion_shared_146 shared ;
1671 struct list_head anon_vma_chain ;
1672 struct anon_vma *anon_vma ;
1673 struct vm_operations_struct const *vm_ops ;
1674 unsigned long vm_pgoff ;
1675 struct file *vm_file ;
1676 void *vm_private_data ;
1677 struct mempolicy *vm_policy ;
1678};
1679#line 255 "include/linux/mm_types.h"
1680struct core_thread {
1681 struct task_struct *task ;
1682 struct core_thread *next ;
1683};
1684#line 261 "include/linux/mm_types.h"
1685struct core_state {
1686 atomic_t nr_threads ;
1687 struct core_thread dumper ;
1688 struct completion startup ;
1689};
1690#line 274 "include/linux/mm_types.h"
1691struct mm_rss_stat {
1692 atomic_long_t count[3U] ;
1693};
1694#line 287
1695struct linux_binfmt;
1696#line 287
1697struct mmu_notifier_mm;
1698#line 287 "include/linux/mm_types.h"
1699struct mm_struct {
1700 struct vm_area_struct *mmap ;
1701 struct rb_root mm_rb ;
1702 struct vm_area_struct *mmap_cache ;
1703 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1704 unsigned long , unsigned long ) ;
1705 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
1706 unsigned long mmap_base ;
1707 unsigned long task_size ;
1708 unsigned long cached_hole_size ;
1709 unsigned long free_area_cache ;
1710 pgd_t *pgd ;
1711 atomic_t mm_users ;
1712 atomic_t mm_count ;
1713 int map_count ;
1714 spinlock_t page_table_lock ;
1715 struct rw_semaphore mmap_sem ;
1716 struct list_head mmlist ;
1717 unsigned long hiwater_rss ;
1718 unsigned long hiwater_vm ;
1719 unsigned long total_vm ;
1720 unsigned long locked_vm ;
1721 unsigned long pinned_vm ;
1722 unsigned long shared_vm ;
1723 unsigned long exec_vm ;
1724 unsigned long stack_vm ;
1725 unsigned long reserved_vm ;
1726 unsigned long def_flags ;
1727 unsigned long nr_ptes ;
1728 unsigned long start_code ;
1729 unsigned long end_code ;
1730 unsigned long start_data ;
1731 unsigned long end_data ;
1732 unsigned long start_brk ;
1733 unsigned long brk ;
1734 unsigned long start_stack ;
1735 unsigned long arg_start ;
1736 unsigned long arg_end ;
1737 unsigned long env_start ;
1738 unsigned long env_end ;
1739 unsigned long saved_auxv[44U] ;
1740 struct mm_rss_stat rss_stat ;
1741 struct linux_binfmt *binfmt ;
1742 cpumask_var_t cpu_vm_mask_var ;
1743 mm_context_t context ;
1744 unsigned int faultstamp ;
1745 unsigned int token_priority ;
1746 unsigned int last_interval ;
1747 unsigned long flags ;
1748 struct core_state *core_state ;
1749 spinlock_t ioctx_lock ;
1750 struct hlist_head ioctx_list ;
1751 struct task_struct *owner ;
1752 struct file *exe_file ;
1753 unsigned long num_exe_file_vmas ;
1754 struct mmu_notifier_mm *mmu_notifier_mm ;
1755 pgtable_t pmd_huge_pte ;
1756 struct cpumask cpumask_allocation ;
1757};
1758#line 44 "include/linux/shrinker.h"
1759struct user_struct;
1760#line 44
1761struct user_struct;
1762#line 178 "include/linux/mm.h"
1763struct vm_fault {
1764 unsigned int flags ;
1765 unsigned long pgoff ;
1766 void *virtual_address ;
1767 struct page *page ;
1768};
1769#line 195 "include/linux/mm.h"
1770struct vm_operations_struct {
1771 void (*open)(struct vm_area_struct * ) ;
1772 void (*close)(struct vm_area_struct * ) ;
1773 int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
1774 int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
1775 int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
1776 int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
1777 struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
1778 int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
1779 unsigned long ) ;
1780};
1781#line 31 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pci_64.h"
1782struct dma_attrs {
1783 unsigned long flags[1U] ;
1784};
1785#line 67 "include/linux/dma-attrs.h"
1786enum dma_data_direction {
1787 DMA_BIDIRECTIONAL = 0,
1788 DMA_TO_DEVICE = 1,
1789 DMA_FROM_DEVICE = 2,
1790 DMA_NONE = 3
1791} ;
1792#line 268 "include/linux/scatterlist.h"
1793struct dma_map_ops {
1794 void *(*alloc)(struct device * , size_t , dma_addr_t * , gfp_t , struct dma_attrs * ) ;
1795 void (*free)(struct device * , size_t , void * , dma_addr_t , struct dma_attrs * ) ;
1796 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1797 size_t , struct dma_attrs * ) ;
1798 dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
1799 enum dma_data_direction , struct dma_attrs * ) ;
1800 void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
1801 struct dma_attrs * ) ;
1802 int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
1803 struct dma_attrs * ) ;
1804 void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
1805 struct dma_attrs * ) ;
1806 void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
1807 void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
1808 void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
1809 void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
1810 int (*mapping_error)(struct device * , dma_addr_t ) ;
1811 int (*dma_supported)(struct device * , u64 ) ;
1812 int (*set_dma_mask)(struct device * , u64 ) ;
1813 int is_phys ;
1814};
1815#line 60 "include/linux/msi.h"
1816struct mfd_cell;
1817#line 60
1818struct mfd_cell;
1819#line 61 "include/linux/msi.h"
1820struct platform_device {
1821 char const *name ;
1822 int id ;
1823 struct device dev ;
1824 u32 num_resources ;
1825 struct resource *resource ;
1826 struct platform_device_id const *id_entry ;
1827 struct mfd_cell *mfd_cell ;
1828 struct pdev_archdata archdata ;
1829};
1830#line 272 "include/linux/platform_device.h"
1831struct mfd_cell {
1832 char const *name ;
1833 int id ;
1834 atomic_t *usage_count ;
1835 int (*enable)(struct platform_device * ) ;
1836 int (*disable)(struct platform_device * ) ;
1837 int (*suspend)(struct platform_device * ) ;
1838 int (*resume)(struct platform_device * ) ;
1839 void *platform_data ;
1840 size_t pdata_size ;
1841 int num_resources ;
1842 struct resource const *resources ;
1843 bool ignore_resource_conflicts ;
1844 bool pm_runtime_no_callbacks ;
1845};
1846#line 99 "include/linux/mfd/core.h"
1847struct timbgpio_platform_data {
1848 int gpio_base ;
1849 int nr_pins ;
1850 int irq_base ;
1851};
1852#line 93 "include/linux/capability.h"
1853struct kernel_cap_struct {
1854 __u32 cap[2U] ;
1855};
1856#line 96 "include/linux/capability.h"
1857typedef struct kernel_cap_struct kernel_cap_t;
1858#line 105
1859struct user_namespace;
1860#line 105
1861struct user_namespace;
1862#line 7 "include/asm-generic/cputime.h"
1863typedef unsigned long cputime_t;
1864#line 98 "include/linux/sem.h"
1865struct sem_undo_list;
1866#line 98 "include/linux/sem.h"
1867struct sysv_sem {
1868 struct sem_undo_list *undo_list ;
1869};
1870#line 107
1871struct siginfo;
1872#line 107
1873struct siginfo;
1874#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1875struct __anonstruct_sigset_t_151 {
1876 unsigned long sig[1U] ;
1877};
1878#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1879typedef struct __anonstruct_sigset_t_151 sigset_t;
1880#line 17 "include/asm-generic/signal-defs.h"
1881typedef void __signalfn_t(int );
1882#line 18 "include/asm-generic/signal-defs.h"
1883typedef __signalfn_t *__sighandler_t;
1884#line 20 "include/asm-generic/signal-defs.h"
1885typedef void __restorefn_t(void);
1886#line 21 "include/asm-generic/signal-defs.h"
1887typedef __restorefn_t *__sigrestore_t;
1888#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1889struct sigaction {
1890 __sighandler_t sa_handler ;
1891 unsigned long sa_flags ;
1892 __sigrestore_t sa_restorer ;
1893 sigset_t sa_mask ;
1894};
1895#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1896struct k_sigaction {
1897 struct sigaction sa ;
1898};
1899#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1900union sigval {
1901 int sival_int ;
1902 void *sival_ptr ;
1903};
1904#line 10 "include/asm-generic/siginfo.h"
1905typedef union sigval sigval_t;
1906#line 11 "include/asm-generic/siginfo.h"
1907struct __anonstruct__kill_153 {
1908 __kernel_pid_t _pid ;
1909 __kernel_uid32_t _uid ;
1910};
1911#line 11 "include/asm-generic/siginfo.h"
1912struct __anonstruct__timer_154 {
1913 __kernel_timer_t _tid ;
1914 int _overrun ;
1915 char _pad[0U] ;
1916 sigval_t _sigval ;
1917 int _sys_private ;
1918};
1919#line 11 "include/asm-generic/siginfo.h"
1920struct __anonstruct__rt_155 {
1921 __kernel_pid_t _pid ;
1922 __kernel_uid32_t _uid ;
1923 sigval_t _sigval ;
1924};
1925#line 11 "include/asm-generic/siginfo.h"
1926struct __anonstruct__sigchld_156 {
1927 __kernel_pid_t _pid ;
1928 __kernel_uid32_t _uid ;
1929 int _status ;
1930 __kernel_clock_t _utime ;
1931 __kernel_clock_t _stime ;
1932};
1933#line 11 "include/asm-generic/siginfo.h"
1934struct __anonstruct__sigfault_157 {
1935 void *_addr ;
1936 short _addr_lsb ;
1937};
1938#line 11 "include/asm-generic/siginfo.h"
1939struct __anonstruct__sigpoll_158 {
1940 long _band ;
1941 int _fd ;
1942};
1943#line 11 "include/asm-generic/siginfo.h"
1944union __anonunion__sifields_152 {
1945 int _pad[28U] ;
1946 struct __anonstruct__kill_153 _kill ;
1947 struct __anonstruct__timer_154 _timer ;
1948 struct __anonstruct__rt_155 _rt ;
1949 struct __anonstruct__sigchld_156 _sigchld ;
1950 struct __anonstruct__sigfault_157 _sigfault ;
1951 struct __anonstruct__sigpoll_158 _sigpoll ;
1952};
1953#line 11 "include/asm-generic/siginfo.h"
1954struct siginfo {
1955 int si_signo ;
1956 int si_errno ;
1957 int si_code ;
1958 union __anonunion__sifields_152 _sifields ;
1959};
1960#line 102 "include/asm-generic/siginfo.h"
1961typedef struct siginfo siginfo_t;
1962#line 24 "include/linux/signal.h"
1963struct sigpending {
1964 struct list_head list ;
1965 sigset_t signal ;
1966};
1967#line 395
1968struct pid_namespace;
1969#line 395 "include/linux/signal.h"
1970struct upid {
1971 int nr ;
1972 struct pid_namespace *ns ;
1973 struct hlist_node pid_chain ;
1974};
1975#line 56 "include/linux/pid.h"
1976struct pid {
1977 atomic_t count ;
1978 unsigned int level ;
1979 struct hlist_head tasks[3U] ;
1980 struct rcu_head rcu ;
1981 struct upid numbers[1U] ;
1982};
1983#line 68 "include/linux/pid.h"
1984struct pid_link {
1985 struct hlist_node node ;
1986 struct pid *pid ;
1987};
1988#line 10 "include/linux/seccomp.h"
1989struct __anonstruct_seccomp_t_161 {
1990 int mode ;
1991};
1992#line 10 "include/linux/seccomp.h"
1993typedef struct __anonstruct_seccomp_t_161 seccomp_t;
1994#line 427 "include/linux/rculist.h"
1995struct plist_head {
1996 struct list_head node_list ;
1997};
1998#line 84 "include/linux/plist.h"
1999struct plist_node {
2000 int prio ;
2001 struct list_head prio_list ;
2002 struct list_head node_list ;
2003};
2004#line 38 "include/linux/rtmutex.h"
2005struct rt_mutex_waiter;
2006#line 38
2007struct rt_mutex_waiter;
2008#line 41 "include/linux/resource.h"
2009struct rlimit {
2010 unsigned long rlim_cur ;
2011 unsigned long rlim_max ;
2012};
2013#line 85 "include/linux/resource.h"
2014struct timerqueue_node {
2015 struct rb_node node ;
2016 ktime_t expires ;
2017};
2018#line 12 "include/linux/timerqueue.h"
2019struct timerqueue_head {
2020 struct rb_root head ;
2021 struct timerqueue_node *next ;
2022};
2023#line 50
2024struct hrtimer_clock_base;
2025#line 50
2026struct hrtimer_clock_base;
2027#line 51
2028struct hrtimer_cpu_base;
2029#line 51
2030struct hrtimer_cpu_base;
2031#line 60
2032enum hrtimer_restart {
2033 HRTIMER_NORESTART = 0,
2034 HRTIMER_RESTART = 1
2035} ;
2036#line 65 "include/linux/timerqueue.h"
2037struct hrtimer {
2038 struct timerqueue_node node ;
2039 ktime_t _softexpires ;
2040 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2041 struct hrtimer_clock_base *base ;
2042 unsigned long state ;
2043 int start_pid ;
2044 void *start_site ;
2045 char start_comm[16U] ;
2046};
2047#line 132 "include/linux/hrtimer.h"
2048struct hrtimer_clock_base {
2049 struct hrtimer_cpu_base *cpu_base ;
2050 int index ;
2051 clockid_t clockid ;
2052 struct timerqueue_head active ;
2053 ktime_t resolution ;
2054 ktime_t (*get_time)(void) ;
2055 ktime_t softirq_time ;
2056 ktime_t offset ;
2057};
2058#line 162 "include/linux/hrtimer.h"
2059struct hrtimer_cpu_base {
2060 raw_spinlock_t lock ;
2061 unsigned long active_bases ;
2062 ktime_t expires_next ;
2063 int hres_active ;
2064 int hang_detected ;
2065 unsigned long nr_events ;
2066 unsigned long nr_retries ;
2067 unsigned long nr_hangs ;
2068 ktime_t max_hang_time ;
2069 struct hrtimer_clock_base clock_base[3U] ;
2070};
2071#line 452 "include/linux/hrtimer.h"
2072struct task_io_accounting {
2073 u64 rchar ;
2074 u64 wchar ;
2075 u64 syscr ;
2076 u64 syscw ;
2077 u64 read_bytes ;
2078 u64 write_bytes ;
2079 u64 cancelled_write_bytes ;
2080};
2081#line 45 "include/linux/task_io_accounting.h"
2082struct latency_record {
2083 unsigned long backtrace[12U] ;
2084 unsigned int count ;
2085 unsigned long time ;
2086 unsigned long max ;
2087};
2088#line 29 "include/linux/key.h"
2089typedef int32_t key_serial_t;
2090#line 32 "include/linux/key.h"
2091typedef uint32_t key_perm_t;
2092#line 33
2093struct key;
2094#line 33
2095struct key;
2096#line 34
2097struct signal_struct;
2098#line 34
2099struct signal_struct;
2100#line 35
2101struct key_type;
2102#line 35
2103struct key_type;
2104#line 37
2105struct keyring_list;
2106#line 37
2107struct keyring_list;
2108#line 115
2109struct key_user;
2110#line 115 "include/linux/key.h"
2111union __anonunion_ldv_21339_162 {
2112 time_t expiry ;
2113 time_t revoked_at ;
2114};
2115#line 115 "include/linux/key.h"
2116union __anonunion_type_data_163 {
2117 struct list_head link ;
2118 unsigned long x[2U] ;
2119 void *p[2U] ;
2120 int reject_error ;
2121};
2122#line 115 "include/linux/key.h"
2123union __anonunion_payload_164 {
2124 unsigned long value ;
2125 void *rcudata ;
2126 void *data ;
2127 struct keyring_list *subscriptions ;
2128};
2129#line 115 "include/linux/key.h"
2130struct key {
2131 atomic_t usage ;
2132 key_serial_t serial ;
2133 struct rb_node serial_node ;
2134 struct key_type *type ;
2135 struct rw_semaphore sem ;
2136 struct key_user *user ;
2137 void *security ;
2138 union __anonunion_ldv_21339_162 ldv_21339 ;
2139 uid_t uid ;
2140 gid_t gid ;
2141 key_perm_t perm ;
2142 unsigned short quotalen ;
2143 unsigned short datalen ;
2144 unsigned long flags ;
2145 char *description ;
2146 union __anonunion_type_data_163 type_data ;
2147 union __anonunion_payload_164 payload ;
2148};
2149#line 316
2150struct audit_context;
2151#line 316
2152struct audit_context;
2153#line 27 "include/linux/selinux.h"
2154struct group_info {
2155 atomic_t usage ;
2156 int ngroups ;
2157 int nblocks ;
2158 gid_t small_block[32U] ;
2159 gid_t *blocks[0U] ;
2160};
2161#line 77 "include/linux/cred.h"
2162struct thread_group_cred {
2163 atomic_t usage ;
2164 pid_t tgid ;
2165 spinlock_t lock ;
2166 struct key *session_keyring ;
2167 struct key *process_keyring ;
2168 struct rcu_head rcu ;
2169};
2170#line 91 "include/linux/cred.h"
2171struct cred {
2172 atomic_t usage ;
2173 atomic_t subscribers ;
2174 void *put_addr ;
2175 unsigned int magic ;
2176 uid_t uid ;
2177 gid_t gid ;
2178 uid_t suid ;
2179 gid_t sgid ;
2180 uid_t euid ;
2181 gid_t egid ;
2182 uid_t fsuid ;
2183 gid_t fsgid ;
2184 unsigned int securebits ;
2185 kernel_cap_t cap_inheritable ;
2186 kernel_cap_t cap_permitted ;
2187 kernel_cap_t cap_effective ;
2188 kernel_cap_t cap_bset ;
2189 unsigned char jit_keyring ;
2190 struct key *thread_keyring ;
2191 struct key *request_key_auth ;
2192 struct thread_group_cred *tgcred ;
2193 void *security ;
2194 struct user_struct *user ;
2195 struct user_namespace *user_ns ;
2196 struct group_info *group_info ;
2197 struct rcu_head rcu ;
2198};
2199#line 264
2200struct llist_node;
2201#line 64 "include/linux/llist.h"
2202struct llist_node {
2203 struct llist_node *next ;
2204};
2205#line 185
2206struct futex_pi_state;
2207#line 185
2208struct futex_pi_state;
2209#line 186
2210struct robust_list_head;
2211#line 186
2212struct robust_list_head;
2213#line 187
2214struct bio_list;
2215#line 187
2216struct bio_list;
2217#line 188
2218struct fs_struct;
2219#line 188
2220struct fs_struct;
2221#line 189
2222struct perf_event_context;
2223#line 189
2224struct perf_event_context;
2225#line 190
2226struct blk_plug;
2227#line 190
2228struct blk_plug;
2229#line 149 "include/linux/sched.h"
2230struct cfs_rq;
2231#line 149
2232struct cfs_rq;
2233#line 406 "include/linux/sched.h"
2234struct sighand_struct {
2235 atomic_t count ;
2236 struct k_sigaction action[64U] ;
2237 spinlock_t siglock ;
2238 wait_queue_head_t signalfd_wqh ;
2239};
2240#line 449 "include/linux/sched.h"
2241struct pacct_struct {
2242 int ac_flag ;
2243 long ac_exitcode ;
2244 unsigned long ac_mem ;
2245 cputime_t ac_utime ;
2246 cputime_t ac_stime ;
2247 unsigned long ac_minflt ;
2248 unsigned long ac_majflt ;
2249};
2250#line 457 "include/linux/sched.h"
2251struct cpu_itimer {
2252 cputime_t expires ;
2253 cputime_t incr ;
2254 u32 error ;
2255 u32 incr_error ;
2256};
2257#line 464 "include/linux/sched.h"
2258struct task_cputime {
2259 cputime_t utime ;
2260 cputime_t stime ;
2261 unsigned long long sum_exec_runtime ;
2262};
2263#line 481 "include/linux/sched.h"
2264struct thread_group_cputimer {
2265 struct task_cputime cputime ;
2266 int running ;
2267 raw_spinlock_t lock ;
2268};
2269#line 517
2270struct autogroup;
2271#line 517
2272struct autogroup;
2273#line 518
2274struct tty_struct;
2275#line 518
2276struct taskstats;
2277#line 518
2278struct tty_audit_buf;
2279#line 518 "include/linux/sched.h"
2280struct signal_struct {
2281 atomic_t sigcnt ;
2282 atomic_t live ;
2283 int nr_threads ;
2284 wait_queue_head_t wait_chldexit ;
2285 struct task_struct *curr_target ;
2286 struct sigpending shared_pending ;
2287 int group_exit_code ;
2288 int notify_count ;
2289 struct task_struct *group_exit_task ;
2290 int group_stop_count ;
2291 unsigned int flags ;
2292 unsigned char is_child_subreaper : 1 ;
2293 unsigned char has_child_subreaper : 1 ;
2294 struct list_head posix_timers ;
2295 struct hrtimer real_timer ;
2296 struct pid *leader_pid ;
2297 ktime_t it_real_incr ;
2298 struct cpu_itimer it[2U] ;
2299 struct thread_group_cputimer cputimer ;
2300 struct task_cputime cputime_expires ;
2301 struct list_head cpu_timers[3U] ;
2302 struct pid *tty_old_pgrp ;
2303 int leader ;
2304 struct tty_struct *tty ;
2305 struct autogroup *autogroup ;
2306 cputime_t utime ;
2307 cputime_t stime ;
2308 cputime_t cutime ;
2309 cputime_t cstime ;
2310 cputime_t gtime ;
2311 cputime_t cgtime ;
2312 cputime_t prev_utime ;
2313 cputime_t prev_stime ;
2314 unsigned long nvcsw ;
2315 unsigned long nivcsw ;
2316 unsigned long cnvcsw ;
2317 unsigned long cnivcsw ;
2318 unsigned long min_flt ;
2319 unsigned long maj_flt ;
2320 unsigned long cmin_flt ;
2321 unsigned long cmaj_flt ;
2322 unsigned long inblock ;
2323 unsigned long oublock ;
2324 unsigned long cinblock ;
2325 unsigned long coublock ;
2326 unsigned long maxrss ;
2327 unsigned long cmaxrss ;
2328 struct task_io_accounting ioac ;
2329 unsigned long long sum_sched_runtime ;
2330 struct rlimit rlim[16U] ;
2331 struct pacct_struct pacct ;
2332 struct taskstats *stats ;
2333 unsigned int audit_tty ;
2334 struct tty_audit_buf *tty_audit_buf ;
2335 struct rw_semaphore group_rwsem ;
2336 int oom_adj ;
2337 int oom_score_adj ;
2338 int oom_score_adj_min ;
2339 struct mutex cred_guard_mutex ;
2340};
2341#line 699 "include/linux/sched.h"
2342struct user_struct {
2343 atomic_t __count ;
2344 atomic_t processes ;
2345 atomic_t files ;
2346 atomic_t sigpending ;
2347 atomic_t inotify_watches ;
2348 atomic_t inotify_devs ;
2349 atomic_t fanotify_listeners ;
2350 atomic_long_t epoll_watches ;
2351 unsigned long mq_bytes ;
2352 unsigned long locked_shm ;
2353 struct key *uid_keyring ;
2354 struct key *session_keyring ;
2355 struct hlist_node uidhash_node ;
2356 uid_t uid ;
2357 struct user_namespace *user_ns ;
2358 atomic_long_t locked_vm ;
2359};
2360#line 744
2361struct backing_dev_info;
2362#line 744
2363struct backing_dev_info;
2364#line 745
2365struct reclaim_state;
2366#line 745
2367struct reclaim_state;
2368#line 746 "include/linux/sched.h"
2369struct sched_info {
2370 unsigned long pcount ;
2371 unsigned long long run_delay ;
2372 unsigned long long last_arrival ;
2373 unsigned long long last_queued ;
2374};
2375#line 760 "include/linux/sched.h"
2376struct task_delay_info {
2377 spinlock_t lock ;
2378 unsigned int flags ;
2379 struct timespec blkio_start ;
2380 struct timespec blkio_end ;
2381 u64 blkio_delay ;
2382 u64 swapin_delay ;
2383 u32 blkio_count ;
2384 u32 swapin_count ;
2385 struct timespec freepages_start ;
2386 struct timespec freepages_end ;
2387 u64 freepages_delay ;
2388 u32 freepages_count ;
2389};
2390#line 1069
2391struct io_context;
2392#line 1069
2393struct io_context;
2394#line 1097
2395struct pipe_inode_info;
2396#line 1097
2397struct pipe_inode_info;
2398#line 1099
2399struct rq;
2400#line 1099
2401struct rq;
2402#line 1100 "include/linux/sched.h"
2403struct sched_class {
2404 struct sched_class const *next ;
2405 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
2406 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
2407 void (*yield_task)(struct rq * ) ;
2408 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
2409 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
2410 struct task_struct *(*pick_next_task)(struct rq * ) ;
2411 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
2412 int (*select_task_rq)(struct task_struct * , int , int ) ;
2413 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
2414 void (*post_schedule)(struct rq * ) ;
2415 void (*task_waking)(struct task_struct * ) ;
2416 void (*task_woken)(struct rq * , struct task_struct * ) ;
2417 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
2418 void (*rq_online)(struct rq * ) ;
2419 void (*rq_offline)(struct rq * ) ;
2420 void (*set_curr_task)(struct rq * ) ;
2421 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
2422 void (*task_fork)(struct task_struct * ) ;
2423 void (*switched_from)(struct rq * , struct task_struct * ) ;
2424 void (*switched_to)(struct rq * , struct task_struct * ) ;
2425 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
2426 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
2427 void (*task_move_group)(struct task_struct * , int ) ;
2428};
2429#line 1165 "include/linux/sched.h"
2430struct load_weight {
2431 unsigned long weight ;
2432 unsigned long inv_weight ;
2433};
2434#line 1170 "include/linux/sched.h"
2435struct sched_statistics {
2436 u64 wait_start ;
2437 u64 wait_max ;
2438 u64 wait_count ;
2439 u64 wait_sum ;
2440 u64 iowait_count ;
2441 u64 iowait_sum ;
2442 u64 sleep_start ;
2443 u64 sleep_max ;
2444 s64 sum_sleep_runtime ;
2445 u64 block_start ;
2446 u64 block_max ;
2447 u64 exec_max ;
2448 u64 slice_max ;
2449 u64 nr_migrations_cold ;
2450 u64 nr_failed_migrations_affine ;
2451 u64 nr_failed_migrations_running ;
2452 u64 nr_failed_migrations_hot ;
2453 u64 nr_forced_migrations ;
2454 u64 nr_wakeups ;
2455 u64 nr_wakeups_sync ;
2456 u64 nr_wakeups_migrate ;
2457 u64 nr_wakeups_local ;
2458 u64 nr_wakeups_remote ;
2459 u64 nr_wakeups_affine ;
2460 u64 nr_wakeups_affine_attempts ;
2461 u64 nr_wakeups_passive ;
2462 u64 nr_wakeups_idle ;
2463};
2464#line 1205 "include/linux/sched.h"
2465struct sched_entity {
2466 struct load_weight load ;
2467 struct rb_node run_node ;
2468 struct list_head group_node ;
2469 unsigned int on_rq ;
2470 u64 exec_start ;
2471 u64 sum_exec_runtime ;
2472 u64 vruntime ;
2473 u64 prev_sum_exec_runtime ;
2474 u64 nr_migrations ;
2475 struct sched_statistics statistics ;
2476 struct sched_entity *parent ;
2477 struct cfs_rq *cfs_rq ;
2478 struct cfs_rq *my_q ;
2479};
2480#line 1231
2481struct rt_rq;
2482#line 1231 "include/linux/sched.h"
2483struct sched_rt_entity {
2484 struct list_head run_list ;
2485 unsigned long timeout ;
2486 unsigned int time_slice ;
2487 int nr_cpus_allowed ;
2488 struct sched_rt_entity *back ;
2489 struct sched_rt_entity *parent ;
2490 struct rt_rq *rt_rq ;
2491 struct rt_rq *my_q ;
2492};
2493#line 1255
2494struct mem_cgroup;
2495#line 1255 "include/linux/sched.h"
2496struct memcg_batch_info {
2497 int do_batch ;
2498 struct mem_cgroup *memcg ;
2499 unsigned long nr_pages ;
2500 unsigned long memsw_nr_pages ;
2501};
2502#line 1616
2503struct files_struct;
2504#line 1616
2505struct css_set;
2506#line 1616
2507struct compat_robust_list_head;
2508#line 1616 "include/linux/sched.h"
2509struct task_struct {
2510 long volatile state ;
2511 void *stack ;
2512 atomic_t usage ;
2513 unsigned int flags ;
2514 unsigned int ptrace ;
2515 struct llist_node wake_entry ;
2516 int on_cpu ;
2517 int on_rq ;
2518 int prio ;
2519 int static_prio ;
2520 int normal_prio ;
2521 unsigned int rt_priority ;
2522 struct sched_class const *sched_class ;
2523 struct sched_entity se ;
2524 struct sched_rt_entity rt ;
2525 struct hlist_head preempt_notifiers ;
2526 unsigned char fpu_counter ;
2527 unsigned int policy ;
2528 cpumask_t cpus_allowed ;
2529 struct sched_info sched_info ;
2530 struct list_head tasks ;
2531 struct plist_node pushable_tasks ;
2532 struct mm_struct *mm ;
2533 struct mm_struct *active_mm ;
2534 unsigned char brk_randomized : 1 ;
2535 int exit_state ;
2536 int exit_code ;
2537 int exit_signal ;
2538 int pdeath_signal ;
2539 unsigned int jobctl ;
2540 unsigned int personality ;
2541 unsigned char did_exec : 1 ;
2542 unsigned char in_execve : 1 ;
2543 unsigned char in_iowait : 1 ;
2544 unsigned char sched_reset_on_fork : 1 ;
2545 unsigned char sched_contributes_to_load : 1 ;
2546 unsigned char irq_thread : 1 ;
2547 pid_t pid ;
2548 pid_t tgid ;
2549 unsigned long stack_canary ;
2550 struct task_struct *real_parent ;
2551 struct task_struct *parent ;
2552 struct list_head children ;
2553 struct list_head sibling ;
2554 struct task_struct *group_leader ;
2555 struct list_head ptraced ;
2556 struct list_head ptrace_entry ;
2557 struct pid_link pids[3U] ;
2558 struct list_head thread_group ;
2559 struct completion *vfork_done ;
2560 int *set_child_tid ;
2561 int *clear_child_tid ;
2562 cputime_t utime ;
2563 cputime_t stime ;
2564 cputime_t utimescaled ;
2565 cputime_t stimescaled ;
2566 cputime_t gtime ;
2567 cputime_t prev_utime ;
2568 cputime_t prev_stime ;
2569 unsigned long nvcsw ;
2570 unsigned long nivcsw ;
2571 struct timespec start_time ;
2572 struct timespec real_start_time ;
2573 unsigned long min_flt ;
2574 unsigned long maj_flt ;
2575 struct task_cputime cputime_expires ;
2576 struct list_head cpu_timers[3U] ;
2577 struct cred const *real_cred ;
2578 struct cred const *cred ;
2579 struct cred *replacement_session_keyring ;
2580 char comm[16U] ;
2581 int link_count ;
2582 int total_link_count ;
2583 struct sysv_sem sysvsem ;
2584 unsigned long last_switch_count ;
2585 struct thread_struct thread ;
2586 struct fs_struct *fs ;
2587 struct files_struct *files ;
2588 struct nsproxy *nsproxy ;
2589 struct signal_struct *signal ;
2590 struct sighand_struct *sighand ;
2591 sigset_t blocked ;
2592 sigset_t real_blocked ;
2593 sigset_t saved_sigmask ;
2594 struct sigpending pending ;
2595 unsigned long sas_ss_sp ;
2596 size_t sas_ss_size ;
2597 int (*notifier)(void * ) ;
2598 void *notifier_data ;
2599 sigset_t *notifier_mask ;
2600 struct audit_context *audit_context ;
2601 uid_t loginuid ;
2602 unsigned int sessionid ;
2603 seccomp_t seccomp ;
2604 u32 parent_exec_id ;
2605 u32 self_exec_id ;
2606 spinlock_t alloc_lock ;
2607 raw_spinlock_t pi_lock ;
2608 struct plist_head pi_waiters ;
2609 struct rt_mutex_waiter *pi_blocked_on ;
2610 struct mutex_waiter *blocked_on ;
2611 unsigned int irq_events ;
2612 unsigned long hardirq_enable_ip ;
2613 unsigned long hardirq_disable_ip ;
2614 unsigned int hardirq_enable_event ;
2615 unsigned int hardirq_disable_event ;
2616 int hardirqs_enabled ;
2617 int hardirq_context ;
2618 unsigned long softirq_disable_ip ;
2619 unsigned long softirq_enable_ip ;
2620 unsigned int softirq_disable_event ;
2621 unsigned int softirq_enable_event ;
2622 int softirqs_enabled ;
2623 int softirq_context ;
2624 u64 curr_chain_key ;
2625 int lockdep_depth ;
2626 unsigned int lockdep_recursion ;
2627 struct held_lock held_locks[48U] ;
2628 gfp_t lockdep_reclaim_gfp ;
2629 void *journal_info ;
2630 struct bio_list *bio_list ;
2631 struct blk_plug *plug ;
2632 struct reclaim_state *reclaim_state ;
2633 struct backing_dev_info *backing_dev_info ;
2634 struct io_context *io_context ;
2635 unsigned long ptrace_message ;
2636 siginfo_t *last_siginfo ;
2637 struct task_io_accounting ioac ;
2638 u64 acct_rss_mem1 ;
2639 u64 acct_vm_mem1 ;
2640 cputime_t acct_timexpd ;
2641 nodemask_t mems_allowed ;
2642 seqcount_t mems_allowed_seq ;
2643 int cpuset_mem_spread_rotor ;
2644 int cpuset_slab_spread_rotor ;
2645 struct css_set *cgroups ;
2646 struct list_head cg_list ;
2647 struct robust_list_head *robust_list ;
2648 struct compat_robust_list_head *compat_robust_list ;
2649 struct list_head pi_state_list ;
2650 struct futex_pi_state *pi_state_cache ;
2651 struct perf_event_context *perf_event_ctxp[2U] ;
2652 struct mutex perf_event_mutex ;
2653 struct list_head perf_event_list ;
2654 struct mempolicy *mempolicy ;
2655 short il_next ;
2656 short pref_node_fork ;
2657 struct rcu_head rcu ;
2658 struct pipe_inode_info *splice_pipe ;
2659 struct task_delay_info *delays ;
2660 int make_it_fail ;
2661 int nr_dirtied ;
2662 int nr_dirtied_pause ;
2663 unsigned long dirty_paused_when ;
2664 int latency_record_count ;
2665 struct latency_record latency_record[32U] ;
2666 unsigned long timer_slack_ns ;
2667 unsigned long default_timer_slack_ns ;
2668 struct list_head *scm_work_list ;
2669 unsigned long trace ;
2670 unsigned long trace_recursion ;
2671 struct memcg_batch_info memcg_batch ;
2672 atomic_t ptrace_bp_refcnt ;
2673};
2674#line 28 "include/linux/of.h"
2675typedef u32 phandle;
2676#line 30 "include/linux/of.h"
2677struct property {
2678 char *name ;
2679 int length ;
2680 void *value ;
2681 struct property *next ;
2682 unsigned long _flags ;
2683 unsigned int unique_id ;
2684};
2685#line 39 "include/linux/of.h"
2686struct device_node {
2687 char const *name ;
2688 char const *type ;
2689 phandle phandle ;
2690 char *full_name ;
2691 struct property *properties ;
2692 struct property *deadprops ;
2693 struct device_node *parent ;
2694 struct device_node *child ;
2695 struct device_node *sibling ;
2696 struct device_node *next ;
2697 struct device_node *allnext ;
2698 struct proc_dir_entry *pde ;
2699 struct kref kref ;
2700 unsigned long _flags ;
2701 void *data ;
2702};
2703#line 47 "include/linux/i2c.h"
2704struct i2c_board_info;
2705#line 47
2706struct i2c_board_info;
2707#line 251 "include/linux/i2c.h"
2708struct i2c_board_info {
2709 char type[20U] ;
2710 unsigned short flags ;
2711 unsigned short addr ;
2712 void *platform_data ;
2713 struct dev_archdata *archdata ;
2714 struct device_node *of_node ;
2715 int irq ;
2716};
2717#line 601 "include/linux/i2c.h"
2718struct ocores_i2c_platform_data {
2719 u32 regstep ;
2720 u32 clock_khz ;
2721 u8 num_devices ;
2722 struct i2c_board_info const *devices ;
2723};
2724#line 20 "include/linux/i2c-ocores.h"
2725struct xiic_i2c_platform_data {
2726 u8 num_devices ;
2727 struct i2c_board_info const *devices ;
2728};
2729#line 42 "include/linux/i2c-xiic.h"
2730struct tsc2007_platform_data {
2731 u16 model ;
2732 u16 x_plate_ohms ;
2733 u16 max_rt ;
2734 unsigned long poll_delay ;
2735 unsigned long poll_period ;
2736 int fuzzx ;
2737 int fuzzy ;
2738 int fuzzz ;
2739 int (*get_pendown_state)(void) ;
2740 void (*clear_penirq)(void) ;
2741 int (*init_platform_hw)(void) ;
2742 void (*exit_platform_hw)(void) ;
2743};
2744#line 732 "include/linux/spi/spi.h"
2745struct spi_board_info {
2746 char modalias[32U] ;
2747 void const *platform_data ;
2748 void *controller_data ;
2749 int irq ;
2750 u32 max_speed_hz ;
2751 u16 bus_num ;
2752 u16 chip_select ;
2753 u8 mode ;
2754};
2755#line 858 "include/linux/spi/spi.h"
2756struct xspi_platform_data {
2757 u16 num_chipselect ;
2758 bool little_endian ;
2759 u8 bits_per_word ;
2760 struct spi_board_info *devices ;
2761 u8 num_devices ;
2762};
2763#line 20 "include/linux/spi/max7301.h"
2764struct max7301_platform_data {
2765 unsigned int base ;
2766 u32 input_pullup_active ;
2767};
2768#line 35 "include/linux/spi/max7301.h"
2769struct mc33880_platform_data {
2770 unsigned int base ;
2771};
2772#line 8 "include/linux/spi/mc33880.h"
2773struct timb_radio_platform_data {
2774 int i2c_adapter ;
2775 struct i2c_board_info *tuner ;
2776 struct i2c_board_info *dsp ;
2777};
2778#line 29 "include/media/timb_radio.h"
2779struct __anonstruct_encoder_167 {
2780 char const *module_name ;
2781 struct i2c_board_info *info ;
2782};
2783#line 29 "include/media/timb_radio.h"
2784struct timb_video_platform_data {
2785 int dma_channel ;
2786 int i2c_adapter ;
2787 struct __anonstruct_encoder_167 encoder ;
2788};
2789#line 32 "include/media/timb_video.h"
2790struct timb_dma_platform_data_channel {
2791 bool rx ;
2792 unsigned int bytes_per_line ;
2793 unsigned int descriptors ;
2794 unsigned int descriptor_elements ;
2795};
2796#line 43 "include/linux/timb_dma.h"
2797struct timb_dma_platform_data {
2798 unsigned int nr_channels ;
2799 struct timb_dma_platform_data_channel channels[32U] ;
2800};
2801#line 177 "include/linux/textsearch.h"
2802struct exception_table_entry {
2803 unsigned long insn ;
2804 unsigned long fixup ;
2805};
2806#line 108 "include/net/checksum.h"
2807struct sk_buff;
2808#line 108
2809struct sk_buff;
2810#line 37 "include/linux/dmaengine.h"
2811typedef s32 dma_cookie_t;
2812#line 56 "include/linux/netdev_features.h"
2813struct nf_conntrack {
2814 atomic_t use ;
2815};
2816#line 116 "include/linux/skbuff.h"
2817struct nf_bridge_info {
2818 atomic_t use ;
2819 struct net_device *physindev ;
2820 struct net_device *physoutdev ;
2821 unsigned int mask ;
2822 unsigned long data[4U] ;
2823};
2824#line 318 "include/linux/skbuff.h"
2825typedef unsigned int sk_buff_data_t;
2826#line 319
2827struct sec_path;
2828#line 319 "include/linux/skbuff.h"
2829struct __anonstruct_ldv_25406_171 {
2830 __u16 csum_start ;
2831 __u16 csum_offset ;
2832};
2833#line 319 "include/linux/skbuff.h"
2834union __anonunion_ldv_25407_170 {
2835 __wsum csum ;
2836 struct __anonstruct_ldv_25406_171 ldv_25406 ;
2837};
2838#line 319 "include/linux/skbuff.h"
2839union __anonunion_ldv_25443_172 {
2840 __u32 mark ;
2841 __u32 dropcount ;
2842 __u32 avail_size ;
2843};
2844#line 319 "include/linux/skbuff.h"
2845struct sk_buff {
2846 struct sk_buff *next ;
2847 struct sk_buff *prev ;
2848 ktime_t tstamp ;
2849 struct sock *sk ;
2850 struct net_device *dev ;
2851 char cb[48U] ;
2852 unsigned long _skb_refdst ;
2853 struct sec_path *sp ;
2854 unsigned int len ;
2855 unsigned int data_len ;
2856 __u16 mac_len ;
2857 __u16 hdr_len ;
2858 union __anonunion_ldv_25407_170 ldv_25407 ;
2859 __u32 priority ;
2860 unsigned char local_df : 1 ;
2861 unsigned char cloned : 1 ;
2862 unsigned char ip_summed : 2 ;
2863 unsigned char nohdr : 1 ;
2864 unsigned char nfctinfo : 3 ;
2865 unsigned char pkt_type : 3 ;
2866 unsigned char fclone : 2 ;
2867 unsigned char ipvs_property : 1 ;
2868 unsigned char peeked : 1 ;
2869 unsigned char nf_trace : 1 ;
2870 __be16 protocol ;
2871 void (*destructor)(struct sk_buff * ) ;
2872 struct nf_conntrack *nfct ;
2873 struct sk_buff *nfct_reasm ;
2874 struct nf_bridge_info *nf_bridge ;
2875 int skb_iif ;
2876 __u32 rxhash ;
2877 __u16 vlan_tci ;
2878 __u16 tc_index ;
2879 __u16 tc_verd ;
2880 __u16 queue_mapping ;
2881 unsigned char ndisc_nodetype : 2 ;
2882 unsigned char ooo_okay : 1 ;
2883 unsigned char l4_rxhash : 1 ;
2884 unsigned char wifi_acked_valid : 1 ;
2885 unsigned char wifi_acked : 1 ;
2886 unsigned char no_fcs : 1 ;
2887 dma_cookie_t dma_cookie ;
2888 __u32 secmark ;
2889 union __anonunion_ldv_25443_172 ldv_25443 ;
2890 sk_buff_data_t transport_header ;
2891 sk_buff_data_t network_header ;
2892 sk_buff_data_t mac_header ;
2893 sk_buff_data_t tail ;
2894 sk_buff_data_t end ;
2895 unsigned char *head ;
2896 unsigned char *data ;
2897 unsigned int truesize ;
2898 atomic_t users ;
2899};
2900#line 145 "include/linux/if_ether.h"
2901struct ks8842_platform_data {
2902 u8 macaddr[6U] ;
2903 int rx_dma_channel ;
2904 int tx_dma_channel ;
2905};
2906#line 37 "include/linux/ks8842.h"
2907struct __anonstruct_fw_173 {
2908 u32 major ;
2909 u32 minor ;
2910 u32 config ;
2911};
2912#line 37 "include/linux/ks8842.h"
2913struct timberdale_device {
2914 resource_size_t ctl_mapbase ;
2915 unsigned char *ctl_membase ;
2916 struct __anonstruct_fw_173 fw ;
2917};
2918#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
2919void ldv_spin_lock(void) ;
2920#line 3
2921void ldv_spin_unlock(void) ;
2922#line 4
2923int ldv_spin_trylock(void) ;
2924#line 101 "include/linux/printk.h"
2925extern int printk(char const * , ...) ;
2926#line 320 "include/linux/kernel.h"
2927extern int sprintf(char * , char const * , ...) ;
2928#line 138 "include/linux/ioport.h"
2929extern struct resource iomem_resource ;
2930#line 181
2931extern struct resource *__request_region(struct resource * , resource_size_t , resource_size_t ,
2932 char const * , int ) ;
2933#line 192
2934extern void __release_region(struct resource * , resource_size_t , resource_size_t ) ;
2935#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
2936extern void *ioremap_nocache(resource_size_t , unsigned long ) ;
2937#line 182 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
2938__inline static void *ioremap(resource_size_t offset , unsigned long size )
2939{ void *tmp ;
2940
2941 {
2942 {
2943#line 184
2944 tmp = ioremap_nocache(offset, size);
2945 }
2946#line 184
2947 return (tmp);
2948}
2949}
2950#line 187
2951extern void iounmap(void volatile * ) ;
2952#line 31 "include/asm-generic/iomap.h"
2953extern unsigned int ioread32(void * ) ;
2954#line 37
2955extern void iowrite32(u32 , void * ) ;
2956#line 26 "include/linux/export.h"
2957extern struct module __this_module ;
2958#line 161 "include/linux/slab.h"
2959extern void kfree(void const * ) ;
2960#line 220 "include/linux/slub_def.h"
2961extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
2962#line 223
2963void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
2964#line 353 "include/linux/slab.h"
2965__inline static void *kzalloc(size_t size , gfp_t flags ) ;
2966#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
2967extern void *__VERIFIER_nondet_pointer(void) ;
2968#line 11
2969void ldv_check_alloc_flags(gfp_t flags ) ;
2970#line 12
2971void ldv_check_alloc_nonatomic(void) ;
2972#line 14
2973struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
2974#line 507 "include/linux/device.h"
2975extern int device_create_file(struct device * , struct device_attribute const * ) ;
2976#line 509
2977extern void device_remove_file(struct device * , struct device_attribute const * ) ;
2978#line 792
2979extern void *dev_get_drvdata(struct device const * ) ;
2980#line 793
2981extern int dev_set_drvdata(struct device * , void * ) ;
2982#line 892
2983extern int dev_err(struct device const * , char const * , ...) ;
2984#line 898
2985extern int _dev_info(struct device const * , char const * , ...) ;
2986#line 773 "include/linux/pci.h"
2987extern int pci_enable_device(struct pci_dev * ) ;
2988#line 790
2989extern void pci_disable_device(struct pci_dev * ) ;
2990#line 940
2991extern int __pci_register_driver(struct pci_driver * , struct module * , char const * ) ;
2992#line 949
2993extern void pci_unregister_driver(struct pci_driver * ) ;
2994#line 1054
2995extern int pci_enable_msix(struct pci_dev * , struct msix_entry * , int ) ;
2996#line 1057
2997extern void pci_disable_msix(struct pci_dev * ) ;
2998#line 1358 "include/linux/pci.h"
2999__inline static void *pci_get_drvdata(struct pci_dev *pdev )
3000{ void *tmp ;
3001 unsigned long __cil_tmp3 ;
3002 unsigned long __cil_tmp4 ;
3003 struct device *__cil_tmp5 ;
3004 struct device const *__cil_tmp6 ;
3005
3006 {
3007 {
3008#line 1360
3009 __cil_tmp3 = (unsigned long )pdev;
3010#line 1360
3011 __cil_tmp4 = __cil_tmp3 + 144;
3012#line 1360
3013 __cil_tmp5 = (struct device *)__cil_tmp4;
3014#line 1360
3015 __cil_tmp6 = (struct device const *)__cil_tmp5;
3016#line 1360
3017 tmp = dev_get_drvdata(__cil_tmp6);
3018 }
3019#line 1360
3020 return (tmp);
3021}
3022}
3023#line 1363 "include/linux/pci.h"
3024__inline static void pci_set_drvdata(struct pci_dev *pdev , void *data )
3025{ unsigned long __cil_tmp3 ;
3026 unsigned long __cil_tmp4 ;
3027 struct device *__cil_tmp5 ;
3028
3029 {
3030 {
3031#line 1365
3032 __cil_tmp3 = (unsigned long )pdev;
3033#line 1365
3034 __cil_tmp4 = __cil_tmp3 + 144;
3035#line 1365
3036 __cil_tmp5 = (struct device *)__cil_tmp4;
3037#line 1365
3038 dev_set_drvdata(__cil_tmp5, data);
3039 }
3040#line 1366
3041 return;
3042}
3043}
3044#line 93 "include/linux/mfd/core.h"
3045extern int mfd_add_devices(struct device * , int , struct mfd_cell * , int , struct resource * ,
3046 int ) ;
3047#line 98
3048extern void mfd_remove_devices(struct device * ) ;
3049#line 591 "include/linux/skbuff.h"
3050extern struct sk_buff *skb_clone(struct sk_buff * , gfp_t ) ;
3051#line 595
3052struct sk_buff *ldv_skb_clone_22(struct sk_buff *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3053#line 597
3054extern struct sk_buff *skb_copy(struct sk_buff const * , gfp_t ) ;
3055#line 601
3056struct sk_buff *ldv_skb_copy_24(struct sk_buff const *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3057#line 606
3058extern int pskb_expand_head(struct sk_buff * , int , int , gfp_t ) ;
3059#line 611
3060int ldv_pskb_expand_head_27(struct sk_buff *ldv_func_arg1 , int ldv_func_arg2 , int ldv_func_arg3 ,
3061 gfp_t ldv_func_arg4 ) ;
3062#line 1690
3063extern struct sk_buff *__netdev_alloc_skb(struct net_device * , unsigned int , gfp_t ) ;
3064#line 1694
3065struct sk_buff *ldv___netdev_alloc_skb_25(struct net_device *ldv_func_arg1 , unsigned int ldv_func_arg2 ,
3066 gfp_t ldv_func_arg3 ) ;
3067#line 1698
3068struct sk_buff *ldv___netdev_alloc_skb_26(struct net_device *ldv_func_arg1 , unsigned int ldv_func_arg2 ,
3069 gfp_t ldv_func_arg3 ) ;
3070#line 80 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3071static struct tsc2007_platform_data timberdale_tsc2007_platform_data =
3072#line 80 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3073 {(u16 )2003U, (u16 )100U, (unsigned short)0, 0UL, 0UL, 0, 0, 0, (int (*)(void))0,
3074 (void (*)(void))0, (int (*)(void))0, (void (*)(void))0};
3075#line 85 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3076static struct i2c_board_info timberdale_i2c_board_info[1U] = { {{(char )'t', (char )'s', (char )'c', (char )'2', (char )'0', (char )'0', (char )'7',
3077 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
3078 (char)0, (char)0, (char)0, (char)0, (char)0}, (unsigned short)0, (unsigned short)72,
3079 (void *)(& timberdale_tsc2007_platform_data), (struct dev_archdata *)0, (struct device_node *)0,
3080 7}};
3081#line 94 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3082static struct xiic_i2c_platform_data timberdale_xiic_platform_data = {(u8 )1U, (struct i2c_board_info const *)(& timberdale_i2c_board_info)};
3083#line 100 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3084static struct ocores_i2c_platform_data timberdale_ocores_platform_data = {4U, 62500U, (u8 )1U, (struct i2c_board_info const *)(& timberdale_i2c_board_info)};
3085#line 107 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3086static struct resource const timberdale_xiic_resources[2U] = { {6144ULL, 6655ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3087 (struct resource *)0},
3088 {3ULL, 3ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3089 (struct resource *)0}};
3090#line 120 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3091static struct resource const timberdale_ocores_resources[2U] = { {0ULL, 31ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3092 (struct resource *)0},
3093 {3ULL, 3ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3094 (struct resource *)0}};
3095#line 133 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3096struct max7301_platform_data const timberdale_max7301_platform_data = {200U, 0U};
3097#line 137 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3098struct mc33880_platform_data const timberdale_mc33880_platform_data = {100U};
3099#line 141 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3100static struct spi_board_info timberdale_spi_16bit_board_info[1U] = { {{(char )'m', (char )'a', (char )'x', (char )'7', (char )'3', (char )'0', (char )'1',
3101 (char )'\000'}, (void const *)(& timberdale_max7301_platform_data), (void *)0,
3102 0, 26000U, (unsigned short)0, (u16 )2U, (u8 )0U}};
3103#line 151 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3104static struct spi_board_info timberdale_spi_8bit_board_info[1U] = { {{(char )'m', (char )'c', (char )'3', (char )'3', (char )'8', (char )'8', (char )'0',
3105 (char )'\000'}, (void const *)(& timberdale_mc33880_platform_data), (void *)0,
3106 0, 4000U, (unsigned short)0, (u16 )1U, (u8 )1U}};
3107#line 161 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3108static struct xspi_platform_data timberdale_xspi_platform_data = {(u16 )3U, (bool )1, (unsigned char)0, (struct spi_board_info *)0, (unsigned char)0};
3109#line 169 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3110static struct resource const timberdale_spi_resources[2U] = { {128ULL, 255ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3111 (struct resource *)0},
3112 {11ULL, 11ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3113 (struct resource *)0}};
3114#line 183 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3115static struct ks8842_platform_data timberdale_ks8842_platform_data = {{(unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
3116 (unsigned char)0}, 8, 9};
3117#line 188 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3118static struct resource const timberdale_eth_resources[2U] = { {768ULL, 1023ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3119 (struct resource *)0},
3120 {10ULL, 10ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3121 (struct resource *)0}};
3122#line 202 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3123static struct timbgpio_platform_data timberdale_gpio_platform_data = {0, 16, 200};
3124#line 208 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3125static struct resource const timberdale_gpio_resources[2U] = { {1024ULL, 2047ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3126 (struct resource *)0},
3127 {2ULL, 2ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3128 (struct resource *)0}};
3129#line 221 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3130static struct resource const timberdale_mlogicore_resources[3U] = { {262144ULL, 278527ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3131 (struct resource *)0},
3132 {13ULL, 13ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3133 (struct resource *)0},
3134 {14ULL, 14ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3135 (struct resource *)0}};
3136#line 239 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3137static struct resource const timberdale_uart_resources[2U] = { {5120ULL, 6143ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3138 (struct resource *)0},
3139 {4ULL, 4ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3140 (struct resource *)0}};
3141#line 252 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3142static struct resource const timberdale_uartlite_resources[2U] = { {256ULL, 271ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3143 (struct resource *)0},
3144 {12ULL, 12ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3145 (struct resource *)0}};
3146#line 265 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3147static struct i2c_board_info timberdale_adv7180_i2c_board_info = {{(char )'a', (char )'d', (char )'v', (char )'7', (char )'1', (char )'8', (char )'0',
3148 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
3149 (char)0, (char)0, (char)0, (char)0, (char)0}, (unsigned short)0, (unsigned short)33,
3150 (void *)0, (struct dev_archdata *)0, (struct device_node *)0, 9};
3151#line 272 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3152static struct timb_video_platform_data timberdale_video_platform_data = {4, 0, {(char const *)0, & timberdale_adv7180_i2c_board_info}};
3153#line 281 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3154static struct resource const timberdale_radio_resources[2U] = { {384ULL, 387ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3155 (struct resource *)0},
3156 {15ULL, 15ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3157 (struct resource *)0}};
3158#line 294 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3159static struct i2c_board_info timberdale_tef6868_i2c_board_info = {{(char )'t', (char )'e', (char )'f', (char )'6', (char )'8', (char )'6', (char )'2',
3160 (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
3161 (char)0, (char)0, (char)0, (char)0, (char)0}, (unsigned short)0, (unsigned short)96,
3162 (void *)0, (struct dev_archdata *)0, (struct device_node *)0, 0};
3163#line 298 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3164static struct i2c_board_info timberdale_saa7706_i2c_board_info = {{(char )'s', (char )'a', (char )'a', (char )'7', (char )'7', (char )'0', (char )'6',
3165 (char )'h', (char )'\000', (char)0, (char)0, (char)0, (char)0, (char)0, (char)0,
3166 (char)0, (char)0, (char)0, (char)0, (char)0}, (unsigned short)0, (unsigned short)28,
3167 (void *)0, (struct dev_archdata *)0, (struct device_node *)0, 0};
3168#line 303 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3169static struct timb_radio_platform_data timberdale_radio_platform_data = {0, & timberdale_tef6868_i2c_board_info, & timberdale_saa7706_i2c_board_info};
3170#line 309 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3171static struct resource const timberdale_video_resources[1U] = { {196608ULL, 229375ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3172 (struct resource *)0}};
3173#line 321 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3174static struct timb_dma_platform_data timb_dma_platform_data = {10U, {{(bool )1, 0U, 2U, 1U}, {(bool )0, 0U, 2U, 1U}, {(bool )1, 0U, 2U, 1U},
3175 {(bool )0, 0U, 2U, 1U}, {(bool )1, 1440U, 2U, 16U}, {(_Bool)0, 0U, 0U, 0U},
3176 {(bool )1, 0U, 0U, 0U}, {(_Bool)0, 0U, 0U, 0U}, {(bool )1, 0U, 2U, 1U},
3177 {(bool )0, 0U, 2U, 1U}}};
3178#line 380 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3179static struct resource const timberdale_dma_resources[2U] = { {16777216ULL, 20971519ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3180 (struct resource *)0},
3181 {5ULL, 5ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3182 (struct resource *)0}};
3183#line 393 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3184static struct mfd_cell timberdale_cells_bar0_cfg0[8U] =
3185#line 393
3186 { {"timb-dma", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3187 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3188 (void *)(& timb_dma_platform_data), 516UL, 2, (struct resource const *)(& timberdale_dma_resources),
3189 (_Bool)0, (_Bool)0},
3190 {"timb-uart", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3191 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3192 (void *)0, 0UL, 2, (struct resource const *)(& timberdale_uart_resources),
3193 (_Bool)0, (_Bool)0},
3194 {"xiic-i2c", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3195 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3196 (void *)(& timberdale_xiic_platform_data), 16UL, 2, (struct resource const *)(& timberdale_xiic_resources),
3197 (_Bool)0, (_Bool)0},
3198 {"timb-gpio", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3199 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3200 (void *)(& timberdale_gpio_platform_data), 12UL, 2, (struct resource const *)(& timberdale_gpio_resources),
3201 (_Bool)0, (_Bool)0},
3202 {"timb-video", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3203 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3204 (void *)(& timberdale_video_platform_data), 24UL, 1, (struct resource const *)(& timberdale_video_resources),
3205 (_Bool)0, (_Bool)0},
3206 {"timb-radio", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3207 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3208 (void *)(& timberdale_radio_platform_data), 24UL, 2, (struct resource const *)(& timberdale_radio_resources),
3209 (_Bool)0, (_Bool)0},
3210 {"xilinx_spi", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3211 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3212 (void *)(& timberdale_xspi_platform_data), 24UL, 2, (struct resource const *)(& timberdale_spi_resources),
3213 (_Bool)0, (_Bool)0},
3214 {"ks8842", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3215 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3216 (void *)(& timberdale_ks8842_platform_data), 16UL, 2, (struct resource const *)(& timberdale_eth_resources),
3217 (_Bool)0, (_Bool)0}};
3218#line 450 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3219static struct mfd_cell timberdale_cells_bar0_cfg1[10U] =
3220#line 450
3221 { {"timb-dma", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3222 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3223 (void *)(& timb_dma_platform_data), 516UL, 2, (struct resource const *)(& timberdale_dma_resources),
3224 (_Bool)0, (_Bool)0},
3225 {"timb-uart", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3226 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3227 (void *)0, 0UL, 2, (struct resource const *)(& timberdale_uart_resources),
3228 (_Bool)0, (_Bool)0},
3229 {"uartlite", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3230 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3231 (void *)0, 0UL, 2, (struct resource const *)(& timberdale_uartlite_resources),
3232 (_Bool)0, (_Bool)0},
3233 {"xiic-i2c", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3234 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3235 (void *)(& timberdale_xiic_platform_data), 16UL, 2, (struct resource const *)(& timberdale_xiic_resources),
3236 (_Bool)0, (_Bool)0},
3237 {"timb-gpio", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3238 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3239 (void *)(& timberdale_gpio_platform_data), 12UL, 2, (struct resource const *)(& timberdale_gpio_resources),
3240 (_Bool)0, (_Bool)0},
3241 {"timb-mlogicore", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3242 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3243 (void *)0, 0UL, 3, (struct resource const *)(& timberdale_mlogicore_resources),
3244 (_Bool)0, (_Bool)0},
3245 {"timb-video", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3246 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3247 (void *)(& timberdale_video_platform_data), 24UL, 1, (struct resource const *)(& timberdale_video_resources),
3248 (_Bool)0, (_Bool)0},
3249 {"timb-radio", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3250 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3251 (void *)(& timberdale_radio_platform_data), 24UL, 2, (struct resource const *)(& timberdale_radio_resources),
3252 (_Bool)0, (_Bool)0},
3253 {"xilinx_spi", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3254 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3255 (void *)(& timberdale_xspi_platform_data), 24UL, 2, (struct resource const *)(& timberdale_spi_resources),
3256 (_Bool)0, (_Bool)0},
3257 {"ks8842", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3258 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3259 (void *)(& timberdale_ks8842_platform_data), 16UL, 2, (struct resource const *)(& timberdale_eth_resources),
3260 (_Bool)0, (_Bool)0}};
3261#line 517 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3262static struct mfd_cell timberdale_cells_bar0_cfg2[7U] = { {"timb-dma", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3263 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3264 (void *)(& timb_dma_platform_data), 516UL, 2, (struct resource const *)(& timberdale_dma_resources),
3265 (_Bool)0, (_Bool)0},
3266 {"timb-uart", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3267 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3268 (void *)0, 0UL, 2, (struct resource const *)(& timberdale_uart_resources),
3269 (_Bool)0, (_Bool)0},
3270 {"xiic-i2c", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3271 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3272 (void *)(& timberdale_xiic_platform_data), 16UL, 2, (struct resource const *)(& timberdale_xiic_resources),
3273 (_Bool)0, (_Bool)0},
3274 {"timb-gpio", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3275 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3276 (void *)(& timberdale_gpio_platform_data), 12UL, 2, (struct resource const *)(& timberdale_gpio_resources),
3277 (_Bool)0, (_Bool)0},
3278 {"timb-video", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3279 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3280 (void *)(& timberdale_video_platform_data), 24UL, 1, (struct resource const *)(& timberdale_video_resources),
3281 (_Bool)0, (_Bool)0},
3282 {"timb-radio", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3283 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3284 (void *)(& timberdale_radio_platform_data), 24UL, 2, (struct resource const *)(& timberdale_radio_resources),
3285 (_Bool)0, (_Bool)0},
3286 {"xilinx_spi", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3287 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3288 (void *)(& timberdale_xspi_platform_data), 24UL, 2, (struct resource const *)(& timberdale_spi_resources),
3289 (_Bool)0, (_Bool)0}};
3290#line 567 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3291static struct mfd_cell timberdale_cells_bar0_cfg3[8U] =
3292#line 567
3293 { {"timb-dma", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3294 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3295 (void *)(& timb_dma_platform_data), 516UL, 2, (struct resource const *)(& timberdale_dma_resources),
3296 (_Bool)0, (_Bool)0},
3297 {"timb-uart", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3298 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3299 (void *)0, 0UL, 2, (struct resource const *)(& timberdale_uart_resources),
3300 (_Bool)0, (_Bool)0},
3301 {"ocores-i2c", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3302 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3303 (void *)(& timberdale_ocores_platform_data), 24UL, 2, (struct resource const *)(& timberdale_ocores_resources),
3304 (_Bool)0, (_Bool)0},
3305 {"timb-gpio", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3306 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3307 (void *)(& timberdale_gpio_platform_data), 12UL, 2, (struct resource const *)(& timberdale_gpio_resources),
3308 (_Bool)0, (_Bool)0},
3309 {"timb-video", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3310 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3311 (void *)(& timberdale_video_platform_data), 24UL, 1, (struct resource const *)(& timberdale_video_resources),
3312 (_Bool)0, (_Bool)0},
3313 {"timb-radio", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3314 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3315 (void *)(& timberdale_radio_platform_data), 24UL, 2, (struct resource const *)(& timberdale_radio_resources),
3316 (_Bool)0, (_Bool)0},
3317 {"xilinx_spi", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3318 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3319 (void *)(& timberdale_xspi_platform_data), 24UL, 2, (struct resource const *)(& timberdale_spi_resources),
3320 (_Bool)0, (_Bool)0},
3321 {"ks8842", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3322 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3323 (void *)(& timberdale_ks8842_platform_data), 16UL, 2, (struct resource const *)(& timberdale_eth_resources),
3324 (_Bool)0, (_Bool)0}};
3325#line 624 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3326static struct resource const timberdale_sdhc_resources[2U] = { {0ULL, 255ULL, (char const *)0, 512UL, (struct resource *)0, (struct resource *)0,
3327 (struct resource *)0},
3328 {8ULL, 8ULL, (char const *)0, 1024UL, (struct resource *)0, (struct resource *)0,
3329 (struct resource *)0}};
3330#line 638 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3331static struct mfd_cell timberdale_cells_bar1[1U] = { {"sdhci", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3332 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3333 (void *)0, 0UL, 2, (struct resource const *)(& timberdale_sdhc_resources),
3334 (_Bool)0, (_Bool)0}};
3335#line 646 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3336static struct mfd_cell timberdale_cells_bar2[1U] = { {"sdhci", 0, (atomic_t *)0, (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3337 (int (*)(struct platform_device * ))0, (int (*)(struct platform_device * ))0,
3338 (void *)0, 0UL, 2, (struct resource const *)(& timberdale_sdhc_resources),
3339 (_Bool)0, (_Bool)0}};
3340#line 654 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3341static ssize_t show_fw_ver(struct device *dev , struct device_attribute *attr , char *buf )
3342{ struct pci_dev *pdev ;
3343 struct device const *__mptr ;
3344 struct timberdale_device *priv ;
3345 void *tmp ;
3346 int tmp___0 ;
3347 struct pci_dev *__cil_tmp9 ;
3348 unsigned long __cil_tmp10 ;
3349 unsigned long __cil_tmp11 ;
3350 u32 __cil_tmp12 ;
3351 unsigned long __cil_tmp13 ;
3352 unsigned long __cil_tmp14 ;
3353 unsigned long __cil_tmp15 ;
3354 u32 __cil_tmp16 ;
3355 unsigned long __cil_tmp17 ;
3356 unsigned long __cil_tmp18 ;
3357 unsigned long __cil_tmp19 ;
3358 u32 __cil_tmp20 ;
3359
3360 {
3361 {
3362#line 657
3363 __mptr = (struct device const *)dev;
3364#line 657
3365 __cil_tmp9 = (struct pci_dev *)__mptr;
3366#line 657
3367 pdev = __cil_tmp9 + 0xffffffffffffff70UL;
3368#line 658
3369 tmp = pci_get_drvdata(pdev);
3370#line 658
3371 priv = (struct timberdale_device *)tmp;
3372#line 660
3373 __cil_tmp10 = (unsigned long )priv;
3374#line 660
3375 __cil_tmp11 = __cil_tmp10 + 16;
3376#line 660
3377 __cil_tmp12 = *((u32 *)__cil_tmp11);
3378#line 660
3379 __cil_tmp13 = 16 + 4;
3380#line 660
3381 __cil_tmp14 = (unsigned long )priv;
3382#line 660
3383 __cil_tmp15 = __cil_tmp14 + __cil_tmp13;
3384#line 660
3385 __cil_tmp16 = *((u32 *)__cil_tmp15);
3386#line 660
3387 __cil_tmp17 = 16 + 8;
3388#line 660
3389 __cil_tmp18 = (unsigned long )priv;
3390#line 660
3391 __cil_tmp19 = __cil_tmp18 + __cil_tmp17;
3392#line 660
3393 __cil_tmp20 = *((u32 *)__cil_tmp19);
3394#line 660
3395 tmp___0 = sprintf(buf, "%d.%d.%d\n", __cil_tmp12, __cil_tmp16, __cil_tmp20);
3396 }
3397#line 660
3398 return ((ssize_t )tmp___0);
3399}
3400}
3401#line 664 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3402static struct device_attribute dev_attr_fw_ver = {{"fw_ver", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0},
3403 {(char)0}, {(char)0},
3404 {(char)0}, {(char)0},
3405 {(char)0}, {(char)0}}}},
3406 & show_fw_ver, (ssize_t (*)(struct device * , struct device_attribute * , char const * ,
3407 size_t ))0};
3408#line 668 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
3409static int timb_probe(struct pci_dev *dev , struct pci_device_id const *id )
3410{ struct timberdale_device *priv ;
3411 int err ;
3412 int i ;
3413 resource_size_t mapbase ;
3414 struct msix_entry *msix_entries ;
3415 u8 ip_setup ;
3416 void *tmp ;
3417 struct resource *tmp___0 ;
3418 void *tmp___1 ;
3419 void *tmp___2 ;
3420 struct timberdale_device *__cil_tmp13 ;
3421 unsigned long __cil_tmp14 ;
3422 unsigned long __cil_tmp15 ;
3423 void *__cil_tmp16 ;
3424 unsigned long __cil_tmp17 ;
3425 unsigned long __cil_tmp18 ;
3426 unsigned long __cil_tmp19 ;
3427 unsigned long __cil_tmp20 ;
3428 unsigned long __cil_tmp21 ;
3429 unsigned long __cil_tmp22 ;
3430 struct device *__cil_tmp23 ;
3431 struct device const *__cil_tmp24 ;
3432 resource_size_t __cil_tmp25 ;
3433 struct resource *__cil_tmp26 ;
3434 unsigned long __cil_tmp27 ;
3435 unsigned long __cil_tmp28 ;
3436 unsigned long __cil_tmp29 ;
3437 unsigned long __cil_tmp30 ;
3438 struct device *__cil_tmp31 ;
3439 struct device const *__cil_tmp32 ;
3440 resource_size_t __cil_tmp33 ;
3441 unsigned long __cil_tmp34 ;
3442 unsigned long __cil_tmp35 ;
3443 unsigned char *__cil_tmp36 ;
3444 unsigned long __cil_tmp37 ;
3445 unsigned long __cil_tmp38 ;
3446 unsigned long __cil_tmp39 ;
3447 unsigned char *__cil_tmp40 ;
3448 unsigned long __cil_tmp41 ;
3449 unsigned long __cil_tmp42 ;
3450 unsigned long __cil_tmp43 ;
3451 struct device *__cil_tmp44 ;
3452 struct device const *__cil_tmp45 ;
3453 unsigned long __cil_tmp46 ;
3454 unsigned long __cil_tmp47 ;
3455 unsigned long __cil_tmp48 ;
3456 unsigned long __cil_tmp49 ;
3457 unsigned char *__cil_tmp50 ;
3458 void *__cil_tmp51 ;
3459 unsigned long __cil_tmp52 ;
3460 unsigned long __cil_tmp53 ;
3461 unsigned long __cil_tmp54 ;
3462 unsigned long __cil_tmp55 ;
3463 unsigned long __cil_tmp56 ;
3464 unsigned char *__cil_tmp57 ;
3465 void *__cil_tmp58 ;
3466 void *__cil_tmp59 ;
3467 unsigned long __cil_tmp60 ;
3468 unsigned long __cil_tmp61 ;
3469 unsigned long __cil_tmp62 ;
3470 unsigned long __cil_tmp63 ;
3471 unsigned long __cil_tmp64 ;
3472 unsigned char *__cil_tmp65 ;
3473 void *__cil_tmp66 ;
3474 void *__cil_tmp67 ;
3475 unsigned long __cil_tmp68 ;
3476 unsigned long __cil_tmp69 ;
3477 u32 __cil_tmp70 ;
3478 unsigned long __cil_tmp71 ;
3479 unsigned long __cil_tmp72 ;
3480 struct device *__cil_tmp73 ;
3481 struct device const *__cil_tmp74 ;
3482 unsigned long __cil_tmp75 ;
3483 unsigned long __cil_tmp76 ;
3484 u32 __cil_tmp77 ;
3485 unsigned long __cil_tmp78 ;
3486 unsigned long __cil_tmp79 ;
3487 unsigned long __cil_tmp80 ;
3488 u32 __cil_tmp81 ;
3489 unsigned long __cil_tmp82 ;
3490 unsigned long __cil_tmp83 ;
3491 u32 __cil_tmp84 ;
3492 unsigned long __cil_tmp85 ;
3493 unsigned long __cil_tmp86 ;
3494 struct device *__cil_tmp87 ;
3495 struct device const *__cil_tmp88 ;
3496 unsigned long __cil_tmp89 ;
3497 unsigned long __cil_tmp90 ;
3498 u32 __cil_tmp91 ;
3499 unsigned long __cil_tmp92 ;
3500 unsigned long __cil_tmp93 ;
3501 unsigned long __cil_tmp94 ;
3502 u32 __cil_tmp95 ;
3503 unsigned long __cil_tmp96 ;
3504 unsigned long __cil_tmp97 ;
3505 unsigned long __cil_tmp98 ;
3506 u32 __cil_tmp99 ;
3507 unsigned long __cil_tmp100 ;
3508 unsigned long __cil_tmp101 ;
3509 struct device *__cil_tmp102 ;
3510 struct device const *__cil_tmp103 ;
3511 unsigned long __cil_tmp104 ;
3512 unsigned long __cil_tmp105 ;
3513 u32 __cil_tmp106 ;
3514 unsigned long __cil_tmp107 ;
3515 unsigned long __cil_tmp108 ;
3516 unsigned long __cil_tmp109 ;
3517 u32 __cil_tmp110 ;
3518 struct msix_entry *__cil_tmp111 ;
3519 unsigned long __cil_tmp112 ;
3520 unsigned long __cil_tmp113 ;
3521 unsigned long __cil_tmp114 ;
3522 struct msix_entry *__cil_tmp115 ;
3523 unsigned long __cil_tmp116 ;
3524 unsigned long __cil_tmp117 ;
3525 unsigned long __cil_tmp118 ;
3526 unsigned long __cil_tmp119 ;
3527 struct device *__cil_tmp120 ;
3528 struct device const *__cil_tmp121 ;
3529 unsigned long __cil_tmp122 ;
3530 unsigned long __cil_tmp123 ;
3531 struct device *__cil_tmp124 ;
3532 struct device_attribute const *__cil_tmp125 ;
3533 unsigned long __cil_tmp126 ;
3534 unsigned long __cil_tmp127 ;
3535 unsigned char *__cil_tmp128 ;
3536 void *__cil_tmp129 ;
3537 void *__cil_tmp130 ;
3538 unsigned long __cil_tmp131 ;
3539 unsigned long __cil_tmp132 ;
3540 unsigned long __cil_tmp133 ;
3541 unsigned long __cil_tmp134 ;
3542 unsigned long __cil_tmp135 ;
3543 unsigned long __cil_tmp136 ;
3544 int __cil_tmp137 ;
3545 unsigned long __cil_tmp138 ;
3546 struct msix_entry *__cil_tmp139 ;
3547 u32 __cil_tmp140 ;
3548 unsigned long __cil_tmp141 ;
3549 unsigned long __cil_tmp142 ;
3550 unsigned long __cil_tmp143 ;
3551 u32 __cil_tmp144 ;
3552 unsigned int __cil_tmp145 ;
3553 unsigned long __cil_tmp146 ;
3554 unsigned long __cil_tmp147 ;
3555 unsigned long __cil_tmp148 ;
3556 unsigned long __cil_tmp149 ;
3557 unsigned long __cil_tmp150 ;
3558 unsigned long __cil_tmp151 ;
3559 unsigned long __cil_tmp152 ;
3560 unsigned long __cil_tmp153 ;
3561 unsigned long __cil_tmp154 ;
3562 u32 __cil_tmp155 ;
3563 u8 __cil_tmp156 ;
3564 unsigned int __cil_tmp157 ;
3565 unsigned int __cil_tmp158 ;
3566 unsigned long __cil_tmp159 ;
3567 unsigned long __cil_tmp160 ;
3568 struct device *__cil_tmp161 ;
3569 struct mfd_cell *__cil_tmp162 ;
3570 unsigned long __cil_tmp163 ;
3571 unsigned long __cil_tmp164 ;
3572 struct resource (*__cil_tmp165)[17U] ;
3573 struct resource *__cil_tmp166 ;
3574 u32 __cil_tmp167 ;
3575 int __cil_tmp168 ;
3576 unsigned long __cil_tmp169 ;
3577 unsigned long __cil_tmp170 ;
3578 struct device *__cil_tmp171 ;
3579 struct mfd_cell *__cil_tmp172 ;
3580 unsigned long __cil_tmp173 ;
3581 unsigned long __cil_tmp174 ;
3582 struct resource (*__cil_tmp175)[17U] ;
3583 struct resource *__cil_tmp176 ;
3584 u32 __cil_tmp177 ;
3585 int __cil_tmp178 ;
3586 unsigned long __cil_tmp179 ;
3587 unsigned long __cil_tmp180 ;
3588 struct device *__cil_tmp181 ;
3589 struct mfd_cell *__cil_tmp182 ;
3590 unsigned long __cil_tmp183 ;
3591 unsigned long __cil_tmp184 ;
3592 struct resource (*__cil_tmp185)[17U] ;
3593 struct resource *__cil_tmp186 ;
3594 u32 __cil_tmp187 ;
3595 int __cil_tmp188 ;
3596 unsigned long __cil_tmp189 ;
3597 unsigned long __cil_tmp190 ;
3598 struct device *__cil_tmp191 ;
3599 struct mfd_cell *__cil_tmp192 ;
3600 unsigned long __cil_tmp193 ;
3601 unsigned long __cil_tmp194 ;
3602 struct resource (*__cil_tmp195)[17U] ;
3603 struct resource *__cil_tmp196 ;
3604 u32 __cil_tmp197 ;
3605 int __cil_tmp198 ;
3606 unsigned long __cil_tmp199 ;
3607 unsigned long __cil_tmp200 ;
3608 struct device *__cil_tmp201 ;
3609 struct device const *__cil_tmp202 ;
3610 unsigned long __cil_tmp203 ;
3611 unsigned long __cil_tmp204 ;
3612 u32 __cil_tmp205 ;
3613 unsigned long __cil_tmp206 ;
3614 unsigned long __cil_tmp207 ;
3615 unsigned long __cil_tmp208 ;
3616 u32 __cil_tmp209 ;
3617 int __cil_tmp210 ;
3618 unsigned long __cil_tmp211 ;
3619 unsigned long __cil_tmp212 ;
3620 struct device *__cil_tmp213 ;
3621 struct device const *__cil_tmp214 ;
3622 unsigned long __cil_tmp215 ;
3623 unsigned long __cil_tmp216 ;
3624 struct device *__cil_tmp217 ;
3625 struct mfd_cell *__cil_tmp218 ;
3626 unsigned long __cil_tmp219 ;
3627 unsigned long __cil_tmp220 ;
3628 struct resource (*__cil_tmp221)[17U] ;
3629 struct resource *__cil_tmp222 ;
3630 struct resource *__cil_tmp223 ;
3631 u32 __cil_tmp224 ;
3632 int __cil_tmp225 ;
3633 unsigned long __cil_tmp226 ;
3634 unsigned long __cil_tmp227 ;
3635 struct device *__cil_tmp228 ;
3636 struct device const *__cil_tmp229 ;
3637 unsigned long __cil_tmp230 ;
3638 unsigned long __cil_tmp231 ;
3639 unsigned long __cil_tmp232 ;
3640 u32 __cil_tmp233 ;
3641 unsigned int __cil_tmp234 ;
3642 unsigned long __cil_tmp235 ;
3643 unsigned long __cil_tmp236 ;
3644 unsigned long __cil_tmp237 ;
3645 u32 __cil_tmp238 ;
3646 unsigned int __cil_tmp239 ;
3647 unsigned long __cil_tmp240 ;
3648 unsigned long __cil_tmp241 ;
3649 struct device *__cil_tmp242 ;
3650 struct mfd_cell *__cil_tmp243 ;
3651 unsigned long __cil_tmp244 ;
3652 unsigned long __cil_tmp245 ;
3653 struct resource (*__cil_tmp246)[17U] ;
3654 struct resource *__cil_tmp247 ;
3655 struct resource *__cil_tmp248 ;
3656 u32 __cil_tmp249 ;
3657 int __cil_tmp250 ;
3658 unsigned long __cil_tmp251 ;
3659 unsigned long __cil_tmp252 ;
3660 struct device *__cil_tmp253 ;
3661 struct device const *__cil_tmp254 ;
3662 void const *__cil_tmp255 ;
3663 unsigned long __cil_tmp256 ;
3664 unsigned long __cil_tmp257 ;
3665 struct device *__cil_tmp258 ;
3666 struct device const *__cil_tmp259 ;
3667 unsigned long __cil_tmp260 ;
3668 unsigned long __cil_tmp261 ;
3669 u32 __cil_tmp262 ;
3670 unsigned long __cil_tmp263 ;
3671 unsigned long __cil_tmp264 ;
3672 unsigned long __cil_tmp265 ;
3673 u32 __cil_tmp266 ;
3674 unsigned long __cil_tmp267 ;
3675 unsigned long __cil_tmp268 ;
3676 unsigned long __cil_tmp269 ;
3677 u32 __cil_tmp270 ;
3678 unsigned long __cil_tmp271 ;
3679 unsigned long __cil_tmp272 ;
3680 struct device *__cil_tmp273 ;
3681 unsigned long __cil_tmp274 ;
3682 unsigned long __cil_tmp275 ;
3683 struct device *__cil_tmp276 ;
3684 struct device_attribute const *__cil_tmp277 ;
3685 void const *__cil_tmp278 ;
3686 unsigned long __cil_tmp279 ;
3687 unsigned long __cil_tmp280 ;
3688 unsigned char *__cil_tmp281 ;
3689 void volatile *__cil_tmp282 ;
3690 resource_size_t __cil_tmp283 ;
3691 void *__cil_tmp284 ;
3692 void const *__cil_tmp285 ;
3693 void *__cil_tmp286 ;
3694
3695 {
3696 {
3697#line 674
3698 msix_entries = (struct msix_entry *)0;
3699#line 677
3700 tmp = kzalloc(32UL, 208U);
3701#line 677
3702 priv = (struct timberdale_device *)tmp;
3703 }
3704 {
3705#line 678
3706 __cil_tmp13 = (struct timberdale_device *)0;
3707#line 678
3708 __cil_tmp14 = (unsigned long )__cil_tmp13;
3709#line 678
3710 __cil_tmp15 = (unsigned long )priv;
3711#line 678
3712 if (__cil_tmp15 == __cil_tmp14) {
3713#line 679
3714 return (-12);
3715 } else {
3716
3717 }
3718 }
3719 {
3720#line 681
3721 __cil_tmp16 = (void *)priv;
3722#line 681
3723 pci_set_drvdata(dev, __cil_tmp16);
3724#line 683
3725 err = pci_enable_device(dev);
3726 }
3727#line 684
3728 if (err != 0) {
3729#line 685
3730 goto err_enable;
3731 } else {
3732
3733 }
3734#line 687
3735 __cil_tmp17 = 0 * 56UL;
3736#line 687
3737 __cil_tmp18 = 1304 + __cil_tmp17;
3738#line 687
3739 __cil_tmp19 = (unsigned long )dev;
3740#line 687
3741 __cil_tmp20 = __cil_tmp19 + __cil_tmp18;
3742#line 687
3743 mapbase = *((resource_size_t *)__cil_tmp20);
3744#line 688
3745 if (mapbase == 0ULL) {
3746 {
3747#line 689
3748 __cil_tmp21 = (unsigned long )dev;
3749#line 689
3750 __cil_tmp22 = __cil_tmp21 + 144;
3751#line 689
3752 __cil_tmp23 = (struct device *)__cil_tmp22;
3753#line 689
3754 __cil_tmp24 = (struct device const *)__cil_tmp23;
3755#line 689
3756 dev_err(__cil_tmp24, "No resource\n");
3757 }
3758#line 690
3759 goto err_start;
3760 } else {
3761
3762 }
3763 {
3764#line 694
3765 *((resource_size_t *)priv) = mapbase + 2048ULL;
3766#line 695
3767 __cil_tmp25 = *((resource_size_t *)priv);
3768#line 695
3769 tmp___0 = __request_region(& iomem_resource, __cil_tmp25, 256ULL, "timb-ctl", 0);
3770 }
3771 {
3772#line 695
3773 __cil_tmp26 = (struct resource *)0;
3774#line 695
3775 __cil_tmp27 = (unsigned long )__cil_tmp26;
3776#line 695
3777 __cil_tmp28 = (unsigned long )tmp___0;
3778#line 695
3779 if (__cil_tmp28 == __cil_tmp27) {
3780 {
3781#line 696
3782 __cil_tmp29 = (unsigned long )dev;
3783#line 696
3784 __cil_tmp30 = __cil_tmp29 + 144;
3785#line 696
3786 __cil_tmp31 = (struct device *)__cil_tmp30;
3787#line 696
3788 __cil_tmp32 = (struct device const *)__cil_tmp31;
3789#line 696
3790 dev_err(__cil_tmp32, "Failed to request ctl mem\n");
3791 }
3792#line 697
3793 goto err_request;
3794 } else {
3795
3796 }
3797 }
3798 {
3799#line 700
3800 __cil_tmp33 = *((resource_size_t *)priv);
3801#line 700
3802 tmp___1 = ioremap(__cil_tmp33, 256UL);
3803#line 700
3804 __cil_tmp34 = (unsigned long )priv;
3805#line 700
3806 __cil_tmp35 = __cil_tmp34 + 8;
3807#line 700
3808 *((unsigned char **)__cil_tmp35) = (unsigned char *)tmp___1;
3809 }
3810 {
3811#line 701
3812 __cil_tmp36 = (unsigned char *)0;
3813#line 701
3814 __cil_tmp37 = (unsigned long )__cil_tmp36;
3815#line 701
3816 __cil_tmp38 = (unsigned long )priv;
3817#line 701
3818 __cil_tmp39 = __cil_tmp38 + 8;
3819#line 701
3820 __cil_tmp40 = *((unsigned char **)__cil_tmp39);
3821#line 701
3822 __cil_tmp41 = (unsigned long )__cil_tmp40;
3823#line 701
3824 if (__cil_tmp41 == __cil_tmp37) {
3825 {
3826#line 702
3827 __cil_tmp42 = (unsigned long )dev;
3828#line 702
3829 __cil_tmp43 = __cil_tmp42 + 144;
3830#line 702
3831 __cil_tmp44 = (struct device *)__cil_tmp43;
3832#line 702
3833 __cil_tmp45 = (struct device const *)__cil_tmp44;
3834#line 702
3835 dev_err(__cil_tmp45, "ioremap failed for ctl mem\n");
3836 }
3837#line 703
3838 goto err_ioremap;
3839 } else {
3840
3841 }
3842 }
3843 {
3844#line 707
3845 __cil_tmp46 = (unsigned long )priv;
3846#line 707
3847 __cil_tmp47 = __cil_tmp46 + 16;
3848#line 707
3849 __cil_tmp48 = (unsigned long )priv;
3850#line 707
3851 __cil_tmp49 = __cil_tmp48 + 8;
3852#line 707
3853 __cil_tmp50 = *((unsigned char **)__cil_tmp49);
3854#line 707
3855 __cil_tmp51 = (void *)__cil_tmp50;
3856#line 707
3857 *((u32 *)__cil_tmp47) = ioread32(__cil_tmp51);
3858#line 708
3859 __cil_tmp52 = 16 + 4;
3860#line 708
3861 __cil_tmp53 = (unsigned long )priv;
3862#line 708
3863 __cil_tmp54 = __cil_tmp53 + __cil_tmp52;
3864#line 708
3865 __cil_tmp55 = (unsigned long )priv;
3866#line 708
3867 __cil_tmp56 = __cil_tmp55 + 8;
3868#line 708
3869 __cil_tmp57 = *((unsigned char **)__cil_tmp56);
3870#line 708
3871 __cil_tmp58 = (void *)__cil_tmp57;
3872#line 708
3873 __cil_tmp59 = __cil_tmp58 + 4U;
3874#line 708
3875 *((u32 *)__cil_tmp54) = ioread32(__cil_tmp59);
3876#line 709
3877 __cil_tmp60 = 16 + 8;
3878#line 709
3879 __cil_tmp61 = (unsigned long )priv;
3880#line 709
3881 __cil_tmp62 = __cil_tmp61 + __cil_tmp60;
3882#line 709
3883 __cil_tmp63 = (unsigned long )priv;
3884#line 709
3885 __cil_tmp64 = __cil_tmp63 + 8;
3886#line 709
3887 __cil_tmp65 = *((unsigned char **)__cil_tmp64);
3888#line 709
3889 __cil_tmp66 = (void *)__cil_tmp65;
3890#line 709
3891 __cil_tmp67 = __cil_tmp66 + 8U;
3892#line 709
3893 *((u32 *)__cil_tmp62) = ioread32(__cil_tmp67);
3894 }
3895 {
3896#line 711
3897 __cil_tmp68 = (unsigned long )priv;
3898#line 711
3899 __cil_tmp69 = __cil_tmp68 + 16;
3900#line 711
3901 __cil_tmp70 = *((u32 *)__cil_tmp69);
3902#line 711
3903 if (__cil_tmp70 > 3U) {
3904 {
3905#line 712
3906 __cil_tmp71 = (unsigned long )dev;
3907#line 712
3908 __cil_tmp72 = __cil_tmp71 + 144;
3909#line 712
3910 __cil_tmp73 = (struct device *)__cil_tmp72;
3911#line 712
3912 __cil_tmp74 = (struct device const *)__cil_tmp73;
3913#line 712
3914 __cil_tmp75 = (unsigned long )priv;
3915#line 712
3916 __cil_tmp76 = __cil_tmp75 + 16;
3917#line 712
3918 __cil_tmp77 = *((u32 *)__cil_tmp76);
3919#line 712
3920 __cil_tmp78 = 16 + 4;
3921#line 712
3922 __cil_tmp79 = (unsigned long )priv;
3923#line 712
3924 __cil_tmp80 = __cil_tmp79 + __cil_tmp78;
3925#line 712
3926 __cil_tmp81 = *((u32 *)__cil_tmp80);
3927#line 712
3928 dev_err(__cil_tmp74, "The driver supports an older version of the FPGA, please update the driver to support %d.%d\n",
3929 __cil_tmp77, __cil_tmp81);
3930 }
3931#line 715
3932 goto err_config;
3933 } else {
3934
3935 }
3936 }
3937 {
3938#line 717
3939 __cil_tmp82 = (unsigned long )priv;
3940#line 717
3941 __cil_tmp83 = __cil_tmp82 + 16;
3942#line 717
3943 __cil_tmp84 = *((u32 *)__cil_tmp83);
3944#line 717
3945 if (__cil_tmp84 <= 2U) {
3946 {
3947#line 719
3948 __cil_tmp85 = (unsigned long )dev;
3949#line 719
3950 __cil_tmp86 = __cil_tmp85 + 144;
3951#line 719
3952 __cil_tmp87 = (struct device *)__cil_tmp86;
3953#line 719
3954 __cil_tmp88 = (struct device const *)__cil_tmp87;
3955#line 719
3956 __cil_tmp89 = (unsigned long )priv;
3957#line 719
3958 __cil_tmp90 = __cil_tmp89 + 16;
3959#line 719
3960 __cil_tmp91 = *((u32 *)__cil_tmp90);
3961#line 719
3962 __cil_tmp92 = 16 + 4;
3963#line 719
3964 __cil_tmp93 = (unsigned long )priv;
3965#line 719
3966 __cil_tmp94 = __cil_tmp93 + __cil_tmp92;
3967#line 719
3968 __cil_tmp95 = *((u32 *)__cil_tmp94);
3969#line 719
3970 dev_err(__cil_tmp88, "The FPGA image is too old (%d.%d), please upgrade the FPGA to at least: %d.%d\n",
3971 __cil_tmp91, __cil_tmp95, 3, 8);
3972 }
3973#line 723
3974 goto err_config;
3975 } else {
3976 {
3977#line 717
3978 __cil_tmp96 = 16 + 4;
3979#line 717
3980 __cil_tmp97 = (unsigned long )priv;
3981#line 717
3982 __cil_tmp98 = __cil_tmp97 + __cil_tmp96;
3983#line 717
3984 __cil_tmp99 = *((u32 *)__cil_tmp98);
3985#line 717
3986 if (__cil_tmp99 <= 7U) {
3987 {
3988#line 719
3989 __cil_tmp100 = (unsigned long )dev;
3990#line 719
3991 __cil_tmp101 = __cil_tmp100 + 144;
3992#line 719
3993 __cil_tmp102 = (struct device *)__cil_tmp101;
3994#line 719
3995 __cil_tmp103 = (struct device const *)__cil_tmp102;
3996#line 719
3997 __cil_tmp104 = (unsigned long )priv;
3998#line 719
3999 __cil_tmp105 = __cil_tmp104 + 16;
4000#line 719
4001 __cil_tmp106 = *((u32 *)__cil_tmp105);
4002#line 719
4003 __cil_tmp107 = 16 + 4;
4004#line 719
4005 __cil_tmp108 = (unsigned long )priv;
4006#line 719
4007 __cil_tmp109 = __cil_tmp108 + __cil_tmp107;
4008#line 719
4009 __cil_tmp110 = *((u32 *)__cil_tmp109);
4010#line 719
4011 dev_err(__cil_tmp103, "The FPGA image is too old (%d.%d), please upgrade the FPGA to at least: %d.%d\n",
4012 __cil_tmp106, __cil_tmp110, 3, 8);
4013 }
4014#line 723
4015 goto err_config;
4016 } else {
4017
4018 }
4019 }
4020 }
4021 }
4022 {
4023#line 726
4024 tmp___2 = kzalloc(128UL, 208U);
4025#line 726
4026 msix_entries = (struct msix_entry *)tmp___2;
4027 }
4028 {
4029#line 728
4030 __cil_tmp111 = (struct msix_entry *)0;
4031#line 728
4032 __cil_tmp112 = (unsigned long )__cil_tmp111;
4033#line 728
4034 __cil_tmp113 = (unsigned long )msix_entries;
4035#line 728
4036 if (__cil_tmp113 == __cil_tmp112) {
4037#line 729
4038 goto err_config;
4039 } else {
4040
4041 }
4042 }
4043#line 731
4044 i = 0;
4045#line 731
4046 goto ldv_26614;
4047 ldv_26613:
4048#line 732
4049 __cil_tmp114 = (unsigned long )i;
4050#line 732
4051 __cil_tmp115 = msix_entries + __cil_tmp114;
4052#line 732
4053 __cil_tmp116 = (unsigned long )__cil_tmp115;
4054#line 732
4055 __cil_tmp117 = __cil_tmp116 + 4;
4056#line 732
4057 *((u16 *)__cil_tmp117) = (u16 )i;
4058#line 731
4059 i = i + 1;
4060 ldv_26614: ;
4061#line 731
4062 if (i <= 15) {
4063#line 732
4064 goto ldv_26613;
4065 } else {
4066#line 734
4067 goto ldv_26615;
4068 }
4069 ldv_26615:
4070 {
4071#line 734
4072 err = pci_enable_msix(dev, msix_entries, 16);
4073 }
4074#line 735
4075 if (err != 0) {
4076 {
4077#line 736
4078 __cil_tmp118 = (unsigned long )dev;
4079#line 736
4080 __cil_tmp119 = __cil_tmp118 + 144;
4081#line 736
4082 __cil_tmp120 = (struct device *)__cil_tmp119;
4083#line 736
4084 __cil_tmp121 = (struct device const *)__cil_tmp120;
4085#line 736
4086 dev_err(__cil_tmp121, "MSI-X init failed: %d, expected entries: %d\n", err, 16);
4087 }
4088#line 739
4089 goto err_msix;
4090 } else {
4091
4092 }
4093 {
4094#line 742
4095 __cil_tmp122 = (unsigned long )dev;
4096#line 742
4097 __cil_tmp123 = __cil_tmp122 + 144;
4098#line 742
4099 __cil_tmp124 = (struct device *)__cil_tmp123;
4100#line 742
4101 __cil_tmp125 = (struct device_attribute const *)(& dev_attr_fw_ver);
4102#line 742
4103 err = device_create_file(__cil_tmp124, __cil_tmp125);
4104 }
4105#line 743
4106 if (err != 0) {
4107#line 744
4108 goto err_create_file;
4109 } else {
4110
4111 }
4112 {
4113#line 747
4114 __cil_tmp126 = (unsigned long )priv;
4115#line 747
4116 __cil_tmp127 = __cil_tmp126 + 8;
4117#line 747
4118 __cil_tmp128 = *((unsigned char **)__cil_tmp127);
4119#line 747
4120 __cil_tmp129 = (void *)__cil_tmp128;
4121#line 747
4122 __cil_tmp130 = __cil_tmp129 + 64U;
4123#line 747
4124 iowrite32(1U, __cil_tmp130);
4125#line 750
4126 i = 0;
4127 }
4128#line 750
4129 goto ldv_26621;
4130 ldv_26620:
4131#line 751
4132 __cil_tmp131 = i * 56UL;
4133#line 751
4134 __cil_tmp132 = __cil_tmp131 + 48;
4135#line 751
4136 __cil_tmp133 = (unsigned long )(timberdale_i2c_board_info) + __cil_tmp132;
4137#line 751
4138 __cil_tmp134 = i * 56UL;
4139#line 751
4140 __cil_tmp135 = __cil_tmp134 + 48;
4141#line 751
4142 __cil_tmp136 = (unsigned long )(timberdale_i2c_board_info) + __cil_tmp135;
4143#line 751
4144 __cil_tmp137 = *((int *)__cil_tmp136);
4145#line 751
4146 __cil_tmp138 = (unsigned long )__cil_tmp137;
4147#line 751
4148 __cil_tmp139 = msix_entries + __cil_tmp138;
4149#line 751
4150 __cil_tmp140 = *((u32 *)__cil_tmp139);
4151#line 751
4152 *((int *)__cil_tmp133) = (int )__cil_tmp140;
4153#line 750
4154 i = i + 1;
4155 ldv_26621: ;
4156#line 750
4157 if (i == 0) {
4158#line 751
4159 goto ldv_26620;
4160 } else {
4161#line 753
4162 goto ldv_26622;
4163 }
4164 ldv_26622: ;
4165 {
4166#line 755
4167 __cil_tmp141 = 16 + 8;
4168#line 755
4169 __cil_tmp142 = (unsigned long )priv;
4170#line 755
4171 __cil_tmp143 = __cil_tmp142 + __cil_tmp141;
4172#line 755
4173 __cil_tmp144 = *((u32 *)__cil_tmp143);
4174#line 755
4175 __cil_tmp145 = __cil_tmp144 & 128U;
4176#line 755
4177 if (__cil_tmp145 != 0U) {
4178#line 756
4179 __cil_tmp146 = (unsigned long )(& timberdale_xspi_platform_data) + 3;
4180#line 756
4181 *((u8 *)__cil_tmp146) = (u8 )8U;
4182#line 757
4183 __cil_tmp147 = (unsigned long )(& timberdale_xspi_platform_data) + 8;
4184#line 757
4185 *((struct spi_board_info **)__cil_tmp147) = (struct spi_board_info *)(& timberdale_spi_8bit_board_info);
4186#line 759
4187 __cil_tmp148 = (unsigned long )(& timberdale_xspi_platform_data) + 16;
4188#line 759
4189 *((u8 *)__cil_tmp148) = (u8 )1U;
4190 } else {
4191#line 762
4192 __cil_tmp149 = (unsigned long )(& timberdale_xspi_platform_data) + 3;
4193#line 762
4194 *((u8 *)__cil_tmp149) = (u8 )16U;
4195#line 763
4196 __cil_tmp150 = (unsigned long )(& timberdale_xspi_platform_data) + 8;
4197#line 763
4198 *((struct spi_board_info **)__cil_tmp150) = (struct spi_board_info *)(& timberdale_spi_16bit_board_info);
4199#line 765
4200 __cil_tmp151 = (unsigned long )(& timberdale_xspi_platform_data) + 16;
4201#line 765
4202 *((u8 *)__cil_tmp151) = (u8 )1U;
4203 }
4204 }
4205#line 769
4206 __cil_tmp152 = 16 + 8;
4207#line 769
4208 __cil_tmp153 = (unsigned long )priv;
4209#line 769
4210 __cil_tmp154 = __cil_tmp153 + __cil_tmp152;
4211#line 769
4212 __cil_tmp155 = *((u32 *)__cil_tmp154);
4213#line 769
4214 __cil_tmp156 = (u8 )__cil_tmp155;
4215#line 769
4216 __cil_tmp157 = (unsigned int )__cil_tmp156;
4217#line 769
4218 __cil_tmp158 = __cil_tmp157 & 15U;
4219#line 769
4220 ip_setup = (u8 )__cil_tmp158;
4221#line 771
4222 if ((int )ip_setup == 0) {
4223#line 771
4224 goto case_0;
4225 } else
4226#line 777
4227 if ((int )ip_setup == 1) {
4228#line 777
4229 goto case_1;
4230 } else
4231#line 783
4232 if ((int )ip_setup == 2) {
4233#line 783
4234 goto case_2;
4235 } else
4236#line 789
4237 if ((int )ip_setup == 3) {
4238#line 789
4239 goto case_3;
4240 } else {
4241 {
4242#line 795
4243 goto switch_default;
4244#line 770
4245 if (0) {
4246 case_0:
4247 {
4248#line 772
4249 __cil_tmp159 = (unsigned long )dev;
4250#line 772
4251 __cil_tmp160 = __cil_tmp159 + 144;
4252#line 772
4253 __cil_tmp161 = (struct device *)__cil_tmp160;
4254#line 772
4255 __cil_tmp162 = (struct mfd_cell *)(& timberdale_cells_bar0_cfg0);
4256#line 772
4257 __cil_tmp163 = (unsigned long )dev;
4258#line 772
4259 __cil_tmp164 = __cil_tmp163 + 1304;
4260#line 772
4261 __cil_tmp165 = (struct resource (*)[17U])__cil_tmp164;
4262#line 772
4263 __cil_tmp166 = (struct resource *)__cil_tmp165;
4264#line 772
4265 __cil_tmp167 = *((u32 *)msix_entries);
4266#line 772
4267 __cil_tmp168 = (int )__cil_tmp167;
4268#line 772
4269 err = mfd_add_devices(__cil_tmp161, -1, __cil_tmp162, 8, __cil_tmp166, __cil_tmp168);
4270 }
4271#line 776
4272 goto ldv_26630;
4273 case_1:
4274 {
4275#line 778
4276 __cil_tmp169 = (unsigned long )dev;
4277#line 778
4278 __cil_tmp170 = __cil_tmp169 + 144;
4279#line 778
4280 __cil_tmp171 = (struct device *)__cil_tmp170;
4281#line 778
4282 __cil_tmp172 = (struct mfd_cell *)(& timberdale_cells_bar0_cfg1);
4283#line 778
4284 __cil_tmp173 = (unsigned long )dev;
4285#line 778
4286 __cil_tmp174 = __cil_tmp173 + 1304;
4287#line 778
4288 __cil_tmp175 = (struct resource (*)[17U])__cil_tmp174;
4289#line 778
4290 __cil_tmp176 = (struct resource *)__cil_tmp175;
4291#line 778
4292 __cil_tmp177 = *((u32 *)msix_entries);
4293#line 778
4294 __cil_tmp178 = (int )__cil_tmp177;
4295#line 778
4296 err = mfd_add_devices(__cil_tmp171, -1, __cil_tmp172, 10, __cil_tmp176, __cil_tmp178);
4297 }
4298#line 782
4299 goto ldv_26630;
4300 case_2:
4301 {
4302#line 784
4303 __cil_tmp179 = (unsigned long )dev;
4304#line 784
4305 __cil_tmp180 = __cil_tmp179 + 144;
4306#line 784
4307 __cil_tmp181 = (struct device *)__cil_tmp180;
4308#line 784
4309 __cil_tmp182 = (struct mfd_cell *)(& timberdale_cells_bar0_cfg2);
4310#line 784
4311 __cil_tmp183 = (unsigned long )dev;
4312#line 784
4313 __cil_tmp184 = __cil_tmp183 + 1304;
4314#line 784
4315 __cil_tmp185 = (struct resource (*)[17U])__cil_tmp184;
4316#line 784
4317 __cil_tmp186 = (struct resource *)__cil_tmp185;
4318#line 784
4319 __cil_tmp187 = *((u32 *)msix_entries);
4320#line 784
4321 __cil_tmp188 = (int )__cil_tmp187;
4322#line 784
4323 err = mfd_add_devices(__cil_tmp181, -1, __cil_tmp182, 7, __cil_tmp186, __cil_tmp188);
4324 }
4325#line 788
4326 goto ldv_26630;
4327 case_3:
4328 {
4329#line 790
4330 __cil_tmp189 = (unsigned long )dev;
4331#line 790
4332 __cil_tmp190 = __cil_tmp189 + 144;
4333#line 790
4334 __cil_tmp191 = (struct device *)__cil_tmp190;
4335#line 790
4336 __cil_tmp192 = (struct mfd_cell *)(& timberdale_cells_bar0_cfg3);
4337#line 790
4338 __cil_tmp193 = (unsigned long )dev;
4339#line 790
4340 __cil_tmp194 = __cil_tmp193 + 1304;
4341#line 790
4342 __cil_tmp195 = (struct resource (*)[17U])__cil_tmp194;
4343#line 790
4344 __cil_tmp196 = (struct resource *)__cil_tmp195;
4345#line 790
4346 __cil_tmp197 = *((u32 *)msix_entries);
4347#line 790
4348 __cil_tmp198 = (int )__cil_tmp197;
4349#line 790
4350 err = mfd_add_devices(__cil_tmp191, -1, __cil_tmp192, 8, __cil_tmp196, __cil_tmp198);
4351 }
4352#line 794
4353 goto ldv_26630;
4354 switch_default:
4355 {
4356#line 796
4357 __cil_tmp199 = (unsigned long )dev;
4358#line 796
4359 __cil_tmp200 = __cil_tmp199 + 144;
4360#line 796
4361 __cil_tmp201 = (struct device *)__cil_tmp200;
4362#line 796
4363 __cil_tmp202 = (struct device const *)__cil_tmp201;
4364#line 796
4365 __cil_tmp203 = (unsigned long )priv;
4366#line 796
4367 __cil_tmp204 = __cil_tmp203 + 16;
4368#line 796
4369 __cil_tmp205 = *((u32 *)__cil_tmp204);
4370#line 796
4371 __cil_tmp206 = 16 + 4;
4372#line 796
4373 __cil_tmp207 = (unsigned long )priv;
4374#line 796
4375 __cil_tmp208 = __cil_tmp207 + __cil_tmp206;
4376#line 796
4377 __cil_tmp209 = *((u32 *)__cil_tmp208);
4378#line 796
4379 __cil_tmp210 = (int )ip_setup;
4380#line 796
4381 dev_err(__cil_tmp202, "Uknown IP setup: %d.%d.%d\n", __cil_tmp205, __cil_tmp209,
4382 __cil_tmp210);
4383#line 798
4384 err = -19;
4385 }
4386#line 799
4387 goto err_mfd;
4388 } else {
4389 switch_break: ;
4390 }
4391 }
4392 }
4393 ldv_26630: ;
4394#line 803
4395 if (err != 0) {
4396 {
4397#line 804
4398 __cil_tmp211 = (unsigned long )dev;
4399#line 804
4400 __cil_tmp212 = __cil_tmp211 + 144;
4401#line 804
4402 __cil_tmp213 = (struct device *)__cil_tmp212;
4403#line 804
4404 __cil_tmp214 = (struct device const *)__cil_tmp213;
4405#line 804
4406 dev_err(__cil_tmp214, "mfd_add_devices failed: %d\n", err);
4407 }
4408#line 805
4409 goto err_mfd;
4410 } else {
4411
4412 }
4413 {
4414#line 808
4415 __cil_tmp215 = (unsigned long )dev;
4416#line 808
4417 __cil_tmp216 = __cil_tmp215 + 144;
4418#line 808
4419 __cil_tmp217 = (struct device *)__cil_tmp216;
4420#line 808
4421 __cil_tmp218 = (struct mfd_cell *)(& timberdale_cells_bar1);
4422#line 808
4423 __cil_tmp219 = (unsigned long )dev;
4424#line 808
4425 __cil_tmp220 = __cil_tmp219 + 1304;
4426#line 808
4427 __cil_tmp221 = (struct resource (*)[17U])__cil_tmp220;
4428#line 808
4429 __cil_tmp222 = (struct resource *)__cil_tmp221;
4430#line 808
4431 __cil_tmp223 = __cil_tmp222 + 1UL;
4432#line 808
4433 __cil_tmp224 = *((u32 *)msix_entries);
4434#line 808
4435 __cil_tmp225 = (int )__cil_tmp224;
4436#line 808
4437 err = mfd_add_devices(__cil_tmp217, 0, __cil_tmp218, 1, __cil_tmp223, __cil_tmp225);
4438 }
4439#line 811
4440 if (err != 0) {
4441 {
4442#line 812
4443 __cil_tmp226 = (unsigned long )dev;
4444#line 812
4445 __cil_tmp227 = __cil_tmp226 + 144;
4446#line 812
4447 __cil_tmp228 = (struct device *)__cil_tmp227;
4448#line 812
4449 __cil_tmp229 = (struct device const *)__cil_tmp228;
4450#line 812
4451 dev_err(__cil_tmp229, "mfd_add_devices failed: %d\n", err);
4452 }
4453#line 813
4454 goto err_mfd2;
4455 } else {
4456
4457 }
4458 {
4459#line 817
4460 __cil_tmp230 = 16 + 8;
4461#line 817
4462 __cil_tmp231 = (unsigned long )priv;
4463#line 817
4464 __cil_tmp232 = __cil_tmp231 + __cil_tmp230;
4465#line 817
4466 __cil_tmp233 = *((u32 *)__cil_tmp232);
4467#line 817
4468 __cil_tmp234 = __cil_tmp233 & 15U;
4469#line 817
4470 if (__cil_tmp234 == 0U) {
4471#line 817
4472 goto _L;
4473 } else {
4474 {
4475#line 817
4476 __cil_tmp235 = 16 + 8;
4477#line 817
4478 __cil_tmp236 = (unsigned long )priv;
4479#line 817
4480 __cil_tmp237 = __cil_tmp236 + __cil_tmp235;
4481#line 817
4482 __cil_tmp238 = *((u32 *)__cil_tmp237);
4483#line 817
4484 __cil_tmp239 = __cil_tmp238 & 15U;
4485#line 817
4486 if (__cil_tmp239 == 3U) {
4487 _L:
4488 {
4489#line 819
4490 __cil_tmp240 = (unsigned long )dev;
4491#line 819
4492 __cil_tmp241 = __cil_tmp240 + 144;
4493#line 819
4494 __cil_tmp242 = (struct device *)__cil_tmp241;
4495#line 819
4496 __cil_tmp243 = (struct mfd_cell *)(& timberdale_cells_bar2);
4497#line 819
4498 __cil_tmp244 = (unsigned long )dev;
4499#line 819
4500 __cil_tmp245 = __cil_tmp244 + 1304;
4501#line 819
4502 __cil_tmp246 = (struct resource (*)[17U])__cil_tmp245;
4503#line 819
4504 __cil_tmp247 = (struct resource *)__cil_tmp246;
4505#line 819
4506 __cil_tmp248 = __cil_tmp247 + 2UL;
4507#line 819
4508 __cil_tmp249 = *((u32 *)msix_entries);
4509#line 819
4510 __cil_tmp250 = (int )__cil_tmp249;
4511#line 819
4512 err = mfd_add_devices(__cil_tmp242, 1, __cil_tmp243, 1, __cil_tmp248, __cil_tmp250);
4513 }
4514#line 822
4515 if (err != 0) {
4516 {
4517#line 823
4518 __cil_tmp251 = (unsigned long )dev;
4519#line 823
4520 __cil_tmp252 = __cil_tmp251 + 144;
4521#line 823
4522 __cil_tmp253 = (struct device *)__cil_tmp252;
4523#line 823
4524 __cil_tmp254 = (struct device const *)__cil_tmp253;
4525#line 823
4526 dev_err(__cil_tmp254, "mfd_add_devices failed: %d\n", err);
4527 }
4528#line 824
4529 goto err_mfd2;
4530 } else {
4531
4532 }
4533 } else {
4534
4535 }
4536 }
4537 }
4538 }
4539 {
4540#line 828
4541 __cil_tmp255 = (void const *)msix_entries;
4542#line 828
4543 kfree(__cil_tmp255);
4544#line 830
4545 __cil_tmp256 = (unsigned long )dev;
4546#line 830
4547 __cil_tmp257 = __cil_tmp256 + 144;
4548#line 830
4549 __cil_tmp258 = (struct device *)__cil_tmp257;
4550#line 830
4551 __cil_tmp259 = (struct device const *)__cil_tmp258;
4552#line 830
4553 __cil_tmp260 = (unsigned long )priv;
4554#line 830
4555 __cil_tmp261 = __cil_tmp260 + 16;
4556#line 830
4557 __cil_tmp262 = *((u32 *)__cil_tmp261);
4558#line 830
4559 __cil_tmp263 = 16 + 4;
4560#line 830
4561 __cil_tmp264 = (unsigned long )priv;
4562#line 830
4563 __cil_tmp265 = __cil_tmp264 + __cil_tmp263;
4564#line 830
4565 __cil_tmp266 = *((u32 *)__cil_tmp265);
4566#line 830
4567 __cil_tmp267 = 16 + 8;
4568#line 830
4569 __cil_tmp268 = (unsigned long )priv;
4570#line 830
4571 __cil_tmp269 = __cil_tmp268 + __cil_tmp267;
4572#line 830
4573 __cil_tmp270 = *((u32 *)__cil_tmp269);
4574#line 830
4575 _dev_info(__cil_tmp259, "Found Timberdale Card. Rev: %d.%d, HW config: 0x%02x\n",
4576 __cil_tmp262, __cil_tmp266, __cil_tmp270);
4577 }
4578#line 834
4579 return (0);
4580 err_mfd2:
4581 {
4582#line 837
4583 __cil_tmp271 = (unsigned long )dev;
4584#line 837
4585 __cil_tmp272 = __cil_tmp271 + 144;
4586#line 837
4587 __cil_tmp273 = (struct device *)__cil_tmp272;
4588#line 837
4589 mfd_remove_devices(__cil_tmp273);
4590 }
4591 err_mfd:
4592 {
4593#line 839
4594 __cil_tmp274 = (unsigned long )dev;
4595#line 839
4596 __cil_tmp275 = __cil_tmp274 + 144;
4597#line 839
4598 __cil_tmp276 = (struct device *)__cil_tmp275;
4599#line 839
4600 __cil_tmp277 = (struct device_attribute const *)(& dev_attr_fw_ver);
4601#line 839
4602 device_remove_file(__cil_tmp276, __cil_tmp277);
4603 }
4604 err_create_file:
4605 {
4606#line 841
4607 pci_disable_msix(dev);
4608 }
4609 err_msix:
4610 {
4611#line 843
4612 __cil_tmp278 = (void const *)msix_entries;
4613#line 843
4614 kfree(__cil_tmp278);
4615 }
4616 err_config:
4617 {
4618#line 845
4619 __cil_tmp279 = (unsigned long )priv;
4620#line 845
4621 __cil_tmp280 = __cil_tmp279 + 8;
4622#line 845
4623 __cil_tmp281 = *((unsigned char **)__cil_tmp280);
4624#line 845
4625 __cil_tmp282 = (void volatile *)__cil_tmp281;
4626#line 845
4627 iounmap(__cil_tmp282);
4628 }
4629 err_ioremap:
4630 {
4631#line 847
4632 __cil_tmp283 = *((resource_size_t *)priv);
4633#line 847
4634 __release_region(& iomem_resource, __cil_tmp283, 256ULL);
4635 }
4636 err_request:
4637 {
4638#line 849
4639 __cil_tmp284 = (void *)0;
4640#line 849
4641 pci_set_drvdata(dev, __cil_tmp284);
4642 }
4643 err_start:
4644 {
4645#line 851
4646 pci_disable_device(dev);
4647 }
4648 err_enable:
4649 {
4650#line 853
4651 __cil_tmp285 = (void const *)priv;
4652#line 853
4653 kfree(__cil_tmp285);
4654#line 854
4655 __cil_tmp286 = (void *)0;
4656#line 854
4657 pci_set_drvdata(dev, __cil_tmp286);
4658 }
4659#line 855
4660 return (-19);
4661}
4662}
4663#line 858 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4664static void timb_remove(struct pci_dev *dev )
4665{ struct timberdale_device *priv ;
4666 void *tmp ;
4667 unsigned long __cil_tmp4 ;
4668 unsigned long __cil_tmp5 ;
4669 struct device *__cil_tmp6 ;
4670 unsigned long __cil_tmp7 ;
4671 unsigned long __cil_tmp8 ;
4672 struct device *__cil_tmp9 ;
4673 struct device_attribute const *__cil_tmp10 ;
4674 unsigned long __cil_tmp11 ;
4675 unsigned long __cil_tmp12 ;
4676 unsigned char *__cil_tmp13 ;
4677 void volatile *__cil_tmp14 ;
4678 resource_size_t __cil_tmp15 ;
4679 void *__cil_tmp16 ;
4680 void const *__cil_tmp17 ;
4681
4682 {
4683 {
4684#line 860
4685 tmp = pci_get_drvdata(dev);
4686#line 860
4687 priv = (struct timberdale_device *)tmp;
4688#line 862
4689 __cil_tmp4 = (unsigned long )dev;
4690#line 862
4691 __cil_tmp5 = __cil_tmp4 + 144;
4692#line 862
4693 __cil_tmp6 = (struct device *)__cil_tmp5;
4694#line 862
4695 mfd_remove_devices(__cil_tmp6);
4696#line 864
4697 __cil_tmp7 = (unsigned long )dev;
4698#line 864
4699 __cil_tmp8 = __cil_tmp7 + 144;
4700#line 864
4701 __cil_tmp9 = (struct device *)__cil_tmp8;
4702#line 864
4703 __cil_tmp10 = (struct device_attribute const *)(& dev_attr_fw_ver);
4704#line 864
4705 device_remove_file(__cil_tmp9, __cil_tmp10);
4706#line 866
4707 __cil_tmp11 = (unsigned long )priv;
4708#line 866
4709 __cil_tmp12 = __cil_tmp11 + 8;
4710#line 866
4711 __cil_tmp13 = *((unsigned char **)__cil_tmp12);
4712#line 866
4713 __cil_tmp14 = (void volatile *)__cil_tmp13;
4714#line 866
4715 iounmap(__cil_tmp14);
4716#line 867
4717 __cil_tmp15 = *((resource_size_t *)priv);
4718#line 867
4719 __release_region(& iomem_resource, __cil_tmp15, 256ULL);
4720#line 869
4721 pci_disable_msix(dev);
4722#line 870
4723 pci_disable_device(dev);
4724#line 871
4725 __cil_tmp16 = (void *)0;
4726#line 871
4727 pci_set_drvdata(dev, __cil_tmp16);
4728#line 872
4729 __cil_tmp17 = (void const *)priv;
4730#line 872
4731 kfree(__cil_tmp17);
4732 }
4733#line 873
4734 return;
4735}
4736}
4737#line 875 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4738static struct pci_device_id const timberdale_pci_tbl[2U] = { {4334U, 41251U, 4294967295U, 4294967295U, 0U, 0U, 0UL},
4739 {0U, 0U, 0U, 0U, 0U, 0U, 0UL}};
4740#line 879 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4741struct pci_device_id const __mod_pci_device_table ;
4742#line 881 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4743static struct pci_driver timberdale_pci_driver =
4744#line 881
4745 {{(struct list_head *)0, (struct list_head *)0}, "timberdale", (struct pci_device_id const *)(& timberdale_pci_tbl),
4746 & timb_probe, & timb_remove, (int (*)(struct pci_dev * , pm_message_t ))0, (int (*)(struct pci_dev * ,
4747 pm_message_t ))0,
4748 (int (*)(struct pci_dev * ))0, (int (*)(struct pci_dev * ))0, (void (*)(struct pci_dev * ))0,
4749 (struct pci_error_handlers *)0, {(char const *)0, (struct bus_type *)0, (struct module *)0,
4750 (char const *)0, (_Bool)0, (struct of_device_id const *)0,
4751 (int (*)(struct device * ))0, (int (*)(struct device * ))0,
4752 (void (*)(struct device * ))0, (int (*)(struct device * ,
4753 pm_message_t ))0,
4754 (int (*)(struct device * ))0, (struct attribute_group const **)0,
4755 (struct dev_pm_ops const *)0, (struct driver_private *)0},
4756 {{{{{{0U}}, 0U, 0U, (void *)0, {(struct lock_class_key *)0, {(struct lock_class *)0,
4757 (struct lock_class *)0},
4758 (char const *)0, 0, 0UL}}}}, {(struct list_head *)0,
4759 (struct list_head *)0}}};
4760#line 888 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4761static int timberdale_init(void)
4762{ int err ;
4763 unsigned long __cil_tmp2 ;
4764 char const *__cil_tmp3 ;
4765 unsigned long __cil_tmp4 ;
4766 char const *__cil_tmp5 ;
4767
4768 {
4769 {
4770#line 892
4771 err = __pci_register_driver(& timberdale_pci_driver, & __this_module, "timberdale");
4772 }
4773#line 893
4774 if (err < 0) {
4775 {
4776#line 894
4777 __cil_tmp2 = (unsigned long )(& timberdale_pci_driver) + 16;
4778#line 894
4779 __cil_tmp3 = *((char const **)__cil_tmp2);
4780#line 894
4781 printk("<3>Failed to register PCI driver for %s device.\n", __cil_tmp3);
4782 }
4783#line 897
4784 return (-19);
4785 } else {
4786
4787 }
4788 {
4789#line 900
4790 __cil_tmp4 = (unsigned long )(& timberdale_pci_driver) + 16;
4791#line 900
4792 __cil_tmp5 = *((char const **)__cil_tmp4);
4793#line 900
4794 printk("<6>Driver for %s has been successfully registered.\n", __cil_tmp5);
4795 }
4796#line 903
4797 return (0);
4798}
4799}
4800#line 906 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4801static void timberdale_exit(void)
4802{ unsigned long __cil_tmp1 ;
4803 char const *__cil_tmp2 ;
4804
4805 {
4806 {
4807#line 908
4808 pci_unregister_driver(& timberdale_pci_driver);
4809#line 910
4810 __cil_tmp1 = (unsigned long )(& timberdale_pci_driver) + 16;
4811#line 910
4812 __cil_tmp2 = *((char const **)__cil_tmp1);
4813#line 910
4814 printk("<6>Driver for %s has been successfully unregistered.\n", __cil_tmp2);
4815 }
4816#line 912
4817 return;
4818}
4819}
4820#line 937
4821extern void ldv_check_final_state(void) ;
4822#line 940
4823extern void ldv_check_return_value(int ) ;
4824#line 943
4825extern void ldv_initialize(void) ;
4826#line 946
4827extern int __VERIFIER_nondet_int(void) ;
4828#line 949 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4829int LDV_IN_INTERRUPT ;
4830#line 952 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4831void main(void)
4832{ struct pci_dev *var_group1 ;
4833 struct pci_device_id const *var_timb_probe_1_p1 ;
4834 int res_timb_probe_1 ;
4835 int ldv_s_timberdale_pci_driver_pci_driver ;
4836 int tmp ;
4837 int tmp___0 ;
4838 int tmp___1 ;
4839
4840 {
4841 {
4842#line 995
4843 ldv_s_timberdale_pci_driver_pci_driver = 0;
4844#line 976
4845 LDV_IN_INTERRUPT = 1;
4846#line 985
4847 ldv_initialize();
4848#line 993
4849 tmp = timberdale_init();
4850 }
4851#line 993
4852 if (tmp != 0) {
4853#line 994
4854 goto ldv_final;
4855 } else {
4856
4857 }
4858#line 998
4859 goto ldv_26696;
4860 ldv_26695:
4861 {
4862#line 1002
4863 tmp___0 = __VERIFIER_nondet_int();
4864 }
4865#line 1004
4866 if (tmp___0 == 0) {
4867#line 1004
4868 goto case_0;
4869 } else {
4870 {
4871#line 1025
4872 goto switch_default;
4873#line 1002
4874 if (0) {
4875 case_0: ;
4876#line 1007
4877 if (ldv_s_timberdale_pci_driver_pci_driver == 0) {
4878 {
4879#line 1014
4880 res_timb_probe_1 = timb_probe(var_group1, var_timb_probe_1_p1);
4881#line 1015
4882 ldv_check_return_value(res_timb_probe_1);
4883 }
4884#line 1016
4885 if (res_timb_probe_1 != 0) {
4886#line 1017
4887 goto ldv_module_exit;
4888 } else {
4889
4890 }
4891#line 1018
4892 ldv_s_timberdale_pci_driver_pci_driver = 0;
4893 } else {
4894
4895 }
4896#line 1024
4897 goto ldv_26693;
4898 switch_default: ;
4899#line 1025
4900 goto ldv_26693;
4901 } else {
4902 switch_break: ;
4903 }
4904 }
4905 }
4906 ldv_26693: ;
4907 ldv_26696:
4908 {
4909#line 998
4910 tmp___1 = __VERIFIER_nondet_int();
4911 }
4912#line 998
4913 if (tmp___1 != 0) {
4914#line 1000
4915 goto ldv_26695;
4916 } else
4917#line 998
4918 if (ldv_s_timberdale_pci_driver_pci_driver != 0) {
4919#line 1000
4920 goto ldv_26695;
4921 } else {
4922#line 1002
4923 goto ldv_26697;
4924 }
4925 ldv_26697: ;
4926 ldv_module_exit:
4927 {
4928#line 1039
4929 timberdale_exit();
4930 }
4931 ldv_final:
4932 {
4933#line 1042
4934 ldv_check_final_state();
4935 }
4936#line 1045
4937 return;
4938}
4939}
4940#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
4941void ldv_blast_assert(void)
4942{
4943
4944 {
4945 ERROR: ;
4946#line 6
4947 goto ERROR;
4948}
4949}
4950#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
4951extern int __VERIFIER_nondet_int(void) ;
4952#line 1066 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4953int ldv_spin = 0;
4954#line 1070 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4955void ldv_check_alloc_flags(gfp_t flags )
4956{
4957
4958 {
4959#line 1073
4960 if (ldv_spin != 0) {
4961#line 1073
4962 if (flags != 32U) {
4963 {
4964#line 1073
4965 ldv_blast_assert();
4966 }
4967 } else {
4968
4969 }
4970 } else {
4971
4972 }
4973#line 1076
4974 return;
4975}
4976}
4977#line 1076
4978extern struct page *ldv_some_page(void) ;
4979#line 1079 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
4980struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
4981{ struct page *tmp ;
4982
4983 {
4984#line 1082
4985 if (ldv_spin != 0) {
4986#line 1082
4987 if (flags != 32U) {
4988 {
4989#line 1082
4990 ldv_blast_assert();
4991 }
4992 } else {
4993
4994 }
4995 } else {
4996
4997 }
4998 {
4999#line 1084
5000 tmp = ldv_some_page();
5001 }
5002#line 1084
5003 return (tmp);
5004}
5005}
5006#line 1088 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5007void ldv_check_alloc_nonatomic(void)
5008{
5009
5010 {
5011#line 1091
5012 if (ldv_spin != 0) {
5013 {
5014#line 1091
5015 ldv_blast_assert();
5016 }
5017 } else {
5018
5019 }
5020#line 1094
5021 return;
5022}
5023}
5024#line 1095 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5025void ldv_spin_lock(void)
5026{
5027
5028 {
5029#line 1098
5030 ldv_spin = 1;
5031#line 1099
5032 return;
5033}
5034}
5035#line 1102 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5036void ldv_spin_unlock(void)
5037{
5038
5039 {
5040#line 1105
5041 ldv_spin = 0;
5042#line 1106
5043 return;
5044}
5045}
5046#line 1109 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5047int ldv_spin_trylock(void)
5048{ int is_lock ;
5049
5050 {
5051 {
5052#line 1114
5053 is_lock = __VERIFIER_nondet_int();
5054 }
5055#line 1116
5056 if (is_lock != 0) {
5057#line 1119
5058 return (0);
5059 } else {
5060#line 1124
5061 ldv_spin = 1;
5062#line 1126
5063 return (1);
5064 }
5065}
5066}
5067#line 1293 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5068void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
5069{
5070
5071 {
5072 {
5073#line 1299
5074 ldv_check_alloc_flags(ldv_func_arg2);
5075#line 1301
5076 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
5077 }
5078#line 1302
5079 return ((void *)0);
5080}
5081}
5082#line 1304 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5083__inline static void *kzalloc(size_t size , gfp_t flags )
5084{ void *tmp ;
5085
5086 {
5087 {
5088#line 1310
5089 ldv_check_alloc_flags(flags);
5090#line 1311
5091 tmp = __VERIFIER_nondet_pointer();
5092 }
5093#line 1311
5094 return (tmp);
5095}
5096}
5097#line 1358 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5098struct sk_buff *ldv_skb_clone_22(struct sk_buff *ldv_func_arg1 , gfp_t ldv_func_arg2 )
5099{ struct sk_buff *tmp ;
5100
5101 {
5102 {
5103#line 1364
5104 ldv_check_alloc_flags(ldv_func_arg2);
5105#line 1366
5106 tmp = skb_clone(ldv_func_arg1, ldv_func_arg2);
5107 }
5108#line 1366
5109 return (tmp);
5110}
5111}
5112#line 1380 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5113struct sk_buff *ldv_skb_copy_24(struct sk_buff const *ldv_func_arg1 , gfp_t ldv_func_arg2 )
5114{ struct sk_buff *tmp ;
5115
5116 {
5117 {
5118#line 1386
5119 ldv_check_alloc_flags(ldv_func_arg2);
5120#line 1388
5121 tmp = skb_copy(ldv_func_arg1, ldv_func_arg2);
5122 }
5123#line 1388
5124 return (tmp);
5125}
5126}
5127#line 1391 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5128struct sk_buff *ldv___netdev_alloc_skb_25(struct net_device *ldv_func_arg1 , unsigned int ldv_func_arg2 ,
5129 gfp_t ldv_func_arg3 )
5130{ struct sk_buff *tmp ;
5131
5132 {
5133 {
5134#line 1398
5135 ldv_check_alloc_flags(ldv_func_arg3);
5136#line 1400
5137 tmp = __netdev_alloc_skb(ldv_func_arg1, ldv_func_arg2, ldv_func_arg3);
5138 }
5139#line 1400
5140 return (tmp);
5141}
5142}
5143#line 1403 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5144struct sk_buff *ldv___netdev_alloc_skb_26(struct net_device *ldv_func_arg1 , unsigned int ldv_func_arg2 ,
5145 gfp_t ldv_func_arg3 )
5146{ struct sk_buff *tmp ;
5147
5148 {
5149 {
5150#line 1410
5151 ldv_check_alloc_flags(ldv_func_arg3);
5152#line 1412
5153 tmp = __netdev_alloc_skb(ldv_func_arg1, ldv_func_arg2, ldv_func_arg3);
5154 }
5155#line 1412
5156 return (tmp);
5157}
5158}
5159#line 1415 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/5003/dscv_tempdir/dscv/ri/43_1a/drivers/mfd/timberdale.c.p"
5160int ldv_pskb_expand_head_27(struct sk_buff *ldv_func_arg1 , int ldv_func_arg2 , int ldv_func_arg3 ,
5161 gfp_t ldv_func_arg4 )
5162{ int tmp ;
5163
5164 {
5165 {
5166#line 1423
5167 ldv_check_alloc_flags(ldv_func_arg4);
5168#line 1425
5169 tmp = pskb_expand_head(ldv_func_arg1, ldv_func_arg2, ldv_func_arg3, ldv_func_arg4);
5170 }
5171#line 1425
5172 return (tmp);
5173}
5174}