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