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>"
2507long __builtin_expect(long val , long res ) ;
2508#line 100 "include/linux/printk.h"
2509extern int ( printk)(char const *fmt , ...) ;
2510#line 147 "include/linux/kernel.h"
2511extern void __might_sleep(char const *file , int line , int preempt_offset ) ;
2512#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
2513extern void *memset(void *s , int c , size_t n ) ;
2514#line 60
2515extern int memcmp(void const *cs , void const *ct , unsigned long count ) ;
2516#line 27 "include/linux/err.h"
2517__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
2518#line 27 "include/linux/err.h"
2519__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr )
2520{
2521
2522 {
2523#line 29
2524 return ((long )ptr);
2525}
2526}
2527#line 32
2528__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
2529#line 32 "include/linux/err.h"
2530__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr )
2531{ long tmp ;
2532 unsigned long __cil_tmp3 ;
2533 int __cil_tmp4 ;
2534 int __cil_tmp5 ;
2535 int __cil_tmp6 ;
2536 long __cil_tmp7 ;
2537
2538 {
2539 {
2540#line 34
2541 __cil_tmp3 = (unsigned long )ptr;
2542#line 34
2543 __cil_tmp4 = __cil_tmp3 >= 0xfffffffffffff001UL;
2544#line 34
2545 __cil_tmp5 = ! __cil_tmp4;
2546#line 34
2547 __cil_tmp6 = ! __cil_tmp5;
2548#line 34
2549 __cil_tmp7 = (long )__cil_tmp6;
2550#line 34
2551 tmp = __builtin_expect(__cil_tmp7, 0L);
2552 }
2553#line 34
2554 return (tmp);
2555}
2556}
2557#line 152 "include/linux/mutex.h"
2558void mutex_lock(struct mutex *lock ) ;
2559#line 153
2560int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2561#line 154
2562int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2563#line 168
2564int mutex_trylock(struct mutex *lock ) ;
2565#line 169
2566void mutex_unlock(struct mutex *lock ) ;
2567#line 170
2568int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2569#line 356 "include/linux/moduleparam.h"
2570extern struct kernel_param_ops param_ops_int ;
2571#line 67 "include/linux/module.h"
2572int init_module(void) ;
2573#line 68
2574void cleanup_module(void) ;
2575#line 246 "include/linux/mtd/mtd.h"
2576extern int mtd_erase(struct mtd_info *mtd , struct erase_info *instr ) ;
2577#line 252
2578extern int mtd_read(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
2579 u_char *buf ) ;
2580#line 254
2581extern int mtd_write(struct mtd_info *mtd , loff_t to , size_t len , size_t *retlen ,
2582 u_char const *buf ) ;
2583#line 303
2584extern int mtd_block_isbad(struct mtd_info *mtd , loff_t ofs ) ;
2585#line 370
2586extern struct mtd_info *get_mtd_device(struct mtd_info *mtd , int num ) ;
2587#line 374
2588extern void put_mtd_device(struct mtd_info *mtd ) ;
2589#line 390
2590__inline static int mtd_is_bitflip(int err ) __attribute__((__no_instrument_function__)) ;
2591#line 390 "include/linux/mtd/mtd.h"
2592__inline static int mtd_is_bitflip(int err )
2593{
2594
2595 {
2596#line 391
2597 return (err == -117);
2598}
2599}
2600#line 161 "include/linux/slab.h"
2601extern void kfree(void const * ) ;
2602#line 221 "include/linux/slub_def.h"
2603extern void *__kmalloc(size_t size , gfp_t flags ) ;
2604#line 268
2605__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
2606 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
2607#line 268 "include/linux/slub_def.h"
2608__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
2609 gfp_t flags )
2610{ void *tmp___2 ;
2611
2612 {
2613 {
2614#line 283
2615 tmp___2 = __kmalloc(size, flags);
2616 }
2617#line 283
2618 return (tmp___2);
2619}
2620}
2621#line 349 "include/linux/slab.h"
2622__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
2623#line 349 "include/linux/slab.h"
2624__inline static void *kzalloc(size_t size , gfp_t flags )
2625{ void *tmp ;
2626 unsigned int __cil_tmp4 ;
2627
2628 {
2629 {
2630#line 351
2631 __cil_tmp4 = flags | 32768U;
2632#line 351
2633 tmp = kmalloc(size, __cil_tmp4);
2634 }
2635#line 351
2636 return (tmp);
2637}
2638}
2639#line 2626 "include/linux/sched.h"
2640extern int _cond_resched(void) ;
2641#line 33 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2642static int dev = -22;
2643#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2644static char const __param_str_dev[4] = { (char const )'d', (char const )'e', (char const )'v', (char const )'\000'};
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/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2646static struct kernel_param const __param_dev __attribute__((__used__, __unused__,
2647__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_dev, (struct kernel_param_ops const *)(& param_ops_int), (u16 )292,
2648 (s16 )0, {(void *)(& dev)}};
2649#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2650static char const __mod_devtype34[17] __attribute__((__used__, __unused__, __section__(".modinfo"),
2651__aligned__(1))) =
2652#line 34
2653 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
2654 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
2655 (char const )'=', (char const )'d', (char const )'e', (char const )'v',
2656 (char const )':', (char const )'i', (char const )'n', (char const )'t',
2657 (char const )'\000'};
2658#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2659static char const __mod_dev35[34] __attribute__((__used__, __unused__, __section__(".modinfo"),
2660__aligned__(1))) =
2661#line 35
2662 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
2663 (char const )'=', (char const )'d', (char const )'e', (char const )'v',
2664 (char const )':', (char const )'M', (char const )'T', (char const )'D',
2665 (char const )' ', (char const )'d', (char const )'e', (char const )'v',
2666 (char const )'i', (char const )'c', (char const )'e', (char const )' ',
2667 (char const )'n', (char const )'u', (char const )'m', (char const )'b',
2668 (char const )'e', (char const )'r', (char const )' ', (char const )'t',
2669 (char const )'o', (char const )' ', (char const )'u', (char const )'s',
2670 (char const )'e', (char const )'\000'};
2671#line 37 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2672static struct mtd_info *mtd ;
2673#line 38 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2674static unsigned char *writebuf ;
2675#line 39 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2676static unsigned char *readbuf ;
2677#line 40 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2678static unsigned char *bbt ;
2679#line 42 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2680static int subpgsize ;
2681#line 43 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2682static int bufsize ;
2683#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2684static int ebcnt ;
2685#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2686static int pgcnt ;
2687#line 46 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2688static int errcnt ;
2689#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2690static unsigned long next = 1UL;
2691#line 49
2692__inline static unsigned int simple_rand(void) __attribute__((__no_instrument_function__)) ;
2693#line 49 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2694__inline static unsigned int simple_rand(void)
2695{ unsigned long __cil_tmp1 ;
2696 unsigned long __cil_tmp2 ;
2697 unsigned long __cil_tmp3 ;
2698
2699 {
2700#line 51
2701 __cil_tmp1 = next * 1103515245UL;
2702#line 51
2703 next = __cil_tmp1 + 12345UL;
2704 {
2705#line 52
2706 __cil_tmp2 = next / 65536UL;
2707#line 52
2708 __cil_tmp3 = __cil_tmp2 % 32768UL;
2709#line 52
2710 return ((unsigned int )__cil_tmp3);
2711 }
2712}
2713}
2714#line 55
2715__inline static void simple_srand(unsigned long seed ) __attribute__((__no_instrument_function__)) ;
2716#line 55 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2717__inline static void simple_srand(unsigned long seed )
2718{
2719
2720 {
2721#line 57
2722 next = seed;
2723#line 58
2724 return;
2725}
2726}
2727#line 60 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2728static void set_random_data(unsigned char *buf , size_t len )
2729{ size_t i ;
2730 unsigned int tmp___7 ;
2731 unsigned char *__cil_tmp5 ;
2732
2733 {
2734#line 64
2735 i = (size_t )0;
2736 {
2737#line 64
2738 while (1) {
2739 while_continue: ;
2740#line 64
2741 if (i < len) {
2742
2743 } else {
2744#line 64
2745 goto while_break;
2746 }
2747 {
2748#line 65
2749 tmp___7 = simple_rand();
2750#line 65
2751 __cil_tmp5 = buf + i;
2752#line 65
2753 *__cil_tmp5 = (unsigned char )tmp___7;
2754#line 64
2755 i = i + 1UL;
2756 }
2757 }
2758 while_break: ;
2759 }
2760#line 66
2761 return;
2762}
2763}
2764#line 68
2765__inline static void clear_data(unsigned char *buf , size_t len ) __attribute__((__no_instrument_function__)) ;
2766#line 68 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2767__inline static void clear_data(unsigned char *buf , size_t len )
2768{ void *__cil_tmp3 ;
2769
2770 {
2771 {
2772#line 70
2773 __cil_tmp3 = (void *)buf;
2774#line 70
2775 memset(__cil_tmp3, 0, len);
2776 }
2777#line 71
2778 return;
2779}
2780}
2781#line 73 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2782static int erase_eraseblock(int ebnum )
2783{ int err ;
2784 struct erase_info ei ;
2785 loff_t addr ;
2786 unsigned long __cil_tmp5 ;
2787 unsigned long __cil_tmp6 ;
2788 uint32_t __cil_tmp7 ;
2789 uint32_t __cil_tmp8 ;
2790 uint32_t __cil_tmp9 ;
2791 void *__cil_tmp10 ;
2792 struct erase_info *__cil_tmp11 ;
2793 unsigned long __cil_tmp12 ;
2794 unsigned long __cil_tmp13 ;
2795 unsigned long __cil_tmp14 ;
2796 unsigned long __cil_tmp15 ;
2797 uint32_t __cil_tmp16 ;
2798 unsigned long __cil_tmp17 ;
2799 u_char __cil_tmp18 ;
2800 int __cil_tmp19 ;
2801
2802 {
2803 {
2804#line 77
2805 __cil_tmp5 = (unsigned long )mtd;
2806#line 77
2807 __cil_tmp6 = __cil_tmp5 + 16;
2808#line 77
2809 __cil_tmp7 = *((uint32_t *)__cil_tmp6);
2810#line 77
2811 __cil_tmp8 = (uint32_t )ebnum;
2812#line 77
2813 __cil_tmp9 = __cil_tmp8 * __cil_tmp7;
2814#line 77
2815 addr = (loff_t )__cil_tmp9;
2816#line 79
2817 __cil_tmp10 = (void *)(& ei);
2818#line 79
2819 memset(__cil_tmp10, 0, 88UL);
2820#line 80
2821 __cil_tmp11 = & ei;
2822#line 80
2823 *((struct mtd_info **)__cil_tmp11) = mtd;
2824#line 81
2825 __cil_tmp12 = (unsigned long )(& ei) + 8;
2826#line 81
2827 *((uint64_t *)__cil_tmp12) = (uint64_t )addr;
2828#line 82
2829 __cil_tmp13 = (unsigned long )(& ei) + 16;
2830#line 82
2831 __cil_tmp14 = (unsigned long )mtd;
2832#line 82
2833 __cil_tmp15 = __cil_tmp14 + 16;
2834#line 82
2835 __cil_tmp16 = *((uint32_t *)__cil_tmp15);
2836#line 82
2837 *((uint64_t *)__cil_tmp13) = (uint64_t )__cil_tmp16;
2838#line 84
2839 err = mtd_erase(mtd, & ei);
2840 }
2841#line 85
2842 if (err) {
2843 {
2844#line 86
2845 printk("<6>mtd_subpagetest: error %d while erasing EB %d\n", err, ebnum);
2846 }
2847#line 87
2848 return (err);
2849 } else {
2850
2851 }
2852 {
2853#line 90
2854 __cil_tmp17 = (unsigned long )(& ei) + 72;
2855#line 90
2856 __cil_tmp18 = *((u_char *)__cil_tmp17);
2857#line 90
2858 __cil_tmp19 = (int )__cil_tmp18;
2859#line 90
2860 if (__cil_tmp19 == 16) {
2861 {
2862#line 91
2863 printk("<6>mtd_subpagetest: some erase error occurred at EB %d\n", ebnum);
2864 }
2865#line 93
2866 return (-5);
2867 } else {
2868
2869 }
2870 }
2871#line 96
2872 return (0);
2873}
2874}
2875#line 99 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2876static int erase_whole_device(void)
2877{ int err ;
2878 unsigned int i ;
2879 unsigned int __cil_tmp3 ;
2880 unsigned char *__cil_tmp4 ;
2881 int __cil_tmp5 ;
2882
2883 {
2884 {
2885#line 104
2886 printk("<6>mtd_subpagetest: erasing whole device\n");
2887#line 105
2888 i = 0U;
2889 }
2890 {
2891#line 105
2892 while (1) {
2893 while_continue: ;
2894 {
2895#line 105
2896 __cil_tmp3 = (unsigned int )ebcnt;
2897#line 105
2898 if (i < __cil_tmp3) {
2899
2900 } else {
2901#line 105
2902 goto while_break;
2903 }
2904 }
2905 {
2906#line 106
2907 __cil_tmp4 = bbt + i;
2908#line 106
2909 if (*__cil_tmp4) {
2910#line 107
2911 goto __Cont;
2912 } else {
2913
2914 }
2915 }
2916 {
2917#line 108
2918 __cil_tmp5 = (int )i;
2919#line 108
2920 err = erase_eraseblock(__cil_tmp5);
2921 }
2922#line 109
2923 if (err) {
2924#line 110
2925 return (err);
2926 } else {
2927
2928 }
2929 {
2930#line 111
2931 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c",
2932 111, 0);
2933#line 111
2934 _cond_resched();
2935 }
2936 __Cont:
2937#line 105
2938 i = i + 1U;
2939 }
2940 while_break: ;
2941 }
2942 {
2943#line 113
2944 printk("<6>mtd_subpagetest: erased %u eraseblocks\n", i);
2945 }
2946#line 114
2947 return (0);
2948}
2949}
2950#line 117 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
2951static int write_eraseblock(int ebnum )
2952{ size_t written ;
2953 int err ;
2954 loff_t addr ;
2955 int tmp___7 ;
2956 int tmp___8 ;
2957 long tmp___9 ;
2958 int tmp___10 ;
2959 int tmp___11 ;
2960 long tmp___12 ;
2961 unsigned long __cil_tmp11 ;
2962 unsigned long __cil_tmp12 ;
2963 uint32_t __cil_tmp13 ;
2964 uint32_t __cil_tmp14 ;
2965 uint32_t __cil_tmp15 ;
2966 size_t __cil_tmp16 ;
2967 size_t __cil_tmp17 ;
2968 u_char const *__cil_tmp18 ;
2969 size_t __cil_tmp19 ;
2970 size_t *__cil_tmp20 ;
2971 size_t __cil_tmp21 ;
2972 long __cil_tmp22 ;
2973 size_t __cil_tmp23 ;
2974 size_t *__cil_tmp24 ;
2975 size_t __cil_tmp25 ;
2976 size_t *__cil_tmp26 ;
2977 size_t __cil_tmp27 ;
2978 loff_t __cil_tmp28 ;
2979 size_t __cil_tmp29 ;
2980 size_t __cil_tmp30 ;
2981 u_char const *__cil_tmp31 ;
2982 size_t __cil_tmp32 ;
2983 size_t *__cil_tmp33 ;
2984 size_t __cil_tmp34 ;
2985 long __cil_tmp35 ;
2986 size_t __cil_tmp36 ;
2987 size_t *__cil_tmp37 ;
2988 size_t __cil_tmp38 ;
2989 size_t *__cil_tmp39 ;
2990 size_t __cil_tmp40 ;
2991
2992 {
2993 {
2994#line 120
2995 err = 0;
2996#line 121
2997 __cil_tmp11 = (unsigned long )mtd;
2998#line 121
2999 __cil_tmp12 = __cil_tmp11 + 16;
3000#line 121
3001 __cil_tmp13 = *((uint32_t *)__cil_tmp12);
3002#line 121
3003 __cil_tmp14 = (uint32_t )ebnum;
3004#line 121
3005 __cil_tmp15 = __cil_tmp14 * __cil_tmp13;
3006#line 121
3007 addr = (loff_t )__cil_tmp15;
3008#line 123
3009 __cil_tmp16 = (size_t )subpgsize;
3010#line 123
3011 set_random_data(writebuf, __cil_tmp16);
3012#line 124
3013 __cil_tmp17 = (size_t )subpgsize;
3014#line 124
3015 __cil_tmp18 = (u_char const *)writebuf;
3016#line 124
3017 err = mtd_write(mtd, addr, __cil_tmp17, & written, __cil_tmp18);
3018 }
3019#line 125
3020 if (err) {
3021#line 125
3022 tmp___8 = 1;
3023 } else {
3024 {
3025#line 125
3026 __cil_tmp19 = (size_t )subpgsize;
3027#line 125
3028 __cil_tmp20 = & written;
3029#line 125
3030 __cil_tmp21 = *__cil_tmp20;
3031#line 125
3032 if (__cil_tmp21 != __cil_tmp19) {
3033#line 125
3034 tmp___8 = 1;
3035 } else {
3036#line 125
3037 tmp___8 = 0;
3038 }
3039 }
3040 }
3041 {
3042#line 125
3043 __cil_tmp22 = (long )tmp___8;
3044#line 125
3045 tmp___9 = __builtin_expect(__cil_tmp22, 0L);
3046 }
3047#line 125
3048 if (tmp___9) {
3049 {
3050#line 126
3051 printk("<6>mtd_subpagetest: error: write failed at %#llx\n", addr);
3052 }
3053 {
3054#line 128
3055 __cil_tmp23 = (size_t )subpgsize;
3056#line 128
3057 __cil_tmp24 = & written;
3058#line 128
3059 __cil_tmp25 = *__cil_tmp24;
3060#line 128
3061 if (__cil_tmp25 != __cil_tmp23) {
3062 {
3063#line 129
3064 printk("<6>mtd_subpagetest: write size: %#x\n", subpgsize);
3065#line 130
3066 __cil_tmp26 = & written;
3067#line 130
3068 __cil_tmp27 = *__cil_tmp26;
3069#line 130
3070 printk("<6>mtd_subpagetest: written: %#zx\n", __cil_tmp27);
3071 }
3072 } else {
3073
3074 }
3075 }
3076#line 132
3077 if (err) {
3078#line 132
3079 tmp___7 = err;
3080 } else {
3081#line 132
3082 tmp___7 = -1;
3083 }
3084#line 132
3085 return (tmp___7);
3086 } else {
3087
3088 }
3089 {
3090#line 135
3091 __cil_tmp28 = (loff_t )subpgsize;
3092#line 135
3093 addr = addr + __cil_tmp28;
3094#line 137
3095 __cil_tmp29 = (size_t )subpgsize;
3096#line 137
3097 set_random_data(writebuf, __cil_tmp29);
3098#line 138
3099 __cil_tmp30 = (size_t )subpgsize;
3100#line 138
3101 __cil_tmp31 = (u_char const *)writebuf;
3102#line 138
3103 err = mtd_write(mtd, addr, __cil_tmp30, & written, __cil_tmp31);
3104 }
3105#line 139
3106 if (err) {
3107#line 139
3108 tmp___11 = 1;
3109 } else {
3110 {
3111#line 139
3112 __cil_tmp32 = (size_t )subpgsize;
3113#line 139
3114 __cil_tmp33 = & written;
3115#line 139
3116 __cil_tmp34 = *__cil_tmp33;
3117#line 139
3118 if (__cil_tmp34 != __cil_tmp32) {
3119#line 139
3120 tmp___11 = 1;
3121 } else {
3122#line 139
3123 tmp___11 = 0;
3124 }
3125 }
3126 }
3127 {
3128#line 139
3129 __cil_tmp35 = (long )tmp___11;
3130#line 139
3131 tmp___12 = __builtin_expect(__cil_tmp35, 0L);
3132 }
3133#line 139
3134 if (tmp___12) {
3135 {
3136#line 140
3137 printk("<6>mtd_subpagetest: error: write failed at %#llx\n", addr);
3138 }
3139 {
3140#line 142
3141 __cil_tmp36 = (size_t )subpgsize;
3142#line 142
3143 __cil_tmp37 = & written;
3144#line 142
3145 __cil_tmp38 = *__cil_tmp37;
3146#line 142
3147 if (__cil_tmp38 != __cil_tmp36) {
3148 {
3149#line 143
3150 printk("<6>mtd_subpagetest: write size: %#x\n", subpgsize);
3151#line 144
3152 __cil_tmp39 = & written;
3153#line 144
3154 __cil_tmp40 = *__cil_tmp39;
3155#line 144
3156 printk("<6>mtd_subpagetest: written: %#zx\n", __cil_tmp40);
3157 }
3158 } else {
3159
3160 }
3161 }
3162#line 146
3163 if (err) {
3164#line 146
3165 tmp___10 = err;
3166 } else {
3167#line 146
3168 tmp___10 = -1;
3169 }
3170#line 146
3171 return (tmp___10);
3172 } else {
3173
3174 }
3175#line 149
3176 return (err);
3177}
3178}
3179#line 152 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
3180static int write_eraseblock2(int ebnum )
3181{ size_t written ;
3182 int err ;
3183 int k ;
3184 loff_t addr ;
3185 int tmp___7 ;
3186 int tmp___8 ;
3187 long tmp___9 ;
3188 unsigned long __cil_tmp9 ;
3189 unsigned long __cil_tmp10 ;
3190 uint32_t __cil_tmp11 ;
3191 uint32_t __cil_tmp12 ;
3192 uint32_t __cil_tmp13 ;
3193 unsigned long __cil_tmp14 ;
3194 unsigned long __cil_tmp15 ;
3195 uint32_t __cil_tmp16 ;
3196 int __cil_tmp17 ;
3197 uint32_t __cil_tmp18 ;
3198 uint32_t __cil_tmp19 ;
3199 loff_t __cil_tmp20 ;
3200 int __cil_tmp21 ;
3201 loff_t __cil_tmp22 ;
3202 loff_t __cil_tmp23 ;
3203 int __cil_tmp24 ;
3204 size_t __cil_tmp25 ;
3205 int __cil_tmp26 ;
3206 size_t __cil_tmp27 ;
3207 u_char const *__cil_tmp28 ;
3208 int __cil_tmp29 ;
3209 size_t __cil_tmp30 ;
3210 size_t *__cil_tmp31 ;
3211 size_t __cil_tmp32 ;
3212 long __cil_tmp33 ;
3213 size_t __cil_tmp34 ;
3214 size_t *__cil_tmp35 ;
3215 size_t __cil_tmp36 ;
3216 int __cil_tmp37 ;
3217 size_t *__cil_tmp38 ;
3218 size_t __cil_tmp39 ;
3219 int __cil_tmp40 ;
3220 loff_t __cil_tmp41 ;
3221
3222 {
3223#line 155
3224 err = 0;
3225#line 156
3226 __cil_tmp9 = (unsigned long )mtd;
3227#line 156
3228 __cil_tmp10 = __cil_tmp9 + 16;
3229#line 156
3230 __cil_tmp11 = *((uint32_t *)__cil_tmp10);
3231#line 156
3232 __cil_tmp12 = (uint32_t )ebnum;
3233#line 156
3234 __cil_tmp13 = __cil_tmp12 * __cil_tmp11;
3235#line 156
3236 addr = (loff_t )__cil_tmp13;
3237#line 158
3238 k = 1;
3239 {
3240#line 158
3241 while (1) {
3242 while_continue: ;
3243#line 158
3244 if (k < 33) {
3245
3246 } else {
3247#line 158
3248 goto while_break;
3249 }
3250 {
3251#line 159
3252 __cil_tmp14 = (unsigned long )mtd;
3253#line 159
3254 __cil_tmp15 = __cil_tmp14 + 16;
3255#line 159
3256 __cil_tmp16 = *((uint32_t *)__cil_tmp15);
3257#line 159
3258 __cil_tmp17 = ebnum + 1;
3259#line 159
3260 __cil_tmp18 = (uint32_t )__cil_tmp17;
3261#line 159
3262 __cil_tmp19 = __cil_tmp18 * __cil_tmp16;
3263#line 159
3264 __cil_tmp20 = (loff_t )__cil_tmp19;
3265#line 159
3266 __cil_tmp21 = subpgsize * k;
3267#line 159
3268 __cil_tmp22 = (loff_t )__cil_tmp21;
3269#line 159
3270 __cil_tmp23 = addr + __cil_tmp22;
3271#line 159
3272 if (__cil_tmp23 > __cil_tmp20) {
3273#line 160
3274 goto while_break;
3275 } else {
3276
3277 }
3278 }
3279 {
3280#line 161
3281 __cil_tmp24 = subpgsize * k;
3282#line 161
3283 __cil_tmp25 = (size_t )__cil_tmp24;
3284#line 161
3285 set_random_data(writebuf, __cil_tmp25);
3286#line 162
3287 __cil_tmp26 = subpgsize * k;
3288#line 162
3289 __cil_tmp27 = (size_t )__cil_tmp26;
3290#line 162
3291 __cil_tmp28 = (u_char const *)writebuf;
3292#line 162
3293 err = mtd_write(mtd, addr, __cil_tmp27, & written, __cil_tmp28);
3294 }
3295#line 163
3296 if (err) {
3297#line 163
3298 tmp___8 = 1;
3299 } else {
3300 {
3301#line 163
3302 __cil_tmp29 = subpgsize * k;
3303#line 163
3304 __cil_tmp30 = (size_t )__cil_tmp29;
3305#line 163
3306 __cil_tmp31 = & written;
3307#line 163
3308 __cil_tmp32 = *__cil_tmp31;
3309#line 163
3310 if (__cil_tmp32 != __cil_tmp30) {
3311#line 163
3312 tmp___8 = 1;
3313 } else {
3314#line 163
3315 tmp___8 = 0;
3316 }
3317 }
3318 }
3319 {
3320#line 163
3321 __cil_tmp33 = (long )tmp___8;
3322#line 163
3323 tmp___9 = __builtin_expect(__cil_tmp33, 0L);
3324 }
3325#line 163
3326 if (tmp___9) {
3327 {
3328#line 164
3329 printk("<6>mtd_subpagetest: error: write failed at %#llx\n", addr);
3330 }
3331 {
3332#line 166
3333 __cil_tmp34 = (size_t )subpgsize;
3334#line 166
3335 __cil_tmp35 = & written;
3336#line 166
3337 __cil_tmp36 = *__cil_tmp35;
3338#line 166
3339 if (__cil_tmp36 != __cil_tmp34) {
3340 {
3341#line 167
3342 __cil_tmp37 = subpgsize * k;
3343#line 167
3344 printk("<6>mtd_subpagetest: write size: %#x\n", __cil_tmp37);
3345#line 169
3346 __cil_tmp38 = & written;
3347#line 169
3348 __cil_tmp39 = *__cil_tmp38;
3349#line 169
3350 printk("<6>mtd_subpagetest: written: %#08zx\n", __cil_tmp39);
3351 }
3352 } else {
3353
3354 }
3355 }
3356#line 172
3357 if (err) {
3358#line 172
3359 tmp___7 = err;
3360 } else {
3361#line 172
3362 tmp___7 = -1;
3363 }
3364#line 172
3365 return (tmp___7);
3366 } else {
3367
3368 }
3369#line 174
3370 __cil_tmp40 = subpgsize * k;
3371#line 174
3372 __cil_tmp41 = (loff_t )__cil_tmp40;
3373#line 174
3374 addr = addr + __cil_tmp41;
3375#line 158
3376 k = k + 1;
3377 }
3378 while_break: ;
3379 }
3380#line 177
3381 return (err);
3382}
3383}
3384#line 180 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
3385static void print_subpage(unsigned char *p )
3386{ int i ;
3387 int j ;
3388 unsigned char *tmp___7 ;
3389 unsigned char __cil_tmp5 ;
3390 int __cil_tmp6 ;
3391
3392 {
3393#line 184
3394 i = 0;
3395 {
3396#line 184
3397 while (1) {
3398 while_continue: ;
3399#line 184
3400 if (i < subpgsize) {
3401
3402 } else {
3403#line 184
3404 goto while_break;
3405 }
3406#line 185
3407 j = 0;
3408 {
3409#line 185
3410 while (1) {
3411 while_continue___0: ;
3412#line 185
3413 if (i < subpgsize) {
3414#line 185
3415 if (j < 32) {
3416
3417 } else {
3418#line 185
3419 goto while_break___0;
3420 }
3421 } else {
3422#line 185
3423 goto while_break___0;
3424 }
3425 {
3426#line 186
3427 tmp___7 = p;
3428#line 186
3429 p = p + 1;
3430#line 186
3431 __cil_tmp5 = *tmp___7;
3432#line 186
3433 __cil_tmp6 = (int )__cil_tmp5;
3434#line 186
3435 printk("%02x", __cil_tmp6);
3436#line 185
3437 i = i + 1;
3438#line 185
3439 j = j + 1;
3440 }
3441 }
3442 while_break___0: ;
3443 }
3444 {
3445#line 187
3446 printk("\n");
3447 }
3448 }
3449 while_break: ;
3450 }
3451#line 189
3452 return;
3453}
3454}
3455#line 191 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
3456static int verify_eraseblock(int ebnum )
3457{ size_t read ;
3458 int err ;
3459 loff_t addr ;
3460 int tmp___7 ;
3461 int tmp___8 ;
3462 int tmp___9 ;
3463 long tmp___10 ;
3464 int tmp___11 ;
3465 int tmp___12 ;
3466 long tmp___13 ;
3467 int tmp___14 ;
3468 int tmp___15 ;
3469 int tmp___16 ;
3470 long tmp___17 ;
3471 int tmp___18 ;
3472 int tmp___19 ;
3473 long tmp___20 ;
3474 unsigned long __cil_tmp19 ;
3475 unsigned long __cil_tmp20 ;
3476 uint32_t __cil_tmp21 ;
3477 uint32_t __cil_tmp22 ;
3478 uint32_t __cil_tmp23 ;
3479 size_t __cil_tmp24 ;
3480 size_t __cil_tmp25 ;
3481 size_t __cil_tmp26 ;
3482 size_t __cil_tmp27 ;
3483 size_t *__cil_tmp28 ;
3484 size_t __cil_tmp29 ;
3485 long __cil_tmp30 ;
3486 size_t __cil_tmp31 ;
3487 size_t *__cil_tmp32 ;
3488 size_t __cil_tmp33 ;
3489 void const *__cil_tmp34 ;
3490 void const *__cil_tmp35 ;
3491 unsigned long __cil_tmp36 ;
3492 long __cil_tmp37 ;
3493 loff_t __cil_tmp38 ;
3494 size_t __cil_tmp39 ;
3495 size_t __cil_tmp40 ;
3496 size_t __cil_tmp41 ;
3497 size_t __cil_tmp42 ;
3498 size_t *__cil_tmp43 ;
3499 size_t __cil_tmp44 ;
3500 long __cil_tmp45 ;
3501 size_t __cil_tmp46 ;
3502 size_t *__cil_tmp47 ;
3503 size_t __cil_tmp48 ;
3504 void const *__cil_tmp49 ;
3505 void const *__cil_tmp50 ;
3506 unsigned long __cil_tmp51 ;
3507 long __cil_tmp52 ;
3508
3509 {
3510 {
3511#line 194
3512 err = 0;
3513#line 195
3514 __cil_tmp19 = (unsigned long )mtd;
3515#line 195
3516 __cil_tmp20 = __cil_tmp19 + 16;
3517#line 195
3518 __cil_tmp21 = *((uint32_t *)__cil_tmp20);
3519#line 195
3520 __cil_tmp22 = (uint32_t )ebnum;
3521#line 195
3522 __cil_tmp23 = __cil_tmp22 * __cil_tmp21;
3523#line 195
3524 addr = (loff_t )__cil_tmp23;
3525#line 197
3526 __cil_tmp24 = (size_t )subpgsize;
3527#line 197
3528 set_random_data(writebuf, __cil_tmp24);
3529#line 198
3530 __cil_tmp25 = (size_t )subpgsize;
3531#line 198
3532 clear_data(readbuf, __cil_tmp25);
3533#line 199
3534 __cil_tmp26 = (size_t )subpgsize;
3535#line 199
3536 err = mtd_read(mtd, addr, __cil_tmp26, & read, readbuf);
3537 }
3538#line 200
3539 if (err) {
3540#line 200
3541 tmp___9 = 1;
3542 } else {
3543 {
3544#line 200
3545 __cil_tmp27 = (size_t )subpgsize;
3546#line 200
3547 __cil_tmp28 = & read;
3548#line 200
3549 __cil_tmp29 = *__cil_tmp28;
3550#line 200
3551 if (__cil_tmp29 != __cil_tmp27) {
3552#line 200
3553 tmp___9 = 1;
3554 } else {
3555#line 200
3556 tmp___9 = 0;
3557 }
3558 }
3559 }
3560 {
3561#line 200
3562 __cil_tmp30 = (long )tmp___9;
3563#line 200
3564 tmp___10 = __builtin_expect(__cil_tmp30, 0L);
3565 }
3566#line 200
3567 if (tmp___10) {
3568 {
3569#line 201
3570 tmp___8 = mtd_is_bitflip(err);
3571 }
3572#line 201
3573 if (tmp___8) {
3574 {
3575#line 201
3576 __cil_tmp31 = (size_t )subpgsize;
3577#line 201
3578 __cil_tmp32 = & read;
3579#line 201
3580 __cil_tmp33 = *__cil_tmp32;
3581#line 201
3582 if (__cil_tmp33 == __cil_tmp31) {
3583 {
3584#line 202
3585 printk("<6>mtd_subpagetest: ECC correction at %#llx\n", addr);
3586#line 204
3587 err = 0;
3588 }
3589 } else {
3590#line 201
3591 goto _L;
3592 }
3593 }
3594 } else {
3595 _L:
3596 {
3597#line 206
3598 printk("<6>mtd_subpagetest: error: read failed at %#llx\n", addr);
3599 }
3600#line 208
3601 if (err) {
3602#line 208
3603 tmp___7 = err;
3604 } else {
3605#line 208
3606 tmp___7 = -1;
3607 }
3608#line 208
3609 return (tmp___7);
3610 }
3611 } else {
3612
3613 }
3614 {
3615#line 211
3616 __cil_tmp34 = (void const *)readbuf;
3617#line 211
3618 __cil_tmp35 = (void const *)writebuf;
3619#line 211
3620 __cil_tmp36 = (unsigned long )subpgsize;
3621#line 211
3622 tmp___11 = memcmp(__cil_tmp34, __cil_tmp35, __cil_tmp36);
3623 }
3624#line 211
3625 if (tmp___11) {
3626#line 211
3627 tmp___12 = 1;
3628 } else {
3629#line 211
3630 tmp___12 = 0;
3631 }
3632 {
3633#line 211
3634 __cil_tmp37 = (long )tmp___12;
3635#line 211
3636 tmp___13 = __builtin_expect(__cil_tmp37, 0L);
3637 }
3638#line 211
3639 if (tmp___13) {
3640 {
3641#line 212
3642 printk("<6>mtd_subpagetest: error: verify failed at %#llx\n", addr);
3643#line 214
3644 printk("<6>mtd_subpagetest: ------------- written----------------\n");
3645#line 215
3646 print_subpage(writebuf);
3647#line 216
3648 printk("<6>mtd_subpagetest: ------------- read ------------------\n");
3649#line 217
3650 print_subpage(readbuf);
3651#line 218
3652 printk("<6>mtd_subpagetest: -------------------------------------\n");
3653#line 219
3654 errcnt = errcnt + 1;
3655 }
3656 } else {
3657
3658 }
3659 {
3660#line 222
3661 __cil_tmp38 = (loff_t )subpgsize;
3662#line 222
3663 addr = addr + __cil_tmp38;
3664#line 224
3665 __cil_tmp39 = (size_t )subpgsize;
3666#line 224
3667 set_random_data(writebuf, __cil_tmp39);
3668#line 225
3669 __cil_tmp40 = (size_t )subpgsize;
3670#line 225
3671 clear_data(readbuf, __cil_tmp40);
3672#line 226
3673 __cil_tmp41 = (size_t )subpgsize;
3674#line 226
3675 err = mtd_read(mtd, addr, __cil_tmp41, & read, readbuf);
3676 }
3677#line 227
3678 if (err) {
3679#line 227
3680 tmp___16 = 1;
3681 } else {
3682 {
3683#line 227
3684 __cil_tmp42 = (size_t )subpgsize;
3685#line 227
3686 __cil_tmp43 = & read;
3687#line 227
3688 __cil_tmp44 = *__cil_tmp43;
3689#line 227
3690 if (__cil_tmp44 != __cil_tmp42) {
3691#line 227
3692 tmp___16 = 1;
3693 } else {
3694#line 227
3695 tmp___16 = 0;
3696 }
3697 }
3698 }
3699 {
3700#line 227
3701 __cil_tmp45 = (long )tmp___16;
3702#line 227
3703 tmp___17 = __builtin_expect(__cil_tmp45, 0L);
3704 }
3705#line 227
3706 if (tmp___17) {
3707 {
3708#line 228
3709 tmp___15 = mtd_is_bitflip(err);
3710 }
3711#line 228
3712 if (tmp___15) {
3713 {
3714#line 228
3715 __cil_tmp46 = (size_t )subpgsize;
3716#line 228
3717 __cil_tmp47 = & read;
3718#line 228
3719 __cil_tmp48 = *__cil_tmp47;
3720#line 228
3721 if (__cil_tmp48 == __cil_tmp46) {
3722 {
3723#line 229
3724 printk("<6>mtd_subpagetest: ECC correction at %#llx\n", addr);
3725#line 231
3726 err = 0;
3727 }
3728 } else {
3729#line 228
3730 goto _L___0;
3731 }
3732 }
3733 } else {
3734 _L___0:
3735 {
3736#line 233
3737 printk("<6>mtd_subpagetest: error: read failed at %#llx\n", addr);
3738 }
3739#line 235
3740 if (err) {
3741#line 235
3742 tmp___14 = err;
3743 } else {
3744#line 235
3745 tmp___14 = -1;
3746 }
3747#line 235
3748 return (tmp___14);
3749 }
3750 } else {
3751
3752 }
3753 {
3754#line 238
3755 __cil_tmp49 = (void const *)readbuf;
3756#line 238
3757 __cil_tmp50 = (void const *)writebuf;
3758#line 238
3759 __cil_tmp51 = (unsigned long )subpgsize;
3760#line 238
3761 tmp___18 = memcmp(__cil_tmp49, __cil_tmp50, __cil_tmp51);
3762 }
3763#line 238
3764 if (tmp___18) {
3765#line 238
3766 tmp___19 = 1;
3767 } else {
3768#line 238
3769 tmp___19 = 0;
3770 }
3771 {
3772#line 238
3773 __cil_tmp52 = (long )tmp___19;
3774#line 238
3775 tmp___20 = __builtin_expect(__cil_tmp52, 0L);
3776 }
3777#line 238
3778 if (tmp___20) {
3779 {
3780#line 239
3781 printk("<6>mtd_subpagetest: error: verify failed at %#llx\n", addr);
3782#line 241
3783 printk("<6>mtd_subpagetest: ------------- written----------------\n");
3784#line 242
3785 print_subpage(writebuf);
3786#line 243
3787 printk("<6>mtd_subpagetest: ------------- read ------------------\n");
3788#line 244
3789 print_subpage(readbuf);
3790#line 245
3791 printk("<6>mtd_subpagetest: -------------------------------------\n");
3792#line 246
3793 errcnt = errcnt + 1;
3794 }
3795 } else {
3796
3797 }
3798#line 249
3799 return (err);
3800}
3801}
3802#line 252 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
3803static int verify_eraseblock2(int ebnum )
3804{ size_t read ;
3805 int err ;
3806 int k ;
3807 loff_t addr ;
3808 int tmp___7 ;
3809 int tmp___8 ;
3810 int tmp___9 ;
3811 long tmp___10 ;
3812 int tmp___11 ;
3813 int tmp___12 ;
3814 long tmp___13 ;
3815 unsigned long __cil_tmp13 ;
3816 unsigned long __cil_tmp14 ;
3817 uint32_t __cil_tmp15 ;
3818 uint32_t __cil_tmp16 ;
3819 uint32_t __cil_tmp17 ;
3820 unsigned long __cil_tmp18 ;
3821 unsigned long __cil_tmp19 ;
3822 uint32_t __cil_tmp20 ;
3823 int __cil_tmp21 ;
3824 uint32_t __cil_tmp22 ;
3825 uint32_t __cil_tmp23 ;
3826 loff_t __cil_tmp24 ;
3827 int __cil_tmp25 ;
3828 loff_t __cil_tmp26 ;
3829 loff_t __cil_tmp27 ;
3830 int __cil_tmp28 ;
3831 size_t __cil_tmp29 ;
3832 int __cil_tmp30 ;
3833 size_t __cil_tmp31 ;
3834 int __cil_tmp32 ;
3835 size_t __cil_tmp33 ;
3836 int __cil_tmp34 ;
3837 size_t __cil_tmp35 ;
3838 size_t *__cil_tmp36 ;
3839 size_t __cil_tmp37 ;
3840 long __cil_tmp38 ;
3841 int __cil_tmp39 ;
3842 size_t __cil_tmp40 ;
3843 size_t *__cil_tmp41 ;
3844 size_t __cil_tmp42 ;
3845 void const *__cil_tmp43 ;
3846 void const *__cil_tmp44 ;
3847 int __cil_tmp45 ;
3848 unsigned long __cil_tmp46 ;
3849 long __cil_tmp47 ;
3850 int __cil_tmp48 ;
3851 loff_t __cil_tmp49 ;
3852
3853 {
3854#line 255
3855 err = 0;
3856#line 256
3857 __cil_tmp13 = (unsigned long )mtd;
3858#line 256
3859 __cil_tmp14 = __cil_tmp13 + 16;
3860#line 256
3861 __cil_tmp15 = *((uint32_t *)__cil_tmp14);
3862#line 256
3863 __cil_tmp16 = (uint32_t )ebnum;
3864#line 256
3865 __cil_tmp17 = __cil_tmp16 * __cil_tmp15;
3866#line 256
3867 addr = (loff_t )__cil_tmp17;
3868#line 258
3869 k = 1;
3870 {
3871#line 258
3872 while (1) {
3873 while_continue: ;
3874#line 258
3875 if (k < 33) {
3876
3877 } else {
3878#line 258
3879 goto while_break;
3880 }
3881 {
3882#line 259
3883 __cil_tmp18 = (unsigned long )mtd;
3884#line 259
3885 __cil_tmp19 = __cil_tmp18 + 16;
3886#line 259
3887 __cil_tmp20 = *((uint32_t *)__cil_tmp19);
3888#line 259
3889 __cil_tmp21 = ebnum + 1;
3890#line 259
3891 __cil_tmp22 = (uint32_t )__cil_tmp21;
3892#line 259
3893 __cil_tmp23 = __cil_tmp22 * __cil_tmp20;
3894#line 259
3895 __cil_tmp24 = (loff_t )__cil_tmp23;
3896#line 259
3897 __cil_tmp25 = subpgsize * k;
3898#line 259
3899 __cil_tmp26 = (loff_t )__cil_tmp25;
3900#line 259
3901 __cil_tmp27 = addr + __cil_tmp26;
3902#line 259
3903 if (__cil_tmp27 > __cil_tmp24) {
3904#line 260
3905 goto while_break;
3906 } else {
3907
3908 }
3909 }
3910 {
3911#line 261
3912 __cil_tmp28 = subpgsize * k;
3913#line 261
3914 __cil_tmp29 = (size_t )__cil_tmp28;
3915#line 261
3916 set_random_data(writebuf, __cil_tmp29);
3917#line 262
3918 __cil_tmp30 = subpgsize * k;
3919#line 262
3920 __cil_tmp31 = (size_t )__cil_tmp30;
3921#line 262
3922 clear_data(readbuf, __cil_tmp31);
3923#line 263
3924 __cil_tmp32 = subpgsize * k;
3925#line 263
3926 __cil_tmp33 = (size_t )__cil_tmp32;
3927#line 263
3928 err = mtd_read(mtd, addr, __cil_tmp33, & read, readbuf);
3929 }
3930#line 264
3931 if (err) {
3932#line 264
3933 tmp___9 = 1;
3934 } else {
3935 {
3936#line 264
3937 __cil_tmp34 = subpgsize * k;
3938#line 264
3939 __cil_tmp35 = (size_t )__cil_tmp34;
3940#line 264
3941 __cil_tmp36 = & read;
3942#line 264
3943 __cil_tmp37 = *__cil_tmp36;
3944#line 264
3945 if (__cil_tmp37 != __cil_tmp35) {
3946#line 264
3947 tmp___9 = 1;
3948 } else {
3949#line 264
3950 tmp___9 = 0;
3951 }
3952 }
3953 }
3954 {
3955#line 264
3956 __cil_tmp38 = (long )tmp___9;
3957#line 264
3958 tmp___10 = __builtin_expect(__cil_tmp38, 0L);
3959 }
3960#line 264
3961 if (tmp___10) {
3962 {
3963#line 265
3964 tmp___8 = mtd_is_bitflip(err);
3965 }
3966#line 265
3967 if (tmp___8) {
3968 {
3969#line 265
3970 __cil_tmp39 = subpgsize * k;
3971#line 265
3972 __cil_tmp40 = (size_t )__cil_tmp39;
3973#line 265
3974 __cil_tmp41 = & read;
3975#line 265
3976 __cil_tmp42 = *__cil_tmp41;
3977#line 265
3978 if (__cil_tmp42 == __cil_tmp40) {
3979 {
3980#line 266
3981 printk("<6>mtd_subpagetest: ECC correction at %#llx\n", addr);
3982#line 268
3983 err = 0;
3984 }
3985 } else {
3986#line 265
3987 goto _L;
3988 }
3989 }
3990 } else {
3991 _L:
3992 {
3993#line 270
3994 printk("<6>mtd_subpagetest: error: read failed at %#llx\n", addr);
3995 }
3996#line 272
3997 if (err) {
3998#line 272
3999 tmp___7 = err;
4000 } else {
4001#line 272
4002 tmp___7 = -1;
4003 }
4004#line 272
4005 return (tmp___7);
4006 }
4007 } else {
4008
4009 }
4010 {
4011#line 275
4012 __cil_tmp43 = (void const *)readbuf;
4013#line 275
4014 __cil_tmp44 = (void const *)writebuf;
4015#line 275
4016 __cil_tmp45 = subpgsize * k;
4017#line 275
4018 __cil_tmp46 = (unsigned long )__cil_tmp45;
4019#line 275
4020 tmp___11 = memcmp(__cil_tmp43, __cil_tmp44, __cil_tmp46);
4021 }
4022#line 275
4023 if (tmp___11) {
4024#line 275
4025 tmp___12 = 1;
4026 } else {
4027#line 275
4028 tmp___12 = 0;
4029 }
4030 {
4031#line 275
4032 __cil_tmp47 = (long )tmp___12;
4033#line 275
4034 tmp___13 = __builtin_expect(__cil_tmp47, 0L);
4035 }
4036#line 275
4037 if (tmp___13) {
4038 {
4039#line 276
4040 printk("<6>mtd_subpagetest: error: verify failed at %#llx\n", addr);
4041#line 278
4042 errcnt = errcnt + 1;
4043 }
4044 } else {
4045
4046 }
4047#line 280
4048 __cil_tmp48 = subpgsize * k;
4049#line 280
4050 __cil_tmp49 = (loff_t )__cil_tmp48;
4051#line 280
4052 addr = addr + __cil_tmp49;
4053#line 258
4054 k = k + 1;
4055 }
4056 while_break: ;
4057 }
4058#line 283
4059 return (err);
4060}
4061}
4062#line 286 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
4063static int verify_eraseblock_ff(int ebnum )
4064{ uint32_t j ;
4065 size_t read ;
4066 int err ;
4067 loff_t addr ;
4068 int tmp___7 ;
4069 int tmp___8 ;
4070 int tmp___9 ;
4071 long tmp___10 ;
4072 int tmp___11 ;
4073 int tmp___12 ;
4074 long tmp___13 ;
4075 unsigned long __cil_tmp13 ;
4076 unsigned long __cil_tmp14 ;
4077 uint32_t __cil_tmp15 ;
4078 uint32_t __cil_tmp16 ;
4079 uint32_t __cil_tmp17 ;
4080 void *__cil_tmp18 ;
4081 size_t __cil_tmp19 ;
4082 uint32_t __cil_tmp20 ;
4083 unsigned long __cil_tmp21 ;
4084 unsigned long __cil_tmp22 ;
4085 uint32_t __cil_tmp23 ;
4086 uint32_t __cil_tmp24 ;
4087 size_t __cil_tmp25 ;
4088 size_t __cil_tmp26 ;
4089 size_t __cil_tmp27 ;
4090 size_t *__cil_tmp28 ;
4091 size_t __cil_tmp29 ;
4092 long __cil_tmp30 ;
4093 size_t __cil_tmp31 ;
4094 size_t *__cil_tmp32 ;
4095 size_t __cil_tmp33 ;
4096 void const *__cil_tmp34 ;
4097 void const *__cil_tmp35 ;
4098 unsigned long __cil_tmp36 ;
4099 long __cil_tmp37 ;
4100 loff_t __cil_tmp38 ;
4101
4102 {
4103 {
4104#line 290
4105 err = 0;
4106#line 291
4107 __cil_tmp13 = (unsigned long )mtd;
4108#line 291
4109 __cil_tmp14 = __cil_tmp13 + 16;
4110#line 291
4111 __cil_tmp15 = *((uint32_t *)__cil_tmp14);
4112#line 291
4113 __cil_tmp16 = (uint32_t )ebnum;
4114#line 291
4115 __cil_tmp17 = __cil_tmp16 * __cil_tmp15;
4116#line 291
4117 addr = (loff_t )__cil_tmp17;
4118#line 293
4119 __cil_tmp18 = (void *)writebuf;
4120#line 293
4121 __cil_tmp19 = (size_t )subpgsize;
4122#line 293
4123 memset(__cil_tmp18, 255, __cil_tmp19);
4124#line 294
4125 j = (uint32_t )0;
4126 }
4127 {
4128#line 294
4129 while (1) {
4130 while_continue: ;
4131 {
4132#line 294
4133 __cil_tmp20 = (uint32_t )subpgsize;
4134#line 294
4135 __cil_tmp21 = (unsigned long )mtd;
4136#line 294
4137 __cil_tmp22 = __cil_tmp21 + 16;
4138#line 294
4139 __cil_tmp23 = *((uint32_t *)__cil_tmp22);
4140#line 294
4141 __cil_tmp24 = __cil_tmp23 / __cil_tmp20;
4142#line 294
4143 if (j < __cil_tmp24) {
4144
4145 } else {
4146#line 294
4147 goto while_break;
4148 }
4149 }
4150 {
4151#line 295
4152 __cil_tmp25 = (size_t )subpgsize;
4153#line 295
4154 clear_data(readbuf, __cil_tmp25);
4155#line 296
4156 __cil_tmp26 = (size_t )subpgsize;
4157#line 296
4158 err = mtd_read(mtd, addr, __cil_tmp26, & read, readbuf);
4159 }
4160#line 297
4161 if (err) {
4162#line 297
4163 tmp___9 = 1;
4164 } else {
4165 {
4166#line 297
4167 __cil_tmp27 = (size_t )subpgsize;
4168#line 297
4169 __cil_tmp28 = & read;
4170#line 297
4171 __cil_tmp29 = *__cil_tmp28;
4172#line 297
4173 if (__cil_tmp29 != __cil_tmp27) {
4174#line 297
4175 tmp___9 = 1;
4176 } else {
4177#line 297
4178 tmp___9 = 0;
4179 }
4180 }
4181 }
4182 {
4183#line 297
4184 __cil_tmp30 = (long )tmp___9;
4185#line 297
4186 tmp___10 = __builtin_expect(__cil_tmp30, 0L);
4187 }
4188#line 297
4189 if (tmp___10) {
4190 {
4191#line 298
4192 tmp___8 = mtd_is_bitflip(err);
4193 }
4194#line 298
4195 if (tmp___8) {
4196 {
4197#line 298
4198 __cil_tmp31 = (size_t )subpgsize;
4199#line 298
4200 __cil_tmp32 = & read;
4201#line 298
4202 __cil_tmp33 = *__cil_tmp32;
4203#line 298
4204 if (__cil_tmp33 == __cil_tmp31) {
4205 {
4206#line 299
4207 printk("<6>mtd_subpagetest: ECC correction at %#llx\n", addr);
4208#line 301
4209 err = 0;
4210 }
4211 } else {
4212#line 298
4213 goto _L;
4214 }
4215 }
4216 } else {
4217 _L:
4218 {
4219#line 303
4220 printk("<6>mtd_subpagetest: error: read failed at %#llx\n", addr);
4221 }
4222#line 305
4223 if (err) {
4224#line 305
4225 tmp___7 = err;
4226 } else {
4227#line 305
4228 tmp___7 = -1;
4229 }
4230#line 305
4231 return (tmp___7);
4232 }
4233 } else {
4234
4235 }
4236 {
4237#line 308
4238 __cil_tmp34 = (void const *)readbuf;
4239#line 308
4240 __cil_tmp35 = (void const *)writebuf;
4241#line 308
4242 __cil_tmp36 = (unsigned long )subpgsize;
4243#line 308
4244 tmp___11 = memcmp(__cil_tmp34, __cil_tmp35, __cil_tmp36);
4245 }
4246#line 308
4247 if (tmp___11) {
4248#line 308
4249 tmp___12 = 1;
4250 } else {
4251#line 308
4252 tmp___12 = 0;
4253 }
4254 {
4255#line 308
4256 __cil_tmp37 = (long )tmp___12;
4257#line 308
4258 tmp___13 = __builtin_expect(__cil_tmp37, 0L);
4259 }
4260#line 308
4261 if (tmp___13) {
4262 {
4263#line 309
4264 printk("<6>mtd_subpagetest: error: verify 0xff failed at %#llx\n", addr);
4265#line 311
4266 errcnt = errcnt + 1;
4267 }
4268 } else {
4269
4270 }
4271#line 313
4272 __cil_tmp38 = (loff_t )subpgsize;
4273#line 313
4274 addr = addr + __cil_tmp38;
4275#line 294
4276 j = j + 1U;
4277 }
4278 while_break: ;
4279 }
4280#line 316
4281 return (err);
4282}
4283}
4284#line 319 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
4285static int verify_all_eraseblocks_ff(void)
4286{ int err ;
4287 unsigned int i ;
4288 unsigned int __cil_tmp3 ;
4289 unsigned char *__cil_tmp4 ;
4290 int __cil_tmp5 ;
4291 unsigned int __cil_tmp6 ;
4292
4293 {
4294 {
4295#line 324
4296 printk("<6>mtd_subpagetest: verifying all eraseblocks for 0xff\n");
4297#line 325
4298 i = 0U;
4299 }
4300 {
4301#line 325
4302 while (1) {
4303 while_continue: ;
4304 {
4305#line 325
4306 __cil_tmp3 = (unsigned int )ebcnt;
4307#line 325
4308 if (i < __cil_tmp3) {
4309
4310 } else {
4311#line 325
4312 goto while_break;
4313 }
4314 }
4315 {
4316#line 326
4317 __cil_tmp4 = bbt + i;
4318#line 326
4319 if (*__cil_tmp4) {
4320#line 327
4321 goto __Cont;
4322 } else {
4323
4324 }
4325 }
4326 {
4327#line 328
4328 __cil_tmp5 = (int )i;
4329#line 328
4330 err = verify_eraseblock_ff(__cil_tmp5);
4331 }
4332#line 329
4333 if (err) {
4334#line 330
4335 return (err);
4336 } else {
4337
4338 }
4339 {
4340#line 331
4341 __cil_tmp6 = i % 256U;
4342#line 331
4343 if (__cil_tmp6 == 0U) {
4344 {
4345#line 332
4346 printk("<6>mtd_subpagetest: verified up to eraseblock %u\n", i);
4347 }
4348 } else {
4349
4350 }
4351 }
4352 {
4353#line 333
4354 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c",
4355 333, 0);
4356#line 333
4357 _cond_resched();
4358 }
4359 __Cont:
4360#line 325
4361 i = i + 1U;
4362 }
4363 while_break: ;
4364 }
4365 {
4366#line 335
4367 printk("<6>mtd_subpagetest: verified %u eraseblocks\n", i);
4368 }
4369#line 336
4370 return (0);
4371}
4372}
4373#line 339 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
4374static int is_block_bad(int ebnum )
4375{ loff_t addr ;
4376 int ret ;
4377 unsigned long __cil_tmp4 ;
4378 unsigned long __cil_tmp5 ;
4379 uint32_t __cil_tmp6 ;
4380 uint32_t __cil_tmp7 ;
4381 uint32_t __cil_tmp8 ;
4382
4383 {
4384 {
4385#line 341
4386 __cil_tmp4 = (unsigned long )mtd;
4387#line 341
4388 __cil_tmp5 = __cil_tmp4 + 16;
4389#line 341
4390 __cil_tmp6 = *((uint32_t *)__cil_tmp5);
4391#line 341
4392 __cil_tmp7 = (uint32_t )ebnum;
4393#line 341
4394 __cil_tmp8 = __cil_tmp7 * __cil_tmp6;
4395#line 341
4396 addr = (loff_t )__cil_tmp8;
4397#line 344
4398 ret = mtd_block_isbad(mtd, addr);
4399 }
4400#line 345
4401 if (ret) {
4402 {
4403#line 346
4404 printk("<6>mtd_subpagetest: block %d is bad\n", ebnum);
4405 }
4406 } else {
4407
4408 }
4409#line 347
4410 return (ret);
4411}
4412}
4413#line 350 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
4414static int scan_for_bad_eraseblocks(void)
4415{ int i ;
4416 int bad ;
4417 void *tmp___7 ;
4418 int tmp___9 ;
4419 size_t __cil_tmp6 ;
4420 unsigned char *__cil_tmp7 ;
4421 unsigned char *__cil_tmp8 ;
4422 unsigned char *__cil_tmp9 ;
4423
4424 {
4425 {
4426#line 352
4427 bad = 0;
4428#line 354
4429 __cil_tmp6 = (size_t )ebcnt;
4430#line 354
4431 tmp___7 = kzalloc(__cil_tmp6, 208U);
4432#line 354
4433 bbt = (unsigned char *)tmp___7;
4434 }
4435#line 355
4436 if (! bbt) {
4437 {
4438#line 356
4439 printk("<6>mtd_subpagetest: error: cannot allocate memory\n");
4440 }
4441#line 357
4442 return (-12);
4443 } else {
4444
4445 }
4446 {
4447#line 360
4448 printk("<6>mtd_subpagetest: scanning for bad eraseblocks\n");
4449#line 361
4450 i = 0;
4451 }
4452 {
4453#line 361
4454 while (1) {
4455 while_continue: ;
4456#line 361
4457 if (i < ebcnt) {
4458
4459 } else {
4460#line 361
4461 goto while_break;
4462 }
4463 {
4464#line 362
4465 tmp___9 = is_block_bad(i);
4466 }
4467#line 362
4468 if (tmp___9) {
4469#line 362
4470 __cil_tmp7 = bbt + i;
4471#line 362
4472 *__cil_tmp7 = (unsigned char)1;
4473 } else {
4474#line 362
4475 __cil_tmp8 = bbt + i;
4476#line 362
4477 *__cil_tmp8 = (unsigned char)0;
4478 }
4479 {
4480#line 363
4481 __cil_tmp9 = bbt + i;
4482#line 363
4483 if (*__cil_tmp9) {
4484#line 364
4485 bad = bad + 1;
4486 } else {
4487
4488 }
4489 }
4490 {
4491#line 365
4492 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c",
4493 365, 0);
4494#line 365
4495 _cond_resched();
4496#line 361
4497 i = i + 1;
4498 }
4499 }
4500 while_break: ;
4501 }
4502 {
4503#line 367
4504 printk("<6>mtd_subpagetest: scanned %d eraseblocks, %d are bad\n", i, bad);
4505 }
4506#line 368
4507 return (0);
4508}
4509}
4510#line 371
4511static int mtd_subpagetest_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4512#line 371 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
4513static int mtd_subpagetest_init(void)
4514{ int err ;
4515 uint32_t i ;
4516 uint64_t tmp___7 ;
4517 long tmp___8 ;
4518 long tmp___9 ;
4519 uint32_t __base ;
4520 uint32_t __rem ;
4521 void *tmp___10 ;
4522 void *tmp___11 ;
4523 long tmp___12 ;
4524 long tmp___13 ;
4525 long tmp___14 ;
4526 long tmp___15 ;
4527 int *__cil_tmp14 ;
4528 int __cil_tmp15 ;
4529 int *__cil_tmp16 ;
4530 int __cil_tmp17 ;
4531 void *__cil_tmp18 ;
4532 struct mtd_info *__cil_tmp19 ;
4533 int *__cil_tmp20 ;
4534 int __cil_tmp21 ;
4535 void const *__cil_tmp22 ;
4536 void const *__cil_tmp23 ;
4537 u_char __cil_tmp24 ;
4538 int __cil_tmp25 ;
4539 unsigned long __cil_tmp26 ;
4540 unsigned long __cil_tmp27 ;
4541 int __cil_tmp28 ;
4542 unsigned long __cil_tmp29 ;
4543 unsigned long __cil_tmp30 ;
4544 uint32_t __cil_tmp31 ;
4545 uint32_t __cil_tmp32 ;
4546 unsigned long __cil_tmp33 ;
4547 unsigned long __cil_tmp34 ;
4548 unsigned long __cil_tmp35 ;
4549 unsigned long __cil_tmp36 ;
4550 unsigned long long __cil_tmp37 ;
4551 unsigned long long __cil_tmp38 ;
4552 uint64_t __cil_tmp39 ;
4553 unsigned long __cil_tmp40 ;
4554 unsigned long __cil_tmp41 ;
4555 uint32_t __cil_tmp42 ;
4556 unsigned long __cil_tmp43 ;
4557 unsigned long __cil_tmp44 ;
4558 uint32_t __cil_tmp45 ;
4559 uint32_t __cil_tmp46 ;
4560 unsigned long __cil_tmp47 ;
4561 unsigned long __cil_tmp48 ;
4562 uint64_t __cil_tmp49 ;
4563 unsigned long __cil_tmp50 ;
4564 unsigned long __cil_tmp51 ;
4565 uint32_t __cil_tmp52 ;
4566 unsigned long __cil_tmp53 ;
4567 unsigned long __cil_tmp54 ;
4568 uint32_t __cil_tmp55 ;
4569 unsigned long __cil_tmp56 ;
4570 unsigned long __cil_tmp57 ;
4571 uint32_t __cil_tmp58 ;
4572 size_t __cil_tmp59 ;
4573 size_t __cil_tmp60 ;
4574 uint32_t __cil_tmp61 ;
4575 unsigned char *__cil_tmp62 ;
4576 int __cil_tmp63 ;
4577 int __cil_tmp64 ;
4578 int __cil_tmp65 ;
4579 long __cil_tmp66 ;
4580 unsigned int __cil_tmp67 ;
4581 uint32_t __cil_tmp68 ;
4582 unsigned char *__cil_tmp69 ;
4583 int __cil_tmp70 ;
4584 int __cil_tmp71 ;
4585 int __cil_tmp72 ;
4586 long __cil_tmp73 ;
4587 unsigned int __cil_tmp74 ;
4588 uint32_t __cil_tmp75 ;
4589 unsigned char *__cil_tmp76 ;
4590 int __cil_tmp77 ;
4591 int __cil_tmp78 ;
4592 int __cil_tmp79 ;
4593 long __cil_tmp80 ;
4594 unsigned int __cil_tmp81 ;
4595 uint32_t __cil_tmp82 ;
4596 unsigned char *__cil_tmp83 ;
4597 int __cil_tmp84 ;
4598 int __cil_tmp85 ;
4599 int __cil_tmp86 ;
4600 long __cil_tmp87 ;
4601 unsigned int __cil_tmp88 ;
4602 void const *__cil_tmp89 ;
4603 void const *__cil_tmp90 ;
4604 void const *__cil_tmp91 ;
4605
4606 {
4607 {
4608#line 373
4609 err = 0;
4610#line 377
4611 printk("<6>\n");
4612#line 378
4613 printk("<6>=================================================\n");
4614 }
4615 {
4616#line 380
4617 __cil_tmp14 = & dev;
4618#line 380
4619 __cil_tmp15 = *__cil_tmp14;
4620#line 380
4621 if (__cil_tmp15 < 0) {
4622 {
4623#line 381
4624 printk("<6>mtd_subpagetest: Please specify a valid mtd-device via module paramter\n");
4625#line 382
4626 printk("<2>CAREFUL: This test wipes all data on the specified MTD device!\n");
4627 }
4628#line 383
4629 return (-22);
4630 } else {
4631
4632 }
4633 }
4634 {
4635#line 386
4636 __cil_tmp16 = & dev;
4637#line 386
4638 __cil_tmp17 = *__cil_tmp16;
4639#line 386
4640 printk("<6>mtd_subpagetest: MTD device: %d\n", __cil_tmp17);
4641#line 388
4642 __cil_tmp18 = (void *)0;
4643#line 388
4644 __cil_tmp19 = (struct mtd_info *)__cil_tmp18;
4645#line 388
4646 __cil_tmp20 = & dev;
4647#line 388
4648 __cil_tmp21 = *__cil_tmp20;
4649#line 388
4650 mtd = get_mtd_device(__cil_tmp19, __cil_tmp21);
4651#line 389
4652 __cil_tmp22 = (void const *)mtd;
4653#line 389
4654 tmp___9 = (long )IS_ERR(__cil_tmp22);
4655 }
4656#line 389
4657 if (tmp___9) {
4658 {
4659#line 390
4660 __cil_tmp23 = (void const *)mtd;
4661#line 390
4662 tmp___8 = (long )PTR_ERR(__cil_tmp23);
4663#line 390
4664 err = (int )tmp___8;
4665#line 391
4666 printk("<6>mtd_subpagetest: error: cannot get MTD device\n");
4667 }
4668#line 392
4669 return (err);
4670 } else {
4671
4672 }
4673 {
4674#line 395
4675 __cil_tmp24 = *((u_char *)mtd);
4676#line 395
4677 __cil_tmp25 = (int )__cil_tmp24;
4678#line 395
4679 if (__cil_tmp25 != 4) {
4680 {
4681#line 396
4682 printk("<6>mtd_subpagetest: this test requires NAND flash\n");
4683 }
4684#line 397
4685 goto out;
4686 } else {
4687
4688 }
4689 }
4690 {
4691#line 400
4692 __cil_tmp26 = (unsigned long )mtd;
4693#line 400
4694 __cil_tmp27 = __cil_tmp26 + 352;
4695#line 400
4696 __cil_tmp28 = *((int *)__cil_tmp27);
4697#line 400
4698 __cil_tmp29 = (unsigned long )mtd;
4699#line 400
4700 __cil_tmp30 = __cil_tmp29 + 20;
4701#line 400
4702 __cil_tmp31 = *((uint32_t *)__cil_tmp30);
4703#line 400
4704 __cil_tmp32 = __cil_tmp31 >> __cil_tmp28;
4705#line 400
4706 subpgsize = (int )__cil_tmp32;
4707#line 401
4708 __cil_tmp33 = (unsigned long )mtd;
4709#line 401
4710 __cil_tmp34 = __cil_tmp33 + 8;
4711#line 401
4712 tmp___7 = *((uint64_t *)__cil_tmp34);
4713#line 402
4714 __cil_tmp35 = (unsigned long )mtd;
4715#line 402
4716 __cil_tmp36 = __cil_tmp35 + 16;
4717#line 402
4718 __base = *((uint32_t *)__cil_tmp36);
4719#line 402
4720 __cil_tmp37 = (unsigned long long )__base;
4721#line 402
4722 __cil_tmp38 = tmp___7 % __cil_tmp37;
4723#line 402
4724 __rem = (uint32_t )__cil_tmp38;
4725#line 402
4726 __cil_tmp39 = (uint64_t )__base;
4727#line 402
4728 tmp___7 = tmp___7 / __cil_tmp39;
4729#line 403
4730 ebcnt = (int )tmp___7;
4731#line 404
4732 __cil_tmp40 = (unsigned long )mtd;
4733#line 404
4734 __cil_tmp41 = __cil_tmp40 + 20;
4735#line 404
4736 __cil_tmp42 = *((uint32_t *)__cil_tmp41);
4737#line 404
4738 __cil_tmp43 = (unsigned long )mtd;
4739#line 404
4740 __cil_tmp44 = __cil_tmp43 + 16;
4741#line 404
4742 __cil_tmp45 = *((uint32_t *)__cil_tmp44);
4743#line 404
4744 __cil_tmp46 = __cil_tmp45 / __cil_tmp42;
4745#line 404
4746 pgcnt = (int )__cil_tmp46;
4747#line 406
4748 __cil_tmp47 = (unsigned long )mtd;
4749#line 406
4750 __cil_tmp48 = __cil_tmp47 + 8;
4751#line 406
4752 __cil_tmp49 = *((uint64_t *)__cil_tmp48);
4753#line 406
4754 __cil_tmp50 = (unsigned long )mtd;
4755#line 406
4756 __cil_tmp51 = __cil_tmp50 + 16;
4757#line 406
4758 __cil_tmp52 = *((uint32_t *)__cil_tmp51);
4759#line 406
4760 __cil_tmp53 = (unsigned long )mtd;
4761#line 406
4762 __cil_tmp54 = __cil_tmp53 + 20;
4763#line 406
4764 __cil_tmp55 = *((uint32_t *)__cil_tmp54);
4765#line 406
4766 __cil_tmp56 = (unsigned long )mtd;
4767#line 406
4768 __cil_tmp57 = __cil_tmp56 + 28;
4769#line 406
4770 __cil_tmp58 = *((uint32_t *)__cil_tmp57);
4771#line 406
4772 printk("<6>mtd_subpagetest: MTD device size %llu, eraseblock size %u, page size %u, subpage size %u, count of eraseblocks %u, pages per eraseblock %u, OOB size %u\n",
4773 __cil_tmp49, __cil_tmp52, __cil_tmp55, subpgsize, ebcnt, pgcnt, __cil_tmp58);
4774#line 412
4775 err = -12;
4776#line 413
4777 bufsize = subpgsize * 32;
4778#line 414
4779 __cil_tmp59 = (size_t )bufsize;
4780#line 414
4781 tmp___10 = kmalloc(__cil_tmp59, 208U);
4782#line 414
4783 writebuf = (unsigned char *)tmp___10;
4784 }
4785#line 415
4786 if (! writebuf) {
4787 {
4788#line 416
4789 printk("<6>mtd_subpagetest: error: cannot allocate memory\n");
4790 }
4791#line 417
4792 goto out;
4793 } else {
4794
4795 }
4796 {
4797#line 419
4798 __cil_tmp60 = (size_t )bufsize;
4799#line 419
4800 tmp___11 = kmalloc(__cil_tmp60, 208U);
4801#line 419
4802 readbuf = (unsigned char *)tmp___11;
4803 }
4804#line 420
4805 if (! readbuf) {
4806 {
4807#line 421
4808 printk("<6>mtd_subpagetest: error: cannot allocate memory\n");
4809 }
4810#line 422
4811 goto out;
4812 } else {
4813
4814 }
4815 {
4816#line 425
4817 err = scan_for_bad_eraseblocks();
4818 }
4819#line 426
4820 if (err) {
4821#line 427
4822 goto out;
4823 } else {
4824
4825 }
4826 {
4827#line 429
4828 err = erase_whole_device();
4829 }
4830#line 430
4831 if (err) {
4832#line 431
4833 goto out;
4834 } else {
4835
4836 }
4837 {
4838#line 433
4839 printk("<6>mtd_subpagetest: writing whole device\n");
4840#line 434
4841 simple_srand(1UL);
4842#line 435
4843 i = (uint32_t )0;
4844 }
4845 {
4846#line 435
4847 while (1) {
4848 while_continue: ;
4849 {
4850#line 435
4851 __cil_tmp61 = (uint32_t )ebcnt;
4852#line 435
4853 if (i < __cil_tmp61) {
4854
4855 } else {
4856#line 435
4857 goto while_break;
4858 }
4859 }
4860 {
4861#line 436
4862 __cil_tmp62 = bbt + i;
4863#line 436
4864 if (*__cil_tmp62) {
4865#line 437
4866 goto __Cont;
4867 } else {
4868
4869 }
4870 }
4871 {
4872#line 438
4873 __cil_tmp63 = (int )i;
4874#line 438
4875 err = write_eraseblock(__cil_tmp63);
4876#line 439
4877 __cil_tmp64 = ! err;
4878#line 439
4879 __cil_tmp65 = ! __cil_tmp64;
4880#line 439
4881 __cil_tmp66 = (long )__cil_tmp65;
4882#line 439
4883 tmp___12 = __builtin_expect(__cil_tmp66, 0L);
4884 }
4885#line 439
4886 if (tmp___12) {
4887#line 440
4888 goto out;
4889 } else {
4890
4891 }
4892 {
4893#line 441
4894 __cil_tmp67 = i % 256U;
4895#line 441
4896 if (__cil_tmp67 == 0U) {
4897 {
4898#line 442
4899 printk("<6>mtd_subpagetest: written up to eraseblock %u\n", i);
4900 }
4901 } else {
4902
4903 }
4904 }
4905 {
4906#line 443
4907 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c",
4908 443, 0);
4909#line 443
4910 _cond_resched();
4911 }
4912 __Cont:
4913#line 435
4914 i = i + 1U;
4915 }
4916 while_break: ;
4917 }
4918 {
4919#line 445
4920 printk("<6>mtd_subpagetest: written %u eraseblocks\n", i);
4921#line 447
4922 simple_srand(1UL);
4923#line 448
4924 printk("<6>mtd_subpagetest: verifying all eraseblocks\n");
4925#line 449
4926 i = (uint32_t )0;
4927 }
4928 {
4929#line 449
4930 while (1) {
4931 while_continue___0: ;
4932 {
4933#line 449
4934 __cil_tmp68 = (uint32_t )ebcnt;
4935#line 449
4936 if (i < __cil_tmp68) {
4937
4938 } else {
4939#line 449
4940 goto while_break___0;
4941 }
4942 }
4943 {
4944#line 450
4945 __cil_tmp69 = bbt + i;
4946#line 450
4947 if (*__cil_tmp69) {
4948#line 451
4949 goto __Cont___0;
4950 } else {
4951
4952 }
4953 }
4954 {
4955#line 452
4956 __cil_tmp70 = (int )i;
4957#line 452
4958 err = verify_eraseblock(__cil_tmp70);
4959#line 453
4960 __cil_tmp71 = ! err;
4961#line 453
4962 __cil_tmp72 = ! __cil_tmp71;
4963#line 453
4964 __cil_tmp73 = (long )__cil_tmp72;
4965#line 453
4966 tmp___13 = __builtin_expect(__cil_tmp73, 0L);
4967 }
4968#line 453
4969 if (tmp___13) {
4970#line 454
4971 goto out;
4972 } else {
4973
4974 }
4975 {
4976#line 455
4977 __cil_tmp74 = i % 256U;
4978#line 455
4979 if (__cil_tmp74 == 0U) {
4980 {
4981#line 456
4982 printk("<6>mtd_subpagetest: verified up to eraseblock %u\n", i);
4983 }
4984 } else {
4985
4986 }
4987 }
4988 {
4989#line 457
4990 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c",
4991 457, 0);
4992#line 457
4993 _cond_resched();
4994 }
4995 __Cont___0:
4996#line 449
4997 i = i + 1U;
4998 }
4999 while_break___0: ;
5000 }
5001 {
5002#line 459
5003 printk("<6>mtd_subpagetest: verified %u eraseblocks\n", i);
5004#line 461
5005 err = erase_whole_device();
5006 }
5007#line 462
5008 if (err) {
5009#line 463
5010 goto out;
5011 } else {
5012
5013 }
5014 {
5015#line 465
5016 err = verify_all_eraseblocks_ff();
5017 }
5018#line 466
5019 if (err) {
5020#line 467
5021 goto out;
5022 } else {
5023
5024 }
5025 {
5026#line 470
5027 simple_srand(3UL);
5028#line 471
5029 printk("<6>mtd_subpagetest: writing whole device\n");
5030#line 472
5031 i = (uint32_t )0;
5032 }
5033 {
5034#line 472
5035 while (1) {
5036 while_continue___1: ;
5037 {
5038#line 472
5039 __cil_tmp75 = (uint32_t )ebcnt;
5040#line 472
5041 if (i < __cil_tmp75) {
5042
5043 } else {
5044#line 472
5045 goto while_break___1;
5046 }
5047 }
5048 {
5049#line 473
5050 __cil_tmp76 = bbt + i;
5051#line 473
5052 if (*__cil_tmp76) {
5053#line 474
5054 goto __Cont___1;
5055 } else {
5056
5057 }
5058 }
5059 {
5060#line 475
5061 __cil_tmp77 = (int )i;
5062#line 475
5063 err = write_eraseblock2(__cil_tmp77);
5064#line 476
5065 __cil_tmp78 = ! err;
5066#line 476
5067 __cil_tmp79 = ! __cil_tmp78;
5068#line 476
5069 __cil_tmp80 = (long )__cil_tmp79;
5070#line 476
5071 tmp___14 = __builtin_expect(__cil_tmp80, 0L);
5072 }
5073#line 476
5074 if (tmp___14) {
5075#line 477
5076 goto out;
5077 } else {
5078
5079 }
5080 {
5081#line 478
5082 __cil_tmp81 = i % 256U;
5083#line 478
5084 if (__cil_tmp81 == 0U) {
5085 {
5086#line 479
5087 printk("<6>mtd_subpagetest: written up to eraseblock %u\n", i);
5088 }
5089 } else {
5090
5091 }
5092 }
5093 {
5094#line 480
5095 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c",
5096 480, 0);
5097#line 480
5098 _cond_resched();
5099 }
5100 __Cont___1:
5101#line 472
5102 i = i + 1U;
5103 }
5104 while_break___1: ;
5105 }
5106 {
5107#line 482
5108 printk("<6>mtd_subpagetest: written %u eraseblocks\n", i);
5109#line 485
5110 simple_srand(3UL);
5111#line 486
5112 printk("<6>mtd_subpagetest: verifying all eraseblocks\n");
5113#line 487
5114 i = (uint32_t )0;
5115 }
5116 {
5117#line 487
5118 while (1) {
5119 while_continue___2: ;
5120 {
5121#line 487
5122 __cil_tmp82 = (uint32_t )ebcnt;
5123#line 487
5124 if (i < __cil_tmp82) {
5125
5126 } else {
5127#line 487
5128 goto while_break___2;
5129 }
5130 }
5131 {
5132#line 488
5133 __cil_tmp83 = bbt + i;
5134#line 488
5135 if (*__cil_tmp83) {
5136#line 489
5137 goto __Cont___2;
5138 } else {
5139
5140 }
5141 }
5142 {
5143#line 490
5144 __cil_tmp84 = (int )i;
5145#line 490
5146 err = verify_eraseblock2(__cil_tmp84);
5147#line 491
5148 __cil_tmp85 = ! err;
5149#line 491
5150 __cil_tmp86 = ! __cil_tmp85;
5151#line 491
5152 __cil_tmp87 = (long )__cil_tmp86;
5153#line 491
5154 tmp___15 = __builtin_expect(__cil_tmp87, 0L);
5155 }
5156#line 491
5157 if (tmp___15) {
5158#line 492
5159 goto out;
5160 } else {
5161
5162 }
5163 {
5164#line 493
5165 __cil_tmp88 = i % 256U;
5166#line 493
5167 if (__cil_tmp88 == 0U) {
5168 {
5169#line 494
5170 printk("<6>mtd_subpagetest: verified up to eraseblock %u\n", i);
5171 }
5172 } else {
5173
5174 }
5175 }
5176 {
5177#line 495
5178 __might_sleep("/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c",
5179 495, 0);
5180#line 495
5181 _cond_resched();
5182 }
5183 __Cont___2:
5184#line 487
5185 i = i + 1U;
5186 }
5187 while_break___2: ;
5188 }
5189 {
5190#line 497
5191 printk("<6>mtd_subpagetest: verified %u eraseblocks\n", i);
5192#line 499
5193 err = erase_whole_device();
5194 }
5195#line 500
5196 if (err) {
5197#line 501
5198 goto out;
5199 } else {
5200
5201 }
5202 {
5203#line 503
5204 err = verify_all_eraseblocks_ff();
5205 }
5206#line 504
5207 if (err) {
5208#line 505
5209 goto out;
5210 } else {
5211
5212 }
5213 {
5214#line 507
5215 printk("<6>mtd_subpagetest: finished with %d errors\n", errcnt);
5216 }
5217 out:
5218 {
5219#line 510
5220 __cil_tmp89 = (void const *)bbt;
5221#line 510
5222 kfree(__cil_tmp89);
5223#line 511
5224 __cil_tmp90 = (void const *)readbuf;
5225#line 511
5226 kfree(__cil_tmp90);
5227#line 512
5228 __cil_tmp91 = (void const *)writebuf;
5229#line 512
5230 kfree(__cil_tmp91);
5231#line 513
5232 put_mtd_device(mtd);
5233 }
5234#line 514
5235 if (err) {
5236 {
5237#line 515
5238 printk("<6>mtd_subpagetest: error %d occurred\n", err);
5239 }
5240 } else {
5241
5242 }
5243 {
5244#line 516
5245 printk("<6>=================================================\n");
5246 }
5247#line 517
5248 return (err);
5249}
5250}
5251#line 519 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5252int init_module(void)
5253{ int tmp___7 ;
5254
5255 {
5256 {
5257#line 519
5258 tmp___7 = mtd_subpagetest_init();
5259 }
5260#line 519
5261 return (tmp___7);
5262}
5263}
5264#line 521
5265static void mtd_subpagetest_exit(void) __attribute__((__section__(".exit.text"),
5266__no_instrument_function__)) ;
5267#line 521 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5268static void mtd_subpagetest_exit(void)
5269{
5270
5271 {
5272#line 523
5273 return;
5274}
5275}
5276#line 525 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5277void cleanup_module(void)
5278{
5279
5280 {
5281 {
5282#line 525
5283 mtd_subpagetest_exit();
5284 }
5285#line 525
5286 return;
5287}
5288}
5289#line 527 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5290static char const __mod_description527[32] __attribute__((__used__, __unused__,
5291__section__(".modinfo"), __aligned__(1))) =
5292#line 527
5293 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
5294 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
5295 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
5296 (char const )'S', (char const )'u', (char const )'b', (char const )'p',
5297 (char const )'a', (char const )'g', (char const )'e', (char const )' ',
5298 (char const )'t', (char const )'e', (char const )'s', (char const )'t',
5299 (char const )' ', (char const )'m', (char const )'o', (char const )'d',
5300 (char const )'u', (char const )'l', (char const )'e', (char const )'\000'};
5301#line 528 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5302static char const __mod_author528[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
5303__aligned__(1))) =
5304#line 528
5305 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
5306 (char const )'o', (char const )'r', (char const )'=', (char const )'A',
5307 (char const )'d', (char const )'r', (char const )'i', (char const )'a',
5308 (char const )'n', (char const )' ', (char const )'H', (char const )'u',
5309 (char const )'n', (char const )'t', (char const )'e', (char const )'r',
5310 (char const )'\000'};
5311#line 529 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5312static char const __mod_license529[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
5313__aligned__(1))) =
5314#line 529
5315 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
5316 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
5317 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
5318#line 547
5319void ldv_check_final_state(void) ;
5320#line 553
5321extern void ldv_initialize(void) ;
5322#line 556
5323extern int __VERIFIER_nondet_int(void) ;
5324#line 559 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5325int LDV_IN_INTERRUPT ;
5326#line 562 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5327void main(void)
5328{ int tmp___7 ;
5329 int tmp___8 ;
5330 int tmp___9 ;
5331
5332 {
5333 {
5334#line 574
5335 LDV_IN_INTERRUPT = 1;
5336#line 583
5337 ldv_initialize();
5338#line 591
5339 tmp___7 = mtd_subpagetest_init();
5340 }
5341#line 591
5342 if (tmp___7) {
5343#line 592
5344 goto ldv_final;
5345 } else {
5346
5347 }
5348 {
5349#line 594
5350 while (1) {
5351 while_continue: ;
5352 {
5353#line 594
5354 tmp___9 = __VERIFIER_nondet_int();
5355 }
5356#line 594
5357 if (tmp___9) {
5358
5359 } else {
5360#line 594
5361 goto while_break;
5362 }
5363 {
5364#line 597
5365 tmp___8 = __VERIFIER_nondet_int();
5366 }
5367 {
5368#line 599
5369 goto switch_default;
5370#line 597
5371 if (0) {
5372 switch_default:
5373#line 599
5374 goto switch_break;
5375 } else {
5376 switch_break: ;
5377 }
5378 }
5379 }
5380 while_break: ;
5381 }
5382 {
5383#line 613
5384 mtd_subpagetest_exit();
5385 }
5386 ldv_final:
5387 {
5388#line 616
5389 ldv_check_final_state();
5390 }
5391#line 619
5392 return;
5393}
5394}
5395#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
5396void ldv_blast_assert(void)
5397{
5398
5399 {
5400 ERROR:
5401#line 6
5402 goto ERROR;
5403}
5404}
5405#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
5406extern int __VERIFIER_nondet_int(void) ;
5407#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5408int ldv_mutex = 1;
5409#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5410int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
5411{ int nondetermined ;
5412
5413 {
5414#line 29
5415 if (ldv_mutex == 1) {
5416
5417 } else {
5418 {
5419#line 29
5420 ldv_blast_assert();
5421 }
5422 }
5423 {
5424#line 32
5425 nondetermined = __VERIFIER_nondet_int();
5426 }
5427#line 35
5428 if (nondetermined) {
5429#line 38
5430 ldv_mutex = 2;
5431#line 40
5432 return (0);
5433 } else {
5434#line 45
5435 return (-4);
5436 }
5437}
5438}
5439#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5440int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
5441{ int nondetermined ;
5442
5443 {
5444#line 57
5445 if (ldv_mutex == 1) {
5446
5447 } else {
5448 {
5449#line 57
5450 ldv_blast_assert();
5451 }
5452 }
5453 {
5454#line 60
5455 nondetermined = __VERIFIER_nondet_int();
5456 }
5457#line 63
5458 if (nondetermined) {
5459#line 66
5460 ldv_mutex = 2;
5461#line 68
5462 return (0);
5463 } else {
5464#line 73
5465 return (-4);
5466 }
5467}
5468}
5469#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5470int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
5471{ int atomic_value_after_dec ;
5472
5473 {
5474#line 83
5475 if (ldv_mutex == 1) {
5476
5477 } else {
5478 {
5479#line 83
5480 ldv_blast_assert();
5481 }
5482 }
5483 {
5484#line 86
5485 atomic_value_after_dec = __VERIFIER_nondet_int();
5486 }
5487#line 89
5488 if (atomic_value_after_dec == 0) {
5489#line 92
5490 ldv_mutex = 2;
5491#line 94
5492 return (1);
5493 } else {
5494
5495 }
5496#line 98
5497 return (0);
5498}
5499}
5500#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5501void mutex_lock(struct mutex *lock )
5502{
5503
5504 {
5505#line 108
5506 if (ldv_mutex == 1) {
5507
5508 } else {
5509 {
5510#line 108
5511 ldv_blast_assert();
5512 }
5513 }
5514#line 110
5515 ldv_mutex = 2;
5516#line 111
5517 return;
5518}
5519}
5520#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5521int mutex_trylock(struct mutex *lock )
5522{ int nondetermined ;
5523
5524 {
5525#line 121
5526 if (ldv_mutex == 1) {
5527
5528 } else {
5529 {
5530#line 121
5531 ldv_blast_assert();
5532 }
5533 }
5534 {
5535#line 124
5536 nondetermined = __VERIFIER_nondet_int();
5537 }
5538#line 127
5539 if (nondetermined) {
5540#line 130
5541 ldv_mutex = 2;
5542#line 132
5543 return (1);
5544 } else {
5545#line 137
5546 return (0);
5547 }
5548}
5549}
5550#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5551void mutex_unlock(struct mutex *lock )
5552{
5553
5554 {
5555#line 147
5556 if (ldv_mutex == 2) {
5557
5558 } else {
5559 {
5560#line 147
5561 ldv_blast_assert();
5562 }
5563 }
5564#line 149
5565 ldv_mutex = 1;
5566#line 150
5567 return;
5568}
5569}
5570#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5571void ldv_check_final_state(void)
5572{
5573
5574 {
5575#line 156
5576 if (ldv_mutex == 1) {
5577
5578 } else {
5579 {
5580#line 156
5581 ldv_blast_assert();
5582 }
5583 }
5584#line 157
5585 return;
5586}
5587}
5588#line 628 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5477/dscv_tempdir/dscv/ri/32_1/drivers/mtd/tests/mtd_subpagetest.c.common.c"
5589long s__builtin_expect(long val , long res )
5590{
5591
5592 {
5593#line 629
5594 return (val);
5595}
5596}