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