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 202 "include/linux/types.h"
87typedef unsigned int gfp_t;
88#line 206 "include/linux/types.h"
89typedef u64 phys_addr_t;
90#line 211 "include/linux/types.h"
91typedef phys_addr_t resource_size_t;
92#line 219 "include/linux/types.h"
93struct __anonstruct_atomic_t_7 {
94 int counter ;
95};
96#line 219 "include/linux/types.h"
97typedef struct __anonstruct_atomic_t_7 atomic_t;
98#line 224 "include/linux/types.h"
99struct __anonstruct_atomic64_t_8 {
100 long counter ;
101};
102#line 224 "include/linux/types.h"
103typedef struct __anonstruct_atomic64_t_8 atomic64_t;
104#line 229 "include/linux/types.h"
105struct list_head {
106 struct list_head *next ;
107 struct list_head *prev ;
108};
109#line 233
110struct hlist_node;
111#line 233 "include/linux/types.h"
112struct hlist_head {
113 struct hlist_node *first ;
114};
115#line 237 "include/linux/types.h"
116struct hlist_node {
117 struct hlist_node *next ;
118 struct hlist_node **pprev ;
119};
120#line 253 "include/linux/types.h"
121struct rcu_head {
122 struct rcu_head *next ;
123 void (*func)(struct rcu_head *head ) ;
124};
125#line 146 "include/linux/init.h"
126typedef void (*ctor_fn_t)(void);
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 47 "include/linux/dynamic_debug.h"
132struct device;
133#line 47
134struct device;
135#line 135 "include/linux/kernel.h"
136struct completion;
137#line 135
138struct completion;
139#line 136
140struct pt_regs;
141#line 136
142struct pt_regs;
143#line 349
144struct pid;
145#line 349
146struct pid;
147#line 12 "include/linux/thread_info.h"
148struct timespec;
149#line 12
150struct timespec;
151#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
152struct page;
153#line 18
154struct page;
155#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
156struct task_struct;
157#line 20
158struct task_struct;
159#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
160struct task_struct;
161#line 8
162struct mm_struct;
163#line 8
164struct mm_struct;
165#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
166struct pt_regs {
167 unsigned long r15 ;
168 unsigned long r14 ;
169 unsigned long r13 ;
170 unsigned long r12 ;
171 unsigned long bp ;
172 unsigned long bx ;
173 unsigned long r11 ;
174 unsigned long r10 ;
175 unsigned long r9 ;
176 unsigned long r8 ;
177 unsigned long ax ;
178 unsigned long cx ;
179 unsigned long dx ;
180 unsigned long si ;
181 unsigned long di ;
182 unsigned long orig_ax ;
183 unsigned long ip ;
184 unsigned long cs ;
185 unsigned long flags ;
186 unsigned long sp ;
187 unsigned long ss ;
188};
189#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
190struct __anonstruct____missing_field_name_15 {
191 unsigned int a ;
192 unsigned int b ;
193};
194#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
195struct __anonstruct____missing_field_name_16 {
196 u16 limit0 ;
197 u16 base0 ;
198 unsigned int base1 : 8 ;
199 unsigned int type : 4 ;
200 unsigned int s : 1 ;
201 unsigned int dpl : 2 ;
202 unsigned int p : 1 ;
203 unsigned int limit : 4 ;
204 unsigned int avl : 1 ;
205 unsigned int l : 1 ;
206 unsigned int d : 1 ;
207 unsigned int g : 1 ;
208 unsigned int base2 : 8 ;
209};
210#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
211union __anonunion____missing_field_name_14 {
212 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
213 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
214};
215#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
216struct desc_struct {
217 union __anonunion____missing_field_name_14 __annonCompField7 ;
218} __attribute__((__packed__)) ;
219#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
220typedef unsigned long pgdval_t;
221#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
222typedef unsigned long pgprotval_t;
223#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
224struct pgprot {
225 pgprotval_t pgprot ;
226};
227#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
228typedef struct pgprot pgprot_t;
229#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
230struct __anonstruct_pgd_t_20 {
231 pgdval_t pgd ;
232};
233#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
234typedef struct __anonstruct_pgd_t_20 pgd_t;
235#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
236typedef struct page *pgtable_t;
237#line 295
238struct file;
239#line 295
240struct file;
241#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
242struct page;
243#line 47
244struct thread_struct;
245#line 47
246struct thread_struct;
247#line 50
248struct mm_struct;
249#line 51
250struct desc_struct;
251#line 52
252struct task_struct;
253#line 53
254struct cpumask;
255#line 53
256struct cpumask;
257#line 329
258struct arch_spinlock;
259#line 329
260struct arch_spinlock;
261#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
262struct task_struct;
263#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
264struct kernel_vm86_regs {
265 struct pt_regs pt ;
266 unsigned short es ;
267 unsigned short __esh ;
268 unsigned short ds ;
269 unsigned short __dsh ;
270 unsigned short fs ;
271 unsigned short __fsh ;
272 unsigned short gs ;
273 unsigned short __gsh ;
274};
275#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
276union __anonunion____missing_field_name_24 {
277 struct pt_regs *regs ;
278 struct kernel_vm86_regs *vm86 ;
279};
280#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
281struct math_emu_info {
282 long ___orig_eip ;
283 union __anonunion____missing_field_name_24 __annonCompField8 ;
284};
285#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
286struct task_struct;
287#line 10 "include/asm-generic/bug.h"
288struct bug_entry {
289 int bug_addr_disp ;
290 int file_disp ;
291 unsigned short line ;
292 unsigned short flags ;
293};
294#line 12 "include/linux/bug.h"
295struct pt_regs;
296#line 14 "include/linux/cpumask.h"
297struct cpumask {
298 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
299};
300#line 14 "include/linux/cpumask.h"
301typedef struct cpumask cpumask_t;
302#line 637 "include/linux/cpumask.h"
303typedef struct cpumask *cpumask_var_t;
304#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
305struct static_key;
306#line 234
307struct static_key;
308#line 11 "include/linux/personality.h"
309struct pt_regs;
310#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
311struct i387_fsave_struct {
312 u32 cwd ;
313 u32 swd ;
314 u32 twd ;
315 u32 fip ;
316 u32 fcs ;
317 u32 foo ;
318 u32 fos ;
319 u32 st_space[20] ;
320 u32 status ;
321};
322#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
323struct __anonstruct____missing_field_name_31 {
324 u64 rip ;
325 u64 rdp ;
326};
327#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
328struct __anonstruct____missing_field_name_32 {
329 u32 fip ;
330 u32 fcs ;
331 u32 foo ;
332 u32 fos ;
333};
334#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
335union __anonunion____missing_field_name_30 {
336 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
337 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
338};
339#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
340union __anonunion____missing_field_name_33 {
341 u32 padding1[12] ;
342 u32 sw_reserved[12] ;
343};
344#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
345struct i387_fxsave_struct {
346 u16 cwd ;
347 u16 swd ;
348 u16 twd ;
349 u16 fop ;
350 union __anonunion____missing_field_name_30 __annonCompField14 ;
351 u32 mxcsr ;
352 u32 mxcsr_mask ;
353 u32 st_space[32] ;
354 u32 xmm_space[64] ;
355 u32 padding[12] ;
356 union __anonunion____missing_field_name_33 __annonCompField15 ;
357} __attribute__((__aligned__(16))) ;
358#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
359struct i387_soft_struct {
360 u32 cwd ;
361 u32 swd ;
362 u32 twd ;
363 u32 fip ;
364 u32 fcs ;
365 u32 foo ;
366 u32 fos ;
367 u32 st_space[20] ;
368 u8 ftop ;
369 u8 changed ;
370 u8 lookahead ;
371 u8 no_update ;
372 u8 rm ;
373 u8 alimit ;
374 struct math_emu_info *info ;
375 u32 entry_eip ;
376};
377#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
378struct ymmh_struct {
379 u32 ymmh_space[64] ;
380};
381#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
382struct xsave_hdr_struct {
383 u64 xstate_bv ;
384 u64 reserved1[2] ;
385 u64 reserved2[5] ;
386} __attribute__((__packed__)) ;
387#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
388struct xsave_struct {
389 struct i387_fxsave_struct i387 ;
390 struct xsave_hdr_struct xsave_hdr ;
391 struct ymmh_struct ymmh ;
392} __attribute__((__packed__, __aligned__(64))) ;
393#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
394union thread_xstate {
395 struct i387_fsave_struct fsave ;
396 struct i387_fxsave_struct fxsave ;
397 struct i387_soft_struct soft ;
398 struct xsave_struct xsave ;
399};
400#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
401struct fpu {
402 unsigned int last_cpu ;
403 unsigned int has_fpu ;
404 union thread_xstate *state ;
405};
406#line 433
407struct kmem_cache;
408#line 435
409struct perf_event;
410#line 435
411struct perf_event;
412#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
413struct thread_struct {
414 struct desc_struct tls_array[3] ;
415 unsigned long sp0 ;
416 unsigned long sp ;
417 unsigned long usersp ;
418 unsigned short es ;
419 unsigned short ds ;
420 unsigned short fsindex ;
421 unsigned short gsindex ;
422 unsigned long fs ;
423 unsigned long gs ;
424 struct perf_event *ptrace_bps[4] ;
425 unsigned long debugreg6 ;
426 unsigned long ptrace_dr7 ;
427 unsigned long cr2 ;
428 unsigned long trap_nr ;
429 unsigned long error_code ;
430 struct fpu fpu ;
431 unsigned long *io_bitmap_ptr ;
432 unsigned long iopl ;
433 unsigned int io_bitmap_max ;
434};
435#line 23 "include/asm-generic/atomic-long.h"
436typedef atomic64_t atomic_long_t;
437#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
438typedef u16 __ticket_t;
439#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
440typedef u32 __ticketpair_t;
441#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
442struct __raw_tickets {
443 __ticket_t head ;
444 __ticket_t tail ;
445};
446#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
447union __anonunion____missing_field_name_36 {
448 __ticketpair_t head_tail ;
449 struct __raw_tickets tickets ;
450};
451#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
452struct arch_spinlock {
453 union __anonunion____missing_field_name_36 __annonCompField17 ;
454};
455#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
456typedef struct arch_spinlock arch_spinlock_t;
457#line 12 "include/linux/lockdep.h"
458struct task_struct;
459#line 20 "include/linux/spinlock_types.h"
460struct raw_spinlock {
461 arch_spinlock_t raw_lock ;
462 unsigned int magic ;
463 unsigned int owner_cpu ;
464 void *owner ;
465};
466#line 20 "include/linux/spinlock_types.h"
467typedef struct raw_spinlock raw_spinlock_t;
468#line 64 "include/linux/spinlock_types.h"
469union __anonunion____missing_field_name_39 {
470 struct raw_spinlock rlock ;
471};
472#line 64 "include/linux/spinlock_types.h"
473struct spinlock {
474 union __anonunion____missing_field_name_39 __annonCompField19 ;
475};
476#line 64 "include/linux/spinlock_types.h"
477typedef struct spinlock spinlock_t;
478#line 119 "include/linux/seqlock.h"
479struct seqcount {
480 unsigned int sequence ;
481};
482#line 119 "include/linux/seqlock.h"
483typedef struct seqcount seqcount_t;
484#line 14 "include/linux/time.h"
485struct timespec {
486 __kernel_time_t tv_sec ;
487 long tv_nsec ;
488};
489#line 49 "include/linux/wait.h"
490struct __wait_queue_head {
491 spinlock_t lock ;
492 struct list_head task_list ;
493};
494#line 53 "include/linux/wait.h"
495typedef struct __wait_queue_head wait_queue_head_t;
496#line 55
497struct task_struct;
498#line 98 "include/linux/nodemask.h"
499struct __anonstruct_nodemask_t_42 {
500 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
501};
502#line 98 "include/linux/nodemask.h"
503typedef struct __anonstruct_nodemask_t_42 nodemask_t;
504#line 60 "include/linux/pageblock-flags.h"
505struct page;
506#line 48 "include/linux/mutex.h"
507struct mutex {
508 atomic_t count ;
509 spinlock_t wait_lock ;
510 struct list_head wait_list ;
511 struct task_struct *owner ;
512 char const *name ;
513 void *magic ;
514};
515#line 69 "include/linux/mutex.h"
516struct mutex_waiter {
517 struct list_head list ;
518 struct task_struct *task ;
519 void *magic ;
520};
521#line 19 "include/linux/rwsem.h"
522struct rw_semaphore;
523#line 19
524struct rw_semaphore;
525#line 25 "include/linux/rwsem.h"
526struct rw_semaphore {
527 long count ;
528 raw_spinlock_t wait_lock ;
529 struct list_head wait_list ;
530};
531#line 25 "include/linux/completion.h"
532struct completion {
533 unsigned int done ;
534 wait_queue_head_t wait ;
535};
536#line 188 "include/linux/rcupdate.h"
537struct notifier_block;
538#line 188
539struct notifier_block;
540#line 50 "include/linux/notifier.h"
541struct notifier_block {
542 int (*notifier_call)(struct notifier_block * , unsigned long , void * ) ;
543 struct notifier_block *next ;
544 int priority ;
545};
546#line 9 "include/linux/memory_hotplug.h"
547struct page;
548#line 202 "include/linux/ioport.h"
549struct device;
550#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
551struct device;
552#line 46 "include/linux/ktime.h"
553union ktime {
554 s64 tv64 ;
555};
556#line 59 "include/linux/ktime.h"
557typedef union ktime ktime_t;
558#line 10 "include/linux/timer.h"
559struct tvec_base;
560#line 10
561struct tvec_base;
562#line 12 "include/linux/timer.h"
563struct timer_list {
564 struct list_head entry ;
565 unsigned long expires ;
566 struct tvec_base *base ;
567 void (*function)(unsigned long ) ;
568 unsigned long data ;
569 int slack ;
570 int start_pid ;
571 void *start_site ;
572 char start_comm[16] ;
573};
574#line 289
575struct hrtimer;
576#line 289
577struct hrtimer;
578#line 290
579enum hrtimer_restart;
580#line 17 "include/linux/workqueue.h"
581struct work_struct;
582#line 17
583struct work_struct;
584#line 79 "include/linux/workqueue.h"
585struct work_struct {
586 atomic_long_t data ;
587 struct list_head entry ;
588 void (*func)(struct work_struct *work ) ;
589};
590#line 42 "include/linux/pm.h"
591struct device;
592#line 50 "include/linux/pm.h"
593struct pm_message {
594 int event ;
595};
596#line 50 "include/linux/pm.h"
597typedef struct pm_message pm_message_t;
598#line 264 "include/linux/pm.h"
599struct dev_pm_ops {
600 int (*prepare)(struct device *dev ) ;
601 void (*complete)(struct device *dev ) ;
602 int (*suspend)(struct device *dev ) ;
603 int (*resume)(struct device *dev ) ;
604 int (*freeze)(struct device *dev ) ;
605 int (*thaw)(struct device *dev ) ;
606 int (*poweroff)(struct device *dev ) ;
607 int (*restore)(struct device *dev ) ;
608 int (*suspend_late)(struct device *dev ) ;
609 int (*resume_early)(struct device *dev ) ;
610 int (*freeze_late)(struct device *dev ) ;
611 int (*thaw_early)(struct device *dev ) ;
612 int (*poweroff_late)(struct device *dev ) ;
613 int (*restore_early)(struct device *dev ) ;
614 int (*suspend_noirq)(struct device *dev ) ;
615 int (*resume_noirq)(struct device *dev ) ;
616 int (*freeze_noirq)(struct device *dev ) ;
617 int (*thaw_noirq)(struct device *dev ) ;
618 int (*poweroff_noirq)(struct device *dev ) ;
619 int (*restore_noirq)(struct device *dev ) ;
620 int (*runtime_suspend)(struct device *dev ) ;
621 int (*runtime_resume)(struct device *dev ) ;
622 int (*runtime_idle)(struct device *dev ) ;
623};
624#line 458
625enum rpm_status {
626 RPM_ACTIVE = 0,
627 RPM_RESUMING = 1,
628 RPM_SUSPENDED = 2,
629 RPM_SUSPENDING = 3
630} ;
631#line 480
632enum rpm_request {
633 RPM_REQ_NONE = 0,
634 RPM_REQ_IDLE = 1,
635 RPM_REQ_SUSPEND = 2,
636 RPM_REQ_AUTOSUSPEND = 3,
637 RPM_REQ_RESUME = 4
638} ;
639#line 488
640struct wakeup_source;
641#line 488
642struct wakeup_source;
643#line 495 "include/linux/pm.h"
644struct pm_subsys_data {
645 spinlock_t lock ;
646 unsigned int refcount ;
647};
648#line 506
649struct dev_pm_qos_request;
650#line 506
651struct pm_qos_constraints;
652#line 506 "include/linux/pm.h"
653struct dev_pm_info {
654 pm_message_t power_state ;
655 unsigned int can_wakeup : 1 ;
656 unsigned int async_suspend : 1 ;
657 bool is_prepared : 1 ;
658 bool is_suspended : 1 ;
659 bool ignore_children : 1 ;
660 spinlock_t lock ;
661 struct list_head entry ;
662 struct completion completion ;
663 struct wakeup_source *wakeup ;
664 bool wakeup_path : 1 ;
665 struct timer_list suspend_timer ;
666 unsigned long timer_expires ;
667 struct work_struct work ;
668 wait_queue_head_t wait_queue ;
669 atomic_t usage_count ;
670 atomic_t child_count ;
671 unsigned int disable_depth : 3 ;
672 unsigned int idle_notification : 1 ;
673 unsigned int request_pending : 1 ;
674 unsigned int deferred_resume : 1 ;
675 unsigned int run_wake : 1 ;
676 unsigned int runtime_auto : 1 ;
677 unsigned int no_callbacks : 1 ;
678 unsigned int irq_safe : 1 ;
679 unsigned int use_autosuspend : 1 ;
680 unsigned int timer_autosuspends : 1 ;
681 enum rpm_request request ;
682 enum rpm_status runtime_status ;
683 int runtime_error ;
684 int autosuspend_delay ;
685 unsigned long last_busy ;
686 unsigned long active_jiffies ;
687 unsigned long suspended_jiffies ;
688 unsigned long accounting_timestamp ;
689 ktime_t suspend_time ;
690 s64 max_time_suspended_ns ;
691 struct dev_pm_qos_request *pq_req ;
692 struct pm_subsys_data *subsys_data ;
693 struct pm_qos_constraints *constraints ;
694};
695#line 564 "include/linux/pm.h"
696struct dev_pm_domain {
697 struct dev_pm_ops ops ;
698};
699#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
700struct __anonstruct_mm_context_t_112 {
701 void *ldt ;
702 int size ;
703 unsigned short ia32_compat ;
704 struct mutex lock ;
705 void *vdso ;
706};
707#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
708typedef struct __anonstruct_mm_context_t_112 mm_context_t;
709#line 8 "include/linux/vmalloc.h"
710struct vm_area_struct;
711#line 8
712struct vm_area_struct;
713#line 994 "include/linux/mmzone.h"
714struct page;
715#line 10 "include/linux/gfp.h"
716struct vm_area_struct;
717#line 29 "include/linux/sysctl.h"
718struct completion;
719#line 100 "include/linux/rbtree.h"
720struct rb_node {
721 unsigned long rb_parent_color ;
722 struct rb_node *rb_right ;
723 struct rb_node *rb_left ;
724} __attribute__((__aligned__(sizeof(long )))) ;
725#line 110 "include/linux/rbtree.h"
726struct rb_root {
727 struct rb_node *rb_node ;
728};
729#line 939 "include/linux/sysctl.h"
730struct nsproxy;
731#line 939
732struct nsproxy;
733#line 48 "include/linux/kmod.h"
734struct cred;
735#line 48
736struct cred;
737#line 49
738struct file;
739#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
740struct task_struct;
741#line 18 "include/linux/elf.h"
742typedef __u64 Elf64_Addr;
743#line 19 "include/linux/elf.h"
744typedef __u16 Elf64_Half;
745#line 23 "include/linux/elf.h"
746typedef __u32 Elf64_Word;
747#line 24 "include/linux/elf.h"
748typedef __u64 Elf64_Xword;
749#line 194 "include/linux/elf.h"
750struct elf64_sym {
751 Elf64_Word st_name ;
752 unsigned char st_info ;
753 unsigned char st_other ;
754 Elf64_Half st_shndx ;
755 Elf64_Addr st_value ;
756 Elf64_Xword st_size ;
757};
758#line 194 "include/linux/elf.h"
759typedef struct elf64_sym Elf64_Sym;
760#line 438
761struct file;
762#line 20 "include/linux/kobject_ns.h"
763struct sock;
764#line 20
765struct sock;
766#line 21
767struct kobject;
768#line 21
769struct kobject;
770#line 27
771enum kobj_ns_type {
772 KOBJ_NS_TYPE_NONE = 0,
773 KOBJ_NS_TYPE_NET = 1,
774 KOBJ_NS_TYPES = 2
775} ;
776#line 40 "include/linux/kobject_ns.h"
777struct kobj_ns_type_operations {
778 enum kobj_ns_type type ;
779 void *(*grab_current_ns)(void) ;
780 void const *(*netlink_ns)(struct sock *sk ) ;
781 void const *(*initial_ns)(void) ;
782 void (*drop_ns)(void * ) ;
783};
784#line 22 "include/linux/sysfs.h"
785struct kobject;
786#line 23
787struct module;
788#line 24
789enum kobj_ns_type;
790#line 26 "include/linux/sysfs.h"
791struct attribute {
792 char const *name ;
793 umode_t mode ;
794};
795#line 56 "include/linux/sysfs.h"
796struct attribute_group {
797 char const *name ;
798 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
799 struct attribute **attrs ;
800};
801#line 85
802struct file;
803#line 86
804struct vm_area_struct;
805#line 88 "include/linux/sysfs.h"
806struct bin_attribute {
807 struct attribute attr ;
808 size_t size ;
809 void *private ;
810 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
811 loff_t , size_t ) ;
812 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
813 loff_t , size_t ) ;
814 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
815};
816#line 112 "include/linux/sysfs.h"
817struct sysfs_ops {
818 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
819 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
820 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
821};
822#line 118
823struct sysfs_dirent;
824#line 118
825struct sysfs_dirent;
826#line 22 "include/linux/kref.h"
827struct kref {
828 atomic_t refcount ;
829};
830#line 60 "include/linux/kobject.h"
831struct kset;
832#line 60
833struct kobj_type;
834#line 60 "include/linux/kobject.h"
835struct kobject {
836 char const *name ;
837 struct list_head entry ;
838 struct kobject *parent ;
839 struct kset *kset ;
840 struct kobj_type *ktype ;
841 struct sysfs_dirent *sd ;
842 struct kref kref ;
843 unsigned int state_initialized : 1 ;
844 unsigned int state_in_sysfs : 1 ;
845 unsigned int state_add_uevent_sent : 1 ;
846 unsigned int state_remove_uevent_sent : 1 ;
847 unsigned int uevent_suppress : 1 ;
848};
849#line 108 "include/linux/kobject.h"
850struct kobj_type {
851 void (*release)(struct kobject *kobj ) ;
852 struct sysfs_ops const *sysfs_ops ;
853 struct attribute **default_attrs ;
854 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
855 void const *(*namespace)(struct kobject *kobj ) ;
856};
857#line 116 "include/linux/kobject.h"
858struct kobj_uevent_env {
859 char *envp[32] ;
860 int envp_idx ;
861 char buf[2048] ;
862 int buflen ;
863};
864#line 123 "include/linux/kobject.h"
865struct kset_uevent_ops {
866 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
867 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
868 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
869};
870#line 140
871struct sock;
872#line 159 "include/linux/kobject.h"
873struct kset {
874 struct list_head list ;
875 spinlock_t list_lock ;
876 struct kobject kobj ;
877 struct kset_uevent_ops const *uevent_ops ;
878};
879#line 39 "include/linux/moduleparam.h"
880struct kernel_param;
881#line 39
882struct kernel_param;
883#line 41 "include/linux/moduleparam.h"
884struct kernel_param_ops {
885 int (*set)(char const *val , struct kernel_param const *kp ) ;
886 int (*get)(char *buffer , struct kernel_param const *kp ) ;
887 void (*free)(void *arg ) ;
888};
889#line 50
890struct kparam_string;
891#line 50
892struct kparam_array;
893#line 50 "include/linux/moduleparam.h"
894union __anonunion____missing_field_name_199 {
895 void *arg ;
896 struct kparam_string const *str ;
897 struct kparam_array const *arr ;
898};
899#line 50 "include/linux/moduleparam.h"
900struct kernel_param {
901 char const *name ;
902 struct kernel_param_ops const *ops ;
903 u16 perm ;
904 s16 level ;
905 union __anonunion____missing_field_name_199 __annonCompField32 ;
906};
907#line 63 "include/linux/moduleparam.h"
908struct kparam_string {
909 unsigned int maxlen ;
910 char *string ;
911};
912#line 69 "include/linux/moduleparam.h"
913struct kparam_array {
914 unsigned int max ;
915 unsigned int elemsize ;
916 unsigned int *num ;
917 struct kernel_param_ops const *ops ;
918 void *elem ;
919};
920#line 445
921struct module;
922#line 80 "include/linux/jump_label.h"
923struct module;
924#line 143 "include/linux/jump_label.h"
925struct static_key {
926 atomic_t enabled ;
927};
928#line 22 "include/linux/tracepoint.h"
929struct module;
930#line 23
931struct tracepoint;
932#line 23
933struct tracepoint;
934#line 25 "include/linux/tracepoint.h"
935struct tracepoint_func {
936 void *func ;
937 void *data ;
938};
939#line 30 "include/linux/tracepoint.h"
940struct tracepoint {
941 char const *name ;
942 struct static_key key ;
943 void (*regfunc)(void) ;
944 void (*unregfunc)(void) ;
945 struct tracepoint_func *funcs ;
946};
947#line 19 "include/linux/export.h"
948struct kernel_symbol {
949 unsigned long value ;
950 char const *name ;
951};
952#line 8 "include/asm-generic/module.h"
953struct mod_arch_specific {
954
955};
956#line 35 "include/linux/module.h"
957struct module;
958#line 37
959struct module_param_attrs;
960#line 37 "include/linux/module.h"
961struct module_kobject {
962 struct kobject kobj ;
963 struct module *mod ;
964 struct kobject *drivers_dir ;
965 struct module_param_attrs *mp ;
966};
967#line 44 "include/linux/module.h"
968struct module_attribute {
969 struct attribute attr ;
970 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
971 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
972 size_t count ) ;
973 void (*setup)(struct module * , char const * ) ;
974 int (*test)(struct module * ) ;
975 void (*free)(struct module * ) ;
976};
977#line 71
978struct exception_table_entry;
979#line 71
980struct exception_table_entry;
981#line 182
982struct notifier_block;
983#line 199
984enum module_state {
985 MODULE_STATE_LIVE = 0,
986 MODULE_STATE_COMING = 1,
987 MODULE_STATE_GOING = 2
988} ;
989#line 215 "include/linux/module.h"
990struct module_ref {
991 unsigned long incs ;
992 unsigned long decs ;
993} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
994#line 220
995struct module_sect_attrs;
996#line 220
997struct module_notes_attrs;
998#line 220
999struct ftrace_event_call;
1000#line 220 "include/linux/module.h"
1001struct module {
1002 enum module_state state ;
1003 struct list_head list ;
1004 char name[64UL - sizeof(unsigned long )] ;
1005 struct module_kobject mkobj ;
1006 struct module_attribute *modinfo_attrs ;
1007 char const *version ;
1008 char const *srcversion ;
1009 struct kobject *holders_dir ;
1010 struct kernel_symbol const *syms ;
1011 unsigned long const *crcs ;
1012 unsigned int num_syms ;
1013 struct kernel_param *kp ;
1014 unsigned int num_kp ;
1015 unsigned int num_gpl_syms ;
1016 struct kernel_symbol const *gpl_syms ;
1017 unsigned long const *gpl_crcs ;
1018 struct kernel_symbol const *unused_syms ;
1019 unsigned long const *unused_crcs ;
1020 unsigned int num_unused_syms ;
1021 unsigned int num_unused_gpl_syms ;
1022 struct kernel_symbol const *unused_gpl_syms ;
1023 unsigned long const *unused_gpl_crcs ;
1024 struct kernel_symbol const *gpl_future_syms ;
1025 unsigned long const *gpl_future_crcs ;
1026 unsigned int num_gpl_future_syms ;
1027 unsigned int num_exentries ;
1028 struct exception_table_entry *extable ;
1029 int (*init)(void) ;
1030 void *module_init ;
1031 void *module_core ;
1032 unsigned int init_size ;
1033 unsigned int core_size ;
1034 unsigned int init_text_size ;
1035 unsigned int core_text_size ;
1036 unsigned int init_ro_size ;
1037 unsigned int core_ro_size ;
1038 struct mod_arch_specific arch ;
1039 unsigned int taints ;
1040 unsigned int num_bugs ;
1041 struct list_head bug_list ;
1042 struct bug_entry *bug_table ;
1043 Elf64_Sym *symtab ;
1044 Elf64_Sym *core_symtab ;
1045 unsigned int num_symtab ;
1046 unsigned int core_num_syms ;
1047 char *strtab ;
1048 char *core_strtab ;
1049 struct module_sect_attrs *sect_attrs ;
1050 struct module_notes_attrs *notes_attrs ;
1051 char *args ;
1052 void *percpu ;
1053 unsigned int percpu_size ;
1054 unsigned int num_tracepoints ;
1055 struct tracepoint * const *tracepoints_ptrs ;
1056 unsigned int num_trace_bprintk_fmt ;
1057 char const **trace_bprintk_fmt_start ;
1058 struct ftrace_event_call **trace_events ;
1059 unsigned int num_trace_events ;
1060 struct list_head source_list ;
1061 struct list_head target_list ;
1062 struct task_struct *waiter ;
1063 void (*exit)(void) ;
1064 struct module_ref *refptr ;
1065 ctor_fn_t *ctors ;
1066 unsigned int num_ctors ;
1067};
1068#line 31 "include/linux/uio.h"
1069struct kvec {
1070 void *iov_base ;
1071 size_t iov_len ;
1072};
1073#line 19 "include/linux/klist.h"
1074struct klist_node;
1075#line 19
1076struct klist_node;
1077#line 39 "include/linux/klist.h"
1078struct klist_node {
1079 void *n_klist ;
1080 struct list_head n_node ;
1081 struct kref n_ref ;
1082};
1083#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1084struct dma_map_ops;
1085#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1086struct dev_archdata {
1087 void *acpi_handle ;
1088 struct dma_map_ops *dma_ops ;
1089 void *iommu ;
1090};
1091#line 28 "include/linux/device.h"
1092struct device;
1093#line 29
1094struct device_private;
1095#line 29
1096struct device_private;
1097#line 30
1098struct device_driver;
1099#line 30
1100struct device_driver;
1101#line 31
1102struct driver_private;
1103#line 31
1104struct driver_private;
1105#line 32
1106struct module;
1107#line 33
1108struct class;
1109#line 33
1110struct class;
1111#line 34
1112struct subsys_private;
1113#line 34
1114struct subsys_private;
1115#line 35
1116struct bus_type;
1117#line 35
1118struct bus_type;
1119#line 36
1120struct device_node;
1121#line 36
1122struct device_node;
1123#line 37
1124struct iommu_ops;
1125#line 37
1126struct iommu_ops;
1127#line 39 "include/linux/device.h"
1128struct bus_attribute {
1129 struct attribute attr ;
1130 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1131 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1132};
1133#line 89
1134struct device_attribute;
1135#line 89
1136struct driver_attribute;
1137#line 89 "include/linux/device.h"
1138struct bus_type {
1139 char const *name ;
1140 char const *dev_name ;
1141 struct device *dev_root ;
1142 struct bus_attribute *bus_attrs ;
1143 struct device_attribute *dev_attrs ;
1144 struct driver_attribute *drv_attrs ;
1145 int (*match)(struct device *dev , struct device_driver *drv ) ;
1146 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1147 int (*probe)(struct device *dev ) ;
1148 int (*remove)(struct device *dev ) ;
1149 void (*shutdown)(struct device *dev ) ;
1150 int (*suspend)(struct device *dev , pm_message_t state ) ;
1151 int (*resume)(struct device *dev ) ;
1152 struct dev_pm_ops const *pm ;
1153 struct iommu_ops *iommu_ops ;
1154 struct subsys_private *p ;
1155};
1156#line 127
1157struct device_type;
1158#line 159
1159struct notifier_block;
1160#line 214
1161struct of_device_id;
1162#line 214 "include/linux/device.h"
1163struct device_driver {
1164 char const *name ;
1165 struct bus_type *bus ;
1166 struct module *owner ;
1167 char const *mod_name ;
1168 bool suppress_bind_attrs ;
1169 struct of_device_id const *of_match_table ;
1170 int (*probe)(struct device *dev ) ;
1171 int (*remove)(struct device *dev ) ;
1172 void (*shutdown)(struct device *dev ) ;
1173 int (*suspend)(struct device *dev , pm_message_t state ) ;
1174 int (*resume)(struct device *dev ) ;
1175 struct attribute_group const **groups ;
1176 struct dev_pm_ops const *pm ;
1177 struct driver_private *p ;
1178};
1179#line 249 "include/linux/device.h"
1180struct driver_attribute {
1181 struct attribute attr ;
1182 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1183 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1184};
1185#line 330
1186struct class_attribute;
1187#line 330 "include/linux/device.h"
1188struct class {
1189 char const *name ;
1190 struct module *owner ;
1191 struct class_attribute *class_attrs ;
1192 struct device_attribute *dev_attrs ;
1193 struct bin_attribute *dev_bin_attrs ;
1194 struct kobject *dev_kobj ;
1195 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1196 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1197 void (*class_release)(struct class *class ) ;
1198 void (*dev_release)(struct device *dev ) ;
1199 int (*suspend)(struct device *dev , pm_message_t state ) ;
1200 int (*resume)(struct device *dev ) ;
1201 struct kobj_ns_type_operations const *ns_type ;
1202 void const *(*namespace)(struct device *dev ) ;
1203 struct dev_pm_ops const *pm ;
1204 struct subsys_private *p ;
1205};
1206#line 397 "include/linux/device.h"
1207struct class_attribute {
1208 struct attribute attr ;
1209 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1210 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1211 size_t count ) ;
1212 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1213};
1214#line 465 "include/linux/device.h"
1215struct device_type {
1216 char const *name ;
1217 struct attribute_group const **groups ;
1218 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1219 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1220 void (*release)(struct device *dev ) ;
1221 struct dev_pm_ops const *pm ;
1222};
1223#line 476 "include/linux/device.h"
1224struct device_attribute {
1225 struct attribute attr ;
1226 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1227 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1228 size_t count ) ;
1229};
1230#line 559 "include/linux/device.h"
1231struct device_dma_parameters {
1232 unsigned int max_segment_size ;
1233 unsigned long segment_boundary_mask ;
1234};
1235#line 627
1236struct dma_coherent_mem;
1237#line 627 "include/linux/device.h"
1238struct device {
1239 struct device *parent ;
1240 struct device_private *p ;
1241 struct kobject kobj ;
1242 char const *init_name ;
1243 struct device_type const *type ;
1244 struct mutex mutex ;
1245 struct bus_type *bus ;
1246 struct device_driver *driver ;
1247 void *platform_data ;
1248 struct dev_pm_info power ;
1249 struct dev_pm_domain *pm_domain ;
1250 int numa_node ;
1251 u64 *dma_mask ;
1252 u64 coherent_dma_mask ;
1253 struct device_dma_parameters *dma_parms ;
1254 struct list_head dma_pools ;
1255 struct dma_coherent_mem *dma_mem ;
1256 struct dev_archdata archdata ;
1257 struct device_node *of_node ;
1258 dev_t devt ;
1259 u32 id ;
1260 spinlock_t devres_lock ;
1261 struct list_head devres_head ;
1262 struct klist_node knode_class ;
1263 struct class *class ;
1264 struct attribute_group const **groups ;
1265 void (*release)(struct device *dev ) ;
1266};
1267#line 43 "include/linux/pm_wakeup.h"
1268struct wakeup_source {
1269 char const *name ;
1270 struct list_head entry ;
1271 spinlock_t lock ;
1272 struct timer_list timer ;
1273 unsigned long timer_expires ;
1274 ktime_t total_time ;
1275 ktime_t max_time ;
1276 ktime_t last_time ;
1277 unsigned long event_count ;
1278 unsigned long active_count ;
1279 unsigned long relax_count ;
1280 unsigned long hit_count ;
1281 unsigned int active : 1 ;
1282};
1283#line 143 "include/mtd/mtd-abi.h"
1284struct otp_info {
1285 __u32 start ;
1286 __u32 length ;
1287 __u32 locked ;
1288};
1289#line 217 "include/mtd/mtd-abi.h"
1290struct nand_oobfree {
1291 __u32 offset ;
1292 __u32 length ;
1293};
1294#line 247 "include/mtd/mtd-abi.h"
1295struct mtd_ecc_stats {
1296 __u32 corrected ;
1297 __u32 failed ;
1298 __u32 badblocks ;
1299 __u32 bbtblocks ;
1300};
1301#line 48 "include/linux/mtd/mtd.h"
1302struct mtd_info;
1303#line 48 "include/linux/mtd/mtd.h"
1304struct erase_info {
1305 struct mtd_info *mtd ;
1306 uint64_t addr ;
1307 uint64_t len ;
1308 uint64_t fail_addr ;
1309 u_long time ;
1310 u_long retries ;
1311 unsigned int dev ;
1312 unsigned int cell ;
1313 void (*callback)(struct erase_info *self ) ;
1314 u_long priv ;
1315 u_char state ;
1316 struct erase_info *next ;
1317};
1318#line 63 "include/linux/mtd/mtd.h"
1319struct mtd_erase_region_info {
1320 uint64_t offset ;
1321 uint32_t erasesize ;
1322 uint32_t numblocks ;
1323 unsigned long *lockmap ;
1324};
1325#line 89 "include/linux/mtd/mtd.h"
1326struct mtd_oob_ops {
1327 unsigned int mode ;
1328 size_t len ;
1329 size_t retlen ;
1330 size_t ooblen ;
1331 size_t oobretlen ;
1332 uint32_t ooboffs ;
1333 uint8_t *datbuf ;
1334 uint8_t *oobbuf ;
1335};
1336#line 108 "include/linux/mtd/mtd.h"
1337struct nand_ecclayout {
1338 __u32 eccbytes ;
1339 __u32 eccpos[448] ;
1340 __u32 oobavail ;
1341 struct nand_oobfree oobfree[32] ;
1342};
1343#line 115
1344struct module;
1345#line 117
1346struct backing_dev_info;
1347#line 117 "include/linux/mtd/mtd.h"
1348struct mtd_info {
1349 u_char type ;
1350 uint32_t flags ;
1351 uint64_t size ;
1352 uint32_t erasesize ;
1353 uint32_t writesize ;
1354 uint32_t writebufsize ;
1355 uint32_t oobsize ;
1356 uint32_t oobavail ;
1357 unsigned int erasesize_shift ;
1358 unsigned int writesize_shift ;
1359 unsigned int erasesize_mask ;
1360 unsigned int writesize_mask ;
1361 char const *name ;
1362 int index ;
1363 struct nand_ecclayout *ecclayout ;
1364 unsigned int ecc_strength ;
1365 int numeraseregions ;
1366 struct mtd_erase_region_info *eraseregions ;
1367 int (*_erase)(struct mtd_info *mtd , struct erase_info *instr ) ;
1368 int (*_point)(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
1369 void **virt , resource_size_t *phys ) ;
1370 int (*_unpoint)(struct mtd_info *mtd , loff_t from , size_t len ) ;
1371 unsigned long (*_get_unmapped_area)(struct mtd_info *mtd , unsigned long len ,
1372 unsigned long offset , unsigned long flags ) ;
1373 int (*_read)(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
1374 u_char *buf ) ;
1375 int (*_write)(struct mtd_info *mtd , loff_t to , size_t len , size_t *retlen ,
1376 u_char const *buf ) ;
1377 int (*_panic_write)(struct mtd_info *mtd , loff_t to , size_t len , size_t *retlen ,
1378 u_char const *buf ) ;
1379 int (*_read_oob)(struct mtd_info *mtd , loff_t from , struct mtd_oob_ops *ops ) ;
1380 int (*_write_oob)(struct mtd_info *mtd , loff_t to , struct mtd_oob_ops *ops ) ;
1381 int (*_get_fact_prot_info)(struct mtd_info *mtd , struct otp_info *buf , size_t len ) ;
1382 int (*_read_fact_prot_reg)(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
1383 u_char *buf ) ;
1384 int (*_get_user_prot_info)(struct mtd_info *mtd , struct otp_info *buf , size_t len ) ;
1385 int (*_read_user_prot_reg)(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
1386 u_char *buf ) ;
1387 int (*_write_user_prot_reg)(struct mtd_info *mtd , loff_t to , size_t len , size_t *retlen ,
1388 u_char *buf ) ;
1389 int (*_lock_user_prot_reg)(struct mtd_info *mtd , loff_t from , size_t len ) ;
1390 int (*_writev)(struct mtd_info *mtd , struct kvec const *vecs , unsigned long count ,
1391 loff_t to , size_t *retlen ) ;
1392 void (*_sync)(struct mtd_info *mtd ) ;
1393 int (*_lock)(struct mtd_info *mtd , loff_t ofs , uint64_t len ) ;
1394 int (*_unlock)(struct mtd_info *mtd , loff_t ofs , uint64_t len ) ;
1395 int (*_is_locked)(struct mtd_info *mtd , loff_t ofs , uint64_t len ) ;
1396 int (*_block_isbad)(struct mtd_info *mtd , loff_t ofs ) ;
1397 int (*_block_markbad)(struct mtd_info *mtd , loff_t ofs ) ;
1398 int (*_suspend)(struct mtd_info *mtd ) ;
1399 void (*_resume)(struct mtd_info *mtd ) ;
1400 int (*_get_device)(struct mtd_info *mtd ) ;
1401 void (*_put_device)(struct mtd_info *mtd ) ;
1402 struct backing_dev_info *backing_dev_info ;
1403 struct notifier_block reboot_notifier ;
1404 struct mtd_ecc_stats ecc_stats ;
1405 int subpage_sft ;
1406 void *priv ;
1407 struct module *owner ;
1408 struct device dev ;
1409 int usecount ;
1410};
1411#line 46 "include/linux/slub_def.h"
1412struct kmem_cache_cpu {
1413 void **freelist ;
1414 unsigned long tid ;
1415 struct page *page ;
1416 struct page *partial ;
1417 int node ;
1418 unsigned int stat[26] ;
1419};
1420#line 57 "include/linux/slub_def.h"
1421struct kmem_cache_node {
1422 spinlock_t list_lock ;
1423 unsigned long nr_partial ;
1424 struct list_head partial ;
1425 atomic_long_t nr_slabs ;
1426 atomic_long_t total_objects ;
1427 struct list_head full ;
1428};
1429#line 73 "include/linux/slub_def.h"
1430struct kmem_cache_order_objects {
1431 unsigned long x ;
1432};
1433#line 80 "include/linux/slub_def.h"
1434struct kmem_cache {
1435 struct kmem_cache_cpu *cpu_slab ;
1436 unsigned long flags ;
1437 unsigned long min_partial ;
1438 int size ;
1439 int objsize ;
1440 int offset ;
1441 int cpu_partial ;
1442 struct kmem_cache_order_objects oo ;
1443 struct kmem_cache_order_objects max ;
1444 struct kmem_cache_order_objects min ;
1445 gfp_t allocflags ;
1446 int refcount ;
1447 void (*ctor)(void * ) ;
1448 int inuse ;
1449 int align ;
1450 int reserved ;
1451 char const *name ;
1452 struct list_head list ;
1453 struct kobject kobj ;
1454 int remote_node_defrag_ratio ;
1455 struct kmem_cache_node *node[1 << 10] ;
1456};
1457#line 18 "include/linux/capability.h"
1458struct task_struct;
1459#line 94 "include/linux/capability.h"
1460struct kernel_cap_struct {
1461 __u32 cap[2] ;
1462};
1463#line 94 "include/linux/capability.h"
1464typedef struct kernel_cap_struct kernel_cap_t;
1465#line 378
1466struct user_namespace;
1467#line 378
1468struct user_namespace;
1469#line 14 "include/linux/prio_tree.h"
1470struct prio_tree_node;
1471#line 14 "include/linux/prio_tree.h"
1472struct raw_prio_tree_node {
1473 struct prio_tree_node *left ;
1474 struct prio_tree_node *right ;
1475 struct prio_tree_node *parent ;
1476};
1477#line 20 "include/linux/prio_tree.h"
1478struct prio_tree_node {
1479 struct prio_tree_node *left ;
1480 struct prio_tree_node *right ;
1481 struct prio_tree_node *parent ;
1482 unsigned long start ;
1483 unsigned long last ;
1484};
1485#line 23 "include/linux/mm_types.h"
1486struct address_space;
1487#line 23
1488struct address_space;
1489#line 40 "include/linux/mm_types.h"
1490union __anonunion____missing_field_name_204 {
1491 unsigned long index ;
1492 void *freelist ;
1493};
1494#line 40 "include/linux/mm_types.h"
1495struct __anonstruct____missing_field_name_208 {
1496 unsigned int inuse : 16 ;
1497 unsigned int objects : 15 ;
1498 unsigned int frozen : 1 ;
1499};
1500#line 40 "include/linux/mm_types.h"
1501union __anonunion____missing_field_name_207 {
1502 atomic_t _mapcount ;
1503 struct __anonstruct____missing_field_name_208 __annonCompField34 ;
1504};
1505#line 40 "include/linux/mm_types.h"
1506struct __anonstruct____missing_field_name_206 {
1507 union __anonunion____missing_field_name_207 __annonCompField35 ;
1508 atomic_t _count ;
1509};
1510#line 40 "include/linux/mm_types.h"
1511union __anonunion____missing_field_name_205 {
1512 unsigned long counters ;
1513 struct __anonstruct____missing_field_name_206 __annonCompField36 ;
1514};
1515#line 40 "include/linux/mm_types.h"
1516struct __anonstruct____missing_field_name_203 {
1517 union __anonunion____missing_field_name_204 __annonCompField33 ;
1518 union __anonunion____missing_field_name_205 __annonCompField37 ;
1519};
1520#line 40 "include/linux/mm_types.h"
1521struct __anonstruct____missing_field_name_210 {
1522 struct page *next ;
1523 int pages ;
1524 int pobjects ;
1525};
1526#line 40 "include/linux/mm_types.h"
1527union __anonunion____missing_field_name_209 {
1528 struct list_head lru ;
1529 struct __anonstruct____missing_field_name_210 __annonCompField39 ;
1530};
1531#line 40 "include/linux/mm_types.h"
1532union __anonunion____missing_field_name_211 {
1533 unsigned long private ;
1534 struct kmem_cache *slab ;
1535 struct page *first_page ;
1536};
1537#line 40 "include/linux/mm_types.h"
1538struct page {
1539 unsigned long flags ;
1540 struct address_space *mapping ;
1541 struct __anonstruct____missing_field_name_203 __annonCompField38 ;
1542 union __anonunion____missing_field_name_209 __annonCompField40 ;
1543 union __anonunion____missing_field_name_211 __annonCompField41 ;
1544 unsigned long debug_flags ;
1545} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1546#line 200 "include/linux/mm_types.h"
1547struct __anonstruct_vm_set_213 {
1548 struct list_head list ;
1549 void *parent ;
1550 struct vm_area_struct *head ;
1551};
1552#line 200 "include/linux/mm_types.h"
1553union __anonunion_shared_212 {
1554 struct __anonstruct_vm_set_213 vm_set ;
1555 struct raw_prio_tree_node prio_tree_node ;
1556};
1557#line 200
1558struct anon_vma;
1559#line 200
1560struct vm_operations_struct;
1561#line 200
1562struct mempolicy;
1563#line 200 "include/linux/mm_types.h"
1564struct vm_area_struct {
1565 struct mm_struct *vm_mm ;
1566 unsigned long vm_start ;
1567 unsigned long vm_end ;
1568 struct vm_area_struct *vm_next ;
1569 struct vm_area_struct *vm_prev ;
1570 pgprot_t vm_page_prot ;
1571 unsigned long vm_flags ;
1572 struct rb_node vm_rb ;
1573 union __anonunion_shared_212 shared ;
1574 struct list_head anon_vma_chain ;
1575 struct anon_vma *anon_vma ;
1576 struct vm_operations_struct const *vm_ops ;
1577 unsigned long vm_pgoff ;
1578 struct file *vm_file ;
1579 void *vm_private_data ;
1580 struct mempolicy *vm_policy ;
1581};
1582#line 257 "include/linux/mm_types.h"
1583struct core_thread {
1584 struct task_struct *task ;
1585 struct core_thread *next ;
1586};
1587#line 262 "include/linux/mm_types.h"
1588struct core_state {
1589 atomic_t nr_threads ;
1590 struct core_thread dumper ;
1591 struct completion startup ;
1592};
1593#line 284 "include/linux/mm_types.h"
1594struct mm_rss_stat {
1595 atomic_long_t count[3] ;
1596};
1597#line 288
1598struct linux_binfmt;
1599#line 288
1600struct mmu_notifier_mm;
1601#line 288 "include/linux/mm_types.h"
1602struct mm_struct {
1603 struct vm_area_struct *mmap ;
1604 struct rb_root mm_rb ;
1605 struct vm_area_struct *mmap_cache ;
1606 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1607 unsigned long pgoff , unsigned long flags ) ;
1608 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1609 unsigned long mmap_base ;
1610 unsigned long task_size ;
1611 unsigned long cached_hole_size ;
1612 unsigned long free_area_cache ;
1613 pgd_t *pgd ;
1614 atomic_t mm_users ;
1615 atomic_t mm_count ;
1616 int map_count ;
1617 spinlock_t page_table_lock ;
1618 struct rw_semaphore mmap_sem ;
1619 struct list_head mmlist ;
1620 unsigned long hiwater_rss ;
1621 unsigned long hiwater_vm ;
1622 unsigned long total_vm ;
1623 unsigned long locked_vm ;
1624 unsigned long pinned_vm ;
1625 unsigned long shared_vm ;
1626 unsigned long exec_vm ;
1627 unsigned long stack_vm ;
1628 unsigned long reserved_vm ;
1629 unsigned long def_flags ;
1630 unsigned long nr_ptes ;
1631 unsigned long start_code ;
1632 unsigned long end_code ;
1633 unsigned long start_data ;
1634 unsigned long end_data ;
1635 unsigned long start_brk ;
1636 unsigned long brk ;
1637 unsigned long start_stack ;
1638 unsigned long arg_start ;
1639 unsigned long arg_end ;
1640 unsigned long env_start ;
1641 unsigned long env_end ;
1642 unsigned long saved_auxv[44] ;
1643 struct mm_rss_stat rss_stat ;
1644 struct linux_binfmt *binfmt ;
1645 cpumask_var_t cpu_vm_mask_var ;
1646 mm_context_t context ;
1647 unsigned int faultstamp ;
1648 unsigned int token_priority ;
1649 unsigned int last_interval ;
1650 unsigned long flags ;
1651 struct core_state *core_state ;
1652 spinlock_t ioctx_lock ;
1653 struct hlist_head ioctx_list ;
1654 struct task_struct *owner ;
1655 struct file *exe_file ;
1656 unsigned long num_exe_file_vmas ;
1657 struct mmu_notifier_mm *mmu_notifier_mm ;
1658 pgtable_t pmd_huge_pte ;
1659 struct cpumask cpumask_allocation ;
1660};
1661#line 7 "include/asm-generic/cputime.h"
1662typedef unsigned long cputime_t;
1663#line 84 "include/linux/sem.h"
1664struct task_struct;
1665#line 101
1666struct sem_undo_list;
1667#line 101 "include/linux/sem.h"
1668struct sysv_sem {
1669 struct sem_undo_list *undo_list ;
1670};
1671#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1672struct siginfo;
1673#line 10
1674struct siginfo;
1675#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1676struct __anonstruct_sigset_t_215 {
1677 unsigned long sig[1] ;
1678};
1679#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1680typedef struct __anonstruct_sigset_t_215 sigset_t;
1681#line 17 "include/asm-generic/signal-defs.h"
1682typedef void __signalfn_t(int );
1683#line 18 "include/asm-generic/signal-defs.h"
1684typedef __signalfn_t *__sighandler_t;
1685#line 20 "include/asm-generic/signal-defs.h"
1686typedef void __restorefn_t(void);
1687#line 21 "include/asm-generic/signal-defs.h"
1688typedef __restorefn_t *__sigrestore_t;
1689#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1690struct sigaction {
1691 __sighandler_t sa_handler ;
1692 unsigned long sa_flags ;
1693 __sigrestore_t sa_restorer ;
1694 sigset_t sa_mask ;
1695};
1696#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1697struct k_sigaction {
1698 struct sigaction sa ;
1699};
1700#line 7 "include/asm-generic/siginfo.h"
1701union sigval {
1702 int sival_int ;
1703 void *sival_ptr ;
1704};
1705#line 7 "include/asm-generic/siginfo.h"
1706typedef union sigval sigval_t;
1707#line 48 "include/asm-generic/siginfo.h"
1708struct __anonstruct__kill_217 {
1709 __kernel_pid_t _pid ;
1710 __kernel_uid32_t _uid ;
1711};
1712#line 48 "include/asm-generic/siginfo.h"
1713struct __anonstruct__timer_218 {
1714 __kernel_timer_t _tid ;
1715 int _overrun ;
1716 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1717 sigval_t _sigval ;
1718 int _sys_private ;
1719};
1720#line 48 "include/asm-generic/siginfo.h"
1721struct __anonstruct__rt_219 {
1722 __kernel_pid_t _pid ;
1723 __kernel_uid32_t _uid ;
1724 sigval_t _sigval ;
1725};
1726#line 48 "include/asm-generic/siginfo.h"
1727struct __anonstruct__sigchld_220 {
1728 __kernel_pid_t _pid ;
1729 __kernel_uid32_t _uid ;
1730 int _status ;
1731 __kernel_clock_t _utime ;
1732 __kernel_clock_t _stime ;
1733};
1734#line 48 "include/asm-generic/siginfo.h"
1735struct __anonstruct__sigfault_221 {
1736 void *_addr ;
1737 short _addr_lsb ;
1738};
1739#line 48 "include/asm-generic/siginfo.h"
1740struct __anonstruct__sigpoll_222 {
1741 long _band ;
1742 int _fd ;
1743};
1744#line 48 "include/asm-generic/siginfo.h"
1745union __anonunion__sifields_216 {
1746 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1747 struct __anonstruct__kill_217 _kill ;
1748 struct __anonstruct__timer_218 _timer ;
1749 struct __anonstruct__rt_219 _rt ;
1750 struct __anonstruct__sigchld_220 _sigchld ;
1751 struct __anonstruct__sigfault_221 _sigfault ;
1752 struct __anonstruct__sigpoll_222 _sigpoll ;
1753};
1754#line 48 "include/asm-generic/siginfo.h"
1755struct siginfo {
1756 int si_signo ;
1757 int si_errno ;
1758 int si_code ;
1759 union __anonunion__sifields_216 _sifields ;
1760};
1761#line 48 "include/asm-generic/siginfo.h"
1762typedef struct siginfo siginfo_t;
1763#line 288
1764struct siginfo;
1765#line 10 "include/linux/signal.h"
1766struct task_struct;
1767#line 18
1768struct user_struct;
1769#line 28 "include/linux/signal.h"
1770struct sigpending {
1771 struct list_head list ;
1772 sigset_t signal ;
1773};
1774#line 239
1775struct timespec;
1776#line 240
1777struct pt_regs;
1778#line 50 "include/linux/pid.h"
1779struct pid_namespace;
1780#line 50 "include/linux/pid.h"
1781struct upid {
1782 int nr ;
1783 struct pid_namespace *ns ;
1784 struct hlist_node pid_chain ;
1785};
1786#line 57 "include/linux/pid.h"
1787struct pid {
1788 atomic_t count ;
1789 unsigned int level ;
1790 struct hlist_head tasks[3] ;
1791 struct rcu_head rcu ;
1792 struct upid numbers[1] ;
1793};
1794#line 69 "include/linux/pid.h"
1795struct pid_link {
1796 struct hlist_node node ;
1797 struct pid *pid ;
1798};
1799#line 100
1800struct pid_namespace;
1801#line 10 "include/linux/seccomp.h"
1802struct __anonstruct_seccomp_t_225 {
1803 int mode ;
1804};
1805#line 10 "include/linux/seccomp.h"
1806typedef struct __anonstruct_seccomp_t_225 seccomp_t;
1807#line 81 "include/linux/plist.h"
1808struct plist_head {
1809 struct list_head node_list ;
1810};
1811#line 85 "include/linux/plist.h"
1812struct plist_node {
1813 int prio ;
1814 struct list_head prio_list ;
1815 struct list_head node_list ;
1816};
1817#line 40 "include/linux/rtmutex.h"
1818struct rt_mutex_waiter;
1819#line 40
1820struct rt_mutex_waiter;
1821#line 42 "include/linux/resource.h"
1822struct rlimit {
1823 unsigned long rlim_cur ;
1824 unsigned long rlim_max ;
1825};
1826#line 81
1827struct task_struct;
1828#line 8 "include/linux/timerqueue.h"
1829struct timerqueue_node {
1830 struct rb_node node ;
1831 ktime_t expires ;
1832};
1833#line 13 "include/linux/timerqueue.h"
1834struct timerqueue_head {
1835 struct rb_root head ;
1836 struct timerqueue_node *next ;
1837};
1838#line 27 "include/linux/hrtimer.h"
1839struct hrtimer_clock_base;
1840#line 27
1841struct hrtimer_clock_base;
1842#line 28
1843struct hrtimer_cpu_base;
1844#line 28
1845struct hrtimer_cpu_base;
1846#line 44
1847enum hrtimer_restart {
1848 HRTIMER_NORESTART = 0,
1849 HRTIMER_RESTART = 1
1850} ;
1851#line 108 "include/linux/hrtimer.h"
1852struct hrtimer {
1853 struct timerqueue_node node ;
1854 ktime_t _softexpires ;
1855 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1856 struct hrtimer_clock_base *base ;
1857 unsigned long state ;
1858 int start_pid ;
1859 void *start_site ;
1860 char start_comm[16] ;
1861};
1862#line 145 "include/linux/hrtimer.h"
1863struct hrtimer_clock_base {
1864 struct hrtimer_cpu_base *cpu_base ;
1865 int index ;
1866 clockid_t clockid ;
1867 struct timerqueue_head active ;
1868 ktime_t resolution ;
1869 ktime_t (*get_time)(void) ;
1870 ktime_t softirq_time ;
1871 ktime_t offset ;
1872};
1873#line 178 "include/linux/hrtimer.h"
1874struct hrtimer_cpu_base {
1875 raw_spinlock_t lock ;
1876 unsigned long active_bases ;
1877 ktime_t expires_next ;
1878 int hres_active ;
1879 int hang_detected ;
1880 unsigned long nr_events ;
1881 unsigned long nr_retries ;
1882 unsigned long nr_hangs ;
1883 ktime_t max_hang_time ;
1884 struct hrtimer_clock_base clock_base[3] ;
1885};
1886#line 11 "include/linux/task_io_accounting.h"
1887struct task_io_accounting {
1888 u64 rchar ;
1889 u64 wchar ;
1890 u64 syscr ;
1891 u64 syscw ;
1892 u64 read_bytes ;
1893 u64 write_bytes ;
1894 u64 cancelled_write_bytes ;
1895};
1896#line 13 "include/linux/latencytop.h"
1897struct task_struct;
1898#line 20 "include/linux/latencytop.h"
1899struct latency_record {
1900 unsigned long backtrace[12] ;
1901 unsigned int count ;
1902 unsigned long time ;
1903 unsigned long max ;
1904};
1905#line 29 "include/linux/key.h"
1906typedef int32_t key_serial_t;
1907#line 32 "include/linux/key.h"
1908typedef uint32_t key_perm_t;
1909#line 34
1910struct key;
1911#line 34
1912struct key;
1913#line 75
1914struct user_struct;
1915#line 76
1916struct signal_struct;
1917#line 76
1918struct signal_struct;
1919#line 77
1920struct cred;
1921#line 79
1922struct key_type;
1923#line 79
1924struct key_type;
1925#line 81
1926struct keyring_list;
1927#line 81
1928struct keyring_list;
1929#line 124
1930struct key_user;
1931#line 124 "include/linux/key.h"
1932union __anonunion____missing_field_name_226 {
1933 time_t expiry ;
1934 time_t revoked_at ;
1935};
1936#line 124 "include/linux/key.h"
1937union __anonunion_type_data_227 {
1938 struct list_head link ;
1939 unsigned long x[2] ;
1940 void *p[2] ;
1941 int reject_error ;
1942};
1943#line 124 "include/linux/key.h"
1944union __anonunion_payload_228 {
1945 unsigned long value ;
1946 void *rcudata ;
1947 void *data ;
1948 struct keyring_list *subscriptions ;
1949};
1950#line 124 "include/linux/key.h"
1951struct key {
1952 atomic_t usage ;
1953 key_serial_t serial ;
1954 struct rb_node serial_node ;
1955 struct key_type *type ;
1956 struct rw_semaphore sem ;
1957 struct key_user *user ;
1958 void *security ;
1959 union __anonunion____missing_field_name_226 __annonCompField42 ;
1960 uid_t uid ;
1961 gid_t gid ;
1962 key_perm_t perm ;
1963 unsigned short quotalen ;
1964 unsigned short datalen ;
1965 unsigned long flags ;
1966 char *description ;
1967 union __anonunion_type_data_227 type_data ;
1968 union __anonunion_payload_228 payload ;
1969};
1970#line 18 "include/linux/selinux.h"
1971struct audit_context;
1972#line 18
1973struct audit_context;
1974#line 21 "include/linux/cred.h"
1975struct user_struct;
1976#line 22
1977struct cred;
1978#line 31 "include/linux/cred.h"
1979struct group_info {
1980 atomic_t usage ;
1981 int ngroups ;
1982 int nblocks ;
1983 gid_t small_block[32] ;
1984 gid_t *blocks[0] ;
1985};
1986#line 83 "include/linux/cred.h"
1987struct thread_group_cred {
1988 atomic_t usage ;
1989 pid_t tgid ;
1990 spinlock_t lock ;
1991 struct key *session_keyring ;
1992 struct key *process_keyring ;
1993 struct rcu_head rcu ;
1994};
1995#line 116 "include/linux/cred.h"
1996struct cred {
1997 atomic_t usage ;
1998 atomic_t subscribers ;
1999 void *put_addr ;
2000 unsigned int magic ;
2001 uid_t uid ;
2002 gid_t gid ;
2003 uid_t suid ;
2004 gid_t sgid ;
2005 uid_t euid ;
2006 gid_t egid ;
2007 uid_t fsuid ;
2008 gid_t fsgid ;
2009 unsigned int securebits ;
2010 kernel_cap_t cap_inheritable ;
2011 kernel_cap_t cap_permitted ;
2012 kernel_cap_t cap_effective ;
2013 kernel_cap_t cap_bset ;
2014 unsigned char jit_keyring ;
2015 struct key *thread_keyring ;
2016 struct key *request_key_auth ;
2017 struct thread_group_cred *tgcred ;
2018 void *security ;
2019 struct user_struct *user ;
2020 struct user_namespace *user_ns ;
2021 struct group_info *group_info ;
2022 struct rcu_head rcu ;
2023};
2024#line 61 "include/linux/llist.h"
2025struct llist_node;
2026#line 65 "include/linux/llist.h"
2027struct llist_node {
2028 struct llist_node *next ;
2029};
2030#line 97 "include/linux/sched.h"
2031struct futex_pi_state;
2032#line 97
2033struct futex_pi_state;
2034#line 98
2035struct robust_list_head;
2036#line 98
2037struct robust_list_head;
2038#line 99
2039struct bio_list;
2040#line 99
2041struct bio_list;
2042#line 100
2043struct fs_struct;
2044#line 100
2045struct fs_struct;
2046#line 101
2047struct perf_event_context;
2048#line 101
2049struct perf_event_context;
2050#line 102
2051struct blk_plug;
2052#line 102
2053struct blk_plug;
2054#line 151
2055struct cfs_rq;
2056#line 151
2057struct cfs_rq;
2058#line 259
2059struct task_struct;
2060#line 366
2061struct nsproxy;
2062#line 367
2063struct user_namespace;
2064#line 214 "include/linux/aio.h"
2065struct mm_struct;
2066#line 443 "include/linux/sched.h"
2067struct sighand_struct {
2068 atomic_t count ;
2069 struct k_sigaction action[64] ;
2070 spinlock_t siglock ;
2071 wait_queue_head_t signalfd_wqh ;
2072};
2073#line 450 "include/linux/sched.h"
2074struct pacct_struct {
2075 int ac_flag ;
2076 long ac_exitcode ;
2077 unsigned long ac_mem ;
2078 cputime_t ac_utime ;
2079 cputime_t ac_stime ;
2080 unsigned long ac_minflt ;
2081 unsigned long ac_majflt ;
2082};
2083#line 458 "include/linux/sched.h"
2084struct cpu_itimer {
2085 cputime_t expires ;
2086 cputime_t incr ;
2087 u32 error ;
2088 u32 incr_error ;
2089};
2090#line 476 "include/linux/sched.h"
2091struct task_cputime {
2092 cputime_t utime ;
2093 cputime_t stime ;
2094 unsigned long long sum_exec_runtime ;
2095};
2096#line 512 "include/linux/sched.h"
2097struct thread_group_cputimer {
2098 struct task_cputime cputime ;
2099 int running ;
2100 raw_spinlock_t lock ;
2101};
2102#line 519
2103struct autogroup;
2104#line 519
2105struct autogroup;
2106#line 528
2107struct tty_struct;
2108#line 528
2109struct taskstats;
2110#line 528
2111struct tty_audit_buf;
2112#line 528 "include/linux/sched.h"
2113struct signal_struct {
2114 atomic_t sigcnt ;
2115 atomic_t live ;
2116 int nr_threads ;
2117 wait_queue_head_t wait_chldexit ;
2118 struct task_struct *curr_target ;
2119 struct sigpending shared_pending ;
2120 int group_exit_code ;
2121 int notify_count ;
2122 struct task_struct *group_exit_task ;
2123 int group_stop_count ;
2124 unsigned int flags ;
2125 unsigned int is_child_subreaper : 1 ;
2126 unsigned int has_child_subreaper : 1 ;
2127 struct list_head posix_timers ;
2128 struct hrtimer real_timer ;
2129 struct pid *leader_pid ;
2130 ktime_t it_real_incr ;
2131 struct cpu_itimer it[2] ;
2132 struct thread_group_cputimer cputimer ;
2133 struct task_cputime cputime_expires ;
2134 struct list_head cpu_timers[3] ;
2135 struct pid *tty_old_pgrp ;
2136 int leader ;
2137 struct tty_struct *tty ;
2138 struct autogroup *autogroup ;
2139 cputime_t utime ;
2140 cputime_t stime ;
2141 cputime_t cutime ;
2142 cputime_t cstime ;
2143 cputime_t gtime ;
2144 cputime_t cgtime ;
2145 cputime_t prev_utime ;
2146 cputime_t prev_stime ;
2147 unsigned long nvcsw ;
2148 unsigned long nivcsw ;
2149 unsigned long cnvcsw ;
2150 unsigned long cnivcsw ;
2151 unsigned long min_flt ;
2152 unsigned long maj_flt ;
2153 unsigned long cmin_flt ;
2154 unsigned long cmaj_flt ;
2155 unsigned long inblock ;
2156 unsigned long oublock ;
2157 unsigned long cinblock ;
2158 unsigned long coublock ;
2159 unsigned long maxrss ;
2160 unsigned long cmaxrss ;
2161 struct task_io_accounting ioac ;
2162 unsigned long long sum_sched_runtime ;
2163 struct rlimit rlim[16] ;
2164 struct pacct_struct pacct ;
2165 struct taskstats *stats ;
2166 unsigned int audit_tty ;
2167 struct tty_audit_buf *tty_audit_buf ;
2168 struct rw_semaphore group_rwsem ;
2169 int oom_adj ;
2170 int oom_score_adj ;
2171 int oom_score_adj_min ;
2172 struct mutex cred_guard_mutex ;
2173};
2174#line 703 "include/linux/sched.h"
2175struct user_struct {
2176 atomic_t __count ;
2177 atomic_t processes ;
2178 atomic_t files ;
2179 atomic_t sigpending ;
2180 atomic_t inotify_watches ;
2181 atomic_t inotify_devs ;
2182 atomic_t fanotify_listeners ;
2183 atomic_long_t epoll_watches ;
2184 unsigned long mq_bytes ;
2185 unsigned long locked_shm ;
2186 struct key *uid_keyring ;
2187 struct key *session_keyring ;
2188 struct hlist_node uidhash_node ;
2189 uid_t uid ;
2190 struct user_namespace *user_ns ;
2191 atomic_long_t locked_vm ;
2192};
2193#line 747
2194struct backing_dev_info;
2195#line 748
2196struct reclaim_state;
2197#line 748
2198struct reclaim_state;
2199#line 751 "include/linux/sched.h"
2200struct sched_info {
2201 unsigned long pcount ;
2202 unsigned long long run_delay ;
2203 unsigned long long last_arrival ;
2204 unsigned long long last_queued ;
2205};
2206#line 763 "include/linux/sched.h"
2207struct task_delay_info {
2208 spinlock_t lock ;
2209 unsigned int flags ;
2210 struct timespec blkio_start ;
2211 struct timespec blkio_end ;
2212 u64 blkio_delay ;
2213 u64 swapin_delay ;
2214 u32 blkio_count ;
2215 u32 swapin_count ;
2216 struct timespec freepages_start ;
2217 struct timespec freepages_end ;
2218 u64 freepages_delay ;
2219 u32 freepages_count ;
2220};
2221#line 1088
2222struct io_context;
2223#line 1088
2224struct io_context;
2225#line 1097
2226struct audit_context;
2227#line 1098
2228struct mempolicy;
2229#line 1099
2230struct pipe_inode_info;
2231#line 1099
2232struct pipe_inode_info;
2233#line 1102
2234struct rq;
2235#line 1102
2236struct rq;
2237#line 1122 "include/linux/sched.h"
2238struct sched_class {
2239 struct sched_class const *next ;
2240 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2241 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2242 void (*yield_task)(struct rq *rq ) ;
2243 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2244 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2245 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2246 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2247 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2248 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2249 void (*post_schedule)(struct rq *this_rq ) ;
2250 void (*task_waking)(struct task_struct *task ) ;
2251 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2252 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2253 void (*rq_online)(struct rq *rq ) ;
2254 void (*rq_offline)(struct rq *rq ) ;
2255 void (*set_curr_task)(struct rq *rq ) ;
2256 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2257 void (*task_fork)(struct task_struct *p ) ;
2258 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2259 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2260 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2261 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2262 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2263};
2264#line 1167 "include/linux/sched.h"
2265struct load_weight {
2266 unsigned long weight ;
2267 unsigned long inv_weight ;
2268};
2269#line 1172 "include/linux/sched.h"
2270struct sched_statistics {
2271 u64 wait_start ;
2272 u64 wait_max ;
2273 u64 wait_count ;
2274 u64 wait_sum ;
2275 u64 iowait_count ;
2276 u64 iowait_sum ;
2277 u64 sleep_start ;
2278 u64 sleep_max ;
2279 s64 sum_sleep_runtime ;
2280 u64 block_start ;
2281 u64 block_max ;
2282 u64 exec_max ;
2283 u64 slice_max ;
2284 u64 nr_migrations_cold ;
2285 u64 nr_failed_migrations_affine ;
2286 u64 nr_failed_migrations_running ;
2287 u64 nr_failed_migrations_hot ;
2288 u64 nr_forced_migrations ;
2289 u64 nr_wakeups ;
2290 u64 nr_wakeups_sync ;
2291 u64 nr_wakeups_migrate ;
2292 u64 nr_wakeups_local ;
2293 u64 nr_wakeups_remote ;
2294 u64 nr_wakeups_affine ;
2295 u64 nr_wakeups_affine_attempts ;
2296 u64 nr_wakeups_passive ;
2297 u64 nr_wakeups_idle ;
2298};
2299#line 1207 "include/linux/sched.h"
2300struct sched_entity {
2301 struct load_weight load ;
2302 struct rb_node run_node ;
2303 struct list_head group_node ;
2304 unsigned int on_rq ;
2305 u64 exec_start ;
2306 u64 sum_exec_runtime ;
2307 u64 vruntime ;
2308 u64 prev_sum_exec_runtime ;
2309 u64 nr_migrations ;
2310 struct sched_statistics statistics ;
2311 struct sched_entity *parent ;
2312 struct cfs_rq *cfs_rq ;
2313 struct cfs_rq *my_q ;
2314};
2315#line 1233
2316struct rt_rq;
2317#line 1233 "include/linux/sched.h"
2318struct sched_rt_entity {
2319 struct list_head run_list ;
2320 unsigned long timeout ;
2321 unsigned int time_slice ;
2322 int nr_cpus_allowed ;
2323 struct sched_rt_entity *back ;
2324 struct sched_rt_entity *parent ;
2325 struct rt_rq *rt_rq ;
2326 struct rt_rq *my_q ;
2327};
2328#line 1264
2329struct files_struct;
2330#line 1264
2331struct css_set;
2332#line 1264
2333struct compat_robust_list_head;
2334#line 1264
2335struct mem_cgroup;
2336#line 1264 "include/linux/sched.h"
2337struct memcg_batch_info {
2338 int do_batch ;
2339 struct mem_cgroup *memcg ;
2340 unsigned long nr_pages ;
2341 unsigned long memsw_nr_pages ;
2342};
2343#line 1264 "include/linux/sched.h"
2344struct task_struct {
2345 long volatile state ;
2346 void *stack ;
2347 atomic_t usage ;
2348 unsigned int flags ;
2349 unsigned int ptrace ;
2350 struct llist_node wake_entry ;
2351 int on_cpu ;
2352 int on_rq ;
2353 int prio ;
2354 int static_prio ;
2355 int normal_prio ;
2356 unsigned int rt_priority ;
2357 struct sched_class const *sched_class ;
2358 struct sched_entity se ;
2359 struct sched_rt_entity rt ;
2360 struct hlist_head preempt_notifiers ;
2361 unsigned char fpu_counter ;
2362 unsigned int policy ;
2363 cpumask_t cpus_allowed ;
2364 struct sched_info sched_info ;
2365 struct list_head tasks ;
2366 struct plist_node pushable_tasks ;
2367 struct mm_struct *mm ;
2368 struct mm_struct *active_mm ;
2369 unsigned int brk_randomized : 1 ;
2370 int exit_state ;
2371 int exit_code ;
2372 int exit_signal ;
2373 int pdeath_signal ;
2374 unsigned int jobctl ;
2375 unsigned int personality ;
2376 unsigned int did_exec : 1 ;
2377 unsigned int in_execve : 1 ;
2378 unsigned int in_iowait : 1 ;
2379 unsigned int sched_reset_on_fork : 1 ;
2380 unsigned int sched_contributes_to_load : 1 ;
2381 unsigned int irq_thread : 1 ;
2382 pid_t pid ;
2383 pid_t tgid ;
2384 unsigned long stack_canary ;
2385 struct task_struct *real_parent ;
2386 struct task_struct *parent ;
2387 struct list_head children ;
2388 struct list_head sibling ;
2389 struct task_struct *group_leader ;
2390 struct list_head ptraced ;
2391 struct list_head ptrace_entry ;
2392 struct pid_link pids[3] ;
2393 struct list_head thread_group ;
2394 struct completion *vfork_done ;
2395 int *set_child_tid ;
2396 int *clear_child_tid ;
2397 cputime_t utime ;
2398 cputime_t stime ;
2399 cputime_t utimescaled ;
2400 cputime_t stimescaled ;
2401 cputime_t gtime ;
2402 cputime_t prev_utime ;
2403 cputime_t prev_stime ;
2404 unsigned long nvcsw ;
2405 unsigned long nivcsw ;
2406 struct timespec start_time ;
2407 struct timespec real_start_time ;
2408 unsigned long min_flt ;
2409 unsigned long maj_flt ;
2410 struct task_cputime cputime_expires ;
2411 struct list_head cpu_timers[3] ;
2412 struct cred const *real_cred ;
2413 struct cred const *cred ;
2414 struct cred *replacement_session_keyring ;
2415 char comm[16] ;
2416 int link_count ;
2417 int total_link_count ;
2418 struct sysv_sem sysvsem ;
2419 unsigned long last_switch_count ;
2420 struct thread_struct thread ;
2421 struct fs_struct *fs ;
2422 struct files_struct *files ;
2423 struct nsproxy *nsproxy ;
2424 struct signal_struct *signal ;
2425 struct sighand_struct *sighand ;
2426 sigset_t blocked ;
2427 sigset_t real_blocked ;
2428 sigset_t saved_sigmask ;
2429 struct sigpending pending ;
2430 unsigned long sas_ss_sp ;
2431 size_t sas_ss_size ;
2432 int (*notifier)(void *priv ) ;
2433 void *notifier_data ;
2434 sigset_t *notifier_mask ;
2435 struct audit_context *audit_context ;
2436 uid_t loginuid ;
2437 unsigned int sessionid ;
2438 seccomp_t seccomp ;
2439 u32 parent_exec_id ;
2440 u32 self_exec_id ;
2441 spinlock_t alloc_lock ;
2442 raw_spinlock_t pi_lock ;
2443 struct plist_head pi_waiters ;
2444 struct rt_mutex_waiter *pi_blocked_on ;
2445 struct mutex_waiter *blocked_on ;
2446 unsigned int irq_events ;
2447 unsigned long hardirq_enable_ip ;
2448 unsigned long hardirq_disable_ip ;
2449 unsigned int hardirq_enable_event ;
2450 unsigned int hardirq_disable_event ;
2451 int hardirqs_enabled ;
2452 int hardirq_context ;
2453 unsigned long softirq_disable_ip ;
2454 unsigned long softirq_enable_ip ;
2455 unsigned int softirq_disable_event ;
2456 unsigned int softirq_enable_event ;
2457 int softirqs_enabled ;
2458 int softirq_context ;
2459 void *journal_info ;
2460 struct bio_list *bio_list ;
2461 struct blk_plug *plug ;
2462 struct reclaim_state *reclaim_state ;
2463 struct backing_dev_info *backing_dev_info ;
2464 struct io_context *io_context ;
2465 unsigned long ptrace_message ;
2466 siginfo_t *last_siginfo ;
2467 struct task_io_accounting ioac ;
2468 u64 acct_rss_mem1 ;
2469 u64 acct_vm_mem1 ;
2470 cputime_t acct_timexpd ;
2471 nodemask_t mems_allowed ;
2472 seqcount_t mems_allowed_seq ;
2473 int cpuset_mem_spread_rotor ;
2474 int cpuset_slab_spread_rotor ;
2475 struct css_set *cgroups ;
2476 struct list_head cg_list ;
2477 struct robust_list_head *robust_list ;
2478 struct compat_robust_list_head *compat_robust_list ;
2479 struct list_head pi_state_list ;
2480 struct futex_pi_state *pi_state_cache ;
2481 struct perf_event_context *perf_event_ctxp[2] ;
2482 struct mutex perf_event_mutex ;
2483 struct list_head perf_event_list ;
2484 struct mempolicy *mempolicy ;
2485 short il_next ;
2486 short pref_node_fork ;
2487 struct rcu_head rcu ;
2488 struct pipe_inode_info *splice_pipe ;
2489 struct task_delay_info *delays ;
2490 int make_it_fail ;
2491 int nr_dirtied ;
2492 int nr_dirtied_pause ;
2493 unsigned long dirty_paused_when ;
2494 int latency_record_count ;
2495 struct latency_record latency_record[32] ;
2496 unsigned long timer_slack_ns ;
2497 unsigned long default_timer_slack_ns ;
2498 struct list_head *scm_work_list ;
2499 unsigned long trace ;
2500 unsigned long trace_recursion ;
2501 struct memcg_batch_info memcg_batch ;
2502 atomic_t ptrace_bp_refcnt ;
2503};
2504#line 1681
2505struct pid_namespace;
2506#line 1 "<compiler builtins>"
2507
2508#line 1
2509long __builtin_expect(long val , long res ) ;
2510#line 100 "include/linux/printk.h"
2511extern int ( printk)(char const *fmt , ...) ;
2512#line 147 "include/linux/kernel.h"
2513extern void __might_sleep(char const *file , int line , int preempt_offset ) ;
2514#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
2515extern void *memset(void *s , int c , size_t n ) ;
2516#line 60
2517extern int memcmp(void const *cs , void const *ct , unsigned long count ) ;
2518#line 62
2519extern char *strcpy(char *dest , char const *src ) ;
2520#line 27 "include/linux/err.h"
2521__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
2522#line 27 "include/linux/err.h"
2523__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr )
2524{
2525
2526 {
2527#line 29
2528 return ((long )ptr);
2529}
2530}
2531#line 32
2532__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
2533#line 32 "include/linux/err.h"
2534__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr )
2535{ long tmp ;
2536 unsigned long __cil_tmp3 ;
2537 int __cil_tmp4 ;
2538 int __cil_tmp5 ;
2539 int __cil_tmp6 ;
2540 long __cil_tmp7 ;
2541
2542 {
2543 {
2544#line 34
2545 __cil_tmp3 = (unsigned long )ptr;
2546#line 34
2547 __cil_tmp4 = __cil_tmp3 >= 0xfffffffffffff001UL;
2548#line 34
2549 __cil_tmp5 = ! __cil_tmp4;
2550#line 34
2551 __cil_tmp6 = ! __cil_tmp5;
2552#line 34
2553 __cil_tmp7 = (long )__cil_tmp6;
2554#line 34
2555 tmp = __builtin_expect(__cil_tmp7, 0L);
2556 }
2557#line 34
2558 return (tmp);
2559}
2560}
2561#line 152 "include/linux/mutex.h"
2562void mutex_lock(struct mutex *lock ) ;
2563#line 153
2564int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2565#line 154
2566int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2567#line 168
2568int mutex_trylock(struct mutex *lock ) ;
2569#line 169
2570void mutex_unlock(struct mutex *lock ) ;
2571#line 170
2572int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2573#line 356 "include/linux/moduleparam.h"
2574extern struct kernel_param_ops param_ops_int ;
2575#line 67 "include/linux/module.h"
2576int init_module(void) ;
2577#line 68
2578void cleanup_module(void) ;
2579#line 246 "include/linux/mtd/mtd.h"
2580extern int mtd_erase(struct mtd_info *mtd , struct erase_info *instr ) ;
2581#line 252
2582extern int mtd_read(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
2583 u_char *buf ) ;
2584#line 254
2585extern int mtd_write(struct mtd_info *mtd , loff_t to , size_t len , size_t *retlen ,
2586 u_char const *buf ) ;
2587#line 303
2588extern int mtd_block_isbad(struct mtd_info *mtd , loff_t ofs ) ;
2589#line 370
2590extern struct mtd_info *get_mtd_device(struct mtd_info *mtd , int num ) ;
2591#line 374
2592extern void put_mtd_device(struct mtd_info *mtd ) ;
2593#line 390
2594__inline static int mtd_is_bitflip(int err ) __attribute__((__no_instrument_function__)) ;
2595#line 390 "include/linux/mtd/mtd.h"
2596__inline static int mtd_is_bitflip(int err )
2597{
2598
2599 {
2600#line 391
2601 return (err == -117);
2602}
2603}
2604#line 161 "include/linux/slab.h"
2605extern void kfree(void const * ) ;
2606#line 221 "include/linux/slub_def.h"
2607extern void *__kmalloc(size_t size , gfp_t flags ) ;
2608#line 268
2609__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
2610 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
2611#line 268 "include/linux/slub_def.h"
2612__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
2613 gfp_t flags )
2614{ void *tmp___2 ;
2615
2616 {
2617 {
2618#line 283
2619 tmp___2 = __kmalloc(size, flags);
2620 }
2621#line 283
2622 return (tmp___2);
2623}
2624}
2625#line 349 "include/linux/slab.h"
2626__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
2627#line 349 "include/linux/slab.h"
2628__inline static void *kzalloc(size_t size , gfp_t flags )
2629{ void *tmp ;
2630 unsigned int __cil_tmp4 ;
2631
2632 {
2633 {
2634#line 351
2635 __cil_tmp4 = flags | 32768U;
2636#line 351
2637 tmp = kmalloc(size, __cil_tmp4);
2638 }
2639#line 351
2640 return (tmp);
2641}
2642}
2643#line 2626 "include/linux/sched.h"
2644extern int _cond_resched(void) ;
2645#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2646static int dev = -22;
2647#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2648static char const __param_str_dev[4] = { (char const )'d', (char const )'e', (char const )'v', (char const )'\000'};
2649#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2650static struct kernel_param const __param_dev __attribute__((__used__, __unused__,
2651__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_dev, (struct kernel_param_ops const *)(& param_ops_int), (u16 )292,
2652 (s16 )0, {(void *)(& dev)}};
2653#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2654static char const __mod_devtype35[17] __attribute__((__used__, __unused__, __section__(".modinfo"),
2655__aligned__(1))) =
2656#line 35
2657 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
2658 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
2659 (char const )'=', (char const )'d', (char const )'e', (char const )'v',
2660 (char const )':', (char const )'i', (char const )'n', (char const )'t',
2661 (char const )'\000'};
2662#line 36 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2663static char const __mod_dev36[34] __attribute__((__used__, __unused__, __section__(".modinfo"),
2664__aligned__(1))) =
2665#line 36
2666 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
2667 (char const )'=', (char const )'d', (char const )'e', (char const )'v',
2668 (char const )':', (char const )'M', (char const )'T', (char const )'D',
2669 (char const )' ', (char const )'d', (char const )'e', (char const )'v',
2670 (char const )'i', (char const )'c', (char const )'e', (char const )' ',
2671 (char const )'n', (char const )'u', (char const )'m', (char const )'b',
2672 (char const )'e', (char const )'r', (char const )' ', (char const )'t',
2673 (char const )'o', (char const )' ', (char const )'u', (char const )'s',
2674 (char const )'e', (char const )'\000'};
2675#line 38 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2676static struct mtd_info *mtd ;
2677#line 39 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2678static unsigned char *twopages ;
2679#line 40 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2680static unsigned char *writebuf ;
2681#line 41 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2682static unsigned char *boundary ;
2683#line 42 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2684static unsigned char *bbt ;
2685#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2686static int pgsize ;
2687#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2688static int bufsize ;
2689#line 46 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2690static int ebcnt ;
2691#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2692static int pgcnt ;
2693#line 48 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2694static int errcnt ;
2695#line 49 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2696static unsigned long next = 1UL;
2697#line 51
2698__inline static unsigned int simple_rand(void) __attribute__((__no_instrument_function__)) ;
2699#line 51 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2700__inline static unsigned int simple_rand(void)
2701{ unsigned long __cil_tmp1 ;
2702 unsigned long __cil_tmp2 ;
2703 unsigned long __cil_tmp3 ;
2704
2705 {
2706#line 53
2707 __cil_tmp1 = next * 1103515245UL;
2708#line 53
2709 next = __cil_tmp1 + 12345UL;
2710 {
2711#line 54
2712 __cil_tmp2 = next / 65536UL;
2713#line 54
2714 __cil_tmp3 = __cil_tmp2 % 32768UL;
2715#line 54
2716 return ((unsigned int )__cil_tmp3);
2717 }
2718}
2719}
2720#line 57
2721__inline static void simple_srand(unsigned long seed ) __attribute__((__no_instrument_function__)) ;
2722#line 57 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2723__inline static void simple_srand(unsigned long seed )
2724{
2725
2726 {
2727#line 59
2728 next = seed;
2729#line 60
2730 return;
2731}
2732}
2733#line 62 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2734static void set_random_data(unsigned char *buf , size_t len )
2735{ size_t i ;
2736 unsigned int tmp___7 ;
2737 unsigned char *__cil_tmp5 ;
2738
2739 {
2740#line 66
2741 i = (size_t )0;
2742 {
2743#line 66
2744 while (1) {
2745 while_continue: ;
2746#line 66
2747 if (i < len) {
2748
2749 } else {
2750#line 66
2751 goto while_break;
2752 }
2753 {
2754#line 67
2755 tmp___7 = simple_rand();
2756#line 67
2757 __cil_tmp5 = buf + i;
2758#line 67
2759 *__cil_tmp5 = (unsigned char )tmp___7;
2760#line 66
2761 i = i + 1UL;
2762 }
2763 }
2764 while_break: ;
2765 }
2766#line 68
2767 return;
2768}
2769}
2770#line 70 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2771static int erase_eraseblock(int ebnum )
2772{ int err ;
2773 struct erase_info ei ;
2774 loff_t addr ;
2775 unsigned long __cil_tmp5 ;
2776 unsigned long __cil_tmp6 ;
2777 uint32_t __cil_tmp7 ;
2778 uint32_t __cil_tmp8 ;
2779 uint32_t __cil_tmp9 ;
2780 void *__cil_tmp10 ;
2781 struct erase_info *__cil_tmp11 ;
2782 unsigned long __cil_tmp12 ;
2783 unsigned long __cil_tmp13 ;
2784 unsigned long __cil_tmp14 ;
2785 unsigned long __cil_tmp15 ;
2786 uint32_t __cil_tmp16 ;
2787 unsigned long __cil_tmp17 ;
2788 u_char __cil_tmp18 ;
2789 int __cil_tmp19 ;
2790
2791 {
2792 {
2793#line 74
2794 __cil_tmp5 = (unsigned long )mtd;
2795#line 74
2796 __cil_tmp6 = __cil_tmp5 + 16;
2797#line 74
2798 __cil_tmp7 = *((uint32_t *)__cil_tmp6);
2799#line 74
2800 __cil_tmp8 = (uint32_t )ebnum;
2801#line 74
2802 __cil_tmp9 = __cil_tmp8 * __cil_tmp7;
2803#line 74
2804 addr = (loff_t )__cil_tmp9;
2805#line 76
2806 __cil_tmp10 = (void *)(& ei);
2807#line 76
2808 memset(__cil_tmp10, 0, 88UL);
2809#line 77
2810 __cil_tmp11 = & ei;
2811#line 77
2812 *((struct mtd_info **)__cil_tmp11) = mtd;
2813#line 78
2814 __cil_tmp12 = (unsigned long )(& ei) + 8;
2815#line 78
2816 *((uint64_t *)__cil_tmp12) = (uint64_t )addr;
2817#line 79
2818 __cil_tmp13 = (unsigned long )(& ei) + 16;
2819#line 79
2820 __cil_tmp14 = (unsigned long )mtd;
2821#line 79
2822 __cil_tmp15 = __cil_tmp14 + 16;
2823#line 79
2824 __cil_tmp16 = *((uint32_t *)__cil_tmp15);
2825#line 79
2826 *((uint64_t *)__cil_tmp13) = (uint64_t )__cil_tmp16;
2827#line 81
2828 err = mtd_erase(mtd, & ei);
2829 }
2830#line 82
2831 if (err) {
2832 {
2833#line 83
2834 printk("<6>mtd_pagetest: error %d while erasing EB %d\n", err, ebnum);
2835 }
2836#line 84
2837 return (err);
2838 } else {
2839
2840 }
2841 {
2842#line 87
2843 __cil_tmp17 = (unsigned long )(& ei) + 72;
2844#line 87
2845 __cil_tmp18 = *((u_char *)__cil_tmp17);
2846#line 87
2847 __cil_tmp19 = (int )__cil_tmp18;
2848#line 87
2849 if (__cil_tmp19 == 16) {
2850 {
2851#line 88
2852 printk("<6>mtd_pagetest: some erase error occurred at EB %d\n", ebnum);
2853 }
2854#line 90
2855 return (-5);
2856 } else {
2857
2858 }
2859 }
2860#line 93
2861 return (0);
2862}
2863}
2864#line 96 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2865static int write_eraseblock(int ebnum )
2866{ int err ;
2867 size_t written ;
2868 loff_t addr ;
2869 unsigned long __cil_tmp5 ;
2870 unsigned long __cil_tmp6 ;
2871 uint32_t __cil_tmp7 ;
2872 uint32_t __cil_tmp8 ;
2873 uint32_t __cil_tmp9 ;
2874 unsigned long __cil_tmp10 ;
2875 unsigned long __cil_tmp11 ;
2876 uint32_t __cil_tmp12 ;
2877 size_t __cil_tmp13 ;
2878 unsigned long __cil_tmp14 ;
2879 unsigned long __cil_tmp15 ;
2880 uint32_t __cil_tmp16 ;
2881 size_t __cil_tmp17 ;
2882 u_char const *__cil_tmp18 ;
2883 unsigned long __cil_tmp19 ;
2884 unsigned long __cil_tmp20 ;
2885 uint32_t __cil_tmp21 ;
2886 size_t __cil_tmp22 ;
2887 size_t *__cil_tmp23 ;
2888 size_t __cil_tmp24 ;
2889
2890 {
2891 {
2892#line 98
2893 err = 0;
2894#line 100
2895 __cil_tmp5 = (unsigned long )mtd;
2896#line 100
2897 __cil_tmp6 = __cil_tmp5 + 16;
2898#line 100
2899 __cil_tmp7 = *((uint32_t *)__cil_tmp6);
2900#line 100
2901 __cil_tmp8 = (uint32_t )ebnum;
2902#line 100
2903 __cil_tmp9 = __cil_tmp8 * __cil_tmp7;
2904#line 100
2905 addr = (loff_t )__cil_tmp9;
2906#line 102
2907 __cil_tmp10 = (unsigned long )mtd;
2908#line 102
2909 __cil_tmp11 = __cil_tmp10 + 16;
2910#line 102
2911 __cil_tmp12 = *((uint32_t *)__cil_tmp11);
2912#line 102
2913 __cil_tmp13 = (size_t )__cil_tmp12;
2914#line 102
2915 set_random_data(writebuf, __cil_tmp13);
2916#line 103
2917 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c",
2918 103, 0);
2919#line 103
2920 _cond_resched();
2921#line 104
2922 __cil_tmp14 = (unsigned long )mtd;
2923#line 104
2924 __cil_tmp15 = __cil_tmp14 + 16;
2925#line 104
2926 __cil_tmp16 = *((uint32_t *)__cil_tmp15);
2927#line 104
2928 __cil_tmp17 = (size_t )__cil_tmp16;
2929#line 104
2930 __cil_tmp18 = (u_char const *)writebuf;
2931#line 104
2932 err = mtd_write(mtd, addr, __cil_tmp17, & written, __cil_tmp18);
2933 }
2934#line 105
2935 if (err) {
2936 {
2937#line 106
2938 printk("<6>mtd_pagetest: error: write failed at %#llx\n", addr);
2939 }
2940 } else {
2941 {
2942#line 105
2943 __cil_tmp19 = (unsigned long )mtd;
2944#line 105
2945 __cil_tmp20 = __cil_tmp19 + 16;
2946#line 105
2947 __cil_tmp21 = *((uint32_t *)__cil_tmp20);
2948#line 105
2949 __cil_tmp22 = (size_t )__cil_tmp21;
2950#line 105
2951 __cil_tmp23 = & written;
2952#line 105
2953 __cil_tmp24 = *__cil_tmp23;
2954#line 105
2955 if (__cil_tmp24 != __cil_tmp22) {
2956 {
2957#line 106
2958 printk("<6>mtd_pagetest: error: write failed at %#llx\n", addr);
2959 }
2960 } else {
2961
2962 }
2963 }
2964 }
2965#line 109
2966 return (err);
2967}
2968}
2969#line 112 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
2970static int verify_eraseblock(int ebnum )
2971{ uint32_t j ;
2972 size_t read ;
2973 int err ;
2974 int i ;
2975 loff_t addr0 ;
2976 loff_t addrn ;
2977 loff_t addr ;
2978 int tmp___7 ;
2979 int tmp___8 ;
2980 int tmp___9 ;
2981 int tmp___10 ;
2982 unsigned long oldnext ;
2983 int tmp___11 ;
2984 int tmp___12 ;
2985 int tmp___13 ;
2986 size_t __len ;
2987 void *__ret ;
2988 int tmp___14 ;
2989 unsigned long __cil_tmp20 ;
2990 unsigned long __cil_tmp21 ;
2991 uint32_t __cil_tmp22 ;
2992 uint32_t __cil_tmp23 ;
2993 uint32_t __cil_tmp24 ;
2994 unsigned char *__cil_tmp25 ;
2995 unsigned long __cil_tmp26 ;
2996 unsigned long __cil_tmp27 ;
2997 uint32_t __cil_tmp28 ;
2998 loff_t __cil_tmp29 ;
2999 unsigned long __cil_tmp30 ;
3000 unsigned long __cil_tmp31 ;
3001 uint64_t __cil_tmp32 ;
3002 int __cil_tmp33 ;
3003 int __cil_tmp34 ;
3004 unsigned char *__cil_tmp35 ;
3005 unsigned long __cil_tmp36 ;
3006 unsigned long __cil_tmp37 ;
3007 uint32_t __cil_tmp38 ;
3008 loff_t __cil_tmp39 ;
3009 unsigned long __cil_tmp40 ;
3010 unsigned long __cil_tmp41 ;
3011 uint32_t __cil_tmp42 ;
3012 size_t __cil_tmp43 ;
3013 int __cil_tmp44 ;
3014 uint32_t __cil_tmp45 ;
3015 size_t __cil_tmp46 ;
3016 size_t __cil_tmp47 ;
3017 size_t *__cil_tmp48 ;
3018 size_t __cil_tmp49 ;
3019 loff_t __cil_tmp50 ;
3020 loff_t __cil_tmp51 ;
3021 size_t __cil_tmp52 ;
3022 loff_t __cil_tmp53 ;
3023 loff_t __cil_tmp54 ;
3024 size_t __cil_tmp55 ;
3025 size_t *__cil_tmp56 ;
3026 size_t __cil_tmp57 ;
3027 loff_t __cil_tmp58 ;
3028 loff_t __cil_tmp59 ;
3029 void *__cil_tmp60 ;
3030 size_t __cil_tmp61 ;
3031 size_t __cil_tmp62 ;
3032 size_t __cil_tmp63 ;
3033 size_t *__cil_tmp64 ;
3034 size_t __cil_tmp65 ;
3035 void const *__cil_tmp66 ;
3036 uint32_t __cil_tmp67 ;
3037 uint32_t __cil_tmp68 ;
3038 unsigned char *__cil_tmp69 ;
3039 void const *__cil_tmp70 ;
3040 unsigned long __cil_tmp71 ;
3041 loff_t __cil_tmp72 ;
3042 loff_t __cil_tmp73 ;
3043 loff_t __cil_tmp74 ;
3044 loff_t __cil_tmp75 ;
3045 loff_t __cil_tmp76 ;
3046 int __cil_tmp77 ;
3047 unsigned char *__cil_tmp78 ;
3048 unsigned char __cil_tmp79 ;
3049 size_t __cil_tmp80 ;
3050 size_t __cil_tmp81 ;
3051 size_t *__cil_tmp82 ;
3052 size_t __cil_tmp83 ;
3053 loff_t __cil_tmp84 ;
3054 loff_t __cil_tmp85 ;
3055 size_t __cil_tmp86 ;
3056 loff_t __cil_tmp87 ;
3057 loff_t __cil_tmp88 ;
3058 size_t __cil_tmp89 ;
3059 size_t *__cil_tmp90 ;
3060 size_t __cil_tmp91 ;
3061 loff_t __cil_tmp92 ;
3062 loff_t __cil_tmp93 ;
3063 void *__cil_tmp94 ;
3064 size_t __cil_tmp95 ;
3065 size_t __cil_tmp96 ;
3066 size_t __cil_tmp97 ;
3067 size_t *__cil_tmp98 ;
3068 size_t __cil_tmp99 ;
3069 void *__cil_tmp100 ;
3070 unsigned long __cil_tmp101 ;
3071 unsigned long __cil_tmp102 ;
3072 uint32_t __cil_tmp103 ;
3073 unsigned char *__cil_tmp104 ;
3074 unsigned char *__cil_tmp105 ;
3075 void const *__cil_tmp106 ;
3076 unsigned char *__cil_tmp107 ;
3077 size_t __cil_tmp108 ;
3078 void const *__cil_tmp109 ;
3079 void const *__cil_tmp110 ;
3080 unsigned long __cil_tmp111 ;
3081
3082 {
3083#line 116
3084 err = 0;
3085#line 118
3086 __cil_tmp20 = (unsigned long )mtd;
3087#line 118
3088 __cil_tmp21 = __cil_tmp20 + 16;
3089#line 118
3090 __cil_tmp22 = *((uint32_t *)__cil_tmp21);
3091#line 118
3092 __cil_tmp23 = (uint32_t )ebnum;
3093#line 118
3094 __cil_tmp24 = __cil_tmp23 * __cil_tmp22;
3095#line 118
3096 addr = (loff_t )__cil_tmp24;
3097#line 120
3098 addr0 = (loff_t )0;
3099#line 121
3100 i = 0;
3101 {
3102#line 121
3103 while (1) {
3104 while_continue: ;
3105#line 121
3106 if (i < ebcnt) {
3107 {
3108#line 121
3109 __cil_tmp25 = bbt + i;
3110#line 121
3111 if (*__cil_tmp25) {
3112
3113 } else {
3114#line 121
3115 goto while_break;
3116 }
3117 }
3118 } else {
3119#line 121
3120 goto while_break;
3121 }
3122#line 122
3123 __cil_tmp26 = (unsigned long )mtd;
3124#line 122
3125 __cil_tmp27 = __cil_tmp26 + 16;
3126#line 122
3127 __cil_tmp28 = *((uint32_t *)__cil_tmp27);
3128#line 122
3129 __cil_tmp29 = (loff_t )__cil_tmp28;
3130#line 122
3131 addr0 = addr0 + __cil_tmp29;
3132#line 121
3133 i = i + 1;
3134 }
3135 while_break: ;
3136 }
3137#line 124
3138 __cil_tmp30 = (unsigned long )mtd;
3139#line 124
3140 __cil_tmp31 = __cil_tmp30 + 8;
3141#line 124
3142 __cil_tmp32 = *((uint64_t *)__cil_tmp31);
3143#line 124
3144 addrn = (loff_t )__cil_tmp32;
3145#line 125
3146 i = 0;
3147 {
3148#line 125
3149 while (1) {
3150 while_continue___0: ;
3151#line 125
3152 if (i < ebcnt) {
3153 {
3154#line 125
3155 __cil_tmp33 = ebcnt - i;
3156#line 125
3157 __cil_tmp34 = __cil_tmp33 - 1;
3158#line 125
3159 __cil_tmp35 = bbt + __cil_tmp34;
3160#line 125
3161 if (*__cil_tmp35) {
3162
3163 } else {
3164#line 125
3165 goto while_break___0;
3166 }
3167 }
3168 } else {
3169#line 125
3170 goto while_break___0;
3171 }
3172#line 126
3173 __cil_tmp36 = (unsigned long )mtd;
3174#line 126
3175 __cil_tmp37 = __cil_tmp36 + 16;
3176#line 126
3177 __cil_tmp38 = *((uint32_t *)__cil_tmp37);
3178#line 126
3179 __cil_tmp39 = (loff_t )__cil_tmp38;
3180#line 126
3181 addrn = addrn - __cil_tmp39;
3182#line 125
3183 i = i + 1;
3184 }
3185 while_break___0: ;
3186 }
3187 {
3188#line 128
3189 __cil_tmp40 = (unsigned long )mtd;
3190#line 128
3191 __cil_tmp41 = __cil_tmp40 + 16;
3192#line 128
3193 __cil_tmp42 = *((uint32_t *)__cil_tmp41);
3194#line 128
3195 __cil_tmp43 = (size_t )__cil_tmp42;
3196#line 128
3197 set_random_data(writebuf, __cil_tmp43);
3198#line 129
3199 j = (uint32_t )0;
3200 }
3201 {
3202#line 129
3203 while (1) {
3204 while_continue___1: ;
3205 {
3206#line 129
3207 __cil_tmp44 = pgcnt - 1;
3208#line 129
3209 __cil_tmp45 = (uint32_t )__cil_tmp44;
3210#line 129
3211 if (j < __cil_tmp45) {
3212
3213 } else {
3214#line 129
3215 goto while_break___1;
3216 }
3217 }
3218 {
3219#line 131
3220 __cil_tmp46 = (size_t )bufsize;
3221#line 131
3222 err = mtd_read(mtd, addr0, __cil_tmp46, & read, twopages);
3223#line 132
3224 tmp___7 = mtd_is_bitflip(err);
3225 }
3226#line 132
3227 if (tmp___7) {
3228#line 133
3229 err = 0;
3230 } else {
3231
3232 }
3233#line 134
3234 if (err) {
3235 {
3236#line 135
3237 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr0);
3238 }
3239#line 137
3240 return (err);
3241 } else {
3242 {
3243#line 134
3244 __cil_tmp47 = (size_t )bufsize;
3245#line 134
3246 __cil_tmp48 = & read;
3247#line 134
3248 __cil_tmp49 = *__cil_tmp48;
3249#line 134
3250 if (__cil_tmp49 != __cil_tmp47) {
3251 {
3252#line 135
3253 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr0);
3254 }
3255#line 137
3256 return (err);
3257 } else {
3258
3259 }
3260 }
3261 }
3262 {
3263#line 139
3264 __cil_tmp50 = (loff_t )bufsize;
3265#line 139
3266 __cil_tmp51 = addrn - __cil_tmp50;
3267#line 139
3268 __cil_tmp52 = (size_t )bufsize;
3269#line 139
3270 err = mtd_read(mtd, __cil_tmp51, __cil_tmp52, & read, twopages);
3271#line 140
3272 tmp___8 = mtd_is_bitflip(err);
3273 }
3274#line 140
3275 if (tmp___8) {
3276#line 141
3277 err = 0;
3278 } else {
3279
3280 }
3281#line 142
3282 if (err) {
3283 {
3284#line 143
3285 __cil_tmp53 = (loff_t )bufsize;
3286#line 143
3287 __cil_tmp54 = addrn - __cil_tmp53;
3288#line 143
3289 printk("<6>mtd_pagetest: error: read failed at %#llx\n", __cil_tmp54);
3290 }
3291#line 145
3292 return (err);
3293 } else {
3294 {
3295#line 142
3296 __cil_tmp55 = (size_t )bufsize;
3297#line 142
3298 __cil_tmp56 = & read;
3299#line 142
3300 __cil_tmp57 = *__cil_tmp56;
3301#line 142
3302 if (__cil_tmp57 != __cil_tmp55) {
3303 {
3304#line 143
3305 __cil_tmp58 = (loff_t )bufsize;
3306#line 143
3307 __cil_tmp59 = addrn - __cil_tmp58;
3308#line 143
3309 printk("<6>mtd_pagetest: error: read failed at %#llx\n", __cil_tmp59);
3310 }
3311#line 145
3312 return (err);
3313 } else {
3314
3315 }
3316 }
3317 }
3318 {
3319#line 147
3320 __cil_tmp60 = (void *)twopages;
3321#line 147
3322 __cil_tmp61 = (size_t )bufsize;
3323#line 147
3324 memset(__cil_tmp60, 0, __cil_tmp61);
3325#line 148
3326 __cil_tmp62 = (size_t )bufsize;
3327#line 148
3328 err = mtd_read(mtd, addr, __cil_tmp62, & read, twopages);
3329#line 149
3330 tmp___9 = mtd_is_bitflip(err);
3331 }
3332#line 149
3333 if (tmp___9) {
3334#line 150
3335 err = 0;
3336 } else {
3337
3338 }
3339#line 151
3340 if (err) {
3341 {
3342#line 152
3343 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3344 }
3345#line 154
3346 goto while_break___1;
3347 } else {
3348 {
3349#line 151
3350 __cil_tmp63 = (size_t )bufsize;
3351#line 151
3352 __cil_tmp64 = & read;
3353#line 151
3354 __cil_tmp65 = *__cil_tmp64;
3355#line 151
3356 if (__cil_tmp65 != __cil_tmp63) {
3357 {
3358#line 152
3359 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3360 }
3361#line 154
3362 goto while_break___1;
3363 } else {
3364
3365 }
3366 }
3367 }
3368 {
3369#line 156
3370 __cil_tmp66 = (void const *)twopages;
3371#line 156
3372 __cil_tmp67 = (uint32_t )pgsize;
3373#line 156
3374 __cil_tmp68 = j * __cil_tmp67;
3375#line 156
3376 __cil_tmp69 = writebuf + __cil_tmp68;
3377#line 156
3378 __cil_tmp70 = (void const *)__cil_tmp69;
3379#line 156
3380 __cil_tmp71 = (unsigned long )bufsize;
3381#line 156
3382 tmp___10 = memcmp(__cil_tmp66, __cil_tmp70, __cil_tmp71);
3383 }
3384#line 156
3385 if (tmp___10) {
3386 {
3387#line 157
3388 printk("<6>mtd_pagetest: error: verify failed at %#llx\n", addr);
3389#line 159
3390 errcnt = errcnt + 1;
3391 }
3392 } else {
3393
3394 }
3395#line 129
3396 j = j + 1U;
3397#line 129
3398 __cil_tmp72 = (loff_t )pgsize;
3399#line 129
3400 addr = addr + __cil_tmp72;
3401 }
3402 while_break___1: ;
3403 }
3404 {
3405#line 163
3406 __cil_tmp73 = (loff_t )pgsize;
3407#line 163
3408 __cil_tmp74 = (loff_t )pgsize;
3409#line 163
3410 __cil_tmp75 = addrn - __cil_tmp74;
3411#line 163
3412 __cil_tmp76 = __cil_tmp75 - __cil_tmp73;
3413#line 163
3414 if (addr <= __cil_tmp76) {
3415 {
3416#line 163
3417 __cil_tmp77 = ebnum + 1;
3418#line 163
3419 __cil_tmp78 = bbt + __cil_tmp77;
3420#line 163
3421 __cil_tmp79 = *__cil_tmp78;
3422#line 163
3423 if (! __cil_tmp79) {
3424 {
3425#line 164
3426 oldnext = next;
3427#line 166
3428 __cil_tmp80 = (size_t )bufsize;
3429#line 166
3430 err = mtd_read(mtd, addr0, __cil_tmp80, & read, twopages);
3431#line 167
3432 tmp___11 = mtd_is_bitflip(err);
3433 }
3434#line 167
3435 if (tmp___11) {
3436#line 168
3437 err = 0;
3438 } else {
3439
3440 }
3441#line 169
3442 if (err) {
3443 {
3444#line 170
3445 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr0);
3446 }
3447#line 172
3448 return (err);
3449 } else {
3450 {
3451#line 169
3452 __cil_tmp81 = (size_t )bufsize;
3453#line 169
3454 __cil_tmp82 = & read;
3455#line 169
3456 __cil_tmp83 = *__cil_tmp82;
3457#line 169
3458 if (__cil_tmp83 != __cil_tmp81) {
3459 {
3460#line 170
3461 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr0);
3462 }
3463#line 172
3464 return (err);
3465 } else {
3466
3467 }
3468 }
3469 }
3470 {
3471#line 174
3472 __cil_tmp84 = (loff_t )bufsize;
3473#line 174
3474 __cil_tmp85 = addrn - __cil_tmp84;
3475#line 174
3476 __cil_tmp86 = (size_t )bufsize;
3477#line 174
3478 err = mtd_read(mtd, __cil_tmp85, __cil_tmp86, & read, twopages);
3479#line 175
3480 tmp___12 = mtd_is_bitflip(err);
3481 }
3482#line 175
3483 if (tmp___12) {
3484#line 176
3485 err = 0;
3486 } else {
3487
3488 }
3489#line 177
3490 if (err) {
3491 {
3492#line 178
3493 __cil_tmp87 = (loff_t )bufsize;
3494#line 178
3495 __cil_tmp88 = addrn - __cil_tmp87;
3496#line 178
3497 printk("<6>mtd_pagetest: error: read failed at %#llx\n", __cil_tmp88);
3498 }
3499#line 180
3500 return (err);
3501 } else {
3502 {
3503#line 177
3504 __cil_tmp89 = (size_t )bufsize;
3505#line 177
3506 __cil_tmp90 = & read;
3507#line 177
3508 __cil_tmp91 = *__cil_tmp90;
3509#line 177
3510 if (__cil_tmp91 != __cil_tmp89) {
3511 {
3512#line 178
3513 __cil_tmp92 = (loff_t )bufsize;
3514#line 178
3515 __cil_tmp93 = addrn - __cil_tmp92;
3516#line 178
3517 printk("<6>mtd_pagetest: error: read failed at %#llx\n", __cil_tmp93);
3518 }
3519#line 180
3520 return (err);
3521 } else {
3522
3523 }
3524 }
3525 }
3526 {
3527#line 182
3528 __cil_tmp94 = (void *)twopages;
3529#line 182
3530 __cil_tmp95 = (size_t )bufsize;
3531#line 182
3532 memset(__cil_tmp94, 0, __cil_tmp95);
3533#line 183
3534 __cil_tmp96 = (size_t )bufsize;
3535#line 183
3536 err = mtd_read(mtd, addr, __cil_tmp96, & read, twopages);
3537#line 184
3538 tmp___13 = mtd_is_bitflip(err);
3539 }
3540#line 184
3541 if (tmp___13) {
3542#line 185
3543 err = 0;
3544 } else {
3545
3546 }
3547#line 186
3548 if (err) {
3549 {
3550#line 187
3551 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3552 }
3553#line 189
3554 return (err);
3555 } else {
3556 {
3557#line 186
3558 __cil_tmp97 = (size_t )bufsize;
3559#line 186
3560 __cil_tmp98 = & read;
3561#line 186
3562 __cil_tmp99 = *__cil_tmp98;
3563#line 186
3564 if (__cil_tmp99 != __cil_tmp97) {
3565 {
3566#line 187
3567 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3568 }
3569#line 189
3570 return (err);
3571 } else {
3572
3573 }
3574 }
3575 }
3576 {
3577#line 191
3578 __len = (size_t )pgsize;
3579#line 191
3580 __cil_tmp100 = (void *)boundary;
3581#line 191
3582 __cil_tmp101 = (unsigned long )mtd;
3583#line 191
3584 __cil_tmp102 = __cil_tmp101 + 16;
3585#line 191
3586 __cil_tmp103 = *((uint32_t *)__cil_tmp102);
3587#line 191
3588 __cil_tmp104 = writebuf + __cil_tmp103;
3589#line 191
3590 __cil_tmp105 = __cil_tmp104 - pgsize;
3591#line 191
3592 __cil_tmp106 = (void const *)__cil_tmp105;
3593#line 191
3594 __ret = __builtin_memcpy(__cil_tmp100, __cil_tmp106, __len);
3595#line 192
3596 __cil_tmp107 = boundary + pgsize;
3597#line 192
3598 __cil_tmp108 = (size_t )pgsize;
3599#line 192
3600 set_random_data(__cil_tmp107, __cil_tmp108);
3601#line 193
3602 __cil_tmp109 = (void const *)twopages;
3603#line 193
3604 __cil_tmp110 = (void const *)boundary;
3605#line 193
3606 __cil_tmp111 = (unsigned long )bufsize;
3607#line 193
3608 tmp___14 = memcmp(__cil_tmp109, __cil_tmp110, __cil_tmp111);
3609 }
3610#line 193
3611 if (tmp___14) {
3612 {
3613#line 194
3614 printk("<6>mtd_pagetest: error: verify failed at %#llx\n", addr);
3615#line 196
3616 errcnt = errcnt + 1;
3617 }
3618 } else {
3619
3620 }
3621#line 198
3622 next = oldnext;
3623 } else {
3624
3625 }
3626 }
3627 } else {
3628
3629 }
3630 }
3631#line 200
3632 return (err);
3633}
3634}
3635#line 203 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
3636static int crosstest(void)
3637{ size_t read ;
3638 int err ;
3639 int i ;
3640 loff_t addr ;
3641 loff_t addr0 ;
3642 loff_t addrn ;
3643 unsigned char *pp1 ;
3644 unsigned char *pp2 ;
3645 unsigned char *pp3 ;
3646 unsigned char *pp4 ;
3647 void *tmp___7 ;
3648 int tmp___8 ;
3649 int tmp___9 ;
3650 int tmp___10 ;
3651 int tmp___11 ;
3652 int tmp___12 ;
3653 int tmp___13 ;
3654 int __cil_tmp18 ;
3655 size_t __cil_tmp19 ;
3656 void *__cil_tmp20 ;
3657 int __cil_tmp21 ;
3658 size_t __cil_tmp22 ;
3659 unsigned char *__cil_tmp23 ;
3660 unsigned long __cil_tmp24 ;
3661 unsigned long __cil_tmp25 ;
3662 uint32_t __cil_tmp26 ;
3663 loff_t __cil_tmp27 ;
3664 unsigned long __cil_tmp28 ;
3665 unsigned long __cil_tmp29 ;
3666 uint64_t __cil_tmp30 ;
3667 int __cil_tmp31 ;
3668 int __cil_tmp32 ;
3669 unsigned char *__cil_tmp33 ;
3670 unsigned long __cil_tmp34 ;
3671 unsigned long __cil_tmp35 ;
3672 uint32_t __cil_tmp36 ;
3673 loff_t __cil_tmp37 ;
3674 loff_t __cil_tmp38 ;
3675 loff_t __cil_tmp39 ;
3676 loff_t __cil_tmp40 ;
3677 size_t __cil_tmp41 ;
3678 void const *__cil_tmp42 ;
3679 size_t __cil_tmp43 ;
3680 size_t *__cil_tmp44 ;
3681 size_t __cil_tmp45 ;
3682 void const *__cil_tmp46 ;
3683 loff_t __cil_tmp47 ;
3684 loff_t __cil_tmp48 ;
3685 loff_t __cil_tmp49 ;
3686 loff_t __cil_tmp50 ;
3687 loff_t __cil_tmp51 ;
3688 size_t __cil_tmp52 ;
3689 void const *__cil_tmp53 ;
3690 size_t __cil_tmp54 ;
3691 size_t *__cil_tmp55 ;
3692 size_t __cil_tmp56 ;
3693 void const *__cil_tmp57 ;
3694 size_t __cil_tmp58 ;
3695 void const *__cil_tmp59 ;
3696 size_t __cil_tmp60 ;
3697 size_t *__cil_tmp61 ;
3698 size_t __cil_tmp62 ;
3699 void const *__cil_tmp63 ;
3700 loff_t __cil_tmp64 ;
3701 size_t __cil_tmp65 ;
3702 void const *__cil_tmp66 ;
3703 size_t __cil_tmp67 ;
3704 size_t *__cil_tmp68 ;
3705 size_t __cil_tmp69 ;
3706 void const *__cil_tmp70 ;
3707 size_t __cil_tmp71 ;
3708 void const *__cil_tmp72 ;
3709 size_t __cil_tmp73 ;
3710 size_t *__cil_tmp74 ;
3711 size_t __cil_tmp75 ;
3712 void const *__cil_tmp76 ;
3713 void const *__cil_tmp77 ;
3714 void const *__cil_tmp78 ;
3715 unsigned long __cil_tmp79 ;
3716 void const *__cil_tmp80 ;
3717
3718 {
3719 {
3720#line 206
3721 err = 0;
3722#line 210
3723 printk("<6>mtd_pagetest: crosstest\n");
3724#line 211
3725 __cil_tmp18 = pgsize * 4;
3726#line 211
3727 __cil_tmp19 = (size_t )__cil_tmp18;
3728#line 211
3729 tmp___7 = kmalloc(__cil_tmp19, 208U);
3730#line 211
3731 pp1 = (unsigned char *)tmp___7;
3732 }
3733#line 212
3734 if (! pp1) {
3735 {
3736#line 213
3737 printk("<6>mtd_pagetest: error: cannot allocate memory\n");
3738 }
3739#line 214
3740 return (-12);
3741 } else {
3742
3743 }
3744 {
3745#line 216
3746 pp2 = pp1 + pgsize;
3747#line 217
3748 pp3 = pp2 + pgsize;
3749#line 218
3750 pp4 = pp3 + pgsize;
3751#line 219
3752 __cil_tmp20 = (void *)pp1;
3753#line 219
3754 __cil_tmp21 = pgsize * 4;
3755#line 219
3756 __cil_tmp22 = (size_t )__cil_tmp21;
3757#line 219
3758 memset(__cil_tmp20, 0, __cil_tmp22);
3759#line 221
3760 addr0 = (loff_t )0;
3761#line 222
3762 i = 0;
3763 }
3764 {
3765#line 222
3766 while (1) {
3767 while_continue: ;
3768#line 222
3769 if (i < ebcnt) {
3770 {
3771#line 222
3772 __cil_tmp23 = bbt + i;
3773#line 222
3774 if (*__cil_tmp23) {
3775
3776 } else {
3777#line 222
3778 goto while_break;
3779 }
3780 }
3781 } else {
3782#line 222
3783 goto while_break;
3784 }
3785#line 223
3786 __cil_tmp24 = (unsigned long )mtd;
3787#line 223
3788 __cil_tmp25 = __cil_tmp24 + 16;
3789#line 223
3790 __cil_tmp26 = *((uint32_t *)__cil_tmp25);
3791#line 223
3792 __cil_tmp27 = (loff_t )__cil_tmp26;
3793#line 223
3794 addr0 = addr0 + __cil_tmp27;
3795#line 222
3796 i = i + 1;
3797 }
3798 while_break: ;
3799 }
3800#line 225
3801 __cil_tmp28 = (unsigned long )mtd;
3802#line 225
3803 __cil_tmp29 = __cil_tmp28 + 8;
3804#line 225
3805 __cil_tmp30 = *((uint64_t *)__cil_tmp29);
3806#line 225
3807 addrn = (loff_t )__cil_tmp30;
3808#line 226
3809 i = 0;
3810 {
3811#line 226
3812 while (1) {
3813 while_continue___0: ;
3814#line 226
3815 if (i < ebcnt) {
3816 {
3817#line 226
3818 __cil_tmp31 = ebcnt - i;
3819#line 226
3820 __cil_tmp32 = __cil_tmp31 - 1;
3821#line 226
3822 __cil_tmp33 = bbt + __cil_tmp32;
3823#line 226
3824 if (*__cil_tmp33) {
3825
3826 } else {
3827#line 226
3828 goto while_break___0;
3829 }
3830 }
3831 } else {
3832#line 226
3833 goto while_break___0;
3834 }
3835#line 227
3836 __cil_tmp34 = (unsigned long )mtd;
3837#line 227
3838 __cil_tmp35 = __cil_tmp34 + 16;
3839#line 227
3840 __cil_tmp36 = *((uint32_t *)__cil_tmp35);
3841#line 227
3842 __cil_tmp37 = (loff_t )__cil_tmp36;
3843#line 227
3844 addrn = addrn - __cil_tmp37;
3845#line 226
3846 i = i + 1;
3847 }
3848 while_break___0: ;
3849 }
3850 {
3851#line 230
3852 __cil_tmp38 = (loff_t )pgsize;
3853#line 230
3854 __cil_tmp39 = (loff_t )pgsize;
3855#line 230
3856 __cil_tmp40 = addrn - __cil_tmp39;
3857#line 230
3858 addr = __cil_tmp40 - __cil_tmp38;
3859#line 231
3860 __cil_tmp41 = (size_t )pgsize;
3861#line 231
3862 err = mtd_read(mtd, addr, __cil_tmp41, & read, pp1);
3863#line 232
3864 tmp___8 = mtd_is_bitflip(err);
3865 }
3866#line 232
3867 if (tmp___8) {
3868#line 233
3869 err = 0;
3870 } else {
3871
3872 }
3873#line 234
3874 if (err) {
3875 {
3876#line 235
3877 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3878#line 237
3879 __cil_tmp42 = (void const *)pp1;
3880#line 237
3881 kfree(__cil_tmp42);
3882 }
3883#line 238
3884 return (err);
3885 } else {
3886 {
3887#line 234
3888 __cil_tmp43 = (size_t )pgsize;
3889#line 234
3890 __cil_tmp44 = & read;
3891#line 234
3892 __cil_tmp45 = *__cil_tmp44;
3893#line 234
3894 if (__cil_tmp45 != __cil_tmp43) {
3895 {
3896#line 235
3897 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3898#line 237
3899 __cil_tmp46 = (void const *)pp1;
3900#line 237
3901 kfree(__cil_tmp46);
3902 }
3903#line 238
3904 return (err);
3905 } else {
3906
3907 }
3908 }
3909 }
3910 {
3911#line 242
3912 __cil_tmp47 = (loff_t )pgsize;
3913#line 242
3914 __cil_tmp48 = (loff_t )pgsize;
3915#line 242
3916 __cil_tmp49 = (loff_t )pgsize;
3917#line 242
3918 __cil_tmp50 = addrn - __cil_tmp49;
3919#line 242
3920 __cil_tmp51 = __cil_tmp50 - __cil_tmp48;
3921#line 242
3922 addr = __cil_tmp51 - __cil_tmp47;
3923#line 243
3924 __cil_tmp52 = (size_t )pgsize;
3925#line 243
3926 err = mtd_read(mtd, addr, __cil_tmp52, & read, pp1);
3927#line 244
3928 tmp___9 = mtd_is_bitflip(err);
3929 }
3930#line 244
3931 if (tmp___9) {
3932#line 245
3933 err = 0;
3934 } else {
3935
3936 }
3937#line 246
3938 if (err) {
3939 {
3940#line 247
3941 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3942#line 249
3943 __cil_tmp53 = (void const *)pp1;
3944#line 249
3945 kfree(__cil_tmp53);
3946 }
3947#line 250
3948 return (err);
3949 } else {
3950 {
3951#line 246
3952 __cil_tmp54 = (size_t )pgsize;
3953#line 246
3954 __cil_tmp55 = & read;
3955#line 246
3956 __cil_tmp56 = *__cil_tmp55;
3957#line 246
3958 if (__cil_tmp56 != __cil_tmp54) {
3959 {
3960#line 247
3961 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3962#line 249
3963 __cil_tmp57 = (void const *)pp1;
3964#line 249
3965 kfree(__cil_tmp57);
3966 }
3967#line 250
3968 return (err);
3969 } else {
3970
3971 }
3972 }
3973 }
3974 {
3975#line 254
3976 addr = addr0;
3977#line 255
3978 printk("<6>mtd_pagetest: reading page at %#llx\n", addr);
3979#line 256
3980 __cil_tmp58 = (size_t )pgsize;
3981#line 256
3982 err = mtd_read(mtd, addr, __cil_tmp58, & read, pp2);
3983#line 257
3984 tmp___10 = mtd_is_bitflip(err);
3985 }
3986#line 257
3987 if (tmp___10) {
3988#line 258
3989 err = 0;
3990 } else {
3991
3992 }
3993#line 259
3994 if (err) {
3995 {
3996#line 260
3997 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
3998#line 262
3999 __cil_tmp59 = (void const *)pp1;
4000#line 262
4001 kfree(__cil_tmp59);
4002 }
4003#line 263
4004 return (err);
4005 } else {
4006 {
4007#line 259
4008 __cil_tmp60 = (size_t )pgsize;
4009#line 259
4010 __cil_tmp61 = & read;
4011#line 259
4012 __cil_tmp62 = *__cil_tmp61;
4013#line 259
4014 if (__cil_tmp62 != __cil_tmp60) {
4015 {
4016#line 260
4017 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
4018#line 262
4019 __cil_tmp63 = (void const *)pp1;
4020#line 262
4021 kfree(__cil_tmp63);
4022 }
4023#line 263
4024 return (err);
4025 } else {
4026
4027 }
4028 }
4029 }
4030 {
4031#line 267
4032 __cil_tmp64 = (loff_t )pgsize;
4033#line 267
4034 addr = addrn - __cil_tmp64;
4035#line 268
4036 printk("<6>mtd_pagetest: reading page at %#llx\n", addr);
4037#line 269
4038 __cil_tmp65 = (size_t )pgsize;
4039#line 269
4040 err = mtd_read(mtd, addr, __cil_tmp65, & read, pp3);
4041#line 270
4042 tmp___11 = mtd_is_bitflip(err);
4043 }
4044#line 270
4045 if (tmp___11) {
4046#line 271
4047 err = 0;
4048 } else {
4049
4050 }
4051#line 272
4052 if (err) {
4053 {
4054#line 273
4055 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
4056#line 275
4057 __cil_tmp66 = (void const *)pp1;
4058#line 275
4059 kfree(__cil_tmp66);
4060 }
4061#line 276
4062 return (err);
4063 } else {
4064 {
4065#line 272
4066 __cil_tmp67 = (size_t )pgsize;
4067#line 272
4068 __cil_tmp68 = & read;
4069#line 272
4070 __cil_tmp69 = *__cil_tmp68;
4071#line 272
4072 if (__cil_tmp69 != __cil_tmp67) {
4073 {
4074#line 273
4075 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
4076#line 275
4077 __cil_tmp70 = (void const *)pp1;
4078#line 275
4079 kfree(__cil_tmp70);
4080 }
4081#line 276
4082 return (err);
4083 } else {
4084
4085 }
4086 }
4087 }
4088 {
4089#line 280
4090 addr = addr0;
4091#line 281
4092 printk("<6>mtd_pagetest: reading page at %#llx\n", addr);
4093#line 282
4094 __cil_tmp71 = (size_t )pgsize;
4095#line 282
4096 err = mtd_read(mtd, addr, __cil_tmp71, & read, pp4);
4097#line 283
4098 tmp___12 = mtd_is_bitflip(err);
4099 }
4100#line 283
4101 if (tmp___12) {
4102#line 284
4103 err = 0;
4104 } else {
4105
4106 }
4107#line 285
4108 if (err) {
4109 {
4110#line 286
4111 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
4112#line 288
4113 __cil_tmp72 = (void const *)pp1;
4114#line 288
4115 kfree(__cil_tmp72);
4116 }
4117#line 289
4118 return (err);
4119 } else {
4120 {
4121#line 285
4122 __cil_tmp73 = (size_t )pgsize;
4123#line 285
4124 __cil_tmp74 = & read;
4125#line 285
4126 __cil_tmp75 = *__cil_tmp74;
4127#line 285
4128 if (__cil_tmp75 != __cil_tmp73) {
4129 {
4130#line 286
4131 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr);
4132#line 288
4133 __cil_tmp76 = (void const *)pp1;
4134#line 288
4135 kfree(__cil_tmp76);
4136 }
4137#line 289
4138 return (err);
4139 } else {
4140
4141 }
4142 }
4143 }
4144 {
4145#line 293
4146 printk("<6>mtd_pagetest: verifying pages read at %#llx match\n", addr0);
4147#line 295
4148 __cil_tmp77 = (void const *)pp2;
4149#line 295
4150 __cil_tmp78 = (void const *)pp4;
4151#line 295
4152 __cil_tmp79 = (unsigned long )pgsize;
4153#line 295
4154 tmp___13 = memcmp(__cil_tmp77, __cil_tmp78, __cil_tmp79);
4155 }
4156#line 295
4157 if (tmp___13) {
4158 {
4159#line 296
4160 printk("<6>mtd_pagetest: verify failed!\n");
4161#line 297
4162 errcnt = errcnt + 1;
4163 }
4164 } else
4165#line 298
4166 if (! err) {
4167 {
4168#line 299
4169 printk("<6>mtd_pagetest: crosstest ok\n");
4170 }
4171 } else {
4172
4173 }
4174 {
4175#line 300
4176 __cil_tmp80 = (void const *)pp1;
4177#line 300
4178 kfree(__cil_tmp80);
4179 }
4180#line 301
4181 return (err);
4182}
4183}
4184#line 304 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
4185static int erasecrosstest(void)
4186{ size_t read ;
4187 size_t written ;
4188 int err ;
4189 int i ;
4190 int ebnum ;
4191 int ebnum2 ;
4192 loff_t addr0 ;
4193 char *readbuf ;
4194 int tmp___7 ;
4195 int tmp___8 ;
4196 int tmp___9 ;
4197 int tmp___10 ;
4198 int tmp___11 ;
4199 int tmp___12 ;
4200 int tmp___13 ;
4201 int tmp___14 ;
4202 unsigned char *__cil_tmp17 ;
4203 unsigned long __cil_tmp18 ;
4204 unsigned long __cil_tmp19 ;
4205 uint32_t __cil_tmp20 ;
4206 loff_t __cil_tmp21 ;
4207 unsigned char *__cil_tmp22 ;
4208 size_t __cil_tmp23 ;
4209 char *__cil_tmp24 ;
4210 size_t __cil_tmp25 ;
4211 u_char const *__cil_tmp26 ;
4212 size_t __cil_tmp27 ;
4213 size_t *__cil_tmp28 ;
4214 size_t __cil_tmp29 ;
4215 void *__cil_tmp30 ;
4216 size_t __cil_tmp31 ;
4217 size_t __cil_tmp32 ;
4218 u_char *__cil_tmp33 ;
4219 size_t __cil_tmp34 ;
4220 size_t *__cil_tmp35 ;
4221 size_t __cil_tmp36 ;
4222 void const *__cil_tmp37 ;
4223 void const *__cil_tmp38 ;
4224 unsigned long __cil_tmp39 ;
4225 size_t __cil_tmp40 ;
4226 char *__cil_tmp41 ;
4227 size_t __cil_tmp42 ;
4228 u_char const *__cil_tmp43 ;
4229 size_t __cil_tmp44 ;
4230 size_t *__cil_tmp45 ;
4231 size_t __cil_tmp46 ;
4232 void *__cil_tmp47 ;
4233 size_t __cil_tmp48 ;
4234 size_t __cil_tmp49 ;
4235 u_char *__cil_tmp50 ;
4236 size_t __cil_tmp51 ;
4237 size_t *__cil_tmp52 ;
4238 size_t __cil_tmp53 ;
4239 void const *__cil_tmp54 ;
4240 void const *__cil_tmp55 ;
4241 unsigned long __cil_tmp56 ;
4242
4243 {
4244 {
4245#line 307
4246 err = 0;
4247#line 309
4248 readbuf = (char *)twopages;
4249#line 311
4250 printk("<6>mtd_pagetest: erasecrosstest\n");
4251#line 313
4252 ebnum = 0;
4253#line 314
4254 addr0 = (loff_t )0;
4255#line 315
4256 i = 0;
4257 }
4258 {
4259#line 315
4260 while (1) {
4261 while_continue: ;
4262#line 315
4263 if (i < ebcnt) {
4264 {
4265#line 315
4266 __cil_tmp17 = bbt + i;
4267#line 315
4268 if (*__cil_tmp17) {
4269
4270 } else {
4271#line 315
4272 goto while_break;
4273 }
4274 }
4275 } else {
4276#line 315
4277 goto while_break;
4278 }
4279#line 316
4280 __cil_tmp18 = (unsigned long )mtd;
4281#line 316
4282 __cil_tmp19 = __cil_tmp18 + 16;
4283#line 316
4284 __cil_tmp20 = *((uint32_t *)__cil_tmp19);
4285#line 316
4286 __cil_tmp21 = (loff_t )__cil_tmp20;
4287#line 316
4288 addr0 = addr0 + __cil_tmp21;
4289#line 317
4290 ebnum = ebnum + 1;
4291#line 315
4292 i = i + 1;
4293 }
4294 while_break: ;
4295 }
4296#line 320
4297 ebnum2 = ebcnt - 1;
4298 {
4299#line 321
4300 while (1) {
4301 while_continue___0: ;
4302#line 321
4303 if (ebnum2) {
4304 {
4305#line 321
4306 __cil_tmp22 = bbt + ebnum2;
4307#line 321
4308 if (*__cil_tmp22) {
4309
4310 } else {
4311#line 321
4312 goto while_break___0;
4313 }
4314 }
4315 } else {
4316#line 321
4317 goto while_break___0;
4318 }
4319#line 322
4320 ebnum2 = ebnum2 - 1;
4321 }
4322 while_break___0: ;
4323 }
4324 {
4325#line 324
4326 printk("<6>mtd_pagetest: erasing block %d\n", ebnum);
4327#line 325
4328 err = erase_eraseblock(ebnum);
4329 }
4330#line 326
4331 if (err) {
4332#line 327
4333 return (err);
4334 } else {
4335
4336 }
4337 {
4338#line 329
4339 printk("<6>mtd_pagetest: writing 1st page of block %d\n", ebnum);
4340#line 330
4341 __cil_tmp23 = (size_t )pgsize;
4342#line 330
4343 set_random_data(writebuf, __cil_tmp23);
4344#line 331
4345 __cil_tmp24 = (char *)writebuf;
4346#line 331
4347 strcpy(__cil_tmp24, "There is no data like this!");
4348#line 332
4349 __cil_tmp25 = (size_t )pgsize;
4350#line 332
4351 __cil_tmp26 = (u_char const *)writebuf;
4352#line 332
4353 err = mtd_write(mtd, addr0, __cil_tmp25, & written, __cil_tmp26);
4354 }
4355#line 333
4356 if (err) {
4357#line 333
4358 goto _L;
4359 } else {
4360 {
4361#line 333
4362 __cil_tmp27 = (size_t )pgsize;
4363#line 333
4364 __cil_tmp28 = & written;
4365#line 333
4366 __cil_tmp29 = *__cil_tmp28;
4367#line 333
4368 if (__cil_tmp29 != __cil_tmp27) {
4369 _L:
4370 {
4371#line 334
4372 printk("<6>mtd_pagetest: error: write failed at %#llx\n", addr0);
4373 }
4374#line 336
4375 if (err) {
4376#line 336
4377 tmp___7 = err;
4378 } else {
4379#line 336
4380 tmp___7 = -1;
4381 }
4382#line 336
4383 return (tmp___7);
4384 } else {
4385
4386 }
4387 }
4388 }
4389 {
4390#line 339
4391 printk("<6>mtd_pagetest: reading 1st page of block %d\n", ebnum);
4392#line 340
4393 __cil_tmp30 = (void *)readbuf;
4394#line 340
4395 __cil_tmp31 = (size_t )pgsize;
4396#line 340
4397 memset(__cil_tmp30, 0, __cil_tmp31);
4398#line 341
4399 __cil_tmp32 = (size_t )pgsize;
4400#line 341
4401 __cil_tmp33 = (u_char *)readbuf;
4402#line 341
4403 err = mtd_read(mtd, addr0, __cil_tmp32, & read, __cil_tmp33);
4404#line 342
4405 tmp___8 = mtd_is_bitflip(err);
4406 }
4407#line 342
4408 if (tmp___8) {
4409#line 343
4410 err = 0;
4411 } else {
4412
4413 }
4414#line 344
4415 if (err) {
4416#line 344
4417 goto _L___0;
4418 } else {
4419 {
4420#line 344
4421 __cil_tmp34 = (size_t )pgsize;
4422#line 344
4423 __cil_tmp35 = & read;
4424#line 344
4425 __cil_tmp36 = *__cil_tmp35;
4426#line 344
4427 if (__cil_tmp36 != __cil_tmp34) {
4428 _L___0:
4429 {
4430#line 345
4431 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr0);
4432 }
4433#line 347
4434 if (err) {
4435#line 347
4436 tmp___9 = err;
4437 } else {
4438#line 347
4439 tmp___9 = -1;
4440 }
4441#line 347
4442 return (tmp___9);
4443 } else {
4444
4445 }
4446 }
4447 }
4448 {
4449#line 350
4450 printk("<6>mtd_pagetest: verifying 1st page of block %d\n", ebnum);
4451#line 351
4452 __cil_tmp37 = (void const *)writebuf;
4453#line 351
4454 __cil_tmp38 = (void const *)readbuf;
4455#line 351
4456 __cil_tmp39 = (unsigned long )pgsize;
4457#line 351
4458 tmp___10 = memcmp(__cil_tmp37, __cil_tmp38, __cil_tmp39);
4459 }
4460#line 351
4461 if (tmp___10) {
4462 {
4463#line 352
4464 printk("<6>mtd_pagetest: verify failed!\n");
4465#line 353
4466 errcnt = errcnt + 1;
4467 }
4468#line 354
4469 return (-1);
4470 } else {
4471
4472 }
4473 {
4474#line 357
4475 printk("<6>mtd_pagetest: erasing block %d\n", ebnum);
4476#line 358
4477 err = erase_eraseblock(ebnum);
4478 }
4479#line 359
4480 if (err) {
4481#line 360
4482 return (err);
4483 } else {
4484
4485 }
4486 {
4487#line 362
4488 printk("<6>mtd_pagetest: writing 1st page of block %d\n", ebnum);
4489#line 363
4490 __cil_tmp40 = (size_t )pgsize;
4491#line 363
4492 set_random_data(writebuf, __cil_tmp40);
4493#line 364
4494 __cil_tmp41 = (char *)writebuf;
4495#line 364
4496 strcpy(__cil_tmp41, "There is no data like this!");
4497#line 365
4498 __cil_tmp42 = (size_t )pgsize;
4499#line 365
4500 __cil_tmp43 = (u_char const *)writebuf;
4501#line 365
4502 err = mtd_write(mtd, addr0, __cil_tmp42, & written, __cil_tmp43);
4503 }
4504#line 366
4505 if (err) {
4506#line 366
4507 goto _L___1;
4508 } else {
4509 {
4510#line 366
4511 __cil_tmp44 = (size_t )pgsize;
4512#line 366
4513 __cil_tmp45 = & written;
4514#line 366
4515 __cil_tmp46 = *__cil_tmp45;
4516#line 366
4517 if (__cil_tmp46 != __cil_tmp44) {
4518 _L___1:
4519 {
4520#line 367
4521 printk("<6>mtd_pagetest: error: write failed at %#llx\n", addr0);
4522 }
4523#line 369
4524 if (err) {
4525#line 369
4526 tmp___11 = err;
4527 } else {
4528#line 369
4529 tmp___11 = -1;
4530 }
4531#line 369
4532 return (tmp___11);
4533 } else {
4534
4535 }
4536 }
4537 }
4538 {
4539#line 372
4540 printk("<6>mtd_pagetest: erasing block %d\n", ebnum2);
4541#line 373
4542 err = erase_eraseblock(ebnum2);
4543 }
4544#line 374
4545 if (err) {
4546#line 375
4547 return (err);
4548 } else {
4549
4550 }
4551 {
4552#line 377
4553 printk("<6>mtd_pagetest: reading 1st page of block %d\n", ebnum);
4554#line 378
4555 __cil_tmp47 = (void *)readbuf;
4556#line 378
4557 __cil_tmp48 = (size_t )pgsize;
4558#line 378
4559 memset(__cil_tmp47, 0, __cil_tmp48);
4560#line 379
4561 __cil_tmp49 = (size_t )pgsize;
4562#line 379
4563 __cil_tmp50 = (u_char *)readbuf;
4564#line 379
4565 err = mtd_read(mtd, addr0, __cil_tmp49, & read, __cil_tmp50);
4566#line 380
4567 tmp___12 = mtd_is_bitflip(err);
4568 }
4569#line 380
4570 if (tmp___12) {
4571#line 381
4572 err = 0;
4573 } else {
4574
4575 }
4576#line 382
4577 if (err) {
4578#line 382
4579 goto _L___2;
4580 } else {
4581 {
4582#line 382
4583 __cil_tmp51 = (size_t )pgsize;
4584#line 382
4585 __cil_tmp52 = & read;
4586#line 382
4587 __cil_tmp53 = *__cil_tmp52;
4588#line 382
4589 if (__cil_tmp53 != __cil_tmp51) {
4590 _L___2:
4591 {
4592#line 383
4593 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr0);
4594 }
4595#line 385
4596 if (err) {
4597#line 385
4598 tmp___13 = err;
4599 } else {
4600#line 385
4601 tmp___13 = -1;
4602 }
4603#line 385
4604 return (tmp___13);
4605 } else {
4606
4607 }
4608 }
4609 }
4610 {
4611#line 388
4612 printk("<6>mtd_pagetest: verifying 1st page of block %d\n", ebnum);
4613#line 389
4614 __cil_tmp54 = (void const *)writebuf;
4615#line 389
4616 __cil_tmp55 = (void const *)readbuf;
4617#line 389
4618 __cil_tmp56 = (unsigned long )pgsize;
4619#line 389
4620 tmp___14 = memcmp(__cil_tmp54, __cil_tmp55, __cil_tmp56);
4621 }
4622#line 389
4623 if (tmp___14) {
4624 {
4625#line 390
4626 printk("<6>mtd_pagetest: verify failed!\n");
4627#line 391
4628 errcnt = errcnt + 1;
4629 }
4630#line 392
4631 return (-1);
4632 } else {
4633
4634 }
4635#line 395
4636 if (! err) {
4637 {
4638#line 396
4639 printk("<6>mtd_pagetest: erasecrosstest ok\n");
4640 }
4641 } else {
4642
4643 }
4644#line 397
4645 return (err);
4646}
4647}
4648#line 400 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
4649static int erasetest(void)
4650{ size_t read ;
4651 size_t written ;
4652 int err ;
4653 int i ;
4654 int ebnum ;
4655 int ok ;
4656 loff_t addr0 ;
4657 int tmp___7 ;
4658 int tmp___8 ;
4659 int tmp___9 ;
4660 unsigned char *__cil_tmp11 ;
4661 unsigned long __cil_tmp12 ;
4662 unsigned long __cil_tmp13 ;
4663 uint32_t __cil_tmp14 ;
4664 loff_t __cil_tmp15 ;
4665 size_t __cil_tmp16 ;
4666 size_t __cil_tmp17 ;
4667 u_char const *__cil_tmp18 ;
4668 size_t __cil_tmp19 ;
4669 size_t *__cil_tmp20 ;
4670 size_t __cil_tmp21 ;
4671 size_t __cil_tmp22 ;
4672 size_t __cil_tmp23 ;
4673 size_t *__cil_tmp24 ;
4674 size_t __cil_tmp25 ;
4675 unsigned char *__cil_tmp26 ;
4676 unsigned char __cil_tmp27 ;
4677 int __cil_tmp28 ;
4678
4679 {
4680 {
4681#line 403
4682 err = 0;
4683#line 403
4684 ok = 1;
4685#line 406
4686 printk("<6>mtd_pagetest: erasetest\n");
4687#line 408
4688 ebnum = 0;
4689#line 409
4690 addr0 = (loff_t )0;
4691#line 410
4692 i = 0;
4693 }
4694 {
4695#line 410
4696 while (1) {
4697 while_continue: ;
4698#line 410
4699 if (i < ebcnt) {
4700 {
4701#line 410
4702 __cil_tmp11 = bbt + i;
4703#line 410
4704 if (*__cil_tmp11) {
4705
4706 } else {
4707#line 410
4708 goto while_break;
4709 }
4710 }
4711 } else {
4712#line 410
4713 goto while_break;
4714 }
4715#line 411
4716 __cil_tmp12 = (unsigned long )mtd;
4717#line 411
4718 __cil_tmp13 = __cil_tmp12 + 16;
4719#line 411
4720 __cil_tmp14 = *((uint32_t *)__cil_tmp13);
4721#line 411
4722 __cil_tmp15 = (loff_t )__cil_tmp14;
4723#line 411
4724 addr0 = addr0 + __cil_tmp15;
4725#line 412
4726 ebnum = ebnum + 1;
4727#line 410
4728 i = i + 1;
4729 }
4730 while_break: ;
4731 }
4732 {
4733#line 415
4734 printk("<6>mtd_pagetest: erasing block %d\n", ebnum);
4735#line 416
4736 err = erase_eraseblock(ebnum);
4737 }
4738#line 417
4739 if (err) {
4740#line 418
4741 return (err);
4742 } else {
4743
4744 }
4745 {
4746#line 420
4747 printk("<6>mtd_pagetest: writing 1st page of block %d\n", ebnum);
4748#line 421
4749 __cil_tmp16 = (size_t )pgsize;
4750#line 421
4751 set_random_data(writebuf, __cil_tmp16);
4752#line 422
4753 __cil_tmp17 = (size_t )pgsize;
4754#line 422
4755 __cil_tmp18 = (u_char const *)writebuf;
4756#line 422
4757 err = mtd_write(mtd, addr0, __cil_tmp17, & written, __cil_tmp18);
4758 }
4759#line 423
4760 if (err) {
4761#line 423
4762 goto _L;
4763 } else {
4764 {
4765#line 423
4766 __cil_tmp19 = (size_t )pgsize;
4767#line 423
4768 __cil_tmp20 = & written;
4769#line 423
4770 __cil_tmp21 = *__cil_tmp20;
4771#line 423
4772 if (__cil_tmp21 != __cil_tmp19) {
4773 _L:
4774 {
4775#line 424
4776 printk("<6>mtd_pagetest: error: write failed at %#llx\n", addr0);
4777 }
4778#line 426
4779 if (err) {
4780#line 426
4781 tmp___7 = err;
4782 } else {
4783#line 426
4784 tmp___7 = -1;
4785 }
4786#line 426
4787 return (tmp___7);
4788 } else {
4789
4790 }
4791 }
4792 }
4793 {
4794#line 429
4795 printk("<6>mtd_pagetest: erasing block %d\n", ebnum);
4796#line 430
4797 err = erase_eraseblock(ebnum);
4798 }
4799#line 431
4800 if (err) {
4801#line 432
4802 return (err);
4803 } else {
4804
4805 }
4806 {
4807#line 434
4808 printk("<6>mtd_pagetest: reading 1st page of block %d\n", ebnum);
4809#line 435
4810 __cil_tmp22 = (size_t )pgsize;
4811#line 435
4812 err = mtd_read(mtd, addr0, __cil_tmp22, & read, twopages);
4813#line 436
4814 tmp___8 = mtd_is_bitflip(err);
4815 }
4816#line 436
4817 if (tmp___8) {
4818#line 437
4819 err = 0;
4820 } else {
4821
4822 }
4823#line 438
4824 if (err) {
4825#line 438
4826 goto _L___0;
4827 } else {
4828 {
4829#line 438
4830 __cil_tmp23 = (size_t )pgsize;
4831#line 438
4832 __cil_tmp24 = & read;
4833#line 438
4834 __cil_tmp25 = *__cil_tmp24;
4835#line 438
4836 if (__cil_tmp25 != __cil_tmp23) {
4837 _L___0:
4838 {
4839#line 439
4840 printk("<6>mtd_pagetest: error: read failed at %#llx\n", addr0);
4841 }
4842#line 441
4843 if (err) {
4844#line 441
4845 tmp___9 = err;
4846 } else {
4847#line 441
4848 tmp___9 = -1;
4849 }
4850#line 441
4851 return (tmp___9);
4852 } else {
4853
4854 }
4855 }
4856 }
4857 {
4858#line 444
4859 printk("<6>mtd_pagetest: verifying 1st page of block %d is all 0xff\n", ebnum);
4860#line 446
4861 i = 0;
4862 }
4863 {
4864#line 446
4865 while (1) {
4866 while_continue___0: ;
4867#line 446
4868 if (i < pgsize) {
4869
4870 } else {
4871#line 446
4872 goto while_break___0;
4873 }
4874 {
4875#line 447
4876 __cil_tmp26 = twopages + i;
4877#line 447
4878 __cil_tmp27 = *__cil_tmp26;
4879#line 447
4880 __cil_tmp28 = (int )__cil_tmp27;
4881#line 447
4882 if (__cil_tmp28 != 255) {
4883 {
4884#line 448
4885 printk("<6>mtd_pagetest: verifying all 0xff failed at %d\n", i);
4886#line 450
4887 errcnt = errcnt + 1;
4888#line 451
4889 ok = 0;
4890 }
4891#line 452
4892 goto while_break___0;
4893 } else {
4894
4895 }
4896 }
4897#line 446
4898 i = i + 1;
4899 }
4900 while_break___0: ;
4901 }
4902#line 455
4903 if (ok) {
4904#line 455
4905 if (! err) {
4906 {
4907#line 456
4908 printk("<6>mtd_pagetest: erasetest ok\n");
4909 }
4910 } else {
4911
4912 }
4913 } else {
4914
4915 }
4916#line 458
4917 return (err);
4918}
4919}
4920#line 461 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
4921static int is_block_bad(int ebnum )
4922{ loff_t addr ;
4923 int ret ;
4924 unsigned long __cil_tmp4 ;
4925 unsigned long __cil_tmp5 ;
4926 uint32_t __cil_tmp6 ;
4927 uint32_t __cil_tmp7 ;
4928 uint32_t __cil_tmp8 ;
4929
4930 {
4931 {
4932#line 463
4933 __cil_tmp4 = (unsigned long )mtd;
4934#line 463
4935 __cil_tmp5 = __cil_tmp4 + 16;
4936#line 463
4937 __cil_tmp6 = *((uint32_t *)__cil_tmp5);
4938#line 463
4939 __cil_tmp7 = (uint32_t )ebnum;
4940#line 463
4941 __cil_tmp8 = __cil_tmp7 * __cil_tmp6;
4942#line 463
4943 addr = (loff_t )__cil_tmp8;
4944#line 466
4945 ret = mtd_block_isbad(mtd, addr);
4946 }
4947#line 467
4948 if (ret) {
4949 {
4950#line 468
4951 printk("<6>mtd_pagetest: block %d is bad\n", ebnum);
4952 }
4953 } else {
4954
4955 }
4956#line 469
4957 return (ret);
4958}
4959}
4960#line 472 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
4961static int scan_for_bad_eraseblocks(void)
4962{ int i ;
4963 int bad ;
4964 void *tmp___7 ;
4965 int tmp___9 ;
4966 size_t __cil_tmp6 ;
4967 unsigned char *__cil_tmp7 ;
4968 unsigned char *__cil_tmp8 ;
4969 unsigned char *__cil_tmp9 ;
4970
4971 {
4972 {
4973#line 474
4974 bad = 0;
4975#line 476
4976 __cil_tmp6 = (size_t )ebcnt;
4977#line 476
4978 tmp___7 = kzalloc(__cil_tmp6, 208U);
4979#line 476
4980 bbt = (unsigned char *)tmp___7;
4981 }
4982#line 477
4983 if (! bbt) {
4984 {
4985#line 478
4986 printk("<6>mtd_pagetest: error: cannot allocate memory\n");
4987 }
4988#line 479
4989 return (-12);
4990 } else {
4991
4992 }
4993 {
4994#line 482
4995 printk("<6>mtd_pagetest: scanning for bad eraseblocks\n");
4996#line 483
4997 i = 0;
4998 }
4999 {
5000#line 483
5001 while (1) {
5002 while_continue: ;
5003#line 483
5004 if (i < ebcnt) {
5005
5006 } else {
5007#line 483
5008 goto while_break;
5009 }
5010 {
5011#line 484
5012 tmp___9 = is_block_bad(i);
5013 }
5014#line 484
5015 if (tmp___9) {
5016#line 484
5017 __cil_tmp7 = bbt + i;
5018#line 484
5019 *__cil_tmp7 = (unsigned char)1;
5020 } else {
5021#line 484
5022 __cil_tmp8 = bbt + i;
5023#line 484
5024 *__cil_tmp8 = (unsigned char)0;
5025 }
5026 {
5027#line 485
5028 __cil_tmp9 = bbt + i;
5029#line 485
5030 if (*__cil_tmp9) {
5031#line 486
5032 bad = bad + 1;
5033 } else {
5034
5035 }
5036 }
5037 {
5038#line 487
5039 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c",
5040 487, 0);
5041#line 487
5042 _cond_resched();
5043#line 483
5044 i = i + 1;
5045 }
5046 }
5047 while_break: ;
5048 }
5049 {
5050#line 489
5051 printk("<6>mtd_pagetest: scanned %d eraseblocks, %d are bad\n", i, bad);
5052 }
5053#line 490
5054 return (0);
5055}
5056}
5057#line 493
5058static int mtd_pagetest_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
5059#line 493 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5060static int mtd_pagetest_init(void)
5061{ int err ;
5062 uint64_t tmp___7 ;
5063 uint32_t i ;
5064 long tmp___8 ;
5065 long tmp___9 ;
5066 uint32_t __base ;
5067 uint32_t __rem ;
5068 void *tmp___10 ;
5069 void *tmp___11 ;
5070 void *tmp___12 ;
5071 int *__cil_tmp11 ;
5072 int __cil_tmp12 ;
5073 int *__cil_tmp13 ;
5074 int __cil_tmp14 ;
5075 void *__cil_tmp15 ;
5076 struct mtd_info *__cil_tmp16 ;
5077 int *__cil_tmp17 ;
5078 int __cil_tmp18 ;
5079 void const *__cil_tmp19 ;
5080 void const *__cil_tmp20 ;
5081 u_char __cil_tmp21 ;
5082 int __cil_tmp22 ;
5083 unsigned long __cil_tmp23 ;
5084 unsigned long __cil_tmp24 ;
5085 unsigned long __cil_tmp25 ;
5086 unsigned long __cil_tmp26 ;
5087 unsigned long long __cil_tmp27 ;
5088 unsigned long long __cil_tmp28 ;
5089 uint64_t __cil_tmp29 ;
5090 unsigned long __cil_tmp30 ;
5091 unsigned long __cil_tmp31 ;
5092 uint32_t __cil_tmp32 ;
5093 unsigned long __cil_tmp33 ;
5094 unsigned long __cil_tmp34 ;
5095 uint32_t __cil_tmp35 ;
5096 uint32_t __cil_tmp36 ;
5097 unsigned long __cil_tmp37 ;
5098 unsigned long __cil_tmp38 ;
5099 uint32_t __cil_tmp39 ;
5100 unsigned long __cil_tmp40 ;
5101 unsigned long __cil_tmp41 ;
5102 uint64_t __cil_tmp42 ;
5103 unsigned long __cil_tmp43 ;
5104 unsigned long __cil_tmp44 ;
5105 uint32_t __cil_tmp45 ;
5106 unsigned long __cil_tmp46 ;
5107 unsigned long __cil_tmp47 ;
5108 uint32_t __cil_tmp48 ;
5109 unsigned long __cil_tmp49 ;
5110 unsigned long __cil_tmp50 ;
5111 uint32_t __cil_tmp51 ;
5112 size_t __cil_tmp52 ;
5113 size_t __cil_tmp53 ;
5114 size_t __cil_tmp54 ;
5115 uint32_t __cil_tmp55 ;
5116 unsigned char *__cil_tmp56 ;
5117 int __cil_tmp57 ;
5118 uint32_t __cil_tmp58 ;
5119 unsigned char *__cil_tmp59 ;
5120 int __cil_tmp60 ;
5121 unsigned int __cil_tmp61 ;
5122 uint32_t __cil_tmp62 ;
5123 unsigned char *__cil_tmp63 ;
5124 int __cil_tmp64 ;
5125 unsigned int __cil_tmp65 ;
5126 void const *__cil_tmp66 ;
5127 void const *__cil_tmp67 ;
5128 void const *__cil_tmp68 ;
5129 void const *__cil_tmp69 ;
5130
5131 {
5132 {
5133#line 495
5134 err = 0;
5135#line 499
5136 printk("<6>\n");
5137#line 500
5138 printk("<6>=================================================\n");
5139 }
5140 {
5141#line 502
5142 __cil_tmp11 = & dev;
5143#line 502
5144 __cil_tmp12 = *__cil_tmp11;
5145#line 502
5146 if (__cil_tmp12 < 0) {
5147 {
5148#line 503
5149 printk("<6>mtd_pagetest: Please specify a valid mtd-device via module paramter\n");
5150#line 504
5151 printk("<2>CAREFUL: This test wipes all data on the specified MTD device!\n");
5152 }
5153#line 505
5154 return (-22);
5155 } else {
5156
5157 }
5158 }
5159 {
5160#line 508
5161 __cil_tmp13 = & dev;
5162#line 508
5163 __cil_tmp14 = *__cil_tmp13;
5164#line 508
5165 printk("<6>mtd_pagetest: MTD device: %d\n", __cil_tmp14);
5166#line 510
5167 __cil_tmp15 = (void *)0;
5168#line 510
5169 __cil_tmp16 = (struct mtd_info *)__cil_tmp15;
5170#line 510
5171 __cil_tmp17 = & dev;
5172#line 510
5173 __cil_tmp18 = *__cil_tmp17;
5174#line 510
5175 mtd = get_mtd_device(__cil_tmp16, __cil_tmp18);
5176#line 511
5177 __cil_tmp19 = (void const *)mtd;
5178#line 511
5179 tmp___9 = (long )IS_ERR(__cil_tmp19);
5180 }
5181#line 511
5182 if (tmp___9) {
5183 {
5184#line 512
5185 __cil_tmp20 = (void const *)mtd;
5186#line 512
5187 tmp___8 = (long )PTR_ERR(__cil_tmp20);
5188#line 512
5189 err = (int )tmp___8;
5190#line 513
5191 printk("<6>mtd_pagetest: error: cannot get MTD device\n");
5192 }
5193#line 514
5194 return (err);
5195 } else {
5196
5197 }
5198 {
5199#line 517
5200 __cil_tmp21 = *((u_char *)mtd);
5201#line 517
5202 __cil_tmp22 = (int )__cil_tmp21;
5203#line 517
5204 if (__cil_tmp22 != 4) {
5205 {
5206#line 518
5207 printk("<6>mtd_pagetest: this test requires NAND flash\n");
5208 }
5209#line 519
5210 goto out;
5211 } else {
5212
5213 }
5214 }
5215 {
5216#line 522
5217 __cil_tmp23 = (unsigned long )mtd;
5218#line 522
5219 __cil_tmp24 = __cil_tmp23 + 8;
5220#line 522
5221 tmp___7 = *((uint64_t *)__cil_tmp24);
5222#line 523
5223 __cil_tmp25 = (unsigned long )mtd;
5224#line 523
5225 __cil_tmp26 = __cil_tmp25 + 16;
5226#line 523
5227 __base = *((uint32_t *)__cil_tmp26);
5228#line 523
5229 __cil_tmp27 = (unsigned long long )__base;
5230#line 523
5231 __cil_tmp28 = tmp___7 % __cil_tmp27;
5232#line 523
5233 __rem = (uint32_t )__cil_tmp28;
5234#line 523
5235 __cil_tmp29 = (uint64_t )__base;
5236#line 523
5237 tmp___7 = tmp___7 / __cil_tmp29;
5238#line 524
5239 ebcnt = (int )tmp___7;
5240#line 525
5241 __cil_tmp30 = (unsigned long )mtd;
5242#line 525
5243 __cil_tmp31 = __cil_tmp30 + 20;
5244#line 525
5245 __cil_tmp32 = *((uint32_t *)__cil_tmp31);
5246#line 525
5247 __cil_tmp33 = (unsigned long )mtd;
5248#line 525
5249 __cil_tmp34 = __cil_tmp33 + 16;
5250#line 525
5251 __cil_tmp35 = *((uint32_t *)__cil_tmp34);
5252#line 525
5253 __cil_tmp36 = __cil_tmp35 / __cil_tmp32;
5254#line 525
5255 pgcnt = (int )__cil_tmp36;
5256#line 526
5257 __cil_tmp37 = (unsigned long )mtd;
5258#line 526
5259 __cil_tmp38 = __cil_tmp37 + 20;
5260#line 526
5261 __cil_tmp39 = *((uint32_t *)__cil_tmp38);
5262#line 526
5263 pgsize = (int )__cil_tmp39;
5264#line 528
5265 __cil_tmp40 = (unsigned long )mtd;
5266#line 528
5267 __cil_tmp41 = __cil_tmp40 + 8;
5268#line 528
5269 __cil_tmp42 = *((uint64_t *)__cil_tmp41);
5270#line 528
5271 __cil_tmp43 = (unsigned long )mtd;
5272#line 528
5273 __cil_tmp44 = __cil_tmp43 + 16;
5274#line 528
5275 __cil_tmp45 = *((uint32_t *)__cil_tmp44);
5276#line 528
5277 __cil_tmp46 = (unsigned long )mtd;
5278#line 528
5279 __cil_tmp47 = __cil_tmp46 + 28;
5280#line 528
5281 __cil_tmp48 = *((uint32_t *)__cil_tmp47);
5282#line 528
5283 printk("<6>mtd_pagetest: MTD device size %llu, eraseblock size %u, page size %u, count of eraseblocks %u, pages per eraseblock %u, OOB size %u\n",
5284 __cil_tmp42, __cil_tmp45, pgsize, ebcnt, pgcnt, __cil_tmp48);
5285#line 534
5286 err = -12;
5287#line 535
5288 bufsize = pgsize * 2;
5289#line 536
5290 __cil_tmp49 = (unsigned long )mtd;
5291#line 536
5292 __cil_tmp50 = __cil_tmp49 + 16;
5293#line 536
5294 __cil_tmp51 = *((uint32_t *)__cil_tmp50);
5295#line 536
5296 __cil_tmp52 = (size_t )__cil_tmp51;
5297#line 536
5298 tmp___10 = kmalloc(__cil_tmp52, 208U);
5299#line 536
5300 writebuf = (unsigned char *)tmp___10;
5301 }
5302#line 537
5303 if (! writebuf) {
5304 {
5305#line 538
5306 printk("<6>mtd_pagetest: error: cannot allocate memory\n");
5307 }
5308#line 539
5309 goto out;
5310 } else {
5311
5312 }
5313 {
5314#line 541
5315 __cil_tmp53 = (size_t )bufsize;
5316#line 541
5317 tmp___11 = kmalloc(__cil_tmp53, 208U);
5318#line 541
5319 twopages = (unsigned char *)tmp___11;
5320 }
5321#line 542
5322 if (! twopages) {
5323 {
5324#line 543
5325 printk("<6>mtd_pagetest: error: cannot allocate memory\n");
5326 }
5327#line 544
5328 goto out;
5329 } else {
5330
5331 }
5332 {
5333#line 546
5334 __cil_tmp54 = (size_t )bufsize;
5335#line 546
5336 tmp___12 = kmalloc(__cil_tmp54, 208U);
5337#line 546
5338 boundary = (unsigned char *)tmp___12;
5339 }
5340#line 547
5341 if (! boundary) {
5342 {
5343#line 548
5344 printk("<6>mtd_pagetest: error: cannot allocate memory\n");
5345 }
5346#line 549
5347 goto out;
5348 } else {
5349
5350 }
5351 {
5352#line 552
5353 err = scan_for_bad_eraseblocks();
5354 }
5355#line 553
5356 if (err) {
5357#line 554
5358 goto out;
5359 } else {
5360
5361 }
5362 {
5363#line 557
5364 printk("<6>mtd_pagetest: erasing whole device\n");
5365#line 558
5366 i = (uint32_t )0;
5367 }
5368 {
5369#line 558
5370 while (1) {
5371 while_continue: ;
5372 {
5373#line 558
5374 __cil_tmp55 = (uint32_t )ebcnt;
5375#line 558
5376 if (i < __cil_tmp55) {
5377
5378 } else {
5379#line 558
5380 goto while_break;
5381 }
5382 }
5383 {
5384#line 559
5385 __cil_tmp56 = bbt + i;
5386#line 559
5387 if (*__cil_tmp56) {
5388#line 560
5389 goto __Cont;
5390 } else {
5391
5392 }
5393 }
5394 {
5395#line 561
5396 __cil_tmp57 = (int )i;
5397#line 561
5398 err = erase_eraseblock(__cil_tmp57);
5399 }
5400#line 562
5401 if (err) {
5402#line 563
5403 goto out;
5404 } else {
5405
5406 }
5407 {
5408#line 564
5409 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c",
5410 564, 0);
5411#line 564
5412 _cond_resched();
5413 }
5414 __Cont:
5415#line 558
5416 i = i + 1U;
5417 }
5418 while_break: ;
5419 }
5420 {
5421#line 566
5422 printk("<6>mtd_pagetest: erased %u eraseblocks\n", i);
5423#line 569
5424 simple_srand(1UL);
5425#line 570
5426 printk("<6>mtd_pagetest: writing whole device\n");
5427#line 571
5428 i = (uint32_t )0;
5429 }
5430 {
5431#line 571
5432 while (1) {
5433 while_continue___0: ;
5434 {
5435#line 571
5436 __cil_tmp58 = (uint32_t )ebcnt;
5437#line 571
5438 if (i < __cil_tmp58) {
5439
5440 } else {
5441#line 571
5442 goto while_break___0;
5443 }
5444 }
5445 {
5446#line 572
5447 __cil_tmp59 = bbt + i;
5448#line 572
5449 if (*__cil_tmp59) {
5450#line 573
5451 goto __Cont___0;
5452 } else {
5453
5454 }
5455 }
5456 {
5457#line 574
5458 __cil_tmp60 = (int )i;
5459#line 574
5460 err = write_eraseblock(__cil_tmp60);
5461 }
5462#line 575
5463 if (err) {
5464#line 576
5465 goto out;
5466 } else {
5467
5468 }
5469 {
5470#line 577
5471 __cil_tmp61 = i % 256U;
5472#line 577
5473 if (__cil_tmp61 == 0U) {
5474 {
5475#line 578
5476 printk("<6>mtd_pagetest: written up to eraseblock %u\n", i);
5477 }
5478 } else {
5479
5480 }
5481 }
5482 {
5483#line 579
5484 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c",
5485 579, 0);
5486#line 579
5487 _cond_resched();
5488 }
5489 __Cont___0:
5490#line 571
5491 i = i + 1U;
5492 }
5493 while_break___0: ;
5494 }
5495 {
5496#line 581
5497 printk("<6>mtd_pagetest: written %u eraseblocks\n", i);
5498#line 584
5499 simple_srand(1UL);
5500#line 585
5501 printk("<6>mtd_pagetest: verifying all eraseblocks\n");
5502#line 586
5503 i = (uint32_t )0;
5504 }
5505 {
5506#line 586
5507 while (1) {
5508 while_continue___1: ;
5509 {
5510#line 586
5511 __cil_tmp62 = (uint32_t )ebcnt;
5512#line 586
5513 if (i < __cil_tmp62) {
5514
5515 } else {
5516#line 586
5517 goto while_break___1;
5518 }
5519 }
5520 {
5521#line 587
5522 __cil_tmp63 = bbt + i;
5523#line 587
5524 if (*__cil_tmp63) {
5525#line 588
5526 goto __Cont___1;
5527 } else {
5528
5529 }
5530 }
5531 {
5532#line 589
5533 __cil_tmp64 = (int )i;
5534#line 589
5535 err = verify_eraseblock(__cil_tmp64);
5536 }
5537#line 590
5538 if (err) {
5539#line 591
5540 goto out;
5541 } else {
5542
5543 }
5544 {
5545#line 592
5546 __cil_tmp65 = i % 256U;
5547#line 592
5548 if (__cil_tmp65 == 0U) {
5549 {
5550#line 593
5551 printk("<6>mtd_pagetest: verified up to eraseblock %u\n", i);
5552 }
5553 } else {
5554
5555 }
5556 }
5557 {
5558#line 594
5559 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c",
5560 594, 0);
5561#line 594
5562 _cond_resched();
5563 }
5564 __Cont___1:
5565#line 586
5566 i = i + 1U;
5567 }
5568 while_break___1: ;
5569 }
5570 {
5571#line 596
5572 printk("<6>mtd_pagetest: verified %u eraseblocks\n", i);
5573#line 598
5574 err = crosstest();
5575 }
5576#line 599
5577 if (err) {
5578#line 600
5579 goto out;
5580 } else {
5581
5582 }
5583 {
5584#line 602
5585 err = erasecrosstest();
5586 }
5587#line 603
5588 if (err) {
5589#line 604
5590 goto out;
5591 } else {
5592
5593 }
5594 {
5595#line 606
5596 err = erasetest();
5597 }
5598#line 607
5599 if (err) {
5600#line 608
5601 goto out;
5602 } else {
5603
5604 }
5605 {
5606#line 610
5607 printk("<6>mtd_pagetest: finished with %d errors\n", errcnt);
5608 }
5609 out:
5610 {
5611#line 613
5612 __cil_tmp66 = (void const *)bbt;
5613#line 613
5614 kfree(__cil_tmp66);
5615#line 614
5616 __cil_tmp67 = (void const *)boundary;
5617#line 614
5618 kfree(__cil_tmp67);
5619#line 615
5620 __cil_tmp68 = (void const *)twopages;
5621#line 615
5622 kfree(__cil_tmp68);
5623#line 616
5624 __cil_tmp69 = (void const *)writebuf;
5625#line 616
5626 kfree(__cil_tmp69);
5627#line 617
5628 put_mtd_device(mtd);
5629 }
5630#line 618
5631 if (err) {
5632 {
5633#line 619
5634 printk("<6>mtd_pagetest: error %d occurred\n", err);
5635 }
5636 } else {
5637
5638 }
5639 {
5640#line 620
5641 printk("<6>=================================================\n");
5642 }
5643#line 621
5644 return (err);
5645}
5646}
5647#line 623 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5648int init_module(void)
5649{ int tmp___7 ;
5650
5651 {
5652 {
5653#line 623
5654 tmp___7 = mtd_pagetest_init();
5655 }
5656#line 623
5657 return (tmp___7);
5658}
5659}
5660#line 625
5661static void mtd_pagetest_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
5662#line 625 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5663static void mtd_pagetest_exit(void)
5664{
5665
5666 {
5667#line 627
5668 return;
5669}
5670}
5671#line 629 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5672void cleanup_module(void)
5673{
5674
5675 {
5676 {
5677#line 629
5678 mtd_pagetest_exit();
5679 }
5680#line 629
5681 return;
5682}
5683}
5684#line 631 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5685static char const __mod_description631[27] __attribute__((__used__, __unused__,
5686__section__(".modinfo"), __aligned__(1))) =
5687#line 631
5688 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
5689 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
5690 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
5691 (char const )'N', (char const )'A', (char const )'N', (char const )'D',
5692 (char const )' ', (char const )'p', (char const )'a', (char const )'g',
5693 (char const )'e', (char const )' ', (char const )'t', (char const )'e',
5694 (char const )'s', (char const )'t', (char const )'\000'};
5695#line 632 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5696static char const __mod_author632[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
5697__aligned__(1))) =
5698#line 632
5699 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
5700 (char const )'o', (char const )'r', (char const )'=', (char const )'A',
5701 (char const )'d', (char const )'r', (char const )'i', (char const )'a',
5702 (char const )'n', (char const )' ', (char const )'H', (char const )'u',
5703 (char const )'n', (char const )'t', (char const )'e', (char const )'r',
5704 (char const )'\000'};
5705#line 633 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5706static char const __mod_license633[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
5707__aligned__(1))) =
5708#line 633
5709 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
5710 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
5711 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
5712#line 651
5713void ldv_check_final_state(void) ;
5714#line 657
5715extern void ldv_initialize(void) ;
5716#line 660
5717extern int __VERIFIER_nondet_int(void) ;
5718#line 663 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5719int LDV_IN_INTERRUPT ;
5720#line 666 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5721void main(void)
5722{ int tmp___7 ;
5723 int tmp___8 ;
5724 int tmp___9 ;
5725
5726 {
5727 {
5728#line 678
5729 LDV_IN_INTERRUPT = 1;
5730#line 687
5731 ldv_initialize();
5732#line 695
5733 tmp___7 = mtd_pagetest_init();
5734 }
5735#line 695
5736 if (tmp___7) {
5737#line 696
5738 goto ldv_final;
5739 } else {
5740
5741 }
5742 {
5743#line 698
5744 while (1) {
5745 while_continue: ;
5746 {
5747#line 698
5748 tmp___9 = __VERIFIER_nondet_int();
5749 }
5750#line 698
5751 if (tmp___9) {
5752
5753 } else {
5754#line 698
5755 goto while_break;
5756 }
5757 {
5758#line 701
5759 tmp___8 = __VERIFIER_nondet_int();
5760 }
5761 {
5762#line 703
5763 goto switch_default;
5764#line 701
5765 if (0) {
5766 switch_default:
5767#line 703
5768 goto switch_break;
5769 } else {
5770 switch_break: ;
5771 }
5772 }
5773 }
5774 while_break: ;
5775 }
5776 {
5777#line 717
5778 mtd_pagetest_exit();
5779 }
5780 ldv_final:
5781 {
5782#line 720
5783 ldv_check_final_state();
5784 }
5785#line 723
5786 return;
5787}
5788}
5789#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
5790void ldv_blast_assert(void)
5791{
5792
5793 {
5794 ERROR:
5795#line 6
5796 goto ERROR;
5797}
5798}
5799#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
5800extern int __VERIFIER_nondet_int(void) ;
5801#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5802int ldv_mutex = 1;
5803#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5804int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
5805{ int nondetermined ;
5806
5807 {
5808#line 29
5809 if (ldv_mutex == 1) {
5810
5811 } else {
5812 {
5813#line 29
5814 ldv_blast_assert();
5815 }
5816 }
5817 {
5818#line 32
5819 nondetermined = __VERIFIER_nondet_int();
5820 }
5821#line 35
5822 if (nondetermined) {
5823#line 38
5824 ldv_mutex = 2;
5825#line 40
5826 return (0);
5827 } else {
5828#line 45
5829 return (-4);
5830 }
5831}
5832}
5833#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5834int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
5835{ int nondetermined ;
5836
5837 {
5838#line 57
5839 if (ldv_mutex == 1) {
5840
5841 } else {
5842 {
5843#line 57
5844 ldv_blast_assert();
5845 }
5846 }
5847 {
5848#line 60
5849 nondetermined = __VERIFIER_nondet_int();
5850 }
5851#line 63
5852 if (nondetermined) {
5853#line 66
5854 ldv_mutex = 2;
5855#line 68
5856 return (0);
5857 } else {
5858#line 73
5859 return (-4);
5860 }
5861}
5862}
5863#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5864int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
5865{ int atomic_value_after_dec ;
5866
5867 {
5868#line 83
5869 if (ldv_mutex == 1) {
5870
5871 } else {
5872 {
5873#line 83
5874 ldv_blast_assert();
5875 }
5876 }
5877 {
5878#line 86
5879 atomic_value_after_dec = __VERIFIER_nondet_int();
5880 }
5881#line 89
5882 if (atomic_value_after_dec == 0) {
5883#line 92
5884 ldv_mutex = 2;
5885#line 94
5886 return (1);
5887 } else {
5888
5889 }
5890#line 98
5891 return (0);
5892}
5893}
5894#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5895void mutex_lock(struct mutex *lock )
5896{
5897
5898 {
5899#line 108
5900 if (ldv_mutex == 1) {
5901
5902 } else {
5903 {
5904#line 108
5905 ldv_blast_assert();
5906 }
5907 }
5908#line 110
5909 ldv_mutex = 2;
5910#line 111
5911 return;
5912}
5913}
5914#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5915int mutex_trylock(struct mutex *lock )
5916{ int nondetermined ;
5917
5918 {
5919#line 121
5920 if (ldv_mutex == 1) {
5921
5922 } else {
5923 {
5924#line 121
5925 ldv_blast_assert();
5926 }
5927 }
5928 {
5929#line 124
5930 nondetermined = __VERIFIER_nondet_int();
5931 }
5932#line 127
5933 if (nondetermined) {
5934#line 130
5935 ldv_mutex = 2;
5936#line 132
5937 return (1);
5938 } else {
5939#line 137
5940 return (0);
5941 }
5942}
5943}
5944#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5945void mutex_unlock(struct mutex *lock )
5946{
5947
5948 {
5949#line 147
5950 if (ldv_mutex == 2) {
5951
5952 } else {
5953 {
5954#line 147
5955 ldv_blast_assert();
5956 }
5957 }
5958#line 149
5959 ldv_mutex = 1;
5960#line 150
5961 return;
5962}
5963}
5964#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5965void ldv_check_final_state(void)
5966{
5967
5968 {
5969#line 156
5970 if (ldv_mutex == 1) {
5971
5972 } else {
5973 {
5974#line 156
5975 ldv_blast_assert();
5976 }
5977 }
5978#line 157
5979 return;
5980}
5981}
5982#line 732 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5473/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_pagetest.c.common.c"
5983long s__builtin_expect(long val , long res )
5984{
5985
5986 {
5987#line 733
5988 return (val);
5989}
5990}