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 54 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
1709struct adl_pci7432_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 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1743__inline static void outl(unsigned int value , int port ) __attribute__((__no_instrument_function__)) ;
1744#line 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1745__inline static void outl(unsigned int value , int port )
1746{
1747
1748 {
1749#line 310
1750 __asm__ volatile ("out"
1751 "l"
1752 " %"
1753 ""
1754 "0, %w1": : "a" (value), "Nd" (port));
1755#line 310
1756 return;
1757}
1758}
1759#line 310
1760__inline static unsigned int inl(int port ) __attribute__((__no_instrument_function__)) ;
1761#line 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1762__inline static unsigned int inl(int port )
1763{ unsigned int value ;
1764
1765 {
1766#line 310
1767 __asm__ volatile ("in"
1768 "l"
1769 " %w1, %"
1770 ""
1771 "0": "=a" (value): "Nd" (port));
1772#line 310
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 336
1877extern struct comedi_lrange const range_unipolar5 ;
1878#line 368 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1879static struct lock_class_key __key___2 ;
1880#line 354
1881__inline static int alloc_subdevices(struct comedi_device *dev , unsigned int num_subdevices ) __attribute__((__no_instrument_function__)) ;
1882#line 354 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
1883__inline static int alloc_subdevices(struct comedi_device *dev , unsigned int num_subdevices )
1884{ unsigned int i ;
1885 void *tmp ;
1886 unsigned long __cil_tmp5 ;
1887 unsigned long __cil_tmp6 ;
1888 size_t __cil_tmp7 ;
1889 unsigned long __cil_tmp8 ;
1890 unsigned long __cil_tmp9 ;
1891 unsigned long __cil_tmp10 ;
1892 unsigned long __cil_tmp11 ;
1893 struct comedi_subdevice *__cil_tmp12 ;
1894 unsigned long __cil_tmp13 ;
1895 unsigned long __cil_tmp14 ;
1896 struct comedi_subdevice *__cil_tmp15 ;
1897 struct comedi_subdevice *__cil_tmp16 ;
1898 unsigned long __cil_tmp17 ;
1899 unsigned long __cil_tmp18 ;
1900 struct comedi_subdevice *__cil_tmp19 ;
1901 struct comedi_subdevice *__cil_tmp20 ;
1902 unsigned long __cil_tmp21 ;
1903 unsigned long __cil_tmp22 ;
1904 unsigned long __cil_tmp23 ;
1905 unsigned long __cil_tmp24 ;
1906 struct comedi_subdevice *__cil_tmp25 ;
1907 struct comedi_subdevice *__cil_tmp26 ;
1908 unsigned long __cil_tmp27 ;
1909 unsigned long __cil_tmp28 ;
1910 spinlock_t *__cil_tmp29 ;
1911 unsigned long __cil_tmp30 ;
1912 unsigned long __cil_tmp31 ;
1913 struct comedi_subdevice *__cil_tmp32 ;
1914 struct comedi_subdevice *__cil_tmp33 ;
1915 unsigned long __cil_tmp34 ;
1916 unsigned long __cil_tmp35 ;
1917 struct raw_spinlock *__cil_tmp36 ;
1918 unsigned long __cil_tmp37 ;
1919 unsigned long __cil_tmp38 ;
1920 struct comedi_subdevice *__cil_tmp39 ;
1921 struct comedi_subdevice *__cil_tmp40 ;
1922 unsigned long __cil_tmp41 ;
1923 unsigned long __cil_tmp42 ;
1924
1925 {
1926 {
1927#line 359
1928 __cil_tmp5 = (unsigned long )dev;
1929#line 359
1930 __cil_tmp6 = __cil_tmp5 + 172;
1931#line 359
1932 *((int *)__cil_tmp6) = (int )num_subdevices;
1933#line 360
1934 __cil_tmp7 = (size_t )num_subdevices;
1935#line 360
1936 tmp = kcalloc(__cil_tmp7, 256UL, 208U);
1937#line 360
1938 __cil_tmp8 = (unsigned long )dev;
1939#line 360
1940 __cil_tmp9 = __cil_tmp8 + 176;
1941#line 360
1942 *((struct comedi_subdevice **)__cil_tmp9) = (struct comedi_subdevice *)tmp;
1943 }
1944 {
1945#line 363
1946 __cil_tmp10 = (unsigned long )dev;
1947#line 363
1948 __cil_tmp11 = __cil_tmp10 + 176;
1949#line 363
1950 __cil_tmp12 = *((struct comedi_subdevice **)__cil_tmp11);
1951#line 363
1952 if (! __cil_tmp12) {
1953#line 364
1954 return (-12);
1955 } else {
1956
1957 }
1958 }
1959#line 365
1960 i = 0U;
1961 {
1962#line 365
1963 while (1) {
1964 while_continue: ;
1965#line 365
1966 if (i < num_subdevices) {
1967
1968 } else {
1969#line 365
1970 goto while_break;
1971 }
1972#line 366
1973 __cil_tmp13 = (unsigned long )dev;
1974#line 366
1975 __cil_tmp14 = __cil_tmp13 + 176;
1976#line 366
1977 __cil_tmp15 = *((struct comedi_subdevice **)__cil_tmp14);
1978#line 366
1979 __cil_tmp16 = __cil_tmp15 + i;
1980#line 366
1981 *((struct comedi_device **)__cil_tmp16) = dev;
1982#line 367
1983 __cil_tmp17 = (unsigned long )dev;
1984#line 367
1985 __cil_tmp18 = __cil_tmp17 + 176;
1986#line 367
1987 __cil_tmp19 = *((struct comedi_subdevice **)__cil_tmp18);
1988#line 367
1989 __cil_tmp20 = __cil_tmp19 + i;
1990#line 367
1991 __cil_tmp21 = (unsigned long )__cil_tmp20;
1992#line 367
1993 __cil_tmp22 = __cil_tmp21 + 232;
1994#line 367
1995 *((enum dma_data_direction *)__cil_tmp22) = (enum dma_data_direction )3;
1996 {
1997#line 368
1998 while (1) {
1999 while_continue___0: ;
2000 {
2001#line 368
2002 __cil_tmp23 = (unsigned long )dev;
2003#line 368
2004 __cil_tmp24 = __cil_tmp23 + 176;
2005#line 368
2006 __cil_tmp25 = *((struct comedi_subdevice **)__cil_tmp24);
2007#line 368
2008 __cil_tmp26 = __cil_tmp25 + i;
2009#line 368
2010 __cil_tmp27 = (unsigned long )__cil_tmp26;
2011#line 368
2012 __cil_tmp28 = __cil_tmp27 + 64;
2013#line 368
2014 __cil_tmp29 = (spinlock_t *)__cil_tmp28;
2015#line 368
2016 spinlock_check(__cil_tmp29);
2017 }
2018 {
2019#line 368
2020 while (1) {
2021 while_continue___1: ;
2022 {
2023#line 368
2024 __cil_tmp30 = (unsigned long )dev;
2025#line 368
2026 __cil_tmp31 = __cil_tmp30 + 176;
2027#line 368
2028 __cil_tmp32 = *((struct comedi_subdevice **)__cil_tmp31);
2029#line 368
2030 __cil_tmp33 = __cil_tmp32 + i;
2031#line 368
2032 __cil_tmp34 = (unsigned long )__cil_tmp33;
2033#line 368
2034 __cil_tmp35 = __cil_tmp34 + 64;
2035#line 368
2036 __cil_tmp36 = (struct raw_spinlock *)__cil_tmp35;
2037#line 368
2038 __raw_spin_lock_init(__cil_tmp36, "&(&dev->subdevices[i].spin_lock)->rlock",
2039 & __key___2);
2040 }
2041#line 368
2042 goto while_break___1;
2043 }
2044 while_break___1: ;
2045 }
2046#line 368
2047 goto while_break___0;
2048 }
2049 while_break___0: ;
2050 }
2051#line 369
2052 __cil_tmp37 = (unsigned long )dev;
2053#line 369
2054 __cil_tmp38 = __cil_tmp37 + 176;
2055#line 369
2056 __cil_tmp39 = *((struct comedi_subdevice **)__cil_tmp38);
2057#line 369
2058 __cil_tmp40 = __cil_tmp39 + i;
2059#line 369
2060 __cil_tmp41 = (unsigned long )__cil_tmp40;
2061#line 369
2062 __cil_tmp42 = __cil_tmp41 + 248;
2063#line 369
2064 *((int *)__cil_tmp42) = -1;
2065#line 365
2066 i = i + 1U;
2067 }
2068 while_break: ;
2069 }
2070#line 371
2071 return (0);
2072}
2073}
2074#line 374
2075__inline static int alloc_private(struct comedi_device *dev , int size ) __attribute__((__no_instrument_function__)) ;
2076#line 374 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/../comedidev.h"
2077__inline static int alloc_private(struct comedi_device *dev , int size )
2078{ unsigned long __cil_tmp3 ;
2079 unsigned long __cil_tmp4 ;
2080 size_t __cil_tmp5 ;
2081 unsigned long __cil_tmp6 ;
2082 unsigned long __cil_tmp7 ;
2083 void *__cil_tmp8 ;
2084
2085 {
2086 {
2087#line 376
2088 __cil_tmp3 = (unsigned long )dev;
2089#line 376
2090 __cil_tmp4 = __cil_tmp3 + 16;
2091#line 376
2092 __cil_tmp5 = (size_t )size;
2093#line 376
2094 *((void **)__cil_tmp4) = kzalloc(__cil_tmp5, 208U);
2095 }
2096 {
2097#line 377
2098 __cil_tmp6 = (unsigned long )dev;
2099#line 377
2100 __cil_tmp7 = __cil_tmp6 + 16;
2101#line 377
2102 __cil_tmp8 = *((void **)__cil_tmp7);
2103#line 377
2104 if (! __cil_tmp8) {
2105#line 378
2106 return (-12);
2107 } else {
2108
2109 }
2110 }
2111#line 379
2112 return (0);
2113}
2114}
2115#line 459
2116extern int comedi_pci_auto_config(struct pci_dev *pcidev , char const *board_name ) ;
2117#line 460
2118extern void comedi_pci_auto_unconfig(struct pci_dev *pcidev ) ;
2119#line 687 "include/linux/pci.h"
2120extern void pci_dev_put(struct pci_dev *dev ) ;
2121#line 716
2122extern struct pci_dev *pci_get_device(unsigned int vendor , unsigned int device ,
2123 struct pci_dev *from ) ;
2124#line 773
2125extern int __attribute__((__warn_unused_result__)) pci_enable_device(struct pci_dev *dev ) ;
2126#line 790
2127extern void pci_disable_device(struct pci_dev *dev ) ;
2128#line 904
2129extern int __attribute__((__warn_unused_result__)) pci_request_regions(struct pci_dev * ,
2130 char const * ) ;
2131#line 906
2132extern void pci_release_regions(struct pci_dev * ) ;
2133#line 940
2134extern int __attribute__((__warn_unused_result__)) __pci_register_driver(struct pci_driver * ,
2135 struct module * ,
2136 char const *mod_name ) ;
2137#line 949
2138extern void pci_unregister_driver(struct pci_driver *dev ) ;
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 ) __attribute__((__no_instrument_function__)) ;
2141#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/comedi_pci.h"
2142__inline static int comedi_pci_enable(struct pci_dev *pdev , char const *res_name )
2143{ int rc ;
2144
2145 {
2146 {
2147#line 38
2148 rc = (int )pci_enable_device(pdev);
2149 }
2150#line 39
2151 if (rc < 0) {
2152#line 40
2153 return (rc);
2154 } else {
2155
2156 }
2157 {
2158#line 42
2159 rc = (int )pci_request_regions(pdev, res_name);
2160 }
2161#line 43
2162 if (rc < 0) {
2163 {
2164#line 44
2165 pci_disable_device(pdev);
2166 }
2167 } else {
2168
2169 }
2170#line 46
2171 return (rc);
2172}
2173}
2174#line 54
2175__inline static void comedi_pci_disable(struct pci_dev *pdev ) __attribute__((__no_instrument_function__)) ;
2176#line 54 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/comedi/drivers/comedi_pci.h"
2177__inline static void comedi_pci_disable(struct pci_dev *pdev )
2178{
2179
2180 {
2181 {
2182#line 56
2183 pci_release_regions(pdev);
2184#line 57
2185 pci_disable_device(pdev);
2186 }
2187#line 58
2188 return;
2189}
2190}
2191#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
2192static struct pci_device_id const adl_pci7432_pci_table[2] __attribute__((__section__(".devinit.rodata"))) = { {(__u32 )5194,
2193 (__u32 )29746, (__u32 )(~ 0), (__u32 )(~ 0), 0U, 0U, 0UL},
2194 {(__u32 )0, 0U, 0U, 0U, 0U, 0U, 0UL}};
2195#line 52
2196extern struct pci_device_id const __mod_pci_device_table __attribute__((__unused__,
2197__alias__("adl_pci7432_pci_table"))) ;
2198#line 61
2199static int adl_pci7432_attach(struct comedi_device *dev , struct comedi_devconfig *it ) ;
2200#line 63
2201static int adl_pci7432_detach(struct comedi_device *dev ) ;
2202#line 64 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
2203static struct comedi_driver driver_adl_pci7432 =
2204#line 64
2205 {(struct comedi_driver *)0, "adl_pci7432", & __this_module, & adl_pci7432_attach,
2206 & adl_pci7432_detach, 0U, (char const * const *)0, 0};
2207#line 73
2208static int adl_pci7432_di_insn_bits(struct comedi_device *dev , struct comedi_subdevice *s ,
2209 struct comedi_insn *insn , unsigned int *data ) ;
2210#line 78
2211static int adl_pci7432_do_insn_bits(struct comedi_device *dev , struct comedi_subdevice *s ,
2212 struct comedi_insn *insn , unsigned int *data ) ;
2213#line 85 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
2214static int adl_pci7432_attach(struct comedi_device *dev , struct comedi_devconfig *it )
2215{ struct pci_dev *pcidev ;
2216 struct comedi_subdevice *s ;
2217 int bus ;
2218 int slot ;
2219 int tmp ;
2220 int tmp___0 ;
2221 int tmp___1 ;
2222 void *__cil_tmp10 ;
2223 unsigned long __cil_tmp11 ;
2224 unsigned long __cil_tmp12 ;
2225 int __cil_tmp13 ;
2226 unsigned long __cil_tmp14 ;
2227 unsigned long __cil_tmp15 ;
2228 unsigned long __cil_tmp16 ;
2229 unsigned long __cil_tmp17 ;
2230 unsigned long __cil_tmp18 ;
2231 unsigned long __cil_tmp19 ;
2232 unsigned long __cil_tmp20 ;
2233 unsigned long __cil_tmp21 ;
2234 unsigned long __cil_tmp22 ;
2235 unsigned long __cil_tmp23 ;
2236 int __cil_tmp24 ;
2237 int __cil_tmp25 ;
2238 unsigned int __cil_tmp26 ;
2239 int __cil_tmp27 ;
2240 unsigned int __cil_tmp28 ;
2241 void *__cil_tmp29 ;
2242 unsigned long __cil_tmp30 ;
2243 unsigned long __cil_tmp31 ;
2244 unsigned long __cil_tmp32 ;
2245 unsigned long __cil_tmp33 ;
2246 unsigned short __cil_tmp34 ;
2247 int __cil_tmp35 ;
2248 unsigned long __cil_tmp36 ;
2249 unsigned long __cil_tmp37 ;
2250 unsigned short __cil_tmp38 ;
2251 int __cil_tmp39 ;
2252 unsigned long __cil_tmp40 ;
2253 unsigned long __cil_tmp41 ;
2254 struct pci_bus *__cil_tmp42 ;
2255 unsigned long __cil_tmp43 ;
2256 unsigned long __cil_tmp44 ;
2257 unsigned char __cil_tmp45 ;
2258 int __cil_tmp46 ;
2259 unsigned int __cil_tmp47 ;
2260 unsigned long __cil_tmp48 ;
2261 unsigned long __cil_tmp49 ;
2262 unsigned int __cil_tmp50 ;
2263 unsigned int __cil_tmp51 ;
2264 unsigned int __cil_tmp52 ;
2265 unsigned long __cil_tmp53 ;
2266 unsigned long __cil_tmp54 ;
2267 void *__cil_tmp55 ;
2268 struct adl_pci7432_private *__cil_tmp56 ;
2269 unsigned long __cil_tmp57 ;
2270 unsigned long __cil_tmp58 ;
2271 unsigned long __cil_tmp59 ;
2272 unsigned long __cil_tmp60 ;
2273 int __cil_tmp61 ;
2274 unsigned long __cil_tmp62 ;
2275 unsigned long __cil_tmp63 ;
2276 unsigned long __cil_tmp64 ;
2277 unsigned long __cil_tmp65 ;
2278 unsigned long __cil_tmp66 ;
2279 unsigned long __cil_tmp67 ;
2280 resource_size_t __cil_tmp68 ;
2281 unsigned long __cil_tmp69 ;
2282 unsigned long __cil_tmp70 ;
2283 unsigned long __cil_tmp71 ;
2284 unsigned long __cil_tmp72 ;
2285 unsigned long __cil_tmp73 ;
2286 struct comedi_subdevice *__cil_tmp74 ;
2287 unsigned long __cil_tmp75 ;
2288 unsigned long __cil_tmp76 ;
2289 unsigned long __cil_tmp77 ;
2290 unsigned long __cil_tmp78 ;
2291 unsigned long __cil_tmp79 ;
2292 unsigned long __cil_tmp80 ;
2293 unsigned long __cil_tmp81 ;
2294 unsigned long __cil_tmp82 ;
2295 unsigned long __cil_tmp83 ;
2296 unsigned long __cil_tmp84 ;
2297 unsigned long __cil_tmp85 ;
2298 unsigned long __cil_tmp86 ;
2299 unsigned long __cil_tmp87 ;
2300 unsigned long __cil_tmp88 ;
2301 unsigned long __cil_tmp89 ;
2302 unsigned long __cil_tmp90 ;
2303 unsigned long __cil_tmp91 ;
2304 unsigned long __cil_tmp92 ;
2305 struct comedi_subdevice *__cil_tmp93 ;
2306 unsigned long __cil_tmp94 ;
2307 unsigned long __cil_tmp95 ;
2308 unsigned long __cil_tmp96 ;
2309 unsigned long __cil_tmp97 ;
2310 unsigned long __cil_tmp98 ;
2311 unsigned long __cil_tmp99 ;
2312 unsigned long __cil_tmp100 ;
2313 unsigned long __cil_tmp101 ;
2314 unsigned long __cil_tmp102 ;
2315 unsigned long __cil_tmp103 ;
2316 unsigned long __cil_tmp104 ;
2317 unsigned long __cil_tmp105 ;
2318 unsigned long __cil_tmp106 ;
2319 unsigned long __cil_tmp107 ;
2320 unsigned long __cil_tmp108 ;
2321 unsigned long __cil_tmp109 ;
2322 unsigned long __cil_tmp110 ;
2323 unsigned long __cil_tmp111 ;
2324 int __cil_tmp112 ;
2325 unsigned long __cil_tmp113 ;
2326 unsigned long __cil_tmp114 ;
2327 int __cil_tmp115 ;
2328
2329 {
2330 {
2331#line 88
2332 __cil_tmp10 = (void *)0;
2333#line 88
2334 pcidev = (struct pci_dev *)__cil_tmp10;
2335#line 92
2336 __cil_tmp11 = (unsigned long )dev;
2337#line 92
2338 __cil_tmp12 = __cil_tmp11 + 32;
2339#line 92
2340 __cil_tmp13 = *((int *)__cil_tmp12);
2341#line 92
2342 printk("<6>comedi%d: attach adl_pci7432\n", __cil_tmp13);
2343#line 94
2344 __cil_tmp14 = (unsigned long )dev;
2345#line 94
2346 __cil_tmp15 = __cil_tmp14 + 48;
2347#line 94
2348 *((char const **)__cil_tmp15) = "pci7432";
2349#line 95
2350 __cil_tmp16 = 0 * 4UL;
2351#line 95
2352 __cil_tmp17 = 20 + __cil_tmp16;
2353#line 95
2354 __cil_tmp18 = (unsigned long )it;
2355#line 95
2356 __cil_tmp19 = __cil_tmp18 + __cil_tmp17;
2357#line 95
2358 bus = *((int *)__cil_tmp19);
2359#line 96
2360 __cil_tmp20 = 1 * 4UL;
2361#line 96
2362 __cil_tmp21 = 20 + __cil_tmp20;
2363#line 96
2364 __cil_tmp22 = (unsigned long )it;
2365#line 96
2366 __cil_tmp23 = __cil_tmp22 + __cil_tmp21;
2367#line 96
2368 slot = *((int *)__cil_tmp23);
2369#line 98
2370 __cil_tmp24 = (int )16UL;
2371#line 98
2372 tmp = alloc_private(dev, __cil_tmp24);
2373 }
2374#line 98
2375 if (tmp < 0) {
2376#line 99
2377 return (-12);
2378 } else {
2379
2380 }
2381 {
2382#line 101
2383 tmp___0 = alloc_subdevices(dev, 2U);
2384 }
2385#line 101
2386 if (tmp___0 < 0) {
2387#line 102
2388 return (-12);
2389 } else {
2390
2391 }
2392 {
2393#line 104
2394 while (1) {
2395 while_continue: ;
2396 {
2397#line 104
2398 __cil_tmp25 = ~ 0;
2399#line 104
2400 __cil_tmp26 = (unsigned int )__cil_tmp25;
2401#line 104
2402 __cil_tmp27 = ~ 0;
2403#line 104
2404 __cil_tmp28 = (unsigned int )__cil_tmp27;
2405#line 104
2406 pcidev = pci_get_device(__cil_tmp26, __cil_tmp28, pcidev);
2407 }
2408 {
2409#line 104
2410 __cil_tmp29 = (void *)0;
2411#line 104
2412 __cil_tmp30 = (unsigned long )__cil_tmp29;
2413#line 104
2414 __cil_tmp31 = (unsigned long )pcidev;
2415#line 104
2416 if (__cil_tmp31 != __cil_tmp30) {
2417
2418 } else {
2419#line 104
2420 goto while_break;
2421 }
2422 }
2423 {
2424#line 105
2425 __cil_tmp32 = (unsigned long )pcidev;
2426#line 105
2427 __cil_tmp33 = __cil_tmp32 + 60;
2428#line 105
2429 __cil_tmp34 = *((unsigned short *)__cil_tmp33);
2430#line 105
2431 __cil_tmp35 = (int )__cil_tmp34;
2432#line 105
2433 if (__cil_tmp35 == 5194) {
2434 {
2435#line 105
2436 __cil_tmp36 = (unsigned long )pcidev;
2437#line 105
2438 __cil_tmp37 = __cil_tmp36 + 62;
2439#line 105
2440 __cil_tmp38 = *((unsigned short *)__cil_tmp37);
2441#line 105
2442 __cil_tmp39 = (int )__cil_tmp38;
2443#line 105
2444 if (__cil_tmp39 == 29746) {
2445#line 107
2446 if (bus) {
2447#line 107
2448 goto _L;
2449 } else
2450#line 107
2451 if (slot) {
2452 _L:
2453 {
2454#line 109
2455 __cil_tmp40 = (unsigned long )pcidev;
2456#line 109
2457 __cil_tmp41 = __cil_tmp40 + 16;
2458#line 109
2459 __cil_tmp42 = *((struct pci_bus **)__cil_tmp41);
2460#line 109
2461 __cil_tmp43 = (unsigned long )__cil_tmp42;
2462#line 109
2463 __cil_tmp44 = __cil_tmp43 + 152;
2464#line 109
2465 __cil_tmp45 = *((unsigned char *)__cil_tmp44);
2466#line 109
2467 __cil_tmp46 = (int )__cil_tmp45;
2468#line 109
2469 if (__cil_tmp46 != bus) {
2470#line 111
2471 goto while_continue;
2472 } else {
2473 {
2474#line 109
2475 __cil_tmp47 = (unsigned int )slot;
2476#line 109
2477 __cil_tmp48 = (unsigned long )pcidev;
2478#line 109
2479 __cil_tmp49 = __cil_tmp48 + 56;
2480#line 109
2481 __cil_tmp50 = *((unsigned int *)__cil_tmp49);
2482#line 109
2483 __cil_tmp51 = __cil_tmp50 >> 3;
2484#line 109
2485 __cil_tmp52 = __cil_tmp51 & 31U;
2486#line 109
2487 if (__cil_tmp52 != __cil_tmp47) {
2488#line 111
2489 goto while_continue;
2490 } else {
2491
2492 }
2493 }
2494 }
2495 }
2496 } else {
2497
2498 }
2499 {
2500#line 114
2501 __cil_tmp53 = (unsigned long )dev;
2502#line 114
2503 __cil_tmp54 = __cil_tmp53 + 16;
2504#line 114
2505 __cil_tmp55 = *((void **)__cil_tmp54);
2506#line 114
2507 __cil_tmp56 = (struct adl_pci7432_private *)__cil_tmp55;
2508#line 114
2509 __cil_tmp57 = (unsigned long )__cil_tmp56;
2510#line 114
2511 __cil_tmp58 = __cil_tmp57 + 8;
2512#line 114
2513 *((struct pci_dev **)__cil_tmp58) = pcidev;
2514#line 115
2515 tmp___1 = comedi_pci_enable(pcidev, "adl_pci7432");
2516 }
2517#line 115
2518 if (tmp___1 < 0) {
2519 {
2520#line 116
2521 __cil_tmp59 = (unsigned long )dev;
2522#line 116
2523 __cil_tmp60 = __cil_tmp59 + 32;
2524#line 116
2525 __cil_tmp61 = *((int *)__cil_tmp60);
2526#line 116
2527 printk("<3>comedi%d: Failed to enable PCI device and request regions\n",
2528 __cil_tmp61);
2529 }
2530#line 118
2531 return (-5);
2532 } else {
2533
2534 }
2535 {
2536#line 120
2537 __cil_tmp62 = (unsigned long )dev;
2538#line 120
2539 __cil_tmp63 = __cil_tmp62 + 184;
2540#line 120
2541 __cil_tmp64 = 2 * 56UL;
2542#line 120
2543 __cil_tmp65 = 920 + __cil_tmp64;
2544#line 120
2545 __cil_tmp66 = (unsigned long )pcidev;
2546#line 120
2547 __cil_tmp67 = __cil_tmp66 + __cil_tmp65;
2548#line 120
2549 __cil_tmp68 = *((resource_size_t *)__cil_tmp67);
2550#line 120
2551 *((unsigned long *)__cil_tmp63) = (unsigned long )__cil_tmp68;
2552#line 121
2553 __cil_tmp69 = (unsigned long )dev;
2554#line 121
2555 __cil_tmp70 = __cil_tmp69 + 184;
2556#line 121
2557 __cil_tmp71 = *((unsigned long *)__cil_tmp70);
2558#line 121
2559 printk("<6>comedi: base addr %4lx\n", __cil_tmp71);
2560#line 124
2561 __cil_tmp72 = (unsigned long )dev;
2562#line 124
2563 __cil_tmp73 = __cil_tmp72 + 176;
2564#line 124
2565 __cil_tmp74 = *((struct comedi_subdevice **)__cil_tmp73);
2566#line 124
2567 s = __cil_tmp74 + 0;
2568#line 125
2569 __cil_tmp75 = (unsigned long )s;
2570#line 125
2571 __cil_tmp76 = __cil_tmp75 + 8;
2572#line 125
2573 *((int *)__cil_tmp76) = 3;
2574#line 126
2575 __cil_tmp77 = (unsigned long )s;
2576#line 126
2577 __cil_tmp78 = __cil_tmp77 + 16;
2578#line 126
2579 *((int *)__cil_tmp78) = 3211264;
2580#line 128
2581 __cil_tmp79 = (unsigned long )s;
2582#line 128
2583 __cil_tmp80 = __cil_tmp79 + 12;
2584#line 128
2585 *((int *)__cil_tmp80) = 32;
2586#line 129
2587 __cil_tmp81 = (unsigned long )s;
2588#line 129
2589 __cil_tmp82 = __cil_tmp81 + 92;
2590#line 129
2591 *((unsigned int *)__cil_tmp82) = 1U;
2592#line 130
2593 __cil_tmp83 = (unsigned long )s;
2594#line 130
2595 __cil_tmp84 = __cil_tmp83 + 20;
2596#line 130
2597 *((int *)__cil_tmp84) = 32;
2598#line 131
2599 __cil_tmp85 = (unsigned long )s;
2600#line 131
2601 __cil_tmp86 = __cil_tmp85 + 88;
2602#line 131
2603 *((int *)__cil_tmp86) = 0;
2604#line 132
2605 __cil_tmp87 = (unsigned long )s;
2606#line 132
2607 __cil_tmp88 = __cil_tmp87 + 128;
2608#line 132
2609 *((struct comedi_lrange const **)__cil_tmp88) = & range_unipolar5;
2610#line 133
2611 __cil_tmp89 = (unsigned long )s;
2612#line 133
2613 __cil_tmp90 = __cil_tmp89 + 168;
2614#line 133
2615 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
2616 unsigned int * ))__cil_tmp90) = & adl_pci7432_di_insn_bits;
2617#line 135
2618 __cil_tmp91 = (unsigned long )dev;
2619#line 135
2620 __cil_tmp92 = __cil_tmp91 + 176;
2621#line 135
2622 __cil_tmp93 = *((struct comedi_subdevice **)__cil_tmp92);
2623#line 135
2624 s = __cil_tmp93 + 1;
2625#line 136
2626 __cil_tmp94 = (unsigned long )s;
2627#line 136
2628 __cil_tmp95 = __cil_tmp94 + 8;
2629#line 136
2630 *((int *)__cil_tmp95) = 4;
2631#line 137
2632 __cil_tmp96 = (unsigned long )s;
2633#line 137
2634 __cil_tmp97 = __cil_tmp96 + 16;
2635#line 137
2636 *((int *)__cil_tmp97) = 3276800;
2637#line 139
2638 __cil_tmp98 = (unsigned long )s;
2639#line 139
2640 __cil_tmp99 = __cil_tmp98 + 12;
2641#line 139
2642 *((int *)__cil_tmp99) = 32;
2643#line 140
2644 __cil_tmp100 = (unsigned long )s;
2645#line 140
2646 __cil_tmp101 = __cil_tmp100 + 92;
2647#line 140
2648 *((unsigned int *)__cil_tmp101) = 1U;
2649#line 141
2650 __cil_tmp102 = (unsigned long )s;
2651#line 141
2652 __cil_tmp103 = __cil_tmp102 + 20;
2653#line 141
2654 *((int *)__cil_tmp103) = 32;
2655#line 142
2656 __cil_tmp104 = (unsigned long )s;
2657#line 142
2658 __cil_tmp105 = __cil_tmp104 + 88;
2659#line 142
2660 *((int *)__cil_tmp105) = -1;
2661#line 143
2662 __cil_tmp106 = (unsigned long )s;
2663#line 143
2664 __cil_tmp107 = __cil_tmp106 + 128;
2665#line 143
2666 *((struct comedi_lrange const **)__cil_tmp107) = & range_unipolar5;
2667#line 144
2668 __cil_tmp108 = (unsigned long )s;
2669#line 144
2670 __cil_tmp109 = __cil_tmp108 + 168;
2671#line 144
2672 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
2673 unsigned int * ))__cil_tmp109) = & adl_pci7432_do_insn_bits;
2674#line 146
2675 __cil_tmp110 = (unsigned long )dev;
2676#line 146
2677 __cil_tmp111 = __cil_tmp110 + 32;
2678#line 146
2679 __cil_tmp112 = *((int *)__cil_tmp111);
2680#line 146
2681 printk("<7>comedi%d: adl_pci7432 attached\n", __cil_tmp112);
2682 }
2683#line 148
2684 return (1);
2685 } else {
2686
2687 }
2688 }
2689 } else {
2690
2691 }
2692 }
2693 }
2694 while_break: ;
2695 }
2696 {
2697#line 152
2698 __cil_tmp113 = (unsigned long )dev;
2699#line 152
2700 __cil_tmp114 = __cil_tmp113 + 32;
2701#line 152
2702 __cil_tmp115 = *((int *)__cil_tmp114);
2703#line 152
2704 printk("<3>comedi%d: no supported board found! (req. bus/slot : %d/%d)\n", __cil_tmp115,
2705 bus, slot);
2706 }
2707#line 154
2708 return (-5);
2709}
2710}
2711#line 157 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
2712static int adl_pci7432_detach(struct comedi_device *dev )
2713{ unsigned long __cil_tmp2 ;
2714 unsigned long __cil_tmp3 ;
2715 int __cil_tmp4 ;
2716 unsigned long __cil_tmp5 ;
2717 unsigned long __cil_tmp6 ;
2718 void *__cil_tmp7 ;
2719 unsigned long __cil_tmp8 ;
2720 unsigned long __cil_tmp9 ;
2721 void *__cil_tmp10 ;
2722 struct adl_pci7432_private *__cil_tmp11 ;
2723 unsigned long __cil_tmp12 ;
2724 unsigned long __cil_tmp13 ;
2725 unsigned long __cil_tmp14 ;
2726 unsigned long __cil_tmp15 ;
2727 unsigned long __cil_tmp16 ;
2728 unsigned long __cil_tmp17 ;
2729 void *__cil_tmp18 ;
2730 struct adl_pci7432_private *__cil_tmp19 ;
2731 unsigned long __cil_tmp20 ;
2732 unsigned long __cil_tmp21 ;
2733 struct pci_dev *__cil_tmp22 ;
2734 unsigned long __cil_tmp23 ;
2735 unsigned long __cil_tmp24 ;
2736 void *__cil_tmp25 ;
2737 struct adl_pci7432_private *__cil_tmp26 ;
2738 unsigned long __cil_tmp27 ;
2739 unsigned long __cil_tmp28 ;
2740 struct pci_dev *__cil_tmp29 ;
2741
2742 {
2743 {
2744#line 159
2745 __cil_tmp2 = (unsigned long )dev;
2746#line 159
2747 __cil_tmp3 = __cil_tmp2 + 32;
2748#line 159
2749 __cil_tmp4 = *((int *)__cil_tmp3);
2750#line 159
2751 printk("<6>comedi%d: pci7432: remove\n", __cil_tmp4);
2752 }
2753 {
2754#line 161
2755 __cil_tmp5 = (unsigned long )dev;
2756#line 161
2757 __cil_tmp6 = __cil_tmp5 + 16;
2758#line 161
2759 __cil_tmp7 = *((void **)__cil_tmp6);
2760#line 161
2761 if ((struct adl_pci7432_private *)__cil_tmp7) {
2762 {
2763#line 161
2764 __cil_tmp8 = (unsigned long )dev;
2765#line 161
2766 __cil_tmp9 = __cil_tmp8 + 16;
2767#line 161
2768 __cil_tmp10 = *((void **)__cil_tmp9);
2769#line 161
2770 __cil_tmp11 = (struct adl_pci7432_private *)__cil_tmp10;
2771#line 161
2772 __cil_tmp12 = (unsigned long )__cil_tmp11;
2773#line 161
2774 __cil_tmp13 = __cil_tmp12 + 8;
2775#line 161
2776 if (*((struct pci_dev **)__cil_tmp13)) {
2777 {
2778#line 162
2779 __cil_tmp14 = (unsigned long )dev;
2780#line 162
2781 __cil_tmp15 = __cil_tmp14 + 184;
2782#line 162
2783 if (*((unsigned long *)__cil_tmp15)) {
2784 {
2785#line 163
2786 __cil_tmp16 = (unsigned long )dev;
2787#line 163
2788 __cil_tmp17 = __cil_tmp16 + 16;
2789#line 163
2790 __cil_tmp18 = *((void **)__cil_tmp17);
2791#line 163
2792 __cil_tmp19 = (struct adl_pci7432_private *)__cil_tmp18;
2793#line 163
2794 __cil_tmp20 = (unsigned long )__cil_tmp19;
2795#line 163
2796 __cil_tmp21 = __cil_tmp20 + 8;
2797#line 163
2798 __cil_tmp22 = *((struct pci_dev **)__cil_tmp21);
2799#line 163
2800 comedi_pci_disable(__cil_tmp22);
2801 }
2802 } else {
2803
2804 }
2805 }
2806 {
2807#line 164
2808 __cil_tmp23 = (unsigned long )dev;
2809#line 164
2810 __cil_tmp24 = __cil_tmp23 + 16;
2811#line 164
2812 __cil_tmp25 = *((void **)__cil_tmp24);
2813#line 164
2814 __cil_tmp26 = (struct adl_pci7432_private *)__cil_tmp25;
2815#line 164
2816 __cil_tmp27 = (unsigned long )__cil_tmp26;
2817#line 164
2818 __cil_tmp28 = __cil_tmp27 + 8;
2819#line 164
2820 __cil_tmp29 = *((struct pci_dev **)__cil_tmp28);
2821#line 164
2822 pci_dev_put(__cil_tmp29);
2823 }
2824 } else {
2825
2826 }
2827 }
2828 } else {
2829
2830 }
2831 }
2832#line 167
2833 return (0);
2834}
2835}
2836#line 170 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
2837static int adl_pci7432_do_insn_bits(struct comedi_device *dev , struct comedi_subdevice *s ,
2838 struct comedi_insn *insn , unsigned int *data )
2839{ unsigned int *__cil_tmp5 ;
2840 unsigned int __cil_tmp6 ;
2841 unsigned int *__cil_tmp7 ;
2842 unsigned int __cil_tmp8 ;
2843 unsigned long __cil_tmp9 ;
2844 unsigned long __cil_tmp10 ;
2845 unsigned int __cil_tmp11 ;
2846 unsigned int *__cil_tmp12 ;
2847 unsigned long __cil_tmp13 ;
2848 unsigned long __cil_tmp14 ;
2849 unsigned int *__cil_tmp15 ;
2850 unsigned int __cil_tmp16 ;
2851 unsigned int __cil_tmp17 ;
2852 unsigned long __cil_tmp18 ;
2853 unsigned long __cil_tmp19 ;
2854 unsigned int __cil_tmp20 ;
2855 unsigned long __cil_tmp21 ;
2856 unsigned long __cil_tmp22 ;
2857 unsigned int *__cil_tmp23 ;
2858 unsigned int __cil_tmp24 ;
2859 unsigned int *__cil_tmp25 ;
2860 unsigned int __cil_tmp26 ;
2861 unsigned int __cil_tmp27 ;
2862 unsigned long __cil_tmp28 ;
2863 unsigned long __cil_tmp29 ;
2864 unsigned int __cil_tmp30 ;
2865 unsigned long __cil_tmp31 ;
2866 unsigned long __cil_tmp32 ;
2867 unsigned int __cil_tmp33 ;
2868 unsigned long __cil_tmp34 ;
2869 unsigned long __cil_tmp35 ;
2870 unsigned long __cil_tmp36 ;
2871 unsigned long __cil_tmp37 ;
2872 unsigned long __cil_tmp38 ;
2873 unsigned int __cil_tmp39 ;
2874 unsigned int __cil_tmp40 ;
2875 unsigned long __cil_tmp41 ;
2876 unsigned long __cil_tmp42 ;
2877 unsigned long __cil_tmp43 ;
2878 int __cil_tmp44 ;
2879
2880 {
2881 {
2882#line 175
2883 printk("<7>comedi: pci7432_do_insn_bits called\n");
2884#line 176
2885 __cil_tmp5 = data + 0;
2886#line 176
2887 __cil_tmp6 = *__cil_tmp5;
2888#line 176
2889 __cil_tmp7 = data + 1;
2890#line 176
2891 __cil_tmp8 = *__cil_tmp7;
2892#line 176
2893 printk("<7>comedi: data0: %8x data1: %8x\n", __cil_tmp6, __cil_tmp8);
2894 }
2895 {
2896#line 178
2897 __cil_tmp9 = (unsigned long )insn;
2898#line 178
2899 __cil_tmp10 = __cil_tmp9 + 4;
2900#line 178
2901 __cil_tmp11 = *((unsigned int *)__cil_tmp10);
2902#line 178
2903 if (__cil_tmp11 != 2U) {
2904#line 179
2905 return (-22);
2906 } else {
2907
2908 }
2909 }
2910 {
2911#line 181
2912 __cil_tmp12 = data + 0;
2913#line 181
2914 if (*__cil_tmp12) {
2915 {
2916#line 182
2917 __cil_tmp13 = (unsigned long )s;
2918#line 182
2919 __cil_tmp14 = __cil_tmp13 + 236;
2920#line 182
2921 __cil_tmp15 = data + 0;
2922#line 182
2923 __cil_tmp16 = *__cil_tmp15;
2924#line 182
2925 __cil_tmp17 = ~ __cil_tmp16;
2926#line 182
2927 __cil_tmp18 = (unsigned long )s;
2928#line 182
2929 __cil_tmp19 = __cil_tmp18 + 236;
2930#line 182
2931 __cil_tmp20 = *((unsigned int *)__cil_tmp19);
2932#line 182
2933 *((unsigned int *)__cil_tmp14) = __cil_tmp20 & __cil_tmp17;
2934#line 183
2935 __cil_tmp21 = (unsigned long )s;
2936#line 183
2937 __cil_tmp22 = __cil_tmp21 + 236;
2938#line 183
2939 __cil_tmp23 = data + 1;
2940#line 183
2941 __cil_tmp24 = *__cil_tmp23;
2942#line 183
2943 __cil_tmp25 = data + 0;
2944#line 183
2945 __cil_tmp26 = *__cil_tmp25;
2946#line 183
2947 __cil_tmp27 = __cil_tmp26 & __cil_tmp24;
2948#line 183
2949 __cil_tmp28 = (unsigned long )s;
2950#line 183
2951 __cil_tmp29 = __cil_tmp28 + 236;
2952#line 183
2953 __cil_tmp30 = *((unsigned int *)__cil_tmp29);
2954#line 183
2955 *((unsigned int *)__cil_tmp22) = __cil_tmp30 | __cil_tmp27;
2956#line 185
2957 __cil_tmp31 = (unsigned long )s;
2958#line 185
2959 __cil_tmp32 = __cil_tmp31 + 236;
2960#line 185
2961 __cil_tmp33 = *((unsigned int *)__cil_tmp32);
2962#line 185
2963 __cil_tmp34 = (unsigned long )dev;
2964#line 185
2965 __cil_tmp35 = __cil_tmp34 + 184;
2966#line 185
2967 __cil_tmp36 = *((unsigned long *)__cil_tmp35);
2968#line 185
2969 printk("<7>comedi: out: %8x on iobase %4lx\n", __cil_tmp33, __cil_tmp36);
2970#line 187
2971 __cil_tmp37 = (unsigned long )s;
2972#line 187
2973 __cil_tmp38 = __cil_tmp37 + 236;
2974#line 187
2975 __cil_tmp39 = *((unsigned int *)__cil_tmp38);
2976#line 187
2977 __cil_tmp40 = __cil_tmp39 & 4294967295U;
2978#line 187
2979 __cil_tmp41 = (unsigned long )dev;
2980#line 187
2981 __cil_tmp42 = __cil_tmp41 + 184;
2982#line 187
2983 __cil_tmp43 = *((unsigned long *)__cil_tmp42);
2984#line 187
2985 __cil_tmp44 = (int )__cil_tmp43;
2986#line 187
2987 outl(__cil_tmp40, __cil_tmp44);
2988 }
2989 } else {
2990
2991 }
2992 }
2993#line 189
2994 return (2);
2995}
2996}
2997#line 192 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
2998static int adl_pci7432_di_insn_bits(struct comedi_device *dev , struct comedi_subdevice *s ,
2999 struct comedi_insn *insn , unsigned int *data )
3000{ unsigned int tmp ;
3001 unsigned int *__cil_tmp6 ;
3002 unsigned int __cil_tmp7 ;
3003 unsigned int *__cil_tmp8 ;
3004 unsigned int __cil_tmp9 ;
3005 unsigned long __cil_tmp10 ;
3006 unsigned long __cil_tmp11 ;
3007 unsigned int __cil_tmp12 ;
3008 unsigned long __cil_tmp13 ;
3009 unsigned long __cil_tmp14 ;
3010 unsigned long __cil_tmp15 ;
3011 int __cil_tmp16 ;
3012 unsigned int *__cil_tmp17 ;
3013 unsigned int *__cil_tmp18 ;
3014 unsigned int __cil_tmp19 ;
3015
3016 {
3017 {
3018#line 197
3019 printk("<7>comedi: pci7432_di_insn_bits called\n");
3020#line 198
3021 __cil_tmp6 = data + 0;
3022#line 198
3023 __cil_tmp7 = *__cil_tmp6;
3024#line 198
3025 __cil_tmp8 = data + 1;
3026#line 198
3027 __cil_tmp9 = *__cil_tmp8;
3028#line 198
3029 printk("<7>comedi: data0: %8x data1: %8x\n", __cil_tmp7, __cil_tmp9);
3030 }
3031 {
3032#line 200
3033 __cil_tmp10 = (unsigned long )insn;
3034#line 200
3035 __cil_tmp11 = __cil_tmp10 + 4;
3036#line 200
3037 __cil_tmp12 = *((unsigned int *)__cil_tmp11);
3038#line 200
3039 if (__cil_tmp12 != 2U) {
3040#line 201
3041 return (-22);
3042 } else {
3043
3044 }
3045 }
3046 {
3047#line 203
3048 __cil_tmp13 = (unsigned long )dev;
3049#line 203
3050 __cil_tmp14 = __cil_tmp13 + 184;
3051#line 203
3052 __cil_tmp15 = *((unsigned long *)__cil_tmp14);
3053#line 203
3054 __cil_tmp16 = (int )__cil_tmp15;
3055#line 203
3056 tmp = inl(__cil_tmp16);
3057#line 203
3058 __cil_tmp17 = data + 1;
3059#line 203
3060 *__cil_tmp17 = tmp & 4294967295U;
3061#line 204
3062 __cil_tmp18 = data + 1;
3063#line 204
3064 __cil_tmp19 = *__cil_tmp18;
3065#line 204
3066 printk("<7>comedi: data1 %8x\n", __cil_tmp19);
3067 }
3068#line 206
3069 return (2);
3070}
3071}
3072#line 209
3073static int driver_adl_pci7432_pci_probe(struct pci_dev *dev , struct pci_device_id const *ent ) __attribute__((__section__(".devinit.text"),
3074__no_instrument_function__)) ;
3075#line 209 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3076static int driver_adl_pci7432_pci_probe(struct pci_dev *dev , struct pci_device_id const *ent )
3077{ int tmp ;
3078 unsigned long __cil_tmp4 ;
3079 char const *__cil_tmp5 ;
3080
3081 {
3082 {
3083#line 213
3084 __cil_tmp4 = (unsigned long )(& driver_adl_pci7432) + 8;
3085#line 213
3086 __cil_tmp5 = *((char const **)__cil_tmp4);
3087#line 213
3088 tmp = comedi_pci_auto_config(dev, __cil_tmp5);
3089 }
3090#line 213
3091 return (tmp);
3092}
3093}
3094#line 216
3095static void driver_adl_pci7432_pci_remove(struct pci_dev *dev ) __attribute__((__section__(".devexit.text"),
3096__no_instrument_function__)) ;
3097#line 216 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3098static void driver_adl_pci7432_pci_remove(struct pci_dev *dev )
3099{
3100
3101 {
3102 {
3103#line 218
3104 comedi_pci_auto_unconfig(dev);
3105 }
3106#line 219
3107 return;
3108}
3109}
3110#line 221 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3111static struct pci_driver driver_adl_pci7432_pci_driver =
3112#line 221
3113 {{(struct list_head *)0, (struct list_head *)0}, (char const *)0, adl_pci7432_pci_table,
3114 & driver_adl_pci7432_pci_probe, & driver_adl_pci7432_pci_remove, (int (*)(struct pci_dev *dev ,
3115 pm_message_t state ))0,
3116 (int (*)(struct pci_dev *dev , pm_message_t state ))0, (int (*)(struct pci_dev *dev ))0,
3117 (int (*)(struct pci_dev *dev ))0, (void (*)(struct pci_dev *dev ))0, (struct pci_error_handlers *)0,
3118 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
3119 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device *dev ))0,
3120 (int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
3121 pm_message_t state ))0,
3122 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
3123 (struct driver_private *)0}, {{{{{{0U}}, 0U, 0U, (void *)0}}}, {(struct list_head *)0,
3124 (struct list_head *)0}}};
3125#line 227
3126static int driver_adl_pci7432_init_module(void) __attribute__((__section__(".init.text"),
3127__no_instrument_function__)) ;
3128#line 227 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3129static int driver_adl_pci7432_init_module(void)
3130{ int retval ;
3131 int tmp ;
3132 unsigned long __cil_tmp3 ;
3133 unsigned long __cil_tmp4 ;
3134 char const *__cil_tmp5 ;
3135 char *__cil_tmp6 ;
3136
3137 {
3138 {
3139#line 231
3140 retval = comedi_driver_register(& driver_adl_pci7432);
3141 }
3142#line 232
3143 if (retval < 0) {
3144#line 233
3145 return (retval);
3146 } else {
3147
3148 }
3149 {
3150#line 235
3151 __cil_tmp3 = (unsigned long )(& driver_adl_pci7432_pci_driver) + 16;
3152#line 235
3153 __cil_tmp4 = (unsigned long )(& driver_adl_pci7432) + 8;
3154#line 235
3155 __cil_tmp5 = *((char const **)__cil_tmp4);
3156#line 235
3157 __cil_tmp6 = (char *)__cil_tmp5;
3158#line 235
3159 *((char const **)__cil_tmp3) = (char const *)__cil_tmp6;
3160#line 237
3161 tmp = (int )__pci_register_driver(& driver_adl_pci7432_pci_driver, & __this_module,
3162 "adl_pci7432");
3163 }
3164#line 237
3165 return (tmp);
3166}
3167}
3168#line 240
3169static void driver_adl_pci7432_cleanup_module(void) __attribute__((__section__(".exit.text"),
3170__no_instrument_function__)) ;
3171#line 240 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3172static void driver_adl_pci7432_cleanup_module(void)
3173{
3174
3175 {
3176 {
3177#line 242
3178 pci_unregister_driver(& driver_adl_pci7432_pci_driver);
3179#line 243
3180 comedi_driver_unregister(& driver_adl_pci7432);
3181 }
3182#line 244
3183 return;
3184}
3185}
3186#line 246 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3187int init_module(void)
3188{ int tmp ;
3189
3190 {
3191 {
3192#line 246
3193 tmp = driver_adl_pci7432_init_module();
3194 }
3195#line 246
3196 return (tmp);
3197}
3198}
3199#line 247 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3200void cleanup_module(void)
3201{
3202
3203 {
3204 {
3205#line 247
3206 driver_adl_pci7432_cleanup_module();
3207 }
3208#line 247
3209 return;
3210}
3211}
3212#line 249 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3213static char const __mod_author249[36] __attribute__((__used__, __unused__, __section__(".modinfo"),
3214__aligned__(1))) =
3215#line 249
3216 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3217 (char const )'o', (char const )'r', (char const )'=', (char const )'C',
3218 (char const )'o', (char const )'m', (char const )'e', (char const )'d',
3219 (char const )'i', (char const )' ', (char const )'h', (char const )'t',
3220 (char const )'t', (char const )'p', (char const )':', (char const )'/',
3221 (char const )'/', (char const )'w', (char const )'w', (char const )'w',
3222 (char const )'.', (char const )'c', (char const )'o', (char const )'m',
3223 (char const )'e', (char const )'d', (char const )'i', (char const )'.',
3224 (char const )'o', (char const )'r', (char const )'g', (char const )'\000'};
3225#line 250 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3226static char const __mod_description250[36] __attribute__((__used__, __unused__,
3227__section__(".modinfo"), __aligned__(1))) =
3228#line 250
3229 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3230 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3231 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3232 (char const )'C', (char const )'o', (char const )'m', (char const )'e',
3233 (char const )'d', (char const )'i', (char const )' ', (char const )'l',
3234 (char const )'o', (char const )'w', (char const )'-', (char const )'l',
3235 (char const )'e', (char const )'v', (char const )'e', (char const )'l',
3236 (char const )' ', (char const )'d', (char const )'r', (char const )'i',
3237 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
3238#line 251 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3239static char const __mod_license251[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
3240__aligned__(1))) =
3241#line 251
3242 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3243 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3244 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
3245#line 269
3246void ldv_check_final_state(void) ;
3247#line 275
3248extern void ldv_initialize(void) ;
3249#line 278
3250extern int __VERIFIER_nondet_int(void) ;
3251#line 281 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3252int LDV_IN_INTERRUPT ;
3253#line 284 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3254void main(void)
3255{ struct comedi_device *var_group1 ;
3256 struct comedi_devconfig *var_group2 ;
3257 int tmp ;
3258 int tmp___0 ;
3259 int tmp___1 ;
3260
3261 {
3262 {
3263#line 316
3264 LDV_IN_INTERRUPT = 1;
3265#line 325
3266 ldv_initialize();
3267#line 336
3268 tmp = driver_adl_pci7432_init_module();
3269 }
3270#line 336
3271 if (tmp) {
3272#line 337
3273 goto ldv_final;
3274 } else {
3275
3276 }
3277 {
3278#line 341
3279 while (1) {
3280 while_continue: ;
3281 {
3282#line 341
3283 tmp___1 = __VERIFIER_nondet_int();
3284 }
3285#line 341
3286 if (tmp___1) {
3287
3288 } else {
3289#line 341
3290 goto while_break;
3291 }
3292 {
3293#line 344
3294 tmp___0 = __VERIFIER_nondet_int();
3295 }
3296#line 346
3297 if (tmp___0 == 0) {
3298#line 346
3299 goto case_0;
3300 } else
3301#line 367
3302 if (tmp___0 == 1) {
3303#line 367
3304 goto case_1;
3305 } else {
3306 {
3307#line 388
3308 goto switch_default;
3309#line 344
3310 if (0) {
3311 case_0:
3312 {
3313#line 359
3314 adl_pci7432_attach(var_group1, var_group2);
3315 }
3316#line 366
3317 goto switch_break;
3318 case_1:
3319 {
3320#line 380
3321 adl_pci7432_detach(var_group1);
3322 }
3323#line 387
3324 goto switch_break;
3325 switch_default:
3326#line 388
3327 goto switch_break;
3328 } else {
3329 switch_break: ;
3330 }
3331 }
3332 }
3333 }
3334 while_break: ;
3335 }
3336 {
3337#line 405
3338 driver_adl_pci7432_cleanup_module();
3339 }
3340 ldv_final:
3341 {
3342#line 408
3343 ldv_check_final_state();
3344 }
3345#line 411
3346 return;
3347}
3348}
3349#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3350void ldv_blast_assert(void)
3351{
3352
3353 {
3354 ERROR:
3355#line 6
3356 goto ERROR;
3357}
3358}
3359#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3360extern int __VERIFIER_nondet_int(void) ;
3361#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3362int ldv_mutex = 1;
3363#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3364int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3365{ int nondetermined ;
3366
3367 {
3368#line 29
3369 if (ldv_mutex == 1) {
3370
3371 } else {
3372 {
3373#line 29
3374 ldv_blast_assert();
3375 }
3376 }
3377 {
3378#line 32
3379 nondetermined = __VERIFIER_nondet_int();
3380 }
3381#line 35
3382 if (nondetermined) {
3383#line 38
3384 ldv_mutex = 2;
3385#line 40
3386 return (0);
3387 } else {
3388#line 45
3389 return (-4);
3390 }
3391}
3392}
3393#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3394int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3395{ int nondetermined ;
3396
3397 {
3398#line 57
3399 if (ldv_mutex == 1) {
3400
3401 } else {
3402 {
3403#line 57
3404 ldv_blast_assert();
3405 }
3406 }
3407 {
3408#line 60
3409 nondetermined = __VERIFIER_nondet_int();
3410 }
3411#line 63
3412 if (nondetermined) {
3413#line 66
3414 ldv_mutex = 2;
3415#line 68
3416 return (0);
3417 } else {
3418#line 73
3419 return (-4);
3420 }
3421}
3422}
3423#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3424int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3425{ int atomic_value_after_dec ;
3426
3427 {
3428#line 83
3429 if (ldv_mutex == 1) {
3430
3431 } else {
3432 {
3433#line 83
3434 ldv_blast_assert();
3435 }
3436 }
3437 {
3438#line 86
3439 atomic_value_after_dec = __VERIFIER_nondet_int();
3440 }
3441#line 89
3442 if (atomic_value_after_dec == 0) {
3443#line 92
3444 ldv_mutex = 2;
3445#line 94
3446 return (1);
3447 } else {
3448
3449 }
3450#line 98
3451 return (0);
3452}
3453}
3454#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3455void mutex_lock(struct mutex *lock )
3456{
3457
3458 {
3459#line 108
3460 if (ldv_mutex == 1) {
3461
3462 } else {
3463 {
3464#line 108
3465 ldv_blast_assert();
3466 }
3467 }
3468#line 110
3469 ldv_mutex = 2;
3470#line 111
3471 return;
3472}
3473}
3474#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3475int mutex_trylock(struct mutex *lock )
3476{ int nondetermined ;
3477
3478 {
3479#line 121
3480 if (ldv_mutex == 1) {
3481
3482 } else {
3483 {
3484#line 121
3485 ldv_blast_assert();
3486 }
3487 }
3488 {
3489#line 124
3490 nondetermined = __VERIFIER_nondet_int();
3491 }
3492#line 127
3493 if (nondetermined) {
3494#line 130
3495 ldv_mutex = 2;
3496#line 132
3497 return (1);
3498 } else {
3499#line 137
3500 return (0);
3501 }
3502}
3503}
3504#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3505void mutex_unlock(struct mutex *lock )
3506{
3507
3508 {
3509#line 147
3510 if (ldv_mutex == 2) {
3511
3512 } else {
3513 {
3514#line 147
3515 ldv_blast_assert();
3516 }
3517 }
3518#line 149
3519 ldv_mutex = 1;
3520#line 150
3521 return;
3522}
3523}
3524#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3525void ldv_check_final_state(void)
3526{
3527
3528 {
3529#line 156
3530 if (ldv_mutex == 1) {
3531
3532 } else {
3533 {
3534#line 156
3535 ldv_blast_assert();
3536 }
3537 }
3538#line 157
3539 return;
3540}
3541}
3542#line 420 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1424/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7432.c.common.c"
3543long s__builtin_expect(long val , long res )
3544{
3545
3546 {
3547#line 421
3548 return (val);
3549}
3550}