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 206 "include/linux/types.h"
87typedef u64 phys_addr_t;
88#line 211 "include/linux/types.h"
89typedef phys_addr_t resource_size_t;
90#line 219 "include/linux/types.h"
91struct __anonstruct_atomic_t_7 {
92 int counter ;
93};
94#line 219 "include/linux/types.h"
95typedef struct __anonstruct_atomic_t_7 atomic_t;
96#line 224 "include/linux/types.h"
97struct __anonstruct_atomic64_t_8 {
98 long counter ;
99};
100#line 224 "include/linux/types.h"
101typedef struct __anonstruct_atomic64_t_8 atomic64_t;
102#line 229 "include/linux/types.h"
103struct list_head {
104 struct list_head *next ;
105 struct list_head *prev ;
106};
107#line 233
108struct hlist_node;
109#line 233 "include/linux/types.h"
110struct hlist_head {
111 struct hlist_node *first ;
112};
113#line 237 "include/linux/types.h"
114struct hlist_node {
115 struct hlist_node *next ;
116 struct hlist_node **pprev ;
117};
118#line 253 "include/linux/types.h"
119struct rcu_head {
120 struct rcu_head *next ;
121 void (*func)(struct rcu_head *head ) ;
122};
123#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
124struct module;
125#line 56
126struct module;
127#line 146 "include/linux/init.h"
128typedef void (*ctor_fn_t)(void);
129#line 47 "include/linux/dynamic_debug.h"
130struct device;
131#line 47
132struct device;
133#line 135 "include/linux/kernel.h"
134struct completion;
135#line 135
136struct completion;
137#line 136
138struct pt_regs;
139#line 136
140struct pt_regs;
141#line 349
142struct pid;
143#line 349
144struct pid;
145#line 12 "include/linux/thread_info.h"
146struct timespec;
147#line 12
148struct timespec;
149#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
150struct page;
151#line 18
152struct page;
153#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
154struct task_struct;
155#line 20
156struct task_struct;
157#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
158struct task_struct;
159#line 8
160struct mm_struct;
161#line 8
162struct mm_struct;
163#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
164struct pt_regs {
165 unsigned long r15 ;
166 unsigned long r14 ;
167 unsigned long r13 ;
168 unsigned long r12 ;
169 unsigned long bp ;
170 unsigned long bx ;
171 unsigned long r11 ;
172 unsigned long r10 ;
173 unsigned long r9 ;
174 unsigned long r8 ;
175 unsigned long ax ;
176 unsigned long cx ;
177 unsigned long dx ;
178 unsigned long si ;
179 unsigned long di ;
180 unsigned long orig_ax ;
181 unsigned long ip ;
182 unsigned long cs ;
183 unsigned long flags ;
184 unsigned long sp ;
185 unsigned long ss ;
186};
187#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
188struct __anonstruct____missing_field_name_15 {
189 unsigned int a ;
190 unsigned int b ;
191};
192#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
193struct __anonstruct____missing_field_name_16 {
194 u16 limit0 ;
195 u16 base0 ;
196 unsigned int base1 : 8 ;
197 unsigned int type : 4 ;
198 unsigned int s : 1 ;
199 unsigned int dpl : 2 ;
200 unsigned int p : 1 ;
201 unsigned int limit : 4 ;
202 unsigned int avl : 1 ;
203 unsigned int l : 1 ;
204 unsigned int d : 1 ;
205 unsigned int g : 1 ;
206 unsigned int base2 : 8 ;
207};
208#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
209union __anonunion____missing_field_name_14 {
210 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
211 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
212};
213#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
214struct desc_struct {
215 union __anonunion____missing_field_name_14 __annonCompField7 ;
216} __attribute__((__packed__)) ;
217#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
218typedef unsigned long pgdval_t;
219#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
220typedef unsigned long pgprotval_t;
221#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
222struct pgprot {
223 pgprotval_t pgprot ;
224};
225#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
226typedef struct pgprot pgprot_t;
227#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
228struct __anonstruct_pgd_t_20 {
229 pgdval_t pgd ;
230};
231#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
232typedef struct __anonstruct_pgd_t_20 pgd_t;
233#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
234typedef struct page *pgtable_t;
235#line 295
236struct file;
237#line 295
238struct file;
239#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
240struct page;
241#line 47
242struct thread_struct;
243#line 47
244struct thread_struct;
245#line 50
246struct mm_struct;
247#line 51
248struct desc_struct;
249#line 52
250struct task_struct;
251#line 53
252struct cpumask;
253#line 53
254struct cpumask;
255#line 329
256struct arch_spinlock;
257#line 329
258struct arch_spinlock;
259#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
260struct task_struct;
261#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
262struct kernel_vm86_regs {
263 struct pt_regs pt ;
264 unsigned short es ;
265 unsigned short __esh ;
266 unsigned short ds ;
267 unsigned short __dsh ;
268 unsigned short fs ;
269 unsigned short __fsh ;
270 unsigned short gs ;
271 unsigned short __gsh ;
272};
273#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
274union __anonunion____missing_field_name_24 {
275 struct pt_regs *regs ;
276 struct kernel_vm86_regs *vm86 ;
277};
278#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
279struct math_emu_info {
280 long ___orig_eip ;
281 union __anonunion____missing_field_name_24 __annonCompField8 ;
282};
283#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
284struct task_struct;
285#line 10 "include/asm-generic/bug.h"
286struct bug_entry {
287 int bug_addr_disp ;
288 int file_disp ;
289 unsigned short line ;
290 unsigned short flags ;
291};
292#line 12 "include/linux/bug.h"
293struct pt_regs;
294#line 14 "include/linux/cpumask.h"
295struct cpumask {
296 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
297};
298#line 14 "include/linux/cpumask.h"
299typedef struct cpumask cpumask_t;
300#line 637 "include/linux/cpumask.h"
301typedef struct cpumask *cpumask_var_t;
302#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
303struct static_key;
304#line 234
305struct static_key;
306#line 11 "include/linux/personality.h"
307struct pt_regs;
308#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
309struct i387_fsave_struct {
310 u32 cwd ;
311 u32 swd ;
312 u32 twd ;
313 u32 fip ;
314 u32 fcs ;
315 u32 foo ;
316 u32 fos ;
317 u32 st_space[20] ;
318 u32 status ;
319};
320#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
321struct __anonstruct____missing_field_name_31 {
322 u64 rip ;
323 u64 rdp ;
324};
325#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
326struct __anonstruct____missing_field_name_32 {
327 u32 fip ;
328 u32 fcs ;
329 u32 foo ;
330 u32 fos ;
331};
332#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
333union __anonunion____missing_field_name_30 {
334 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
335 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
336};
337#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
338union __anonunion____missing_field_name_33 {
339 u32 padding1[12] ;
340 u32 sw_reserved[12] ;
341};
342#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
343struct i387_fxsave_struct {
344 u16 cwd ;
345 u16 swd ;
346 u16 twd ;
347 u16 fop ;
348 union __anonunion____missing_field_name_30 __annonCompField14 ;
349 u32 mxcsr ;
350 u32 mxcsr_mask ;
351 u32 st_space[32] ;
352 u32 xmm_space[64] ;
353 u32 padding[12] ;
354 union __anonunion____missing_field_name_33 __annonCompField15 ;
355} __attribute__((__aligned__(16))) ;
356#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
357struct i387_soft_struct {
358 u32 cwd ;
359 u32 swd ;
360 u32 twd ;
361 u32 fip ;
362 u32 fcs ;
363 u32 foo ;
364 u32 fos ;
365 u32 st_space[20] ;
366 u8 ftop ;
367 u8 changed ;
368 u8 lookahead ;
369 u8 no_update ;
370 u8 rm ;
371 u8 alimit ;
372 struct math_emu_info *info ;
373 u32 entry_eip ;
374};
375#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
376struct ymmh_struct {
377 u32 ymmh_space[64] ;
378};
379#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
380struct xsave_hdr_struct {
381 u64 xstate_bv ;
382 u64 reserved1[2] ;
383 u64 reserved2[5] ;
384} __attribute__((__packed__)) ;
385#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
386struct xsave_struct {
387 struct i387_fxsave_struct i387 ;
388 struct xsave_hdr_struct xsave_hdr ;
389 struct ymmh_struct ymmh ;
390} __attribute__((__packed__, __aligned__(64))) ;
391#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
392union thread_xstate {
393 struct i387_fsave_struct fsave ;
394 struct i387_fxsave_struct fxsave ;
395 struct i387_soft_struct soft ;
396 struct xsave_struct xsave ;
397};
398#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
399struct fpu {
400 unsigned int last_cpu ;
401 unsigned int has_fpu ;
402 union thread_xstate *state ;
403};
404#line 433
405struct kmem_cache;
406#line 435
407struct perf_event;
408#line 435
409struct perf_event;
410#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
411struct thread_struct {
412 struct desc_struct tls_array[3] ;
413 unsigned long sp0 ;
414 unsigned long sp ;
415 unsigned long usersp ;
416 unsigned short es ;
417 unsigned short ds ;
418 unsigned short fsindex ;
419 unsigned short gsindex ;
420 unsigned long fs ;
421 unsigned long gs ;
422 struct perf_event *ptrace_bps[4] ;
423 unsigned long debugreg6 ;
424 unsigned long ptrace_dr7 ;
425 unsigned long cr2 ;
426 unsigned long trap_nr ;
427 unsigned long error_code ;
428 struct fpu fpu ;
429 unsigned long *io_bitmap_ptr ;
430 unsigned long iopl ;
431 unsigned int io_bitmap_max ;
432};
433#line 23 "include/asm-generic/atomic-long.h"
434typedef atomic64_t atomic_long_t;
435#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
436typedef u16 __ticket_t;
437#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
438typedef u32 __ticketpair_t;
439#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
440struct __raw_tickets {
441 __ticket_t head ;
442 __ticket_t tail ;
443};
444#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
445union __anonunion____missing_field_name_36 {
446 __ticketpair_t head_tail ;
447 struct __raw_tickets tickets ;
448};
449#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
450struct arch_spinlock {
451 union __anonunion____missing_field_name_36 __annonCompField17 ;
452};
453#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
454typedef struct arch_spinlock arch_spinlock_t;
455#line 12 "include/linux/lockdep.h"
456struct task_struct;
457#line 20 "include/linux/spinlock_types.h"
458struct raw_spinlock {
459 arch_spinlock_t raw_lock ;
460 unsigned int magic ;
461 unsigned int owner_cpu ;
462 void *owner ;
463};
464#line 20 "include/linux/spinlock_types.h"
465typedef struct raw_spinlock raw_spinlock_t;
466#line 64 "include/linux/spinlock_types.h"
467union __anonunion____missing_field_name_39 {
468 struct raw_spinlock rlock ;
469};
470#line 64 "include/linux/spinlock_types.h"
471struct spinlock {
472 union __anonunion____missing_field_name_39 __annonCompField19 ;
473};
474#line 64 "include/linux/spinlock_types.h"
475typedef struct spinlock spinlock_t;
476#line 119 "include/linux/seqlock.h"
477struct seqcount {
478 unsigned int sequence ;
479};
480#line 119 "include/linux/seqlock.h"
481typedef struct seqcount seqcount_t;
482#line 14 "include/linux/time.h"
483struct timespec {
484 __kernel_time_t tv_sec ;
485 long tv_nsec ;
486};
487#line 49 "include/linux/wait.h"
488struct __wait_queue_head {
489 spinlock_t lock ;
490 struct list_head task_list ;
491};
492#line 53 "include/linux/wait.h"
493typedef struct __wait_queue_head wait_queue_head_t;
494#line 55
495struct task_struct;
496#line 98 "include/linux/nodemask.h"
497struct __anonstruct_nodemask_t_42 {
498 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
499};
500#line 98 "include/linux/nodemask.h"
501typedef struct __anonstruct_nodemask_t_42 nodemask_t;
502#line 60 "include/linux/pageblock-flags.h"
503struct page;
504#line 48 "include/linux/mutex.h"
505struct mutex {
506 atomic_t count ;
507 spinlock_t wait_lock ;
508 struct list_head wait_list ;
509 struct task_struct *owner ;
510 char const *name ;
511 void *magic ;
512};
513#line 69 "include/linux/mutex.h"
514struct mutex_waiter {
515 struct list_head list ;
516 struct task_struct *task ;
517 void *magic ;
518};
519#line 19 "include/linux/rwsem.h"
520struct rw_semaphore;
521#line 19
522struct rw_semaphore;
523#line 25 "include/linux/rwsem.h"
524struct rw_semaphore {
525 long count ;
526 raw_spinlock_t wait_lock ;
527 struct list_head wait_list ;
528};
529#line 25 "include/linux/completion.h"
530struct completion {
531 unsigned int done ;
532 wait_queue_head_t wait ;
533};
534#line 188 "include/linux/rcupdate.h"
535struct notifier_block;
536#line 188
537struct notifier_block;
538#line 50 "include/linux/notifier.h"
539struct notifier_block {
540 int (*notifier_call)(struct notifier_block * , unsigned long , void * ) ;
541 struct notifier_block *next ;
542 int priority ;
543};
544#line 9 "include/linux/memory_hotplug.h"
545struct page;
546#line 202 "include/linux/ioport.h"
547struct device;
548#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
549struct device;
550#line 46 "include/linux/ktime.h"
551union ktime {
552 s64 tv64 ;
553};
554#line 59 "include/linux/ktime.h"
555typedef union ktime ktime_t;
556#line 10 "include/linux/timer.h"
557struct tvec_base;
558#line 10
559struct tvec_base;
560#line 12 "include/linux/timer.h"
561struct timer_list {
562 struct list_head entry ;
563 unsigned long expires ;
564 struct tvec_base *base ;
565 void (*function)(unsigned long ) ;
566 unsigned long data ;
567 int slack ;
568 int start_pid ;
569 void *start_site ;
570 char start_comm[16] ;
571};
572#line 289
573struct hrtimer;
574#line 289
575struct hrtimer;
576#line 290
577enum hrtimer_restart;
578#line 17 "include/linux/workqueue.h"
579struct work_struct;
580#line 17
581struct work_struct;
582#line 79 "include/linux/workqueue.h"
583struct work_struct {
584 atomic_long_t data ;
585 struct list_head entry ;
586 void (*func)(struct work_struct *work ) ;
587};
588#line 42 "include/linux/pm.h"
589struct device;
590#line 50 "include/linux/pm.h"
591struct pm_message {
592 int event ;
593};
594#line 50 "include/linux/pm.h"
595typedef struct pm_message pm_message_t;
596#line 264 "include/linux/pm.h"
597struct dev_pm_ops {
598 int (*prepare)(struct device *dev ) ;
599 void (*complete)(struct device *dev ) ;
600 int (*suspend)(struct device *dev ) ;
601 int (*resume)(struct device *dev ) ;
602 int (*freeze)(struct device *dev ) ;
603 int (*thaw)(struct device *dev ) ;
604 int (*poweroff)(struct device *dev ) ;
605 int (*restore)(struct device *dev ) ;
606 int (*suspend_late)(struct device *dev ) ;
607 int (*resume_early)(struct device *dev ) ;
608 int (*freeze_late)(struct device *dev ) ;
609 int (*thaw_early)(struct device *dev ) ;
610 int (*poweroff_late)(struct device *dev ) ;
611 int (*restore_early)(struct device *dev ) ;
612 int (*suspend_noirq)(struct device *dev ) ;
613 int (*resume_noirq)(struct device *dev ) ;
614 int (*freeze_noirq)(struct device *dev ) ;
615 int (*thaw_noirq)(struct device *dev ) ;
616 int (*poweroff_noirq)(struct device *dev ) ;
617 int (*restore_noirq)(struct device *dev ) ;
618 int (*runtime_suspend)(struct device *dev ) ;
619 int (*runtime_resume)(struct device *dev ) ;
620 int (*runtime_idle)(struct device *dev ) ;
621};
622#line 458
623enum rpm_status {
624 RPM_ACTIVE = 0,
625 RPM_RESUMING = 1,
626 RPM_SUSPENDED = 2,
627 RPM_SUSPENDING = 3
628} ;
629#line 480
630enum rpm_request {
631 RPM_REQ_NONE = 0,
632 RPM_REQ_IDLE = 1,
633 RPM_REQ_SUSPEND = 2,
634 RPM_REQ_AUTOSUSPEND = 3,
635 RPM_REQ_RESUME = 4
636} ;
637#line 488
638struct wakeup_source;
639#line 488
640struct wakeup_source;
641#line 495 "include/linux/pm.h"
642struct pm_subsys_data {
643 spinlock_t lock ;
644 unsigned int refcount ;
645};
646#line 506
647struct dev_pm_qos_request;
648#line 506
649struct pm_qos_constraints;
650#line 506 "include/linux/pm.h"
651struct dev_pm_info {
652 pm_message_t power_state ;
653 unsigned int can_wakeup : 1 ;
654 unsigned int async_suspend : 1 ;
655 bool is_prepared : 1 ;
656 bool is_suspended : 1 ;
657 bool ignore_children : 1 ;
658 spinlock_t lock ;
659 struct list_head entry ;
660 struct completion completion ;
661 struct wakeup_source *wakeup ;
662 bool wakeup_path : 1 ;
663 struct timer_list suspend_timer ;
664 unsigned long timer_expires ;
665 struct work_struct work ;
666 wait_queue_head_t wait_queue ;
667 atomic_t usage_count ;
668 atomic_t child_count ;
669 unsigned int disable_depth : 3 ;
670 unsigned int idle_notification : 1 ;
671 unsigned int request_pending : 1 ;
672 unsigned int deferred_resume : 1 ;
673 unsigned int run_wake : 1 ;
674 unsigned int runtime_auto : 1 ;
675 unsigned int no_callbacks : 1 ;
676 unsigned int irq_safe : 1 ;
677 unsigned int use_autosuspend : 1 ;
678 unsigned int timer_autosuspends : 1 ;
679 enum rpm_request request ;
680 enum rpm_status runtime_status ;
681 int runtime_error ;
682 int autosuspend_delay ;
683 unsigned long last_busy ;
684 unsigned long active_jiffies ;
685 unsigned long suspended_jiffies ;
686 unsigned long accounting_timestamp ;
687 ktime_t suspend_time ;
688 s64 max_time_suspended_ns ;
689 struct dev_pm_qos_request *pq_req ;
690 struct pm_subsys_data *subsys_data ;
691 struct pm_qos_constraints *constraints ;
692};
693#line 564 "include/linux/pm.h"
694struct dev_pm_domain {
695 struct dev_pm_ops ops ;
696};
697#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
698struct __anonstruct_mm_context_t_112 {
699 void *ldt ;
700 int size ;
701 unsigned short ia32_compat ;
702 struct mutex lock ;
703 void *vdso ;
704};
705#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
706typedef struct __anonstruct_mm_context_t_112 mm_context_t;
707#line 8 "include/linux/vmalloc.h"
708struct vm_area_struct;
709#line 8
710struct vm_area_struct;
711#line 994 "include/linux/mmzone.h"
712struct page;
713#line 10 "include/linux/gfp.h"
714struct vm_area_struct;
715#line 29 "include/linux/sysctl.h"
716struct completion;
717#line 100 "include/linux/rbtree.h"
718struct rb_node {
719 unsigned long rb_parent_color ;
720 struct rb_node *rb_right ;
721 struct rb_node *rb_left ;
722} __attribute__((__aligned__(sizeof(long )))) ;
723#line 110 "include/linux/rbtree.h"
724struct rb_root {
725 struct rb_node *rb_node ;
726};
727#line 939 "include/linux/sysctl.h"
728struct nsproxy;
729#line 939
730struct nsproxy;
731#line 48 "include/linux/kmod.h"
732struct cred;
733#line 48
734struct cred;
735#line 49
736struct file;
737#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
738struct task_struct;
739#line 18 "include/linux/elf.h"
740typedef __u64 Elf64_Addr;
741#line 19 "include/linux/elf.h"
742typedef __u16 Elf64_Half;
743#line 23 "include/linux/elf.h"
744typedef __u32 Elf64_Word;
745#line 24 "include/linux/elf.h"
746typedef __u64 Elf64_Xword;
747#line 194 "include/linux/elf.h"
748struct elf64_sym {
749 Elf64_Word st_name ;
750 unsigned char st_info ;
751 unsigned char st_other ;
752 Elf64_Half st_shndx ;
753 Elf64_Addr st_value ;
754 Elf64_Xword st_size ;
755};
756#line 194 "include/linux/elf.h"
757typedef struct elf64_sym Elf64_Sym;
758#line 438
759struct file;
760#line 20 "include/linux/kobject_ns.h"
761struct sock;
762#line 20
763struct sock;
764#line 21
765struct kobject;
766#line 21
767struct kobject;
768#line 27
769enum kobj_ns_type {
770 KOBJ_NS_TYPE_NONE = 0,
771 KOBJ_NS_TYPE_NET = 1,
772 KOBJ_NS_TYPES = 2
773} ;
774#line 40 "include/linux/kobject_ns.h"
775struct kobj_ns_type_operations {
776 enum kobj_ns_type type ;
777 void *(*grab_current_ns)(void) ;
778 void const *(*netlink_ns)(struct sock *sk ) ;
779 void const *(*initial_ns)(void) ;
780 void (*drop_ns)(void * ) ;
781};
782#line 22 "include/linux/sysfs.h"
783struct kobject;
784#line 23
785struct module;
786#line 24
787enum kobj_ns_type;
788#line 26 "include/linux/sysfs.h"
789struct attribute {
790 char const *name ;
791 umode_t mode ;
792};
793#line 56 "include/linux/sysfs.h"
794struct attribute_group {
795 char const *name ;
796 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
797 struct attribute **attrs ;
798};
799#line 85
800struct file;
801#line 86
802struct vm_area_struct;
803#line 88 "include/linux/sysfs.h"
804struct bin_attribute {
805 struct attribute attr ;
806 size_t size ;
807 void *private ;
808 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
809 loff_t , size_t ) ;
810 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
811 loff_t , size_t ) ;
812 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
813};
814#line 112 "include/linux/sysfs.h"
815struct sysfs_ops {
816 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
817 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
818 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
819};
820#line 118
821struct sysfs_dirent;
822#line 118
823struct sysfs_dirent;
824#line 22 "include/linux/kref.h"
825struct kref {
826 atomic_t refcount ;
827};
828#line 60 "include/linux/kobject.h"
829struct kset;
830#line 60
831struct kobj_type;
832#line 60 "include/linux/kobject.h"
833struct kobject {
834 char const *name ;
835 struct list_head entry ;
836 struct kobject *parent ;
837 struct kset *kset ;
838 struct kobj_type *ktype ;
839 struct sysfs_dirent *sd ;
840 struct kref kref ;
841 unsigned int state_initialized : 1 ;
842 unsigned int state_in_sysfs : 1 ;
843 unsigned int state_add_uevent_sent : 1 ;
844 unsigned int state_remove_uevent_sent : 1 ;
845 unsigned int uevent_suppress : 1 ;
846};
847#line 108 "include/linux/kobject.h"
848struct kobj_type {
849 void (*release)(struct kobject *kobj ) ;
850 struct sysfs_ops const *sysfs_ops ;
851 struct attribute **default_attrs ;
852 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
853 void const *(*namespace)(struct kobject *kobj ) ;
854};
855#line 116 "include/linux/kobject.h"
856struct kobj_uevent_env {
857 char *envp[32] ;
858 int envp_idx ;
859 char buf[2048] ;
860 int buflen ;
861};
862#line 123 "include/linux/kobject.h"
863struct kset_uevent_ops {
864 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
865 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
866 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
867};
868#line 140
869struct sock;
870#line 159 "include/linux/kobject.h"
871struct kset {
872 struct list_head list ;
873 spinlock_t list_lock ;
874 struct kobject kobj ;
875 struct kset_uevent_ops const *uevent_ops ;
876};
877#line 39 "include/linux/moduleparam.h"
878struct kernel_param;
879#line 39
880struct kernel_param;
881#line 41 "include/linux/moduleparam.h"
882struct kernel_param_ops {
883 int (*set)(char const *val , struct kernel_param const *kp ) ;
884 int (*get)(char *buffer , struct kernel_param const *kp ) ;
885 void (*free)(void *arg ) ;
886};
887#line 50
888struct kparam_string;
889#line 50
890struct kparam_array;
891#line 50 "include/linux/moduleparam.h"
892union __anonunion____missing_field_name_199 {
893 void *arg ;
894 struct kparam_string const *str ;
895 struct kparam_array const *arr ;
896};
897#line 50 "include/linux/moduleparam.h"
898struct kernel_param {
899 char const *name ;
900 struct kernel_param_ops const *ops ;
901 u16 perm ;
902 s16 level ;
903 union __anonunion____missing_field_name_199 __annonCompField32 ;
904};
905#line 63 "include/linux/moduleparam.h"
906struct kparam_string {
907 unsigned int maxlen ;
908 char *string ;
909};
910#line 69 "include/linux/moduleparam.h"
911struct kparam_array {
912 unsigned int max ;
913 unsigned int elemsize ;
914 unsigned int *num ;
915 struct kernel_param_ops const *ops ;
916 void *elem ;
917};
918#line 445
919struct module;
920#line 80 "include/linux/jump_label.h"
921struct module;
922#line 143 "include/linux/jump_label.h"
923struct static_key {
924 atomic_t enabled ;
925};
926#line 22 "include/linux/tracepoint.h"
927struct module;
928#line 23
929struct tracepoint;
930#line 23
931struct tracepoint;
932#line 25 "include/linux/tracepoint.h"
933struct tracepoint_func {
934 void *func ;
935 void *data ;
936};
937#line 30 "include/linux/tracepoint.h"
938struct tracepoint {
939 char const *name ;
940 struct static_key key ;
941 void (*regfunc)(void) ;
942 void (*unregfunc)(void) ;
943 struct tracepoint_func *funcs ;
944};
945#line 19 "include/linux/export.h"
946struct kernel_symbol {
947 unsigned long value ;
948 char const *name ;
949};
950#line 8 "include/asm-generic/module.h"
951struct mod_arch_specific {
952
953};
954#line 35 "include/linux/module.h"
955struct module;
956#line 37
957struct module_param_attrs;
958#line 37 "include/linux/module.h"
959struct module_kobject {
960 struct kobject kobj ;
961 struct module *mod ;
962 struct kobject *drivers_dir ;
963 struct module_param_attrs *mp ;
964};
965#line 44 "include/linux/module.h"
966struct module_attribute {
967 struct attribute attr ;
968 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
969 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
970 size_t count ) ;
971 void (*setup)(struct module * , char const * ) ;
972 int (*test)(struct module * ) ;
973 void (*free)(struct module * ) ;
974};
975#line 71
976struct exception_table_entry;
977#line 71
978struct exception_table_entry;
979#line 182
980struct notifier_block;
981#line 199
982enum module_state {
983 MODULE_STATE_LIVE = 0,
984 MODULE_STATE_COMING = 1,
985 MODULE_STATE_GOING = 2
986} ;
987#line 215 "include/linux/module.h"
988struct module_ref {
989 unsigned long incs ;
990 unsigned long decs ;
991} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
992#line 220
993struct module_sect_attrs;
994#line 220
995struct module_notes_attrs;
996#line 220
997struct ftrace_event_call;
998#line 220 "include/linux/module.h"
999struct module {
1000 enum module_state state ;
1001 struct list_head list ;
1002 char name[64UL - sizeof(unsigned long )] ;
1003 struct module_kobject mkobj ;
1004 struct module_attribute *modinfo_attrs ;
1005 char const *version ;
1006 char const *srcversion ;
1007 struct kobject *holders_dir ;
1008 struct kernel_symbol const *syms ;
1009 unsigned long const *crcs ;
1010 unsigned int num_syms ;
1011 struct kernel_param *kp ;
1012 unsigned int num_kp ;
1013 unsigned int num_gpl_syms ;
1014 struct kernel_symbol const *gpl_syms ;
1015 unsigned long const *gpl_crcs ;
1016 struct kernel_symbol const *unused_syms ;
1017 unsigned long const *unused_crcs ;
1018 unsigned int num_unused_syms ;
1019 unsigned int num_unused_gpl_syms ;
1020 struct kernel_symbol const *unused_gpl_syms ;
1021 unsigned long const *unused_gpl_crcs ;
1022 struct kernel_symbol const *gpl_future_syms ;
1023 unsigned long const *gpl_future_crcs ;
1024 unsigned int num_gpl_future_syms ;
1025 unsigned int num_exentries ;
1026 struct exception_table_entry *extable ;
1027 int (*init)(void) ;
1028 void *module_init ;
1029 void *module_core ;
1030 unsigned int init_size ;
1031 unsigned int core_size ;
1032 unsigned int init_text_size ;
1033 unsigned int core_text_size ;
1034 unsigned int init_ro_size ;
1035 unsigned int core_ro_size ;
1036 struct mod_arch_specific arch ;
1037 unsigned int taints ;
1038 unsigned int num_bugs ;
1039 struct list_head bug_list ;
1040 struct bug_entry *bug_table ;
1041 Elf64_Sym *symtab ;
1042 Elf64_Sym *core_symtab ;
1043 unsigned int num_symtab ;
1044 unsigned int core_num_syms ;
1045 char *strtab ;
1046 char *core_strtab ;
1047 struct module_sect_attrs *sect_attrs ;
1048 struct module_notes_attrs *notes_attrs ;
1049 char *args ;
1050 void *percpu ;
1051 unsigned int percpu_size ;
1052 unsigned int num_tracepoints ;
1053 struct tracepoint * const *tracepoints_ptrs ;
1054 unsigned int num_trace_bprintk_fmt ;
1055 char const **trace_bprintk_fmt_start ;
1056 struct ftrace_event_call **trace_events ;
1057 unsigned int num_trace_events ;
1058 struct list_head source_list ;
1059 struct list_head target_list ;
1060 struct task_struct *waiter ;
1061 void (*exit)(void) ;
1062 struct module_ref *refptr ;
1063 ctor_fn_t *ctors ;
1064 unsigned int num_ctors ;
1065};
1066#line 31 "include/linux/uio.h"
1067struct kvec {
1068 void *iov_base ;
1069 size_t iov_len ;
1070};
1071#line 19 "include/linux/klist.h"
1072struct klist_node;
1073#line 19
1074struct klist_node;
1075#line 39 "include/linux/klist.h"
1076struct klist_node {
1077 void *n_klist ;
1078 struct list_head n_node ;
1079 struct kref n_ref ;
1080};
1081#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1082struct dma_map_ops;
1083#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1084struct dev_archdata {
1085 void *acpi_handle ;
1086 struct dma_map_ops *dma_ops ;
1087 void *iommu ;
1088};
1089#line 28 "include/linux/device.h"
1090struct device;
1091#line 29
1092struct device_private;
1093#line 29
1094struct device_private;
1095#line 30
1096struct device_driver;
1097#line 30
1098struct device_driver;
1099#line 31
1100struct driver_private;
1101#line 31
1102struct driver_private;
1103#line 32
1104struct module;
1105#line 33
1106struct class;
1107#line 33
1108struct class;
1109#line 34
1110struct subsys_private;
1111#line 34
1112struct subsys_private;
1113#line 35
1114struct bus_type;
1115#line 35
1116struct bus_type;
1117#line 36
1118struct device_node;
1119#line 36
1120struct device_node;
1121#line 37
1122struct iommu_ops;
1123#line 37
1124struct iommu_ops;
1125#line 39 "include/linux/device.h"
1126struct bus_attribute {
1127 struct attribute attr ;
1128 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1129 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1130};
1131#line 89
1132struct device_attribute;
1133#line 89
1134struct driver_attribute;
1135#line 89 "include/linux/device.h"
1136struct bus_type {
1137 char const *name ;
1138 char const *dev_name ;
1139 struct device *dev_root ;
1140 struct bus_attribute *bus_attrs ;
1141 struct device_attribute *dev_attrs ;
1142 struct driver_attribute *drv_attrs ;
1143 int (*match)(struct device *dev , struct device_driver *drv ) ;
1144 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1145 int (*probe)(struct device *dev ) ;
1146 int (*remove)(struct device *dev ) ;
1147 void (*shutdown)(struct device *dev ) ;
1148 int (*suspend)(struct device *dev , pm_message_t state ) ;
1149 int (*resume)(struct device *dev ) ;
1150 struct dev_pm_ops const *pm ;
1151 struct iommu_ops *iommu_ops ;
1152 struct subsys_private *p ;
1153};
1154#line 127
1155struct device_type;
1156#line 159
1157struct notifier_block;
1158#line 214
1159struct of_device_id;
1160#line 214 "include/linux/device.h"
1161struct device_driver {
1162 char const *name ;
1163 struct bus_type *bus ;
1164 struct module *owner ;
1165 char const *mod_name ;
1166 bool suppress_bind_attrs ;
1167 struct of_device_id const *of_match_table ;
1168 int (*probe)(struct device *dev ) ;
1169 int (*remove)(struct device *dev ) ;
1170 void (*shutdown)(struct device *dev ) ;
1171 int (*suspend)(struct device *dev , pm_message_t state ) ;
1172 int (*resume)(struct device *dev ) ;
1173 struct attribute_group const **groups ;
1174 struct dev_pm_ops const *pm ;
1175 struct driver_private *p ;
1176};
1177#line 249 "include/linux/device.h"
1178struct driver_attribute {
1179 struct attribute attr ;
1180 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1181 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1182};
1183#line 330
1184struct class_attribute;
1185#line 330 "include/linux/device.h"
1186struct class {
1187 char const *name ;
1188 struct module *owner ;
1189 struct class_attribute *class_attrs ;
1190 struct device_attribute *dev_attrs ;
1191 struct bin_attribute *dev_bin_attrs ;
1192 struct kobject *dev_kobj ;
1193 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1194 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1195 void (*class_release)(struct class *class ) ;
1196 void (*dev_release)(struct device *dev ) ;
1197 int (*suspend)(struct device *dev , pm_message_t state ) ;
1198 int (*resume)(struct device *dev ) ;
1199 struct kobj_ns_type_operations const *ns_type ;
1200 void const *(*namespace)(struct device *dev ) ;
1201 struct dev_pm_ops const *pm ;
1202 struct subsys_private *p ;
1203};
1204#line 397 "include/linux/device.h"
1205struct class_attribute {
1206 struct attribute attr ;
1207 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1208 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1209 size_t count ) ;
1210 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1211};
1212#line 465 "include/linux/device.h"
1213struct device_type {
1214 char const *name ;
1215 struct attribute_group const **groups ;
1216 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1217 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1218 void (*release)(struct device *dev ) ;
1219 struct dev_pm_ops const *pm ;
1220};
1221#line 476 "include/linux/device.h"
1222struct device_attribute {
1223 struct attribute attr ;
1224 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1225 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1226 size_t count ) ;
1227};
1228#line 559 "include/linux/device.h"
1229struct device_dma_parameters {
1230 unsigned int max_segment_size ;
1231 unsigned long segment_boundary_mask ;
1232};
1233#line 627
1234struct dma_coherent_mem;
1235#line 627 "include/linux/device.h"
1236struct device {
1237 struct device *parent ;
1238 struct device_private *p ;
1239 struct kobject kobj ;
1240 char const *init_name ;
1241 struct device_type const *type ;
1242 struct mutex mutex ;
1243 struct bus_type *bus ;
1244 struct device_driver *driver ;
1245 void *platform_data ;
1246 struct dev_pm_info power ;
1247 struct dev_pm_domain *pm_domain ;
1248 int numa_node ;
1249 u64 *dma_mask ;
1250 u64 coherent_dma_mask ;
1251 struct device_dma_parameters *dma_parms ;
1252 struct list_head dma_pools ;
1253 struct dma_coherent_mem *dma_mem ;
1254 struct dev_archdata archdata ;
1255 struct device_node *of_node ;
1256 dev_t devt ;
1257 u32 id ;
1258 spinlock_t devres_lock ;
1259 struct list_head devres_head ;
1260 struct klist_node knode_class ;
1261 struct class *class ;
1262 struct attribute_group const **groups ;
1263 void (*release)(struct device *dev ) ;
1264};
1265#line 43 "include/linux/pm_wakeup.h"
1266struct wakeup_source {
1267 char const *name ;
1268 struct list_head entry ;
1269 spinlock_t lock ;
1270 struct timer_list timer ;
1271 unsigned long timer_expires ;
1272 ktime_t total_time ;
1273 ktime_t max_time ;
1274 ktime_t last_time ;
1275 unsigned long event_count ;
1276 unsigned long active_count ;
1277 unsigned long relax_count ;
1278 unsigned long hit_count ;
1279 unsigned int active : 1 ;
1280};
1281#line 143 "include/mtd/mtd-abi.h"
1282struct otp_info {
1283 __u32 start ;
1284 __u32 length ;
1285 __u32 locked ;
1286};
1287#line 217 "include/mtd/mtd-abi.h"
1288struct nand_oobfree {
1289 __u32 offset ;
1290 __u32 length ;
1291};
1292#line 247 "include/mtd/mtd-abi.h"
1293struct mtd_ecc_stats {
1294 __u32 corrected ;
1295 __u32 failed ;
1296 __u32 badblocks ;
1297 __u32 bbtblocks ;
1298};
1299#line 48 "include/linux/mtd/mtd.h"
1300struct mtd_info;
1301#line 48 "include/linux/mtd/mtd.h"
1302struct erase_info {
1303 struct mtd_info *mtd ;
1304 uint64_t addr ;
1305 uint64_t len ;
1306 uint64_t fail_addr ;
1307 u_long time ;
1308 u_long retries ;
1309 unsigned int dev ;
1310 unsigned int cell ;
1311 void (*callback)(struct erase_info *self ) ;
1312 u_long priv ;
1313 u_char state ;
1314 struct erase_info *next ;
1315};
1316#line 63 "include/linux/mtd/mtd.h"
1317struct mtd_erase_region_info {
1318 uint64_t offset ;
1319 uint32_t erasesize ;
1320 uint32_t numblocks ;
1321 unsigned long *lockmap ;
1322};
1323#line 89 "include/linux/mtd/mtd.h"
1324struct mtd_oob_ops {
1325 unsigned int mode ;
1326 size_t len ;
1327 size_t retlen ;
1328 size_t ooblen ;
1329 size_t oobretlen ;
1330 uint32_t ooboffs ;
1331 uint8_t *datbuf ;
1332 uint8_t *oobbuf ;
1333};
1334#line 108 "include/linux/mtd/mtd.h"
1335struct nand_ecclayout {
1336 __u32 eccbytes ;
1337 __u32 eccpos[448] ;
1338 __u32 oobavail ;
1339 struct nand_oobfree oobfree[32] ;
1340};
1341#line 115
1342struct module;
1343#line 117
1344struct backing_dev_info;
1345#line 117 "include/linux/mtd/mtd.h"
1346struct mtd_info {
1347 u_char type ;
1348 uint32_t flags ;
1349 uint64_t size ;
1350 uint32_t erasesize ;
1351 uint32_t writesize ;
1352 uint32_t writebufsize ;
1353 uint32_t oobsize ;
1354 uint32_t oobavail ;
1355 unsigned int erasesize_shift ;
1356 unsigned int writesize_shift ;
1357 unsigned int erasesize_mask ;
1358 unsigned int writesize_mask ;
1359 char const *name ;
1360 int index ;
1361 struct nand_ecclayout *ecclayout ;
1362 unsigned int ecc_strength ;
1363 int numeraseregions ;
1364 struct mtd_erase_region_info *eraseregions ;
1365 int (*_erase)(struct mtd_info *mtd , struct erase_info *instr ) ;
1366 int (*_point)(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
1367 void **virt , resource_size_t *phys ) ;
1368 int (*_unpoint)(struct mtd_info *mtd , loff_t from , size_t len ) ;
1369 unsigned long (*_get_unmapped_area)(struct mtd_info *mtd , unsigned long len ,
1370 unsigned long offset , unsigned long flags ) ;
1371 int (*_read)(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
1372 u_char *buf ) ;
1373 int (*_write)(struct mtd_info *mtd , loff_t to , size_t len , size_t *retlen ,
1374 u_char const *buf ) ;
1375 int (*_panic_write)(struct mtd_info *mtd , loff_t to , size_t len , size_t *retlen ,
1376 u_char const *buf ) ;
1377 int (*_read_oob)(struct mtd_info *mtd , loff_t from , struct mtd_oob_ops *ops ) ;
1378 int (*_write_oob)(struct mtd_info *mtd , loff_t to , struct mtd_oob_ops *ops ) ;
1379 int (*_get_fact_prot_info)(struct mtd_info *mtd , struct otp_info *buf , size_t len ) ;
1380 int (*_read_fact_prot_reg)(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
1381 u_char *buf ) ;
1382 int (*_get_user_prot_info)(struct mtd_info *mtd , struct otp_info *buf , size_t len ) ;
1383 int (*_read_user_prot_reg)(struct mtd_info *mtd , loff_t from , size_t len , size_t *retlen ,
1384 u_char *buf ) ;
1385 int (*_write_user_prot_reg)(struct mtd_info *mtd , loff_t to , size_t len , size_t *retlen ,
1386 u_char *buf ) ;
1387 int (*_lock_user_prot_reg)(struct mtd_info *mtd , loff_t from , size_t len ) ;
1388 int (*_writev)(struct mtd_info *mtd , struct kvec const *vecs , unsigned long count ,
1389 loff_t to , size_t *retlen ) ;
1390 void (*_sync)(struct mtd_info *mtd ) ;
1391 int (*_lock)(struct mtd_info *mtd , loff_t ofs , uint64_t len ) ;
1392 int (*_unlock)(struct mtd_info *mtd , loff_t ofs , uint64_t len ) ;
1393 int (*_is_locked)(struct mtd_info *mtd , loff_t ofs , uint64_t len ) ;
1394 int (*_block_isbad)(struct mtd_info *mtd , loff_t ofs ) ;
1395 int (*_block_markbad)(struct mtd_info *mtd , loff_t ofs ) ;
1396 int (*_suspend)(struct mtd_info *mtd ) ;
1397 void (*_resume)(struct mtd_info *mtd ) ;
1398 int (*_get_device)(struct mtd_info *mtd ) ;
1399 void (*_put_device)(struct mtd_info *mtd ) ;
1400 struct backing_dev_info *backing_dev_info ;
1401 struct notifier_block reboot_notifier ;
1402 struct mtd_ecc_stats ecc_stats ;
1403 int subpage_sft ;
1404 void *priv ;
1405 struct module *owner ;
1406 struct device dev ;
1407 int usecount ;
1408};
1409#line 359
1410struct mtd_partition;
1411#line 359
1412struct mtd_partition;
1413#line 360
1414struct mtd_part_parser_data;
1415#line 360
1416struct mtd_part_parser_data;
1417#line 186 "include/linux/mtd/map.h"
1418union __anonunion_map_word_202 {
1419 unsigned long x[4] ;
1420};
1421#line 186 "include/linux/mtd/map.h"
1422typedef union __anonunion_map_word_202 map_word;
1423#line 208
1424struct mtd_chip_driver;
1425#line 208 "include/linux/mtd/map.h"
1426struct map_info {
1427 char const *name ;
1428 unsigned long size ;
1429 resource_size_t phys ;
1430 void *virt ;
1431 void *cached ;
1432 int swap ;
1433 int bankwidth ;
1434 map_word (*read)(struct map_info * , unsigned long ) ;
1435 void (*copy_from)(struct map_info * , void * , unsigned long , ssize_t ) ;
1436 void (*write)(struct map_info * , map_word const , unsigned long ) ;
1437 void (*copy_to)(struct map_info * , unsigned long , void const * , ssize_t ) ;
1438 void (*inval_cache)(struct map_info * , unsigned long , ssize_t ) ;
1439 void (*set_vpp)(struct map_info * , int ) ;
1440 unsigned long pfow_base ;
1441 unsigned long map_priv_1 ;
1442 unsigned long map_priv_2 ;
1443 void *fldrv_priv ;
1444 struct mtd_chip_driver *fldrv ;
1445};
1446#line 252 "include/linux/mtd/map.h"
1447struct mtd_chip_driver {
1448 struct mtd_info *(*probe)(struct map_info *map ) ;
1449 void (*destroy)(struct mtd_info * ) ;
1450 struct module *module ;
1451 char *name ;
1452 struct list_head list ;
1453};
1454#line 39 "include/linux/mtd/partitions.h"
1455struct mtd_partition {
1456 char *name ;
1457 uint64_t size ;
1458 uint64_t offset ;
1459 uint32_t mask_flags ;
1460 struct nand_ecclayout *ecclayout ;
1461};
1462#line 53
1463struct mtd_info;
1464#line 54
1465struct device_node;
1466#line 61 "include/linux/mtd/partitions.h"
1467struct mtd_part_parser_data {
1468 unsigned long origin ;
1469 struct device_node *of_node ;
1470};
1471#line 32 "include/linux/irq.h"
1472struct module;
1473#line 14 "include/linux/irqdesc.h"
1474struct module;
1475#line 17 "include/linux/profile.h"
1476struct pt_regs;
1477#line 18
1478struct notifier_block;
1479#line 65
1480struct task_struct;
1481#line 66
1482struct mm_struct;
1483#line 88
1484struct pt_regs;
1485#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
1486struct exception_table_entry {
1487 unsigned long insn ;
1488 unsigned long fixup ;
1489};
1490#line 132 "include/linux/hardirq.h"
1491struct task_struct;
1492#line 8 "include/linux/timerqueue.h"
1493struct timerqueue_node {
1494 struct rb_node node ;
1495 ktime_t expires ;
1496};
1497#line 13 "include/linux/timerqueue.h"
1498struct timerqueue_head {
1499 struct rb_root head ;
1500 struct timerqueue_node *next ;
1501};
1502#line 27 "include/linux/hrtimer.h"
1503struct hrtimer_clock_base;
1504#line 27
1505struct hrtimer_clock_base;
1506#line 28
1507struct hrtimer_cpu_base;
1508#line 28
1509struct hrtimer_cpu_base;
1510#line 44
1511enum hrtimer_restart {
1512 HRTIMER_NORESTART = 0,
1513 HRTIMER_RESTART = 1
1514} ;
1515#line 108 "include/linux/hrtimer.h"
1516struct hrtimer {
1517 struct timerqueue_node node ;
1518 ktime_t _softexpires ;
1519 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1520 struct hrtimer_clock_base *base ;
1521 unsigned long state ;
1522 int start_pid ;
1523 void *start_site ;
1524 char start_comm[16] ;
1525};
1526#line 145 "include/linux/hrtimer.h"
1527struct hrtimer_clock_base {
1528 struct hrtimer_cpu_base *cpu_base ;
1529 int index ;
1530 clockid_t clockid ;
1531 struct timerqueue_head active ;
1532 ktime_t resolution ;
1533 ktime_t (*get_time)(void) ;
1534 ktime_t softirq_time ;
1535 ktime_t offset ;
1536};
1537#line 178 "include/linux/hrtimer.h"
1538struct hrtimer_cpu_base {
1539 raw_spinlock_t lock ;
1540 unsigned long active_bases ;
1541 ktime_t expires_next ;
1542 int hres_active ;
1543 int hang_detected ;
1544 unsigned long nr_events ;
1545 unsigned long nr_retries ;
1546 unsigned long nr_hangs ;
1547 ktime_t max_hang_time ;
1548 struct hrtimer_clock_base clock_base[3] ;
1549};
1550#line 187 "include/linux/interrupt.h"
1551struct device;
1552#line 18 "include/linux/capability.h"
1553struct task_struct;
1554#line 94 "include/linux/capability.h"
1555struct kernel_cap_struct {
1556 __u32 cap[2] ;
1557};
1558#line 94 "include/linux/capability.h"
1559typedef struct kernel_cap_struct kernel_cap_t;
1560#line 378
1561struct user_namespace;
1562#line 378
1563struct user_namespace;
1564#line 14 "include/linux/prio_tree.h"
1565struct prio_tree_node;
1566#line 14 "include/linux/prio_tree.h"
1567struct raw_prio_tree_node {
1568 struct prio_tree_node *left ;
1569 struct prio_tree_node *right ;
1570 struct prio_tree_node *parent ;
1571};
1572#line 20 "include/linux/prio_tree.h"
1573struct prio_tree_node {
1574 struct prio_tree_node *left ;
1575 struct prio_tree_node *right ;
1576 struct prio_tree_node *parent ;
1577 unsigned long start ;
1578 unsigned long last ;
1579};
1580#line 23 "include/linux/mm_types.h"
1581struct address_space;
1582#line 23
1583struct address_space;
1584#line 40 "include/linux/mm_types.h"
1585union __anonunion____missing_field_name_213 {
1586 unsigned long index ;
1587 void *freelist ;
1588};
1589#line 40 "include/linux/mm_types.h"
1590struct __anonstruct____missing_field_name_217 {
1591 unsigned int inuse : 16 ;
1592 unsigned int objects : 15 ;
1593 unsigned int frozen : 1 ;
1594};
1595#line 40 "include/linux/mm_types.h"
1596union __anonunion____missing_field_name_216 {
1597 atomic_t _mapcount ;
1598 struct __anonstruct____missing_field_name_217 __annonCompField34 ;
1599};
1600#line 40 "include/linux/mm_types.h"
1601struct __anonstruct____missing_field_name_215 {
1602 union __anonunion____missing_field_name_216 __annonCompField35 ;
1603 atomic_t _count ;
1604};
1605#line 40 "include/linux/mm_types.h"
1606union __anonunion____missing_field_name_214 {
1607 unsigned long counters ;
1608 struct __anonstruct____missing_field_name_215 __annonCompField36 ;
1609};
1610#line 40 "include/linux/mm_types.h"
1611struct __anonstruct____missing_field_name_212 {
1612 union __anonunion____missing_field_name_213 __annonCompField33 ;
1613 union __anonunion____missing_field_name_214 __annonCompField37 ;
1614};
1615#line 40 "include/linux/mm_types.h"
1616struct __anonstruct____missing_field_name_219 {
1617 struct page *next ;
1618 int pages ;
1619 int pobjects ;
1620};
1621#line 40 "include/linux/mm_types.h"
1622union __anonunion____missing_field_name_218 {
1623 struct list_head lru ;
1624 struct __anonstruct____missing_field_name_219 __annonCompField39 ;
1625};
1626#line 40 "include/linux/mm_types.h"
1627union __anonunion____missing_field_name_220 {
1628 unsigned long private ;
1629 struct kmem_cache *slab ;
1630 struct page *first_page ;
1631};
1632#line 40 "include/linux/mm_types.h"
1633struct page {
1634 unsigned long flags ;
1635 struct address_space *mapping ;
1636 struct __anonstruct____missing_field_name_212 __annonCompField38 ;
1637 union __anonunion____missing_field_name_218 __annonCompField40 ;
1638 union __anonunion____missing_field_name_220 __annonCompField41 ;
1639 unsigned long debug_flags ;
1640} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1641#line 200 "include/linux/mm_types.h"
1642struct __anonstruct_vm_set_222 {
1643 struct list_head list ;
1644 void *parent ;
1645 struct vm_area_struct *head ;
1646};
1647#line 200 "include/linux/mm_types.h"
1648union __anonunion_shared_221 {
1649 struct __anonstruct_vm_set_222 vm_set ;
1650 struct raw_prio_tree_node prio_tree_node ;
1651};
1652#line 200
1653struct anon_vma;
1654#line 200
1655struct vm_operations_struct;
1656#line 200
1657struct mempolicy;
1658#line 200 "include/linux/mm_types.h"
1659struct vm_area_struct {
1660 struct mm_struct *vm_mm ;
1661 unsigned long vm_start ;
1662 unsigned long vm_end ;
1663 struct vm_area_struct *vm_next ;
1664 struct vm_area_struct *vm_prev ;
1665 pgprot_t vm_page_prot ;
1666 unsigned long vm_flags ;
1667 struct rb_node vm_rb ;
1668 union __anonunion_shared_221 shared ;
1669 struct list_head anon_vma_chain ;
1670 struct anon_vma *anon_vma ;
1671 struct vm_operations_struct const *vm_ops ;
1672 unsigned long vm_pgoff ;
1673 struct file *vm_file ;
1674 void *vm_private_data ;
1675 struct mempolicy *vm_policy ;
1676};
1677#line 257 "include/linux/mm_types.h"
1678struct core_thread {
1679 struct task_struct *task ;
1680 struct core_thread *next ;
1681};
1682#line 262 "include/linux/mm_types.h"
1683struct core_state {
1684 atomic_t nr_threads ;
1685 struct core_thread dumper ;
1686 struct completion startup ;
1687};
1688#line 284 "include/linux/mm_types.h"
1689struct mm_rss_stat {
1690 atomic_long_t count[3] ;
1691};
1692#line 288
1693struct linux_binfmt;
1694#line 288
1695struct mmu_notifier_mm;
1696#line 288 "include/linux/mm_types.h"
1697struct mm_struct {
1698 struct vm_area_struct *mmap ;
1699 struct rb_root mm_rb ;
1700 struct vm_area_struct *mmap_cache ;
1701 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1702 unsigned long pgoff , unsigned long flags ) ;
1703 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1704 unsigned long mmap_base ;
1705 unsigned long task_size ;
1706 unsigned long cached_hole_size ;
1707 unsigned long free_area_cache ;
1708 pgd_t *pgd ;
1709 atomic_t mm_users ;
1710 atomic_t mm_count ;
1711 int map_count ;
1712 spinlock_t page_table_lock ;
1713 struct rw_semaphore mmap_sem ;
1714 struct list_head mmlist ;
1715 unsigned long hiwater_rss ;
1716 unsigned long hiwater_vm ;
1717 unsigned long total_vm ;
1718 unsigned long locked_vm ;
1719 unsigned long pinned_vm ;
1720 unsigned long shared_vm ;
1721 unsigned long exec_vm ;
1722 unsigned long stack_vm ;
1723 unsigned long reserved_vm ;
1724 unsigned long def_flags ;
1725 unsigned long nr_ptes ;
1726 unsigned long start_code ;
1727 unsigned long end_code ;
1728 unsigned long start_data ;
1729 unsigned long end_data ;
1730 unsigned long start_brk ;
1731 unsigned long brk ;
1732 unsigned long start_stack ;
1733 unsigned long arg_start ;
1734 unsigned long arg_end ;
1735 unsigned long env_start ;
1736 unsigned long env_end ;
1737 unsigned long saved_auxv[44] ;
1738 struct mm_rss_stat rss_stat ;
1739 struct linux_binfmt *binfmt ;
1740 cpumask_var_t cpu_vm_mask_var ;
1741 mm_context_t context ;
1742 unsigned int faultstamp ;
1743 unsigned int token_priority ;
1744 unsigned int last_interval ;
1745 unsigned long flags ;
1746 struct core_state *core_state ;
1747 spinlock_t ioctx_lock ;
1748 struct hlist_head ioctx_list ;
1749 struct task_struct *owner ;
1750 struct file *exe_file ;
1751 unsigned long num_exe_file_vmas ;
1752 struct mmu_notifier_mm *mmu_notifier_mm ;
1753 pgtable_t pmd_huge_pte ;
1754 struct cpumask cpumask_allocation ;
1755};
1756#line 7 "include/asm-generic/cputime.h"
1757typedef unsigned long cputime_t;
1758#line 84 "include/linux/sem.h"
1759struct task_struct;
1760#line 101
1761struct sem_undo_list;
1762#line 101 "include/linux/sem.h"
1763struct sysv_sem {
1764 struct sem_undo_list *undo_list ;
1765};
1766#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1767struct siginfo;
1768#line 10
1769struct siginfo;
1770#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1771struct __anonstruct_sigset_t_224 {
1772 unsigned long sig[1] ;
1773};
1774#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1775typedef struct __anonstruct_sigset_t_224 sigset_t;
1776#line 17 "include/asm-generic/signal-defs.h"
1777typedef void __signalfn_t(int );
1778#line 18 "include/asm-generic/signal-defs.h"
1779typedef __signalfn_t *__sighandler_t;
1780#line 20 "include/asm-generic/signal-defs.h"
1781typedef void __restorefn_t(void);
1782#line 21 "include/asm-generic/signal-defs.h"
1783typedef __restorefn_t *__sigrestore_t;
1784#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1785struct sigaction {
1786 __sighandler_t sa_handler ;
1787 unsigned long sa_flags ;
1788 __sigrestore_t sa_restorer ;
1789 sigset_t sa_mask ;
1790};
1791#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1792struct k_sigaction {
1793 struct sigaction sa ;
1794};
1795#line 7 "include/asm-generic/siginfo.h"
1796union sigval {
1797 int sival_int ;
1798 void *sival_ptr ;
1799};
1800#line 7 "include/asm-generic/siginfo.h"
1801typedef union sigval sigval_t;
1802#line 48 "include/asm-generic/siginfo.h"
1803struct __anonstruct__kill_226 {
1804 __kernel_pid_t _pid ;
1805 __kernel_uid32_t _uid ;
1806};
1807#line 48 "include/asm-generic/siginfo.h"
1808struct __anonstruct__timer_227 {
1809 __kernel_timer_t _tid ;
1810 int _overrun ;
1811 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1812 sigval_t _sigval ;
1813 int _sys_private ;
1814};
1815#line 48 "include/asm-generic/siginfo.h"
1816struct __anonstruct__rt_228 {
1817 __kernel_pid_t _pid ;
1818 __kernel_uid32_t _uid ;
1819 sigval_t _sigval ;
1820};
1821#line 48 "include/asm-generic/siginfo.h"
1822struct __anonstruct__sigchld_229 {
1823 __kernel_pid_t _pid ;
1824 __kernel_uid32_t _uid ;
1825 int _status ;
1826 __kernel_clock_t _utime ;
1827 __kernel_clock_t _stime ;
1828};
1829#line 48 "include/asm-generic/siginfo.h"
1830struct __anonstruct__sigfault_230 {
1831 void *_addr ;
1832 short _addr_lsb ;
1833};
1834#line 48 "include/asm-generic/siginfo.h"
1835struct __anonstruct__sigpoll_231 {
1836 long _band ;
1837 int _fd ;
1838};
1839#line 48 "include/asm-generic/siginfo.h"
1840union __anonunion__sifields_225 {
1841 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1842 struct __anonstruct__kill_226 _kill ;
1843 struct __anonstruct__timer_227 _timer ;
1844 struct __anonstruct__rt_228 _rt ;
1845 struct __anonstruct__sigchld_229 _sigchld ;
1846 struct __anonstruct__sigfault_230 _sigfault ;
1847 struct __anonstruct__sigpoll_231 _sigpoll ;
1848};
1849#line 48 "include/asm-generic/siginfo.h"
1850struct siginfo {
1851 int si_signo ;
1852 int si_errno ;
1853 int si_code ;
1854 union __anonunion__sifields_225 _sifields ;
1855};
1856#line 48 "include/asm-generic/siginfo.h"
1857typedef struct siginfo siginfo_t;
1858#line 288
1859struct siginfo;
1860#line 10 "include/linux/signal.h"
1861struct task_struct;
1862#line 18
1863struct user_struct;
1864#line 28 "include/linux/signal.h"
1865struct sigpending {
1866 struct list_head list ;
1867 sigset_t signal ;
1868};
1869#line 239
1870struct timespec;
1871#line 240
1872struct pt_regs;
1873#line 50 "include/linux/pid.h"
1874struct pid_namespace;
1875#line 50 "include/linux/pid.h"
1876struct upid {
1877 int nr ;
1878 struct pid_namespace *ns ;
1879 struct hlist_node pid_chain ;
1880};
1881#line 57 "include/linux/pid.h"
1882struct pid {
1883 atomic_t count ;
1884 unsigned int level ;
1885 struct hlist_head tasks[3] ;
1886 struct rcu_head rcu ;
1887 struct upid numbers[1] ;
1888};
1889#line 69 "include/linux/pid.h"
1890struct pid_link {
1891 struct hlist_node node ;
1892 struct pid *pid ;
1893};
1894#line 100
1895struct pid_namespace;
1896#line 10 "include/linux/seccomp.h"
1897struct __anonstruct_seccomp_t_234 {
1898 int mode ;
1899};
1900#line 10 "include/linux/seccomp.h"
1901typedef struct __anonstruct_seccomp_t_234 seccomp_t;
1902#line 81 "include/linux/plist.h"
1903struct plist_head {
1904 struct list_head node_list ;
1905};
1906#line 85 "include/linux/plist.h"
1907struct plist_node {
1908 int prio ;
1909 struct list_head prio_list ;
1910 struct list_head node_list ;
1911};
1912#line 40 "include/linux/rtmutex.h"
1913struct rt_mutex_waiter;
1914#line 40
1915struct rt_mutex_waiter;
1916#line 42 "include/linux/resource.h"
1917struct rlimit {
1918 unsigned long rlim_cur ;
1919 unsigned long rlim_max ;
1920};
1921#line 81
1922struct task_struct;
1923#line 11 "include/linux/task_io_accounting.h"
1924struct task_io_accounting {
1925 u64 rchar ;
1926 u64 wchar ;
1927 u64 syscr ;
1928 u64 syscw ;
1929 u64 read_bytes ;
1930 u64 write_bytes ;
1931 u64 cancelled_write_bytes ;
1932};
1933#line 13 "include/linux/latencytop.h"
1934struct task_struct;
1935#line 20 "include/linux/latencytop.h"
1936struct latency_record {
1937 unsigned long backtrace[12] ;
1938 unsigned int count ;
1939 unsigned long time ;
1940 unsigned long max ;
1941};
1942#line 29 "include/linux/key.h"
1943typedef int32_t key_serial_t;
1944#line 32 "include/linux/key.h"
1945typedef uint32_t key_perm_t;
1946#line 34
1947struct key;
1948#line 34
1949struct key;
1950#line 75
1951struct user_struct;
1952#line 76
1953struct signal_struct;
1954#line 76
1955struct signal_struct;
1956#line 77
1957struct cred;
1958#line 79
1959struct key_type;
1960#line 79
1961struct key_type;
1962#line 81
1963struct keyring_list;
1964#line 81
1965struct keyring_list;
1966#line 124
1967struct key_user;
1968#line 124 "include/linux/key.h"
1969union __anonunion____missing_field_name_235 {
1970 time_t expiry ;
1971 time_t revoked_at ;
1972};
1973#line 124 "include/linux/key.h"
1974union __anonunion_type_data_236 {
1975 struct list_head link ;
1976 unsigned long x[2] ;
1977 void *p[2] ;
1978 int reject_error ;
1979};
1980#line 124 "include/linux/key.h"
1981union __anonunion_payload_237 {
1982 unsigned long value ;
1983 void *rcudata ;
1984 void *data ;
1985 struct keyring_list *subscriptions ;
1986};
1987#line 124 "include/linux/key.h"
1988struct key {
1989 atomic_t usage ;
1990 key_serial_t serial ;
1991 struct rb_node serial_node ;
1992 struct key_type *type ;
1993 struct rw_semaphore sem ;
1994 struct key_user *user ;
1995 void *security ;
1996 union __anonunion____missing_field_name_235 __annonCompField42 ;
1997 uid_t uid ;
1998 gid_t gid ;
1999 key_perm_t perm ;
2000 unsigned short quotalen ;
2001 unsigned short datalen ;
2002 unsigned long flags ;
2003 char *description ;
2004 union __anonunion_type_data_236 type_data ;
2005 union __anonunion_payload_237 payload ;
2006};
2007#line 18 "include/linux/selinux.h"
2008struct audit_context;
2009#line 18
2010struct audit_context;
2011#line 21 "include/linux/cred.h"
2012struct user_struct;
2013#line 22
2014struct cred;
2015#line 31 "include/linux/cred.h"
2016struct group_info {
2017 atomic_t usage ;
2018 int ngroups ;
2019 int nblocks ;
2020 gid_t small_block[32] ;
2021 gid_t *blocks[0] ;
2022};
2023#line 83 "include/linux/cred.h"
2024struct thread_group_cred {
2025 atomic_t usage ;
2026 pid_t tgid ;
2027 spinlock_t lock ;
2028 struct key *session_keyring ;
2029 struct key *process_keyring ;
2030 struct rcu_head rcu ;
2031};
2032#line 116 "include/linux/cred.h"
2033struct cred {
2034 atomic_t usage ;
2035 atomic_t subscribers ;
2036 void *put_addr ;
2037 unsigned int magic ;
2038 uid_t uid ;
2039 gid_t gid ;
2040 uid_t suid ;
2041 gid_t sgid ;
2042 uid_t euid ;
2043 gid_t egid ;
2044 uid_t fsuid ;
2045 gid_t fsgid ;
2046 unsigned int securebits ;
2047 kernel_cap_t cap_inheritable ;
2048 kernel_cap_t cap_permitted ;
2049 kernel_cap_t cap_effective ;
2050 kernel_cap_t cap_bset ;
2051 unsigned char jit_keyring ;
2052 struct key *thread_keyring ;
2053 struct key *request_key_auth ;
2054 struct thread_group_cred *tgcred ;
2055 void *security ;
2056 struct user_struct *user ;
2057 struct user_namespace *user_ns ;
2058 struct group_info *group_info ;
2059 struct rcu_head rcu ;
2060};
2061#line 61 "include/linux/llist.h"
2062struct llist_node;
2063#line 65 "include/linux/llist.h"
2064struct llist_node {
2065 struct llist_node *next ;
2066};
2067#line 97 "include/linux/sched.h"
2068struct futex_pi_state;
2069#line 97
2070struct futex_pi_state;
2071#line 98
2072struct robust_list_head;
2073#line 98
2074struct robust_list_head;
2075#line 99
2076struct bio_list;
2077#line 99
2078struct bio_list;
2079#line 100
2080struct fs_struct;
2081#line 100
2082struct fs_struct;
2083#line 101
2084struct perf_event_context;
2085#line 101
2086struct perf_event_context;
2087#line 102
2088struct blk_plug;
2089#line 102
2090struct blk_plug;
2091#line 151
2092struct cfs_rq;
2093#line 151
2094struct cfs_rq;
2095#line 259
2096struct task_struct;
2097#line 366
2098struct nsproxy;
2099#line 367
2100struct user_namespace;
2101#line 214 "include/linux/aio.h"
2102struct mm_struct;
2103#line 443 "include/linux/sched.h"
2104struct sighand_struct {
2105 atomic_t count ;
2106 struct k_sigaction action[64] ;
2107 spinlock_t siglock ;
2108 wait_queue_head_t signalfd_wqh ;
2109};
2110#line 450 "include/linux/sched.h"
2111struct pacct_struct {
2112 int ac_flag ;
2113 long ac_exitcode ;
2114 unsigned long ac_mem ;
2115 cputime_t ac_utime ;
2116 cputime_t ac_stime ;
2117 unsigned long ac_minflt ;
2118 unsigned long ac_majflt ;
2119};
2120#line 458 "include/linux/sched.h"
2121struct cpu_itimer {
2122 cputime_t expires ;
2123 cputime_t incr ;
2124 u32 error ;
2125 u32 incr_error ;
2126};
2127#line 476 "include/linux/sched.h"
2128struct task_cputime {
2129 cputime_t utime ;
2130 cputime_t stime ;
2131 unsigned long long sum_exec_runtime ;
2132};
2133#line 512 "include/linux/sched.h"
2134struct thread_group_cputimer {
2135 struct task_cputime cputime ;
2136 int running ;
2137 raw_spinlock_t lock ;
2138};
2139#line 519
2140struct autogroup;
2141#line 519
2142struct autogroup;
2143#line 528
2144struct tty_struct;
2145#line 528
2146struct taskstats;
2147#line 528
2148struct tty_audit_buf;
2149#line 528 "include/linux/sched.h"
2150struct signal_struct {
2151 atomic_t sigcnt ;
2152 atomic_t live ;
2153 int nr_threads ;
2154 wait_queue_head_t wait_chldexit ;
2155 struct task_struct *curr_target ;
2156 struct sigpending shared_pending ;
2157 int group_exit_code ;
2158 int notify_count ;
2159 struct task_struct *group_exit_task ;
2160 int group_stop_count ;
2161 unsigned int flags ;
2162 unsigned int is_child_subreaper : 1 ;
2163 unsigned int has_child_subreaper : 1 ;
2164 struct list_head posix_timers ;
2165 struct hrtimer real_timer ;
2166 struct pid *leader_pid ;
2167 ktime_t it_real_incr ;
2168 struct cpu_itimer it[2] ;
2169 struct thread_group_cputimer cputimer ;
2170 struct task_cputime cputime_expires ;
2171 struct list_head cpu_timers[3] ;
2172 struct pid *tty_old_pgrp ;
2173 int leader ;
2174 struct tty_struct *tty ;
2175 struct autogroup *autogroup ;
2176 cputime_t utime ;
2177 cputime_t stime ;
2178 cputime_t cutime ;
2179 cputime_t cstime ;
2180 cputime_t gtime ;
2181 cputime_t cgtime ;
2182 cputime_t prev_utime ;
2183 cputime_t prev_stime ;
2184 unsigned long nvcsw ;
2185 unsigned long nivcsw ;
2186 unsigned long cnvcsw ;
2187 unsigned long cnivcsw ;
2188 unsigned long min_flt ;
2189 unsigned long maj_flt ;
2190 unsigned long cmin_flt ;
2191 unsigned long cmaj_flt ;
2192 unsigned long inblock ;
2193 unsigned long oublock ;
2194 unsigned long cinblock ;
2195 unsigned long coublock ;
2196 unsigned long maxrss ;
2197 unsigned long cmaxrss ;
2198 struct task_io_accounting ioac ;
2199 unsigned long long sum_sched_runtime ;
2200 struct rlimit rlim[16] ;
2201 struct pacct_struct pacct ;
2202 struct taskstats *stats ;
2203 unsigned int audit_tty ;
2204 struct tty_audit_buf *tty_audit_buf ;
2205 struct rw_semaphore group_rwsem ;
2206 int oom_adj ;
2207 int oom_score_adj ;
2208 int oom_score_adj_min ;
2209 struct mutex cred_guard_mutex ;
2210};
2211#line 703 "include/linux/sched.h"
2212struct user_struct {
2213 atomic_t __count ;
2214 atomic_t processes ;
2215 atomic_t files ;
2216 atomic_t sigpending ;
2217 atomic_t inotify_watches ;
2218 atomic_t inotify_devs ;
2219 atomic_t fanotify_listeners ;
2220 atomic_long_t epoll_watches ;
2221 unsigned long mq_bytes ;
2222 unsigned long locked_shm ;
2223 struct key *uid_keyring ;
2224 struct key *session_keyring ;
2225 struct hlist_node uidhash_node ;
2226 uid_t uid ;
2227 struct user_namespace *user_ns ;
2228 atomic_long_t locked_vm ;
2229};
2230#line 747
2231struct backing_dev_info;
2232#line 748
2233struct reclaim_state;
2234#line 748
2235struct reclaim_state;
2236#line 751 "include/linux/sched.h"
2237struct sched_info {
2238 unsigned long pcount ;
2239 unsigned long long run_delay ;
2240 unsigned long long last_arrival ;
2241 unsigned long long last_queued ;
2242};
2243#line 763 "include/linux/sched.h"
2244struct task_delay_info {
2245 spinlock_t lock ;
2246 unsigned int flags ;
2247 struct timespec blkio_start ;
2248 struct timespec blkio_end ;
2249 u64 blkio_delay ;
2250 u64 swapin_delay ;
2251 u32 blkio_count ;
2252 u32 swapin_count ;
2253 struct timespec freepages_start ;
2254 struct timespec freepages_end ;
2255 u64 freepages_delay ;
2256 u32 freepages_count ;
2257};
2258#line 1088
2259struct io_context;
2260#line 1088
2261struct io_context;
2262#line 1097
2263struct audit_context;
2264#line 1098
2265struct mempolicy;
2266#line 1099
2267struct pipe_inode_info;
2268#line 1099
2269struct pipe_inode_info;
2270#line 1102
2271struct rq;
2272#line 1102
2273struct rq;
2274#line 1122 "include/linux/sched.h"
2275struct sched_class {
2276 struct sched_class const *next ;
2277 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2278 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2279 void (*yield_task)(struct rq *rq ) ;
2280 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2281 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2282 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2283 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2284 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2285 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2286 void (*post_schedule)(struct rq *this_rq ) ;
2287 void (*task_waking)(struct task_struct *task ) ;
2288 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2289 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2290 void (*rq_online)(struct rq *rq ) ;
2291 void (*rq_offline)(struct rq *rq ) ;
2292 void (*set_curr_task)(struct rq *rq ) ;
2293 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2294 void (*task_fork)(struct task_struct *p ) ;
2295 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2296 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2297 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2298 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2299 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2300};
2301#line 1167 "include/linux/sched.h"
2302struct load_weight {
2303 unsigned long weight ;
2304 unsigned long inv_weight ;
2305};
2306#line 1172 "include/linux/sched.h"
2307struct sched_statistics {
2308 u64 wait_start ;
2309 u64 wait_max ;
2310 u64 wait_count ;
2311 u64 wait_sum ;
2312 u64 iowait_count ;
2313 u64 iowait_sum ;
2314 u64 sleep_start ;
2315 u64 sleep_max ;
2316 s64 sum_sleep_runtime ;
2317 u64 block_start ;
2318 u64 block_max ;
2319 u64 exec_max ;
2320 u64 slice_max ;
2321 u64 nr_migrations_cold ;
2322 u64 nr_failed_migrations_affine ;
2323 u64 nr_failed_migrations_running ;
2324 u64 nr_failed_migrations_hot ;
2325 u64 nr_forced_migrations ;
2326 u64 nr_wakeups ;
2327 u64 nr_wakeups_sync ;
2328 u64 nr_wakeups_migrate ;
2329 u64 nr_wakeups_local ;
2330 u64 nr_wakeups_remote ;
2331 u64 nr_wakeups_affine ;
2332 u64 nr_wakeups_affine_attempts ;
2333 u64 nr_wakeups_passive ;
2334 u64 nr_wakeups_idle ;
2335};
2336#line 1207 "include/linux/sched.h"
2337struct sched_entity {
2338 struct load_weight load ;
2339 struct rb_node run_node ;
2340 struct list_head group_node ;
2341 unsigned int on_rq ;
2342 u64 exec_start ;
2343 u64 sum_exec_runtime ;
2344 u64 vruntime ;
2345 u64 prev_sum_exec_runtime ;
2346 u64 nr_migrations ;
2347 struct sched_statistics statistics ;
2348 struct sched_entity *parent ;
2349 struct cfs_rq *cfs_rq ;
2350 struct cfs_rq *my_q ;
2351};
2352#line 1233
2353struct rt_rq;
2354#line 1233 "include/linux/sched.h"
2355struct sched_rt_entity {
2356 struct list_head run_list ;
2357 unsigned long timeout ;
2358 unsigned int time_slice ;
2359 int nr_cpus_allowed ;
2360 struct sched_rt_entity *back ;
2361 struct sched_rt_entity *parent ;
2362 struct rt_rq *rt_rq ;
2363 struct rt_rq *my_q ;
2364};
2365#line 1264
2366struct files_struct;
2367#line 1264
2368struct css_set;
2369#line 1264
2370struct compat_robust_list_head;
2371#line 1264
2372struct mem_cgroup;
2373#line 1264 "include/linux/sched.h"
2374struct memcg_batch_info {
2375 int do_batch ;
2376 struct mem_cgroup *memcg ;
2377 unsigned long nr_pages ;
2378 unsigned long memsw_nr_pages ;
2379};
2380#line 1264 "include/linux/sched.h"
2381struct task_struct {
2382 long volatile state ;
2383 void *stack ;
2384 atomic_t usage ;
2385 unsigned int flags ;
2386 unsigned int ptrace ;
2387 struct llist_node wake_entry ;
2388 int on_cpu ;
2389 int on_rq ;
2390 int prio ;
2391 int static_prio ;
2392 int normal_prio ;
2393 unsigned int rt_priority ;
2394 struct sched_class const *sched_class ;
2395 struct sched_entity se ;
2396 struct sched_rt_entity rt ;
2397 struct hlist_head preempt_notifiers ;
2398 unsigned char fpu_counter ;
2399 unsigned int policy ;
2400 cpumask_t cpus_allowed ;
2401 struct sched_info sched_info ;
2402 struct list_head tasks ;
2403 struct plist_node pushable_tasks ;
2404 struct mm_struct *mm ;
2405 struct mm_struct *active_mm ;
2406 unsigned int brk_randomized : 1 ;
2407 int exit_state ;
2408 int exit_code ;
2409 int exit_signal ;
2410 int pdeath_signal ;
2411 unsigned int jobctl ;
2412 unsigned int personality ;
2413 unsigned int did_exec : 1 ;
2414 unsigned int in_execve : 1 ;
2415 unsigned int in_iowait : 1 ;
2416 unsigned int sched_reset_on_fork : 1 ;
2417 unsigned int sched_contributes_to_load : 1 ;
2418 unsigned int irq_thread : 1 ;
2419 pid_t pid ;
2420 pid_t tgid ;
2421 unsigned long stack_canary ;
2422 struct task_struct *real_parent ;
2423 struct task_struct *parent ;
2424 struct list_head children ;
2425 struct list_head sibling ;
2426 struct task_struct *group_leader ;
2427 struct list_head ptraced ;
2428 struct list_head ptrace_entry ;
2429 struct pid_link pids[3] ;
2430 struct list_head thread_group ;
2431 struct completion *vfork_done ;
2432 int *set_child_tid ;
2433 int *clear_child_tid ;
2434 cputime_t utime ;
2435 cputime_t stime ;
2436 cputime_t utimescaled ;
2437 cputime_t stimescaled ;
2438 cputime_t gtime ;
2439 cputime_t prev_utime ;
2440 cputime_t prev_stime ;
2441 unsigned long nvcsw ;
2442 unsigned long nivcsw ;
2443 struct timespec start_time ;
2444 struct timespec real_start_time ;
2445 unsigned long min_flt ;
2446 unsigned long maj_flt ;
2447 struct task_cputime cputime_expires ;
2448 struct list_head cpu_timers[3] ;
2449 struct cred const *real_cred ;
2450 struct cred const *cred ;
2451 struct cred *replacement_session_keyring ;
2452 char comm[16] ;
2453 int link_count ;
2454 int total_link_count ;
2455 struct sysv_sem sysvsem ;
2456 unsigned long last_switch_count ;
2457 struct thread_struct thread ;
2458 struct fs_struct *fs ;
2459 struct files_struct *files ;
2460 struct nsproxy *nsproxy ;
2461 struct signal_struct *signal ;
2462 struct sighand_struct *sighand ;
2463 sigset_t blocked ;
2464 sigset_t real_blocked ;
2465 sigset_t saved_sigmask ;
2466 struct sigpending pending ;
2467 unsigned long sas_ss_sp ;
2468 size_t sas_ss_size ;
2469 int (*notifier)(void *priv ) ;
2470 void *notifier_data ;
2471 sigset_t *notifier_mask ;
2472 struct audit_context *audit_context ;
2473 uid_t loginuid ;
2474 unsigned int sessionid ;
2475 seccomp_t seccomp ;
2476 u32 parent_exec_id ;
2477 u32 self_exec_id ;
2478 spinlock_t alloc_lock ;
2479 raw_spinlock_t pi_lock ;
2480 struct plist_head pi_waiters ;
2481 struct rt_mutex_waiter *pi_blocked_on ;
2482 struct mutex_waiter *blocked_on ;
2483 unsigned int irq_events ;
2484 unsigned long hardirq_enable_ip ;
2485 unsigned long hardirq_disable_ip ;
2486 unsigned int hardirq_enable_event ;
2487 unsigned int hardirq_disable_event ;
2488 int hardirqs_enabled ;
2489 int hardirq_context ;
2490 unsigned long softirq_disable_ip ;
2491 unsigned long softirq_enable_ip ;
2492 unsigned int softirq_disable_event ;
2493 unsigned int softirq_enable_event ;
2494 int softirqs_enabled ;
2495 int softirq_context ;
2496 void *journal_info ;
2497 struct bio_list *bio_list ;
2498 struct blk_plug *plug ;
2499 struct reclaim_state *reclaim_state ;
2500 struct backing_dev_info *backing_dev_info ;
2501 struct io_context *io_context ;
2502 unsigned long ptrace_message ;
2503 siginfo_t *last_siginfo ;
2504 struct task_io_accounting ioac ;
2505 u64 acct_rss_mem1 ;
2506 u64 acct_vm_mem1 ;
2507 cputime_t acct_timexpd ;
2508 nodemask_t mems_allowed ;
2509 seqcount_t mems_allowed_seq ;
2510 int cpuset_mem_spread_rotor ;
2511 int cpuset_slab_spread_rotor ;
2512 struct css_set *cgroups ;
2513 struct list_head cg_list ;
2514 struct robust_list_head *robust_list ;
2515 struct compat_robust_list_head *compat_robust_list ;
2516 struct list_head pi_state_list ;
2517 struct futex_pi_state *pi_state_cache ;
2518 struct perf_event_context *perf_event_ctxp[2] ;
2519 struct mutex perf_event_mutex ;
2520 struct list_head perf_event_list ;
2521 struct mempolicy *mempolicy ;
2522 short il_next ;
2523 short pref_node_fork ;
2524 struct rcu_head rcu ;
2525 struct pipe_inode_info *splice_pipe ;
2526 struct task_delay_info *delays ;
2527 int make_it_fail ;
2528 int nr_dirtied ;
2529 int nr_dirtied_pause ;
2530 unsigned long dirty_paused_when ;
2531 int latency_record_count ;
2532 struct latency_record latency_record[32] ;
2533 unsigned long timer_slack_ns ;
2534 unsigned long default_timer_slack_ns ;
2535 struct list_head *scm_work_list ;
2536 unsigned long trace ;
2537 unsigned long trace_recursion ;
2538 struct memcg_batch_info memcg_batch ;
2539 atomic_t ptrace_bp_refcnt ;
2540};
2541#line 1681
2542struct pid_namespace;
2543#line 60 "include/linux/reboot.h"
2544struct pt_regs;
2545#line 235 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2546struct __anonstruct_243 {
2547 int : 0 ;
2548};
2549#line 1 "<compiler builtins>"
2550long __builtin_expect(long val , long res ) ;
2551#line 100 "include/linux/printk.h"
2552extern int ( printk)(char const *fmt , ...) ;
2553#line 152 "include/linux/mutex.h"
2554void mutex_lock(struct mutex *lock ) ;
2555#line 153
2556int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2557#line 154
2558int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2559#line 168
2560int mutex_trylock(struct mutex *lock ) ;
2561#line 169
2562void mutex_unlock(struct mutex *lock ) ;
2563#line 170
2564int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2565#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
2566extern void *ioremap_nocache(resource_size_t offset , unsigned long size ) ;
2567#line 187
2568extern void iounmap(void volatile *addr ) ;
2569#line 26 "include/linux/export.h"
2570extern struct module __this_module ;
2571#line 67 "include/linux/module.h"
2572int init_module(void) ;
2573#line 68
2574void cleanup_module(void) ;
2575#line 362 "include/linux/mtd/mtd.h"
2576extern int mtd_device_parse_register(struct mtd_info *mtd , char const **part_probe_types ,
2577 struct mtd_part_parser_data *parser_data , struct mtd_partition const *defparts ,
2578 int defnr_parts ) ;
2579#line 369
2580extern int mtd_device_unregister(struct mtd_info *master ) ;
2581#line 263 "include/linux/mtd/map.h"
2582extern struct mtd_info *do_map_probe(char const *name , struct map_info *map ) ;
2583#line 264
2584extern void map_destroy(struct mtd_info *mtd ) ;
2585#line 450
2586extern void simple_map_init(struct map_info * ) ;
2587#line 55 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2588static void *nettel_mmcrp = (void *)0;
2589#line 60 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2590static struct mtd_info *amd_mtd ;
2591#line 105 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2592static struct map_info nettel_amd_map =
2593#line 105
2594 {"SnapGear AMD", 2097152UL, 0ULL, (void *)0, (void *)0, 0, 1, (map_word (*)(struct map_info * ,
2595 unsigned long ))0,
2596 (void (*)(struct map_info * , void * , unsigned long , ssize_t ))0, (void (*)(struct map_info * ,
2597 map_word const ,
2598 unsigned long ))0,
2599 (void (*)(struct map_info * , unsigned long , void const * , ssize_t ))0,
2600 (void (*)(struct map_info * , unsigned long , ssize_t ))0, (void (*)(struct map_info * ,
2601 int ))0,
2602 0UL, 0UL, 0UL, (void *)0, (struct mtd_chip_driver *)0};
2603#line 111 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2604static struct mtd_partition nettel_amd_partitions[4] = { {(char *)"SnapGear BIOS config", (uint64_t )65536, (uint64_t )917504, 0U, (struct nand_ecclayout *)0},
2605 {(char *)"SnapGear BIOS",
2606 (uint64_t )65536, (uint64_t )983040, 0U, (struct nand_ecclayout *)0},
2607 {(char *)"SnapGear AMD", 0ULL, (uint64_t )0, 0U, (struct nand_ecclayout *)0},
2608 {(char *)"SnapGear high BIOS",
2609 (uint64_t )65536, (uint64_t )2031616, 0U, (struct nand_ecclayout *)0}};
2610#line 164
2611static int nettel_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
2612#line 164 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2613static int nettel_init(void)
2614{ unsigned long volatile *amdpar ;
2615 unsigned long amdaddr ;
2616 unsigned long maxsize ;
2617 int num_amd_partitions ;
2618 int rc ;
2619 void *tmp___7 ;
2620 resource_size_t __cil_tmp7 ;
2621 void *__cil_tmp8 ;
2622 unsigned long __cil_tmp9 ;
2623 unsigned long __cil_tmp10 ;
2624 void *__cil_tmp11 ;
2625 unsigned char *__cil_tmp12 ;
2626 void *__cil_tmp13 ;
2627 unsigned long __cil_tmp14 ;
2628 unsigned long __cil_tmp15 ;
2629 unsigned long __cil_tmp16 ;
2630 unsigned long __cil_tmp17 ;
2631 unsigned long __cil_tmp18 ;
2632 unsigned long __cil_tmp19 ;
2633 unsigned long __cil_tmp20 ;
2634 unsigned long __cil_tmp21 ;
2635 unsigned long __cil_tmp22 ;
2636 resource_size_t __cil_tmp23 ;
2637 unsigned long __cil_tmp24 ;
2638 void *__cil_tmp25 ;
2639 void volatile *__cil_tmp26 ;
2640 unsigned long __cil_tmp27 ;
2641 unsigned long __cil_tmp28 ;
2642 uint64_t __cil_tmp29 ;
2643 uint64_t __cil_tmp30 ;
2644 int __cil_tmp31 ;
2645 unsigned long __cil_tmp32 ;
2646 unsigned long __cil_tmp33 ;
2647 unsigned long __cil_tmp34 ;
2648 unsigned long __cil_tmp35 ;
2649 unsigned long __cil_tmp36 ;
2650 unsigned long __cil_tmp37 ;
2651 uint64_t __cil_tmp38 ;
2652 void *__cil_tmp39 ;
2653 char const **__cil_tmp40 ;
2654 void *__cil_tmp41 ;
2655 struct mtd_part_parser_data *__cil_tmp42 ;
2656 unsigned long __cil_tmp43 ;
2657 unsigned long __cil_tmp44 ;
2658 struct mtd_partition *__cil_tmp45 ;
2659 struct mtd_partition const *__cil_tmp46 ;
2660 void volatile *__cil_tmp47 ;
2661 unsigned long __cil_tmp48 ;
2662 void *__cil_tmp49 ;
2663 void volatile *__cil_tmp50 ;
2664
2665 {
2666 {
2667#line 168
2668 num_amd_partitions = 0;
2669#line 177
2670 rc = 0;
2671#line 179
2672 __cil_tmp7 = (resource_size_t )4294897664U;
2673#line 179
2674 tmp___7 = ioremap_nocache(__cil_tmp7, 4096UL);
2675#line 179
2676 nettel_mmcrp = tmp___7;
2677 }
2678 {
2679#line 180
2680 __cil_tmp8 = (void *)0;
2681#line 180
2682 __cil_tmp9 = (unsigned long )__cil_tmp8;
2683#line 180
2684 __cil_tmp10 = (unsigned long )nettel_mmcrp;
2685#line 180
2686 if (__cil_tmp10 == __cil_tmp9) {
2687 {
2688#line 181
2689 printk("SNAPGEAR: failed to disable MMCR cache??\n");
2690 }
2691#line 182
2692 return (-5);
2693 } else {
2694
2695 }
2696 }
2697 {
2698#line 186
2699 __cil_tmp11 = nettel_mmcrp + 3172;
2700#line 186
2701 __cil_tmp12 = (unsigned char *)__cil_tmp11;
2702#line 186
2703 *__cil_tmp12 = (unsigned char)1;
2704#line 188
2705 __cil_tmp13 = nettel_mmcrp + 196;
2706#line 188
2707 amdpar = (unsigned long volatile *)__cil_tmp13;
2708#line 213
2709 amdaddr = 536870912UL;
2710#line 214
2711 maxsize = 2097152UL;
2712#line 216
2713 __cil_tmp14 = amdaddr >> 16;
2714#line 216
2715 __cil_tmp15 = __cil_tmp14 & 16383UL;
2716#line 216
2717 __cil_tmp16 = maxsize - 65536UL;
2718#line 216
2719 __cil_tmp17 = __cil_tmp16 >> 2;
2720#line 216
2721 __cil_tmp18 = __cil_tmp17 & 33538048UL;
2722#line 216
2723 __cil_tmp19 = 2315255808UL | __cil_tmp18;
2724#line 216
2725 __cil_tmp20 = __cil_tmp19 | __cil_tmp15;
2726#line 216
2727 *amdpar = (unsigned long volatile )__cil_tmp20;
2728#line 217
2729 __asm__ ("wbinvd":);
2730#line 219
2731 __cil_tmp21 = (unsigned long )(& nettel_amd_map) + 16;
2732#line 219
2733 *((resource_size_t *)__cil_tmp21) = (resource_size_t )amdaddr;
2734#line 220
2735 __cil_tmp22 = (unsigned long )(& nettel_amd_map) + 24;
2736#line 220
2737 __cil_tmp23 = (resource_size_t )amdaddr;
2738#line 220
2739 *((void **)__cil_tmp22) = ioremap_nocache(__cil_tmp23, maxsize);
2740 }
2741 {
2742#line 221
2743 __cil_tmp24 = (unsigned long )(& nettel_amd_map) + 24;
2744#line 221
2745 __cil_tmp25 = *((void **)__cil_tmp24);
2746#line 221
2747 if (! __cil_tmp25) {
2748 {
2749#line 222
2750 printk("SNAPGEAR: failed to ioremap() BOOTCS\n");
2751#line 223
2752 __cil_tmp26 = (void volatile *)nettel_mmcrp;
2753#line 223
2754 iounmap(__cil_tmp26);
2755 }
2756#line 224
2757 return (-5);
2758 } else {
2759
2760 }
2761 }
2762 {
2763#line 226
2764 simple_map_init(& nettel_amd_map);
2765#line 228
2766 amd_mtd = do_map_probe("jedec_probe", & nettel_amd_map);
2767 }
2768#line 228
2769 if (amd_mtd) {
2770 {
2771#line 229
2772 __cil_tmp27 = (unsigned long )amd_mtd;
2773#line 229
2774 __cil_tmp28 = __cil_tmp27 + 8;
2775#line 229
2776 __cil_tmp29 = *((uint64_t *)__cil_tmp28);
2777#line 229
2778 __cil_tmp30 = __cil_tmp29 >> 10;
2779#line 229
2780 __cil_tmp31 = (int )__cil_tmp30;
2781#line 229
2782 printk("<5>SNAPGEAR: AMD flash device size = %dK\n", __cil_tmp31);
2783#line 232
2784 __cil_tmp32 = (unsigned long )amd_mtd;
2785#line 232
2786 __cil_tmp33 = __cil_tmp32 + 368;
2787#line 232
2788 *((struct module **)__cil_tmp33) = & __this_module;
2789#line 235
2790 __cil_tmp34 = 160UL / 40UL;
2791#line 235
2792 __cil_tmp35 = __cil_tmp34 + 0UL;
2793#line 235
2794 num_amd_partitions = (int )__cil_tmp35;
2795 }
2796 {
2797#line 236
2798 __cil_tmp36 = (unsigned long )amd_mtd;
2799#line 236
2800 __cil_tmp37 = __cil_tmp36 + 8;
2801#line 236
2802 __cil_tmp38 = *((uint64_t *)__cil_tmp37);
2803#line 236
2804 if (__cil_tmp38 < 2097152ULL) {
2805#line 237
2806 num_amd_partitions = num_amd_partitions - 1;
2807 } else {
2808
2809 }
2810 }
2811 } else {
2812#line 284
2813 rc = -6;
2814#line 285
2815 goto out_unmap2;
2816 }
2817#line 391
2818 if (amd_mtd) {
2819 {
2820#line 392
2821 __cil_tmp39 = (void *)0;
2822#line 392
2823 __cil_tmp40 = (char const **)__cil_tmp39;
2824#line 392
2825 __cil_tmp41 = (void *)0;
2826#line 392
2827 __cil_tmp42 = (struct mtd_part_parser_data *)__cil_tmp41;
2828#line 392
2829 __cil_tmp43 = 0 * 40UL;
2830#line 392
2831 __cil_tmp44 = (unsigned long )(nettel_amd_partitions) + __cil_tmp43;
2832#line 392
2833 __cil_tmp45 = (struct mtd_partition *)__cil_tmp44;
2834#line 392
2835 __cil_tmp46 = (struct mtd_partition const *)__cil_tmp45;
2836#line 392
2837 rc = mtd_device_parse_register(amd_mtd, __cil_tmp40, __cil_tmp42, __cil_tmp46,
2838 num_amd_partitions);
2839 }
2840 } else {
2841
2842 }
2843#line 400
2844 return (rc);
2845 out_unmap2:
2846 {
2847#line 408
2848 __cil_tmp47 = (void volatile *)nettel_mmcrp;
2849#line 408
2850 iounmap(__cil_tmp47);
2851#line 409
2852 __cil_tmp48 = (unsigned long )(& nettel_amd_map) + 24;
2853#line 409
2854 __cil_tmp49 = *((void **)__cil_tmp48);
2855#line 409
2856 __cil_tmp50 = (void volatile *)__cil_tmp49;
2857#line 409
2858 iounmap(__cil_tmp50);
2859 }
2860#line 411
2861 return (rc);
2862}
2863}
2864#line 417
2865static void nettel_cleanup(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
2866#line 417 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2867static void nettel_cleanup(void)
2868{ void volatile *__cil_tmp1 ;
2869 unsigned long __cil_tmp2 ;
2870 unsigned long __cil_tmp3 ;
2871 void *__cil_tmp4 ;
2872 void volatile *__cil_tmp5 ;
2873 unsigned long __cil_tmp6 ;
2874
2875 {
2876#line 422
2877 if (amd_mtd) {
2878 {
2879#line 423
2880 mtd_device_unregister(amd_mtd);
2881#line 424
2882 map_destroy(amd_mtd);
2883 }
2884 } else {
2885
2886 }
2887#line 426
2888 if (nettel_mmcrp) {
2889 {
2890#line 427
2891 __cil_tmp1 = (void volatile *)nettel_mmcrp;
2892#line 427
2893 iounmap(__cil_tmp1);
2894#line 428
2895 nettel_mmcrp = (void *)0;
2896 }
2897 } else {
2898
2899 }
2900 {
2901#line 430
2902 __cil_tmp2 = (unsigned long )(& nettel_amd_map) + 24;
2903#line 430
2904 if (*((void **)__cil_tmp2)) {
2905 {
2906#line 431
2907 __cil_tmp3 = (unsigned long )(& nettel_amd_map) + 24;
2908#line 431
2909 __cil_tmp4 = *((void **)__cil_tmp3);
2910#line 431
2911 __cil_tmp5 = (void volatile *)__cil_tmp4;
2912#line 431
2913 iounmap(__cil_tmp5);
2914#line 432
2915 __cil_tmp6 = (unsigned long )(& nettel_amd_map) + 24;
2916#line 432
2917 *((void **)__cil_tmp6) = (void *)0;
2918 }
2919 } else {
2920
2921 }
2922 }
2923#line 444
2924 return;
2925}
2926}
2927#line 448 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2928int init_module(void)
2929{ int tmp___7 ;
2930
2931 {
2932 {
2933#line 448
2934 tmp___7 = nettel_init();
2935 }
2936#line 448
2937 return (tmp___7);
2938}
2939}
2940#line 449 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2941void cleanup_module(void)
2942{
2943
2944 {
2945 {
2946#line 449
2947 nettel_cleanup();
2948 }
2949#line 449
2950 return;
2951}
2952}
2953#line 451 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2954static char const __mod_license451[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
2955__aligned__(1))) =
2956#line 451
2957 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
2958 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
2959 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
2960#line 452 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2961static char const __mod_author452[40] __attribute__((__used__, __unused__, __section__(".modinfo"),
2962__aligned__(1))) =
2963#line 452
2964 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
2965 (char const )'o', (char const )'r', (char const )'=', (char const )'G',
2966 (char const )'r', (char const )'e', (char const )'g', (char const )' ',
2967 (char const )'U', (char const )'n', (char const )'g', (char const )'e',
2968 (char const )'r', (char const )'e', (char const )'r', (char const )' ',
2969 (char const )'<', (char const )'g', (char const )'e', (char const )'r',
2970 (char const )'g', (char const )'@', (char const )'s', (char const )'n',
2971 (char const )'a', (char const )'p', (char const )'g', (char const )'e',
2972 (char const )'a', (char const )'r', (char const )'.', (char const )'c',
2973 (char const )'o', (char const )'m', (char const )'>', (char const )'\000'};
2974#line 453 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2975static char const __mod_description453[46] __attribute__((__used__, __unused__,
2976__section__(".modinfo"), __aligned__(1))) =
2977#line 453
2978 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
2979 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
2980 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
2981 (char const )'S', (char const )'n', (char const )'a', (char const )'p',
2982 (char const )'G', (char const )'e', (char const )'a', (char const )'r',
2983 (char const )'/', (char const )'S', (char const )'e', (char const )'c',
2984 (char const )'u', (char const )'r', (char const )'e', (char const )'E',
2985 (char const )'d', (char const )'g', (char const )'e', (char const )' ',
2986 (char const )'F', (char const )'L', (char const )'A', (char const )'S',
2987 (char const )'H', (char const )' ', (char const )'s', (char const )'u',
2988 (char const )'p', (char const )'p', (char const )'o', (char const )'r',
2989 (char const )'t', (char const )'\000'};
2990#line 473
2991void ldv_check_final_state(void) ;
2992#line 479
2993extern void ldv_initialize(void) ;
2994#line 482
2995extern int __VERIFIER_nondet_int(void) ;
2996#line 485 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2997int LDV_IN_INTERRUPT ;
2998#line 488 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
2999void main(void)
3000{ int tmp___7 ;
3001 int tmp___8 ;
3002 int tmp___9 ;
3003
3004 {
3005 {
3006#line 500
3007 LDV_IN_INTERRUPT = 1;
3008#line 509
3009 ldv_initialize();
3010#line 541
3011 tmp___7 = nettel_init();
3012 }
3013#line 541
3014 if (tmp___7) {
3015#line 542
3016 goto ldv_final;
3017 } else {
3018
3019 }
3020 {
3021#line 550
3022 while (1) {
3023 while_continue: ;
3024 {
3025#line 550
3026 tmp___9 = __VERIFIER_nondet_int();
3027 }
3028#line 550
3029 if (tmp___9) {
3030
3031 } else {
3032#line 550
3033 goto while_break;
3034 }
3035 {
3036#line 553
3037 tmp___8 = __VERIFIER_nondet_int();
3038 }
3039 {
3040#line 555
3041 goto switch_default;
3042#line 553
3043 if (0) {
3044 switch_default:
3045#line 555
3046 goto switch_break;
3047 } else {
3048 switch_break: ;
3049 }
3050 }
3051 }
3052 while_break: ;
3053 }
3054 {
3055#line 608
3056 nettel_cleanup();
3057 }
3058 ldv_final:
3059 {
3060#line 611
3061 ldv_check_final_state();
3062 }
3063#line 614
3064 return;
3065}
3066}
3067#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3068void ldv_blast_assert(void)
3069{
3070
3071 {
3072 ERROR:
3073#line 6
3074 goto ERROR;
3075}
3076}
3077#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3078extern int __VERIFIER_nondet_int(void) ;
3079#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3080int ldv_mutex = 1;
3081#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3082int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3083{ int nondetermined ;
3084
3085 {
3086#line 29
3087 if (ldv_mutex == 1) {
3088
3089 } else {
3090 {
3091#line 29
3092 ldv_blast_assert();
3093 }
3094 }
3095 {
3096#line 32
3097 nondetermined = __VERIFIER_nondet_int();
3098 }
3099#line 35
3100 if (nondetermined) {
3101#line 38
3102 ldv_mutex = 2;
3103#line 40
3104 return (0);
3105 } else {
3106#line 45
3107 return (-4);
3108 }
3109}
3110}
3111#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3112int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3113{ int nondetermined ;
3114
3115 {
3116#line 57
3117 if (ldv_mutex == 1) {
3118
3119 } else {
3120 {
3121#line 57
3122 ldv_blast_assert();
3123 }
3124 }
3125 {
3126#line 60
3127 nondetermined = __VERIFIER_nondet_int();
3128 }
3129#line 63
3130 if (nondetermined) {
3131#line 66
3132 ldv_mutex = 2;
3133#line 68
3134 return (0);
3135 } else {
3136#line 73
3137 return (-4);
3138 }
3139}
3140}
3141#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3142int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3143{ int atomic_value_after_dec ;
3144
3145 {
3146#line 83
3147 if (ldv_mutex == 1) {
3148
3149 } else {
3150 {
3151#line 83
3152 ldv_blast_assert();
3153 }
3154 }
3155 {
3156#line 86
3157 atomic_value_after_dec = __VERIFIER_nondet_int();
3158 }
3159#line 89
3160 if (atomic_value_after_dec == 0) {
3161#line 92
3162 ldv_mutex = 2;
3163#line 94
3164 return (1);
3165 } else {
3166
3167 }
3168#line 98
3169 return (0);
3170}
3171}
3172#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3173void mutex_lock(struct mutex *lock )
3174{
3175
3176 {
3177#line 108
3178 if (ldv_mutex == 1) {
3179
3180 } else {
3181 {
3182#line 108
3183 ldv_blast_assert();
3184 }
3185 }
3186#line 110
3187 ldv_mutex = 2;
3188#line 111
3189 return;
3190}
3191}
3192#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3193int mutex_trylock(struct mutex *lock )
3194{ int nondetermined ;
3195
3196 {
3197#line 121
3198 if (ldv_mutex == 1) {
3199
3200 } else {
3201 {
3202#line 121
3203 ldv_blast_assert();
3204 }
3205 }
3206 {
3207#line 124
3208 nondetermined = __VERIFIER_nondet_int();
3209 }
3210#line 127
3211 if (nondetermined) {
3212#line 130
3213 ldv_mutex = 2;
3214#line 132
3215 return (1);
3216 } else {
3217#line 137
3218 return (0);
3219 }
3220}
3221}
3222#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3223void mutex_unlock(struct mutex *lock )
3224{
3225
3226 {
3227#line 147
3228 if (ldv_mutex == 2) {
3229
3230 } else {
3231 {
3232#line 147
3233 ldv_blast_assert();
3234 }
3235 }
3236#line 149
3237 ldv_mutex = 1;
3238#line 150
3239 return;
3240}
3241}
3242#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3243void ldv_check_final_state(void)
3244{
3245
3246 {
3247#line 156
3248 if (ldv_mutex == 1) {
3249
3250 } else {
3251 {
3252#line 156
3253 ldv_blast_assert();
3254 }
3255 }
3256#line 157
3257 return;
3258}
3259}
3260#line 623 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/5447/dscv_tempdir/dscv/ri/32_1/drivers/mtd/maps/nettel.c.common.c"
3261long s__builtin_expect(long val , long res )
3262{
3263
3264 {
3265#line 624
3266 return (val);
3267}
3268}