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