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/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
1709struct adl_pci7230_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/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
2192static struct pci_device_id const adl_pci7230_pci_table[2] __attribute__((__section__(".devinit.rodata"))) = { {(__u32 )5194,
2193 (__u32 )29232, (__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_pci7230_pci_table"))) ;
2198#line 61
2199static int adl_pci7230_attach(struct comedi_device *dev , struct comedi_devconfig *it ) ;
2200#line 63
2201static int adl_pci7230_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/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
2203static struct comedi_driver driver_adl_pci7230 =
2204#line 64
2205 {(struct comedi_driver *)0, "adl_pci7230", & __this_module, & adl_pci7230_attach,
2206 & adl_pci7230_detach, 0U, (char const * const *)0, 0};
2207#line 73
2208static int adl_pci7230_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_pci7230_do_insn_bits(struct comedi_device *dev , struct comedi_subdevice *s ,
2212 struct comedi_insn *insn , unsigned int *data ) ;
2213#line 83 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
2214static int adl_pci7230_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_pci7230_private *__cil_tmp56 ;
2269 unsigned long __cil_tmp57 ;
2270 unsigned long __cil_tmp58 ;
2271 void *__cil_tmp59 ;
2272 unsigned long __cil_tmp60 ;
2273 unsigned long __cil_tmp61 ;
2274 unsigned long __cil_tmp62 ;
2275 unsigned long __cil_tmp63 ;
2276 int __cil_tmp64 ;
2277 unsigned long __cil_tmp65 ;
2278 unsigned long __cil_tmp66 ;
2279 int __cil_tmp67 ;
2280 unsigned long __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 resource_size_t __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 struct comedi_subdevice *__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 unsigned long __cil_tmp93 ;
2306 unsigned long __cil_tmp94 ;
2307 struct comedi_subdevice *__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
2321 {
2322 {
2323#line 86
2324 __cil_tmp10 = (void *)0;
2325#line 86
2326 pcidev = (struct pci_dev *)__cil_tmp10;
2327#line 90
2328 __cil_tmp11 = (unsigned long )dev;
2329#line 90
2330 __cil_tmp12 = __cil_tmp11 + 32;
2331#line 90
2332 __cil_tmp13 = *((int *)__cil_tmp12);
2333#line 90
2334 printk("<6>comedi%d: adl_pci7230\n", __cil_tmp13);
2335#line 92
2336 __cil_tmp14 = (unsigned long )dev;
2337#line 92
2338 __cil_tmp15 = __cil_tmp14 + 48;
2339#line 92
2340 *((char const **)__cil_tmp15) = "pci7230";
2341#line 93
2342 __cil_tmp16 = 0 * 4UL;
2343#line 93
2344 __cil_tmp17 = 20 + __cil_tmp16;
2345#line 93
2346 __cil_tmp18 = (unsigned long )it;
2347#line 93
2348 __cil_tmp19 = __cil_tmp18 + __cil_tmp17;
2349#line 93
2350 bus = *((int *)__cil_tmp19);
2351#line 94
2352 __cil_tmp20 = 1 * 4UL;
2353#line 94
2354 __cil_tmp21 = 20 + __cil_tmp20;
2355#line 94
2356 __cil_tmp22 = (unsigned long )it;
2357#line 94
2358 __cil_tmp23 = __cil_tmp22 + __cil_tmp21;
2359#line 94
2360 slot = *((int *)__cil_tmp23);
2361#line 96
2362 __cil_tmp24 = (int )16UL;
2363#line 96
2364 tmp = alloc_private(dev, __cil_tmp24);
2365 }
2366#line 96
2367 if (tmp < 0) {
2368#line 97
2369 return (-12);
2370 } else {
2371
2372 }
2373 {
2374#line 99
2375 tmp___0 = alloc_subdevices(dev, 2U);
2376 }
2377#line 99
2378 if (tmp___0 < 0) {
2379#line 100
2380 return (-12);
2381 } else {
2382
2383 }
2384 {
2385#line 102
2386 while (1) {
2387 while_continue: ;
2388 {
2389#line 102
2390 __cil_tmp25 = ~ 0;
2391#line 102
2392 __cil_tmp26 = (unsigned int )__cil_tmp25;
2393#line 102
2394 __cil_tmp27 = ~ 0;
2395#line 102
2396 __cil_tmp28 = (unsigned int )__cil_tmp27;
2397#line 102
2398 pcidev = pci_get_device(__cil_tmp26, __cil_tmp28, pcidev);
2399 }
2400 {
2401#line 102
2402 __cil_tmp29 = (void *)0;
2403#line 102
2404 __cil_tmp30 = (unsigned long )__cil_tmp29;
2405#line 102
2406 __cil_tmp31 = (unsigned long )pcidev;
2407#line 102
2408 if (__cil_tmp31 != __cil_tmp30) {
2409
2410 } else {
2411#line 102
2412 goto while_break;
2413 }
2414 }
2415 {
2416#line 103
2417 __cil_tmp32 = (unsigned long )pcidev;
2418#line 103
2419 __cil_tmp33 = __cil_tmp32 + 60;
2420#line 103
2421 __cil_tmp34 = *((unsigned short *)__cil_tmp33);
2422#line 103
2423 __cil_tmp35 = (int )__cil_tmp34;
2424#line 103
2425 if (__cil_tmp35 == 5194) {
2426 {
2427#line 103
2428 __cil_tmp36 = (unsigned long )pcidev;
2429#line 103
2430 __cil_tmp37 = __cil_tmp36 + 62;
2431#line 103
2432 __cil_tmp38 = *((unsigned short *)__cil_tmp37);
2433#line 103
2434 __cil_tmp39 = (int )__cil_tmp38;
2435#line 103
2436 if (__cil_tmp39 == 29232) {
2437#line 105
2438 if (bus) {
2439#line 105
2440 goto _L;
2441 } else
2442#line 105
2443 if (slot) {
2444 _L:
2445 {
2446#line 107
2447 __cil_tmp40 = (unsigned long )pcidev;
2448#line 107
2449 __cil_tmp41 = __cil_tmp40 + 16;
2450#line 107
2451 __cil_tmp42 = *((struct pci_bus **)__cil_tmp41);
2452#line 107
2453 __cil_tmp43 = (unsigned long )__cil_tmp42;
2454#line 107
2455 __cil_tmp44 = __cil_tmp43 + 152;
2456#line 107
2457 __cil_tmp45 = *((unsigned char *)__cil_tmp44);
2458#line 107
2459 __cil_tmp46 = (int )__cil_tmp45;
2460#line 107
2461 if (__cil_tmp46 != bus) {
2462#line 109
2463 goto while_continue;
2464 } else {
2465 {
2466#line 107
2467 __cil_tmp47 = (unsigned int )slot;
2468#line 107
2469 __cil_tmp48 = (unsigned long )pcidev;
2470#line 107
2471 __cil_tmp49 = __cil_tmp48 + 56;
2472#line 107
2473 __cil_tmp50 = *((unsigned int *)__cil_tmp49);
2474#line 107
2475 __cil_tmp51 = __cil_tmp50 >> 3;
2476#line 107
2477 __cil_tmp52 = __cil_tmp51 & 31U;
2478#line 107
2479 if (__cil_tmp52 != __cil_tmp47) {
2480#line 109
2481 goto while_continue;
2482 } else {
2483
2484 }
2485 }
2486 }
2487 }
2488 } else {
2489
2490 }
2491#line 112
2492 __cil_tmp53 = (unsigned long )dev;
2493#line 112
2494 __cil_tmp54 = __cil_tmp53 + 16;
2495#line 112
2496 __cil_tmp55 = *((void **)__cil_tmp54);
2497#line 112
2498 __cil_tmp56 = (struct adl_pci7230_private *)__cil_tmp55;
2499#line 112
2500 __cil_tmp57 = (unsigned long )__cil_tmp56;
2501#line 112
2502 __cil_tmp58 = __cil_tmp57 + 8;
2503#line 112
2504 *((struct pci_dev **)__cil_tmp58) = pcidev;
2505#line 113
2506 goto while_break;
2507 } else {
2508
2509 }
2510 }
2511 } else {
2512
2513 }
2514 }
2515 }
2516 while_break: ;
2517 }
2518 {
2519#line 116
2520 __cil_tmp59 = (void *)0;
2521#line 116
2522 __cil_tmp60 = (unsigned long )__cil_tmp59;
2523#line 116
2524 __cil_tmp61 = (unsigned long )pcidev;
2525#line 116
2526 if (__cil_tmp61 == __cil_tmp60) {
2527 {
2528#line 117
2529 __cil_tmp62 = (unsigned long )dev;
2530#line 117
2531 __cil_tmp63 = __cil_tmp62 + 32;
2532#line 117
2533 __cil_tmp64 = *((int *)__cil_tmp63);
2534#line 117
2535 printk("<3>comedi%d: no supported board found! (req. bus/slot : %d/%d)\n", __cil_tmp64,
2536 bus, slot);
2537 }
2538#line 119
2539 return (-5);
2540 } else {
2541
2542 }
2543 }
2544 {
2545#line 121
2546 tmp___1 = comedi_pci_enable(pcidev, "adl_pci7230");
2547 }
2548#line 121
2549 if (tmp___1 < 0) {
2550 {
2551#line 122
2552 __cil_tmp65 = (unsigned long )dev;
2553#line 122
2554 __cil_tmp66 = __cil_tmp65 + 32;
2555#line 122
2556 __cil_tmp67 = *((int *)__cil_tmp66);
2557#line 122
2558 printk("<3>comedi%d: Failed to enable PCI device and request regions\n", __cil_tmp67);
2559 }
2560#line 124
2561 return (-5);
2562 } else {
2563
2564 }
2565 {
2566#line 126
2567 __cil_tmp68 = (unsigned long )dev;
2568#line 126
2569 __cil_tmp69 = __cil_tmp68 + 184;
2570#line 126
2571 __cil_tmp70 = 2 * 56UL;
2572#line 126
2573 __cil_tmp71 = 920 + __cil_tmp70;
2574#line 126
2575 __cil_tmp72 = (unsigned long )pcidev;
2576#line 126
2577 __cil_tmp73 = __cil_tmp72 + __cil_tmp71;
2578#line 126
2579 __cil_tmp74 = *((resource_size_t *)__cil_tmp73);
2580#line 126
2581 *((unsigned long *)__cil_tmp69) = (unsigned long )__cil_tmp74;
2582#line 127
2583 __cil_tmp75 = (unsigned long )dev;
2584#line 127
2585 __cil_tmp76 = __cil_tmp75 + 184;
2586#line 127
2587 __cil_tmp77 = *((unsigned long *)__cil_tmp76);
2588#line 127
2589 printk("<7>comedi: base addr %4lx\n", __cil_tmp77);
2590#line 129
2591 __cil_tmp78 = (unsigned long )dev;
2592#line 129
2593 __cil_tmp79 = __cil_tmp78 + 176;
2594#line 129
2595 __cil_tmp80 = *((struct comedi_subdevice **)__cil_tmp79);
2596#line 129
2597 s = __cil_tmp80 + 0;
2598#line 131
2599 __cil_tmp81 = (unsigned long )s;
2600#line 131
2601 __cil_tmp82 = __cil_tmp81 + 8;
2602#line 131
2603 *((int *)__cil_tmp82) = 4;
2604#line 132
2605 __cil_tmp83 = (unsigned long )s;
2606#line 132
2607 __cil_tmp84 = __cil_tmp83 + 16;
2608#line 132
2609 *((int *)__cil_tmp84) = 3276800;
2610#line 133
2611 __cil_tmp85 = (unsigned long )s;
2612#line 133
2613 __cil_tmp86 = __cil_tmp85 + 12;
2614#line 133
2615 *((int *)__cil_tmp86) = 16;
2616#line 134
2617 __cil_tmp87 = (unsigned long )s;
2618#line 134
2619 __cil_tmp88 = __cil_tmp87 + 92;
2620#line 134
2621 *((unsigned int *)__cil_tmp88) = 1U;
2622#line 135
2623 __cil_tmp89 = (unsigned long )s;
2624#line 135
2625 __cil_tmp90 = __cil_tmp89 + 128;
2626#line 135
2627 *((struct comedi_lrange const **)__cil_tmp90) = & range_unipolar5;
2628#line 136
2629 __cil_tmp91 = (unsigned long )s;
2630#line 136
2631 __cil_tmp92 = __cil_tmp91 + 168;
2632#line 136
2633 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
2634 unsigned int * ))__cil_tmp92) = & adl_pci7230_do_insn_bits;
2635#line 138
2636 __cil_tmp93 = (unsigned long )dev;
2637#line 138
2638 __cil_tmp94 = __cil_tmp93 + 176;
2639#line 138
2640 __cil_tmp95 = *((struct comedi_subdevice **)__cil_tmp94);
2641#line 138
2642 s = __cil_tmp95 + 1;
2643#line 140
2644 __cil_tmp96 = (unsigned long )s;
2645#line 140
2646 __cil_tmp97 = __cil_tmp96 + 8;
2647#line 140
2648 *((int *)__cil_tmp97) = 3;
2649#line 141
2650 __cil_tmp98 = (unsigned long )s;
2651#line 141
2652 __cil_tmp99 = __cil_tmp98 + 16;
2653#line 141
2654 *((int *)__cil_tmp99) = 3211264;
2655#line 142
2656 __cil_tmp100 = (unsigned long )s;
2657#line 142
2658 __cil_tmp101 = __cil_tmp100 + 12;
2659#line 142
2660 *((int *)__cil_tmp101) = 16;
2661#line 143
2662 __cil_tmp102 = (unsigned long )s;
2663#line 143
2664 __cil_tmp103 = __cil_tmp102 + 92;
2665#line 143
2666 *((unsigned int *)__cil_tmp103) = 1U;
2667#line 144
2668 __cil_tmp104 = (unsigned long )s;
2669#line 144
2670 __cil_tmp105 = __cil_tmp104 + 128;
2671#line 144
2672 *((struct comedi_lrange const **)__cil_tmp105) = & range_unipolar5;
2673#line 145
2674 __cil_tmp106 = (unsigned long )s;
2675#line 145
2676 __cil_tmp107 = __cil_tmp106 + 168;
2677#line 145
2678 *((int (**)(struct comedi_device * , struct comedi_subdevice * , struct comedi_insn * ,
2679 unsigned int * ))__cil_tmp107) = & adl_pci7230_di_insn_bits;
2680#line 147
2681 printk("<7>comedi: attached\n");
2682 }
2683#line 149
2684 return (1);
2685}
2686}
2687#line 152 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
2688static int adl_pci7230_detach(struct comedi_device *dev )
2689{ unsigned long __cil_tmp2 ;
2690 unsigned long __cil_tmp3 ;
2691 int __cil_tmp4 ;
2692 unsigned long __cil_tmp5 ;
2693 unsigned long __cil_tmp6 ;
2694 void *__cil_tmp7 ;
2695 unsigned long __cil_tmp8 ;
2696 unsigned long __cil_tmp9 ;
2697 void *__cil_tmp10 ;
2698 struct adl_pci7230_private *__cil_tmp11 ;
2699 unsigned long __cil_tmp12 ;
2700 unsigned long __cil_tmp13 ;
2701 unsigned long __cil_tmp14 ;
2702 unsigned long __cil_tmp15 ;
2703 unsigned long __cil_tmp16 ;
2704 unsigned long __cil_tmp17 ;
2705 void *__cil_tmp18 ;
2706 struct adl_pci7230_private *__cil_tmp19 ;
2707 unsigned long __cil_tmp20 ;
2708 unsigned long __cil_tmp21 ;
2709 struct pci_dev *__cil_tmp22 ;
2710 unsigned long __cil_tmp23 ;
2711 unsigned long __cil_tmp24 ;
2712 void *__cil_tmp25 ;
2713 struct adl_pci7230_private *__cil_tmp26 ;
2714 unsigned long __cil_tmp27 ;
2715 unsigned long __cil_tmp28 ;
2716 struct pci_dev *__cil_tmp29 ;
2717
2718 {
2719 {
2720#line 154
2721 __cil_tmp2 = (unsigned long )dev;
2722#line 154
2723 __cil_tmp3 = __cil_tmp2 + 32;
2724#line 154
2725 __cil_tmp4 = *((int *)__cil_tmp3);
2726#line 154
2727 printk("<7>comedi%d: pci7230: remove\n", __cil_tmp4);
2728 }
2729 {
2730#line 156
2731 __cil_tmp5 = (unsigned long )dev;
2732#line 156
2733 __cil_tmp6 = __cil_tmp5 + 16;
2734#line 156
2735 __cil_tmp7 = *((void **)__cil_tmp6);
2736#line 156
2737 if ((struct adl_pci7230_private *)__cil_tmp7) {
2738 {
2739#line 156
2740 __cil_tmp8 = (unsigned long )dev;
2741#line 156
2742 __cil_tmp9 = __cil_tmp8 + 16;
2743#line 156
2744 __cil_tmp10 = *((void **)__cil_tmp9);
2745#line 156
2746 __cil_tmp11 = (struct adl_pci7230_private *)__cil_tmp10;
2747#line 156
2748 __cil_tmp12 = (unsigned long )__cil_tmp11;
2749#line 156
2750 __cil_tmp13 = __cil_tmp12 + 8;
2751#line 156
2752 if (*((struct pci_dev **)__cil_tmp13)) {
2753 {
2754#line 157
2755 __cil_tmp14 = (unsigned long )dev;
2756#line 157
2757 __cil_tmp15 = __cil_tmp14 + 184;
2758#line 157
2759 if (*((unsigned long *)__cil_tmp15)) {
2760 {
2761#line 158
2762 __cil_tmp16 = (unsigned long )dev;
2763#line 158
2764 __cil_tmp17 = __cil_tmp16 + 16;
2765#line 158
2766 __cil_tmp18 = *((void **)__cil_tmp17);
2767#line 158
2768 __cil_tmp19 = (struct adl_pci7230_private *)__cil_tmp18;
2769#line 158
2770 __cil_tmp20 = (unsigned long )__cil_tmp19;
2771#line 158
2772 __cil_tmp21 = __cil_tmp20 + 8;
2773#line 158
2774 __cil_tmp22 = *((struct pci_dev **)__cil_tmp21);
2775#line 158
2776 comedi_pci_disable(__cil_tmp22);
2777 }
2778 } else {
2779
2780 }
2781 }
2782 {
2783#line 159
2784 __cil_tmp23 = (unsigned long )dev;
2785#line 159
2786 __cil_tmp24 = __cil_tmp23 + 16;
2787#line 159
2788 __cil_tmp25 = *((void **)__cil_tmp24);
2789#line 159
2790 __cil_tmp26 = (struct adl_pci7230_private *)__cil_tmp25;
2791#line 159
2792 __cil_tmp27 = (unsigned long )__cil_tmp26;
2793#line 159
2794 __cil_tmp28 = __cil_tmp27 + 8;
2795#line 159
2796 __cil_tmp29 = *((struct pci_dev **)__cil_tmp28);
2797#line 159
2798 pci_dev_put(__cil_tmp29);
2799 }
2800 } else {
2801
2802 }
2803 }
2804 } else {
2805
2806 }
2807 }
2808#line 162
2809 return (0);
2810}
2811}
2812#line 165 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
2813static int adl_pci7230_do_insn_bits(struct comedi_device *dev , struct comedi_subdevice *s ,
2814 struct comedi_insn *insn , unsigned int *data )
2815{ unsigned long __cil_tmp5 ;
2816 unsigned long __cil_tmp6 ;
2817 unsigned int __cil_tmp7 ;
2818 unsigned int *__cil_tmp8 ;
2819 unsigned long __cil_tmp9 ;
2820 unsigned long __cil_tmp10 ;
2821 unsigned int *__cil_tmp11 ;
2822 unsigned int __cil_tmp12 ;
2823 unsigned int __cil_tmp13 ;
2824 unsigned long __cil_tmp14 ;
2825 unsigned long __cil_tmp15 ;
2826 unsigned int __cil_tmp16 ;
2827 unsigned long __cil_tmp17 ;
2828 unsigned long __cil_tmp18 ;
2829 unsigned int *__cil_tmp19 ;
2830 unsigned int __cil_tmp20 ;
2831 unsigned int *__cil_tmp21 ;
2832 unsigned int __cil_tmp22 ;
2833 unsigned int __cil_tmp23 ;
2834 unsigned long __cil_tmp24 ;
2835 unsigned long __cil_tmp25 ;
2836 unsigned int __cil_tmp26 ;
2837 unsigned long __cil_tmp27 ;
2838 unsigned long __cil_tmp28 ;
2839 unsigned int __cil_tmp29 ;
2840 unsigned int __cil_tmp30 ;
2841 unsigned int __cil_tmp31 ;
2842 unsigned long __cil_tmp32 ;
2843 unsigned long __cil_tmp33 ;
2844 unsigned long __cil_tmp34 ;
2845 int __cil_tmp35 ;
2846
2847 {
2848 {
2849#line 170
2850 __cil_tmp5 = (unsigned long )insn;
2851#line 170
2852 __cil_tmp6 = __cil_tmp5 + 4;
2853#line 170
2854 __cil_tmp7 = *((unsigned int *)__cil_tmp6);
2855#line 170
2856 if (__cil_tmp7 != 2U) {
2857#line 171
2858 return (-22);
2859 } else {
2860
2861 }
2862 }
2863 {
2864#line 173
2865 __cil_tmp8 = data + 0;
2866#line 173
2867 if (*__cil_tmp8) {
2868 {
2869#line 174
2870 __cil_tmp9 = (unsigned long )s;
2871#line 174
2872 __cil_tmp10 = __cil_tmp9 + 236;
2873#line 174
2874 __cil_tmp11 = data + 0;
2875#line 174
2876 __cil_tmp12 = *__cil_tmp11;
2877#line 174
2878 __cil_tmp13 = ~ __cil_tmp12;
2879#line 174
2880 __cil_tmp14 = (unsigned long )s;
2881#line 174
2882 __cil_tmp15 = __cil_tmp14 + 236;
2883#line 174
2884 __cil_tmp16 = *((unsigned int *)__cil_tmp15);
2885#line 174
2886 *((unsigned int *)__cil_tmp10) = __cil_tmp16 & __cil_tmp13;
2887#line 175
2888 __cil_tmp17 = (unsigned long )s;
2889#line 175
2890 __cil_tmp18 = __cil_tmp17 + 236;
2891#line 175
2892 __cil_tmp19 = data + 1;
2893#line 175
2894 __cil_tmp20 = *__cil_tmp19;
2895#line 175
2896 __cil_tmp21 = data + 0;
2897#line 175
2898 __cil_tmp22 = *__cil_tmp21;
2899#line 175
2900 __cil_tmp23 = __cil_tmp22 & __cil_tmp20;
2901#line 175
2902 __cil_tmp24 = (unsigned long )s;
2903#line 175
2904 __cil_tmp25 = __cil_tmp24 + 236;
2905#line 175
2906 __cil_tmp26 = *((unsigned int *)__cil_tmp25);
2907#line 175
2908 *((unsigned int *)__cil_tmp18) = __cil_tmp26 | __cil_tmp23;
2909#line 177
2910 __cil_tmp27 = (unsigned long )s;
2911#line 177
2912 __cil_tmp28 = __cil_tmp27 + 236;
2913#line 177
2914 __cil_tmp29 = *((unsigned int *)__cil_tmp28);
2915#line 177
2916 __cil_tmp30 = __cil_tmp29 << 16;
2917#line 177
2918 __cil_tmp31 = __cil_tmp30 & 4294967295U;
2919#line 177
2920 __cil_tmp32 = (unsigned long )dev;
2921#line 177
2922 __cil_tmp33 = __cil_tmp32 + 184;
2923#line 177
2924 __cil_tmp34 = *((unsigned long *)__cil_tmp33);
2925#line 177
2926 __cil_tmp35 = (int )__cil_tmp34;
2927#line 177
2928 outl(__cil_tmp31, __cil_tmp35);
2929 }
2930 } else {
2931
2932 }
2933 }
2934#line 180
2935 return (2);
2936}
2937}
2938#line 183 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
2939static int adl_pci7230_di_insn_bits(struct comedi_device *dev , struct comedi_subdevice *s ,
2940 struct comedi_insn *insn , unsigned int *data )
2941{ unsigned int tmp ;
2942 unsigned long __cil_tmp6 ;
2943 unsigned long __cil_tmp7 ;
2944 unsigned int __cil_tmp8 ;
2945 unsigned long __cil_tmp9 ;
2946 unsigned long __cil_tmp10 ;
2947 unsigned long __cil_tmp11 ;
2948 int __cil_tmp12 ;
2949 unsigned int *__cil_tmp13 ;
2950
2951 {
2952 {
2953#line 188
2954 __cil_tmp6 = (unsigned long )insn;
2955#line 188
2956 __cil_tmp7 = __cil_tmp6 + 4;
2957#line 188
2958 __cil_tmp8 = *((unsigned int *)__cil_tmp7);
2959#line 188
2960 if (__cil_tmp8 != 2U) {
2961#line 189
2962 return (-22);
2963 } else {
2964
2965 }
2966 }
2967 {
2968#line 191
2969 __cil_tmp9 = (unsigned long )dev;
2970#line 191
2971 __cil_tmp10 = __cil_tmp9 + 184;
2972#line 191
2973 __cil_tmp11 = *((unsigned long *)__cil_tmp10);
2974#line 191
2975 __cil_tmp12 = (int )__cil_tmp11;
2976#line 191
2977 tmp = inl(__cil_tmp12);
2978#line 191
2979 __cil_tmp13 = data + 1;
2980#line 191
2981 *__cil_tmp13 = tmp & 4294967295U;
2982 }
2983#line 193
2984 return (2);
2985}
2986}
2987#line 196
2988static int driver_adl_pci7230_pci_probe(struct pci_dev *dev , struct pci_device_id const *ent ) __attribute__((__section__(".devinit.text"),
2989__no_instrument_function__)) ;
2990#line 196 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
2991static int driver_adl_pci7230_pci_probe(struct pci_dev *dev , struct pci_device_id const *ent )
2992{ int tmp ;
2993 unsigned long __cil_tmp4 ;
2994 char const *__cil_tmp5 ;
2995
2996 {
2997 {
2998#line 200
2999 __cil_tmp4 = (unsigned long )(& driver_adl_pci7230) + 8;
3000#line 200
3001 __cil_tmp5 = *((char const **)__cil_tmp4);
3002#line 200
3003 tmp = comedi_pci_auto_config(dev, __cil_tmp5);
3004 }
3005#line 200
3006 return (tmp);
3007}
3008}
3009#line 203
3010static void driver_adl_pci7230_pci_remove(struct pci_dev *dev ) __attribute__((__section__(".devexit.text"),
3011__no_instrument_function__)) ;
3012#line 203 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3013static void driver_adl_pci7230_pci_remove(struct pci_dev *dev )
3014{
3015
3016 {
3017 {
3018#line 205
3019 comedi_pci_auto_unconfig(dev);
3020 }
3021#line 206
3022 return;
3023}
3024}
3025#line 208 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3026static struct pci_driver driver_adl_pci7230_pci_driver =
3027#line 208
3028 {{(struct list_head *)0, (struct list_head *)0}, (char const *)0, adl_pci7230_pci_table,
3029 & driver_adl_pci7230_pci_probe, & driver_adl_pci7230_pci_remove, (int (*)(struct pci_dev *dev ,
3030 pm_message_t state ))0,
3031 (int (*)(struct pci_dev *dev , pm_message_t state ))0, (int (*)(struct pci_dev *dev ))0,
3032 (int (*)(struct pci_dev *dev ))0, (void (*)(struct pci_dev *dev ))0, (struct pci_error_handlers *)0,
3033 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
3034 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device *dev ))0,
3035 (int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
3036 pm_message_t state ))0,
3037 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
3038 (struct driver_private *)0}, {{{{{{0U}}, 0U, 0U, (void *)0}}}, {(struct list_head *)0,
3039 (struct list_head *)0}}};
3040#line 214
3041static int driver_adl_pci7230_init_module(void) __attribute__((__section__(".init.text"),
3042__no_instrument_function__)) ;
3043#line 214 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3044static int driver_adl_pci7230_init_module(void)
3045{ int retval ;
3046 int tmp ;
3047 unsigned long __cil_tmp3 ;
3048 unsigned long __cil_tmp4 ;
3049 char const *__cil_tmp5 ;
3050 char *__cil_tmp6 ;
3051
3052 {
3053 {
3054#line 218
3055 retval = comedi_driver_register(& driver_adl_pci7230);
3056 }
3057#line 219
3058 if (retval < 0) {
3059#line 220
3060 return (retval);
3061 } else {
3062
3063 }
3064 {
3065#line 222
3066 __cil_tmp3 = (unsigned long )(& driver_adl_pci7230_pci_driver) + 16;
3067#line 222
3068 __cil_tmp4 = (unsigned long )(& driver_adl_pci7230) + 8;
3069#line 222
3070 __cil_tmp5 = *((char const **)__cil_tmp4);
3071#line 222
3072 __cil_tmp6 = (char *)__cil_tmp5;
3073#line 222
3074 *((char const **)__cil_tmp3) = (char const *)__cil_tmp6;
3075#line 224
3076 tmp = (int )__pci_register_driver(& driver_adl_pci7230_pci_driver, & __this_module,
3077 "adl_pci7230");
3078 }
3079#line 224
3080 return (tmp);
3081}
3082}
3083#line 227
3084static void driver_adl_pci7230_cleanup_module(void) __attribute__((__section__(".exit.text"),
3085__no_instrument_function__)) ;
3086#line 227 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3087static void driver_adl_pci7230_cleanup_module(void)
3088{
3089
3090 {
3091 {
3092#line 229
3093 pci_unregister_driver(& driver_adl_pci7230_pci_driver);
3094#line 230
3095 comedi_driver_unregister(& driver_adl_pci7230);
3096 }
3097#line 231
3098 return;
3099}
3100}
3101#line 233 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3102int init_module(void)
3103{ int tmp ;
3104
3105 {
3106 {
3107#line 233
3108 tmp = driver_adl_pci7230_init_module();
3109 }
3110#line 233
3111 return (tmp);
3112}
3113}
3114#line 234 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3115void cleanup_module(void)
3116{
3117
3118 {
3119 {
3120#line 234
3121 driver_adl_pci7230_cleanup_module();
3122 }
3123#line 234
3124 return;
3125}
3126}
3127#line 236 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3128static char const __mod_author236[36] __attribute__((__used__, __unused__, __section__(".modinfo"),
3129__aligned__(1))) =
3130#line 236
3131 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3132 (char const )'o', (char const )'r', (char const )'=', (char const )'C',
3133 (char const )'o', (char const )'m', (char const )'e', (char const )'d',
3134 (char const )'i', (char const )' ', (char const )'h', (char const )'t',
3135 (char const )'t', (char const )'p', (char const )':', (char const )'/',
3136 (char const )'/', (char const )'w', (char const )'w', (char const )'w',
3137 (char const )'.', (char const )'c', (char const )'o', (char const )'m',
3138 (char const )'e', (char const )'d', (char const )'i', (char const )'.',
3139 (char const )'o', (char const )'r', (char const )'g', (char const )'\000'};
3140#line 237 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3141static char const __mod_description237[36] __attribute__((__used__, __unused__,
3142__section__(".modinfo"), __aligned__(1))) =
3143#line 237
3144 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3145 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3146 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3147 (char const )'C', (char const )'o', (char const )'m', (char const )'e',
3148 (char const )'d', (char const )'i', (char const )' ', (char const )'l',
3149 (char const )'o', (char const )'w', (char const )'-', (char const )'l',
3150 (char const )'e', (char const )'v', (char const )'e', (char const )'l',
3151 (char const )' ', (char const )'d', (char const )'r', (char const )'i',
3152 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
3153#line 238 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3154static char const __mod_license238[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
3155__aligned__(1))) =
3156#line 238
3157 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3158 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3159 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
3160#line 256
3161void ldv_check_final_state(void) ;
3162#line 262
3163extern void ldv_initialize(void) ;
3164#line 265
3165extern int __VERIFIER_nondet_int(void) ;
3166#line 268 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3167int LDV_IN_INTERRUPT ;
3168#line 271 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3169void main(void)
3170{ struct comedi_device *var_group1 ;
3171 struct comedi_devconfig *var_group2 ;
3172 int tmp ;
3173 int tmp___0 ;
3174 int tmp___1 ;
3175
3176 {
3177 {
3178#line 303
3179 LDV_IN_INTERRUPT = 1;
3180#line 312
3181 ldv_initialize();
3182#line 323
3183 tmp = driver_adl_pci7230_init_module();
3184 }
3185#line 323
3186 if (tmp) {
3187#line 324
3188 goto ldv_final;
3189 } else {
3190
3191 }
3192 {
3193#line 328
3194 while (1) {
3195 while_continue: ;
3196 {
3197#line 328
3198 tmp___1 = __VERIFIER_nondet_int();
3199 }
3200#line 328
3201 if (tmp___1) {
3202
3203 } else {
3204#line 328
3205 goto while_break;
3206 }
3207 {
3208#line 331
3209 tmp___0 = __VERIFIER_nondet_int();
3210 }
3211#line 333
3212 if (tmp___0 == 0) {
3213#line 333
3214 goto case_0;
3215 } else
3216#line 354
3217 if (tmp___0 == 1) {
3218#line 354
3219 goto case_1;
3220 } else {
3221 {
3222#line 375
3223 goto switch_default;
3224#line 331
3225 if (0) {
3226 case_0:
3227 {
3228#line 346
3229 adl_pci7230_attach(var_group1, var_group2);
3230 }
3231#line 353
3232 goto switch_break;
3233 case_1:
3234 {
3235#line 367
3236 adl_pci7230_detach(var_group1);
3237 }
3238#line 374
3239 goto switch_break;
3240 switch_default:
3241#line 375
3242 goto switch_break;
3243 } else {
3244 switch_break: ;
3245 }
3246 }
3247 }
3248 }
3249 while_break: ;
3250 }
3251 {
3252#line 392
3253 driver_adl_pci7230_cleanup_module();
3254 }
3255 ldv_final:
3256 {
3257#line 395
3258 ldv_check_final_state();
3259 }
3260#line 398
3261 return;
3262}
3263}
3264#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3265void ldv_blast_assert(void)
3266{
3267
3268 {
3269 ERROR:
3270#line 6
3271 goto ERROR;
3272}
3273}
3274#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3275extern int __VERIFIER_nondet_int(void) ;
3276#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3277int ldv_mutex = 1;
3278#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3279int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3280{ int nondetermined ;
3281
3282 {
3283#line 29
3284 if (ldv_mutex == 1) {
3285
3286 } else {
3287 {
3288#line 29
3289 ldv_blast_assert();
3290 }
3291 }
3292 {
3293#line 32
3294 nondetermined = __VERIFIER_nondet_int();
3295 }
3296#line 35
3297 if (nondetermined) {
3298#line 38
3299 ldv_mutex = 2;
3300#line 40
3301 return (0);
3302 } else {
3303#line 45
3304 return (-4);
3305 }
3306}
3307}
3308#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3309int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3310{ int nondetermined ;
3311
3312 {
3313#line 57
3314 if (ldv_mutex == 1) {
3315
3316 } else {
3317 {
3318#line 57
3319 ldv_blast_assert();
3320 }
3321 }
3322 {
3323#line 60
3324 nondetermined = __VERIFIER_nondet_int();
3325 }
3326#line 63
3327 if (nondetermined) {
3328#line 66
3329 ldv_mutex = 2;
3330#line 68
3331 return (0);
3332 } else {
3333#line 73
3334 return (-4);
3335 }
3336}
3337}
3338#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3339int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3340{ int atomic_value_after_dec ;
3341
3342 {
3343#line 83
3344 if (ldv_mutex == 1) {
3345
3346 } else {
3347 {
3348#line 83
3349 ldv_blast_assert();
3350 }
3351 }
3352 {
3353#line 86
3354 atomic_value_after_dec = __VERIFIER_nondet_int();
3355 }
3356#line 89
3357 if (atomic_value_after_dec == 0) {
3358#line 92
3359 ldv_mutex = 2;
3360#line 94
3361 return (1);
3362 } else {
3363
3364 }
3365#line 98
3366 return (0);
3367}
3368}
3369#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3370void mutex_lock(struct mutex *lock )
3371{
3372
3373 {
3374#line 108
3375 if (ldv_mutex == 1) {
3376
3377 } else {
3378 {
3379#line 108
3380 ldv_blast_assert();
3381 }
3382 }
3383#line 110
3384 ldv_mutex = 2;
3385#line 111
3386 return;
3387}
3388}
3389#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3390int mutex_trylock(struct mutex *lock )
3391{ int nondetermined ;
3392
3393 {
3394#line 121
3395 if (ldv_mutex == 1) {
3396
3397 } else {
3398 {
3399#line 121
3400 ldv_blast_assert();
3401 }
3402 }
3403 {
3404#line 124
3405 nondetermined = __VERIFIER_nondet_int();
3406 }
3407#line 127
3408 if (nondetermined) {
3409#line 130
3410 ldv_mutex = 2;
3411#line 132
3412 return (1);
3413 } else {
3414#line 137
3415 return (0);
3416 }
3417}
3418}
3419#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3420void mutex_unlock(struct mutex *lock )
3421{
3422
3423 {
3424#line 147
3425 if (ldv_mutex == 2) {
3426
3427 } else {
3428 {
3429#line 147
3430 ldv_blast_assert();
3431 }
3432 }
3433#line 149
3434 ldv_mutex = 1;
3435#line 150
3436 return;
3437}
3438}
3439#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3440void ldv_check_final_state(void)
3441{
3442
3443 {
3444#line 156
3445 if (ldv_mutex == 1) {
3446
3447 } else {
3448 {
3449#line 156
3450 ldv_blast_assert();
3451 }
3452 }
3453#line 157
3454 return;
3455}
3456}
3457#line 407 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1422/dscv_tempdir/dscv/ri/32_1/drivers/staging/comedi/drivers/adl_pci7230.c.common.c"
3458long s__builtin_expect(long val , long res )
3459{
3460
3461 {
3462#line 408
3463 return (val);
3464}
3465}