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