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