1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 22 "include/asm-generic/int-ll64.h"
7typedef short __s16;
8#line 23 "include/asm-generic/int-ll64.h"
9typedef unsigned short __u16;
10#line 25 "include/asm-generic/int-ll64.h"
11typedef int __s32;
12#line 26 "include/asm-generic/int-ll64.h"
13typedef unsigned int __u32;
14#line 29 "include/asm-generic/int-ll64.h"
15typedef long long __s64;
16#line 30 "include/asm-generic/int-ll64.h"
17typedef unsigned long long __u64;
18#line 43 "include/asm-generic/int-ll64.h"
19typedef unsigned char u8;
20#line 45 "include/asm-generic/int-ll64.h"
21typedef short s16;
22#line 46 "include/asm-generic/int-ll64.h"
23typedef unsigned short u16;
24#line 48 "include/asm-generic/int-ll64.h"
25typedef int s32;
26#line 49 "include/asm-generic/int-ll64.h"
27typedef unsigned int u32;
28#line 51 "include/asm-generic/int-ll64.h"
29typedef long long s64;
30#line 52 "include/asm-generic/int-ll64.h"
31typedef unsigned long long u64;
32#line 14 "include/asm-generic/posix_types.h"
33typedef long __kernel_long_t;
34#line 15 "include/asm-generic/posix_types.h"
35typedef unsigned long __kernel_ulong_t;
36#line 31 "include/asm-generic/posix_types.h"
37typedef int __kernel_pid_t;
38#line 52 "include/asm-generic/posix_types.h"
39typedef unsigned int __kernel_uid32_t;
40#line 53 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_gid32_t;
42#line 75 "include/asm-generic/posix_types.h"
43typedef __kernel_ulong_t __kernel_size_t;
44#line 76 "include/asm-generic/posix_types.h"
45typedef __kernel_long_t __kernel_ssize_t;
46#line 91 "include/asm-generic/posix_types.h"
47typedef long long __kernel_loff_t;
48#line 92 "include/asm-generic/posix_types.h"
49typedef __kernel_long_t __kernel_time_t;
50#line 93 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_clock_t;
52#line 94 "include/asm-generic/posix_types.h"
53typedef int __kernel_timer_t;
54#line 95 "include/asm-generic/posix_types.h"
55typedef int __kernel_clockid_t;
56#line 21 "include/linux/types.h"
57typedef __u32 __kernel_dev_t;
58#line 24 "include/linux/types.h"
59typedef __kernel_dev_t dev_t;
60#line 27 "include/linux/types.h"
61typedef unsigned short umode_t;
62#line 30 "include/linux/types.h"
63typedef __kernel_pid_t pid_t;
64#line 35 "include/linux/types.h"
65typedef __kernel_clockid_t clockid_t;
66#line 38 "include/linux/types.h"
67typedef _Bool bool;
68#line 40 "include/linux/types.h"
69typedef __kernel_uid32_t uid_t;
70#line 41 "include/linux/types.h"
71typedef __kernel_gid32_t gid_t;
72#line 54 "include/linux/types.h"
73typedef __kernel_loff_t loff_t;
74#line 63 "include/linux/types.h"
75typedef __kernel_size_t size_t;
76#line 68 "include/linux/types.h"
77typedef __kernel_ssize_t ssize_t;
78#line 78 "include/linux/types.h"
79typedef __kernel_time_t time_t;
80#line 111 "include/linux/types.h"
81typedef __s32 int32_t;
82#line 117 "include/linux/types.h"
83typedef __u32 uint32_t;
84#line 142 "include/linux/types.h"
85typedef unsigned long sector_t;
86#line 143 "include/linux/types.h"
87typedef unsigned long blkcnt_t;
88#line 155 "include/linux/types.h"
89typedef u64 dma_addr_t;
90#line 202 "include/linux/types.h"
91typedef unsigned int gfp_t;
92#line 203 "include/linux/types.h"
93typedef unsigned int fmode_t;
94#line 219 "include/linux/types.h"
95struct __anonstruct_atomic_t_7 {
96 int counter ;
97};
98#line 219 "include/linux/types.h"
99typedef struct __anonstruct_atomic_t_7 atomic_t;
100#line 224 "include/linux/types.h"
101struct __anonstruct_atomic64_t_8 {
102 long counter ;
103};
104#line 224 "include/linux/types.h"
105typedef struct __anonstruct_atomic64_t_8 atomic64_t;
106#line 229 "include/linux/types.h"
107struct list_head {
108 struct list_head *next ;
109 struct list_head *prev ;
110};
111#line 233
112struct hlist_node;
113#line 233 "include/linux/types.h"
114struct hlist_head {
115 struct hlist_node *first ;
116};
117#line 237 "include/linux/types.h"
118struct hlist_node {
119 struct hlist_node *next ;
120 struct hlist_node **pprev ;
121};
122#line 253 "include/linux/types.h"
123struct rcu_head {
124 struct rcu_head *next ;
125 void (*func)(struct rcu_head *head ) ;
126};
127#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
128struct module;
129#line 56
130struct module;
131#line 146 "include/linux/init.h"
132typedef void (*ctor_fn_t)(void);
133#line 47 "include/linux/dynamic_debug.h"
134struct device;
135#line 47
136struct device;
137#line 135 "include/linux/kernel.h"
138struct completion;
139#line 135
140struct completion;
141#line 136
142struct pt_regs;
143#line 136
144struct pt_regs;
145#line 349
146struct pid;
147#line 349
148struct pid;
149#line 12 "include/linux/thread_info.h"
150struct timespec;
151#line 12
152struct timespec;
153#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
154struct page;
155#line 18
156struct page;
157#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
158struct task_struct;
159#line 20
160struct task_struct;
161#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
162struct task_struct;
163#line 8
164struct mm_struct;
165#line 8
166struct mm_struct;
167#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
168struct pt_regs {
169 unsigned long r15 ;
170 unsigned long r14 ;
171 unsigned long r13 ;
172 unsigned long r12 ;
173 unsigned long bp ;
174 unsigned long bx ;
175 unsigned long r11 ;
176 unsigned long r10 ;
177 unsigned long r9 ;
178 unsigned long r8 ;
179 unsigned long ax ;
180 unsigned long cx ;
181 unsigned long dx ;
182 unsigned long si ;
183 unsigned long di ;
184 unsigned long orig_ax ;
185 unsigned long ip ;
186 unsigned long cs ;
187 unsigned long flags ;
188 unsigned long sp ;
189 unsigned long ss ;
190};
191#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
192struct __anonstruct____missing_field_name_15 {
193 unsigned int a ;
194 unsigned int b ;
195};
196#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
197struct __anonstruct____missing_field_name_16 {
198 u16 limit0 ;
199 u16 base0 ;
200 unsigned int base1 : 8 ;
201 unsigned int type : 4 ;
202 unsigned int s : 1 ;
203 unsigned int dpl : 2 ;
204 unsigned int p : 1 ;
205 unsigned int limit : 4 ;
206 unsigned int avl : 1 ;
207 unsigned int l : 1 ;
208 unsigned int d : 1 ;
209 unsigned int g : 1 ;
210 unsigned int base2 : 8 ;
211};
212#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
213union __anonunion____missing_field_name_14 {
214 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
215 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
216};
217#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
218struct desc_struct {
219 union __anonunion____missing_field_name_14 __annonCompField7 ;
220} __attribute__((__packed__)) ;
221#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
222typedef unsigned long pgdval_t;
223#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
224typedef unsigned long pgprotval_t;
225#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
226struct pgprot {
227 pgprotval_t pgprot ;
228};
229#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
230typedef struct pgprot pgprot_t;
231#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
232struct __anonstruct_pgd_t_20 {
233 pgdval_t pgd ;
234};
235#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
236typedef struct __anonstruct_pgd_t_20 pgd_t;
237#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
238typedef struct page *pgtable_t;
239#line 295
240struct file;
241#line 295
242struct file;
243#line 313
244struct seq_file;
245#line 313
246struct seq_file;
247#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
248struct page;
249#line 47
250struct thread_struct;
251#line 47
252struct thread_struct;
253#line 50
254struct mm_struct;
255#line 51
256struct desc_struct;
257#line 52
258struct task_struct;
259#line 53
260struct cpumask;
261#line 53
262struct cpumask;
263#line 329
264struct arch_spinlock;
265#line 329
266struct arch_spinlock;
267#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
268struct task_struct;
269#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
270struct kernel_vm86_regs {
271 struct pt_regs pt ;
272 unsigned short es ;
273 unsigned short __esh ;
274 unsigned short ds ;
275 unsigned short __dsh ;
276 unsigned short fs ;
277 unsigned short __fsh ;
278 unsigned short gs ;
279 unsigned short __gsh ;
280};
281#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
282union __anonunion____missing_field_name_24 {
283 struct pt_regs *regs ;
284 struct kernel_vm86_regs *vm86 ;
285};
286#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
287struct math_emu_info {
288 long ___orig_eip ;
289 union __anonunion____missing_field_name_24 __annonCompField8 ;
290};
291#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
292struct task_struct;
293#line 10 "include/asm-generic/bug.h"
294struct bug_entry {
295 int bug_addr_disp ;
296 int file_disp ;
297 unsigned short line ;
298 unsigned short flags ;
299};
300#line 12 "include/linux/bug.h"
301struct pt_regs;
302#line 14 "include/linux/cpumask.h"
303struct cpumask {
304 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
305};
306#line 14 "include/linux/cpumask.h"
307typedef struct cpumask cpumask_t;
308#line 637 "include/linux/cpumask.h"
309typedef struct cpumask *cpumask_var_t;
310#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
311struct static_key;
312#line 234
313struct static_key;
314#line 11 "include/linux/personality.h"
315struct pt_regs;
316#line 153 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
317struct seq_operations;
318#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
319struct i387_fsave_struct {
320 u32 cwd ;
321 u32 swd ;
322 u32 twd ;
323 u32 fip ;
324 u32 fcs ;
325 u32 foo ;
326 u32 fos ;
327 u32 st_space[20] ;
328 u32 status ;
329};
330#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
331struct __anonstruct____missing_field_name_31 {
332 u64 rip ;
333 u64 rdp ;
334};
335#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
336struct __anonstruct____missing_field_name_32 {
337 u32 fip ;
338 u32 fcs ;
339 u32 foo ;
340 u32 fos ;
341};
342#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
343union __anonunion____missing_field_name_30 {
344 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
345 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
346};
347#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
348union __anonunion____missing_field_name_33 {
349 u32 padding1[12] ;
350 u32 sw_reserved[12] ;
351};
352#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
353struct i387_fxsave_struct {
354 u16 cwd ;
355 u16 swd ;
356 u16 twd ;
357 u16 fop ;
358 union __anonunion____missing_field_name_30 __annonCompField14 ;
359 u32 mxcsr ;
360 u32 mxcsr_mask ;
361 u32 st_space[32] ;
362 u32 xmm_space[64] ;
363 u32 padding[12] ;
364 union __anonunion____missing_field_name_33 __annonCompField15 ;
365} __attribute__((__aligned__(16))) ;
366#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
367struct i387_soft_struct {
368 u32 cwd ;
369 u32 swd ;
370 u32 twd ;
371 u32 fip ;
372 u32 fcs ;
373 u32 foo ;
374 u32 fos ;
375 u32 st_space[20] ;
376 u8 ftop ;
377 u8 changed ;
378 u8 lookahead ;
379 u8 no_update ;
380 u8 rm ;
381 u8 alimit ;
382 struct math_emu_info *info ;
383 u32 entry_eip ;
384};
385#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
386struct ymmh_struct {
387 u32 ymmh_space[64] ;
388};
389#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
390struct xsave_hdr_struct {
391 u64 xstate_bv ;
392 u64 reserved1[2] ;
393 u64 reserved2[5] ;
394} __attribute__((__packed__)) ;
395#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
396struct xsave_struct {
397 struct i387_fxsave_struct i387 ;
398 struct xsave_hdr_struct xsave_hdr ;
399 struct ymmh_struct ymmh ;
400} __attribute__((__packed__, __aligned__(64))) ;
401#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
402union thread_xstate {
403 struct i387_fsave_struct fsave ;
404 struct i387_fxsave_struct fxsave ;
405 struct i387_soft_struct soft ;
406 struct xsave_struct xsave ;
407};
408#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
409struct fpu {
410 unsigned int last_cpu ;
411 unsigned int has_fpu ;
412 union thread_xstate *state ;
413};
414#line 433
415struct kmem_cache;
416#line 435
417struct perf_event;
418#line 435
419struct perf_event;
420#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
421struct thread_struct {
422 struct desc_struct tls_array[3] ;
423 unsigned long sp0 ;
424 unsigned long sp ;
425 unsigned long usersp ;
426 unsigned short es ;
427 unsigned short ds ;
428 unsigned short fsindex ;
429 unsigned short gsindex ;
430 unsigned long fs ;
431 unsigned long gs ;
432 struct perf_event *ptrace_bps[4] ;
433 unsigned long debugreg6 ;
434 unsigned long ptrace_dr7 ;
435 unsigned long cr2 ;
436 unsigned long trap_nr ;
437 unsigned long error_code ;
438 struct fpu fpu ;
439 unsigned long *io_bitmap_ptr ;
440 unsigned long iopl ;
441 unsigned int io_bitmap_max ;
442};
443#line 23 "include/asm-generic/atomic-long.h"
444typedef atomic64_t atomic_long_t;
445#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
446typedef u16 __ticket_t;
447#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
448typedef u32 __ticketpair_t;
449#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
450struct __raw_tickets {
451 __ticket_t head ;
452 __ticket_t tail ;
453};
454#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
455union __anonunion____missing_field_name_36 {
456 __ticketpair_t head_tail ;
457 struct __raw_tickets tickets ;
458};
459#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
460struct arch_spinlock {
461 union __anonunion____missing_field_name_36 __annonCompField17 ;
462};
463#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
464typedef struct arch_spinlock arch_spinlock_t;
465#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
466struct __anonstruct____missing_field_name_38 {
467 u32 read ;
468 s32 write ;
469};
470#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
471union __anonunion_arch_rwlock_t_37 {
472 s64 lock ;
473 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
474};
475#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
476typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
477#line 12 "include/linux/lockdep.h"
478struct task_struct;
479#line 391 "include/linux/lockdep.h"
480struct lock_class_key {
481
482};
483#line 20 "include/linux/spinlock_types.h"
484struct raw_spinlock {
485 arch_spinlock_t raw_lock ;
486 unsigned int magic ;
487 unsigned int owner_cpu ;
488 void *owner ;
489};
490#line 20 "include/linux/spinlock_types.h"
491typedef struct raw_spinlock raw_spinlock_t;
492#line 64 "include/linux/spinlock_types.h"
493union __anonunion____missing_field_name_39 {
494 struct raw_spinlock rlock ;
495};
496#line 64 "include/linux/spinlock_types.h"
497struct spinlock {
498 union __anonunion____missing_field_name_39 __annonCompField19 ;
499};
500#line 64 "include/linux/spinlock_types.h"
501typedef struct spinlock spinlock_t;
502#line 11 "include/linux/rwlock_types.h"
503struct __anonstruct_rwlock_t_40 {
504 arch_rwlock_t raw_lock ;
505 unsigned int magic ;
506 unsigned int owner_cpu ;
507 void *owner ;
508};
509#line 11 "include/linux/rwlock_types.h"
510typedef struct __anonstruct_rwlock_t_40 rwlock_t;
511#line 119 "include/linux/seqlock.h"
512struct seqcount {
513 unsigned int sequence ;
514};
515#line 119 "include/linux/seqlock.h"
516typedef struct seqcount seqcount_t;
517#line 14 "include/linux/time.h"
518struct timespec {
519 __kernel_time_t tv_sec ;
520 long tv_nsec ;
521};
522#line 62 "include/linux/stat.h"
523struct kstat {
524 u64 ino ;
525 dev_t dev ;
526 umode_t mode ;
527 unsigned int nlink ;
528 uid_t uid ;
529 gid_t gid ;
530 dev_t rdev ;
531 loff_t size ;
532 struct timespec atime ;
533 struct timespec mtime ;
534 struct timespec ctime ;
535 unsigned long blksize ;
536 unsigned long long blocks ;
537};
538#line 49 "include/linux/wait.h"
539struct __wait_queue_head {
540 spinlock_t lock ;
541 struct list_head task_list ;
542};
543#line 53 "include/linux/wait.h"
544typedef struct __wait_queue_head wait_queue_head_t;
545#line 55
546struct task_struct;
547#line 98 "include/linux/nodemask.h"
548struct __anonstruct_nodemask_t_42 {
549 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
550};
551#line 98 "include/linux/nodemask.h"
552typedef struct __anonstruct_nodemask_t_42 nodemask_t;
553#line 60 "include/linux/pageblock-flags.h"
554struct page;
555#line 48 "include/linux/mutex.h"
556struct mutex {
557 atomic_t count ;
558 spinlock_t wait_lock ;
559 struct list_head wait_list ;
560 struct task_struct *owner ;
561 char const *name ;
562 void *magic ;
563};
564#line 69 "include/linux/mutex.h"
565struct mutex_waiter {
566 struct list_head list ;
567 struct task_struct *task ;
568 void *magic ;
569};
570#line 19 "include/linux/rwsem.h"
571struct rw_semaphore;
572#line 19
573struct rw_semaphore;
574#line 25 "include/linux/rwsem.h"
575struct rw_semaphore {
576 long count ;
577 raw_spinlock_t wait_lock ;
578 struct list_head wait_list ;
579};
580#line 25 "include/linux/completion.h"
581struct completion {
582 unsigned int done ;
583 wait_queue_head_t wait ;
584};
585#line 9 "include/linux/memory_hotplug.h"
586struct page;
587#line 202 "include/linux/ioport.h"
588struct device;
589#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
590struct device;
591#line 46 "include/linux/ktime.h"
592union ktime {
593 s64 tv64 ;
594};
595#line 59 "include/linux/ktime.h"
596typedef union ktime ktime_t;
597#line 10 "include/linux/timer.h"
598struct tvec_base;
599#line 10
600struct tvec_base;
601#line 12 "include/linux/timer.h"
602struct timer_list {
603 struct list_head entry ;
604 unsigned long expires ;
605 struct tvec_base *base ;
606 void (*function)(unsigned long ) ;
607 unsigned long data ;
608 int slack ;
609 int start_pid ;
610 void *start_site ;
611 char start_comm[16] ;
612};
613#line 289
614struct hrtimer;
615#line 289
616struct hrtimer;
617#line 290
618enum hrtimer_restart;
619#line 17 "include/linux/workqueue.h"
620struct work_struct;
621#line 17
622struct work_struct;
623#line 79 "include/linux/workqueue.h"
624struct work_struct {
625 atomic_long_t data ;
626 struct list_head entry ;
627 void (*func)(struct work_struct *work ) ;
628};
629#line 92 "include/linux/workqueue.h"
630struct delayed_work {
631 struct work_struct work ;
632 struct timer_list timer ;
633};
634#line 42 "include/linux/pm.h"
635struct device;
636#line 50 "include/linux/pm.h"
637struct pm_message {
638 int event ;
639};
640#line 50 "include/linux/pm.h"
641typedef struct pm_message pm_message_t;
642#line 264 "include/linux/pm.h"
643struct dev_pm_ops {
644 int (*prepare)(struct device *dev ) ;
645 void (*complete)(struct device *dev ) ;
646 int (*suspend)(struct device *dev ) ;
647 int (*resume)(struct device *dev ) ;
648 int (*freeze)(struct device *dev ) ;
649 int (*thaw)(struct device *dev ) ;
650 int (*poweroff)(struct device *dev ) ;
651 int (*restore)(struct device *dev ) ;
652 int (*suspend_late)(struct device *dev ) ;
653 int (*resume_early)(struct device *dev ) ;
654 int (*freeze_late)(struct device *dev ) ;
655 int (*thaw_early)(struct device *dev ) ;
656 int (*poweroff_late)(struct device *dev ) ;
657 int (*restore_early)(struct device *dev ) ;
658 int (*suspend_noirq)(struct device *dev ) ;
659 int (*resume_noirq)(struct device *dev ) ;
660 int (*freeze_noirq)(struct device *dev ) ;
661 int (*thaw_noirq)(struct device *dev ) ;
662 int (*poweroff_noirq)(struct device *dev ) ;
663 int (*restore_noirq)(struct device *dev ) ;
664 int (*runtime_suspend)(struct device *dev ) ;
665 int (*runtime_resume)(struct device *dev ) ;
666 int (*runtime_idle)(struct device *dev ) ;
667};
668#line 458
669enum rpm_status {
670 RPM_ACTIVE = 0,
671 RPM_RESUMING = 1,
672 RPM_SUSPENDED = 2,
673 RPM_SUSPENDING = 3
674} ;
675#line 480
676enum rpm_request {
677 RPM_REQ_NONE = 0,
678 RPM_REQ_IDLE = 1,
679 RPM_REQ_SUSPEND = 2,
680 RPM_REQ_AUTOSUSPEND = 3,
681 RPM_REQ_RESUME = 4
682} ;
683#line 488
684struct wakeup_source;
685#line 488
686struct wakeup_source;
687#line 495 "include/linux/pm.h"
688struct pm_subsys_data {
689 spinlock_t lock ;
690 unsigned int refcount ;
691};
692#line 506
693struct dev_pm_qos_request;
694#line 506
695struct pm_qos_constraints;
696#line 506 "include/linux/pm.h"
697struct dev_pm_info {
698 pm_message_t power_state ;
699 unsigned int can_wakeup : 1 ;
700 unsigned int async_suspend : 1 ;
701 bool is_prepared : 1 ;
702 bool is_suspended : 1 ;
703 bool ignore_children : 1 ;
704 spinlock_t lock ;
705 struct list_head entry ;
706 struct completion completion ;
707 struct wakeup_source *wakeup ;
708 bool wakeup_path : 1 ;
709 struct timer_list suspend_timer ;
710 unsigned long timer_expires ;
711 struct work_struct work ;
712 wait_queue_head_t wait_queue ;
713 atomic_t usage_count ;
714 atomic_t child_count ;
715 unsigned int disable_depth : 3 ;
716 unsigned int idle_notification : 1 ;
717 unsigned int request_pending : 1 ;
718 unsigned int deferred_resume : 1 ;
719 unsigned int run_wake : 1 ;
720 unsigned int runtime_auto : 1 ;
721 unsigned int no_callbacks : 1 ;
722 unsigned int irq_safe : 1 ;
723 unsigned int use_autosuspend : 1 ;
724 unsigned int timer_autosuspends : 1 ;
725 enum rpm_request request ;
726 enum rpm_status runtime_status ;
727 int runtime_error ;
728 int autosuspend_delay ;
729 unsigned long last_busy ;
730 unsigned long active_jiffies ;
731 unsigned long suspended_jiffies ;
732 unsigned long accounting_timestamp ;
733 ktime_t suspend_time ;
734 s64 max_time_suspended_ns ;
735 struct dev_pm_qos_request *pq_req ;
736 struct pm_subsys_data *subsys_data ;
737 struct pm_qos_constraints *constraints ;
738};
739#line 564 "include/linux/pm.h"
740struct dev_pm_domain {
741 struct dev_pm_ops ops ;
742};
743#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
744struct __anonstruct_mm_context_t_112 {
745 void *ldt ;
746 int size ;
747 unsigned short ia32_compat ;
748 struct mutex lock ;
749 void *vdso ;
750};
751#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
752typedef struct __anonstruct_mm_context_t_112 mm_context_t;
753#line 8 "include/linux/vmalloc.h"
754struct vm_area_struct;
755#line 8
756struct vm_area_struct;
757#line 994 "include/linux/mmzone.h"
758struct page;
759#line 10 "include/linux/gfp.h"
760struct vm_area_struct;
761#line 29 "include/linux/sysctl.h"
762struct completion;
763#line 100 "include/linux/rbtree.h"
764struct rb_node {
765 unsigned long rb_parent_color ;
766 struct rb_node *rb_right ;
767 struct rb_node *rb_left ;
768} __attribute__((__aligned__(sizeof(long )))) ;
769#line 110 "include/linux/rbtree.h"
770struct rb_root {
771 struct rb_node *rb_node ;
772};
773#line 939 "include/linux/sysctl.h"
774struct nsproxy;
775#line 939
776struct nsproxy;
777#line 48 "include/linux/kmod.h"
778struct cred;
779#line 48
780struct cred;
781#line 49
782struct file;
783#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
784struct task_struct;
785#line 18 "include/linux/elf.h"
786typedef __u64 Elf64_Addr;
787#line 19 "include/linux/elf.h"
788typedef __u16 Elf64_Half;
789#line 23 "include/linux/elf.h"
790typedef __u32 Elf64_Word;
791#line 24 "include/linux/elf.h"
792typedef __u64 Elf64_Xword;
793#line 194 "include/linux/elf.h"
794struct elf64_sym {
795 Elf64_Word st_name ;
796 unsigned char st_info ;
797 unsigned char st_other ;
798 Elf64_Half st_shndx ;
799 Elf64_Addr st_value ;
800 Elf64_Xword st_size ;
801};
802#line 194 "include/linux/elf.h"
803typedef struct elf64_sym Elf64_Sym;
804#line 438
805struct file;
806#line 20 "include/linux/kobject_ns.h"
807struct sock;
808#line 20
809struct sock;
810#line 21
811struct kobject;
812#line 21
813struct kobject;
814#line 27
815enum kobj_ns_type {
816 KOBJ_NS_TYPE_NONE = 0,
817 KOBJ_NS_TYPE_NET = 1,
818 KOBJ_NS_TYPES = 2
819} ;
820#line 40 "include/linux/kobject_ns.h"
821struct kobj_ns_type_operations {
822 enum kobj_ns_type type ;
823 void *(*grab_current_ns)(void) ;
824 void const *(*netlink_ns)(struct sock *sk ) ;
825 void const *(*initial_ns)(void) ;
826 void (*drop_ns)(void * ) ;
827};
828#line 22 "include/linux/sysfs.h"
829struct kobject;
830#line 23
831struct module;
832#line 24
833enum kobj_ns_type;
834#line 26 "include/linux/sysfs.h"
835struct attribute {
836 char const *name ;
837 umode_t mode ;
838};
839#line 56 "include/linux/sysfs.h"
840struct attribute_group {
841 char const *name ;
842 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
843 struct attribute **attrs ;
844};
845#line 85
846struct file;
847#line 86
848struct vm_area_struct;
849#line 88 "include/linux/sysfs.h"
850struct bin_attribute {
851 struct attribute attr ;
852 size_t size ;
853 void *private ;
854 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
855 loff_t , size_t ) ;
856 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
857 loff_t , size_t ) ;
858 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
859};
860#line 112 "include/linux/sysfs.h"
861struct sysfs_ops {
862 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
863 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
864 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
865};
866#line 118
867struct sysfs_dirent;
868#line 118
869struct sysfs_dirent;
870#line 22 "include/linux/kref.h"
871struct kref {
872 atomic_t refcount ;
873};
874#line 60 "include/linux/kobject.h"
875struct kset;
876#line 60
877struct kobj_type;
878#line 60 "include/linux/kobject.h"
879struct kobject {
880 char const *name ;
881 struct list_head entry ;
882 struct kobject *parent ;
883 struct kset *kset ;
884 struct kobj_type *ktype ;
885 struct sysfs_dirent *sd ;
886 struct kref kref ;
887 unsigned int state_initialized : 1 ;
888 unsigned int state_in_sysfs : 1 ;
889 unsigned int state_add_uevent_sent : 1 ;
890 unsigned int state_remove_uevent_sent : 1 ;
891 unsigned int uevent_suppress : 1 ;
892};
893#line 108 "include/linux/kobject.h"
894struct kobj_type {
895 void (*release)(struct kobject *kobj ) ;
896 struct sysfs_ops const *sysfs_ops ;
897 struct attribute **default_attrs ;
898 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
899 void const *(*namespace)(struct kobject *kobj ) ;
900};
901#line 116 "include/linux/kobject.h"
902struct kobj_uevent_env {
903 char *envp[32] ;
904 int envp_idx ;
905 char buf[2048] ;
906 int buflen ;
907};
908#line 123 "include/linux/kobject.h"
909struct kset_uevent_ops {
910 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
911 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
912 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
913};
914#line 140
915struct sock;
916#line 159 "include/linux/kobject.h"
917struct kset {
918 struct list_head list ;
919 spinlock_t list_lock ;
920 struct kobject kobj ;
921 struct kset_uevent_ops const *uevent_ops ;
922};
923#line 39 "include/linux/moduleparam.h"
924struct kernel_param;
925#line 39
926struct kernel_param;
927#line 41 "include/linux/moduleparam.h"
928struct kernel_param_ops {
929 int (*set)(char const *val , struct kernel_param const *kp ) ;
930 int (*get)(char *buffer , struct kernel_param const *kp ) ;
931 void (*free)(void *arg ) ;
932};
933#line 50
934struct kparam_string;
935#line 50
936struct kparam_array;
937#line 50 "include/linux/moduleparam.h"
938union __anonunion____missing_field_name_199 {
939 void *arg ;
940 struct kparam_string const *str ;
941 struct kparam_array const *arr ;
942};
943#line 50 "include/linux/moduleparam.h"
944struct kernel_param {
945 char const *name ;
946 struct kernel_param_ops const *ops ;
947 u16 perm ;
948 s16 level ;
949 union __anonunion____missing_field_name_199 __annonCompField32 ;
950};
951#line 63 "include/linux/moduleparam.h"
952struct kparam_string {
953 unsigned int maxlen ;
954 char *string ;
955};
956#line 69 "include/linux/moduleparam.h"
957struct kparam_array {
958 unsigned int max ;
959 unsigned int elemsize ;
960 unsigned int *num ;
961 struct kernel_param_ops const *ops ;
962 void *elem ;
963};
964#line 445
965struct module;
966#line 80 "include/linux/jump_label.h"
967struct module;
968#line 143 "include/linux/jump_label.h"
969struct static_key {
970 atomic_t enabled ;
971};
972#line 22 "include/linux/tracepoint.h"
973struct module;
974#line 23
975struct tracepoint;
976#line 23
977struct tracepoint;
978#line 25 "include/linux/tracepoint.h"
979struct tracepoint_func {
980 void *func ;
981 void *data ;
982};
983#line 30 "include/linux/tracepoint.h"
984struct tracepoint {
985 char const *name ;
986 struct static_key key ;
987 void (*regfunc)(void) ;
988 void (*unregfunc)(void) ;
989 struct tracepoint_func *funcs ;
990};
991#line 19 "include/linux/export.h"
992struct kernel_symbol {
993 unsigned long value ;
994 char const *name ;
995};
996#line 8 "include/asm-generic/module.h"
997struct mod_arch_specific {
998
999};
1000#line 35 "include/linux/module.h"
1001struct module;
1002#line 37
1003struct module_param_attrs;
1004#line 37 "include/linux/module.h"
1005struct module_kobject {
1006 struct kobject kobj ;
1007 struct module *mod ;
1008 struct kobject *drivers_dir ;
1009 struct module_param_attrs *mp ;
1010};
1011#line 44 "include/linux/module.h"
1012struct module_attribute {
1013 struct attribute attr ;
1014 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1015 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1016 size_t count ) ;
1017 void (*setup)(struct module * , char const * ) ;
1018 int (*test)(struct module * ) ;
1019 void (*free)(struct module * ) ;
1020};
1021#line 71
1022struct exception_table_entry;
1023#line 71
1024struct exception_table_entry;
1025#line 199
1026enum module_state {
1027 MODULE_STATE_LIVE = 0,
1028 MODULE_STATE_COMING = 1,
1029 MODULE_STATE_GOING = 2
1030} ;
1031#line 215 "include/linux/module.h"
1032struct module_ref {
1033 unsigned long incs ;
1034 unsigned long decs ;
1035} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1036#line 220
1037struct module_sect_attrs;
1038#line 220
1039struct module_notes_attrs;
1040#line 220
1041struct ftrace_event_call;
1042#line 220 "include/linux/module.h"
1043struct module {
1044 enum module_state state ;
1045 struct list_head list ;
1046 char name[64UL - sizeof(unsigned long )] ;
1047 struct module_kobject mkobj ;
1048 struct module_attribute *modinfo_attrs ;
1049 char const *version ;
1050 char const *srcversion ;
1051 struct kobject *holders_dir ;
1052 struct kernel_symbol const *syms ;
1053 unsigned long const *crcs ;
1054 unsigned int num_syms ;
1055 struct kernel_param *kp ;
1056 unsigned int num_kp ;
1057 unsigned int num_gpl_syms ;
1058 struct kernel_symbol const *gpl_syms ;
1059 unsigned long const *gpl_crcs ;
1060 struct kernel_symbol const *unused_syms ;
1061 unsigned long const *unused_crcs ;
1062 unsigned int num_unused_syms ;
1063 unsigned int num_unused_gpl_syms ;
1064 struct kernel_symbol const *unused_gpl_syms ;
1065 unsigned long const *unused_gpl_crcs ;
1066 struct kernel_symbol const *gpl_future_syms ;
1067 unsigned long const *gpl_future_crcs ;
1068 unsigned int num_gpl_future_syms ;
1069 unsigned int num_exentries ;
1070 struct exception_table_entry *extable ;
1071 int (*init)(void) ;
1072 void *module_init ;
1073 void *module_core ;
1074 unsigned int init_size ;
1075 unsigned int core_size ;
1076 unsigned int init_text_size ;
1077 unsigned int core_text_size ;
1078 unsigned int init_ro_size ;
1079 unsigned int core_ro_size ;
1080 struct mod_arch_specific arch ;
1081 unsigned int taints ;
1082 unsigned int num_bugs ;
1083 struct list_head bug_list ;
1084 struct bug_entry *bug_table ;
1085 Elf64_Sym *symtab ;
1086 Elf64_Sym *core_symtab ;
1087 unsigned int num_symtab ;
1088 unsigned int core_num_syms ;
1089 char *strtab ;
1090 char *core_strtab ;
1091 struct module_sect_attrs *sect_attrs ;
1092 struct module_notes_attrs *notes_attrs ;
1093 char *args ;
1094 void *percpu ;
1095 unsigned int percpu_size ;
1096 unsigned int num_tracepoints ;
1097 struct tracepoint * const *tracepoints_ptrs ;
1098 unsigned int num_trace_bprintk_fmt ;
1099 char const **trace_bprintk_fmt_start ;
1100 struct ftrace_event_call **trace_events ;
1101 unsigned int num_trace_events ;
1102 struct list_head source_list ;
1103 struct list_head target_list ;
1104 struct task_struct *waiter ;
1105 void (*exit)(void) ;
1106 struct module_ref *refptr ;
1107 ctor_fn_t *ctors ;
1108 unsigned int num_ctors ;
1109};
1110#line 19 "include/linux/klist.h"
1111struct klist_node;
1112#line 19
1113struct klist_node;
1114#line 39 "include/linux/klist.h"
1115struct klist_node {
1116 void *n_klist ;
1117 struct list_head n_node ;
1118 struct kref n_ref ;
1119};
1120#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1121struct dma_map_ops;
1122#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1123struct dev_archdata {
1124 void *acpi_handle ;
1125 struct dma_map_ops *dma_ops ;
1126 void *iommu ;
1127};
1128#line 28 "include/linux/device.h"
1129struct device;
1130#line 29
1131struct device_private;
1132#line 29
1133struct device_private;
1134#line 30
1135struct device_driver;
1136#line 30
1137struct device_driver;
1138#line 31
1139struct driver_private;
1140#line 31
1141struct driver_private;
1142#line 32
1143struct module;
1144#line 33
1145struct class;
1146#line 33
1147struct class;
1148#line 34
1149struct subsys_private;
1150#line 34
1151struct subsys_private;
1152#line 35
1153struct bus_type;
1154#line 35
1155struct bus_type;
1156#line 36
1157struct device_node;
1158#line 36
1159struct device_node;
1160#line 37
1161struct iommu_ops;
1162#line 37
1163struct iommu_ops;
1164#line 39 "include/linux/device.h"
1165struct bus_attribute {
1166 struct attribute attr ;
1167 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1168 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1169};
1170#line 89
1171struct device_attribute;
1172#line 89
1173struct driver_attribute;
1174#line 89 "include/linux/device.h"
1175struct bus_type {
1176 char const *name ;
1177 char const *dev_name ;
1178 struct device *dev_root ;
1179 struct bus_attribute *bus_attrs ;
1180 struct device_attribute *dev_attrs ;
1181 struct driver_attribute *drv_attrs ;
1182 int (*match)(struct device *dev , struct device_driver *drv ) ;
1183 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1184 int (*probe)(struct device *dev ) ;
1185 int (*remove)(struct device *dev ) ;
1186 void (*shutdown)(struct device *dev ) ;
1187 int (*suspend)(struct device *dev , pm_message_t state ) ;
1188 int (*resume)(struct device *dev ) ;
1189 struct dev_pm_ops const *pm ;
1190 struct iommu_ops *iommu_ops ;
1191 struct subsys_private *p ;
1192};
1193#line 127
1194struct device_type;
1195#line 214
1196struct of_device_id;
1197#line 214 "include/linux/device.h"
1198struct device_driver {
1199 char const *name ;
1200 struct bus_type *bus ;
1201 struct module *owner ;
1202 char const *mod_name ;
1203 bool suppress_bind_attrs ;
1204 struct of_device_id const *of_match_table ;
1205 int (*probe)(struct device *dev ) ;
1206 int (*remove)(struct device *dev ) ;
1207 void (*shutdown)(struct device *dev ) ;
1208 int (*suspend)(struct device *dev , pm_message_t state ) ;
1209 int (*resume)(struct device *dev ) ;
1210 struct attribute_group const **groups ;
1211 struct dev_pm_ops const *pm ;
1212 struct driver_private *p ;
1213};
1214#line 249 "include/linux/device.h"
1215struct driver_attribute {
1216 struct attribute attr ;
1217 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1218 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1219};
1220#line 330
1221struct class_attribute;
1222#line 330 "include/linux/device.h"
1223struct class {
1224 char const *name ;
1225 struct module *owner ;
1226 struct class_attribute *class_attrs ;
1227 struct device_attribute *dev_attrs ;
1228 struct bin_attribute *dev_bin_attrs ;
1229 struct kobject *dev_kobj ;
1230 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1231 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1232 void (*class_release)(struct class *class ) ;
1233 void (*dev_release)(struct device *dev ) ;
1234 int (*suspend)(struct device *dev , pm_message_t state ) ;
1235 int (*resume)(struct device *dev ) ;
1236 struct kobj_ns_type_operations const *ns_type ;
1237 void const *(*namespace)(struct device *dev ) ;
1238 struct dev_pm_ops const *pm ;
1239 struct subsys_private *p ;
1240};
1241#line 397 "include/linux/device.h"
1242struct class_attribute {
1243 struct attribute attr ;
1244 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1245 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1246 size_t count ) ;
1247 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1248};
1249#line 465 "include/linux/device.h"
1250struct device_type {
1251 char const *name ;
1252 struct attribute_group const **groups ;
1253 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1254 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1255 void (*release)(struct device *dev ) ;
1256 struct dev_pm_ops const *pm ;
1257};
1258#line 476 "include/linux/device.h"
1259struct device_attribute {
1260 struct attribute attr ;
1261 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1262 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1263 size_t count ) ;
1264};
1265#line 559 "include/linux/device.h"
1266struct device_dma_parameters {
1267 unsigned int max_segment_size ;
1268 unsigned long segment_boundary_mask ;
1269};
1270#line 627
1271struct dma_coherent_mem;
1272#line 627 "include/linux/device.h"
1273struct device {
1274 struct device *parent ;
1275 struct device_private *p ;
1276 struct kobject kobj ;
1277 char const *init_name ;
1278 struct device_type const *type ;
1279 struct mutex mutex ;
1280 struct bus_type *bus ;
1281 struct device_driver *driver ;
1282 void *platform_data ;
1283 struct dev_pm_info power ;
1284 struct dev_pm_domain *pm_domain ;
1285 int numa_node ;
1286 u64 *dma_mask ;
1287 u64 coherent_dma_mask ;
1288 struct device_dma_parameters *dma_parms ;
1289 struct list_head dma_pools ;
1290 struct dma_coherent_mem *dma_mem ;
1291 struct dev_archdata archdata ;
1292 struct device_node *of_node ;
1293 dev_t devt ;
1294 u32 id ;
1295 spinlock_t devres_lock ;
1296 struct list_head devres_head ;
1297 struct klist_node knode_class ;
1298 struct class *class ;
1299 struct attribute_group const **groups ;
1300 void (*release)(struct device *dev ) ;
1301};
1302#line 43 "include/linux/pm_wakeup.h"
1303struct wakeup_source {
1304 char const *name ;
1305 struct list_head entry ;
1306 spinlock_t lock ;
1307 struct timer_list timer ;
1308 unsigned long timer_expires ;
1309 ktime_t total_time ;
1310 ktime_t max_time ;
1311 ktime_t last_time ;
1312 unsigned long event_count ;
1313 unsigned long active_count ;
1314 unsigned long relax_count ;
1315 unsigned long hit_count ;
1316 unsigned int active : 1 ;
1317};
1318#line 12 "include/linux/mod_devicetable.h"
1319typedef unsigned long kernel_ulong_t;
1320#line 219 "include/linux/mod_devicetable.h"
1321struct of_device_id {
1322 char name[32] ;
1323 char type[32] ;
1324 char compatible[128] ;
1325 void *data ;
1326};
1327#line 442 "include/linux/mod_devicetable.h"
1328struct spi_device_id {
1329 char name[32] ;
1330 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1331};
1332#line 20 "include/linux/rtc.h"
1333struct rtc_time {
1334 int tm_sec ;
1335 int tm_min ;
1336 int tm_hour ;
1337 int tm_mday ;
1338 int tm_mon ;
1339 int tm_year ;
1340 int tm_wday ;
1341 int tm_yday ;
1342 int tm_isdst ;
1343};
1344#line 36 "include/linux/rtc.h"
1345struct rtc_wkalrm {
1346 unsigned char enabled ;
1347 unsigned char pending ;
1348 struct rtc_time time ;
1349};
1350#line 31 "include/linux/irq.h"
1351struct seq_file;
1352#line 32
1353struct module;
1354#line 14 "include/linux/irqdesc.h"
1355struct module;
1356#line 17 "include/linux/profile.h"
1357struct pt_regs;
1358#line 65
1359struct task_struct;
1360#line 66
1361struct mm_struct;
1362#line 88
1363struct pt_regs;
1364#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
1365struct exception_table_entry {
1366 unsigned long insn ;
1367 unsigned long fixup ;
1368};
1369#line 132 "include/linux/hardirq.h"
1370struct task_struct;
1371#line 8 "include/linux/timerqueue.h"
1372struct timerqueue_node {
1373 struct rb_node node ;
1374 ktime_t expires ;
1375};
1376#line 13 "include/linux/timerqueue.h"
1377struct timerqueue_head {
1378 struct rb_root head ;
1379 struct timerqueue_node *next ;
1380};
1381#line 27 "include/linux/hrtimer.h"
1382struct hrtimer_clock_base;
1383#line 27
1384struct hrtimer_clock_base;
1385#line 28
1386struct hrtimer_cpu_base;
1387#line 28
1388struct hrtimer_cpu_base;
1389#line 44
1390enum hrtimer_restart {
1391 HRTIMER_NORESTART = 0,
1392 HRTIMER_RESTART = 1
1393} ;
1394#line 108 "include/linux/hrtimer.h"
1395struct hrtimer {
1396 struct timerqueue_node node ;
1397 ktime_t _softexpires ;
1398 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1399 struct hrtimer_clock_base *base ;
1400 unsigned long state ;
1401 int start_pid ;
1402 void *start_site ;
1403 char start_comm[16] ;
1404};
1405#line 145 "include/linux/hrtimer.h"
1406struct hrtimer_clock_base {
1407 struct hrtimer_cpu_base *cpu_base ;
1408 int index ;
1409 clockid_t clockid ;
1410 struct timerqueue_head active ;
1411 ktime_t resolution ;
1412 ktime_t (*get_time)(void) ;
1413 ktime_t softirq_time ;
1414 ktime_t offset ;
1415};
1416#line 178 "include/linux/hrtimer.h"
1417struct hrtimer_cpu_base {
1418 raw_spinlock_t lock ;
1419 unsigned long active_bases ;
1420 ktime_t expires_next ;
1421 int hres_active ;
1422 int hang_detected ;
1423 unsigned long nr_events ;
1424 unsigned long nr_retries ;
1425 unsigned long nr_hangs ;
1426 ktime_t max_hang_time ;
1427 struct hrtimer_clock_base clock_base[3] ;
1428};
1429#line 187 "include/linux/interrupt.h"
1430struct device;
1431#line 695
1432struct seq_file;
1433#line 11 "include/linux/seq_file.h"
1434struct seq_operations;
1435#line 12
1436struct file;
1437#line 13
1438struct path;
1439#line 13
1440struct path;
1441#line 14
1442struct inode;
1443#line 14
1444struct inode;
1445#line 15
1446struct dentry;
1447#line 15
1448struct dentry;
1449#line 17 "include/linux/seq_file.h"
1450struct seq_file {
1451 char *buf ;
1452 size_t size ;
1453 size_t from ;
1454 size_t count ;
1455 loff_t index ;
1456 loff_t read_pos ;
1457 u64 version ;
1458 struct mutex lock ;
1459 struct seq_operations const *op ;
1460 int poll_event ;
1461 void *private ;
1462};
1463#line 31 "include/linux/seq_file.h"
1464struct seq_operations {
1465 void *(*start)(struct seq_file *m , loff_t *pos ) ;
1466 void (*stop)(struct seq_file *m , void *v ) ;
1467 void *(*next)(struct seq_file *m , void *v , loff_t *pos ) ;
1468 int (*show)(struct seq_file *m , void *v ) ;
1469};
1470#line 8 "include/linux/cdev.h"
1471struct file_operations;
1472#line 8
1473struct file_operations;
1474#line 9
1475struct inode;
1476#line 10
1477struct module;
1478#line 12 "include/linux/cdev.h"
1479struct cdev {
1480 struct kobject kobj ;
1481 struct module *owner ;
1482 struct file_operations const *ops ;
1483 struct list_head list ;
1484 dev_t dev ;
1485 unsigned int count ;
1486};
1487#line 33
1488struct backing_dev_info;
1489#line 15 "include/linux/blk_types.h"
1490struct page;
1491#line 16
1492struct block_device;
1493#line 16
1494struct block_device;
1495#line 33 "include/linux/list_bl.h"
1496struct hlist_bl_node;
1497#line 33 "include/linux/list_bl.h"
1498struct hlist_bl_head {
1499 struct hlist_bl_node *first ;
1500};
1501#line 37 "include/linux/list_bl.h"
1502struct hlist_bl_node {
1503 struct hlist_bl_node *next ;
1504 struct hlist_bl_node **pprev ;
1505};
1506#line 13 "include/linux/dcache.h"
1507struct nameidata;
1508#line 13
1509struct nameidata;
1510#line 14
1511struct path;
1512#line 15
1513struct vfsmount;
1514#line 15
1515struct vfsmount;
1516#line 35 "include/linux/dcache.h"
1517struct qstr {
1518 unsigned int hash ;
1519 unsigned int len ;
1520 unsigned char const *name ;
1521};
1522#line 88
1523struct dentry_operations;
1524#line 88
1525struct super_block;
1526#line 88 "include/linux/dcache.h"
1527union __anonunion_d_u_210 {
1528 struct list_head d_child ;
1529 struct rcu_head d_rcu ;
1530};
1531#line 88 "include/linux/dcache.h"
1532struct dentry {
1533 unsigned int d_flags ;
1534 seqcount_t d_seq ;
1535 struct hlist_bl_node d_hash ;
1536 struct dentry *d_parent ;
1537 struct qstr d_name ;
1538 struct inode *d_inode ;
1539 unsigned char d_iname[32] ;
1540 unsigned int d_count ;
1541 spinlock_t d_lock ;
1542 struct dentry_operations const *d_op ;
1543 struct super_block *d_sb ;
1544 unsigned long d_time ;
1545 void *d_fsdata ;
1546 struct list_head d_lru ;
1547 union __anonunion_d_u_210 d_u ;
1548 struct list_head d_subdirs ;
1549 struct list_head d_alias ;
1550};
1551#line 131 "include/linux/dcache.h"
1552struct dentry_operations {
1553 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1554 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1555 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1556 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1557 int (*d_delete)(struct dentry const * ) ;
1558 void (*d_release)(struct dentry * ) ;
1559 void (*d_prune)(struct dentry * ) ;
1560 void (*d_iput)(struct dentry * , struct inode * ) ;
1561 char *(*d_dname)(struct dentry * , char * , int ) ;
1562 struct vfsmount *(*d_automount)(struct path * ) ;
1563 int (*d_manage)(struct dentry * , bool ) ;
1564} __attribute__((__aligned__((1) << (6) ))) ;
1565#line 4 "include/linux/path.h"
1566struct dentry;
1567#line 5
1568struct vfsmount;
1569#line 7 "include/linux/path.h"
1570struct path {
1571 struct vfsmount *mnt ;
1572 struct dentry *dentry ;
1573};
1574#line 64 "include/linux/radix-tree.h"
1575struct radix_tree_node;
1576#line 64 "include/linux/radix-tree.h"
1577struct radix_tree_root {
1578 unsigned int height ;
1579 gfp_t gfp_mask ;
1580 struct radix_tree_node *rnode ;
1581};
1582#line 14 "include/linux/prio_tree.h"
1583struct prio_tree_node;
1584#line 14 "include/linux/prio_tree.h"
1585struct raw_prio_tree_node {
1586 struct prio_tree_node *left ;
1587 struct prio_tree_node *right ;
1588 struct prio_tree_node *parent ;
1589};
1590#line 20 "include/linux/prio_tree.h"
1591struct prio_tree_node {
1592 struct prio_tree_node *left ;
1593 struct prio_tree_node *right ;
1594 struct prio_tree_node *parent ;
1595 unsigned long start ;
1596 unsigned long last ;
1597};
1598#line 28 "include/linux/prio_tree.h"
1599struct prio_tree_root {
1600 struct prio_tree_node *prio_tree_node ;
1601 unsigned short index_bits ;
1602 unsigned short raw ;
1603};
1604#line 6 "include/linux/pid.h"
1605enum pid_type {
1606 PIDTYPE_PID = 0,
1607 PIDTYPE_PGID = 1,
1608 PIDTYPE_SID = 2,
1609 PIDTYPE_MAX = 3
1610} ;
1611#line 50
1612struct pid_namespace;
1613#line 50 "include/linux/pid.h"
1614struct upid {
1615 int nr ;
1616 struct pid_namespace *ns ;
1617 struct hlist_node pid_chain ;
1618};
1619#line 57 "include/linux/pid.h"
1620struct pid {
1621 atomic_t count ;
1622 unsigned int level ;
1623 struct hlist_head tasks[3] ;
1624 struct rcu_head rcu ;
1625 struct upid numbers[1] ;
1626};
1627#line 69 "include/linux/pid.h"
1628struct pid_link {
1629 struct hlist_node node ;
1630 struct pid *pid ;
1631};
1632#line 100
1633struct pid_namespace;
1634#line 18 "include/linux/capability.h"
1635struct task_struct;
1636#line 94 "include/linux/capability.h"
1637struct kernel_cap_struct {
1638 __u32 cap[2] ;
1639};
1640#line 94 "include/linux/capability.h"
1641typedef struct kernel_cap_struct kernel_cap_t;
1642#line 377
1643struct dentry;
1644#line 378
1645struct user_namespace;
1646#line 378
1647struct user_namespace;
1648#line 16 "include/linux/fiemap.h"
1649struct fiemap_extent {
1650 __u64 fe_logical ;
1651 __u64 fe_physical ;
1652 __u64 fe_length ;
1653 __u64 fe_reserved64[2] ;
1654 __u32 fe_flags ;
1655 __u32 fe_reserved[3] ;
1656};
1657#line 8 "include/linux/shrinker.h"
1658struct shrink_control {
1659 gfp_t gfp_mask ;
1660 unsigned long nr_to_scan ;
1661};
1662#line 31 "include/linux/shrinker.h"
1663struct shrinker {
1664 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1665 int seeks ;
1666 long batch ;
1667 struct list_head list ;
1668 atomic_long_t nr_in_batch ;
1669};
1670#line 10 "include/linux/migrate_mode.h"
1671enum migrate_mode {
1672 MIGRATE_ASYNC = 0,
1673 MIGRATE_SYNC_LIGHT = 1,
1674 MIGRATE_SYNC = 2
1675} ;
1676#line 408 "include/linux/fs.h"
1677struct export_operations;
1678#line 408
1679struct export_operations;
1680#line 410
1681struct iovec;
1682#line 410
1683struct iovec;
1684#line 411
1685struct nameidata;
1686#line 412
1687struct kiocb;
1688#line 412
1689struct kiocb;
1690#line 413
1691struct kobject;
1692#line 414
1693struct pipe_inode_info;
1694#line 414
1695struct pipe_inode_info;
1696#line 415
1697struct poll_table_struct;
1698#line 415
1699struct poll_table_struct;
1700#line 416
1701struct kstatfs;
1702#line 416
1703struct kstatfs;
1704#line 417
1705struct vm_area_struct;
1706#line 418
1707struct vfsmount;
1708#line 419
1709struct cred;
1710#line 469 "include/linux/fs.h"
1711struct iattr {
1712 unsigned int ia_valid ;
1713 umode_t ia_mode ;
1714 uid_t ia_uid ;
1715 gid_t ia_gid ;
1716 loff_t ia_size ;
1717 struct timespec ia_atime ;
1718 struct timespec ia_mtime ;
1719 struct timespec ia_ctime ;
1720 struct file *ia_file ;
1721};
1722#line 129 "include/linux/quota.h"
1723struct if_dqinfo {
1724 __u64 dqi_bgrace ;
1725 __u64 dqi_igrace ;
1726 __u32 dqi_flags ;
1727 __u32 dqi_valid ;
1728};
1729#line 50 "include/linux/dqblk_xfs.h"
1730struct fs_disk_quota {
1731 __s8 d_version ;
1732 __s8 d_flags ;
1733 __u16 d_fieldmask ;
1734 __u32 d_id ;
1735 __u64 d_blk_hardlimit ;
1736 __u64 d_blk_softlimit ;
1737 __u64 d_ino_hardlimit ;
1738 __u64 d_ino_softlimit ;
1739 __u64 d_bcount ;
1740 __u64 d_icount ;
1741 __s32 d_itimer ;
1742 __s32 d_btimer ;
1743 __u16 d_iwarns ;
1744 __u16 d_bwarns ;
1745 __s32 d_padding2 ;
1746 __u64 d_rtb_hardlimit ;
1747 __u64 d_rtb_softlimit ;
1748 __u64 d_rtbcount ;
1749 __s32 d_rtbtimer ;
1750 __u16 d_rtbwarns ;
1751 __s16 d_padding3 ;
1752 char d_padding4[8] ;
1753};
1754#line 146 "include/linux/dqblk_xfs.h"
1755struct fs_qfilestat {
1756 __u64 qfs_ino ;
1757 __u64 qfs_nblks ;
1758 __u32 qfs_nextents ;
1759};
1760#line 146 "include/linux/dqblk_xfs.h"
1761typedef struct fs_qfilestat fs_qfilestat_t;
1762#line 152 "include/linux/dqblk_xfs.h"
1763struct fs_quota_stat {
1764 __s8 qs_version ;
1765 __u16 qs_flags ;
1766 __s8 qs_pad ;
1767 fs_qfilestat_t qs_uquota ;
1768 fs_qfilestat_t qs_gquota ;
1769 __u32 qs_incoredqs ;
1770 __s32 qs_btimelimit ;
1771 __s32 qs_itimelimit ;
1772 __s32 qs_rtbtimelimit ;
1773 __u16 qs_bwarnlimit ;
1774 __u16 qs_iwarnlimit ;
1775};
1776#line 17 "include/linux/dqblk_qtree.h"
1777struct dquot;
1778#line 17
1779struct dquot;
1780#line 185 "include/linux/quota.h"
1781typedef __kernel_uid32_t qid_t;
1782#line 186 "include/linux/quota.h"
1783typedef long long qsize_t;
1784#line 200 "include/linux/quota.h"
1785struct mem_dqblk {
1786 qsize_t dqb_bhardlimit ;
1787 qsize_t dqb_bsoftlimit ;
1788 qsize_t dqb_curspace ;
1789 qsize_t dqb_rsvspace ;
1790 qsize_t dqb_ihardlimit ;
1791 qsize_t dqb_isoftlimit ;
1792 qsize_t dqb_curinodes ;
1793 time_t dqb_btime ;
1794 time_t dqb_itime ;
1795};
1796#line 215
1797struct quota_format_type;
1798#line 215
1799struct quota_format_type;
1800#line 217 "include/linux/quota.h"
1801struct mem_dqinfo {
1802 struct quota_format_type *dqi_format ;
1803 int dqi_fmt_id ;
1804 struct list_head dqi_dirty_list ;
1805 unsigned long dqi_flags ;
1806 unsigned int dqi_bgrace ;
1807 unsigned int dqi_igrace ;
1808 qsize_t dqi_maxblimit ;
1809 qsize_t dqi_maxilimit ;
1810 void *dqi_priv ;
1811};
1812#line 230
1813struct super_block;
1814#line 288 "include/linux/quota.h"
1815struct dquot {
1816 struct hlist_node dq_hash ;
1817 struct list_head dq_inuse ;
1818 struct list_head dq_free ;
1819 struct list_head dq_dirty ;
1820 struct mutex dq_lock ;
1821 atomic_t dq_count ;
1822 wait_queue_head_t dq_wait_unused ;
1823 struct super_block *dq_sb ;
1824 unsigned int dq_id ;
1825 loff_t dq_off ;
1826 unsigned long dq_flags ;
1827 short dq_type ;
1828 struct mem_dqblk dq_dqb ;
1829};
1830#line 305 "include/linux/quota.h"
1831struct quota_format_ops {
1832 int (*check_quota_file)(struct super_block *sb , int type ) ;
1833 int (*read_file_info)(struct super_block *sb , int type ) ;
1834 int (*write_file_info)(struct super_block *sb , int type ) ;
1835 int (*free_file_info)(struct super_block *sb , int type ) ;
1836 int (*read_dqblk)(struct dquot *dquot ) ;
1837 int (*commit_dqblk)(struct dquot *dquot ) ;
1838 int (*release_dqblk)(struct dquot *dquot ) ;
1839};
1840#line 316 "include/linux/quota.h"
1841struct dquot_operations {
1842 int (*write_dquot)(struct dquot * ) ;
1843 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1844 void (*destroy_dquot)(struct dquot * ) ;
1845 int (*acquire_dquot)(struct dquot * ) ;
1846 int (*release_dquot)(struct dquot * ) ;
1847 int (*mark_dirty)(struct dquot * ) ;
1848 int (*write_info)(struct super_block * , int ) ;
1849 qsize_t *(*get_reserved_space)(struct inode * ) ;
1850};
1851#line 329
1852struct path;
1853#line 332 "include/linux/quota.h"
1854struct quotactl_ops {
1855 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1856 int (*quota_on_meta)(struct super_block * , int , int ) ;
1857 int (*quota_off)(struct super_block * , int ) ;
1858 int (*quota_sync)(struct super_block * , int , int ) ;
1859 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1860 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1861 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1862 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1863 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1864 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1865};
1866#line 345 "include/linux/quota.h"
1867struct quota_format_type {
1868 int qf_fmt_id ;
1869 struct quota_format_ops const *qf_ops ;
1870 struct module *qf_owner ;
1871 struct quota_format_type *qf_next ;
1872};
1873#line 399 "include/linux/quota.h"
1874struct quota_info {
1875 unsigned int flags ;
1876 struct mutex dqio_mutex ;
1877 struct mutex dqonoff_mutex ;
1878 struct rw_semaphore dqptr_sem ;
1879 struct inode *files[2] ;
1880 struct mem_dqinfo info[2] ;
1881 struct quota_format_ops const *ops[2] ;
1882};
1883#line 532 "include/linux/fs.h"
1884struct page;
1885#line 533
1886struct address_space;
1887#line 533
1888struct address_space;
1889#line 534
1890struct writeback_control;
1891#line 534
1892struct writeback_control;
1893#line 577 "include/linux/fs.h"
1894union __anonunion_arg_218 {
1895 char *buf ;
1896 void *data ;
1897};
1898#line 577 "include/linux/fs.h"
1899struct __anonstruct_read_descriptor_t_217 {
1900 size_t written ;
1901 size_t count ;
1902 union __anonunion_arg_218 arg ;
1903 int error ;
1904};
1905#line 577 "include/linux/fs.h"
1906typedef struct __anonstruct_read_descriptor_t_217 read_descriptor_t;
1907#line 590 "include/linux/fs.h"
1908struct address_space_operations {
1909 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1910 int (*readpage)(struct file * , struct page * ) ;
1911 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1912 int (*set_page_dirty)(struct page *page ) ;
1913 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1914 unsigned int nr_pages ) ;
1915 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1916 unsigned int len , unsigned int flags , struct page **pagep ,
1917 void **fsdata ) ;
1918 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1919 unsigned int copied , struct page *page , void *fsdata ) ;
1920 sector_t (*bmap)(struct address_space * , sector_t ) ;
1921 void (*invalidatepage)(struct page * , unsigned long ) ;
1922 int (*releasepage)(struct page * , gfp_t ) ;
1923 void (*freepage)(struct page * ) ;
1924 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1925 unsigned long nr_segs ) ;
1926 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1927 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1928 int (*launder_page)(struct page * ) ;
1929 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1930 int (*error_remove_page)(struct address_space * , struct page * ) ;
1931};
1932#line 645
1933struct backing_dev_info;
1934#line 646 "include/linux/fs.h"
1935struct address_space {
1936 struct inode *host ;
1937 struct radix_tree_root page_tree ;
1938 spinlock_t tree_lock ;
1939 unsigned int i_mmap_writable ;
1940 struct prio_tree_root i_mmap ;
1941 struct list_head i_mmap_nonlinear ;
1942 struct mutex i_mmap_mutex ;
1943 unsigned long nrpages ;
1944 unsigned long writeback_index ;
1945 struct address_space_operations const *a_ops ;
1946 unsigned long flags ;
1947 struct backing_dev_info *backing_dev_info ;
1948 spinlock_t private_lock ;
1949 struct list_head private_list ;
1950 struct address_space *assoc_mapping ;
1951} __attribute__((__aligned__(sizeof(long )))) ;
1952#line 669
1953struct request_queue;
1954#line 669
1955struct request_queue;
1956#line 671
1957struct hd_struct;
1958#line 671
1959struct gendisk;
1960#line 671 "include/linux/fs.h"
1961struct block_device {
1962 dev_t bd_dev ;
1963 int bd_openers ;
1964 struct inode *bd_inode ;
1965 struct super_block *bd_super ;
1966 struct mutex bd_mutex ;
1967 struct list_head bd_inodes ;
1968 void *bd_claiming ;
1969 void *bd_holder ;
1970 int bd_holders ;
1971 bool bd_write_holder ;
1972 struct list_head bd_holder_disks ;
1973 struct block_device *bd_contains ;
1974 unsigned int bd_block_size ;
1975 struct hd_struct *bd_part ;
1976 unsigned int bd_part_count ;
1977 int bd_invalidated ;
1978 struct gendisk *bd_disk ;
1979 struct request_queue *bd_queue ;
1980 struct list_head bd_list ;
1981 unsigned long bd_private ;
1982 int bd_fsfreeze_count ;
1983 struct mutex bd_fsfreeze_mutex ;
1984};
1985#line 749
1986struct posix_acl;
1987#line 749
1988struct posix_acl;
1989#line 761
1990struct inode_operations;
1991#line 761 "include/linux/fs.h"
1992union __anonunion____missing_field_name_219 {
1993 unsigned int const i_nlink ;
1994 unsigned int __i_nlink ;
1995};
1996#line 761 "include/linux/fs.h"
1997union __anonunion____missing_field_name_220 {
1998 struct list_head i_dentry ;
1999 struct rcu_head i_rcu ;
2000};
2001#line 761
2002struct file_lock;
2003#line 761 "include/linux/fs.h"
2004union __anonunion____missing_field_name_221 {
2005 struct pipe_inode_info *i_pipe ;
2006 struct block_device *i_bdev ;
2007 struct cdev *i_cdev ;
2008};
2009#line 761 "include/linux/fs.h"
2010struct inode {
2011 umode_t i_mode ;
2012 unsigned short i_opflags ;
2013 uid_t i_uid ;
2014 gid_t i_gid ;
2015 unsigned int i_flags ;
2016 struct posix_acl *i_acl ;
2017 struct posix_acl *i_default_acl ;
2018 struct inode_operations const *i_op ;
2019 struct super_block *i_sb ;
2020 struct address_space *i_mapping ;
2021 void *i_security ;
2022 unsigned long i_ino ;
2023 union __anonunion____missing_field_name_219 __annonCompField33 ;
2024 dev_t i_rdev ;
2025 struct timespec i_atime ;
2026 struct timespec i_mtime ;
2027 struct timespec i_ctime ;
2028 spinlock_t i_lock ;
2029 unsigned short i_bytes ;
2030 blkcnt_t i_blocks ;
2031 loff_t i_size ;
2032 unsigned long i_state ;
2033 struct mutex i_mutex ;
2034 unsigned long dirtied_when ;
2035 struct hlist_node i_hash ;
2036 struct list_head i_wb_list ;
2037 struct list_head i_lru ;
2038 struct list_head i_sb_list ;
2039 union __anonunion____missing_field_name_220 __annonCompField34 ;
2040 atomic_t i_count ;
2041 unsigned int i_blkbits ;
2042 u64 i_version ;
2043 atomic_t i_dio_count ;
2044 atomic_t i_writecount ;
2045 struct file_operations const *i_fop ;
2046 struct file_lock *i_flock ;
2047 struct address_space i_data ;
2048 struct dquot *i_dquot[2] ;
2049 struct list_head i_devices ;
2050 union __anonunion____missing_field_name_221 __annonCompField35 ;
2051 __u32 i_generation ;
2052 __u32 i_fsnotify_mask ;
2053 struct hlist_head i_fsnotify_marks ;
2054 atomic_t i_readcount ;
2055 void *i_private ;
2056};
2057#line 942 "include/linux/fs.h"
2058struct fown_struct {
2059 rwlock_t lock ;
2060 struct pid *pid ;
2061 enum pid_type pid_type ;
2062 uid_t uid ;
2063 uid_t euid ;
2064 int signum ;
2065};
2066#line 953 "include/linux/fs.h"
2067struct file_ra_state {
2068 unsigned long start ;
2069 unsigned int size ;
2070 unsigned int async_size ;
2071 unsigned int ra_pages ;
2072 unsigned int mmap_miss ;
2073 loff_t prev_pos ;
2074};
2075#line 976 "include/linux/fs.h"
2076union __anonunion_f_u_222 {
2077 struct list_head fu_list ;
2078 struct rcu_head fu_rcuhead ;
2079};
2080#line 976 "include/linux/fs.h"
2081struct file {
2082 union __anonunion_f_u_222 f_u ;
2083 struct path f_path ;
2084 struct file_operations const *f_op ;
2085 spinlock_t f_lock ;
2086 int f_sb_list_cpu ;
2087 atomic_long_t f_count ;
2088 unsigned int f_flags ;
2089 fmode_t f_mode ;
2090 loff_t f_pos ;
2091 struct fown_struct f_owner ;
2092 struct cred const *f_cred ;
2093 struct file_ra_state f_ra ;
2094 u64 f_version ;
2095 void *f_security ;
2096 void *private_data ;
2097 struct list_head f_ep_links ;
2098 struct list_head f_tfile_llink ;
2099 struct address_space *f_mapping ;
2100 unsigned long f_mnt_write_state ;
2101};
2102#line 1111
2103struct files_struct;
2104#line 1111 "include/linux/fs.h"
2105typedef struct files_struct *fl_owner_t;
2106#line 1113 "include/linux/fs.h"
2107struct file_lock_operations {
2108 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2109 void (*fl_release_private)(struct file_lock * ) ;
2110};
2111#line 1118 "include/linux/fs.h"
2112struct lock_manager_operations {
2113 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2114 void (*lm_notify)(struct file_lock * ) ;
2115 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2116 void (*lm_release_private)(struct file_lock * ) ;
2117 void (*lm_break)(struct file_lock * ) ;
2118 int (*lm_change)(struct file_lock ** , int ) ;
2119};
2120#line 4 "include/linux/nfs_fs_i.h"
2121struct nlm_lockowner;
2122#line 4
2123struct nlm_lockowner;
2124#line 9 "include/linux/nfs_fs_i.h"
2125struct nfs_lock_info {
2126 u32 state ;
2127 struct nlm_lockowner *owner ;
2128 struct list_head list ;
2129};
2130#line 15
2131struct nfs4_lock_state;
2132#line 15
2133struct nfs4_lock_state;
2134#line 16 "include/linux/nfs_fs_i.h"
2135struct nfs4_lock_info {
2136 struct nfs4_lock_state *owner ;
2137};
2138#line 1138 "include/linux/fs.h"
2139struct fasync_struct;
2140#line 1138 "include/linux/fs.h"
2141struct __anonstruct_afs_224 {
2142 struct list_head link ;
2143 int state ;
2144};
2145#line 1138 "include/linux/fs.h"
2146union __anonunion_fl_u_223 {
2147 struct nfs_lock_info nfs_fl ;
2148 struct nfs4_lock_info nfs4_fl ;
2149 struct __anonstruct_afs_224 afs ;
2150};
2151#line 1138 "include/linux/fs.h"
2152struct file_lock {
2153 struct file_lock *fl_next ;
2154 struct list_head fl_link ;
2155 struct list_head fl_block ;
2156 fl_owner_t fl_owner ;
2157 unsigned int fl_flags ;
2158 unsigned char fl_type ;
2159 unsigned int fl_pid ;
2160 struct pid *fl_nspid ;
2161 wait_queue_head_t fl_wait ;
2162 struct file *fl_file ;
2163 loff_t fl_start ;
2164 loff_t fl_end ;
2165 struct fasync_struct *fl_fasync ;
2166 unsigned long fl_break_time ;
2167 unsigned long fl_downgrade_time ;
2168 struct file_lock_operations const *fl_ops ;
2169 struct lock_manager_operations const *fl_lmops ;
2170 union __anonunion_fl_u_223 fl_u ;
2171};
2172#line 1378 "include/linux/fs.h"
2173struct fasync_struct {
2174 spinlock_t fa_lock ;
2175 int magic ;
2176 int fa_fd ;
2177 struct fasync_struct *fa_next ;
2178 struct file *fa_file ;
2179 struct rcu_head fa_rcu ;
2180};
2181#line 1418
2182struct file_system_type;
2183#line 1418
2184struct super_operations;
2185#line 1418
2186struct xattr_handler;
2187#line 1418
2188struct mtd_info;
2189#line 1418 "include/linux/fs.h"
2190struct super_block {
2191 struct list_head s_list ;
2192 dev_t s_dev ;
2193 unsigned char s_dirt ;
2194 unsigned char s_blocksize_bits ;
2195 unsigned long s_blocksize ;
2196 loff_t s_maxbytes ;
2197 struct file_system_type *s_type ;
2198 struct super_operations const *s_op ;
2199 struct dquot_operations const *dq_op ;
2200 struct quotactl_ops const *s_qcop ;
2201 struct export_operations const *s_export_op ;
2202 unsigned long s_flags ;
2203 unsigned long s_magic ;
2204 struct dentry *s_root ;
2205 struct rw_semaphore s_umount ;
2206 struct mutex s_lock ;
2207 int s_count ;
2208 atomic_t s_active ;
2209 void *s_security ;
2210 struct xattr_handler const **s_xattr ;
2211 struct list_head s_inodes ;
2212 struct hlist_bl_head s_anon ;
2213 struct list_head *s_files ;
2214 struct list_head s_mounts ;
2215 struct list_head s_dentry_lru ;
2216 int s_nr_dentry_unused ;
2217 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
2218 struct list_head s_inode_lru ;
2219 int s_nr_inodes_unused ;
2220 struct block_device *s_bdev ;
2221 struct backing_dev_info *s_bdi ;
2222 struct mtd_info *s_mtd ;
2223 struct hlist_node s_instances ;
2224 struct quota_info s_dquot ;
2225 int s_frozen ;
2226 wait_queue_head_t s_wait_unfrozen ;
2227 char s_id[32] ;
2228 u8 s_uuid[16] ;
2229 void *s_fs_info ;
2230 unsigned int s_max_links ;
2231 fmode_t s_mode ;
2232 u32 s_time_gran ;
2233 struct mutex s_vfs_rename_mutex ;
2234 char *s_subtype ;
2235 char *s_options ;
2236 struct dentry_operations const *s_d_op ;
2237 int cleancache_poolid ;
2238 struct shrinker s_shrink ;
2239 atomic_long_t s_remove_count ;
2240 int s_readonly_remount ;
2241};
2242#line 1567 "include/linux/fs.h"
2243struct fiemap_extent_info {
2244 unsigned int fi_flags ;
2245 unsigned int fi_extents_mapped ;
2246 unsigned int fi_extents_max ;
2247 struct fiemap_extent *fi_extents_start ;
2248};
2249#line 1609 "include/linux/fs.h"
2250struct file_operations {
2251 struct module *owner ;
2252 loff_t (*llseek)(struct file * , loff_t , int ) ;
2253 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2254 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2255 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2256 loff_t ) ;
2257 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2258 loff_t ) ;
2259 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2260 loff_t , u64 , unsigned int ) ) ;
2261 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2262 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2263 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2264 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2265 int (*open)(struct inode * , struct file * ) ;
2266 int (*flush)(struct file * , fl_owner_t id ) ;
2267 int (*release)(struct inode * , struct file * ) ;
2268 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
2269 int (*aio_fsync)(struct kiocb * , int datasync ) ;
2270 int (*fasync)(int , struct file * , int ) ;
2271 int (*lock)(struct file * , int , struct file_lock * ) ;
2272 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2273 int ) ;
2274 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2275 unsigned long , unsigned long ) ;
2276 int (*check_flags)(int ) ;
2277 int (*flock)(struct file * , int , struct file_lock * ) ;
2278 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2279 unsigned int ) ;
2280 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2281 unsigned int ) ;
2282 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2283 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
2284};
2285#line 1639 "include/linux/fs.h"
2286struct inode_operations {
2287 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2288 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2289 int (*permission)(struct inode * , int ) ;
2290 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2291 int (*readlink)(struct dentry * , char * , int ) ;
2292 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2293 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2294 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2295 int (*unlink)(struct inode * , struct dentry * ) ;
2296 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2297 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2298 int (*rmdir)(struct inode * , struct dentry * ) ;
2299 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2300 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2301 void (*truncate)(struct inode * ) ;
2302 int (*setattr)(struct dentry * , struct iattr * ) ;
2303 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2304 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2305 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2306 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2307 int (*removexattr)(struct dentry * , char const * ) ;
2308 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2309 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2310} __attribute__((__aligned__((1) << (6) ))) ;
2311#line 1669
2312struct seq_file;
2313#line 1684 "include/linux/fs.h"
2314struct super_operations {
2315 struct inode *(*alloc_inode)(struct super_block *sb ) ;
2316 void (*destroy_inode)(struct inode * ) ;
2317 void (*dirty_inode)(struct inode * , int flags ) ;
2318 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2319 int (*drop_inode)(struct inode * ) ;
2320 void (*evict_inode)(struct inode * ) ;
2321 void (*put_super)(struct super_block * ) ;
2322 void (*write_super)(struct super_block * ) ;
2323 int (*sync_fs)(struct super_block *sb , int wait ) ;
2324 int (*freeze_fs)(struct super_block * ) ;
2325 int (*unfreeze_fs)(struct super_block * ) ;
2326 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2327 int (*remount_fs)(struct super_block * , int * , char * ) ;
2328 void (*umount_begin)(struct super_block * ) ;
2329 int (*show_options)(struct seq_file * , struct dentry * ) ;
2330 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2331 int (*show_path)(struct seq_file * , struct dentry * ) ;
2332 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2333 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2334 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2335 loff_t ) ;
2336 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2337 int (*nr_cached_objects)(struct super_block * ) ;
2338 void (*free_cached_objects)(struct super_block * , int ) ;
2339};
2340#line 1835 "include/linux/fs.h"
2341struct file_system_type {
2342 char const *name ;
2343 int fs_flags ;
2344 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2345 void (*kill_sb)(struct super_block * ) ;
2346 struct module *owner ;
2347 struct file_system_type *next ;
2348 struct hlist_head fs_supers ;
2349 struct lock_class_key s_lock_key ;
2350 struct lock_class_key s_umount_key ;
2351 struct lock_class_key s_vfs_rename_key ;
2352 struct lock_class_key i_lock_key ;
2353 struct lock_class_key i_mutex_key ;
2354 struct lock_class_key i_mutex_dir_key ;
2355};
2356#line 28 "include/linux/poll.h"
2357struct poll_table_struct;
2358#line 39 "include/linux/poll.h"
2359struct poll_table_struct {
2360 void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
2361 unsigned long _key ;
2362};
2363#line 143 "include/linux/rtc.h"
2364struct rtc_class_ops {
2365 int (*open)(struct device * ) ;
2366 void (*release)(struct device * ) ;
2367 int (*ioctl)(struct device * , unsigned int , unsigned long ) ;
2368 int (*read_time)(struct device * , struct rtc_time * ) ;
2369 int (*set_time)(struct device * , struct rtc_time * ) ;
2370 int (*read_alarm)(struct device * , struct rtc_wkalrm * ) ;
2371 int (*set_alarm)(struct device * , struct rtc_wkalrm * ) ;
2372 int (*proc)(struct device * , struct seq_file * ) ;
2373 int (*set_mmss)(struct device * , unsigned long secs ) ;
2374 int (*read_callback)(struct device * , int data ) ;
2375 int (*alarm_irq_enable)(struct device * , unsigned int enabled ) ;
2376};
2377#line 158 "include/linux/rtc.h"
2378struct rtc_task {
2379 void (*func)(void *private_data ) ;
2380 void *private_data ;
2381};
2382#line 164 "include/linux/rtc.h"
2383struct rtc_timer {
2384 struct rtc_task task ;
2385 struct timerqueue_node node ;
2386 ktime_t period ;
2387 int enabled ;
2388};
2389#line 175 "include/linux/rtc.h"
2390struct rtc_device {
2391 struct device dev ;
2392 struct module *owner ;
2393 int id ;
2394 char name[20] ;
2395 struct rtc_class_ops const *ops ;
2396 struct mutex ops_lock ;
2397 struct cdev char_dev ;
2398 unsigned long flags ;
2399 unsigned long irq_data ;
2400 spinlock_t irq_lock ;
2401 wait_queue_head_t irq_queue ;
2402 struct fasync_struct *async_queue ;
2403 struct rtc_task *irq_task ;
2404 spinlock_t irq_task_lock ;
2405 int irq_freq ;
2406 int max_user_freq ;
2407 struct timerqueue_head timerqueue ;
2408 struct rtc_timer aie_timer ;
2409 struct rtc_timer uie_rtctimer ;
2410 struct hrtimer pie_timer ;
2411 int pie_enabled ;
2412 struct work_struct irqwork ;
2413 int uie_unsupported ;
2414 struct work_struct uie_task ;
2415 struct timer_list uie_timer ;
2416 unsigned int oldsecs ;
2417 unsigned int uie_irq_active : 1 ;
2418 unsigned int stop_uie_polling : 1 ;
2419 unsigned int uie_task_active : 1 ;
2420 unsigned int uie_timer_active : 1 ;
2421};
2422#line 46 "include/linux/slub_def.h"
2423struct kmem_cache_cpu {
2424 void **freelist ;
2425 unsigned long tid ;
2426 struct page *page ;
2427 struct page *partial ;
2428 int node ;
2429 unsigned int stat[26] ;
2430};
2431#line 57 "include/linux/slub_def.h"
2432struct kmem_cache_node {
2433 spinlock_t list_lock ;
2434 unsigned long nr_partial ;
2435 struct list_head partial ;
2436 atomic_long_t nr_slabs ;
2437 atomic_long_t total_objects ;
2438 struct list_head full ;
2439};
2440#line 73 "include/linux/slub_def.h"
2441struct kmem_cache_order_objects {
2442 unsigned long x ;
2443};
2444#line 80 "include/linux/slub_def.h"
2445struct kmem_cache {
2446 struct kmem_cache_cpu *cpu_slab ;
2447 unsigned long flags ;
2448 unsigned long min_partial ;
2449 int size ;
2450 int objsize ;
2451 int offset ;
2452 int cpu_partial ;
2453 struct kmem_cache_order_objects oo ;
2454 struct kmem_cache_order_objects max ;
2455 struct kmem_cache_order_objects min ;
2456 gfp_t allocflags ;
2457 int refcount ;
2458 void (*ctor)(void * ) ;
2459 int inuse ;
2460 int align ;
2461 int reserved ;
2462 char const *name ;
2463 struct list_head list ;
2464 struct kobject kobj ;
2465 int remote_node_defrag_ratio ;
2466 struct kmem_cache_node *node[1 << 10] ;
2467};
2468#line 23 "include/linux/mm_types.h"
2469struct address_space;
2470#line 40 "include/linux/mm_types.h"
2471union __anonunion____missing_field_name_229 {
2472 unsigned long index ;
2473 void *freelist ;
2474};
2475#line 40 "include/linux/mm_types.h"
2476struct __anonstruct____missing_field_name_233 {
2477 unsigned int inuse : 16 ;
2478 unsigned int objects : 15 ;
2479 unsigned int frozen : 1 ;
2480};
2481#line 40 "include/linux/mm_types.h"
2482union __anonunion____missing_field_name_232 {
2483 atomic_t _mapcount ;
2484 struct __anonstruct____missing_field_name_233 __annonCompField37 ;
2485};
2486#line 40 "include/linux/mm_types.h"
2487struct __anonstruct____missing_field_name_231 {
2488 union __anonunion____missing_field_name_232 __annonCompField38 ;
2489 atomic_t _count ;
2490};
2491#line 40 "include/linux/mm_types.h"
2492union __anonunion____missing_field_name_230 {
2493 unsigned long counters ;
2494 struct __anonstruct____missing_field_name_231 __annonCompField39 ;
2495};
2496#line 40 "include/linux/mm_types.h"
2497struct __anonstruct____missing_field_name_228 {
2498 union __anonunion____missing_field_name_229 __annonCompField36 ;
2499 union __anonunion____missing_field_name_230 __annonCompField40 ;
2500};
2501#line 40 "include/linux/mm_types.h"
2502struct __anonstruct____missing_field_name_235 {
2503 struct page *next ;
2504 int pages ;
2505 int pobjects ;
2506};
2507#line 40 "include/linux/mm_types.h"
2508union __anonunion____missing_field_name_234 {
2509 struct list_head lru ;
2510 struct __anonstruct____missing_field_name_235 __annonCompField42 ;
2511};
2512#line 40 "include/linux/mm_types.h"
2513union __anonunion____missing_field_name_236 {
2514 unsigned long private ;
2515 struct kmem_cache *slab ;
2516 struct page *first_page ;
2517};
2518#line 40 "include/linux/mm_types.h"
2519struct page {
2520 unsigned long flags ;
2521 struct address_space *mapping ;
2522 struct __anonstruct____missing_field_name_228 __annonCompField41 ;
2523 union __anonunion____missing_field_name_234 __annonCompField43 ;
2524 union __anonunion____missing_field_name_236 __annonCompField44 ;
2525 unsigned long debug_flags ;
2526} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2527#line 200 "include/linux/mm_types.h"
2528struct __anonstruct_vm_set_238 {
2529 struct list_head list ;
2530 void *parent ;
2531 struct vm_area_struct *head ;
2532};
2533#line 200 "include/linux/mm_types.h"
2534union __anonunion_shared_237 {
2535 struct __anonstruct_vm_set_238 vm_set ;
2536 struct raw_prio_tree_node prio_tree_node ;
2537};
2538#line 200
2539struct anon_vma;
2540#line 200
2541struct vm_operations_struct;
2542#line 200
2543struct mempolicy;
2544#line 200 "include/linux/mm_types.h"
2545struct vm_area_struct {
2546 struct mm_struct *vm_mm ;
2547 unsigned long vm_start ;
2548 unsigned long vm_end ;
2549 struct vm_area_struct *vm_next ;
2550 struct vm_area_struct *vm_prev ;
2551 pgprot_t vm_page_prot ;
2552 unsigned long vm_flags ;
2553 struct rb_node vm_rb ;
2554 union __anonunion_shared_237 shared ;
2555 struct list_head anon_vma_chain ;
2556 struct anon_vma *anon_vma ;
2557 struct vm_operations_struct const *vm_ops ;
2558 unsigned long vm_pgoff ;
2559 struct file *vm_file ;
2560 void *vm_private_data ;
2561 struct mempolicy *vm_policy ;
2562};
2563#line 257 "include/linux/mm_types.h"
2564struct core_thread {
2565 struct task_struct *task ;
2566 struct core_thread *next ;
2567};
2568#line 262 "include/linux/mm_types.h"
2569struct core_state {
2570 atomic_t nr_threads ;
2571 struct core_thread dumper ;
2572 struct completion startup ;
2573};
2574#line 284 "include/linux/mm_types.h"
2575struct mm_rss_stat {
2576 atomic_long_t count[3] ;
2577};
2578#line 288
2579struct linux_binfmt;
2580#line 288
2581struct mmu_notifier_mm;
2582#line 288 "include/linux/mm_types.h"
2583struct mm_struct {
2584 struct vm_area_struct *mmap ;
2585 struct rb_root mm_rb ;
2586 struct vm_area_struct *mmap_cache ;
2587 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2588 unsigned long pgoff , unsigned long flags ) ;
2589 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2590 unsigned long mmap_base ;
2591 unsigned long task_size ;
2592 unsigned long cached_hole_size ;
2593 unsigned long free_area_cache ;
2594 pgd_t *pgd ;
2595 atomic_t mm_users ;
2596 atomic_t mm_count ;
2597 int map_count ;
2598 spinlock_t page_table_lock ;
2599 struct rw_semaphore mmap_sem ;
2600 struct list_head mmlist ;
2601 unsigned long hiwater_rss ;
2602 unsigned long hiwater_vm ;
2603 unsigned long total_vm ;
2604 unsigned long locked_vm ;
2605 unsigned long pinned_vm ;
2606 unsigned long shared_vm ;
2607 unsigned long exec_vm ;
2608 unsigned long stack_vm ;
2609 unsigned long reserved_vm ;
2610 unsigned long def_flags ;
2611 unsigned long nr_ptes ;
2612 unsigned long start_code ;
2613 unsigned long end_code ;
2614 unsigned long start_data ;
2615 unsigned long end_data ;
2616 unsigned long start_brk ;
2617 unsigned long brk ;
2618 unsigned long start_stack ;
2619 unsigned long arg_start ;
2620 unsigned long arg_end ;
2621 unsigned long env_start ;
2622 unsigned long env_end ;
2623 unsigned long saved_auxv[44] ;
2624 struct mm_rss_stat rss_stat ;
2625 struct linux_binfmt *binfmt ;
2626 cpumask_var_t cpu_vm_mask_var ;
2627 mm_context_t context ;
2628 unsigned int faultstamp ;
2629 unsigned int token_priority ;
2630 unsigned int last_interval ;
2631 unsigned long flags ;
2632 struct core_state *core_state ;
2633 spinlock_t ioctx_lock ;
2634 struct hlist_head ioctx_list ;
2635 struct task_struct *owner ;
2636 struct file *exe_file ;
2637 unsigned long num_exe_file_vmas ;
2638 struct mmu_notifier_mm *mmu_notifier_mm ;
2639 pgtable_t pmd_huge_pte ;
2640 struct cpumask cpumask_allocation ;
2641};
2642#line 7 "include/asm-generic/cputime.h"
2643typedef unsigned long cputime_t;
2644#line 84 "include/linux/sem.h"
2645struct task_struct;
2646#line 101
2647struct sem_undo_list;
2648#line 101 "include/linux/sem.h"
2649struct sysv_sem {
2650 struct sem_undo_list *undo_list ;
2651};
2652#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2653struct siginfo;
2654#line 10
2655struct siginfo;
2656#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2657struct __anonstruct_sigset_t_240 {
2658 unsigned long sig[1] ;
2659};
2660#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2661typedef struct __anonstruct_sigset_t_240 sigset_t;
2662#line 17 "include/asm-generic/signal-defs.h"
2663typedef void __signalfn_t(int );
2664#line 18 "include/asm-generic/signal-defs.h"
2665typedef __signalfn_t *__sighandler_t;
2666#line 20 "include/asm-generic/signal-defs.h"
2667typedef void __restorefn_t(void);
2668#line 21 "include/asm-generic/signal-defs.h"
2669typedef __restorefn_t *__sigrestore_t;
2670#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2671struct sigaction {
2672 __sighandler_t sa_handler ;
2673 unsigned long sa_flags ;
2674 __sigrestore_t sa_restorer ;
2675 sigset_t sa_mask ;
2676};
2677#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2678struct k_sigaction {
2679 struct sigaction sa ;
2680};
2681#line 7 "include/asm-generic/siginfo.h"
2682union sigval {
2683 int sival_int ;
2684 void *sival_ptr ;
2685};
2686#line 7 "include/asm-generic/siginfo.h"
2687typedef union sigval sigval_t;
2688#line 48 "include/asm-generic/siginfo.h"
2689struct __anonstruct__kill_242 {
2690 __kernel_pid_t _pid ;
2691 __kernel_uid32_t _uid ;
2692};
2693#line 48 "include/asm-generic/siginfo.h"
2694struct __anonstruct__timer_243 {
2695 __kernel_timer_t _tid ;
2696 int _overrun ;
2697 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2698 sigval_t _sigval ;
2699 int _sys_private ;
2700};
2701#line 48 "include/asm-generic/siginfo.h"
2702struct __anonstruct__rt_244 {
2703 __kernel_pid_t _pid ;
2704 __kernel_uid32_t _uid ;
2705 sigval_t _sigval ;
2706};
2707#line 48 "include/asm-generic/siginfo.h"
2708struct __anonstruct__sigchld_245 {
2709 __kernel_pid_t _pid ;
2710 __kernel_uid32_t _uid ;
2711 int _status ;
2712 __kernel_clock_t _utime ;
2713 __kernel_clock_t _stime ;
2714};
2715#line 48 "include/asm-generic/siginfo.h"
2716struct __anonstruct__sigfault_246 {
2717 void *_addr ;
2718 short _addr_lsb ;
2719};
2720#line 48 "include/asm-generic/siginfo.h"
2721struct __anonstruct__sigpoll_247 {
2722 long _band ;
2723 int _fd ;
2724};
2725#line 48 "include/asm-generic/siginfo.h"
2726union __anonunion__sifields_241 {
2727 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2728 struct __anonstruct__kill_242 _kill ;
2729 struct __anonstruct__timer_243 _timer ;
2730 struct __anonstruct__rt_244 _rt ;
2731 struct __anonstruct__sigchld_245 _sigchld ;
2732 struct __anonstruct__sigfault_246 _sigfault ;
2733 struct __anonstruct__sigpoll_247 _sigpoll ;
2734};
2735#line 48 "include/asm-generic/siginfo.h"
2736struct siginfo {
2737 int si_signo ;
2738 int si_errno ;
2739 int si_code ;
2740 union __anonunion__sifields_241 _sifields ;
2741};
2742#line 48 "include/asm-generic/siginfo.h"
2743typedef struct siginfo siginfo_t;
2744#line 288
2745struct siginfo;
2746#line 10 "include/linux/signal.h"
2747struct task_struct;
2748#line 18
2749struct user_struct;
2750#line 28 "include/linux/signal.h"
2751struct sigpending {
2752 struct list_head list ;
2753 sigset_t signal ;
2754};
2755#line 239
2756struct timespec;
2757#line 240
2758struct pt_regs;
2759#line 10 "include/linux/seccomp.h"
2760struct __anonstruct_seccomp_t_250 {
2761 int mode ;
2762};
2763#line 10 "include/linux/seccomp.h"
2764typedef struct __anonstruct_seccomp_t_250 seccomp_t;
2765#line 81 "include/linux/plist.h"
2766struct plist_head {
2767 struct list_head node_list ;
2768};
2769#line 85 "include/linux/plist.h"
2770struct plist_node {
2771 int prio ;
2772 struct list_head prio_list ;
2773 struct list_head node_list ;
2774};
2775#line 40 "include/linux/rtmutex.h"
2776struct rt_mutex_waiter;
2777#line 40
2778struct rt_mutex_waiter;
2779#line 42 "include/linux/resource.h"
2780struct rlimit {
2781 unsigned long rlim_cur ;
2782 unsigned long rlim_max ;
2783};
2784#line 81
2785struct task_struct;
2786#line 11 "include/linux/task_io_accounting.h"
2787struct task_io_accounting {
2788 u64 rchar ;
2789 u64 wchar ;
2790 u64 syscr ;
2791 u64 syscw ;
2792 u64 read_bytes ;
2793 u64 write_bytes ;
2794 u64 cancelled_write_bytes ;
2795};
2796#line 13 "include/linux/latencytop.h"
2797struct task_struct;
2798#line 20 "include/linux/latencytop.h"
2799struct latency_record {
2800 unsigned long backtrace[12] ;
2801 unsigned int count ;
2802 unsigned long time ;
2803 unsigned long max ;
2804};
2805#line 29 "include/linux/key.h"
2806typedef int32_t key_serial_t;
2807#line 32 "include/linux/key.h"
2808typedef uint32_t key_perm_t;
2809#line 34
2810struct key;
2811#line 34
2812struct key;
2813#line 74
2814struct seq_file;
2815#line 75
2816struct user_struct;
2817#line 76
2818struct signal_struct;
2819#line 76
2820struct signal_struct;
2821#line 77
2822struct cred;
2823#line 79
2824struct key_type;
2825#line 79
2826struct key_type;
2827#line 81
2828struct keyring_list;
2829#line 81
2830struct keyring_list;
2831#line 124
2832struct key_user;
2833#line 124 "include/linux/key.h"
2834union __anonunion____missing_field_name_251 {
2835 time_t expiry ;
2836 time_t revoked_at ;
2837};
2838#line 124 "include/linux/key.h"
2839union __anonunion_type_data_252 {
2840 struct list_head link ;
2841 unsigned long x[2] ;
2842 void *p[2] ;
2843 int reject_error ;
2844};
2845#line 124 "include/linux/key.h"
2846union __anonunion_payload_253 {
2847 unsigned long value ;
2848 void *rcudata ;
2849 void *data ;
2850 struct keyring_list *subscriptions ;
2851};
2852#line 124 "include/linux/key.h"
2853struct key {
2854 atomic_t usage ;
2855 key_serial_t serial ;
2856 struct rb_node serial_node ;
2857 struct key_type *type ;
2858 struct rw_semaphore sem ;
2859 struct key_user *user ;
2860 void *security ;
2861 union __anonunion____missing_field_name_251 __annonCompField45 ;
2862 uid_t uid ;
2863 gid_t gid ;
2864 key_perm_t perm ;
2865 unsigned short quotalen ;
2866 unsigned short datalen ;
2867 unsigned long flags ;
2868 char *description ;
2869 union __anonunion_type_data_252 type_data ;
2870 union __anonunion_payload_253 payload ;
2871};
2872#line 18 "include/linux/selinux.h"
2873struct audit_context;
2874#line 18
2875struct audit_context;
2876#line 21 "include/linux/cred.h"
2877struct user_struct;
2878#line 22
2879struct cred;
2880#line 23
2881struct inode;
2882#line 31 "include/linux/cred.h"
2883struct group_info {
2884 atomic_t usage ;
2885 int ngroups ;
2886 int nblocks ;
2887 gid_t small_block[32] ;
2888 gid_t *blocks[0] ;
2889};
2890#line 83 "include/linux/cred.h"
2891struct thread_group_cred {
2892 atomic_t usage ;
2893 pid_t tgid ;
2894 spinlock_t lock ;
2895 struct key *session_keyring ;
2896 struct key *process_keyring ;
2897 struct rcu_head rcu ;
2898};
2899#line 116 "include/linux/cred.h"
2900struct cred {
2901 atomic_t usage ;
2902 atomic_t subscribers ;
2903 void *put_addr ;
2904 unsigned int magic ;
2905 uid_t uid ;
2906 gid_t gid ;
2907 uid_t suid ;
2908 gid_t sgid ;
2909 uid_t euid ;
2910 gid_t egid ;
2911 uid_t fsuid ;
2912 gid_t fsgid ;
2913 unsigned int securebits ;
2914 kernel_cap_t cap_inheritable ;
2915 kernel_cap_t cap_permitted ;
2916 kernel_cap_t cap_effective ;
2917 kernel_cap_t cap_bset ;
2918 unsigned char jit_keyring ;
2919 struct key *thread_keyring ;
2920 struct key *request_key_auth ;
2921 struct thread_group_cred *tgcred ;
2922 void *security ;
2923 struct user_struct *user ;
2924 struct user_namespace *user_ns ;
2925 struct group_info *group_info ;
2926 struct rcu_head rcu ;
2927};
2928#line 61 "include/linux/llist.h"
2929struct llist_node;
2930#line 65 "include/linux/llist.h"
2931struct llist_node {
2932 struct llist_node *next ;
2933};
2934#line 97 "include/linux/sched.h"
2935struct futex_pi_state;
2936#line 97
2937struct futex_pi_state;
2938#line 98
2939struct robust_list_head;
2940#line 98
2941struct robust_list_head;
2942#line 99
2943struct bio_list;
2944#line 99
2945struct bio_list;
2946#line 100
2947struct fs_struct;
2948#line 100
2949struct fs_struct;
2950#line 101
2951struct perf_event_context;
2952#line 101
2953struct perf_event_context;
2954#line 102
2955struct blk_plug;
2956#line 102
2957struct blk_plug;
2958#line 150
2959struct seq_file;
2960#line 151
2961struct cfs_rq;
2962#line 151
2963struct cfs_rq;
2964#line 259
2965struct task_struct;
2966#line 366
2967struct nsproxy;
2968#line 367
2969struct user_namespace;
2970#line 58 "include/linux/aio_abi.h"
2971struct io_event {
2972 __u64 data ;
2973 __u64 obj ;
2974 __s64 res ;
2975 __s64 res2 ;
2976};
2977#line 16 "include/linux/uio.h"
2978struct iovec {
2979 void *iov_base ;
2980 __kernel_size_t iov_len ;
2981};
2982#line 15 "include/linux/aio.h"
2983struct kioctx;
2984#line 15
2985struct kioctx;
2986#line 87 "include/linux/aio.h"
2987union __anonunion_ki_obj_255 {
2988 void *user ;
2989 struct task_struct *tsk ;
2990};
2991#line 87
2992struct eventfd_ctx;
2993#line 87 "include/linux/aio.h"
2994struct kiocb {
2995 struct list_head ki_run_list ;
2996 unsigned long ki_flags ;
2997 int ki_users ;
2998 unsigned int ki_key ;
2999 struct file *ki_filp ;
3000 struct kioctx *ki_ctx ;
3001 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3002 ssize_t (*ki_retry)(struct kiocb * ) ;
3003 void (*ki_dtor)(struct kiocb * ) ;
3004 union __anonunion_ki_obj_255 ki_obj ;
3005 __u64 ki_user_data ;
3006 loff_t ki_pos ;
3007 void *private ;
3008 unsigned short ki_opcode ;
3009 size_t ki_nbytes ;
3010 char *ki_buf ;
3011 size_t ki_left ;
3012 struct iovec ki_inline_vec ;
3013 struct iovec *ki_iovec ;
3014 unsigned long ki_nr_segs ;
3015 unsigned long ki_cur_seg ;
3016 struct list_head ki_list ;
3017 struct list_head ki_batch ;
3018 struct eventfd_ctx *ki_eventfd ;
3019};
3020#line 166 "include/linux/aio.h"
3021struct aio_ring_info {
3022 unsigned long mmap_base ;
3023 unsigned long mmap_size ;
3024 struct page **ring_pages ;
3025 spinlock_t ring_lock ;
3026 long nr_pages ;
3027 unsigned int nr ;
3028 unsigned int tail ;
3029 struct page *internal_pages[8] ;
3030};
3031#line 179 "include/linux/aio.h"
3032struct kioctx {
3033 atomic_t users ;
3034 int dead ;
3035 struct mm_struct *mm ;
3036 unsigned long user_id ;
3037 struct hlist_node list ;
3038 wait_queue_head_t wait ;
3039 spinlock_t ctx_lock ;
3040 int reqs_active ;
3041 struct list_head active_reqs ;
3042 struct list_head run_list ;
3043 unsigned int max_reqs ;
3044 struct aio_ring_info ring_info ;
3045 struct delayed_work wq ;
3046 struct rcu_head rcu_head ;
3047};
3048#line 214
3049struct mm_struct;
3050#line 443 "include/linux/sched.h"
3051struct sighand_struct {
3052 atomic_t count ;
3053 struct k_sigaction action[64] ;
3054 spinlock_t siglock ;
3055 wait_queue_head_t signalfd_wqh ;
3056};
3057#line 450 "include/linux/sched.h"
3058struct pacct_struct {
3059 int ac_flag ;
3060 long ac_exitcode ;
3061 unsigned long ac_mem ;
3062 cputime_t ac_utime ;
3063 cputime_t ac_stime ;
3064 unsigned long ac_minflt ;
3065 unsigned long ac_majflt ;
3066};
3067#line 458 "include/linux/sched.h"
3068struct cpu_itimer {
3069 cputime_t expires ;
3070 cputime_t incr ;
3071 u32 error ;
3072 u32 incr_error ;
3073};
3074#line 476 "include/linux/sched.h"
3075struct task_cputime {
3076 cputime_t utime ;
3077 cputime_t stime ;
3078 unsigned long long sum_exec_runtime ;
3079};
3080#line 512 "include/linux/sched.h"
3081struct thread_group_cputimer {
3082 struct task_cputime cputime ;
3083 int running ;
3084 raw_spinlock_t lock ;
3085};
3086#line 519
3087struct autogroup;
3088#line 519
3089struct autogroup;
3090#line 528
3091struct tty_struct;
3092#line 528
3093struct taskstats;
3094#line 528
3095struct tty_audit_buf;
3096#line 528 "include/linux/sched.h"
3097struct signal_struct {
3098 atomic_t sigcnt ;
3099 atomic_t live ;
3100 int nr_threads ;
3101 wait_queue_head_t wait_chldexit ;
3102 struct task_struct *curr_target ;
3103 struct sigpending shared_pending ;
3104 int group_exit_code ;
3105 int notify_count ;
3106 struct task_struct *group_exit_task ;
3107 int group_stop_count ;
3108 unsigned int flags ;
3109 unsigned int is_child_subreaper : 1 ;
3110 unsigned int has_child_subreaper : 1 ;
3111 struct list_head posix_timers ;
3112 struct hrtimer real_timer ;
3113 struct pid *leader_pid ;
3114 ktime_t it_real_incr ;
3115 struct cpu_itimer it[2] ;
3116 struct thread_group_cputimer cputimer ;
3117 struct task_cputime cputime_expires ;
3118 struct list_head cpu_timers[3] ;
3119 struct pid *tty_old_pgrp ;
3120 int leader ;
3121 struct tty_struct *tty ;
3122 struct autogroup *autogroup ;
3123 cputime_t utime ;
3124 cputime_t stime ;
3125 cputime_t cutime ;
3126 cputime_t cstime ;
3127 cputime_t gtime ;
3128 cputime_t cgtime ;
3129 cputime_t prev_utime ;
3130 cputime_t prev_stime ;
3131 unsigned long nvcsw ;
3132 unsigned long nivcsw ;
3133 unsigned long cnvcsw ;
3134 unsigned long cnivcsw ;
3135 unsigned long min_flt ;
3136 unsigned long maj_flt ;
3137 unsigned long cmin_flt ;
3138 unsigned long cmaj_flt ;
3139 unsigned long inblock ;
3140 unsigned long oublock ;
3141 unsigned long cinblock ;
3142 unsigned long coublock ;
3143 unsigned long maxrss ;
3144 unsigned long cmaxrss ;
3145 struct task_io_accounting ioac ;
3146 unsigned long long sum_sched_runtime ;
3147 struct rlimit rlim[16] ;
3148 struct pacct_struct pacct ;
3149 struct taskstats *stats ;
3150 unsigned int audit_tty ;
3151 struct tty_audit_buf *tty_audit_buf ;
3152 struct rw_semaphore group_rwsem ;
3153 int oom_adj ;
3154 int oom_score_adj ;
3155 int oom_score_adj_min ;
3156 struct mutex cred_guard_mutex ;
3157};
3158#line 703 "include/linux/sched.h"
3159struct user_struct {
3160 atomic_t __count ;
3161 atomic_t processes ;
3162 atomic_t files ;
3163 atomic_t sigpending ;
3164 atomic_t inotify_watches ;
3165 atomic_t inotify_devs ;
3166 atomic_t fanotify_listeners ;
3167 atomic_long_t epoll_watches ;
3168 unsigned long mq_bytes ;
3169 unsigned long locked_shm ;
3170 struct key *uid_keyring ;
3171 struct key *session_keyring ;
3172 struct hlist_node uidhash_node ;
3173 uid_t uid ;
3174 struct user_namespace *user_ns ;
3175 atomic_long_t locked_vm ;
3176};
3177#line 747
3178struct backing_dev_info;
3179#line 748
3180struct reclaim_state;
3181#line 748
3182struct reclaim_state;
3183#line 751 "include/linux/sched.h"
3184struct sched_info {
3185 unsigned long pcount ;
3186 unsigned long long run_delay ;
3187 unsigned long long last_arrival ;
3188 unsigned long long last_queued ;
3189};
3190#line 763 "include/linux/sched.h"
3191struct task_delay_info {
3192 spinlock_t lock ;
3193 unsigned int flags ;
3194 struct timespec blkio_start ;
3195 struct timespec blkio_end ;
3196 u64 blkio_delay ;
3197 u64 swapin_delay ;
3198 u32 blkio_count ;
3199 u32 swapin_count ;
3200 struct timespec freepages_start ;
3201 struct timespec freepages_end ;
3202 u64 freepages_delay ;
3203 u32 freepages_count ;
3204};
3205#line 1088
3206struct io_context;
3207#line 1088
3208struct io_context;
3209#line 1097
3210struct audit_context;
3211#line 1098
3212struct mempolicy;
3213#line 1099
3214struct pipe_inode_info;
3215#line 1102
3216struct rq;
3217#line 1102
3218struct rq;
3219#line 1122 "include/linux/sched.h"
3220struct sched_class {
3221 struct sched_class const *next ;
3222 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3223 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3224 void (*yield_task)(struct rq *rq ) ;
3225 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3226 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3227 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3228 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3229 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3230 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3231 void (*post_schedule)(struct rq *this_rq ) ;
3232 void (*task_waking)(struct task_struct *task ) ;
3233 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3234 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3235 void (*rq_online)(struct rq *rq ) ;
3236 void (*rq_offline)(struct rq *rq ) ;
3237 void (*set_curr_task)(struct rq *rq ) ;
3238 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3239 void (*task_fork)(struct task_struct *p ) ;
3240 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3241 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3242 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3243 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3244 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3245};
3246#line 1167 "include/linux/sched.h"
3247struct load_weight {
3248 unsigned long weight ;
3249 unsigned long inv_weight ;
3250};
3251#line 1172 "include/linux/sched.h"
3252struct sched_statistics {
3253 u64 wait_start ;
3254 u64 wait_max ;
3255 u64 wait_count ;
3256 u64 wait_sum ;
3257 u64 iowait_count ;
3258 u64 iowait_sum ;
3259 u64 sleep_start ;
3260 u64 sleep_max ;
3261 s64 sum_sleep_runtime ;
3262 u64 block_start ;
3263 u64 block_max ;
3264 u64 exec_max ;
3265 u64 slice_max ;
3266 u64 nr_migrations_cold ;
3267 u64 nr_failed_migrations_affine ;
3268 u64 nr_failed_migrations_running ;
3269 u64 nr_failed_migrations_hot ;
3270 u64 nr_forced_migrations ;
3271 u64 nr_wakeups ;
3272 u64 nr_wakeups_sync ;
3273 u64 nr_wakeups_migrate ;
3274 u64 nr_wakeups_local ;
3275 u64 nr_wakeups_remote ;
3276 u64 nr_wakeups_affine ;
3277 u64 nr_wakeups_affine_attempts ;
3278 u64 nr_wakeups_passive ;
3279 u64 nr_wakeups_idle ;
3280};
3281#line 1207 "include/linux/sched.h"
3282struct sched_entity {
3283 struct load_weight load ;
3284 struct rb_node run_node ;
3285 struct list_head group_node ;
3286 unsigned int on_rq ;
3287 u64 exec_start ;
3288 u64 sum_exec_runtime ;
3289 u64 vruntime ;
3290 u64 prev_sum_exec_runtime ;
3291 u64 nr_migrations ;
3292 struct sched_statistics statistics ;
3293 struct sched_entity *parent ;
3294 struct cfs_rq *cfs_rq ;
3295 struct cfs_rq *my_q ;
3296};
3297#line 1233
3298struct rt_rq;
3299#line 1233 "include/linux/sched.h"
3300struct sched_rt_entity {
3301 struct list_head run_list ;
3302 unsigned long timeout ;
3303 unsigned int time_slice ;
3304 int nr_cpus_allowed ;
3305 struct sched_rt_entity *back ;
3306 struct sched_rt_entity *parent ;
3307 struct rt_rq *rt_rq ;
3308 struct rt_rq *my_q ;
3309};
3310#line 1264
3311struct css_set;
3312#line 1264
3313struct compat_robust_list_head;
3314#line 1264
3315struct mem_cgroup;
3316#line 1264 "include/linux/sched.h"
3317struct memcg_batch_info {
3318 int do_batch ;
3319 struct mem_cgroup *memcg ;
3320 unsigned long nr_pages ;
3321 unsigned long memsw_nr_pages ;
3322};
3323#line 1264 "include/linux/sched.h"
3324struct task_struct {
3325 long volatile state ;
3326 void *stack ;
3327 atomic_t usage ;
3328 unsigned int flags ;
3329 unsigned int ptrace ;
3330 struct llist_node wake_entry ;
3331 int on_cpu ;
3332 int on_rq ;
3333 int prio ;
3334 int static_prio ;
3335 int normal_prio ;
3336 unsigned int rt_priority ;
3337 struct sched_class const *sched_class ;
3338 struct sched_entity se ;
3339 struct sched_rt_entity rt ;
3340 struct hlist_head preempt_notifiers ;
3341 unsigned char fpu_counter ;
3342 unsigned int policy ;
3343 cpumask_t cpus_allowed ;
3344 struct sched_info sched_info ;
3345 struct list_head tasks ;
3346 struct plist_node pushable_tasks ;
3347 struct mm_struct *mm ;
3348 struct mm_struct *active_mm ;
3349 unsigned int brk_randomized : 1 ;
3350 int exit_state ;
3351 int exit_code ;
3352 int exit_signal ;
3353 int pdeath_signal ;
3354 unsigned int jobctl ;
3355 unsigned int personality ;
3356 unsigned int did_exec : 1 ;
3357 unsigned int in_execve : 1 ;
3358 unsigned int in_iowait : 1 ;
3359 unsigned int sched_reset_on_fork : 1 ;
3360 unsigned int sched_contributes_to_load : 1 ;
3361 unsigned int irq_thread : 1 ;
3362 pid_t pid ;
3363 pid_t tgid ;
3364 unsigned long stack_canary ;
3365 struct task_struct *real_parent ;
3366 struct task_struct *parent ;
3367 struct list_head children ;
3368 struct list_head sibling ;
3369 struct task_struct *group_leader ;
3370 struct list_head ptraced ;
3371 struct list_head ptrace_entry ;
3372 struct pid_link pids[3] ;
3373 struct list_head thread_group ;
3374 struct completion *vfork_done ;
3375 int *set_child_tid ;
3376 int *clear_child_tid ;
3377 cputime_t utime ;
3378 cputime_t stime ;
3379 cputime_t utimescaled ;
3380 cputime_t stimescaled ;
3381 cputime_t gtime ;
3382 cputime_t prev_utime ;
3383 cputime_t prev_stime ;
3384 unsigned long nvcsw ;
3385 unsigned long nivcsw ;
3386 struct timespec start_time ;
3387 struct timespec real_start_time ;
3388 unsigned long min_flt ;
3389 unsigned long maj_flt ;
3390 struct task_cputime cputime_expires ;
3391 struct list_head cpu_timers[3] ;
3392 struct cred const *real_cred ;
3393 struct cred const *cred ;
3394 struct cred *replacement_session_keyring ;
3395 char comm[16] ;
3396 int link_count ;
3397 int total_link_count ;
3398 struct sysv_sem sysvsem ;
3399 unsigned long last_switch_count ;
3400 struct thread_struct thread ;
3401 struct fs_struct *fs ;
3402 struct files_struct *files ;
3403 struct nsproxy *nsproxy ;
3404 struct signal_struct *signal ;
3405 struct sighand_struct *sighand ;
3406 sigset_t blocked ;
3407 sigset_t real_blocked ;
3408 sigset_t saved_sigmask ;
3409 struct sigpending pending ;
3410 unsigned long sas_ss_sp ;
3411 size_t sas_ss_size ;
3412 int (*notifier)(void *priv ) ;
3413 void *notifier_data ;
3414 sigset_t *notifier_mask ;
3415 struct audit_context *audit_context ;
3416 uid_t loginuid ;
3417 unsigned int sessionid ;
3418 seccomp_t seccomp ;
3419 u32 parent_exec_id ;
3420 u32 self_exec_id ;
3421 spinlock_t alloc_lock ;
3422 raw_spinlock_t pi_lock ;
3423 struct plist_head pi_waiters ;
3424 struct rt_mutex_waiter *pi_blocked_on ;
3425 struct mutex_waiter *blocked_on ;
3426 unsigned int irq_events ;
3427 unsigned long hardirq_enable_ip ;
3428 unsigned long hardirq_disable_ip ;
3429 unsigned int hardirq_enable_event ;
3430 unsigned int hardirq_disable_event ;
3431 int hardirqs_enabled ;
3432 int hardirq_context ;
3433 unsigned long softirq_disable_ip ;
3434 unsigned long softirq_enable_ip ;
3435 unsigned int softirq_disable_event ;
3436 unsigned int softirq_enable_event ;
3437 int softirqs_enabled ;
3438 int softirq_context ;
3439 void *journal_info ;
3440 struct bio_list *bio_list ;
3441 struct blk_plug *plug ;
3442 struct reclaim_state *reclaim_state ;
3443 struct backing_dev_info *backing_dev_info ;
3444 struct io_context *io_context ;
3445 unsigned long ptrace_message ;
3446 siginfo_t *last_siginfo ;
3447 struct task_io_accounting ioac ;
3448 u64 acct_rss_mem1 ;
3449 u64 acct_vm_mem1 ;
3450 cputime_t acct_timexpd ;
3451 nodemask_t mems_allowed ;
3452 seqcount_t mems_allowed_seq ;
3453 int cpuset_mem_spread_rotor ;
3454 int cpuset_slab_spread_rotor ;
3455 struct css_set *cgroups ;
3456 struct list_head cg_list ;
3457 struct robust_list_head *robust_list ;
3458 struct compat_robust_list_head *compat_robust_list ;
3459 struct list_head pi_state_list ;
3460 struct futex_pi_state *pi_state_cache ;
3461 struct perf_event_context *perf_event_ctxp[2] ;
3462 struct mutex perf_event_mutex ;
3463 struct list_head perf_event_list ;
3464 struct mempolicy *mempolicy ;
3465 short il_next ;
3466 short pref_node_fork ;
3467 struct rcu_head rcu ;
3468 struct pipe_inode_info *splice_pipe ;
3469 struct task_delay_info *delays ;
3470 int make_it_fail ;
3471 int nr_dirtied ;
3472 int nr_dirtied_pause ;
3473 unsigned long dirty_paused_when ;
3474 int latency_record_count ;
3475 struct latency_record latency_record[32] ;
3476 unsigned long timer_slack_ns ;
3477 unsigned long default_timer_slack_ns ;
3478 struct list_head *scm_work_list ;
3479 unsigned long trace ;
3480 unsigned long trace_recursion ;
3481 struct memcg_batch_info memcg_batch ;
3482 atomic_t ptrace_bp_refcnt ;
3483};
3484#line 1681
3485struct pid_namespace;
3486#line 55 "include/linux/kthread.h"
3487struct kthread_work;
3488#line 55
3489struct kthread_work;
3490#line 58 "include/linux/kthread.h"
3491struct kthread_worker {
3492 spinlock_t lock ;
3493 struct list_head work_list ;
3494 struct task_struct *task ;
3495};
3496#line 64 "include/linux/kthread.h"
3497struct kthread_work {
3498 struct list_head node ;
3499 void (*func)(struct kthread_work *work ) ;
3500 wait_queue_head_t done ;
3501 atomic_t flushing ;
3502 int queue_seq ;
3503 int done_seq ;
3504};
3505#line 70 "include/linux/spi/spi.h"
3506struct spi_master;
3507#line 70 "include/linux/spi/spi.h"
3508struct spi_device {
3509 struct device dev ;
3510 struct spi_master *master ;
3511 u32 max_speed_hz ;
3512 u8 chip_select ;
3513 u8 mode ;
3514 u8 bits_per_word ;
3515 int irq ;
3516 void *controller_state ;
3517 void *controller_data ;
3518 char modalias[32] ;
3519};
3520#line 145
3521struct spi_message;
3522#line 145
3523struct spi_message;
3524#line 176 "include/linux/spi/spi.h"
3525struct spi_driver {
3526 struct spi_device_id const *id_table ;
3527 int (*probe)(struct spi_device *spi ) ;
3528 int (*remove)(struct spi_device *spi ) ;
3529 void (*shutdown)(struct spi_device *spi ) ;
3530 int (*suspend)(struct spi_device *spi , pm_message_t mesg ) ;
3531 int (*resume)(struct spi_device *spi ) ;
3532 struct device_driver driver ;
3533};
3534#line 272 "include/linux/spi/spi.h"
3535struct spi_master {
3536 struct device dev ;
3537 struct list_head list ;
3538 s16 bus_num ;
3539 u16 num_chipselect ;
3540 u16 dma_alignment ;
3541 u16 mode_bits ;
3542 u16 flags ;
3543 spinlock_t bus_lock_spinlock ;
3544 struct mutex bus_lock_mutex ;
3545 bool bus_lock_flag ;
3546 int (*setup)(struct spi_device *spi ) ;
3547 int (*transfer)(struct spi_device *spi , struct spi_message *mesg ) ;
3548 void (*cleanup)(struct spi_device *spi ) ;
3549 bool queued ;
3550 struct kthread_worker kworker ;
3551 struct task_struct *kworker_task ;
3552 struct kthread_work pump_messages ;
3553 spinlock_t queue_lock ;
3554 struct list_head queue ;
3555 struct spi_message *cur_msg ;
3556 bool busy ;
3557 bool running ;
3558 bool rt ;
3559 int (*prepare_transfer_hardware)(struct spi_master *master ) ;
3560 int (*transfer_one_message)(struct spi_master *master , struct spi_message *mesg ) ;
3561 int (*unprepare_transfer_hardware)(struct spi_master *master ) ;
3562};
3563#line 492 "include/linux/spi/spi.h"
3564struct spi_transfer {
3565 void const *tx_buf ;
3566 void *rx_buf ;
3567 unsigned int len ;
3568 dma_addr_t tx_dma ;
3569 dma_addr_t rx_dma ;
3570 unsigned int cs_change : 1 ;
3571 u8 bits_per_word ;
3572 u16 delay_usecs ;
3573 u32 speed_hz ;
3574 struct list_head transfer_list ;
3575};
3576#line 541 "include/linux/spi/spi.h"
3577struct spi_message {
3578 struct list_head transfers ;
3579 struct spi_device *spi ;
3580 unsigned int is_dma_mapped : 1 ;
3581 void (*complete)(void *context ) ;
3582 void *context ;
3583 unsigned int actual_length ;
3584 int status ;
3585 struct list_head queue ;
3586 void *state ;
3587};
3588#line 52 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
3589struct __anonstruct_257 {
3590 int : 0 ;
3591};
3592#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
3593struct __anonstruct_258 {
3594 int : 0 ;
3595};
3596#line 1 "<compiler builtins>"
3597long __builtin_expect(long val , long res ) ;
3598#line 24 "include/linux/list.h"
3599__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ;
3600#line 24 "include/linux/list.h"
3601__inline static void INIT_LIST_HEAD(struct list_head *list )
3602{ unsigned long __cil_tmp2 ;
3603 unsigned long __cil_tmp3 ;
3604
3605 {
3606#line 26
3607 *((struct list_head **)list) = list;
3608#line 27
3609 __cil_tmp2 = (unsigned long )list;
3610#line 27
3611 __cil_tmp3 = __cil_tmp2 + 8;
3612#line 27
3613 *((struct list_head **)__cil_tmp3) = list;
3614#line 28
3615 return;
3616}
3617}
3618#line 47
3619extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ;
3620#line 74
3621__inline static void list_add_tail(struct list_head *new , struct list_head *head ) __attribute__((__no_instrument_function__)) ;
3622#line 74 "include/linux/list.h"
3623__inline static void list_add_tail(struct list_head *new , struct list_head *head )
3624{ unsigned long __cil_tmp3 ;
3625 unsigned long __cil_tmp4 ;
3626 struct list_head *__cil_tmp5 ;
3627
3628 {
3629 {
3630#line 76
3631 __cil_tmp3 = (unsigned long )head;
3632#line 76
3633 __cil_tmp4 = __cil_tmp3 + 8;
3634#line 76
3635 __cil_tmp5 = *((struct list_head **)__cil_tmp4);
3636#line 76
3637 __list_add(new, __cil_tmp5, head);
3638 }
3639#line 77
3640 return;
3641}
3642}
3643#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3644extern void *memset(void *s , int c , size_t n ) ;
3645#line 27 "include/linux/err.h"
3646__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
3647#line 27 "include/linux/err.h"
3648__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr )
3649{
3650
3651 {
3652#line 29
3653 return ((long )ptr);
3654}
3655}
3656#line 32
3657__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
3658#line 32 "include/linux/err.h"
3659__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr )
3660{ long tmp ;
3661 unsigned long __cil_tmp3 ;
3662 int __cil_tmp4 ;
3663 int __cil_tmp5 ;
3664 int __cil_tmp6 ;
3665 long __cil_tmp7 ;
3666
3667 {
3668 {
3669#line 34
3670 __cil_tmp3 = (unsigned long )ptr;
3671#line 34
3672 __cil_tmp4 = __cil_tmp3 >= 0xfffffffffffff001UL;
3673#line 34
3674 __cil_tmp5 = ! __cil_tmp4;
3675#line 34
3676 __cil_tmp6 = ! __cil_tmp5;
3677#line 34
3678 __cil_tmp7 = (long )__cil_tmp6;
3679#line 34
3680 tmp = __builtin_expect(__cil_tmp7, 0L);
3681 }
3682#line 34
3683 return (tmp);
3684}
3685}
3686#line 152 "include/linux/mutex.h"
3687void mutex_lock(struct mutex *lock ) ;
3688#line 153
3689int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3690#line 154
3691int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3692#line 168
3693int mutex_trylock(struct mutex *lock ) ;
3694#line 169
3695void mutex_unlock(struct mutex *lock ) ;
3696#line 170
3697int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3698#line 26 "include/linux/export.h"
3699extern struct module __this_module ;
3700#line 67 "include/linux/module.h"
3701int init_module(void) ;
3702#line 68
3703void cleanup_module(void) ;
3704#line 239 "include/linux/device.h"
3705extern void driver_unregister(struct device_driver *drv ) ;
3706#line 792
3707extern void *dev_get_drvdata(struct device const *dev ) ;
3708#line 793
3709extern int dev_set_drvdata(struct device *dev , void *data ) ;
3710#line 891
3711extern int ( dev_err)(struct device const *dev , char const *fmt
3712 , ...) ;
3713#line 897
3714extern int ( _dev_info)(struct device const *dev , char const *fmt
3715 , ...) ;
3716#line 110 "include/linux/rtc.h"
3717extern int rtc_valid_tm(struct rtc_time *tm ) ;
3718#line 221
3719extern struct rtc_device *rtc_device_register(char const *name , struct device *dev ,
3720 struct rtc_class_ops const *ops ,
3721 struct module *owner ) ;
3722#line 225
3723extern void rtc_device_unregister(struct rtc_device *rtc ) ;
3724#line 105 "include/linux/spi/spi.h"
3725__inline static struct spi_device *to_spi_device(struct device *dev ) __attribute__((__no_instrument_function__)) ;
3726#line 105 "include/linux/spi/spi.h"
3727__inline static struct spi_device *to_spi_device(struct device *dev )
3728{ struct device const *__mptr ;
3729 struct spi_device *tmp___7 ;
3730 struct spi_device *__cil_tmp4 ;
3731 struct device *__cil_tmp5 ;
3732 unsigned int __cil_tmp6 ;
3733 char *__cil_tmp7 ;
3734 char *__cil_tmp8 ;
3735 void *__cil_tmp9 ;
3736
3737 {
3738#line 107
3739 if (dev) {
3740#line 107
3741 __mptr = (struct device const *)dev;
3742#line 107
3743 __cil_tmp4 = (struct spi_device *)0;
3744#line 107
3745 __cil_tmp5 = (struct device *)__cil_tmp4;
3746#line 107
3747 __cil_tmp6 = (unsigned int )__cil_tmp5;
3748#line 107
3749 __cil_tmp7 = (char *)__mptr;
3750#line 107
3751 __cil_tmp8 = __cil_tmp7 - __cil_tmp6;
3752#line 107
3753 tmp___7 = (struct spi_device *)__cil_tmp8;
3754 } else {
3755#line 107
3756 __cil_tmp9 = (void *)0;
3757#line 107
3758 tmp___7 = (struct spi_device *)__cil_tmp9;
3759 }
3760#line 107
3761 return (tmp___7);
3762}
3763}
3764#line 191
3765extern int spi_register_driver(struct spi_driver *sdrv ) ;
3766#line 198
3767__inline static void spi_unregister_driver(struct spi_driver *sdrv ) __attribute__((__no_instrument_function__)) ;
3768#line 198 "include/linux/spi/spi.h"
3769__inline static void spi_unregister_driver(struct spi_driver *sdrv )
3770{ unsigned long __cil_tmp2 ;
3771 unsigned long __cil_tmp3 ;
3772 struct device_driver *__cil_tmp4 ;
3773
3774 {
3775#line 200
3776 if (sdrv) {
3777 {
3778#line 201
3779 __cil_tmp2 = (unsigned long )sdrv;
3780#line 201
3781 __cil_tmp3 = __cil_tmp2 + 48;
3782#line 201
3783 __cil_tmp4 = (struct device_driver *)__cil_tmp3;
3784#line 201
3785 driver_unregister(__cil_tmp4);
3786 }
3787 } else {
3788
3789 }
3790#line 202
3791 return;
3792}
3793}
3794#line 573
3795__inline static void spi_message_init(struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
3796#line 573 "include/linux/spi/spi.h"
3797__inline static void spi_message_init(struct spi_message *m )
3798{ void *__cil_tmp2 ;
3799 struct list_head *__cil_tmp3 ;
3800
3801 {
3802 {
3803#line 575
3804 __cil_tmp2 = (void *)m;
3805#line 575
3806 memset(__cil_tmp2, 0, 80UL);
3807#line 576
3808 __cil_tmp3 = (struct list_head *)m;
3809#line 576
3810 INIT_LIST_HEAD(__cil_tmp3);
3811 }
3812#line 577
3813 return;
3814}
3815}
3816#line 579
3817__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
3818#line 579 "include/linux/spi/spi.h"
3819__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m )
3820{ unsigned long __cil_tmp3 ;
3821 unsigned long __cil_tmp4 ;
3822 struct list_head *__cil_tmp5 ;
3823 struct list_head *__cil_tmp6 ;
3824
3825 {
3826 {
3827#line 582
3828 __cil_tmp3 = (unsigned long )t;
3829#line 582
3830 __cil_tmp4 = __cil_tmp3 + 48;
3831#line 582
3832 __cil_tmp5 = (struct list_head *)__cil_tmp4;
3833#line 582
3834 __cil_tmp6 = (struct list_head *)m;
3835#line 582
3836 list_add_tail(__cil_tmp5, __cil_tmp6);
3837 }
3838#line 583
3839 return;
3840}
3841}
3842#line 630
3843extern int spi_sync(struct spi_device *spi , struct spi_message *message ) ;
3844#line 645
3845__inline static int spi_write(struct spi_device *spi , void const *buf , size_t len ) __attribute__((__no_instrument_function__)) ;
3846#line 645 "include/linux/spi/spi.h"
3847__inline static int spi_write(struct spi_device *spi , void const *buf , size_t len )
3848{ struct spi_transfer t ;
3849 struct spi_message m ;
3850 int tmp___7 ;
3851 struct spi_transfer *__cil_tmp7 ;
3852 unsigned long __cil_tmp8 ;
3853 unsigned long __cil_tmp9 ;
3854 unsigned long __cil_tmp10 ;
3855 unsigned long __cil_tmp11 ;
3856 unsigned long __cil_tmp12 ;
3857 unsigned long __cil_tmp13 ;
3858 unsigned long __cil_tmp14 ;
3859 unsigned long __cil_tmp15 ;
3860 unsigned long __cil_tmp16 ;
3861 unsigned long __cil_tmp17 ;
3862 unsigned long __cil_tmp18 ;
3863
3864 {
3865 {
3866#line 648
3867 __cil_tmp7 = & t;
3868#line 648
3869 *((void const **)__cil_tmp7) = buf;
3870#line 648
3871 __cil_tmp8 = (unsigned long )(& t) + 8;
3872#line 648
3873 *((void **)__cil_tmp8) = (void *)0;
3874#line 648
3875 __cil_tmp9 = (unsigned long )(& t) + 16;
3876#line 648
3877 *((unsigned int *)__cil_tmp9) = (unsigned int )len;
3878#line 648
3879 __cil_tmp10 = (unsigned long )(& t) + 24;
3880#line 648
3881 *((dma_addr_t *)__cil_tmp10) = 0ULL;
3882#line 648
3883 __cil_tmp11 = (unsigned long )(& t) + 32;
3884#line 648
3885 *((dma_addr_t *)__cil_tmp11) = 0ULL;
3886#line 648
3887 __cil_tmp12 = (unsigned long )(& t) + 40;
3888#line 648
3889 *((unsigned int *)__cil_tmp12) = 0U;
3890#line 648
3891 __cil_tmp13 = (unsigned long )(& t) + 41;
3892#line 648
3893 *((u8 *)__cil_tmp13) = (unsigned char)0;
3894#line 648
3895 __cil_tmp14 = (unsigned long )(& t) + 42;
3896#line 648
3897 *((u16 *)__cil_tmp14) = (unsigned short)0;
3898#line 648
3899 __cil_tmp15 = (unsigned long )(& t) + 44;
3900#line 648
3901 *((u32 *)__cil_tmp15) = 0U;
3902#line 648
3903 __cil_tmp16 = (unsigned long )(& t) + 48;
3904#line 648
3905 *((struct list_head **)__cil_tmp16) = (struct list_head *)0;
3906#line 648
3907 __cil_tmp17 = 48 + 8;
3908#line 648
3909 __cil_tmp18 = (unsigned long )(& t) + __cil_tmp17;
3910#line 648
3911 *((struct list_head **)__cil_tmp18) = (struct list_head *)0;
3912#line 654
3913 spi_message_init(& m);
3914#line 655
3915 spi_message_add_tail(& t, & m);
3916#line 656
3917 tmp___7 = spi_sync(spi, & m);
3918 }
3919#line 656
3920 return (tmp___7);
3921}
3922}
3923#line 684
3924extern int spi_write_then_read(struct spi_device *spi , void const *txbuf , unsigned int n_tx ,
3925 void *rxbuf , unsigned int n_rx ) ;
3926#line 6 "include/linux/bcd.h"
3927extern unsigned int bcd2bin(unsigned char val ) __attribute__((__const__)) ;
3928#line 7
3929extern unsigned char bin2bcd(unsigned int val ) __attribute__((__const__)) ;
3930#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
3931static int write_reg(struct device *dev , int address , unsigned char data )
3932{ struct spi_device *spi ;
3933 struct spi_device *tmp___7 ;
3934 unsigned char buf[2] ;
3935 int tmp___8 ;
3936 unsigned long __cil_tmp8 ;
3937 unsigned long __cil_tmp9 ;
3938 int __cil_tmp10 ;
3939 unsigned long __cil_tmp11 ;
3940 unsigned long __cil_tmp12 ;
3941 unsigned long __cil_tmp13 ;
3942 unsigned long __cil_tmp14 ;
3943 unsigned char *__cil_tmp15 ;
3944 void const *__cil_tmp16 ;
3945 unsigned long __cil_tmp17 ;
3946 unsigned long __cil_tmp18 ;
3947
3948 {
3949 {
3950#line 46
3951 tmp___7 = to_spi_device(dev);
3952#line 46
3953 spi = tmp___7;
3954#line 49
3955 __cil_tmp8 = 0 * 1UL;
3956#line 49
3957 __cil_tmp9 = (unsigned long )(buf) + __cil_tmp8;
3958#line 49
3959 __cil_tmp10 = address & 127;
3960#line 49
3961 *((unsigned char *)__cil_tmp9) = (unsigned char )__cil_tmp10;
3962#line 50
3963 __cil_tmp11 = 1 * 1UL;
3964#line 50
3965 __cil_tmp12 = (unsigned long )(buf) + __cil_tmp11;
3966#line 50
3967 *((unsigned char *)__cil_tmp12) = data;
3968#line 52
3969 __cil_tmp13 = 0 * 1UL;
3970#line 52
3971 __cil_tmp14 = (unsigned long )(buf) + __cil_tmp13;
3972#line 52
3973 __cil_tmp15 = (unsigned char *)__cil_tmp14;
3974#line 52
3975 __cil_tmp16 = (void const *)__cil_tmp15;
3976#line 52
3977 __cil_tmp17 = 2UL / 1UL;
3978#line 52
3979 __cil_tmp18 = __cil_tmp17 + 0UL;
3980#line 52
3981 tmp___8 = spi_write(spi, __cil_tmp16, __cil_tmp18);
3982 }
3983#line 52
3984 return (tmp___8);
3985}
3986}
3987#line 55 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
3988static int read_regs(struct device *dev , unsigned char *regs , int no_regs )
3989{ struct spi_device *spi ;
3990 struct spi_device *tmp___7 ;
3991 u8 txbuf[1] ;
3992 u8 rxbuf[1] ;
3993 int k ;
3994 int ret ;
3995 unsigned long __cil_tmp10 ;
3996 unsigned long __cil_tmp11 ;
3997 unsigned char *__cil_tmp12 ;
3998 unsigned char __cil_tmp13 ;
3999 int __cil_tmp14 ;
4000 int __cil_tmp15 ;
4001 unsigned long __cil_tmp16 ;
4002 unsigned long __cil_tmp17 ;
4003 u8 *__cil_tmp18 ;
4004 void const *__cil_tmp19 ;
4005 unsigned long __cil_tmp20 ;
4006 unsigned long __cil_tmp21 ;
4007 u8 *__cil_tmp22 ;
4008 void *__cil_tmp23 ;
4009 unsigned char *__cil_tmp24 ;
4010 unsigned long __cil_tmp25 ;
4011 unsigned long __cil_tmp26 ;
4012
4013 {
4014 {
4015#line 57
4016 tmp___7 = to_spi_device(dev);
4017#line 57
4018 spi = tmp___7;
4019#line 61
4020 ret = 0;
4021#line 63
4022 k = 0;
4023 }
4024 {
4025#line 63
4026 while (1) {
4027 while_continue: ;
4028#line 63
4029 if (ret == 0) {
4030#line 63
4031 if (k < no_regs) {
4032
4033 } else {
4034#line 63
4035 goto while_break;
4036 }
4037 } else {
4038#line 63
4039 goto while_break;
4040 }
4041 {
4042#line 64
4043 __cil_tmp10 = 0 * 1UL;
4044#line 64
4045 __cil_tmp11 = (unsigned long )(txbuf) + __cil_tmp10;
4046#line 64
4047 __cil_tmp12 = regs + k;
4048#line 64
4049 __cil_tmp13 = *__cil_tmp12;
4050#line 64
4051 __cil_tmp14 = (int )__cil_tmp13;
4052#line 64
4053 __cil_tmp15 = 128 | __cil_tmp14;
4054#line 64
4055 *((u8 *)__cil_tmp11) = (u8 )__cil_tmp15;
4056#line 65
4057 __cil_tmp16 = 0 * 1UL;
4058#line 65
4059 __cil_tmp17 = (unsigned long )(txbuf) + __cil_tmp16;
4060#line 65
4061 __cil_tmp18 = (u8 *)__cil_tmp17;
4062#line 65
4063 __cil_tmp19 = (void const *)__cil_tmp18;
4064#line 65
4065 __cil_tmp20 = 0 * 1UL;
4066#line 65
4067 __cil_tmp21 = (unsigned long )(rxbuf) + __cil_tmp20;
4068#line 65
4069 __cil_tmp22 = (u8 *)__cil_tmp21;
4070#line 65
4071 __cil_tmp23 = (void *)__cil_tmp22;
4072#line 65
4073 ret = spi_write_then_read(spi, __cil_tmp19, 1U, __cil_tmp23, 1U);
4074#line 66
4075 __cil_tmp24 = regs + k;
4076#line 66
4077 __cil_tmp25 = 0 * 1UL;
4078#line 66
4079 __cil_tmp26 = (unsigned long )(rxbuf) + __cil_tmp25;
4080#line 66
4081 *__cil_tmp24 = *((u8 *)__cil_tmp26);
4082#line 63
4083 k = k + 1;
4084 }
4085 }
4086 while_break: ;
4087 }
4088#line 69
4089 return (ret);
4090}
4091}
4092#line 72 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4093static int r9701_get_datetime(struct device *dev , struct rtc_time *dt )
4094{ int ret ;
4095 unsigned char buf[6] ;
4096 unsigned int tmp___7 ;
4097 unsigned int tmp___8 ;
4098 unsigned int tmp___9 ;
4099 unsigned int tmp___10 ;
4100 unsigned int tmp___11 ;
4101 unsigned int tmp___12 ;
4102 int tmp___13 ;
4103 unsigned long __cil_tmp12 ;
4104 unsigned long __cil_tmp13 ;
4105 unsigned long __cil_tmp14 ;
4106 unsigned long __cil_tmp15 ;
4107 unsigned long __cil_tmp16 ;
4108 unsigned long __cil_tmp17 ;
4109 unsigned long __cil_tmp18 ;
4110 unsigned long __cil_tmp19 ;
4111 unsigned long __cil_tmp20 ;
4112 unsigned long __cil_tmp21 ;
4113 unsigned long __cil_tmp22 ;
4114 unsigned long __cil_tmp23 ;
4115 unsigned long __cil_tmp24 ;
4116 unsigned long __cil_tmp25 ;
4117 unsigned char *__cil_tmp26 ;
4118 unsigned long __cil_tmp27 ;
4119 unsigned long __cil_tmp28 ;
4120 int __cil_tmp29 ;
4121 void *__cil_tmp30 ;
4122 unsigned long __cil_tmp31 ;
4123 unsigned long __cil_tmp32 ;
4124 unsigned char __cil_tmp33 ;
4125 unsigned long __cil_tmp34 ;
4126 unsigned long __cil_tmp35 ;
4127 unsigned char __cil_tmp36 ;
4128 unsigned long __cil_tmp37 ;
4129 unsigned long __cil_tmp38 ;
4130 unsigned long __cil_tmp39 ;
4131 unsigned long __cil_tmp40 ;
4132 unsigned char __cil_tmp41 ;
4133 unsigned long __cil_tmp42 ;
4134 unsigned long __cil_tmp43 ;
4135 unsigned long __cil_tmp44 ;
4136 unsigned long __cil_tmp45 ;
4137 unsigned char __cil_tmp46 ;
4138 unsigned long __cil_tmp47 ;
4139 unsigned long __cil_tmp48 ;
4140 unsigned long __cil_tmp49 ;
4141 unsigned long __cil_tmp50 ;
4142 unsigned char __cil_tmp51 ;
4143 unsigned long __cil_tmp52 ;
4144 unsigned long __cil_tmp53 ;
4145 unsigned int __cil_tmp54 ;
4146 unsigned long __cil_tmp55 ;
4147 unsigned long __cil_tmp56 ;
4148 unsigned char __cil_tmp57 ;
4149 unsigned long __cil_tmp58 ;
4150 unsigned long __cil_tmp59 ;
4151 unsigned int __cil_tmp60 ;
4152
4153 {
4154 {
4155#line 75
4156 __cil_tmp12 = 0 * 1UL;
4157#line 75
4158 __cil_tmp13 = (unsigned long )(buf) + __cil_tmp12;
4159#line 75
4160 *((unsigned char *)__cil_tmp13) = (unsigned char)0;
4161#line 75
4162 __cil_tmp14 = 1 * 1UL;
4163#line 75
4164 __cil_tmp15 = (unsigned long )(buf) + __cil_tmp14;
4165#line 75
4166 *((unsigned char *)__cil_tmp15) = (unsigned char)1;
4167#line 75
4168 __cil_tmp16 = 2 * 1UL;
4169#line 75
4170 __cil_tmp17 = (unsigned long )(buf) + __cil_tmp16;
4171#line 75
4172 *((unsigned char *)__cil_tmp17) = (unsigned char)2;
4173#line 75
4174 __cil_tmp18 = 3 * 1UL;
4175#line 75
4176 __cil_tmp19 = (unsigned long )(buf) + __cil_tmp18;
4177#line 75
4178 *((unsigned char *)__cil_tmp19) = (unsigned char)4;
4179#line 75
4180 __cil_tmp20 = 4 * 1UL;
4181#line 75
4182 __cil_tmp21 = (unsigned long )(buf) + __cil_tmp20;
4183#line 75
4184 *((unsigned char *)__cil_tmp21) = (unsigned char)5;
4185#line 75
4186 __cil_tmp22 = 5 * 1UL;
4187#line 75
4188 __cil_tmp23 = (unsigned long )(buf) + __cil_tmp22;
4189#line 75
4190 *((unsigned char *)__cil_tmp23) = (unsigned char)6;
4191#line 78
4192 __cil_tmp24 = 0 * 1UL;
4193#line 78
4194 __cil_tmp25 = (unsigned long )(buf) + __cil_tmp24;
4195#line 78
4196 __cil_tmp26 = (unsigned char *)__cil_tmp25;
4197#line 78
4198 __cil_tmp27 = 6UL / 1UL;
4199#line 78
4200 __cil_tmp28 = __cil_tmp27 + 0UL;
4201#line 78
4202 __cil_tmp29 = (int )__cil_tmp28;
4203#line 78
4204 ret = read_regs(dev, __cil_tmp26, __cil_tmp29);
4205 }
4206#line 79
4207 if (ret) {
4208#line 80
4209 return (ret);
4210 } else {
4211
4212 }
4213 {
4214#line 82
4215 __cil_tmp30 = (void *)dt;
4216#line 82
4217 memset(__cil_tmp30, 0, 36UL);
4218#line 84
4219 __cil_tmp31 = 0 * 1UL;
4220#line 84
4221 __cil_tmp32 = (unsigned long )(buf) + __cil_tmp31;
4222#line 84
4223 __cil_tmp33 = *((unsigned char *)__cil_tmp32);
4224#line 84
4225 tmp___7 = bcd2bin(__cil_tmp33);
4226#line 84
4227 *((int *)dt) = (int )tmp___7;
4228#line 85
4229 __cil_tmp34 = 1 * 1UL;
4230#line 85
4231 __cil_tmp35 = (unsigned long )(buf) + __cil_tmp34;
4232#line 85
4233 __cil_tmp36 = *((unsigned char *)__cil_tmp35);
4234#line 85
4235 tmp___8 = bcd2bin(__cil_tmp36);
4236#line 85
4237 __cil_tmp37 = (unsigned long )dt;
4238#line 85
4239 __cil_tmp38 = __cil_tmp37 + 4;
4240#line 85
4241 *((int *)__cil_tmp38) = (int )tmp___8;
4242#line 86
4243 __cil_tmp39 = 2 * 1UL;
4244#line 86
4245 __cil_tmp40 = (unsigned long )(buf) + __cil_tmp39;
4246#line 86
4247 __cil_tmp41 = *((unsigned char *)__cil_tmp40);
4248#line 86
4249 tmp___9 = bcd2bin(__cil_tmp41);
4250#line 86
4251 __cil_tmp42 = (unsigned long )dt;
4252#line 86
4253 __cil_tmp43 = __cil_tmp42 + 8;
4254#line 86
4255 *((int *)__cil_tmp43) = (int )tmp___9;
4256#line 88
4257 __cil_tmp44 = 3 * 1UL;
4258#line 88
4259 __cil_tmp45 = (unsigned long )(buf) + __cil_tmp44;
4260#line 88
4261 __cil_tmp46 = *((unsigned char *)__cil_tmp45);
4262#line 88
4263 tmp___10 = bcd2bin(__cil_tmp46);
4264#line 88
4265 __cil_tmp47 = (unsigned long )dt;
4266#line 88
4267 __cil_tmp48 = __cil_tmp47 + 12;
4268#line 88
4269 *((int *)__cil_tmp48) = (int )tmp___10;
4270#line 89
4271 __cil_tmp49 = 4 * 1UL;
4272#line 89
4273 __cil_tmp50 = (unsigned long )(buf) + __cil_tmp49;
4274#line 89
4275 __cil_tmp51 = *((unsigned char *)__cil_tmp50);
4276#line 89
4277 tmp___11 = bcd2bin(__cil_tmp51);
4278#line 89
4279 __cil_tmp52 = (unsigned long )dt;
4280#line 89
4281 __cil_tmp53 = __cil_tmp52 + 16;
4282#line 89
4283 __cil_tmp54 = tmp___11 - 1U;
4284#line 89
4285 *((int *)__cil_tmp53) = (int )__cil_tmp54;
4286#line 90
4287 __cil_tmp55 = 5 * 1UL;
4288#line 90
4289 __cil_tmp56 = (unsigned long )(buf) + __cil_tmp55;
4290#line 90
4291 __cil_tmp57 = *((unsigned char *)__cil_tmp56);
4292#line 90
4293 tmp___12 = bcd2bin(__cil_tmp57);
4294#line 90
4295 __cil_tmp58 = (unsigned long )dt;
4296#line 90
4297 __cil_tmp59 = __cil_tmp58 + 20;
4298#line 90
4299 __cil_tmp60 = tmp___12 + 100U;
4300#line 90
4301 *((int *)__cil_tmp59) = (int )__cil_tmp60;
4302#line 96
4303 tmp___13 = rtc_valid_tm(dt);
4304 }
4305#line 96
4306 return (tmp___13);
4307}
4308}
4309#line 99 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4310static int r9701_set_datetime(struct device *dev , struct rtc_time *dt )
4311{ int ret ;
4312 int year ;
4313 unsigned char tmp___7 ;
4314 unsigned char tmp___8 ;
4315 int tmp___9 ;
4316 unsigned char tmp___10 ;
4317 int tmp___11 ;
4318 unsigned char tmp___12 ;
4319 int tmp___13 ;
4320 unsigned char tmp___14 ;
4321 int tmp___15 ;
4322 unsigned char tmp___16 ;
4323 int tmp___17 ;
4324 int tmp___18 ;
4325 unsigned long __cil_tmp17 ;
4326 unsigned long __cil_tmp18 ;
4327 int __cil_tmp19 ;
4328 unsigned long __cil_tmp20 ;
4329 unsigned long __cil_tmp21 ;
4330 int __cil_tmp22 ;
4331 unsigned int __cil_tmp23 ;
4332 unsigned long __cil_tmp24 ;
4333 unsigned long __cil_tmp25 ;
4334 int __cil_tmp26 ;
4335 unsigned int __cil_tmp27 ;
4336 int __cil_tmp28 ;
4337 unsigned int __cil_tmp29 ;
4338 unsigned long __cil_tmp30 ;
4339 unsigned long __cil_tmp31 ;
4340 int __cil_tmp32 ;
4341 unsigned int __cil_tmp33 ;
4342 unsigned long __cil_tmp34 ;
4343 unsigned long __cil_tmp35 ;
4344 int __cil_tmp36 ;
4345 int __cil_tmp37 ;
4346 unsigned int __cil_tmp38 ;
4347 unsigned long __cil_tmp39 ;
4348 unsigned long __cil_tmp40 ;
4349 int __cil_tmp41 ;
4350 int __cil_tmp42 ;
4351 unsigned int __cil_tmp43 ;
4352 unsigned long __cil_tmp44 ;
4353 unsigned long __cil_tmp45 ;
4354 int __cil_tmp46 ;
4355 int __cil_tmp47 ;
4356 unsigned char __cil_tmp48 ;
4357
4358 {
4359#line 103
4360 __cil_tmp17 = (unsigned long )dt;
4361#line 103
4362 __cil_tmp18 = __cil_tmp17 + 20;
4363#line 103
4364 __cil_tmp19 = *((int *)__cil_tmp18);
4365#line 103
4366 year = __cil_tmp19 + 1900;
4367#line 104
4368 if (year >= 2100) {
4369#line 105
4370 return (-22);
4371 } else
4372#line 104
4373 if (year < 2000) {
4374#line 105
4375 return (-22);
4376 } else {
4377
4378 }
4379 {
4380#line 107
4381 __cil_tmp20 = (unsigned long )dt;
4382#line 107
4383 __cil_tmp21 = __cil_tmp20 + 8;
4384#line 107
4385 __cil_tmp22 = *((int *)__cil_tmp21);
4386#line 107
4387 __cil_tmp23 = (unsigned int )__cil_tmp22;
4388#line 107
4389 tmp___7 = bin2bcd(__cil_tmp23);
4390#line 107
4391 ret = write_reg(dev, 2, tmp___7);
4392 }
4393#line 108
4394 if (ret) {
4395#line 108
4396 ret = ret;
4397 } else {
4398 {
4399#line 108
4400 __cil_tmp24 = (unsigned long )dt;
4401#line 108
4402 __cil_tmp25 = __cil_tmp24 + 4;
4403#line 108
4404 __cil_tmp26 = *((int *)__cil_tmp25);
4405#line 108
4406 __cil_tmp27 = (unsigned int )__cil_tmp26;
4407#line 108
4408 tmp___8 = bin2bcd(__cil_tmp27);
4409#line 108
4410 tmp___9 = write_reg(dev, 1, tmp___8);
4411#line 108
4412 ret = tmp___9;
4413 }
4414 }
4415#line 109
4416 if (ret) {
4417#line 109
4418 ret = ret;
4419 } else {
4420 {
4421#line 109
4422 __cil_tmp28 = *((int *)dt);
4423#line 109
4424 __cil_tmp29 = (unsigned int )__cil_tmp28;
4425#line 109
4426 tmp___10 = bin2bcd(__cil_tmp29);
4427#line 109
4428 tmp___11 = write_reg(dev, 0, tmp___10);
4429#line 109
4430 ret = tmp___11;
4431 }
4432 }
4433#line 110
4434 if (ret) {
4435#line 110
4436 ret = ret;
4437 } else {
4438 {
4439#line 110
4440 __cil_tmp30 = (unsigned long )dt;
4441#line 110
4442 __cil_tmp31 = __cil_tmp30 + 12;
4443#line 110
4444 __cil_tmp32 = *((int *)__cil_tmp31);
4445#line 110
4446 __cil_tmp33 = (unsigned int )__cil_tmp32;
4447#line 110
4448 tmp___12 = bin2bcd(__cil_tmp33);
4449#line 110
4450 tmp___13 = write_reg(dev, 4, tmp___12);
4451#line 110
4452 ret = tmp___13;
4453 }
4454 }
4455#line 111
4456 if (ret) {
4457#line 111
4458 ret = ret;
4459 } else {
4460 {
4461#line 111
4462 __cil_tmp34 = (unsigned long )dt;
4463#line 111
4464 __cil_tmp35 = __cil_tmp34 + 16;
4465#line 111
4466 __cil_tmp36 = *((int *)__cil_tmp35);
4467#line 111
4468 __cil_tmp37 = __cil_tmp36 + 1;
4469#line 111
4470 __cil_tmp38 = (unsigned int )__cil_tmp37;
4471#line 111
4472 tmp___14 = bin2bcd(__cil_tmp38);
4473#line 111
4474 tmp___15 = write_reg(dev, 5, tmp___14);
4475#line 111
4476 ret = tmp___15;
4477 }
4478 }
4479#line 112
4480 if (ret) {
4481#line 112
4482 ret = ret;
4483 } else {
4484 {
4485#line 112
4486 __cil_tmp39 = (unsigned long )dt;
4487#line 112
4488 __cil_tmp40 = __cil_tmp39 + 20;
4489#line 112
4490 __cil_tmp41 = *((int *)__cil_tmp40);
4491#line 112
4492 __cil_tmp42 = __cil_tmp41 - 100;
4493#line 112
4494 __cil_tmp43 = (unsigned int )__cil_tmp42;
4495#line 112
4496 tmp___16 = bin2bcd(__cil_tmp43);
4497#line 112
4498 tmp___17 = write_reg(dev, 6, tmp___16);
4499#line 112
4500 ret = tmp___17;
4501 }
4502 }
4503#line 113
4504 if (ret) {
4505#line 113
4506 ret = ret;
4507 } else {
4508 {
4509#line 113
4510 __cil_tmp44 = (unsigned long )dt;
4511#line 113
4512 __cil_tmp45 = __cil_tmp44 + 24;
4513#line 113
4514 __cil_tmp46 = *((int *)__cil_tmp45);
4515#line 113
4516 __cil_tmp47 = 1 << __cil_tmp46;
4517#line 113
4518 __cil_tmp48 = (unsigned char )__cil_tmp47;
4519#line 113
4520 tmp___18 = write_reg(dev, 3, __cil_tmp48);
4521#line 113
4522 ret = tmp___18;
4523 }
4524 }
4525#line 115
4526 return (ret);
4527}
4528}
4529#line 118 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4530static struct rtc_class_ops const r9701_rtc_ops =
4531#line 118
4532 {(int (*)(struct device * ))0, (void (*)(struct device * ))0, (int (*)(struct device * ,
4533 unsigned int ,
4534 unsigned long ))0,
4535 & r9701_get_datetime, & r9701_set_datetime, (int (*)(struct device * , struct rtc_wkalrm * ))0,
4536 (int (*)(struct device * , struct rtc_wkalrm * ))0, (int (*)(struct device * ,
4537 struct seq_file * ))0,
4538 (int (*)(struct device * , unsigned long secs ))0, (int (*)(struct device * ,
4539 int data ))0, (int (*)(struct device * ,
4540 unsigned int enabled ))0};
4541#line 123
4542static int r9701_probe(struct spi_device *spi ) __attribute__((__section__(".devinit.text"),
4543__no_instrument_function__)) ;
4544#line 123 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4545static int r9701_probe(struct spi_device *spi )
4546{ struct rtc_device *rtc ;
4547 struct rtc_time dt ;
4548 unsigned char tmp___7 ;
4549 int res ;
4550 int tmp___8 ;
4551 int tmp___9 ;
4552 long tmp___10 ;
4553 long tmp___11 ;
4554 unsigned char *__cil_tmp10 ;
4555 struct device *__cil_tmp11 ;
4556 struct device *__cil_tmp12 ;
4557 struct device const *__cil_tmp13 ;
4558 unsigned char *__cil_tmp14 ;
4559 unsigned char __cil_tmp15 ;
4560 int __cil_tmp16 ;
4561 struct device *__cil_tmp17 ;
4562 struct device const *__cil_tmp18 ;
4563 struct device *__cil_tmp19 ;
4564 struct device *__cil_tmp20 ;
4565 struct device const *__cil_tmp21 ;
4566 struct rtc_time *__cil_tmp22 ;
4567 unsigned long __cil_tmp23 ;
4568 unsigned long __cil_tmp24 ;
4569 unsigned long __cil_tmp25 ;
4570 unsigned long __cil_tmp26 ;
4571 unsigned long __cil_tmp27 ;
4572 struct device *__cil_tmp28 ;
4573 struct device *__cil_tmp29 ;
4574 struct device const *__cil_tmp30 ;
4575 struct device *__cil_tmp31 ;
4576 void const *__cil_tmp32 ;
4577 void const *__cil_tmp33 ;
4578 struct device *__cil_tmp34 ;
4579 void *__cil_tmp35 ;
4580
4581 {
4582 {
4583#line 130
4584 __cil_tmp10 = & tmp___7;
4585#line 130
4586 *__cil_tmp10 = (unsigned char)7;
4587#line 131
4588 __cil_tmp11 = (struct device *)spi;
4589#line 131
4590 res = read_regs(__cil_tmp11, & tmp___7, 1);
4591 }
4592#line 132
4593 if (res) {
4594 {
4595#line 133
4596 __cil_tmp12 = (struct device *)spi;
4597#line 133
4598 __cil_tmp13 = (struct device const *)__cil_tmp12;
4599#line 133
4600 dev_err(__cil_tmp13, "cannot read RTC register\n");
4601 }
4602#line 134
4603 return (-19);
4604 } else {
4605 {
4606#line 132
4607 __cil_tmp14 = & tmp___7;
4608#line 132
4609 __cil_tmp15 = *__cil_tmp14;
4610#line 132
4611 __cil_tmp16 = (int )__cil_tmp15;
4612#line 132
4613 if (__cil_tmp16 != 32) {
4614 {
4615#line 133
4616 __cil_tmp17 = (struct device *)spi;
4617#line 133
4618 __cil_tmp18 = (struct device const *)__cil_tmp17;
4619#line 133
4620 dev_err(__cil_tmp18, "cannot read RTC register\n");
4621 }
4622#line 134
4623 return (-19);
4624 } else {
4625
4626 }
4627 }
4628 }
4629 {
4630#line 142
4631 __cil_tmp19 = (struct device *)spi;
4632#line 142
4633 r9701_get_datetime(__cil_tmp19, & dt);
4634#line 143
4635 tmp___9 = rtc_valid_tm(& dt);
4636 }
4637#line 143
4638 if (tmp___9) {
4639 {
4640#line 144
4641 __cil_tmp20 = (struct device *)spi;
4642#line 144
4643 __cil_tmp21 = (struct device const *)__cil_tmp20;
4644#line 144
4645 _dev_info(__cil_tmp21, "trying to repair invalid date/time\n");
4646#line 145
4647 __cil_tmp22 = & dt;
4648#line 145
4649 *((int *)__cil_tmp22) = 0;
4650#line 146
4651 __cil_tmp23 = (unsigned long )(& dt) + 4;
4652#line 146
4653 *((int *)__cil_tmp23) = 0;
4654#line 147
4655 __cil_tmp24 = (unsigned long )(& dt) + 8;
4656#line 147
4657 *((int *)__cil_tmp24) = 0;
4658#line 148
4659 __cil_tmp25 = (unsigned long )(& dt) + 12;
4660#line 148
4661 *((int *)__cil_tmp25) = 1;
4662#line 149
4663 __cil_tmp26 = (unsigned long )(& dt) + 16;
4664#line 149
4665 *((int *)__cil_tmp26) = 0;
4666#line 150
4667 __cil_tmp27 = (unsigned long )(& dt) + 20;
4668#line 150
4669 *((int *)__cil_tmp27) = 100;
4670#line 152
4671 __cil_tmp28 = (struct device *)spi;
4672#line 152
4673 tmp___8 = r9701_set_datetime(__cil_tmp28, & dt);
4674 }
4675#line 152
4676 if (tmp___8) {
4677 {
4678#line 153
4679 __cil_tmp29 = (struct device *)spi;
4680#line 153
4681 __cil_tmp30 = (struct device const *)__cil_tmp29;
4682#line 153
4683 dev_err(__cil_tmp30, "cannot repair RTC register\n");
4684 }
4685#line 154
4686 return (-19);
4687 } else {
4688
4689 }
4690 } else {
4691
4692 }
4693 {
4694#line 158
4695 __cil_tmp31 = (struct device *)spi;
4696#line 158
4697 rtc = rtc_device_register("r9701", __cil_tmp31, & r9701_rtc_ops, & __this_module);
4698#line 160
4699 __cil_tmp32 = (void const *)rtc;
4700#line 160
4701 tmp___11 = (long )IS_ERR(__cil_tmp32);
4702 }
4703#line 160
4704 if (tmp___11) {
4705 {
4706#line 161
4707 __cil_tmp33 = (void const *)rtc;
4708#line 161
4709 tmp___10 = (long )PTR_ERR(__cil_tmp33);
4710 }
4711#line 161
4712 return ((int )tmp___10);
4713 } else {
4714
4715 }
4716 {
4717#line 163
4718 __cil_tmp34 = (struct device *)spi;
4719#line 163
4720 __cil_tmp35 = (void *)rtc;
4721#line 163
4722 dev_set_drvdata(__cil_tmp34, __cil_tmp35);
4723 }
4724#line 165
4725 return (0);
4726}
4727}
4728#line 168
4729static int r9701_remove(struct spi_device *spi ) __attribute__((__section__(".devexit.text"),
4730__no_instrument_function__)) ;
4731#line 168 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4732static int r9701_remove(struct spi_device *spi )
4733{ struct rtc_device *rtc ;
4734 void *tmp___7 ;
4735 struct device *__cil_tmp4 ;
4736 struct device const *__cil_tmp5 ;
4737
4738 {
4739 {
4740#line 170
4741 __cil_tmp4 = (struct device *)spi;
4742#line 170
4743 __cil_tmp5 = (struct device const *)__cil_tmp4;
4744#line 170
4745 tmp___7 = dev_get_drvdata(__cil_tmp5);
4746#line 170
4747 rtc = (struct rtc_device *)tmp___7;
4748#line 172
4749 rtc_device_unregister(rtc);
4750 }
4751#line 173
4752 return (0);
4753}
4754}
4755#line 176 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4756static struct spi_driver r9701_driver = {(struct spi_device_id const *)0, & r9701_probe, & r9701_remove, (void (*)(struct spi_device *spi ))0,
4757 (int (*)(struct spi_device *spi , pm_message_t mesg ))0, (int (*)(struct spi_device *spi ))0,
4758 {"rtc-r9701", (struct bus_type *)0, & __this_module, (char const *)0, (_Bool)0,
4759 (struct of_device_id const *)0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4760 (void (*)(struct device *dev ))0, (int (*)(struct device *dev , pm_message_t state ))0,
4761 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
4762 (struct driver_private *)0}};
4763#line 185
4764static int r9701_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4765#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4766static int r9701_driver_init(void)
4767{ int tmp___7 ;
4768
4769 {
4770 {
4771#line 185
4772 tmp___7 = spi_register_driver(& r9701_driver);
4773 }
4774#line 185
4775 return (tmp___7);
4776}
4777}
4778#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4779int init_module(void)
4780{ int tmp___7 ;
4781
4782 {
4783 {
4784#line 185
4785 tmp___7 = r9701_driver_init();
4786 }
4787#line 185
4788 return (tmp___7);
4789}
4790}
4791#line 185
4792static void r9701_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
4793#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4794static void r9701_driver_exit(void)
4795{
4796
4797 {
4798 {
4799#line 185
4800 spi_unregister_driver(& r9701_driver);
4801 }
4802#line 185
4803 return;
4804}
4805}
4806#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4807void cleanup_module(void)
4808{
4809
4810 {
4811 {
4812#line 185
4813 r9701_driver_exit();
4814 }
4815#line 185
4816 return;
4817}
4818}
4819#line 187 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4820static char const __mod_description187[33] __attribute__((__used__, __unused__,
4821__section__(".modinfo"), __aligned__(1))) =
4822#line 187
4823 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4824 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4825 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4826 (char const )'r', (char const )'9', (char const )'7', (char const )'0',
4827 (char const )'1', (char const )' ', (char const )'s', (char const )'p',
4828 (char const )'i', (char const )' ', (char const )'R', (char const )'T',
4829 (char const )'C', (char const )' ', (char const )'d', (char const )'r',
4830 (char const )'i', (char const )'v', (char const )'e', (char const )'r',
4831 (char const )'\000'};
4832#line 188 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4833static char const __mod_author188[40] __attribute__((__used__, __unused__, __section__(".modinfo"),
4834__aligned__(1))) =
4835#line 188
4836 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4837 (char const )'o', (char const )'r', (char const )'=', (char const )'M',
4838 (char const )'a', (char const )'g', (char const )'n', (char const )'u',
4839 (char const )'s', (char const )' ', (char const )'D', (char const )'a',
4840 (char const )'m', (char const )'m', (char const )' ', (char const )'<',
4841 (char const )'d', (char const )'a', (char const )'m', (char const )'m',
4842 (char const )'@', (char const )'o', (char const )'p', (char const )'e',
4843 (char const )'n', (char const )'s', (char const )'o', (char const )'u',
4844 (char const )'r', (char const )'c', (char const )'e', (char const )'.',
4845 (char const )'s', (char const )'e', (char const )'>', (char const )'\000'};
4846#line 189 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4847static char const __mod_license189[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4848__aligned__(1))) =
4849#line 189
4850 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4851 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4852 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4853#line 190 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4854static char const __mod_alias190[20] __attribute__((__used__, __unused__, __section__(".modinfo"),
4855__aligned__(1))) =
4856#line 190
4857 { (char const )'a', (char const )'l', (char const )'i', (char const )'a',
4858 (char const )'s', (char const )'=', (char const )'s', (char const )'p',
4859 (char const )'i', (char const )':', (char const )'r', (char const )'t',
4860 (char const )'c', (char const )'-', (char const )'r', (char const )'9',
4861 (char const )'7', (char const )'0', (char const )'1', (char const )'\000'};
4862#line 208
4863void ldv_check_final_state(void) ;
4864#line 211
4865extern void ldv_check_return_value(int res ) ;
4866#line 214
4867extern void ldv_initialize(void) ;
4868#line 217
4869extern int __VERIFIER_nondet_int(void) ;
4870#line 220 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4871int LDV_IN_INTERRUPT ;
4872#line 293 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4873static int res_r9701_probe_4 ;
4874#line 223 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
4875void main(void)
4876{ struct device *var_group1 ;
4877 struct rtc_time *var_group2 ;
4878 struct spi_device *var_group3 ;
4879 int ldv_s_r9701_driver_spi_driver ;
4880 int tmp___7 ;
4881 int tmp___8 ;
4882 int __cil_tmp7 ;
4883
4884 {
4885 {
4886#line 301
4887 LDV_IN_INTERRUPT = 1;
4888#line 310
4889 ldv_initialize();
4890#line 313
4891 ldv_s_r9701_driver_spi_driver = 0;
4892 }
4893 {
4894#line 316
4895 while (1) {
4896 while_continue: ;
4897 {
4898#line 316
4899 tmp___8 = __VERIFIER_nondet_int();
4900 }
4901#line 316
4902 if (tmp___8) {
4903
4904 } else {
4905 {
4906#line 316
4907 __cil_tmp7 = ldv_s_r9701_driver_spi_driver == 0;
4908#line 316
4909 if (! __cil_tmp7) {
4910
4911 } else {
4912#line 316
4913 goto while_break;
4914 }
4915 }
4916 }
4917 {
4918#line 320
4919 tmp___7 = __VERIFIER_nondet_int();
4920 }
4921#line 322
4922 if (tmp___7 == 0) {
4923#line 322
4924 goto case_0;
4925 } else
4926#line 354
4927 if (tmp___7 == 1) {
4928#line 354
4929 goto case_1;
4930 } else
4931#line 386
4932 if (tmp___7 == 2) {
4933#line 386
4934 goto case_2;
4935 } else {
4936 {
4937#line 421
4938 goto switch_default;
4939#line 320
4940 if (0) {
4941 case_0:
4942 {
4943#line 346
4944 r9701_get_datetime(var_group1, var_group2);
4945 }
4946#line 353
4947 goto switch_break;
4948 case_1:
4949 {
4950#line 378
4951 r9701_set_datetime(var_group1, var_group2);
4952 }
4953#line 385
4954 goto switch_break;
4955 case_2:
4956#line 389
4957 if (ldv_s_r9701_driver_spi_driver == 0) {
4958 {
4959#line 410
4960 res_r9701_probe_4 = r9701_probe(var_group3);
4961#line 411
4962 ldv_check_return_value(res_r9701_probe_4);
4963 }
4964#line 412
4965 if (res_r9701_probe_4) {
4966#line 413
4967 goto ldv_module_exit;
4968 } else {
4969
4970 }
4971#line 414
4972 ldv_s_r9701_driver_spi_driver = 0;
4973 } else {
4974
4975 }
4976#line 420
4977 goto switch_break;
4978 switch_default:
4979#line 421
4980 goto switch_break;
4981 } else {
4982 switch_break: ;
4983 }
4984 }
4985 }
4986 }
4987 while_break: ;
4988 }
4989 ldv_module_exit:
4990 {
4991#line 430
4992 ldv_check_final_state();
4993 }
4994#line 433
4995 return;
4996}
4997}
4998#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4999void ldv_blast_assert(void)
5000{
5001
5002 {
5003 ERROR:
5004#line 6
5005 goto ERROR;
5006}
5007}
5008#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
5009extern int __VERIFIER_nondet_int(void) ;
5010#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5011int ldv_mutex = 1;
5012#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5013int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
5014{ int nondetermined ;
5015
5016 {
5017#line 29
5018 if (ldv_mutex == 1) {
5019
5020 } else {
5021 {
5022#line 29
5023 ldv_blast_assert();
5024 }
5025 }
5026 {
5027#line 32
5028 nondetermined = __VERIFIER_nondet_int();
5029 }
5030#line 35
5031 if (nondetermined) {
5032#line 38
5033 ldv_mutex = 2;
5034#line 40
5035 return (0);
5036 } else {
5037#line 45
5038 return (-4);
5039 }
5040}
5041}
5042#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5043int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
5044{ int nondetermined ;
5045
5046 {
5047#line 57
5048 if (ldv_mutex == 1) {
5049
5050 } else {
5051 {
5052#line 57
5053 ldv_blast_assert();
5054 }
5055 }
5056 {
5057#line 60
5058 nondetermined = __VERIFIER_nondet_int();
5059 }
5060#line 63
5061 if (nondetermined) {
5062#line 66
5063 ldv_mutex = 2;
5064#line 68
5065 return (0);
5066 } else {
5067#line 73
5068 return (-4);
5069 }
5070}
5071}
5072#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5073int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
5074{ int atomic_value_after_dec ;
5075
5076 {
5077#line 83
5078 if (ldv_mutex == 1) {
5079
5080 } else {
5081 {
5082#line 83
5083 ldv_blast_assert();
5084 }
5085 }
5086 {
5087#line 86
5088 atomic_value_after_dec = __VERIFIER_nondet_int();
5089 }
5090#line 89
5091 if (atomic_value_after_dec == 0) {
5092#line 92
5093 ldv_mutex = 2;
5094#line 94
5095 return (1);
5096 } else {
5097
5098 }
5099#line 98
5100 return (0);
5101}
5102}
5103#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5104void mutex_lock(struct mutex *lock )
5105{
5106
5107 {
5108#line 108
5109 if (ldv_mutex == 1) {
5110
5111 } else {
5112 {
5113#line 108
5114 ldv_blast_assert();
5115 }
5116 }
5117#line 110
5118 ldv_mutex = 2;
5119#line 111
5120 return;
5121}
5122}
5123#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5124int mutex_trylock(struct mutex *lock )
5125{ int nondetermined ;
5126
5127 {
5128#line 121
5129 if (ldv_mutex == 1) {
5130
5131 } else {
5132 {
5133#line 121
5134 ldv_blast_assert();
5135 }
5136 }
5137 {
5138#line 124
5139 nondetermined = __VERIFIER_nondet_int();
5140 }
5141#line 127
5142 if (nondetermined) {
5143#line 130
5144 ldv_mutex = 2;
5145#line 132
5146 return (1);
5147 } else {
5148#line 137
5149 return (0);
5150 }
5151}
5152}
5153#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5154void mutex_unlock(struct mutex *lock )
5155{
5156
5157 {
5158#line 147
5159 if (ldv_mutex == 2) {
5160
5161 } else {
5162 {
5163#line 147
5164 ldv_blast_assert();
5165 }
5166 }
5167#line 149
5168 ldv_mutex = 1;
5169#line 150
5170 return;
5171}
5172}
5173#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5174void ldv_check_final_state(void)
5175{
5176
5177 {
5178#line 156
5179 if (ldv_mutex == 1) {
5180
5181 } else {
5182 {
5183#line 156
5184 ldv_blast_assert();
5185 }
5186 }
5187#line 157
5188 return;
5189}
5190}
5191#line 442 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6253/dscv_tempdir/dscv/ri/32_1/drivers/rtc/rtc-r9701.c.common.c"
5192long s__builtin_expect(long val , long res )
5193{
5194
5195 {
5196#line 443
5197 return (val);
5198}
5199}