1
2
3
4#line 23 "include/asm-generic/int-ll64.h"
5typedef unsigned short __u16;
6#line 26 "include/asm-generic/int-ll64.h"
7typedef unsigned int __u32;
8#line 30 "include/asm-generic/int-ll64.h"
9typedef unsigned long long __u64;
10#line 45 "include/asm-generic/int-ll64.h"
11typedef short s16;
12#line 46 "include/asm-generic/int-ll64.h"
13typedef unsigned short u16;
14#line 49 "include/asm-generic/int-ll64.h"
15typedef unsigned int u32;
16#line 51 "include/asm-generic/int-ll64.h"
17typedef long long s64;
18#line 52 "include/asm-generic/int-ll64.h"
19typedef unsigned long long u64;
20#line 14 "include/asm-generic/posix_types.h"
21typedef long __kernel_long_t;
22#line 15 "include/asm-generic/posix_types.h"
23typedef unsigned long __kernel_ulong_t;
24#line 75 "include/asm-generic/posix_types.h"
25typedef __kernel_ulong_t __kernel_size_t;
26#line 76 "include/asm-generic/posix_types.h"
27typedef __kernel_long_t __kernel_ssize_t;
28#line 91 "include/asm-generic/posix_types.h"
29typedef long long __kernel_loff_t;
30#line 21 "include/linux/types.h"
31typedef __u32 __kernel_dev_t;
32#line 24 "include/linux/types.h"
33typedef __kernel_dev_t dev_t;
34#line 27 "include/linux/types.h"
35typedef unsigned short umode_t;
36#line 38 "include/linux/types.h"
37typedef _Bool bool;
38#line 54 "include/linux/types.h"
39typedef __kernel_loff_t loff_t;
40#line 63 "include/linux/types.h"
41typedef __kernel_size_t size_t;
42#line 68 "include/linux/types.h"
43typedef __kernel_ssize_t ssize_t;
44#line 155 "include/linux/types.h"
45typedef u64 dma_addr_t;
46#line 202 "include/linux/types.h"
47typedef unsigned int gfp_t;
48#line 206 "include/linux/types.h"
49typedef u64 phys_addr_t;
50#line 211 "include/linux/types.h"
51typedef phys_addr_t resource_size_t;
52#line 219 "include/linux/types.h"
53struct __anonstruct_atomic_t_7 {
54 int counter ;
55};
56#line 219 "include/linux/types.h"
57typedef struct __anonstruct_atomic_t_7 atomic_t;
58#line 224 "include/linux/types.h"
59struct __anonstruct_atomic64_t_8 {
60 long counter ;
61};
62#line 224 "include/linux/types.h"
63typedef struct __anonstruct_atomic64_t_8 atomic64_t;
64#line 229 "include/linux/types.h"
65struct list_head {
66 struct list_head *next ;
67 struct list_head *prev ;
68};
69#line 233
70struct hlist_node;
71#line 233 "include/linux/types.h"
72struct hlist_head {
73 struct hlist_node *first ;
74};
75#line 237 "include/linux/types.h"
76struct hlist_node {
77 struct hlist_node *next ;
78 struct hlist_node **pprev ;
79};
80#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
81struct module;
82#line 56
83struct module;
84#line 146 "include/linux/init.h"
85typedef void (*ctor_fn_t)(void);
86#line 47 "include/linux/dynamic_debug.h"
87struct device;
88#line 47
89struct device;
90#line 135 "include/linux/kernel.h"
91struct completion;
92#line 135
93struct completion;
94#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
95struct page;
96#line 18
97struct page;
98#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
99struct task_struct;
100#line 20
101struct task_struct;
102#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
103struct task_struct;
104#line 8
105struct mm_struct;
106#line 8
107struct mm_struct;
108#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
109typedef unsigned long pgdval_t;
110#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
111typedef unsigned long pgprotval_t;
112#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
113struct pgprot {
114 pgprotval_t pgprot ;
115};
116#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
117typedef struct pgprot pgprot_t;
118#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
119struct __anonstruct_pgd_t_20 {
120 pgdval_t pgd ;
121};
122#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
123typedef struct __anonstruct_pgd_t_20 pgd_t;
124#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
125typedef struct page *pgtable_t;
126#line 295
127struct file;
128#line 295
129struct file;
130#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
131struct page;
132#line 50
133struct mm_struct;
134#line 52
135struct task_struct;
136#line 53
137struct cpumask;
138#line 53
139struct cpumask;
140#line 329
141struct arch_spinlock;
142#line 329
143struct arch_spinlock;
144#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
145struct task_struct;
146#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
147struct task_struct;
148#line 10 "include/asm-generic/bug.h"
149struct bug_entry {
150 int bug_addr_disp ;
151 int file_disp ;
152 unsigned short line ;
153 unsigned short flags ;
154};
155#line 14 "include/linux/cpumask.h"
156struct cpumask {
157 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
158};
159#line 637 "include/linux/cpumask.h"
160typedef struct cpumask *cpumask_var_t;
161#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
162struct static_key;
163#line 234
164struct static_key;
165#line 433 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
166struct kmem_cache;
167#line 23 "include/asm-generic/atomic-long.h"
168typedef atomic64_t atomic_long_t;
169#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
170typedef u16 __ticket_t;
171#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
172typedef u32 __ticketpair_t;
173#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
174struct __raw_tickets {
175 __ticket_t head ;
176 __ticket_t tail ;
177};
178#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
179union __anonunion____missing_field_name_36 {
180 __ticketpair_t head_tail ;
181 struct __raw_tickets tickets ;
182};
183#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
184struct arch_spinlock {
185 union __anonunion____missing_field_name_36 __annonCompField17 ;
186};
187#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
188typedef struct arch_spinlock arch_spinlock_t;
189#line 12 "include/linux/lockdep.h"
190struct task_struct;
191#line 391 "include/linux/lockdep.h"
192struct lock_class_key {
193
194};
195#line 20 "include/linux/spinlock_types.h"
196struct raw_spinlock {
197 arch_spinlock_t raw_lock ;
198 unsigned int magic ;
199 unsigned int owner_cpu ;
200 void *owner ;
201};
202#line 20 "include/linux/spinlock_types.h"
203typedef struct raw_spinlock raw_spinlock_t;
204#line 64 "include/linux/spinlock_types.h"
205union __anonunion____missing_field_name_39 {
206 struct raw_spinlock rlock ;
207};
208#line 64 "include/linux/spinlock_types.h"
209struct spinlock {
210 union __anonunion____missing_field_name_39 __annonCompField19 ;
211};
212#line 64 "include/linux/spinlock_types.h"
213typedef struct spinlock spinlock_t;
214#line 49 "include/linux/wait.h"
215struct __wait_queue_head {
216 spinlock_t lock ;
217 struct list_head task_list ;
218};
219#line 53 "include/linux/wait.h"
220typedef struct __wait_queue_head wait_queue_head_t;
221#line 55
222struct task_struct;
223#line 98 "include/linux/nodemask.h"
224struct __anonstruct_nodemask_t_42 {
225 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
226};
227#line 98 "include/linux/nodemask.h"
228typedef struct __anonstruct_nodemask_t_42 nodemask_t;
229#line 60 "include/linux/pageblock-flags.h"
230struct page;
231#line 48 "include/linux/mutex.h"
232struct mutex {
233 atomic_t count ;
234 spinlock_t wait_lock ;
235 struct list_head wait_list ;
236 struct task_struct *owner ;
237 char const *name ;
238 void *magic ;
239};
240#line 19 "include/linux/rwsem.h"
241struct rw_semaphore;
242#line 19
243struct rw_semaphore;
244#line 25 "include/linux/rwsem.h"
245struct rw_semaphore {
246 long count ;
247 raw_spinlock_t wait_lock ;
248 struct list_head wait_list ;
249};
250#line 25 "include/linux/completion.h"
251struct completion {
252 unsigned int done ;
253 wait_queue_head_t wait ;
254};
255#line 9 "include/linux/memory_hotplug.h"
256struct page;
257#line 18 "include/linux/ioport.h"
258struct resource {
259 resource_size_t start ;
260 resource_size_t end ;
261 char const *name ;
262 unsigned long flags ;
263 struct resource *parent ;
264 struct resource *sibling ;
265 struct resource *child ;
266};
267#line 202
268struct device;
269#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
270struct device;
271#line 46 "include/linux/ktime.h"
272union ktime {
273 s64 tv64 ;
274};
275#line 59 "include/linux/ktime.h"
276typedef union ktime ktime_t;
277#line 10 "include/linux/timer.h"
278struct tvec_base;
279#line 10
280struct tvec_base;
281#line 12 "include/linux/timer.h"
282struct timer_list {
283 struct list_head entry ;
284 unsigned long expires ;
285 struct tvec_base *base ;
286 void (*function)(unsigned long ) ;
287 unsigned long data ;
288 int slack ;
289 int start_pid ;
290 void *start_site ;
291 char start_comm[16] ;
292};
293#line 17 "include/linux/workqueue.h"
294struct work_struct;
295#line 17
296struct work_struct;
297#line 79 "include/linux/workqueue.h"
298struct work_struct {
299 atomic_long_t data ;
300 struct list_head entry ;
301 void (*func)(struct work_struct *work ) ;
302};
303#line 42 "include/linux/pm.h"
304struct device;
305#line 50 "include/linux/pm.h"
306struct pm_message {
307 int event ;
308};
309#line 50 "include/linux/pm.h"
310typedef struct pm_message pm_message_t;
311#line 264 "include/linux/pm.h"
312struct dev_pm_ops {
313 int (*prepare)(struct device *dev ) ;
314 void (*complete)(struct device *dev ) ;
315 int (*suspend)(struct device *dev ) ;
316 int (*resume)(struct device *dev ) ;
317 int (*freeze)(struct device *dev ) ;
318 int (*thaw)(struct device *dev ) ;
319 int (*poweroff)(struct device *dev ) ;
320 int (*restore)(struct device *dev ) ;
321 int (*suspend_late)(struct device *dev ) ;
322 int (*resume_early)(struct device *dev ) ;
323 int (*freeze_late)(struct device *dev ) ;
324 int (*thaw_early)(struct device *dev ) ;
325 int (*poweroff_late)(struct device *dev ) ;
326 int (*restore_early)(struct device *dev ) ;
327 int (*suspend_noirq)(struct device *dev ) ;
328 int (*resume_noirq)(struct device *dev ) ;
329 int (*freeze_noirq)(struct device *dev ) ;
330 int (*thaw_noirq)(struct device *dev ) ;
331 int (*poweroff_noirq)(struct device *dev ) ;
332 int (*restore_noirq)(struct device *dev ) ;
333 int (*runtime_suspend)(struct device *dev ) ;
334 int (*runtime_resume)(struct device *dev ) ;
335 int (*runtime_idle)(struct device *dev ) ;
336};
337#line 458
338enum rpm_status {
339 RPM_ACTIVE = 0,
340 RPM_RESUMING = 1,
341 RPM_SUSPENDED = 2,
342 RPM_SUSPENDING = 3
343} ;
344#line 480
345enum rpm_request {
346 RPM_REQ_NONE = 0,
347 RPM_REQ_IDLE = 1,
348 RPM_REQ_SUSPEND = 2,
349 RPM_REQ_AUTOSUSPEND = 3,
350 RPM_REQ_RESUME = 4
351} ;
352#line 488
353struct wakeup_source;
354#line 488
355struct wakeup_source;
356#line 495 "include/linux/pm.h"
357struct pm_subsys_data {
358 spinlock_t lock ;
359 unsigned int refcount ;
360};
361#line 506
362struct dev_pm_qos_request;
363#line 506
364struct pm_qos_constraints;
365#line 506 "include/linux/pm.h"
366struct dev_pm_info {
367 pm_message_t power_state ;
368 unsigned int can_wakeup : 1 ;
369 unsigned int async_suspend : 1 ;
370 bool is_prepared : 1 ;
371 bool is_suspended : 1 ;
372 bool ignore_children : 1 ;
373 spinlock_t lock ;
374 struct list_head entry ;
375 struct completion completion ;
376 struct wakeup_source *wakeup ;
377 bool wakeup_path : 1 ;
378 struct timer_list suspend_timer ;
379 unsigned long timer_expires ;
380 struct work_struct work ;
381 wait_queue_head_t wait_queue ;
382 atomic_t usage_count ;
383 atomic_t child_count ;
384 unsigned int disable_depth : 3 ;
385 unsigned int idle_notification : 1 ;
386 unsigned int request_pending : 1 ;
387 unsigned int deferred_resume : 1 ;
388 unsigned int run_wake : 1 ;
389 unsigned int runtime_auto : 1 ;
390 unsigned int no_callbacks : 1 ;
391 unsigned int irq_safe : 1 ;
392 unsigned int use_autosuspend : 1 ;
393 unsigned int timer_autosuspends : 1 ;
394 enum rpm_request request ;
395 enum rpm_status runtime_status ;
396 int runtime_error ;
397 int autosuspend_delay ;
398 unsigned long last_busy ;
399 unsigned long active_jiffies ;
400 unsigned long suspended_jiffies ;
401 unsigned long accounting_timestamp ;
402 ktime_t suspend_time ;
403 s64 max_time_suspended_ns ;
404 struct dev_pm_qos_request *pq_req ;
405 struct pm_subsys_data *subsys_data ;
406 struct pm_qos_constraints *constraints ;
407};
408#line 564 "include/linux/pm.h"
409struct dev_pm_domain {
410 struct dev_pm_ops ops ;
411};
412#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
413struct __anonstruct_mm_context_t_112 {
414 void *ldt ;
415 int size ;
416 unsigned short ia32_compat ;
417 struct mutex lock ;
418 void *vdso ;
419};
420#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
421typedef struct __anonstruct_mm_context_t_112 mm_context_t;
422#line 8 "include/linux/vmalloc.h"
423struct vm_area_struct;
424#line 8
425struct vm_area_struct;
426#line 994 "include/linux/mmzone.h"
427struct page;
428#line 10 "include/linux/gfp.h"
429struct vm_area_struct;
430#line 29 "include/linux/sysctl.h"
431struct completion;
432#line 100 "include/linux/rbtree.h"
433struct rb_node {
434 unsigned long rb_parent_color ;
435 struct rb_node *rb_right ;
436 struct rb_node *rb_left ;
437} __attribute__((__aligned__(sizeof(long )))) ;
438#line 110 "include/linux/rbtree.h"
439struct rb_root {
440 struct rb_node *rb_node ;
441};
442#line 49 "include/linux/kmod.h"
443struct file;
444#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
445struct task_struct;
446#line 18 "include/linux/elf.h"
447typedef __u64 Elf64_Addr;
448#line 19 "include/linux/elf.h"
449typedef __u16 Elf64_Half;
450#line 23 "include/linux/elf.h"
451typedef __u32 Elf64_Word;
452#line 24 "include/linux/elf.h"
453typedef __u64 Elf64_Xword;
454#line 194 "include/linux/elf.h"
455struct elf64_sym {
456 Elf64_Word st_name ;
457 unsigned char st_info ;
458 unsigned char st_other ;
459 Elf64_Half st_shndx ;
460 Elf64_Addr st_value ;
461 Elf64_Xword st_size ;
462};
463#line 194 "include/linux/elf.h"
464typedef struct elf64_sym Elf64_Sym;
465#line 438
466struct file;
467#line 20 "include/linux/kobject_ns.h"
468struct sock;
469#line 20
470struct sock;
471#line 21
472struct kobject;
473#line 21
474struct kobject;
475#line 27
476enum kobj_ns_type {
477 KOBJ_NS_TYPE_NONE = 0,
478 KOBJ_NS_TYPE_NET = 1,
479 KOBJ_NS_TYPES = 2
480} ;
481#line 40 "include/linux/kobject_ns.h"
482struct kobj_ns_type_operations {
483 enum kobj_ns_type type ;
484 void *(*grab_current_ns)(void) ;
485 void const *(*netlink_ns)(struct sock *sk ) ;
486 void const *(*initial_ns)(void) ;
487 void (*drop_ns)(void * ) ;
488};
489#line 22 "include/linux/sysfs.h"
490struct kobject;
491#line 23
492struct module;
493#line 24
494enum kobj_ns_type;
495#line 26 "include/linux/sysfs.h"
496struct attribute {
497 char const *name ;
498 umode_t mode ;
499};
500#line 56 "include/linux/sysfs.h"
501struct attribute_group {
502 char const *name ;
503 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
504 struct attribute **attrs ;
505};
506#line 85
507struct file;
508#line 86
509struct vm_area_struct;
510#line 88 "include/linux/sysfs.h"
511struct bin_attribute {
512 struct attribute attr ;
513 size_t size ;
514 void *private ;
515 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
516 loff_t , size_t ) ;
517 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
518 loff_t , size_t ) ;
519 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
520};
521#line 112 "include/linux/sysfs.h"
522struct sysfs_ops {
523 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
524 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
525 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
526};
527#line 118
528struct sysfs_dirent;
529#line 118
530struct sysfs_dirent;
531#line 22 "include/linux/kref.h"
532struct kref {
533 atomic_t refcount ;
534};
535#line 60 "include/linux/kobject.h"
536struct kset;
537#line 60
538struct kobj_type;
539#line 60 "include/linux/kobject.h"
540struct kobject {
541 char const *name ;
542 struct list_head entry ;
543 struct kobject *parent ;
544 struct kset *kset ;
545 struct kobj_type *ktype ;
546 struct sysfs_dirent *sd ;
547 struct kref kref ;
548 unsigned int state_initialized : 1 ;
549 unsigned int state_in_sysfs : 1 ;
550 unsigned int state_add_uevent_sent : 1 ;
551 unsigned int state_remove_uevent_sent : 1 ;
552 unsigned int uevent_suppress : 1 ;
553};
554#line 108 "include/linux/kobject.h"
555struct kobj_type {
556 void (*release)(struct kobject *kobj ) ;
557 struct sysfs_ops const *sysfs_ops ;
558 struct attribute **default_attrs ;
559 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
560 void const *(*namespace)(struct kobject *kobj ) ;
561};
562#line 116 "include/linux/kobject.h"
563struct kobj_uevent_env {
564 char *envp[32] ;
565 int envp_idx ;
566 char buf[2048] ;
567 int buflen ;
568};
569#line 123 "include/linux/kobject.h"
570struct kset_uevent_ops {
571 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
572 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
573 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
574};
575#line 140
576struct sock;
577#line 159 "include/linux/kobject.h"
578struct kset {
579 struct list_head list ;
580 spinlock_t list_lock ;
581 struct kobject kobj ;
582 struct kset_uevent_ops const *uevent_ops ;
583};
584#line 39 "include/linux/moduleparam.h"
585struct kernel_param;
586#line 39
587struct kernel_param;
588#line 41 "include/linux/moduleparam.h"
589struct kernel_param_ops {
590 int (*set)(char const *val , struct kernel_param const *kp ) ;
591 int (*get)(char *buffer , struct kernel_param const *kp ) ;
592 void (*free)(void *arg ) ;
593};
594#line 50
595struct kparam_string;
596#line 50
597struct kparam_array;
598#line 50 "include/linux/moduleparam.h"
599union __anonunion____missing_field_name_199 {
600 void *arg ;
601 struct kparam_string const *str ;
602 struct kparam_array const *arr ;
603};
604#line 50 "include/linux/moduleparam.h"
605struct kernel_param {
606 char const *name ;
607 struct kernel_param_ops const *ops ;
608 u16 perm ;
609 s16 level ;
610 union __anonunion____missing_field_name_199 __annonCompField32 ;
611};
612#line 63 "include/linux/moduleparam.h"
613struct kparam_string {
614 unsigned int maxlen ;
615 char *string ;
616};
617#line 69 "include/linux/moduleparam.h"
618struct kparam_array {
619 unsigned int max ;
620 unsigned int elemsize ;
621 unsigned int *num ;
622 struct kernel_param_ops const *ops ;
623 void *elem ;
624};
625#line 445
626struct module;
627#line 80 "include/linux/jump_label.h"
628struct module;
629#line 143 "include/linux/jump_label.h"
630struct static_key {
631 atomic_t enabled ;
632};
633#line 22 "include/linux/tracepoint.h"
634struct module;
635#line 23
636struct tracepoint;
637#line 23
638struct tracepoint;
639#line 25 "include/linux/tracepoint.h"
640struct tracepoint_func {
641 void *func ;
642 void *data ;
643};
644#line 30 "include/linux/tracepoint.h"
645struct tracepoint {
646 char const *name ;
647 struct static_key key ;
648 void (*regfunc)(void) ;
649 void (*unregfunc)(void) ;
650 struct tracepoint_func *funcs ;
651};
652#line 19 "include/linux/export.h"
653struct kernel_symbol {
654 unsigned long value ;
655 char const *name ;
656};
657#line 8 "include/asm-generic/module.h"
658struct mod_arch_specific {
659
660};
661#line 35 "include/linux/module.h"
662struct module;
663#line 37
664struct module_param_attrs;
665#line 37 "include/linux/module.h"
666struct module_kobject {
667 struct kobject kobj ;
668 struct module *mod ;
669 struct kobject *drivers_dir ;
670 struct module_param_attrs *mp ;
671};
672#line 44 "include/linux/module.h"
673struct module_attribute {
674 struct attribute attr ;
675 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
676 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
677 size_t count ) ;
678 void (*setup)(struct module * , char const * ) ;
679 int (*test)(struct module * ) ;
680 void (*free)(struct module * ) ;
681};
682#line 71
683struct exception_table_entry;
684#line 71
685struct exception_table_entry;
686#line 199
687enum module_state {
688 MODULE_STATE_LIVE = 0,
689 MODULE_STATE_COMING = 1,
690 MODULE_STATE_GOING = 2
691} ;
692#line 215 "include/linux/module.h"
693struct module_ref {
694 unsigned long incs ;
695 unsigned long decs ;
696} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
697#line 220
698struct module_sect_attrs;
699#line 220
700struct module_notes_attrs;
701#line 220
702struct ftrace_event_call;
703#line 220 "include/linux/module.h"
704struct module {
705 enum module_state state ;
706 struct list_head list ;
707 char name[64UL - sizeof(unsigned long )] ;
708 struct module_kobject mkobj ;
709 struct module_attribute *modinfo_attrs ;
710 char const *version ;
711 char const *srcversion ;
712 struct kobject *holders_dir ;
713 struct kernel_symbol const *syms ;
714 unsigned long const *crcs ;
715 unsigned int num_syms ;
716 struct kernel_param *kp ;
717 unsigned int num_kp ;
718 unsigned int num_gpl_syms ;
719 struct kernel_symbol const *gpl_syms ;
720 unsigned long const *gpl_crcs ;
721 struct kernel_symbol const *unused_syms ;
722 unsigned long const *unused_crcs ;
723 unsigned int num_unused_syms ;
724 unsigned int num_unused_gpl_syms ;
725 struct kernel_symbol const *unused_gpl_syms ;
726 unsigned long const *unused_gpl_crcs ;
727 struct kernel_symbol const *gpl_future_syms ;
728 unsigned long const *gpl_future_crcs ;
729 unsigned int num_gpl_future_syms ;
730 unsigned int num_exentries ;
731 struct exception_table_entry *extable ;
732 int (*init)(void) ;
733 void *module_init ;
734 void *module_core ;
735 unsigned int init_size ;
736 unsigned int core_size ;
737 unsigned int init_text_size ;
738 unsigned int core_text_size ;
739 unsigned int init_ro_size ;
740 unsigned int core_ro_size ;
741 struct mod_arch_specific arch ;
742 unsigned int taints ;
743 unsigned int num_bugs ;
744 struct list_head bug_list ;
745 struct bug_entry *bug_table ;
746 Elf64_Sym *symtab ;
747 Elf64_Sym *core_symtab ;
748 unsigned int num_symtab ;
749 unsigned int core_num_syms ;
750 char *strtab ;
751 char *core_strtab ;
752 struct module_sect_attrs *sect_attrs ;
753 struct module_notes_attrs *notes_attrs ;
754 char *args ;
755 void *percpu ;
756 unsigned int percpu_size ;
757 unsigned int num_tracepoints ;
758 struct tracepoint * const *tracepoints_ptrs ;
759 unsigned int num_trace_bprintk_fmt ;
760 char const **trace_bprintk_fmt_start ;
761 struct ftrace_event_call **trace_events ;
762 unsigned int num_trace_events ;
763 struct list_head source_list ;
764 struct list_head target_list ;
765 struct task_struct *waiter ;
766 void (*exit)(void) ;
767 struct module_ref *refptr ;
768 ctor_fn_t *ctors ;
769 unsigned int num_ctors ;
770};
771#line 46 "include/linux/slub_def.h"
772struct kmem_cache_cpu {
773 void **freelist ;
774 unsigned long tid ;
775 struct page *page ;
776 struct page *partial ;
777 int node ;
778 unsigned int stat[26] ;
779};
780#line 57 "include/linux/slub_def.h"
781struct kmem_cache_node {
782 spinlock_t list_lock ;
783 unsigned long nr_partial ;
784 struct list_head partial ;
785 atomic_long_t nr_slabs ;
786 atomic_long_t total_objects ;
787 struct list_head full ;
788};
789#line 73 "include/linux/slub_def.h"
790struct kmem_cache_order_objects {
791 unsigned long x ;
792};
793#line 80 "include/linux/slub_def.h"
794struct kmem_cache {
795 struct kmem_cache_cpu *cpu_slab ;
796 unsigned long flags ;
797 unsigned long min_partial ;
798 int size ;
799 int objsize ;
800 int offset ;
801 int cpu_partial ;
802 struct kmem_cache_order_objects oo ;
803 struct kmem_cache_order_objects max ;
804 struct kmem_cache_order_objects min ;
805 gfp_t allocflags ;
806 int refcount ;
807 void (*ctor)(void * ) ;
808 int inuse ;
809 int align ;
810 int reserved ;
811 char const *name ;
812 struct list_head list ;
813 struct kobject kobj ;
814 int remote_node_defrag_ratio ;
815 struct kmem_cache_node *node[1 << 10] ;
816};
817#line 14 "include/linux/prio_tree.h"
818struct prio_tree_node;
819#line 14 "include/linux/prio_tree.h"
820struct raw_prio_tree_node {
821 struct prio_tree_node *left ;
822 struct prio_tree_node *right ;
823 struct prio_tree_node *parent ;
824};
825#line 20 "include/linux/prio_tree.h"
826struct prio_tree_node {
827 struct prio_tree_node *left ;
828 struct prio_tree_node *right ;
829 struct prio_tree_node *parent ;
830 unsigned long start ;
831 unsigned long last ;
832};
833#line 8 "include/linux/debug_locks.h"
834struct task_struct;
835#line 48
836struct task_struct;
837#line 23 "include/linux/mm_types.h"
838struct address_space;
839#line 23
840struct address_space;
841#line 40 "include/linux/mm_types.h"
842union __anonunion____missing_field_name_202 {
843 unsigned long index ;
844 void *freelist ;
845};
846#line 40 "include/linux/mm_types.h"
847struct __anonstruct____missing_field_name_206 {
848 unsigned int inuse : 16 ;
849 unsigned int objects : 15 ;
850 unsigned int frozen : 1 ;
851};
852#line 40 "include/linux/mm_types.h"
853union __anonunion____missing_field_name_205 {
854 atomic_t _mapcount ;
855 struct __anonstruct____missing_field_name_206 __annonCompField34 ;
856};
857#line 40 "include/linux/mm_types.h"
858struct __anonstruct____missing_field_name_204 {
859 union __anonunion____missing_field_name_205 __annonCompField35 ;
860 atomic_t _count ;
861};
862#line 40 "include/linux/mm_types.h"
863union __anonunion____missing_field_name_203 {
864 unsigned long counters ;
865 struct __anonstruct____missing_field_name_204 __annonCompField36 ;
866};
867#line 40 "include/linux/mm_types.h"
868struct __anonstruct____missing_field_name_201 {
869 union __anonunion____missing_field_name_202 __annonCompField33 ;
870 union __anonunion____missing_field_name_203 __annonCompField37 ;
871};
872#line 40 "include/linux/mm_types.h"
873struct __anonstruct____missing_field_name_208 {
874 struct page *next ;
875 int pages ;
876 int pobjects ;
877};
878#line 40 "include/linux/mm_types.h"
879union __anonunion____missing_field_name_207 {
880 struct list_head lru ;
881 struct __anonstruct____missing_field_name_208 __annonCompField39 ;
882};
883#line 40 "include/linux/mm_types.h"
884union __anonunion____missing_field_name_209 {
885 unsigned long private ;
886 struct kmem_cache *slab ;
887 struct page *first_page ;
888};
889#line 40 "include/linux/mm_types.h"
890struct page {
891 unsigned long flags ;
892 struct address_space *mapping ;
893 struct __anonstruct____missing_field_name_201 __annonCompField38 ;
894 union __anonunion____missing_field_name_207 __annonCompField40 ;
895 union __anonunion____missing_field_name_209 __annonCompField41 ;
896 unsigned long debug_flags ;
897} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
898#line 200 "include/linux/mm_types.h"
899struct __anonstruct_vm_set_211 {
900 struct list_head list ;
901 void *parent ;
902 struct vm_area_struct *head ;
903};
904#line 200 "include/linux/mm_types.h"
905union __anonunion_shared_210 {
906 struct __anonstruct_vm_set_211 vm_set ;
907 struct raw_prio_tree_node prio_tree_node ;
908};
909#line 200
910struct anon_vma;
911#line 200
912struct vm_operations_struct;
913#line 200
914struct mempolicy;
915#line 200 "include/linux/mm_types.h"
916struct vm_area_struct {
917 struct mm_struct *vm_mm ;
918 unsigned long vm_start ;
919 unsigned long vm_end ;
920 struct vm_area_struct *vm_next ;
921 struct vm_area_struct *vm_prev ;
922 pgprot_t vm_page_prot ;
923 unsigned long vm_flags ;
924 struct rb_node vm_rb ;
925 union __anonunion_shared_210 shared ;
926 struct list_head anon_vma_chain ;
927 struct anon_vma *anon_vma ;
928 struct vm_operations_struct const *vm_ops ;
929 unsigned long vm_pgoff ;
930 struct file *vm_file ;
931 void *vm_private_data ;
932 struct mempolicy *vm_policy ;
933};
934#line 257 "include/linux/mm_types.h"
935struct core_thread {
936 struct task_struct *task ;
937 struct core_thread *next ;
938};
939#line 262 "include/linux/mm_types.h"
940struct core_state {
941 atomic_t nr_threads ;
942 struct core_thread dumper ;
943 struct completion startup ;
944};
945#line 284 "include/linux/mm_types.h"
946struct mm_rss_stat {
947 atomic_long_t count[3] ;
948};
949#line 288
950struct linux_binfmt;
951#line 288
952struct mmu_notifier_mm;
953#line 288 "include/linux/mm_types.h"
954struct mm_struct {
955 struct vm_area_struct *mmap ;
956 struct rb_root mm_rb ;
957 struct vm_area_struct *mmap_cache ;
958 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
959 unsigned long pgoff , unsigned long flags ) ;
960 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
961 unsigned long mmap_base ;
962 unsigned long task_size ;
963 unsigned long cached_hole_size ;
964 unsigned long free_area_cache ;
965 pgd_t *pgd ;
966 atomic_t mm_users ;
967 atomic_t mm_count ;
968 int map_count ;
969 spinlock_t page_table_lock ;
970 struct rw_semaphore mmap_sem ;
971 struct list_head mmlist ;
972 unsigned long hiwater_rss ;
973 unsigned long hiwater_vm ;
974 unsigned long total_vm ;
975 unsigned long locked_vm ;
976 unsigned long pinned_vm ;
977 unsigned long shared_vm ;
978 unsigned long exec_vm ;
979 unsigned long stack_vm ;
980 unsigned long reserved_vm ;
981 unsigned long def_flags ;
982 unsigned long nr_ptes ;
983 unsigned long start_code ;
984 unsigned long end_code ;
985 unsigned long start_data ;
986 unsigned long end_data ;
987 unsigned long start_brk ;
988 unsigned long brk ;
989 unsigned long start_stack ;
990 unsigned long arg_start ;
991 unsigned long arg_end ;
992 unsigned long env_start ;
993 unsigned long env_end ;
994 unsigned long saved_auxv[44] ;
995 struct mm_rss_stat rss_stat ;
996 struct linux_binfmt *binfmt ;
997 cpumask_var_t cpu_vm_mask_var ;
998 mm_context_t context ;
999 unsigned int faultstamp ;
1000 unsigned int token_priority ;
1001 unsigned int last_interval ;
1002 unsigned long flags ;
1003 struct core_state *core_state ;
1004 spinlock_t ioctx_lock ;
1005 struct hlist_head ioctx_list ;
1006 struct task_struct *owner ;
1007 struct file *exe_file ;
1008 unsigned long num_exe_file_vmas ;
1009 struct mmu_notifier_mm *mmu_notifier_mm ;
1010 pgtable_t pmd_huge_pte ;
1011 struct cpumask cpumask_allocation ;
1012};
1013#line 22 "include/linux/mm.h"
1014struct mempolicy;
1015#line 23
1016struct anon_vma;
1017#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1018struct mm_struct;
1019#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1020struct vm_area_struct;
1021#line 188 "include/linux/mm.h"
1022struct vm_fault {
1023 unsigned int flags ;
1024 unsigned long pgoff ;
1025 void *virtual_address ;
1026 struct page *page ;
1027};
1028#line 205 "include/linux/mm.h"
1029struct vm_operations_struct {
1030 void (*open)(struct vm_area_struct *area ) ;
1031 void (*close)(struct vm_area_struct *area ) ;
1032 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1033 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1034 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1035 int write ) ;
1036 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1037 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1038 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
1039 unsigned long flags ) ;
1040};
1041#line 195 "include/linux/page-flags.h"
1042struct page;
1043#line 19 "include/linux/klist.h"
1044struct klist_node;
1045#line 19
1046struct klist_node;
1047#line 39 "include/linux/klist.h"
1048struct klist_node {
1049 void *n_klist ;
1050 struct list_head n_node ;
1051 struct kref n_ref ;
1052};
1053#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1054struct dma_map_ops;
1055#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1056struct dev_archdata {
1057 void *acpi_handle ;
1058 struct dma_map_ops *dma_ops ;
1059 void *iommu ;
1060};
1061#line 28 "include/linux/device.h"
1062struct device;
1063#line 29
1064struct device_private;
1065#line 29
1066struct device_private;
1067#line 30
1068struct device_driver;
1069#line 30
1070struct device_driver;
1071#line 31
1072struct driver_private;
1073#line 31
1074struct driver_private;
1075#line 32
1076struct module;
1077#line 33
1078struct class;
1079#line 33
1080struct class;
1081#line 34
1082struct subsys_private;
1083#line 34
1084struct subsys_private;
1085#line 35
1086struct bus_type;
1087#line 35
1088struct bus_type;
1089#line 36
1090struct device_node;
1091#line 36
1092struct device_node;
1093#line 37
1094struct iommu_ops;
1095#line 37
1096struct iommu_ops;
1097#line 39 "include/linux/device.h"
1098struct bus_attribute {
1099 struct attribute attr ;
1100 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1101 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1102};
1103#line 89
1104struct device_attribute;
1105#line 89
1106struct driver_attribute;
1107#line 89 "include/linux/device.h"
1108struct bus_type {
1109 char const *name ;
1110 char const *dev_name ;
1111 struct device *dev_root ;
1112 struct bus_attribute *bus_attrs ;
1113 struct device_attribute *dev_attrs ;
1114 struct driver_attribute *drv_attrs ;
1115 int (*match)(struct device *dev , struct device_driver *drv ) ;
1116 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1117 int (*probe)(struct device *dev ) ;
1118 int (*remove)(struct device *dev ) ;
1119 void (*shutdown)(struct device *dev ) ;
1120 int (*suspend)(struct device *dev , pm_message_t state ) ;
1121 int (*resume)(struct device *dev ) ;
1122 struct dev_pm_ops const *pm ;
1123 struct iommu_ops *iommu_ops ;
1124 struct subsys_private *p ;
1125};
1126#line 127
1127struct device_type;
1128#line 214
1129struct of_device_id;
1130#line 214 "include/linux/device.h"
1131struct device_driver {
1132 char const *name ;
1133 struct bus_type *bus ;
1134 struct module *owner ;
1135 char const *mod_name ;
1136 bool suppress_bind_attrs ;
1137 struct of_device_id const *of_match_table ;
1138 int (*probe)(struct device *dev ) ;
1139 int (*remove)(struct device *dev ) ;
1140 void (*shutdown)(struct device *dev ) ;
1141 int (*suspend)(struct device *dev , pm_message_t state ) ;
1142 int (*resume)(struct device *dev ) ;
1143 struct attribute_group const **groups ;
1144 struct dev_pm_ops const *pm ;
1145 struct driver_private *p ;
1146};
1147#line 249 "include/linux/device.h"
1148struct driver_attribute {
1149 struct attribute attr ;
1150 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1151 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1152};
1153#line 330
1154struct class_attribute;
1155#line 330 "include/linux/device.h"
1156struct class {
1157 char const *name ;
1158 struct module *owner ;
1159 struct class_attribute *class_attrs ;
1160 struct device_attribute *dev_attrs ;
1161 struct bin_attribute *dev_bin_attrs ;
1162 struct kobject *dev_kobj ;
1163 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1164 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1165 void (*class_release)(struct class *class ) ;
1166 void (*dev_release)(struct device *dev ) ;
1167 int (*suspend)(struct device *dev , pm_message_t state ) ;
1168 int (*resume)(struct device *dev ) ;
1169 struct kobj_ns_type_operations const *ns_type ;
1170 void const *(*namespace)(struct device *dev ) ;
1171 struct dev_pm_ops const *pm ;
1172 struct subsys_private *p ;
1173};
1174#line 397 "include/linux/device.h"
1175struct class_attribute {
1176 struct attribute attr ;
1177 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1178 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1179 size_t count ) ;
1180 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1181};
1182#line 465 "include/linux/device.h"
1183struct device_type {
1184 char const *name ;
1185 struct attribute_group const **groups ;
1186 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1187 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1188 void (*release)(struct device *dev ) ;
1189 struct dev_pm_ops const *pm ;
1190};
1191#line 476 "include/linux/device.h"
1192struct device_attribute {
1193 struct attribute attr ;
1194 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1195 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1196 size_t count ) ;
1197};
1198#line 559 "include/linux/device.h"
1199struct device_dma_parameters {
1200 unsigned int max_segment_size ;
1201 unsigned long segment_boundary_mask ;
1202};
1203#line 627
1204struct dma_coherent_mem;
1205#line 627 "include/linux/device.h"
1206struct device {
1207 struct device *parent ;
1208 struct device_private *p ;
1209 struct kobject kobj ;
1210 char const *init_name ;
1211 struct device_type const *type ;
1212 struct mutex mutex ;
1213 struct bus_type *bus ;
1214 struct device_driver *driver ;
1215 void *platform_data ;
1216 struct dev_pm_info power ;
1217 struct dev_pm_domain *pm_domain ;
1218 int numa_node ;
1219 u64 *dma_mask ;
1220 u64 coherent_dma_mask ;
1221 struct device_dma_parameters *dma_parms ;
1222 struct list_head dma_pools ;
1223 struct dma_coherent_mem *dma_mem ;
1224 struct dev_archdata archdata ;
1225 struct device_node *of_node ;
1226 dev_t devt ;
1227 u32 id ;
1228 spinlock_t devres_lock ;
1229 struct list_head devres_head ;
1230 struct klist_node knode_class ;
1231 struct class *class ;
1232 struct attribute_group const **groups ;
1233 void (*release)(struct device *dev ) ;
1234};
1235#line 43 "include/linux/pm_wakeup.h"
1236struct wakeup_source {
1237 char const *name ;
1238 struct list_head entry ;
1239 spinlock_t lock ;
1240 struct timer_list timer ;
1241 unsigned long timer_expires ;
1242 ktime_t total_time ;
1243 ktime_t max_time ;
1244 ktime_t last_time ;
1245 unsigned long event_count ;
1246 unsigned long active_count ;
1247 unsigned long relax_count ;
1248 unsigned long hit_count ;
1249 unsigned int active : 1 ;
1250};
1251#line 27 "include/linux/dma-attrs.h"
1252struct dma_attrs {
1253 unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1254};
1255#line 7 "include/linux/dma-direction.h"
1256enum dma_data_direction {
1257 DMA_BIDIRECTIONAL = 0,
1258 DMA_TO_DEVICE = 1,
1259 DMA_FROM_DEVICE = 2,
1260 DMA_NONE = 3
1261} ;
1262#line 6 "include/asm-generic/scatterlist.h"
1263struct scatterlist {
1264 unsigned long sg_magic ;
1265 unsigned long page_link ;
1266 unsigned int offset ;
1267 unsigned int length ;
1268 dma_addr_t dma_address ;
1269 unsigned int dma_length ;
1270};
1271#line 11 "include/linux/dma-mapping.h"
1272struct dma_map_ops {
1273 void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
1274 struct dma_attrs *attrs ) ;
1275 void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
1276 struct dma_attrs *attrs ) ;
1277 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1278 size_t , struct dma_attrs *attrs ) ;
1279 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
1280 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
1281 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
1282 struct dma_attrs *attrs ) ;
1283 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1284 struct dma_attrs *attrs ) ;
1285 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1286 struct dma_attrs *attrs ) ;
1287 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1288 enum dma_data_direction dir ) ;
1289 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1290 enum dma_data_direction dir ) ;
1291 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
1292 enum dma_data_direction dir ) ;
1293 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
1294 enum dma_data_direction dir ) ;
1295 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
1296 int (*dma_supported)(struct device *dev , u64 mask ) ;
1297 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
1298 int is_phys ;
1299};
1300#line 25 "include/linux/dma-debug.h"
1301struct device;
1302#line 26
1303struct scatterlist;
1304#line 27
1305struct bus_type;
1306#line 6 "include/linux/swiotlb.h"
1307struct device;
1308#line 7
1309struct dma_attrs;
1310#line 8
1311struct scatterlist;
1312#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
1313struct exception_table_entry {
1314 unsigned long insn ;
1315 unsigned long fixup ;
1316};
1317#line 25 "include/linux/io.h"
1318struct device;
1319#line 335 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedi.h"
1320struct comedi_insn {
1321 unsigned int insn ;
1322 unsigned int n ;
1323 unsigned int *data ;
1324 unsigned int subdev ;
1325 unsigned int chanspec ;
1326 unsigned int unused[3] ;
1327};
1328#line 349 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedi.h"
1329struct comedi_cmd {
1330 unsigned int subdev ;
1331 unsigned int flags ;
1332 unsigned int start_src ;
1333 unsigned int start_arg ;
1334 unsigned int scan_begin_src ;
1335 unsigned int scan_begin_arg ;
1336 unsigned int convert_src ;
1337 unsigned int convert_arg ;
1338 unsigned int scan_end_src ;
1339 unsigned int scan_end_arg ;
1340 unsigned int stop_src ;
1341 unsigned int stop_arg ;
1342 unsigned int *chanlist ;
1343 unsigned int chanlist_len ;
1344 short *data ;
1345 unsigned int data_len ;
1346};
1347#line 388 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedi.h"
1348struct comedi_krange {
1349 int min ;
1350 int max ;
1351 unsigned int flags ;
1352};
1353#line 419 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedi.h"
1354struct comedi_devconfig {
1355 char board_name[20] ;
1356 int options[32] ;
1357};
1358#line 64 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1359struct comedi_device;
1360#line 64
1361struct comedi_async;
1362#line 64
1363struct comedi_lrange;
1364#line 64 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1365struct comedi_subdevice {
1366 struct comedi_device *device ;
1367 int type ;
1368 int n_chan ;
1369 int subdev_flags ;
1370 int len_chanlist ;
1371 void *private ;
1372 struct comedi_async *async ;
1373 void *lock ;
1374 void *busy ;
1375 unsigned int runflags ;
1376 spinlock_t spin_lock ;
1377 int io_bits ;
1378 unsigned int maxdata ;
1379 unsigned int const *maxdata_list ;
1380 unsigned int flags ;
1381 unsigned int const *flaglist ;
1382 unsigned int settling_time_0 ;
1383 struct comedi_lrange const *range_table ;
1384 struct comedi_lrange const * const *range_table_list ;
1385 unsigned int *chanlist ;
1386 int (*insn_read)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
1387 unsigned int * ) ;
1388 int (*insn_write)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
1389 unsigned int * ) ;
1390 int (*insn_bits)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
1391 unsigned int * ) ;
1392 int (*insn_config)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
1393 unsigned int * ) ;
1394 int (*do_cmd)(struct comedi_device * , struct comedi_subdevice * ) ;
1395 int (*do_cmdtest)(struct comedi_device * , struct comedi_subdevice * , struct comedi_cmd * ) ;
1396 int (*poll)(struct comedi_device * , struct comedi_subdevice * ) ;
1397 int (*cancel)(struct comedi_device * , struct comedi_subdevice * ) ;
1398 int (*buf_change)(struct comedi_device *dev , struct comedi_subdevice *s , unsigned long new_size ) ;
1399 void (*munge)(struct comedi_device *dev , struct comedi_subdevice *s , void *data ,
1400 unsigned int num_bytes , unsigned int start_chan_index ) ;
1401 enum dma_data_direction async_dma_dir ;
1402 unsigned int state ;
1403 struct device *class_dev ;
1404 int minor ;
1405};
1406#line 128 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1407struct comedi_buf_page {
1408 void *virt_addr ;
1409 dma_addr_t dma_addr ;
1410};
1411#line 133 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1412struct comedi_async {
1413 struct comedi_subdevice *subdevice ;
1414 void *prealloc_buf ;
1415 unsigned int prealloc_bufsz ;
1416 struct comedi_buf_page *buf_page_list ;
1417 unsigned int n_buf_pages ;
1418 unsigned int max_bufsize ;
1419 unsigned int mmap_count ;
1420 unsigned int buf_write_count ;
1421 unsigned int buf_write_alloc_count ;
1422 unsigned int buf_read_count ;
1423 unsigned int buf_read_alloc_count ;
1424 unsigned int buf_write_ptr ;
1425 unsigned int buf_read_ptr ;
1426 unsigned int cur_chan ;
1427 unsigned int scan_progress ;
1428 unsigned int munge_chan ;
1429 unsigned int munge_count ;
1430 unsigned int munge_ptr ;
1431 unsigned int events ;
1432 struct comedi_cmd cmd ;
1433 wait_queue_head_t wait_head ;
1434 unsigned int cb_mask ;
1435 int (*cb_func)(unsigned int flags , void * ) ;
1436 void *cb_arg ;
1437 int (*inttrig)(struct comedi_device *dev , struct comedi_subdevice *s , unsigned int x ) ;
1438};
1439#line 183 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1440struct comedi_driver {
1441 struct comedi_driver *next ;
1442 char const *driver_name ;
1443 struct module *module ;
1444 int (*attach)(struct comedi_device * , struct comedi_devconfig * ) ;
1445 int (*detach)(struct comedi_device * ) ;
1446 unsigned int num_names ;
1447 char const * const *board_name ;
1448 int offset ;
1449};
1450#line 198
1451struct fasync_struct;
1452#line 198 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1453struct comedi_device {
1454 int use_count ;
1455 struct comedi_driver *driver ;
1456 void *private ;
1457 struct device *class_dev ;
1458 int minor ;
1459 struct device *hw_dev ;
1460 char const *board_name ;
1461 void const *board_ptr ;
1462 int attached ;
1463 spinlock_t spinlock ;
1464 struct mutex mutex ;
1465 int in_request_module ;
1466 int n_subdevices ;
1467 struct comedi_subdevice *subdevices ;
1468 unsigned long iobase ;
1469 unsigned int irq ;
1470 struct comedi_subdevice *read_subdev ;
1471 struct comedi_subdevice *write_subdev ;
1472 struct fasync_struct *async_queue ;
1473 int (*open)(struct comedi_device *dev ) ;
1474 void (*close)(struct comedi_device *dev ) ;
1475};
1476#line 347 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1477struct comedi_lrange {
1478 int length ;
1479 struct comedi_krange range[] ;
1480};
1481#line 10 "include/linux/irqreturn.h"
1482enum irqreturn {
1483 IRQ_NONE = 0,
1484 IRQ_HANDLED = 1,
1485 IRQ_WAKE_THREAD = 2
1486} ;
1487#line 16 "include/linux/irqreturn.h"
1488typedef enum irqreturn irqreturn_t;
1489#line 32 "include/linux/irq.h"
1490struct module;
1491#line 14 "include/linux/irqdesc.h"
1492struct module;
1493#line 65 "include/linux/profile.h"
1494struct task_struct;
1495#line 66
1496struct mm_struct;
1497#line 132 "include/linux/hardirq.h"
1498struct task_struct;
1499#line 187 "include/linux/interrupt.h"
1500struct device;
1501#line 118 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
1502struct parport_private {
1503 unsigned int a_data ;
1504 unsigned int c_data ;
1505 int enable_irq ;
1506};
1507#line 1 "<compiler builtins>"
1508long __builtin_expect(long val , long res ) ;
1509#line 100 "include/linux/printk.h"
1510extern int ( printk)(char const *fmt , ...) ;
1511#line 93 "include/linux/spinlock.h"
1512extern void __raw_spin_lock_init(raw_spinlock_t *lock , char const *name , struct lock_class_key *key ) ;
1513#line 272
1514__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock ) __attribute__((__no_instrument_function__)) ;
1515#line 272 "include/linux/spinlock.h"
1516__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock )
1517{
1518
1519 {
1520#line 274
1521 return ((struct raw_spinlock *)lock);
1522}
1523}
1524#line 152 "include/linux/mutex.h"
1525void mutex_lock(struct mutex *lock ) ;
1526#line 153
1527int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
1528#line 154
1529int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
1530#line 168
1531int mutex_trylock(struct mutex *lock ) ;
1532#line 169
1533void mutex_unlock(struct mutex *lock ) ;
1534#line 170
1535int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
1536#line 137 "include/linux/ioport.h"
1537extern struct resource ioport_resource ;
1538#line 181
1539extern struct resource *__request_region(struct resource * , resource_size_t start ,
1540 resource_size_t n , char const *name ,
1541 int flags ) ;
1542#line 192
1543extern void __release_region(struct resource * , resource_size_t , resource_size_t ) ;
1544#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1545__inline static void outb(unsigned char value , int port ) __attribute__((__no_instrument_function__)) ;
1546#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1547__inline static void outb(unsigned char value , int port )
1548{
1549
1550 {
1551#line 308
1552 __asm__ volatile ("out"
1553 "b"
1554 " %"
1555 "b"
1556 "0, %w1": : "a" (value), "Nd" (port));
1557#line 308
1558 return;
1559}
1560}
1561#line 308
1562__inline static unsigned char inb(int port ) __attribute__((__no_instrument_function__)) ;
1563#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1564__inline static unsigned char inb(int port )
1565{ unsigned char value ;
1566
1567 {
1568#line 308
1569 __asm__ volatile ("in"
1570 "b"
1571 " %w1, %"
1572 "b"
1573 "0": "=a" (value): "Nd" (port));
1574#line 308
1575 return (value);
1576}
1577}
1578#line 26 "include/linux/export.h"
1579extern struct module __this_module ;
1580#line 67 "include/linux/module.h"
1581int init_module(void) ;
1582#line 68
1583void cleanup_module(void) ;
1584#line 221 "include/linux/slub_def.h"
1585extern void *__kmalloc(size_t size , gfp_t flags ) ;
1586#line 268
1587__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
1588 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
1589#line 268 "include/linux/slub_def.h"
1590__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
1591 gfp_t flags )
1592{ void *tmp___2 ;
1593
1594 {
1595 {
1596#line 283
1597 tmp___2 = __kmalloc(size, flags);
1598 }
1599#line 283
1600 return (tmp___2);
1601}
1602}
1603#line 243 "include/linux/slab.h"
1604__inline static void *kmalloc_array(size_t n , size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
1605#line 243 "include/linux/slab.h"
1606__inline static void *kmalloc_array(size_t n , size_t size , gfp_t flags )
1607{ void *tmp ;
1608 unsigned long __cil_tmp5 ;
1609 size_t __cil_tmp6 ;
1610
1611 {
1612#line 245
1613 if (size != 0UL) {
1614 {
1615#line 245
1616 __cil_tmp5 = 0xffffffffffffffffUL / size;
1617#line 245
1618 if (n > __cil_tmp5) {
1619#line 246
1620 return ((void *)0);
1621 } else {
1622
1623 }
1624 }
1625 } else {
1626
1627 }
1628 {
1629#line 247
1630 __cil_tmp6 = n * size;
1631#line 247
1632 tmp = __kmalloc(__cil_tmp6, flags);
1633 }
1634#line 247
1635 return (tmp);
1636}
1637}
1638#line 256
1639__inline static void *kcalloc(size_t n , size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
1640#line 256 "include/linux/slab.h"
1641__inline static void *kcalloc(size_t n , size_t size , gfp_t flags )
1642{ void *tmp ;
1643 unsigned int __cil_tmp5 ;
1644
1645 {
1646 {
1647#line 258
1648 __cil_tmp5 = flags | 32768U;
1649#line 258
1650 tmp = kmalloc_array(n, size, __cil_tmp5);
1651 }
1652#line 258
1653 return (tmp);
1654}
1655}
1656#line 349
1657__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
1658#line 349 "include/linux/slab.h"
1659__inline static void *kzalloc(size_t size , gfp_t flags )
1660{ void *tmp ;
1661 unsigned int __cil_tmp4 ;
1662
1663 {
1664 {
1665#line 351
1666 __cil_tmp4 = flags | 32768U;
1667#line 351
1668 tmp = kmalloc(size, __cil_tmp4);
1669 }
1670#line 351
1671 return (tmp);
1672}
1673}
1674#line 249 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1675extern void comedi_event(struct comedi_device *dev , struct comedi_subdevice *s ) ;
1676#line 287
1677extern int comedi_driver_register(struct comedi_driver * ) ;
1678#line 288
1679extern int comedi_driver_unregister(struct comedi_driver * ) ;
1680#line 336
1681extern struct comedi_lrange const range_unipolar5 ;
1682#line 368 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1683static struct lock_class_key __key___2 ;
1684#line 354
1685__inline static int alloc_subdevices(struct comedi_device *dev , unsigned int num_subdevices ) __attribute__((__no_instrument_function__)) ;
1686#line 354 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1687__inline static int alloc_subdevices(struct comedi_device *dev , unsigned int num_subdevices )
1688{ unsigned int i ;
1689 void *tmp ;
1690 unsigned long __cil_tmp5 ;
1691 unsigned long __cil_tmp6 ;
1692 size_t __cil_tmp7 ;
1693 unsigned long __cil_tmp8 ;
1694 unsigned long __cil_tmp9 ;
1695 unsigned long __cil_tmp10 ;
1696 unsigned long __cil_tmp11 ;
1697 struct comedi_subdevice *__cil_tmp12 ;
1698 unsigned long __cil_tmp13 ;
1699 unsigned long __cil_tmp14 ;
1700 struct comedi_subdevice *__cil_tmp15 ;
1701 struct comedi_subdevice *__cil_tmp16 ;
1702 unsigned long __cil_tmp17 ;
1703 unsigned long __cil_tmp18 ;
1704 struct comedi_subdevice *__cil_tmp19 ;
1705 struct comedi_subdevice *__cil_tmp20 ;
1706 unsigned long __cil_tmp21 ;
1707 unsigned long __cil_tmp22 ;
1708 unsigned long __cil_tmp23 ;
1709 unsigned long __cil_tmp24 ;
1710 struct comedi_subdevice *__cil_tmp25 ;
1711 struct comedi_subdevice *__cil_tmp26 ;
1712 unsigned long __cil_tmp27 ;
1713 unsigned long __cil_tmp28 ;
1714 spinlock_t *__cil_tmp29 ;
1715 unsigned long __cil_tmp30 ;
1716 unsigned long __cil_tmp31 ;
1717 struct comedi_subdevice *__cil_tmp32 ;
1718 struct comedi_subdevice *__cil_tmp33 ;
1719 unsigned long __cil_tmp34 ;
1720 unsigned long __cil_tmp35 ;
1721 struct raw_spinlock *__cil_tmp36 ;
1722 unsigned long __cil_tmp37 ;
1723 unsigned long __cil_tmp38 ;
1724 struct comedi_subdevice *__cil_tmp39 ;
1725 struct comedi_subdevice *__cil_tmp40 ;
1726 unsigned long __cil_tmp41 ;
1727 unsigned long __cil_tmp42 ;
1728
1729 {
1730 {
1731#line 359
1732 __cil_tmp5 = (unsigned long )dev;
1733#line 359
1734 __cil_tmp6 = __cil_tmp5 + 172;
1735#line 359
1736 *((int *)__cil_tmp6) = (int )num_subdevices;
1737#line 360
1738 __cil_tmp7 = (size_t )num_subdevices;
1739#line 360
1740 tmp = kcalloc(__cil_tmp7, 256UL, 208U);
1741#line 360
1742 __cil_tmp8 = (unsigned long )dev;
1743#line 360
1744 __cil_tmp9 = __cil_tmp8 + 176;
1745#line 360
1746 *((struct comedi_subdevice **)__cil_tmp9) = (struct comedi_subdevice *)tmp;
1747 }
1748 {
1749#line 363
1750 __cil_tmp10 = (unsigned long )dev;
1751#line 363
1752 __cil_tmp11 = __cil_tmp10 + 176;
1753#line 363
1754 __cil_tmp12 = *((struct comedi_subdevice **)__cil_tmp11);
1755#line 363
1756 if (! __cil_tmp12) {
1757#line 364
1758 return (-12);
1759 } else {
1760
1761 }
1762 }
1763#line 365
1764 i = 0U;
1765 {
1766#line 365
1767 while (1) {
1768 while_continue: ;
1769#line 365
1770 if (i < num_subdevices) {
1771
1772 } else {
1773#line 365
1774 goto while_break;
1775 }
1776#line 366
1777 __cil_tmp13 = (unsigned long )dev;
1778#line 366
1779 __cil_tmp14 = __cil_tmp13 + 176;
1780#line 366
1781 __cil_tmp15 = *((struct comedi_subdevice **)__cil_tmp14);
1782#line 366
1783 __cil_tmp16 = __cil_tmp15 + i;
1784#line 366
1785 *((struct comedi_device **)__cil_tmp16) = dev;
1786#line 367
1787 __cil_tmp17 = (unsigned long )dev;
1788#line 367
1789 __cil_tmp18 = __cil_tmp17 + 176;
1790#line 367
1791 __cil_tmp19 = *((struct comedi_subdevice **)__cil_tmp18);
1792#line 367
1793 __cil_tmp20 = __cil_tmp19 + i;
1794#line 367
1795 __cil_tmp21 = (unsigned long )__cil_tmp20;
1796#line 367
1797 __cil_tmp22 = __cil_tmp21 + 232;
1798#line 367
1799 *((enum dma_data_direction *)__cil_tmp22) = (enum dma_data_direction )3;
1800 {
1801#line 368
1802 while (1) {
1803 while_continue___0: ;
1804 {
1805#line 368
1806 __cil_tmp23 = (unsigned long )dev;
1807#line 368
1808 __cil_tmp24 = __cil_tmp23 + 176;
1809#line 368
1810 __cil_tmp25 = *((struct comedi_subdevice **)__cil_tmp24);
1811#line 368
1812 __cil_tmp26 = __cil_tmp25 + i;
1813#line 368
1814 __cil_tmp27 = (unsigned long )__cil_tmp26;
1815#line 368
1816 __cil_tmp28 = __cil_tmp27 + 64;
1817#line 368
1818 __cil_tmp29 = (spinlock_t *)__cil_tmp28;
1819#line 368
1820 spinlock_check(__cil_tmp29);
1821 }
1822 {
1823#line 368
1824 while (1) {
1825 while_continue___1: ;
1826 {
1827#line 368
1828 __cil_tmp30 = (unsigned long )dev;
1829#line 368
1830 __cil_tmp31 = __cil_tmp30 + 176;
1831#line 368
1832 __cil_tmp32 = *((struct comedi_subdevice **)__cil_tmp31);
1833#line 368
1834 __cil_tmp33 = __cil_tmp32 + i;
1835#line 368
1836 __cil_tmp34 = (unsigned long )__cil_tmp33;
1837#line 368
1838 __cil_tmp35 = __cil_tmp34 + 64;
1839#line 368
1840 __cil_tmp36 = (struct raw_spinlock *)__cil_tmp35;
1841#line 368
1842 __raw_spin_lock_init(__cil_tmp36, "&(&dev->subdevices[i].spin_lock)->rlock",
1843 & __key___2);
1844 }
1845#line 368
1846 goto while_break___1;
1847 }
1848 while_break___1: ;
1849 }
1850#line 368
1851 goto while_break___0;
1852 }
1853 while_break___0: ;
1854 }
1855#line 369
1856 __cil_tmp37 = (unsigned long )dev;
1857#line 369
1858 __cil_tmp38 = __cil_tmp37 + 176;
1859#line 369
1860 __cil_tmp39 = *((struct comedi_subdevice **)__cil_tmp38);
1861#line 369
1862 __cil_tmp40 = __cil_tmp39 + i;
1863#line 369
1864 __cil_tmp41 = (unsigned long )__cil_tmp40;
1865#line 369
1866 __cil_tmp42 = __cil_tmp41 + 248;
1867#line 369
1868 *((int *)__cil_tmp42) = -1;
1869#line 365
1870 i = i + 1U;
1871 }
1872 while_break: ;
1873 }
1874#line 371
1875 return (0);
1876}
1877}
1878#line 374
1879__inline static int alloc_private(struct comedi_device *dev , int size ) __attribute__((__no_instrument_function__)) ;
1880#line 374 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1881__inline static int alloc_private(struct comedi_device *dev , int size )
1882{ unsigned long __cil_tmp3 ;
1883 unsigned long __cil_tmp4 ;
1884 size_t __cil_tmp5 ;
1885 unsigned long __cil_tmp6 ;
1886 unsigned long __cil_tmp7 ;
1887 void *__cil_tmp8 ;
1888
1889 {
1890 {
1891#line 376
1892 __cil_tmp3 = (unsigned long )dev;
1893#line 376
1894 __cil_tmp4 = __cil_tmp3 + 16;
1895#line 376
1896 __cil_tmp5 = (size_t )size;
1897#line 376
1898 *((void **)__cil_tmp4) = kzalloc(__cil_tmp5, 208U);
1899 }
1900 {
1901#line 377
1902 __cil_tmp6 = (unsigned long )dev;
1903#line 377
1904 __cil_tmp7 = __cil_tmp6 + 16;
1905#line 377
1906 __cil_tmp8 = *((void **)__cil_tmp7);
1907#line 377
1908 if (! __cil_tmp8) {
1909#line 378
1910 return (-12);
1911 } else {
1912
1913 }
1914 }
1915#line 379
1916 return (0);
1917}
1918}
1919#line 405
1920extern int comedi_buf_put(struct comedi_async *async , short x ) ;
1921#line 126 "include/linux/interrupt.h"
1922extern int __attribute__((__warn_unused_result__)) request_threaded_irq(unsigned int irq ,
1923 irqreturn_t (*handler)(int ,
1924 void * ) ,
1925 irqreturn_t (*thread_fn)(int ,
1926 void * ) ,
1927 unsigned long flags ,
1928 char const *name ,
1929 void *dev ) ;
1930#line 131
1931__inline static int __attribute__((__warn_unused_result__)) request_irq(unsigned int irq ,
1932 irqreturn_t (*handler)(int ,
1933 void * ) ,
1934 unsigned long flags ,
1935 char const *name ,
1936 void *dev ) __attribute__((__no_instrument_function__)) ;
1937#line 131 "include/linux/interrupt.h"
1938__inline static int __attribute__((__warn_unused_result__)) request_irq(unsigned int irq ,
1939 irqreturn_t (*handler)(int ,
1940 void * ) ,
1941 unsigned long flags ,
1942 char const *name ,
1943 void *dev )
1944{ int tmp ;
1945 void *__cil_tmp7 ;
1946 irqreturn_t (*__cil_tmp8)(int , void * ) ;
1947
1948 {
1949 {
1950#line 135
1951 __cil_tmp7 = (void *)0;
1952#line 135
1953 __cil_tmp8 = (irqreturn_t (*)(int , void * ))__cil_tmp7;
1954#line 135
1955 tmp = (int )request_threaded_irq(irq, handler, __cil_tmp8, flags, name, dev);
1956 }
1957#line 135
1958 return (tmp);
1959}
1960}
1961#line 184
1962extern void free_irq(unsigned int , void * ) ;
1963#line 95 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
1964static int parport_attach(struct comedi_device *dev , struct comedi_devconfig *it ) ;
1965#line 97
1966static int parport_detach(struct comedi_device *dev ) ;
1967#line 98 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
1968static struct comedi_driver driver_parport =
1969#line 98
1970 {(struct comedi_driver *)0, "comedi_parport", & __this_module, & parport_attach,
1971 & parport_detach, 0U, (char const * const *)0, 0};
1972#line 105
1973static int driver_parport_init_module(void) __attribute__((__section__(".init.text"),
1974__no_instrument_function__)) ;
1975#line 105 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
1976static int driver_parport_init_module(void)
1977{ int tmp ;
1978
1979 {
1980 {
1981#line 107
1982 tmp = comedi_driver_register(& driver_parport);
1983 }
1984#line 107
1985 return (tmp);
1986}
1987}
1988#line 110
1989static void driver_parport_cleanup_module(void) __attribute__((__section__(".exit.text"),
1990__no_instrument_function__)) ;
1991#line 110 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
1992static void driver_parport_cleanup_module(void)
1993{
1994
1995 {
1996 {
1997#line 112
1998 comedi_driver_unregister(& driver_parport);
1999 }
2000#line 113
2001 return;
2002}
2003}
2004#line 115 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
2005int init_module(void)
2006{ int tmp ;
2007
2008 {
2009 {
2010#line 115
2011 tmp = driver_parport_init_module();
2012 }
2013#line 115
2014 return (tmp);
2015}
2016}
2017#line 116 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
2018void cleanup_module(void)
2019{
2020
2021 {
2022 {
2023#line 116
2024 driver_parport_cleanup_module();
2025 }
2026#line 116
2027 return;
2028}
2029}
2030#line 125 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
2031static int parport_insn_a(struct comedi_device *dev , struct comedi_subdevice *s ,
2032 struct comedi_insn *insn , unsigned int *data )
2033{ unsigned char tmp ;
2034 unsigned int *__cil_tmp6 ;
2035 unsigned long __cil_tmp7 ;
2036 unsigned long __cil_tmp8 ;
2037 void *__cil_tmp9 ;
2038 struct parport_private *__cil_tmp10 ;
2039 unsigned int *__cil_tmp11 ;
2040 unsigned int __cil_tmp12 ;
2041 unsigned int __cil_tmp13 ;
2042 unsigned long __cil_tmp14 ;
2043 unsigned long __cil_tmp15 ;
2044 void *__cil_tmp16 ;
2045 struct parport_private *__cil_tmp17 ;
2046 unsigned int __cil_tmp18 ;
2047 unsigned long __cil_tmp19 ;
2048 unsigned long __cil_tmp20 ;
2049 void *__cil_tmp21 ;
2050 struct parport_private *__cil_tmp22 ;
2051 unsigned int *__cil_tmp23 ;
2052 unsigned int __cil_tmp24 ;
2053 unsigned int *__cil_tmp25 ;
2054 unsigned int __cil_tmp26 ;
2055 unsigned int __cil_tmp27 ;
2056 unsigned long __cil_tmp28 ;
2057 unsigned long __cil_tmp29 ;
2058 void *__cil_tmp30 ;
2059 struct parport_private *__cil_tmp31 ;
2060 unsigned int __cil_tmp32 ;
2061 unsigned long __cil_tmp33 ;
2062 unsigned long __cil_tmp34 ;
2063 void *__cil_tmp35 ;
2064 struct parport_private *__cil_tmp36 ;
2065 unsigned int __cil_tmp37 ;
2066 unsigned char __cil_tmp38 ;
2067 unsigned long __cil_tmp39 ;
2068 unsigned long __cil_tmp40 ;
2069 unsigned long __cil_tmp41 ;
2070 int __cil_tmp42 ;
2071 unsigned long __cil_tmp43 ;
2072 unsigned long __cil_tmp44 ;
2073 unsigned long __cil_tmp45 ;
2074 int __cil_tmp46 ;
2075 unsigned int *__cil_tmp47 ;
2076
2077 {
2078 {
2079#line 128
2080 __cil_tmp6 = data + 0;
2081#line 128
2082 if (*__cil_tmp6) {
2083 {
2084#line 129
2085 __cil_tmp7 = (unsigned long )dev;
2086#line 129
2087 __cil_tmp8 = __cil_tmp7 + 16;
2088#line 129
2089 __cil_tmp9 = *((void **)__cil_tmp8);
2090#line 129
2091 __cil_tmp10 = (struct parport_private *)__cil_tmp9;
2092#line 129
2093 __cil_tmp11 = data + 0;
2094#line 129
2095 __cil_tmp12 = *__cil_tmp11;
2096#line 129
2097 __cil_tmp13 = ~ __cil_tmp12;
2098#line 129
2099 __cil_tmp14 = (unsigned long )dev;
2100#line 129
2101 __cil_tmp15 = __cil_tmp14 + 16;
2102#line 129
2103 __cil_tmp16 = *((void **)__cil_tmp15);
2104#line 129
2105 __cil_tmp17 = (struct parport_private *)__cil_tmp16;
2106#line 129
2107 __cil_tmp18 = *((unsigned int *)__cil_tmp17);
2108#line 129
2109 *((unsigned int *)__cil_tmp10) = __cil_tmp18 & __cil_tmp13;
2110#line 130
2111 __cil_tmp19 = (unsigned long )dev;
2112#line 130
2113 __cil_tmp20 = __cil_tmp19 + 16;
2114#line 130
2115 __cil_tmp21 = *((void **)__cil_tmp20);
2116#line 130
2117 __cil_tmp22 = (struct parport_private *)__cil_tmp21;
2118#line 130
2119 __cil_tmp23 = data + 1;
2120#line 130
2121 __cil_tmp24 = *__cil_tmp23;
2122#line 130
2123 __cil_tmp25 = data + 0;
2124#line 130
2125 __cil_tmp26 = *__cil_tmp25;
2126#line 130
2127 __cil_tmp27 = __cil_tmp26 & __cil_tmp24;
2128#line 130
2129 __cil_tmp28 = (unsigned long )dev;
2130#line 130
2131 __cil_tmp29 = __cil_tmp28 + 16;
2132#line 130
2133 __cil_tmp30 = *((void **)__cil_tmp29);
2134#line 130
2135 __cil_tmp31 = (struct parport_private *)__cil_tmp30;
2136#line 130
2137 __cil_tmp32 = *((unsigned int *)__cil_tmp31);
2138#line 130
2139 *((unsigned int *)__cil_tmp22) = __cil_tmp32 | __cil_tmp27;
2140#line 132
2141 __cil_tmp33 = (unsigned long )dev;
2142#line 132
2143 __cil_tmp34 = __cil_tmp33 + 16;
2144#line 132
2145 __cil_tmp35 = *((void **)__cil_tmp34);
2146#line 132
2147 __cil_tmp36 = (struct parport_private *)__cil_tmp35;
2148#line 132
2149 __cil_tmp37 = *((unsigned int *)__cil_tmp36);
2150#line 132
2151 __cil_tmp38 = (unsigned char )__cil_tmp37;
2152#line 132
2153 __cil_tmp39 = (unsigned long )dev;
2154#line 132
2155 __cil_tmp40 = __cil_tmp39 + 184;
2156#line 132
2157 __cil_tmp41 = *((unsigned long *)__cil_tmp40);
2158#line 132
2159 __cil_tmp42 = (int )__cil_tmp41;
2160#line 132
2161 outb(__cil_tmp38, __cil_tmp42);
2162 }
2163 } else {
2164
2165 }
2166 }
2167 {
2168#line 135
2169 __cil_tmp43 = (unsigned long )dev;
2170#line 135
2171 __cil_tmp44 = __cil_tmp43 + 184;
2172#line 135
2173 __cil_tmp45 = *((unsigned long *)__cil_tmp44);
2174#line 135
2175 __cil_tmp46 = (int )__cil_tmp45;
2176#line 135
2177 tmp = inb(__cil_tmp46);
2178#line 135
2179 __cil_tmp47 = data + 1;
2180#line 135
2181 *__cil_tmp47 = (unsigned int )tmp;
2182 }
2183#line 137
2184 return (2);
2185}
2186}
2187#line 140 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
2188static int parport_insn_config_a(struct comedi_device *dev , struct comedi_subdevice *s ,
2189 struct comedi_insn *insn , unsigned int *data )
2190{ unsigned int *__cil_tmp5 ;
2191 unsigned long __cil_tmp6 ;
2192 unsigned long __cil_tmp7 ;
2193 unsigned long __cil_tmp8 ;
2194 unsigned long __cil_tmp9 ;
2195 void *__cil_tmp10 ;
2196 struct parport_private *__cil_tmp11 ;
2197 unsigned long __cil_tmp12 ;
2198 unsigned long __cil_tmp13 ;
2199 int __cil_tmp14 ;
2200 int __cil_tmp15 ;
2201 unsigned int __cil_tmp16 ;
2202 unsigned long __cil_tmp17 ;
2203 unsigned long __cil_tmp18 ;
2204 void *__cil_tmp19 ;
2205 struct parport_private *__cil_tmp20 ;
2206 unsigned long __cil_tmp21 ;
2207 unsigned long __cil_tmp22 ;
2208 unsigned int __cil_tmp23 ;
2209 unsigned long __cil_tmp24 ;
2210 unsigned long __cil_tmp25 ;
2211 unsigned long __cil_tmp26 ;
2212 unsigned long __cil_tmp27 ;
2213 void *__cil_tmp28 ;
2214 struct parport_private *__cil_tmp29 ;
2215 unsigned long __cil_tmp30 ;
2216 unsigned long __cil_tmp31 ;
2217 int __cil_tmp32 ;
2218 unsigned int __cil_tmp33 ;
2219 unsigned long __cil_tmp34 ;
2220 unsigned long __cil_tmp35 ;
2221 void *__cil_tmp36 ;
2222 struct parport_private *__cil_tmp37 ;
2223 unsigned long __cil_tmp38 ;
2224 unsigned long __cil_tmp39 ;
2225 unsigned int __cil_tmp40 ;
2226 unsigned long __cil_tmp41 ;
2227 unsigned long __cil_tmp42 ;
2228 void *__cil_tmp43 ;
2229 struct parport_private *__cil_tmp44 ;
2230 unsigned long __cil_tmp45 ;
2231 unsigned long __cil_tmp46 ;
2232 unsigned int __cil_tmp47 ;
2233 unsigned char __cil_tmp48 ;
2234 unsigned long __cil_tmp49 ;
2235 unsigned long __cil_tmp50 ;
2236 unsigned long __cil_tmp51 ;
2237 unsigned long __cil_tmp52 ;
2238 int __cil_tmp53 ;
2239
2240 {
2241 {
2242#line 144
2243 __cil_tmp5 = data + 0;
2244#line 144
2245 if (*__cil_tmp5) {
2246#line 145
2247 __cil_tmp6 = (unsigned long )s;
2248#line 145
2249 __cil_tmp7 = __cil_tmp6 + 88;
2250#line 145
2251 *((int *)__cil_tmp7) = 255;
2252#line 146
2253 __cil_tmp8 = (unsigned long )dev;
2254#line 146
2255 __cil_tmp9 = __cil_tmp8 + 16;
2256#line 146
2257 __cil_tmp10 = *((void **)__cil_tmp9);
2258#line 146
2259 __cil_tmp11 = (struct parport_private *)__cil_tmp10;
2260#line 146
2261 __cil_tmp12 = (unsigned long )__cil_tmp11;
2262#line 146
2263 __cil_tmp13 = __cil_tmp12 + 4;
2264#line 146
2265 __cil_tmp14 = 1 << 5;
2266#line 146
2267 __cil_tmp15 = ~ __cil_tmp14;
2268#line 146
2269 __cil_tmp16 = (unsigned int )__cil_tmp15;
2270#line 146
2271 __cil_tmp17 = (unsigned long )dev;
2272#line 146
2273 __cil_tmp18 = __cil_tmp17 + 16;
2274#line 146
2275 __cil_tmp19 = *((void **)__cil_tmp18);
2276#line 146
2277 __cil_tmp20 = (struct parport_private *)__cil_tmp19;
2278#line 146
2279 __cil_tmp21 = (unsigned long )__cil_tmp20;
2280#line 146
2281 __cil_tmp22 = __cil_tmp21 + 4;
2282#line 146
2283 __cil_tmp23 = *((unsigned int *)__cil_tmp22);
2284#line 146
2285 *((unsigned int *)__cil_tmp13) = __cil_tmp23 & __cil_tmp16;
2286 } else {
2287#line 148
2288 __cil_tmp24 = (unsigned long )s;
2289#line 148
2290 __cil_tmp25 = __cil_tmp24 + 88;
2291#line 148
2292 *((int *)__cil_tmp25) = 0;
2293#line 149
2294 __cil_tmp26 = (unsigned long )dev;
2295#line 149
2296 __cil_tmp27 = __cil_tmp26 + 16;
2297#line 149
2298 __cil_tmp28 = *((void **)__cil_tmp27);
2299#line 149
2300 __cil_tmp29 = (struct parport_private *)__cil_tmp28;
2301#line 149
2302 __cil_tmp30 = (unsigned long )__cil_tmp29;
2303#line 149
2304 __cil_tmp31 = __cil_tmp30 + 4;
2305#line 149
2306 __cil_tmp32 = 1 << 5;
2307#line 149
2308 __cil_tmp33 = (unsigned int )__cil_tmp32;
2309#line 149
2310 __cil_tmp34 = (unsigned long )dev;
2311#line 149
2312 __cil_tmp35 = __cil_tmp34 + 16;
2313#line 149
2314 __cil_tmp36 = *((void **)__cil_tmp35);
2315#line 149
2316 __cil_tmp37 = (struct parport_private *)__cil_tmp36;
2317#line 149
2318 __cil_tmp38 = (unsigned long )__cil_tmp37;
2319#line 149
2320 __cil_tmp39 = __cil_tmp38 + 4;
2321#line 149
2322 __cil_tmp40 = *((unsigned int *)__cil_tmp39);
2323#line 149
2324 *((unsigned int *)__cil_tmp31) = __cil_tmp40 | __cil_tmp33;
2325 }
2326 }
2327 {
2328#line 151
2329 __cil_tmp41 = (unsigned long )dev;
2330#line 151
2331 __cil_tmp42 = __cil_tmp41 + 16;
2332#line 151
2333 __cil_tmp43 = *((void **)__cil_tmp42);
2334#line 151
2335 __cil_tmp44 = (struct parport_private *)__cil_tmp43;
2336#line 151
2337 __cil_tmp45 = (unsigned long )__cil_tmp44;
2338#line 151
2339 __cil_tmp46 = __cil_tmp45 + 4;
2340#line 151
2341 __cil_tmp47 = *((unsigned int *)__cil_tmp46);
2342#line 151
2343 __cil_tmp48 = (unsigned char )__cil_tmp47;
2344#line 151
2345 __cil_tmp49 = (unsigned long )dev;
2346#line 151
2347 __cil_tmp50 = __cil_tmp49 + 184;
2348#line 151
2349 __cil_tmp51 = *((unsigned long *)__cil_tmp50);
2350#line 151
2351 __cil_tmp52 = __cil_tmp51 + 2UL;
2352#line 151
2353 __cil_tmp53 = (int )__cil_tmp52;
2354#line 151
2355 outb(__cil_tmp48, __cil_tmp53);
2356 }
2357#line 153
2358 return (1);
2359}
2360}
2361#line 156 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
2362static int parport_insn_b(struct comedi_device *dev , struct comedi_subdevice *s ,
2363 struct comedi_insn *insn , unsigned int *data )
2364{ unsigned char tmp ;
2365 unsigned long __cil_tmp6 ;
2366 unsigned long __cil_tmp7 ;
2367 unsigned long __cil_tmp8 ;
2368 unsigned long __cil_tmp9 ;
2369 int __cil_tmp10 ;
2370 unsigned int *__cil_tmp11 ;
2371 int __cil_tmp12 ;
2372 int __cil_tmp13 ;
2373
2374 {
2375 {
2376#line 164
2377 __cil_tmp6 = (unsigned long )dev;
2378#line 164
2379 __cil_tmp7 = __cil_tmp6 + 184;
2380#line 164
2381 __cil_tmp8 = *((unsigned long *)__cil_tmp7);
2382#line 164
2383 __cil_tmp9 = __cil_tmp8 + 1UL;
2384#line 164
2385 __cil_tmp10 = (int )__cil_tmp9;
2386#line 164
2387 tmp = inb(__cil_tmp10);
2388#line 164
2389 __cil_tmp11 = data + 1;
2390#line 164
2391 __cil_tmp12 = (int )tmp;
2392#line 164
2393 __cil_tmp13 = __cil_tmp12 >> 3;
2394#line 164
2395 *__cil_tmp11 = (unsigned int )__cil_tmp13;
2396 }
2397#line 166
2398 return (2);
2399}
2400}
2401#line 169 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
2402static int parport_insn_c(struct comedi_device *dev , struct comedi_subdevice *s ,
2403 struct comedi_insn *insn , unsigned int *data )
2404{ unsigned int *__cil_tmp5 ;
2405 unsigned int *__cil_tmp6 ;
2406 unsigned int __cil_tmp7 ;
2407 unsigned int *__cil_tmp8 ;
2408 unsigned long __cil_tmp9 ;
2409 unsigned long __cil_tmp10 ;
2410 void *__cil_tmp11 ;
2411 struct parport_private *__cil_tmp12 ;
2412 unsigned long __cil_tmp13 ;
2413 unsigned long __cil_tmp14 ;
2414 unsigned int *__cil_tmp15 ;
2415 unsigned int __cil_tmp16 ;
2416 unsigned int __cil_tmp17 ;
2417 unsigned long __cil_tmp18 ;
2418 unsigned long __cil_tmp19 ;
2419 void *__cil_tmp20 ;
2420 struct parport_private *__cil_tmp21 ;
2421 unsigned long __cil_tmp22 ;
2422 unsigned long __cil_tmp23 ;
2423 unsigned int __cil_tmp24 ;
2424 unsigned long __cil_tmp25 ;
2425 unsigned long __cil_tmp26 ;
2426 void *__cil_tmp27 ;
2427 struct parport_private *__cil_tmp28 ;
2428 unsigned long __cil_tmp29 ;
2429 unsigned long __cil_tmp30 ;
2430 unsigned int *__cil_tmp31 ;
2431 unsigned int __cil_tmp32 ;
2432 unsigned int *__cil_tmp33 ;
2433 unsigned int __cil_tmp34 ;
2434 unsigned int __cil_tmp35 ;
2435 unsigned long __cil_tmp36 ;
2436 unsigned long __cil_tmp37 ;
2437 void *__cil_tmp38 ;
2438 struct parport_private *__cil_tmp39 ;
2439 unsigned long __cil_tmp40 ;
2440 unsigned long __cil_tmp41 ;
2441 unsigned int __cil_tmp42 ;
2442 unsigned long __cil_tmp43 ;
2443 unsigned long __cil_tmp44 ;
2444 void *__cil_tmp45 ;
2445 struct parport_private *__cil_tmp46 ;
2446 unsigned long __cil_tmp47 ;
2447 unsigned long __cil_tmp48 ;
2448 unsigned int __cil_tmp49 ;
2449 unsigned char __cil_tmp50 ;
2450 unsigned long __cil_tmp51 ;
2451 unsigned long __cil_tmp52 ;
2452 unsigned long __cil_tmp53 ;
2453 unsigned long __cil_tmp54 ;
2454 int __cil_tmp55 ;
2455 unsigned int *__cil_tmp56 ;
2456 unsigned long __cil_tmp57 ;
2457 unsigned long __cil_tmp58 ;
2458 void *__cil_tmp59 ;
2459 struct parport_private *__cil_tmp60 ;
2460 unsigned long __cil_tmp61 ;
2461 unsigned long __cil_tmp62 ;
2462 unsigned int __cil_tmp63 ;
2463
2464 {
2465#line 172
2466 __cil_tmp5 = data + 0;
2467#line 172
2468 __cil_tmp6 = data + 0;
2469#line 172
2470 __cil_tmp7 = *__cil_tmp6;
2471#line 172
2472 *__cil_tmp5 = __cil_tmp7 & 15U;
2473 {
2474#line 173
2475 __cil_tmp8 = data + 0;
2476#line 173
2477 if (*__cil_tmp8) {
2478 {
2479#line 174
2480 __cil_tmp9 = (unsigned long )dev;
2481#line 174
2482 __cil_tmp10 = __cil_tmp9 + 16;
2483#line 174
2484 __cil_tmp11 = *((void **)__cil_tmp10);
2485#line 174
2486 __cil_tmp12 = (struct parport_private *)__cil_tmp11;
2487#line 174
2488 __cil_tmp13 = (unsigned long )__cil_tmp12;
2489#line 174
2490 __cil_tmp14 = __cil_tmp13 + 4;
2491#line 174
2492 __cil_tmp15 = data + 0;
2493#line 174
2494 __cil_tmp16 = *__cil_tmp15;
2495#line 174
2496 __cil_tmp17 = ~ __cil_tmp16;
2497#line 174
2498 __cil_tmp18 = (unsigned long )dev;
2499#line 174
2500 __cil_tmp19 = __cil_tmp18 + 16;
2501#line 174
2502 __cil_tmp20 = *((void **)__cil_tmp19);
2503#line 174
2504 __cil_tmp21 = (struct parport_private *)__cil_tmp20;
2505#line 174
2506 __cil_tmp22 = (unsigned long )__cil_tmp21;
2507#line 174
2508 __cil_tmp23 = __cil_tmp22 + 4;
2509#line 174
2510 __cil_tmp24 = *((unsigned int *)__cil_tmp23);
2511#line 174
2512 *((unsigned int *)__cil_tmp14) = __cil_tmp24 & __cil_tmp17;
2513#line 175
2514 __cil_tmp25 = (unsigned long )dev;
2515#line 175
2516 __cil_tmp26 = __cil_tmp25 + 16;
2517#line 175
2518 __cil_tmp27 = *((void **)__cil_tmp26);
2519#line 175
2520 __cil_tmp28 = (struct parport_private *)__cil_tmp27;
2521#line 175
2522 __cil_tmp29 = (unsigned long )__cil_tmp28;
2523#line 175
2524 __cil_tmp30 = __cil_tmp29 + 4;
2525#line 175
2526 __cil_tmp31 = data + 1;
2527#line 175
2528 __cil_tmp32 = *__cil_tmp31;
2529#line 175
2530 __cil_tmp33 = data + 0;
2531#line 175
2532 __cil_tmp34 = *__cil_tmp33;
2533#line 175
2534 __cil_tmp35 = __cil_tmp34 & __cil_tmp32;
2535#line 175
2536 __cil_tmp36 = (unsigned long )dev;
2537#line 175
2538 __cil_tmp37 = __cil_tmp36 + 16;
2539#line 175
2540 __cil_tmp38 = *((void **)__cil_tmp37);
2541#line 175
2542 __cil_tmp39 = (struct parport_private *)__cil_tmp38;
2543#line 175
2544 __cil_tmp40 = (unsigned long )__cil_tmp39;
2545#line 175
2546 __cil_tmp41 = __cil_tmp40 + 4;
2547#line 175
2548 __cil_tmp42 = *((unsigned int *)__cil_tmp41);
2549#line 175
2550 *((unsigned int *)__cil_tmp30) = __cil_tmp42 | __cil_tmp35;
2551#line 177
2552 __cil_tmp43 = (unsigned long )dev;
2553#line 177
2554 __cil_tmp44 = __cil_tmp43 + 16;
2555#line 177
2556 __cil_tmp45 = *((void **)__cil_tmp44);
2557#line 177
2558 __cil_tmp46 = (struct parport_private *)__cil_tmp45;
2559#line 177
2560 __cil_tmp47 = (unsigned long )__cil_tmp46;
2561#line 177
2562 __cil_tmp48 = __cil_tmp47 + 4;
2563#line 177
2564 __cil_tmp49 = *((unsigned int *)__cil_tmp48);
2565#line 177
2566 __cil_tmp50 = (unsigned char )__cil_tmp49;
2567#line 177
2568 __cil_tmp51 = (unsigned long )dev;
2569#line 177
2570 __cil_tmp52 = __cil_tmp51 + 184;
2571#line 177
2572 __cil_tmp53 = *((unsigned long *)__cil_tmp52);
2573#line 177
2574 __cil_tmp54 = __cil_tmp53 + 2UL;
2575#line 177
2576 __cil_tmp55 = (int )__cil_tmp54;
2577#line 177
2578 outb(__cil_tmp50, __cil_tmp55);
2579 }
2580 } else {
2581
2582 }
2583 }
2584#line 180
2585 __cil_tmp56 = data + 1;
2586#line 180
2587 __cil_tmp57 = (unsigned long )dev;
2588#line 180
2589 __cil_tmp58 = __cil_tmp57 + 16;
2590#line 180
2591 __cil_tmp59 = *((void **)__cil_tmp58);
2592#line 180
2593 __cil_tmp60 = (struct parport_private *)__cil_tmp59;
2594#line 180
2595 __cil_tmp61 = (unsigned long )__cil_tmp60;
2596#line 180
2597 __cil_tmp62 = __cil_tmp61 + 4;
2598#line 180
2599 __cil_tmp63 = *((unsigned int *)__cil_tmp62);
2600#line 180
2601 *__cil_tmp56 = __cil_tmp63 & 15U;
2602#line 182
2603 return (2);
2604}
2605}
2606#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
2607static int parport_intr_insn(struct comedi_device *dev , struct comedi_subdevice *s ,
2608 struct comedi_insn *insn , unsigned int *data )
2609{ unsigned long __cil_tmp5 ;
2610 unsigned long __cil_tmp6 ;
2611 unsigned int __cil_tmp7 ;
2612 unsigned int *__cil_tmp8 ;
2613
2614 {
2615 {
2616#line 189
2617 __cil_tmp5 = (unsigned long )insn;
2618#line 189
2619 __cil_tmp6 = __cil_tmp5 + 4;
2620#line 189
2621 __cil_tmp7 = *((unsigned int *)__cil_tmp6);
2622#line 189
2623 if (__cil_tmp7 < 1U) {
2624#line 190
2625 return (-22);
2626 } else {
2627
2628 }
2629 }
2630#line 192
2631 __cil_tmp8 = data + 1;
2632#line 192
2633 *__cil_tmp8 = 0U;
2634#line 193
2635 return (2);
2636}
2637}
2638#line 196 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
2639static int parport_intr_cmdtest(struct comedi_device *dev , struct comedi_subdevice *s ,
2640 struct comedi_cmd *cmd )
2641{ int err ;
2642 int tmp ;
2643 unsigned long __cil_tmp6 ;
2644 unsigned long __cil_tmp7 ;
2645 unsigned int __cil_tmp8 ;
2646 unsigned long __cil_tmp9 ;
2647 unsigned long __cil_tmp10 ;
2648 unsigned long __cil_tmp11 ;
2649 unsigned long __cil_tmp12 ;
2650 unsigned int __cil_tmp13 ;
2651 unsigned long __cil_tmp14 ;
2652 unsigned long __cil_tmp15 ;
2653 unsigned int __cil_tmp16 ;
2654 unsigned long __cil_tmp17 ;
2655 unsigned long __cil_tmp18 ;
2656 unsigned int __cil_tmp19 ;
2657 unsigned int __cil_tmp20 ;
2658 unsigned long __cil_tmp21 ;
2659 unsigned long __cil_tmp22 ;
2660 unsigned int __cil_tmp23 ;
2661 unsigned long __cil_tmp24 ;
2662 unsigned long __cil_tmp25 ;
2663 unsigned long __cil_tmp26 ;
2664 unsigned long __cil_tmp27 ;
2665 unsigned int __cil_tmp28 ;
2666 unsigned long __cil_tmp29 ;
2667 unsigned long __cil_tmp30 ;
2668 unsigned int __cil_tmp31 ;
2669 unsigned long __cil_tmp32 ;
2670 unsigned long __cil_tmp33 ;
2671 unsigned int __cil_tmp34 ;
2672 unsigned int __cil_tmp35 ;
2673 unsigned long __cil_tmp36 ;
2674 unsigned long __cil_tmp37 ;
2675 unsigned int __cil_tmp38 ;
2676 unsigned long __cil_tmp39 ;
2677 unsigned long __cil_tmp40 ;
2678 unsigned long __cil_tmp41 ;
2679 unsigned long __cil_tmp42 ;
2680 unsigned int __cil_tmp43 ;
2681 unsigned long __cil_tmp44 ;
2682 unsigned long __cil_tmp45 ;
2683 unsigned int __cil_tmp46 ;
2684 unsigned long __cil_tmp47 ;
2685 unsigned long __cil_tmp48 ;
2686 unsigned int __cil_tmp49 ;
2687 unsigned int __cil_tmp50 ;
2688 unsigned long __cil_tmp51 ;
2689 unsigned long __cil_tmp52 ;
2690 unsigned int __cil_tmp53 ;
2691 unsigned long __cil_tmp54 ;
2692 unsigned long __cil_tmp55 ;
2693 unsigned long __cil_tmp56 ;
2694 unsigned long __cil_tmp57 ;
2695 unsigned int __cil_tmp58 ;
2696 unsigned long __cil_tmp59 ;
2697 unsigned long __cil_tmp60 ;
2698 unsigned int __cil_tmp61 ;
2699 unsigned long __cil_tmp62 ;
2700 unsigned long __cil_tmp63 ;
2701 unsigned int __cil_tmp64 ;
2702 unsigned int __cil_tmp65 ;
2703 unsigned long __cil_tmp66 ;
2704 unsigned long __cil_tmp67 ;
2705 unsigned int __cil_tmp68 ;
2706 unsigned long __cil_tmp69 ;
2707 unsigned long __cil_tmp70 ;
2708 unsigned long __cil_tmp71 ;
2709 unsigned long __cil_tmp72 ;
2710 unsigned int __cil_tmp73 ;
2711 unsigned long __cil_tmp74 ;
2712 unsigned long __cil_tmp75 ;
2713 unsigned int __cil_tmp76 ;
2714 unsigned long __cil_tmp77 ;
2715 unsigned long __cil_tmp78 ;
2716 unsigned int __cil_tmp79 ;
2717 unsigned int __cil_tmp80 ;
2718 unsigned long __cil_tmp81 ;
2719 unsigned long __cil_tmp82 ;
2720 unsigned int __cil_tmp83 ;
2721 unsigned long __cil_tmp84 ;
2722 unsigned long __cil_tmp85 ;
2723 unsigned long __cil_tmp86 ;
2724 unsigned long __cil_tmp87 ;
2725 unsigned int __cil_tmp88 ;
2726 unsigned long __cil_tmp89 ;
2727 unsigned long __cil_tmp90 ;
2728 unsigned long __cil_tmp91 ;
2729 unsigned long __cil_tmp92 ;
2730 unsigned int __cil_tmp93 ;
2731 unsigned long __cil_tmp94 ;
2732 unsigned long __cil_tmp95 ;
2733 unsigned long __cil_tmp96 ;
2734 unsigned long __cil_tmp97 ;
2735 unsigned int __cil_tmp98 ;
2736 unsigned long __cil_tmp99 ;
2737 unsigned long __cil_tmp100 ;
2738 unsigned long __cil_tmp101 ;
2739 unsigned long __cil_tmp102 ;
2740 unsigned int __cil_tmp103 ;
2741 unsigned long __cil_tmp104 ;
2742 unsigned long __cil_tmp105 ;
2743
2744 {
2745#line 200
2746 err = 0;
2747#line 205
2748 __cil_tmp6 = (unsigned long )cmd;
2749#line 205
2750 __cil_tmp7 = __cil_tmp6 + 8;
2751#line 205
2752 __cil_tmp8 = *((unsigned int *)__cil_tmp7);
2753#line 205
2754 tmp = (int )__cil_tmp8;
2755#line 206
2756 __cil_tmp9 = (unsigned long )cmd;
2757#line 206
2758 __cil_tmp10 = __cil_tmp9 + 8;
2759#line 206
2760 __cil_tmp11 = (unsigned long )cmd;
2761#line 206
2762 __cil_tmp12 = __cil_tmp11 + 8;
2763#line 206
2764 __cil_tmp13 = *((unsigned int *)__cil_tmp12);
2765#line 206
2766 *((unsigned int *)__cil_tmp10) = __cil_tmp13 & 2U;
2767 {
2768#line 207
2769 __cil_tmp14 = (unsigned long )cmd;
2770#line 207
2771 __cil_tmp15 = __cil_tmp14 + 8;
2772#line 207
2773 __cil_tmp16 = *((unsigned int *)__cil_tmp15);
2774#line 207
2775 if (! __cil_tmp16) {
2776#line 208
2777 err = err + 1;
2778 } else {
2779 {
2780#line 207
2781 __cil_tmp17 = (unsigned long )cmd;
2782#line 207
2783 __cil_tmp18 = __cil_tmp17 + 8;
2784#line 207
2785 __cil_tmp19 = *((unsigned int *)__cil_tmp18);
2786#line 207
2787 __cil_tmp20 = (unsigned int )tmp;
2788#line 207
2789 if (__cil_tmp20 != __cil_tmp19) {
2790#line 208
2791 err = err + 1;
2792 } else {
2793
2794 }
2795 }
2796 }
2797 }
2798#line 210
2799 __cil_tmp21 = (unsigned long )cmd;
2800#line 210
2801 __cil_tmp22 = __cil_tmp21 + 16;
2802#line 210
2803 __cil_tmp23 = *((unsigned int *)__cil_tmp22);
2804#line 210
2805 tmp = (int )__cil_tmp23;
2806#line 211
2807 __cil_tmp24 = (unsigned long )cmd;
2808#line 211
2809 __cil_tmp25 = __cil_tmp24 + 16;
2810#line 211
2811 __cil_tmp26 = (unsigned long )cmd;
2812#line 211
2813 __cil_tmp27 = __cil_tmp26 + 16;
2814#line 211
2815 __cil_tmp28 = *((unsigned int *)__cil_tmp27);
2816#line 211
2817 *((unsigned int *)__cil_tmp25) = __cil_tmp28 & 64U;
2818 {
2819#line 212
2820 __cil_tmp29 = (unsigned long )cmd;
2821#line 212
2822 __cil_tmp30 = __cil_tmp29 + 16;
2823#line 212
2824 __cil_tmp31 = *((unsigned int *)__cil_tmp30);
2825#line 212
2826 if (! __cil_tmp31) {
2827#line 213
2828 err = err + 1;
2829 } else {
2830 {
2831#line 212
2832 __cil_tmp32 = (unsigned long )cmd;
2833#line 212
2834 __cil_tmp33 = __cil_tmp32 + 16;
2835#line 212
2836 __cil_tmp34 = *((unsigned int *)__cil_tmp33);
2837#line 212
2838 __cil_tmp35 = (unsigned int )tmp;
2839#line 212
2840 if (__cil_tmp35 != __cil_tmp34) {
2841#line 213
2842 err = err + 1;
2843 } else {
2844
2845 }
2846 }
2847 }
2848 }
2849#line 215
2850 __cil_tmp36 = (unsigned long )cmd;
2851#line 215
2852 __cil_tmp37 = __cil_tmp36 + 24;
2853#line 215
2854 __cil_tmp38 = *((unsigned int *)__cil_tmp37);
2855#line 215
2856 tmp = (int )__cil_tmp38;
2857#line 216
2858 __cil_tmp39 = (unsigned long )cmd;
2859#line 216
2860 __cil_tmp40 = __cil_tmp39 + 24;
2861#line 216
2862 __cil_tmp41 = (unsigned long )cmd;
2863#line 216
2864 __cil_tmp42 = __cil_tmp41 + 24;
2865#line 216
2866 __cil_tmp43 = *((unsigned int *)__cil_tmp42);
2867#line 216
2868 *((unsigned int *)__cil_tmp40) = __cil_tmp43 & 4U;
2869 {
2870#line 217
2871 __cil_tmp44 = (unsigned long )cmd;
2872#line 217
2873 __cil_tmp45 = __cil_tmp44 + 24;
2874#line 217
2875 __cil_tmp46 = *((unsigned int *)__cil_tmp45);
2876#line 217
2877 if (! __cil_tmp46) {
2878#line 218
2879 err = err + 1;
2880 } else {
2881 {
2882#line 217
2883 __cil_tmp47 = (unsigned long )cmd;
2884#line 217
2885 __cil_tmp48 = __cil_tmp47 + 24;
2886#line 217
2887 __cil_tmp49 = *((unsigned int *)__cil_tmp48);
2888#line 217
2889 __cil_tmp50 = (unsigned int )tmp;
2890#line 217
2891 if (__cil_tmp50 != __cil_tmp49) {
2892#line 218
2893 err = err + 1;
2894 } else {
2895
2896 }
2897 }
2898 }
2899 }
2900#line 220
2901 __cil_tmp51 = (unsigned long )cmd;
2902#line 220
2903 __cil_tmp52 = __cil_tmp51 + 32;
2904#line 220
2905 __cil_tmp53 = *((unsigned int *)__cil_tmp52);
2906#line 220
2907 tmp = (int )__cil_tmp53;
2908#line 221
2909 __cil_tmp54 = (unsigned long )cmd;
2910#line 221
2911 __cil_tmp55 = __cil_tmp54 + 32;
2912#line 221
2913 __cil_tmp56 = (unsigned long )cmd;
2914#line 221
2915 __cil_tmp57 = __cil_tmp56 + 32;
2916#line 221
2917 __cil_tmp58 = *((unsigned int *)__cil_tmp57);
2918#line 221
2919 *((unsigned int *)__cil_tmp55) = __cil_tmp58 & 32U;
2920 {
2921#line 222
2922 __cil_tmp59 = (unsigned long )cmd;
2923#line 222
2924 __cil_tmp60 = __cil_tmp59 + 32;
2925#line 222
2926 __cil_tmp61 = *((unsigned int *)__cil_tmp60);
2927#line 222
2928 if (! __cil_tmp61) {
2929#line 223
2930 err = err + 1;
2931 } else {
2932 {
2933#line 222
2934 __cil_tmp62 = (unsigned long )cmd;
2935#line 222
2936 __cil_tmp63 = __cil_tmp62 + 32;
2937#line 222
2938 __cil_tmp64 = *((unsigned int *)__cil_tmp63);
2939#line 222
2940 __cil_tmp65 = (unsigned int )tmp;
2941#line 222
2942 if (__cil_tmp65 != __cil_tmp64) {
2943#line 223
2944 err = err + 1;
2945 } else {
2946
2947 }
2948 }
2949 }
2950 }
2951#line 225
2952 __cil_tmp66 = (unsigned long )cmd;
2953#line 225
2954 __cil_tmp67 = __cil_tmp66 + 40;
2955#line 225
2956 __cil_tmp68 = *((unsigned int *)__cil_tmp67);
2957#line 225
2958 tmp = (int )__cil_tmp68;
2959#line 226
2960 __cil_tmp69 = (unsigned long )cmd;
2961#line 226
2962 __cil_tmp70 = __cil_tmp69 + 40;
2963#line 226
2964 __cil_tmp71 = (unsigned long )cmd;
2965#line 226
2966 __cil_tmp72 = __cil_tmp71 + 40;
2967#line 226
2968 __cil_tmp73 = *((unsigned int *)__cil_tmp72);
2969#line 226
2970 *((unsigned int *)__cil_tmp70) = __cil_tmp73 & 1U;
2971 {
2972#line 227
2973 __cil_tmp74 = (unsigned long )cmd;
2974#line 227
2975 __cil_tmp75 = __cil_tmp74 + 40;
2976#line 227
2977 __cil_tmp76 = *((unsigned int *)__cil_tmp75);
2978#line 227
2979 if (! __cil_tmp76) {
2980#line 228
2981 err = err + 1;
2982 } else {
2983 {
2984#line 227
2985 __cil_tmp77 = (unsigned long )cmd;
2986#line 227
2987 __cil_tmp78 = __cil_tmp77 + 40;
2988#line 227
2989 __cil_tmp79 = *((unsigned int *)__cil_tmp78);
2990#line 227
2991 __cil_tmp80 = (unsigned int )tmp;
2992#line 227
2993 if (__cil_tmp80 != __cil_tmp79) {
2994#line 228
2995 err = err + 1;
2996 } else {
2997
2998 }
2999 }
3000 }
3001 }
3002#line 230
3003 if (err) {
3004#line 231
3005 return (1);
3006 } else {
3007
3008 }
3009#line 235
3010 if (err) {
3011#line 236
3012 return (2);
3013 } else {
3014
3015 }
3016 {
3017#line 240
3018 __cil_tmp81 = (unsigned long )cmd;
3019#line 240
3020 __cil_tmp82 = __cil_tmp81 + 12;
3021#line 240
3022 __cil_tmp83 = *((unsigned int *)__cil_tmp82);
3023#line 240
3024 if (__cil_tmp83 != 0U) {
3025#line 241
3026 __cil_tmp84 = (unsigned long )cmd;
3027#line 241
3028 __cil_tmp85 = __cil_tmp84 + 12;
3029#line 241
3030 *((unsigned int *)__cil_tmp85) = 0U;
3031#line 242
3032 err = err + 1;
3033 } else {
3034
3035 }
3036 }
3037 {
3038#line 244
3039 __cil_tmp86 = (unsigned long )cmd;
3040#line 244
3041 __cil_tmp87 = __cil_tmp86 + 20;
3042#line 244
3043 __cil_tmp88 = *((unsigned int *)__cil_tmp87);
3044#line 244
3045 if (__cil_tmp88 != 0U) {
3046#line 245
3047 __cil_tmp89 = (unsigned long )cmd;
3048#line 245
3049 __cil_tmp90 = __cil_tmp89 + 20;
3050#line 245
3051 *((unsigned int *)__cil_tmp90) = 0U;
3052#line 246
3053 err = err + 1;
3054 } else {
3055
3056 }
3057 }
3058 {
3059#line 248
3060 __cil_tmp91 = (unsigned long )cmd;
3061#line 248
3062 __cil_tmp92 = __cil_tmp91 + 28;
3063#line 248
3064 __cil_tmp93 = *((unsigned int *)__cil_tmp92);
3065#line 248
3066 if (__cil_tmp93 != 0U) {
3067#line 249
3068 __cil_tmp94 = (unsigned long )cmd;
3069#line 249
3070 __cil_tmp95 = __cil_tmp94 + 28;
3071#line 249
3072 *((unsigned int *)__cil_tmp95) = 0U;
3073#line 250
3074 err = err + 1;
3075 } else {
3076
3077 }
3078 }
3079 {
3080#line 252
3081 __cil_tmp96 = (unsigned long )cmd;
3082#line 252
3083 __cil_tmp97 = __cil_tmp96 + 36;
3084#line 252
3085 __cil_tmp98 = *((unsigned int *)__cil_tmp97);
3086#line 252
3087 if (__cil_tmp98 != 1U) {
3088#line 253
3089 __cil_tmp99 = (unsigned long )cmd;
3090#line 253
3091 __cil_tmp100 = __cil_tmp99 + 36;
3092#line 253
3093 *((unsigned int *)__cil_tmp100) = 1U;
3094#line 254
3095 err = err + 1;
3096 } else {
3097
3098 }
3099 }
3100 {
3101#line 256
3102 __cil_tmp101 = (unsigned long )cmd;
3103#line 256
3104 __cil_tmp102 = __cil_tmp101 + 44;
3105#line 256
3106 __cil_tmp103 = *((unsigned int *)__cil_tmp102);
3107#line 256
3108 if (__cil_tmp103 != 0U) {
3109#line 257
3110 __cil_tmp104 = (unsigned long )cmd;
3111#line 257
3112 __cil_tmp105 = __cil_tmp104 + 44;
3113#line 257
3114 *((unsigned int *)__cil_tmp105) = 0U;
3115#line 258
3116 err = err + 1;
3117 } else {
3118
3119 }
3120 }
3121#line 261
3122 if (err) {
3123#line 262
3124 return (3);
3125 } else {
3126
3127 }
3128#line 266
3129 if (err) {
3130#line 267
3131 return (4);
3132 } else {
3133
3134 }
3135#line 269
3136 return (0);
3137}
3138}
3139#line 272 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
3140static int parport_intr_cmd(struct comedi_device *dev , struct comedi_subdevice *s )
3141{ unsigned long __cil_tmp3 ;
3142 unsigned long __cil_tmp4 ;
3143 void *__cil_tmp5 ;
3144 struct parport_private *__cil_tmp6 ;
3145 unsigned long __cil_tmp7 ;
3146 unsigned long __cil_tmp8 ;
3147 unsigned long __cil_tmp9 ;
3148 unsigned long __cil_tmp10 ;
3149 void *__cil_tmp11 ;
3150 struct parport_private *__cil_tmp12 ;
3151 unsigned long __cil_tmp13 ;
3152 unsigned long __cil_tmp14 ;
3153 unsigned int __cil_tmp15 ;
3154 unsigned long __cil_tmp16 ;
3155 unsigned long __cil_tmp17 ;
3156 void *__cil_tmp18 ;
3157 struct parport_private *__cil_tmp19 ;
3158 unsigned long __cil_tmp20 ;
3159 unsigned long __cil_tmp21 ;
3160 unsigned int __cil_tmp22 ;
3161 unsigned char __cil_tmp23 ;
3162 unsigned long __cil_tmp24 ;
3163 unsigned long __cil_tmp25 ;
3164 unsigned long __cil_tmp26 ;
3165 unsigned long __cil_tmp27 ;
3166 int __cil_tmp28 ;
3167 unsigned long __cil_tmp29 ;
3168 unsigned long __cil_tmp30 ;
3169 void *__cil_tmp31 ;
3170 struct parport_private *__cil_tmp32 ;
3171 unsigned long __cil_tmp33 ;
3172 unsigned long __cil_tmp34 ;
3173
3174 {
3175 {
3176#line 275
3177 __cil_tmp3 = (unsigned long )dev;
3178#line 275
3179 __cil_tmp4 = __cil_tmp3 + 16;
3180#line 275
3181 __cil_tmp5 = *((void **)__cil_tmp4);
3182#line 275
3183 __cil_tmp6 = (struct parport_private *)__cil_tmp5;
3184#line 275
3185 __cil_tmp7 = (unsigned long )__cil_tmp6;
3186#line 275
3187 __cil_tmp8 = __cil_tmp7 + 4;
3188#line 275
3189 __cil_tmp9 = (unsigned long )dev;
3190#line 275
3191 __cil_tmp10 = __cil_tmp9 + 16;
3192#line 275
3193 __cil_tmp11 = *((void **)__cil_tmp10);
3194#line 275
3195 __cil_tmp12 = (struct parport_private *)__cil_tmp11;
3196#line 275
3197 __cil_tmp13 = (unsigned long )__cil_tmp12;
3198#line 275
3199 __cil_tmp14 = __cil_tmp13 + 4;
3200#line 275
3201 __cil_tmp15 = *((unsigned int *)__cil_tmp14);
3202#line 275
3203 *((unsigned int *)__cil_tmp8) = __cil_tmp15 | 16U;
3204#line 276
3205 __cil_tmp16 = (unsigned long )dev;
3206#line 276
3207 __cil_tmp17 = __cil_tmp16 + 16;
3208#line 276
3209 __cil_tmp18 = *((void **)__cil_tmp17);
3210#line 276
3211 __cil_tmp19 = (struct parport_private *)__cil_tmp18;
3212#line 276
3213 __cil_tmp20 = (unsigned long )__cil_tmp19;
3214#line 276
3215 __cil_tmp21 = __cil_tmp20 + 4;
3216#line 276
3217 __cil_tmp22 = *((unsigned int *)__cil_tmp21);
3218#line 276
3219 __cil_tmp23 = (unsigned char )__cil_tmp22;
3220#line 276
3221 __cil_tmp24 = (unsigned long )dev;
3222#line 276
3223 __cil_tmp25 = __cil_tmp24 + 184;
3224#line 276
3225 __cil_tmp26 = *((unsigned long *)__cil_tmp25);
3226#line 276
3227 __cil_tmp27 = __cil_tmp26 + 2UL;
3228#line 276
3229 __cil_tmp28 = (int )__cil_tmp27;
3230#line 276
3231 outb(__cil_tmp23, __cil_tmp28);
3232#line 278
3233 __cil_tmp29 = (unsigned long )dev;
3234#line 278
3235 __cil_tmp30 = __cil_tmp29 + 16;
3236#line 278
3237 __cil_tmp31 = *((void **)__cil_tmp30);
3238#line 278
3239 __cil_tmp32 = (struct parport_private *)__cil_tmp31;
3240#line 278
3241 __cil_tmp33 = (unsigned long )__cil_tmp32;
3242#line 278
3243 __cil_tmp34 = __cil_tmp33 + 8;
3244#line 278
3245 *((int *)__cil_tmp34) = 1;
3246 }
3247#line 280
3248 return (0);
3249}
3250}
3251#line 283 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
3252static int parport_intr_cancel(struct comedi_device *dev , struct comedi_subdevice *s )
3253{ unsigned long __cil_tmp3 ;
3254 unsigned long __cil_tmp4 ;
3255 void *__cil_tmp5 ;
3256 struct parport_private *__cil_tmp6 ;
3257 unsigned long __cil_tmp7 ;
3258 unsigned long __cil_tmp8 ;
3259 unsigned long __cil_tmp9 ;
3260 unsigned long __cil_tmp10 ;
3261 void *__cil_tmp11 ;
3262 struct parport_private *__cil_tmp12 ;
3263 unsigned long __cil_tmp13 ;
3264 unsigned long __cil_tmp14 ;
3265 unsigned int __cil_tmp15 ;
3266 unsigned long __cil_tmp16 ;
3267 unsigned long __cil_tmp17 ;
3268 void *__cil_tmp18 ;
3269 struct parport_private *__cil_tmp19 ;
3270 unsigned long __cil_tmp20 ;
3271 unsigned long __cil_tmp21 ;
3272 unsigned int __cil_tmp22 ;
3273 unsigned char __cil_tmp23 ;
3274 unsigned long __cil_tmp24 ;
3275 unsigned long __cil_tmp25 ;
3276 unsigned long __cil_tmp26 ;
3277 unsigned long __cil_tmp27 ;
3278 int __cil_tmp28 ;
3279 unsigned long __cil_tmp29 ;
3280 unsigned long __cil_tmp30 ;
3281 void *__cil_tmp31 ;
3282 struct parport_private *__cil_tmp32 ;
3283 unsigned long __cil_tmp33 ;
3284 unsigned long __cil_tmp34 ;
3285
3286 {
3287 {
3288#line 286
3289 printk("<7>parport_intr_cancel()\n");
3290#line 288
3291 __cil_tmp3 = (unsigned long )dev;
3292#line 288
3293 __cil_tmp4 = __cil_tmp3 + 16;
3294#line 288
3295 __cil_tmp5 = *((void **)__cil_tmp4);
3296#line 288
3297 __cil_tmp6 = (struct parport_private *)__cil_tmp5;
3298#line 288
3299 __cil_tmp7 = (unsigned long )__cil_tmp6;
3300#line 288
3301 __cil_tmp8 = __cil_tmp7 + 4;
3302#line 288
3303 __cil_tmp9 = (unsigned long )dev;
3304#line 288
3305 __cil_tmp10 = __cil_tmp9 + 16;
3306#line 288
3307 __cil_tmp11 = *((void **)__cil_tmp10);
3308#line 288
3309 __cil_tmp12 = (struct parport_private *)__cil_tmp11;
3310#line 288
3311 __cil_tmp13 = (unsigned long )__cil_tmp12;
3312#line 288
3313 __cil_tmp14 = __cil_tmp13 + 4;
3314#line 288
3315 __cil_tmp15 = *((unsigned int *)__cil_tmp14);
3316#line 288
3317 *((unsigned int *)__cil_tmp8) = __cil_tmp15 & 4294967279U;
3318#line 289
3319 __cil_tmp16 = (unsigned long )dev;
3320#line 289
3321 __cil_tmp17 = __cil_tmp16 + 16;
3322#line 289
3323 __cil_tmp18 = *((void **)__cil_tmp17);
3324#line 289
3325 __cil_tmp19 = (struct parport_private *)__cil_tmp18;
3326#line 289
3327 __cil_tmp20 = (unsigned long )__cil_tmp19;
3328#line 289
3329 __cil_tmp21 = __cil_tmp20 + 4;
3330#line 289
3331 __cil_tmp22 = *((unsigned int *)__cil_tmp21);
3332#line 289
3333 __cil_tmp23 = (unsigned char )__cil_tmp22;
3334#line 289
3335 __cil_tmp24 = (unsigned long )dev;
3336#line 289
3337 __cil_tmp25 = __cil_tmp24 + 184;
3338#line 289
3339 __cil_tmp26 = *((unsigned long *)__cil_tmp25);
3340#line 289
3341 __cil_tmp27 = __cil_tmp26 + 2UL;
3342#line 289
3343 __cil_tmp28 = (int )__cil_tmp27;
3344#line 289
3345 outb(__cil_tmp23, __cil_tmp28);
3346#line 291
3347 __cil_tmp29 = (unsigned long )dev;
3348#line 291
3349 __cil_tmp30 = __cil_tmp29 + 16;
3350#line 291
3351 __cil_tmp31 = *((void **)__cil_tmp30);
3352#line 291
3353 __cil_tmp32 = (struct parport_private *)__cil_tmp31;
3354#line 291
3355 __cil_tmp33 = (unsigned long )__cil_tmp32;
3356#line 291
3357 __cil_tmp34 = __cil_tmp33 + 8;
3358#line 291
3359 *((int *)__cil_tmp34) = 0;
3360 }
3361#line 293
3362 return (0);
3363}
3364}
3365#line 296 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
3366static irqreturn_t parport_interrupt(int irq , void *d )
3367{ struct comedi_device *dev ;
3368 struct comedi_subdevice *s ;
3369 unsigned long __cil_tmp5 ;
3370 unsigned long __cil_tmp6 ;
3371 struct comedi_subdevice *__cil_tmp7 ;
3372 unsigned long __cil_tmp8 ;
3373 unsigned long __cil_tmp9 ;
3374 void *__cil_tmp10 ;
3375 struct parport_private *__cil_tmp11 ;
3376 unsigned long __cil_tmp12 ;
3377 unsigned long __cil_tmp13 ;
3378 int __cil_tmp14 ;
3379 unsigned long __cil_tmp15 ;
3380 unsigned long __cil_tmp16 ;
3381 struct comedi_async *__cil_tmp17 ;
3382 unsigned long __cil_tmp18 ;
3383 unsigned long __cil_tmp19 ;
3384 struct comedi_async *__cil_tmp20 ;
3385 unsigned long __cil_tmp21 ;
3386 unsigned long __cil_tmp22 ;
3387 unsigned long __cil_tmp23 ;
3388 unsigned long __cil_tmp24 ;
3389 struct comedi_async *__cil_tmp25 ;
3390 unsigned long __cil_tmp26 ;
3391 unsigned long __cil_tmp27 ;
3392 unsigned int __cil_tmp28 ;
3393
3394 {
3395#line 298
3396 dev = (struct comedi_device *)d;
3397#line 299
3398 __cil_tmp5 = (unsigned long )dev;
3399#line 299
3400 __cil_tmp6 = __cil_tmp5 + 176;
3401#line 299
3402 __cil_tmp7 = *((struct comedi_subdevice **)__cil_tmp6);
3403#line 299
3404 s = __cil_tmp7 + 3;
3405 {
3406#line 301
3407 __cil_tmp8 = (unsigned long )dev;
3408#line 301
3409 __cil_tmp9 = __cil_tmp8 + 16;
3410#line 301
3411 __cil_tmp10 = *((void **)__cil_tmp9);
3412#line 301
3413 __cil_tmp11 = (struct parport_private *)__cil_tmp10;
3414#line 301
3415 __cil_tmp12 = (unsigned long )__cil_tmp11;
3416#line 301
3417 __cil_tmp13 = __cil_tmp12 + 8;
3418#line 301
3419 __cil_tmp14 = *((int *)__cil_tmp13);
3420#line 301
3421 if (! __cil_tmp14) {
3422 {
3423#line 302
3424 printk("<3>comedi_parport: bogus irq, ignored\n");
3425 }
3426#line 303
3427 return ((irqreturn_t )0);
3428 } else {
3429
3430 }
3431 }
3432 {
3433#line 306
3434 __cil_tmp15 = (unsigned long )s;
3435#line 306
3436 __cil_tmp16 = __cil_tmp15 + 32;
3437#line 306
3438 __cil_tmp17 = *((struct comedi_async **)__cil_tmp16);
3439#line 306
3440 comedi_buf_put(__cil_tmp17, (short)0);
3441#line 307
3442 __cil_tmp18 = (unsigned long )s;
3443#line 307
3444 __cil_tmp19 = __cil_tmp18 + 32;
3445#line 307
3446 __cil_tmp20 = *((struct comedi_async **)__cil_tmp19);
3447#line 307
3448 __cil_tmp21 = (unsigned long )__cil_tmp20;
3449#line 307
3450 __cil_tmp22 = __cil_tmp21 + 88;
3451#line 307
3452 __cil_tmp23 = (unsigned long )s;
3453#line 307
3454 __cil_tmp24 = __cil_tmp23 + 32;
3455#line 307
3456 __cil_tmp25 = *((struct comedi_async **)__cil_tmp24);
3457#line 307
3458 __cil_tmp26 = (unsigned long )__cil_tmp25;
3459#line 307
3460 __cil_tmp27 = __cil_tmp26 + 88;
3461#line 307
3462 __cil_tmp28 = *((unsigned int *)__cil_tmp27);
3463#line 307
3464 *((unsigned int *)__cil_tmp22) = __cil_tmp28 | 5U;
3465#line 309
3466 comedi_event(dev, s);
3467 }
3468#line 310
3469 return ((irqreturn_t )1);
3470}
3471}
3472#line 313 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
3473static int parport_attach(struct comedi_device *dev , struct comedi_devconfig *it )
3474{ int ret ;
3475 unsigned int irq ;
3476 unsigned long iobase ;
3477 struct comedi_subdevice *s ;
3478 struct resource *tmp ;
3479 unsigned long __cil_tmp8 ;
3480 unsigned long __cil_tmp9 ;
3481 unsigned long __cil_tmp10 ;
3482 unsigned long __cil_tmp11 ;
3483 int __cil_tmp12 ;
3484 unsigned long __cil_tmp13 ;
3485 unsigned long __cil_tmp14 ;
3486 int __cil_tmp15 ;
3487 resource_size_t __cil_tmp16 ;
3488 resource_size_t __cil_tmp17 ;
3489 unsigned long __cil_tmp18 ;
3490 unsigned long __cil_tmp19 ;
3491 unsigned long __cil_tmp20 ;
3492 unsigned long __cil_tmp21 ;
3493 unsigned long __cil_tmp22 ;
3494 unsigned long __cil_tmp23 ;
3495 int __cil_tmp24 ;
3496 void *__cil_tmp25 ;
3497 unsigned long __cil_tmp26 ;
3498 unsigned long __cil_tmp27 ;
3499 unsigned long __cil_tmp28 ;
3500 unsigned long __cil_tmp29 ;
3501 int __cil_tmp30 ;
3502 unsigned long __cil_tmp31 ;
3503 unsigned long __cil_tmp32 ;
3504 struct comedi_subdevice *__cil_tmp33 ;
3505 unsigned long __cil_tmp34 ;
3506 unsigned long __cil_tmp35 ;
3507 unsigned long __cil_tmp36 ;
3508 unsigned long __cil_tmp37 ;
3509 unsigned long __cil_tmp38 ;
3510 unsigned long __cil_tmp39 ;
3511 unsigned long __cil_tmp40 ;
3512 unsigned long __cil_tmp41 ;
3513 unsigned long __cil_tmp42 ;
3514 unsigned long __cil_tmp43 ;
3515 unsigned long __cil_tmp44 ;
3516 unsigned long __cil_tmp45 ;
3517 unsigned long __cil_tmp46 ;
3518 unsigned long __cil_tmp47 ;
3519 unsigned long __cil_tmp48 ;
3520 unsigned long __cil_tmp49 ;
3521 struct comedi_subdevice *__cil_tmp50 ;
3522 unsigned long __cil_tmp51 ;
3523 unsigned long __cil_tmp52 ;
3524 unsigned long __cil_tmp53 ;
3525 unsigned long __cil_tmp54 ;
3526 unsigned long __cil_tmp55 ;
3527 unsigned long __cil_tmp56 ;
3528 unsigned long __cil_tmp57 ;
3529 unsigned long __cil_tmp58 ;
3530 unsigned long __cil_tmp59 ;
3531 unsigned long __cil_tmp60 ;
3532 unsigned long __cil_tmp61 ;
3533 unsigned long __cil_tmp62 ;
3534 unsigned long __cil_tmp63 ;
3535 unsigned long __cil_tmp64 ;
3536 struct comedi_subdevice *__cil_tmp65 ;
3537 unsigned long __cil_tmp66 ;
3538 unsigned long __cil_tmp67 ;
3539 unsigned long __cil_tmp68 ;
3540 unsigned long __cil_tmp69 ;
3541 unsigned long __cil_tmp70 ;
3542 unsigned long __cil_tmp71 ;
3543 unsigned long __cil_tmp72 ;
3544 unsigned long __cil_tmp73 ;
3545 unsigned long __cil_tmp74 ;
3546 unsigned long __cil_tmp75 ;
3547 unsigned long __cil_tmp76 ;
3548 unsigned long __cil_tmp77 ;
3549 unsigned long __cil_tmp78 ;
3550 unsigned long __cil_tmp79 ;
3551 struct comedi_subdevice *__cil_tmp80 ;
3552 unsigned long __cil_tmp81 ;
3553 unsigned long __cil_tmp82 ;
3554 unsigned long __cil_tmp83 ;
3555 unsigned long __cil_tmp84 ;
3556 unsigned long __cil_tmp85 ;
3557 unsigned long __cil_tmp86 ;
3558 unsigned long __cil_tmp87 ;
3559 unsigned long __cil_tmp88 ;
3560 unsigned long __cil_tmp89 ;
3561 unsigned long __cil_tmp90 ;
3562 unsigned long __cil_tmp91 ;
3563 unsigned long __cil_tmp92 ;
3564 unsigned long __cil_tmp93 ;
3565 unsigned long __cil_tmp94 ;
3566 unsigned long __cil_tmp95 ;
3567 unsigned long __cil_tmp96 ;
3568 unsigned long __cil_tmp97 ;
3569 unsigned long __cil_tmp98 ;
3570 unsigned long __cil_tmp99 ;
3571 unsigned long __cil_tmp100 ;
3572 unsigned long __cil_tmp101 ;
3573 unsigned long __cil_tmp102 ;
3574 unsigned long __cil_tmp103 ;
3575 unsigned long __cil_tmp104 ;
3576 void *__cil_tmp105 ;
3577 struct parport_private *__cil_tmp106 ;
3578 unsigned long __cil_tmp107 ;
3579 unsigned long __cil_tmp108 ;
3580 void *__cil_tmp109 ;
3581 struct parport_private *__cil_tmp110 ;
3582 unsigned int __cil_tmp111 ;
3583 unsigned char __cil_tmp112 ;
3584 unsigned long __cil_tmp113 ;
3585 unsigned long __cil_tmp114 ;
3586 unsigned long __cil_tmp115 ;
3587 int __cil_tmp116 ;
3588 unsigned long __cil_tmp117 ;
3589 unsigned long __cil_tmp118 ;
3590 void *__cil_tmp119 ;
3591 struct parport_private *__cil_tmp120 ;
3592 unsigned long __cil_tmp121 ;
3593 unsigned long __cil_tmp122 ;
3594 unsigned long __cil_tmp123 ;
3595 unsigned long __cil_tmp124 ;
3596 void *__cil_tmp125 ;
3597 struct parport_private *__cil_tmp126 ;
3598 unsigned long __cil_tmp127 ;
3599 unsigned long __cil_tmp128 ;
3600 unsigned int __cil_tmp129 ;
3601 unsigned char __cil_tmp130 ;
3602 unsigned long __cil_tmp131 ;
3603 unsigned long __cil_tmp132 ;
3604 unsigned long __cil_tmp133 ;
3605 unsigned long __cil_tmp134 ;
3606 int __cil_tmp135 ;
3607
3608 {
3609 {
3610#line 321
3611 __cil_tmp8 = 0 * 4UL;
3612#line 321
3613 __cil_tmp9 = 20 + __cil_tmp8;
3614#line 321
3615 __cil_tmp10 = (unsigned long )it;
3616#line 321
3617 __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
3618#line 321
3619 __cil_tmp12 = *((int *)__cil_tmp11);
3620#line 321
3621 iobase = (unsigned long )__cil_tmp12;
3622#line 322
3623 __cil_tmp13 = (unsigned long )dev;
3624#line 322
3625 __cil_tmp14 = __cil_tmp13 + 32;
3626#line 322
3627 __cil_tmp15 = *((int *)__cil_tmp14);
3628#line 322
3629 printk("<6>comedi%d: parport: 0x%04lx ", __cil_tmp15, iobase);
3630#line 323
3631 __cil_tmp16 = (resource_size_t )iobase;
3632#line 323
3633 __cil_tmp17 = (resource_size_t )3;
3634#line 323
3635 tmp = __request_region(& ioport_resource, __cil_tmp16, __cil_tmp17, "parport (comedi)",
3636 0);
3637 }
3638#line 323
3639 if (tmp) {
3640
3641 } else {
3642 {
3643#line 324
3644 printk("<3>I/O port conflict\n");
3645 }
3646#line 325
3647 return (-5);
3648 }
3649#line 327
3650 __cil_tmp18 = (unsigned long )dev;
3651#line 327
3652 __cil_tmp19 = __cil_tmp18 + 184;
3653#line 327
3654 *((unsigned long *)__cil_tmp19) = iobase;
3655#line 329
3656 __cil_tmp20 = 1 * 4UL;
3657#line 329
3658 __cil_tmp21 = 20 + __cil_tmp20;
3659#line 329
3660 __cil_tmp22 = (unsigned long )it;
3661#line 329
3662 __cil_tmp23 = __cil_tmp22 + __cil_tmp21;
3663#line 329
3664 __cil_tmp24 = *((int *)__cil_tmp23);
3665#line 329
3666 irq = (unsigned int )__cil_tmp24;
3667#line 330
3668 if (irq) {
3669 {
3670#line 331
3671 printk("<6> irq=%u", irq);
3672#line 332
3673 __cil_tmp25 = (void *)dev;
3674#line 332
3675 ret = (int )request_irq(irq, & parport_interrupt, 0UL, "comedi_parport", __cil_tmp25);
3676 }
3677#line 334
3678 if (ret < 0) {
3679 {
3680#line 335
3681 printk("<3> irq not available\n");
3682 }
3683#line 336
3684 return (-22);
3685 } else {
3686
3687 }
3688#line 338
3689 __cil_tmp26 = (unsigned long )dev;
3690#line 338
3691 __cil_tmp27 = __cil_tmp26 + 192;
3692#line 338
3693 *((unsigned int *)__cil_tmp27) = irq;
3694 } else {
3695
3696 }
3697 {
3698#line 340
3699 __cil_tmp28 = (unsigned long )dev;
3700#line 340
3701 __cil_tmp29 = __cil_tmp28 + 48;
3702#line 340
3703 *((char const **)__cil_tmp29) = "parport";
3704#line 342
3705 ret = alloc_subdevices(dev, 4U);
3706 }
3707#line 343
3708 if (ret < 0) {
3709#line 344
3710 return (ret);
3711 } else {
3712
3713 }
3714 {
3715#line 345
3716 __cil_tmp30 = (int )12UL;
3717#line 345
3718 ret = alloc_private(dev, __cil_tmp30);
3719 }
3720#line 346
3721 if (ret < 0) {
3722#line 347
3723 return (ret);
3724 } else {
3725
3726 }
3727#line 349
3728 __cil_tmp31 = (unsigned long )dev;
3729#line 349
3730 __cil_tmp32 = __cil_tmp31 + 176;
3731#line 349
3732 __cil_tmp33 = *((struct comedi_subdevice **)__cil_tmp32);
3733#line 349
3734 s = __cil_tmp33 + 0;
3735#line 350
3736 __cil_tmp34 = (unsigned long )s;
3737#line 350
3738 __cil_tmp35 = __cil_tmp34 + 8;
3739#line 350
3740 *((int *)__cil_tmp35) = 5;
3741#line 351
3742 __cil_tmp36 = (unsigned long )s;
3743#line 351
3744 __cil_tmp37 = __cil_tmp36 + 16;
3745#line 351
3746 *((int *)__cil_tmp37) = 196608;
3747#line 352
3748 __cil_tmp38 = (unsigned long )s;
3749#line 352
3750 __cil_tmp39 = __cil_tmp38 + 12;
3751#line 352
3752 *((int *)__cil_tmp39) = 8;
3753#line 353
3754 __cil_tmp40 = (unsigned long )s;
3755#line 353
3756 __cil_tmp41 = __cil_tmp40 + 92;
3757#line 353
3758 *((unsigned int *)__cil_tmp41) = 1U;
3759#line 354
3760 __cil_tmp42 = (unsigned long )s;
3761#line 354
3762 __cil_tmp43 = __cil_tmp42 + 128;
3763#line 354
3764 *((struct comedi_lrange const **)__cil_tmp43) = & range_unipolar5;
3765#line 355
3766 __cil_tmp44 = (unsigned long )s;
3767#line 355
3768 __cil_tmp45 = __cil_tmp44 + 168;
3769#line 355
3770 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
3771 unsigned int * ))__cil_tmp45) = & parport_insn_a;
3772#line 356
3773 __cil_tmp46 = (unsigned long )s;
3774#line 356
3775 __cil_tmp47 = __cil_tmp46 + 176;
3776#line 356
3777 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
3778 unsigned int * ))__cil_tmp47) = & parport_insn_config_a;
3779#line 358
3780 __cil_tmp48 = (unsigned long )dev;
3781#line 358
3782 __cil_tmp49 = __cil_tmp48 + 176;
3783#line 358
3784 __cil_tmp50 = *((struct comedi_subdevice **)__cil_tmp49);
3785#line 358
3786 s = __cil_tmp50 + 1;
3787#line 359
3788 __cil_tmp51 = (unsigned long )s;
3789#line 359
3790 __cil_tmp52 = __cil_tmp51 + 8;
3791#line 359
3792 *((int *)__cil_tmp52) = 3;
3793#line 360
3794 __cil_tmp53 = (unsigned long )s;
3795#line 360
3796 __cil_tmp54 = __cil_tmp53 + 16;
3797#line 360
3798 *((int *)__cil_tmp54) = 65536;
3799#line 361
3800 __cil_tmp55 = (unsigned long )s;
3801#line 361
3802 __cil_tmp56 = __cil_tmp55 + 12;
3803#line 361
3804 *((int *)__cil_tmp56) = 5;
3805#line 362
3806 __cil_tmp57 = (unsigned long )s;
3807#line 362
3808 __cil_tmp58 = __cil_tmp57 + 92;
3809#line 362
3810 *((unsigned int *)__cil_tmp58) = 1U;
3811#line 363
3812 __cil_tmp59 = (unsigned long )s;
3813#line 363
3814 __cil_tmp60 = __cil_tmp59 + 128;
3815#line 363
3816 *((struct comedi_lrange const **)__cil_tmp60) = & range_unipolar5;
3817#line 364
3818 __cil_tmp61 = (unsigned long )s;
3819#line 364
3820 __cil_tmp62 = __cil_tmp61 + 168;
3821#line 364
3822 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
3823 unsigned int * ))__cil_tmp62) = & parport_insn_b;
3824#line 366
3825 __cil_tmp63 = (unsigned long )dev;
3826#line 366
3827 __cil_tmp64 = __cil_tmp63 + 176;
3828#line 366
3829 __cil_tmp65 = *((struct comedi_subdevice **)__cil_tmp64);
3830#line 366
3831 s = __cil_tmp65 + 2;
3832#line 367
3833 __cil_tmp66 = (unsigned long )s;
3834#line 367
3835 __cil_tmp67 = __cil_tmp66 + 8;
3836#line 367
3837 *((int *)__cil_tmp67) = 4;
3838#line 368
3839 __cil_tmp68 = (unsigned long )s;
3840#line 368
3841 __cil_tmp69 = __cil_tmp68 + 16;
3842#line 368
3843 *((int *)__cil_tmp69) = 131072;
3844#line 369
3845 __cil_tmp70 = (unsigned long )s;
3846#line 369
3847 __cil_tmp71 = __cil_tmp70 + 12;
3848#line 369
3849 *((int *)__cil_tmp71) = 4;
3850#line 370
3851 __cil_tmp72 = (unsigned long )s;
3852#line 370
3853 __cil_tmp73 = __cil_tmp72 + 92;
3854#line 370
3855 *((unsigned int *)__cil_tmp73) = 1U;
3856#line 371
3857 __cil_tmp74 = (unsigned long )s;
3858#line 371
3859 __cil_tmp75 = __cil_tmp74 + 128;
3860#line 371
3861 *((struct comedi_lrange const **)__cil_tmp75) = & range_unipolar5;
3862#line 372
3863 __cil_tmp76 = (unsigned long )s;
3864#line 372
3865 __cil_tmp77 = __cil_tmp76 + 168;
3866#line 372
3867 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
3868 unsigned int * ))__cil_tmp77) = & parport_insn_c;
3869#line 374
3870 __cil_tmp78 = (unsigned long )dev;
3871#line 374
3872 __cil_tmp79 = __cil_tmp78 + 176;
3873#line 374
3874 __cil_tmp80 = *((struct comedi_subdevice **)__cil_tmp79);
3875#line 374
3876 s = __cil_tmp80 + 3;
3877#line 375
3878 if (irq) {
3879#line 376
3880 __cil_tmp81 = (unsigned long )dev;
3881#line 376
3882 __cil_tmp82 = __cil_tmp81 + 200;
3883#line 376
3884 *((struct comedi_subdevice **)__cil_tmp82) = s;
3885#line 377
3886 __cil_tmp83 = (unsigned long )s;
3887#line 377
3888 __cil_tmp84 = __cil_tmp83 + 8;
3889#line 377
3890 *((int *)__cil_tmp84) = 3;
3891#line 378
3892 __cil_tmp85 = (unsigned long )s;
3893#line 378
3894 __cil_tmp86 = __cil_tmp85 + 16;
3895#line 378
3896 *((int *)__cil_tmp86) = 98304;
3897#line 379
3898 __cil_tmp87 = (unsigned long )s;
3899#line 379
3900 __cil_tmp88 = __cil_tmp87 + 12;
3901#line 379
3902 *((int *)__cil_tmp88) = 1;
3903#line 380
3904 __cil_tmp89 = (unsigned long )s;
3905#line 380
3906 __cil_tmp90 = __cil_tmp89 + 92;
3907#line 380
3908 *((unsigned int *)__cil_tmp90) = 1U;
3909#line 381
3910 __cil_tmp91 = (unsigned long )s;
3911#line 381
3912 __cil_tmp92 = __cil_tmp91 + 128;
3913#line 381
3914 *((struct comedi_lrange const **)__cil_tmp92) = & range_unipolar5;
3915#line 382
3916 __cil_tmp93 = (unsigned long )s;
3917#line 382
3918 __cil_tmp94 = __cil_tmp93 + 168;
3919#line 382
3920 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
3921 unsigned int * ))__cil_tmp94) = & parport_intr_insn;
3922#line 383
3923 __cil_tmp95 = (unsigned long )s;
3924#line 383
3925 __cil_tmp96 = __cil_tmp95 + 192;
3926#line 383
3927 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_cmd * ))__cil_tmp96) = & parport_intr_cmdtest;
3928#line 384
3929 __cil_tmp97 = (unsigned long )s;
3930#line 384
3931 __cil_tmp98 = __cil_tmp97 + 184;
3932#line 384
3933 *((int (**)(struct comedi_device * , struct comedi_subdevice * ))__cil_tmp98) = & parport_intr_cmd;
3934#line 385
3935 __cil_tmp99 = (unsigned long )s;
3936#line 385
3937 __cil_tmp100 = __cil_tmp99 + 208;
3938#line 385
3939 *((int (**)(struct comedi_device * , struct comedi_subdevice * ))__cil_tmp100) = & parport_intr_cancel;
3940 } else {
3941#line 387
3942 __cil_tmp101 = (unsigned long )s;
3943#line 387
3944 __cil_tmp102 = __cil_tmp101 + 8;
3945#line 387
3946 *((int *)__cil_tmp102) = 0;
3947 }
3948 {
3949#line 390
3950 __cil_tmp103 = (unsigned long )dev;
3951#line 390
3952 __cil_tmp104 = __cil_tmp103 + 16;
3953#line 390
3954 __cil_tmp105 = *((void **)__cil_tmp104);
3955#line 390
3956 __cil_tmp106 = (struct parport_private *)__cil_tmp105;
3957#line 390
3958 *((unsigned int *)__cil_tmp106) = 0U;
3959#line 391
3960 __cil_tmp107 = (unsigned long )dev;
3961#line 391
3962 __cil_tmp108 = __cil_tmp107 + 16;
3963#line 391
3964 __cil_tmp109 = *((void **)__cil_tmp108);
3965#line 391
3966 __cil_tmp110 = (struct parport_private *)__cil_tmp109;
3967#line 391
3968 __cil_tmp111 = *((unsigned int *)__cil_tmp110);
3969#line 391
3970 __cil_tmp112 = (unsigned char )__cil_tmp111;
3971#line 391
3972 __cil_tmp113 = (unsigned long )dev;
3973#line 391
3974 __cil_tmp114 = __cil_tmp113 + 184;
3975#line 391
3976 __cil_tmp115 = *((unsigned long *)__cil_tmp114);
3977#line 391
3978 __cil_tmp116 = (int )__cil_tmp115;
3979#line 391
3980 outb(__cil_tmp112, __cil_tmp116);
3981#line 392
3982 __cil_tmp117 = (unsigned long )dev;
3983#line 392
3984 __cil_tmp118 = __cil_tmp117 + 16;
3985#line 392
3986 __cil_tmp119 = *((void **)__cil_tmp118);
3987#line 392
3988 __cil_tmp120 = (struct parport_private *)__cil_tmp119;
3989#line 392
3990 __cil_tmp121 = (unsigned long )__cil_tmp120;
3991#line 392
3992 __cil_tmp122 = __cil_tmp121 + 4;
3993#line 392
3994 *((unsigned int *)__cil_tmp122) = 0U;
3995#line 393
3996 __cil_tmp123 = (unsigned long )dev;
3997#line 393
3998 __cil_tmp124 = __cil_tmp123 + 16;
3999#line 393
4000 __cil_tmp125 = *((void **)__cil_tmp124);
4001#line 393
4002 __cil_tmp126 = (struct parport_private *)__cil_tmp125;
4003#line 393
4004 __cil_tmp127 = (unsigned long )__cil_tmp126;
4005#line 393
4006 __cil_tmp128 = __cil_tmp127 + 4;
4007#line 393
4008 __cil_tmp129 = *((unsigned int *)__cil_tmp128);
4009#line 393
4010 __cil_tmp130 = (unsigned char )__cil_tmp129;
4011#line 393
4012 __cil_tmp131 = (unsigned long )dev;
4013#line 393
4014 __cil_tmp132 = __cil_tmp131 + 184;
4015#line 393
4016 __cil_tmp133 = *((unsigned long *)__cil_tmp132);
4017#line 393
4018 __cil_tmp134 = __cil_tmp133 + 2UL;
4019#line 393
4020 __cil_tmp135 = (int )__cil_tmp134;
4021#line 393
4022 outb(__cil_tmp130, __cil_tmp135);
4023#line 395
4024 printk("<6>\n");
4025 }
4026#line 396
4027 return (1);
4028}
4029}
4030#line 399 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
4031static int parport_detach(struct comedi_device *dev )
4032{ unsigned long __cil_tmp2 ;
4033 unsigned long __cil_tmp3 ;
4034 int __cil_tmp4 ;
4035 unsigned long __cil_tmp5 ;
4036 unsigned long __cil_tmp6 ;
4037 unsigned long __cil_tmp7 ;
4038 unsigned long __cil_tmp8 ;
4039 unsigned long __cil_tmp9 ;
4040 resource_size_t __cil_tmp10 ;
4041 resource_size_t __cil_tmp11 ;
4042 unsigned long __cil_tmp12 ;
4043 unsigned long __cil_tmp13 ;
4044 unsigned long __cil_tmp14 ;
4045 unsigned long __cil_tmp15 ;
4046 unsigned int __cil_tmp16 ;
4047 void *__cil_tmp17 ;
4048
4049 {
4050 {
4051#line 401
4052 __cil_tmp2 = (unsigned long )dev;
4053#line 401
4054 __cil_tmp3 = __cil_tmp2 + 32;
4055#line 401
4056 __cil_tmp4 = *((int *)__cil_tmp3);
4057#line 401
4058 printk("<6>comedi%d: parport: remove\n", __cil_tmp4);
4059 }
4060 {
4061#line 403
4062 __cil_tmp5 = (unsigned long )dev;
4063#line 403
4064 __cil_tmp6 = __cil_tmp5 + 184;
4065#line 403
4066 if (*((unsigned long *)__cil_tmp6)) {
4067 {
4068#line 404
4069 __cil_tmp7 = (unsigned long )dev;
4070#line 404
4071 __cil_tmp8 = __cil_tmp7 + 184;
4072#line 404
4073 __cil_tmp9 = *((unsigned long *)__cil_tmp8);
4074#line 404
4075 __cil_tmp10 = (resource_size_t )__cil_tmp9;
4076#line 404
4077 __cil_tmp11 = (resource_size_t )3;
4078#line 404
4079 __release_region(& ioport_resource, __cil_tmp10, __cil_tmp11);
4080 }
4081 } else {
4082
4083 }
4084 }
4085 {
4086#line 406
4087 __cil_tmp12 = (unsigned long )dev;
4088#line 406
4089 __cil_tmp13 = __cil_tmp12 + 192;
4090#line 406
4091 if (*((unsigned int *)__cil_tmp13)) {
4092 {
4093#line 407
4094 __cil_tmp14 = (unsigned long )dev;
4095#line 407
4096 __cil_tmp15 = __cil_tmp14 + 192;
4097#line 407
4098 __cil_tmp16 = *((unsigned int *)__cil_tmp15);
4099#line 407
4100 __cil_tmp17 = (void *)dev;
4101#line 407
4102 free_irq(__cil_tmp16, __cil_tmp17);
4103 }
4104 } else {
4105
4106 }
4107 }
4108#line 409
4109 return (0);
4110}
4111}
4112#line 412 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
4113static char const __mod_author412[36] __attribute__((__used__, __unused__, __section__(".modinfo"),
4114__aligned__(1))) =
4115#line 412
4116 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4117 (char const )'o', (char const )'r', (char const )'=', (char const )'C',
4118 (char const )'o', (char const )'m', (char const )'e', (char const )'d',
4119 (char const )'i', (char const )' ', (char const )'h', (char const )'t',
4120 (char const )'t', (char const )'p', (char const )':', (char const )'/',
4121 (char const )'/', (char const )'w', (char const )'w', (char const )'w',
4122 (char const )'.', (char const )'c', (char const )'o', (char const )'m',
4123 (char const )'e', (char const )'d', (char const )'i', (char const )'.',
4124 (char const )'o', (char const )'r', (char const )'g', (char const )'\000'};
4125#line 413 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
4126static char const __mod_description413[36] __attribute__((__used__, __unused__,
4127__section__(".modinfo"), __aligned__(1))) =
4128#line 413
4129 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4130 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4131 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4132 (char const )'C', (char const )'o', (char const )'m', (char const )'e',
4133 (char const )'d', (char const )'i', (char const )' ', (char const )'l',
4134 (char const )'o', (char const )'w', (char const )'-', (char const )'l',
4135 (char const )'e', (char const )'v', (char const )'e', (char const )'l',
4136 (char const )' ', (char const )'d', (char const )'r', (char const )'i',
4137 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
4138#line 414 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
4139static char const __mod_license414[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4140__aligned__(1))) =
4141#line 414
4142 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4143 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4144 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4145#line 432
4146void ldv_check_final_state(void) ;
4147#line 438
4148extern void ldv_initialize(void) ;
4149#line 441
4150extern int __VERIFIER_nondet_int(void) ;
4151#line 444 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
4152int LDV_IN_INTERRUPT ;
4153#line 447 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
4154void main(void)
4155{ struct comedi_device *var_group1 ;
4156 struct comedi_devconfig *var_group2 ;
4157 int var_parport_interrupt_10_p0 ;
4158 void *var_parport_interrupt_10_p1 ;
4159 int tmp ;
4160 int tmp___0 ;
4161 int tmp___1 ;
4162
4163 {
4164 {
4165#line 495
4166 LDV_IN_INTERRUPT = 1;
4167#line 504
4168 ldv_initialize();
4169#line 515
4170 tmp = driver_parport_init_module();
4171 }
4172#line 515
4173 if (tmp) {
4174#line 516
4175 goto ldv_final;
4176 } else {
4177
4178 }
4179 {
4180#line 525
4181 while (1) {
4182 while_continue: ;
4183 {
4184#line 525
4185 tmp___1 = __VERIFIER_nondet_int();
4186 }
4187#line 525
4188 if (tmp___1) {
4189
4190 } else {
4191#line 525
4192 goto while_break;
4193 }
4194 {
4195#line 528
4196 tmp___0 = __VERIFIER_nondet_int();
4197 }
4198#line 530
4199 if (tmp___0 == 0) {
4200#line 530
4201 goto case_0;
4202 } else
4203#line 552
4204 if (tmp___0 == 1) {
4205#line 552
4206 goto case_1;
4207 } else
4208#line 574
4209 if (tmp___0 == 2) {
4210#line 574
4211 goto case_2;
4212 } else {
4213 {
4214#line 596
4215 goto switch_default;
4216#line 528
4217 if (0) {
4218 case_0:
4219 {
4220#line 544
4221 parport_attach(var_group1, var_group2);
4222 }
4223#line 551
4224 goto switch_break;
4225 case_1:
4226 {
4227#line 566
4228 parport_detach(var_group1);
4229 }
4230#line 573
4231 goto switch_break;
4232 case_2:
4233 {
4234#line 577
4235 LDV_IN_INTERRUPT = 2;
4236#line 588
4237 parport_interrupt(var_parport_interrupt_10_p0, var_parport_interrupt_10_p1);
4238#line 589
4239 LDV_IN_INTERRUPT = 1;
4240 }
4241#line 595
4242 goto switch_break;
4243 switch_default:
4244#line 596
4245 goto switch_break;
4246 } else {
4247 switch_break: ;
4248 }
4249 }
4250 }
4251 }
4252 while_break: ;
4253 }
4254 {
4255#line 613
4256 driver_parport_cleanup_module();
4257 }
4258 ldv_final:
4259 {
4260#line 619
4261 ldv_check_final_state();
4262 }
4263#line 622
4264 return;
4265}
4266}
4267#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4268void ldv_blast_assert(void)
4269{
4270
4271 {
4272 ERROR:
4273#line 6
4274 goto ERROR;
4275}
4276}
4277#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4278extern int __VERIFIER_nondet_int(void) ;
4279#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4280int ldv_mutex = 1;
4281#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4282int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4283{ int nondetermined ;
4284
4285 {
4286#line 29
4287 if (ldv_mutex == 1) {
4288
4289 } else {
4290 {
4291#line 29
4292 ldv_blast_assert();
4293 }
4294 }
4295 {
4296#line 32
4297 nondetermined = __VERIFIER_nondet_int();
4298 }
4299#line 35
4300 if (nondetermined) {
4301#line 38
4302 ldv_mutex = 2;
4303#line 40
4304 return (0);
4305 } else {
4306#line 45
4307 return (-4);
4308 }
4309}
4310}
4311#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4312int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4313{ int nondetermined ;
4314
4315 {
4316#line 57
4317 if (ldv_mutex == 1) {
4318
4319 } else {
4320 {
4321#line 57
4322 ldv_blast_assert();
4323 }
4324 }
4325 {
4326#line 60
4327 nondetermined = __VERIFIER_nondet_int();
4328 }
4329#line 63
4330 if (nondetermined) {
4331#line 66
4332 ldv_mutex = 2;
4333#line 68
4334 return (0);
4335 } else {
4336#line 73
4337 return (-4);
4338 }
4339}
4340}
4341#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4342int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4343{ int atomic_value_after_dec ;
4344
4345 {
4346#line 83
4347 if (ldv_mutex == 1) {
4348
4349 } else {
4350 {
4351#line 83
4352 ldv_blast_assert();
4353 }
4354 }
4355 {
4356#line 86
4357 atomic_value_after_dec = __VERIFIER_nondet_int();
4358 }
4359#line 89
4360 if (atomic_value_after_dec == 0) {
4361#line 92
4362 ldv_mutex = 2;
4363#line 94
4364 return (1);
4365 } else {
4366
4367 }
4368#line 98
4369 return (0);
4370}
4371}
4372#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4373void mutex_lock(struct mutex *lock )
4374{
4375
4376 {
4377#line 108
4378 if (ldv_mutex == 1) {
4379
4380 } else {
4381 {
4382#line 108
4383 ldv_blast_assert();
4384 }
4385 }
4386#line 110
4387 ldv_mutex = 2;
4388#line 111
4389 return;
4390}
4391}
4392#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4393int mutex_trylock(struct mutex *lock )
4394{ int nondetermined ;
4395
4396 {
4397#line 121
4398 if (ldv_mutex == 1) {
4399
4400 } else {
4401 {
4402#line 121
4403 ldv_blast_assert();
4404 }
4405 }
4406 {
4407#line 124
4408 nondetermined = __VERIFIER_nondet_int();
4409 }
4410#line 127
4411 if (nondetermined) {
4412#line 130
4413 ldv_mutex = 2;
4414#line 132
4415 return (1);
4416 } else {
4417#line 137
4418 return (0);
4419 }
4420}
4421}
4422#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4423void mutex_unlock(struct mutex *lock )
4424{
4425
4426 {
4427#line 147
4428 if (ldv_mutex == 2) {
4429
4430 } else {
4431 {
4432#line 147
4433 ldv_blast_assert();
4434 }
4435 }
4436#line 149
4437 ldv_mutex = 1;
4438#line 150
4439 return;
4440}
4441}
4442#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4443void ldv_check_final_state(void)
4444{
4445
4446 {
4447#line 156
4448 if (ldv_mutex == 1) {
4449
4450 } else {
4451 {
4452#line 156
4453 ldv_blast_assert();
4454 }
4455 }
4456#line 157
4457 return;
4458}
4459}
4460#line 631 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1445/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/comedi_parport.c.common.c"
4461long s__builtin_expect(long val , long res )
4462{
4463
4464 {
4465#line 632
4466 return (val);
4467}
4468}