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