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