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