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