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/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.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/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.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/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.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 26 "include/linux/export.h"
1820extern struct module __this_module ;
1821#line 220 "include/linux/slub_def.h"
1822extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
1823#line 223
1824void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
1825#line 11 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
1826void ldv_check_alloc_flags(gfp_t flags ) ;
1827#line 12
1828void ldv_check_alloc_nonatomic(void) ;
1829#line 14
1830struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
1831#line 792 "include/linux/device.h"
1832extern void *dev_get_drvdata(struct device const * ) ;
1833#line 793
1834extern int dev_set_drvdata(struct device * , void * ) ;
1835#line 591 "include/linux/skbuff.h"
1836extern struct sk_buff *skb_clone(struct sk_buff * , gfp_t ) ;
1837#line 595
1838struct sk_buff *ldv_skb_clone_22(struct sk_buff *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
1839#line 597
1840extern struct sk_buff *skb_copy(struct sk_buff const * , gfp_t ) ;
1841#line 601
1842struct sk_buff *ldv_skb_copy_24(struct sk_buff const *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
1843#line 606
1844extern int pskb_expand_head(struct sk_buff * , int , int , gfp_t ) ;
1845#line 611
1846int ldv_pskb_expand_head_27(struct sk_buff *ldv_func_arg1 , int ldv_func_arg2 , int ldv_func_arg3 ,
1847 gfp_t ldv_func_arg4 ) ;
1848#line 1690
1849extern struct sk_buff *__netdev_alloc_skb(struct net_device * , unsigned int , gfp_t ) ;
1850#line 1694
1851struct sk_buff *ldv___netdev_alloc_skb_25(struct net_device *ldv_func_arg1 , unsigned int ldv_func_arg2 ,
1852 gfp_t ldv_func_arg3 ) ;
1853#line 1698
1854struct sk_buff *ldv___netdev_alloc_skb_26(struct net_device *ldv_func_arg1 , unsigned int ldv_func_arg2 ,
1855 gfp_t ldv_func_arg3 ) ;
1856#line 127 "include/linux/interrupt.h"
1857extern int request_threaded_irq(unsigned int , irqreturn_t (*)(int , void * ) ,
1858 irqreturn_t (*)(int , void * ) , unsigned long ,
1859 char const * , void * ) ;
1860#line 132 "include/linux/interrupt.h"
1861__inline static int request_irq(unsigned int irq , irqreturn_t (*handler)(int , void * ) ,
1862 unsigned long flags , char const *name , void *dev )
1863{ int tmp ;
1864 irqreturn_t (*__cil_tmp7)(int , void * ) ;
1865
1866 {
1867 {
1868#line 135
1869 __cil_tmp7 = (irqreturn_t (*)(int , void * ))0;
1870#line 135
1871 tmp = request_threaded_irq(irq, handler, __cil_tmp7, flags, name, dev);
1872 }
1873#line 135
1874 return (tmp);
1875}
1876}
1877#line 184
1878extern void free_irq(unsigned int , void * ) ;
1879#line 773 "include/linux/pci.h"
1880extern int pci_enable_device(struct pci_dev * ) ;
1881#line 790
1882extern void pci_disable_device(struct pci_dev * ) ;
1883#line 793
1884extern void pci_set_master(struct pci_dev * ) ;
1885#line 940
1886extern int __pci_register_driver(struct pci_driver * , struct module * , char const * ) ;
1887#line 949
1888extern void pci_unregister_driver(struct pci_driver * ) ;
1889#line 1358 "include/linux/pci.h"
1890__inline static void *pci_get_drvdata(struct pci_dev *pdev )
1891{ void *tmp ;
1892 unsigned long __cil_tmp3 ;
1893 unsigned long __cil_tmp4 ;
1894 struct device *__cil_tmp5 ;
1895 struct device const *__cil_tmp6 ;
1896
1897 {
1898 {
1899#line 1360
1900 __cil_tmp3 = (unsigned long )pdev;
1901#line 1360
1902 __cil_tmp4 = __cil_tmp3 + 144;
1903#line 1360
1904 __cil_tmp5 = (struct device *)__cil_tmp4;
1905#line 1360
1906 __cil_tmp6 = (struct device const *)__cil_tmp5;
1907#line 1360
1908 tmp = dev_get_drvdata(__cil_tmp6);
1909 }
1910#line 1360
1911 return (tmp);
1912}
1913}
1914#line 1363 "include/linux/pci.h"
1915__inline static void pci_set_drvdata(struct pci_dev *pdev , void *data )
1916{ unsigned long __cil_tmp3 ;
1917 unsigned long __cil_tmp4 ;
1918 struct device *__cil_tmp5 ;
1919
1920 {
1921 {
1922#line 1365
1923 __cil_tmp3 = (unsigned long )pdev;
1924#line 1365
1925 __cil_tmp4 = __cil_tmp3 + 144;
1926#line 1365
1927 __cil_tmp5 = (struct device *)__cil_tmp4;
1928#line 1365
1929 dev_set_drvdata(__cil_tmp5, data);
1930 }
1931#line 1366
1932 return;
1933}
1934}
1935#line 78 "include/linux/isdn/capilli.h"
1936extern int attach_capi_ctr(struct capi_ctr * ) ;
1937#line 79
1938extern int detach_capi_ctr(struct capi_ctr * ) ;
1939#line 100
1940extern void register_capi_driver(struct capi_driver * ) ;
1941#line 101
1942extern void unregister_capi_driver(struct capi_driver * ) ;
1943#line 542 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1944extern avmcard *b1_alloc_card(int ) ;
1945#line 543
1946extern void b1_free_card(avmcard * ) ;
1947#line 561
1948extern avmcard_dmainfo *avmcard_dma_alloc(char * , struct pci_dev * , long , long ) ;
1949#line 563
1950extern void avmcard_dma_free(avmcard_dmainfo * ) ;
1951#line 567
1952extern int t1pci_detect(avmcard * ) ;
1953#line 568
1954extern void b1dma_reset(avmcard * ) ;
1955#line 569
1956extern irqreturn_t b1dma_interrupt(int , void * ) ;
1957#line 571
1958extern int b1dma_load_firmware(struct capi_ctr * , capiloaddata * ) ;
1959#line 572
1960extern void b1dma_reset_ctr(struct capi_ctr * ) ;
1961#line 574
1962extern void b1dma_register_appl(struct capi_ctr * , u16 , capi_register_params * ) ;
1963#line 577
1964extern void b1dma_release_appl(struct capi_ctr * , u16 ) ;
1965#line 578
1966extern u16 b1dma_send_message(struct capi_ctr * , struct sk_buff * ) ;
1967#line 579
1968extern struct file_operations const b1dmactl_proc_fops ;
1969#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
1970static char *revision = (char *)"$Revision: 1.1.2.2 $";
1971#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
1972static struct pci_device_id t1pci_pci_tbl[2U] = { {4676U, 4608U, 4294967295U, 4294967295U, 0U, 0U, 0UL},
1973 {0U, 0U, 0U, 0U, 0U, 0U, 0UL}};
1974#line 55 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
1975struct pci_device_id const __mod_pci_device_table ;
1976#line 62
1977static char *t1pci_procinfo(struct capi_ctr *ctrl ) ;
1978#line 64 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
1979static int t1pci_add_card(struct capicardparams *p , struct pci_dev *pdev )
1980{ avmcard *card ;
1981 avmctrl_info *cinfo ;
1982 int retval ;
1983 struct resource *tmp ;
1984 avmcard *__cil_tmp7 ;
1985 unsigned long __cil_tmp8 ;
1986 unsigned long __cil_tmp9 ;
1987 unsigned long __cil_tmp10 ;
1988 unsigned long __cil_tmp11 ;
1989 char *__cil_tmp12 ;
1990 avmcard_dmainfo *__cil_tmp13 ;
1991 unsigned long __cil_tmp14 ;
1992 unsigned long __cil_tmp15 ;
1993 unsigned long __cil_tmp16 ;
1994 avmcard_dmainfo *__cil_tmp17 ;
1995 unsigned long __cil_tmp18 ;
1996 unsigned long __cil_tmp19 ;
1997 unsigned long __cil_tmp20 ;
1998 char (*__cil_tmp21)[32U] ;
1999 char *__cil_tmp22 ;
2000 unsigned int __cil_tmp23 ;
2001 unsigned long __cil_tmp24 ;
2002 unsigned long __cil_tmp25 ;
2003 unsigned long __cil_tmp26 ;
2004 unsigned long __cil_tmp27 ;
2005 unsigned long __cil_tmp28 ;
2006 unsigned long __cil_tmp29 ;
2007 unsigned long __cil_tmp30 ;
2008 unsigned long __cil_tmp31 ;
2009 unsigned long __cil_tmp32 ;
2010 unsigned long __cil_tmp33 ;
2011 unsigned int __cil_tmp34 ;
2012 unsigned long __cil_tmp35 ;
2013 unsigned long __cil_tmp36 ;
2014 unsigned long __cil_tmp37 ;
2015 unsigned long __cil_tmp38 ;
2016 unsigned int __cil_tmp39 ;
2017 resource_size_t __cil_tmp40 ;
2018 char (*__cil_tmp41)[32U] ;
2019 char const *__cil_tmp42 ;
2020 struct resource *__cil_tmp43 ;
2021 unsigned long __cil_tmp44 ;
2022 unsigned long __cil_tmp45 ;
2023 unsigned long __cil_tmp46 ;
2024 unsigned long __cil_tmp47 ;
2025 unsigned int __cil_tmp48 ;
2026 unsigned long __cil_tmp49 ;
2027 unsigned long __cil_tmp50 ;
2028 unsigned int __cil_tmp51 ;
2029 unsigned int __cil_tmp52 ;
2030 unsigned long __cil_tmp53 ;
2031 unsigned long __cil_tmp54 ;
2032 unsigned long __cil_tmp55 ;
2033 unsigned long __cil_tmp56 ;
2034 unsigned long __cil_tmp57 ;
2035 resource_size_t __cil_tmp58 ;
2036 void *__cil_tmp59 ;
2037 unsigned long __cil_tmp60 ;
2038 unsigned long __cil_tmp61 ;
2039 unsigned long __cil_tmp62 ;
2040 void *__cil_tmp63 ;
2041 unsigned long __cil_tmp64 ;
2042 unsigned long __cil_tmp65 ;
2043 unsigned long __cil_tmp66 ;
2044 unsigned long __cil_tmp67 ;
2045 unsigned long __cil_tmp68 ;
2046 unsigned long __cil_tmp69 ;
2047 unsigned int __cil_tmp70 ;
2048 unsigned long __cil_tmp71 ;
2049 unsigned long __cil_tmp72 ;
2050 unsigned int __cil_tmp73 ;
2051 unsigned long __cil_tmp74 ;
2052 unsigned long __cil_tmp75 ;
2053 unsigned int __cil_tmp76 ;
2054 char (*__cil_tmp77)[32U] ;
2055 char const *__cil_tmp78 ;
2056 void *__cil_tmp79 ;
2057 unsigned long __cil_tmp80 ;
2058 unsigned long __cil_tmp81 ;
2059 unsigned int __cil_tmp82 ;
2060 unsigned long __cil_tmp83 ;
2061 unsigned long __cil_tmp84 ;
2062 unsigned long __cil_tmp85 ;
2063 unsigned long __cil_tmp86 ;
2064 unsigned long __cil_tmp87 ;
2065 unsigned long __cil_tmp88 ;
2066 unsigned long __cil_tmp89 ;
2067 unsigned long __cil_tmp90 ;
2068 unsigned long __cil_tmp91 ;
2069 unsigned long __cil_tmp92 ;
2070 unsigned long __cil_tmp93 ;
2071 unsigned long __cil_tmp94 ;
2072 unsigned long __cil_tmp95 ;
2073 unsigned long __cil_tmp96 ;
2074 unsigned long __cil_tmp97 ;
2075 unsigned long __cil_tmp98 ;
2076 unsigned long __cil_tmp99 ;
2077 unsigned long __cil_tmp100 ;
2078 unsigned long __cil_tmp101 ;
2079 unsigned long __cil_tmp102 ;
2080 unsigned long __cil_tmp103 ;
2081 unsigned long __cil_tmp104 ;
2082 unsigned long __cil_tmp105 ;
2083 unsigned long __cil_tmp106 ;
2084 unsigned long __cil_tmp107 ;
2085 unsigned long __cil_tmp108 ;
2086 unsigned long __cil_tmp109 ;
2087 unsigned long __cil_tmp110 ;
2088 unsigned long __cil_tmp111 ;
2089 unsigned long __cil_tmp112 ;
2090 unsigned long __cil_tmp113 ;
2091 unsigned long __cil_tmp114 ;
2092 char (*__cil_tmp115)[32U] ;
2093 char *__cil_tmp116 ;
2094 char (*__cil_tmp117)[32U] ;
2095 char const *__cil_tmp118 ;
2096 unsigned long __cil_tmp119 ;
2097 unsigned long __cil_tmp120 ;
2098 struct capi_ctr *__cil_tmp121 ;
2099 unsigned long __cil_tmp122 ;
2100 unsigned long __cil_tmp123 ;
2101 unsigned long __cil_tmp124 ;
2102 unsigned long __cil_tmp125 ;
2103 unsigned long __cil_tmp126 ;
2104 unsigned long __cil_tmp127 ;
2105 unsigned long __cil_tmp128 ;
2106 unsigned int __cil_tmp129 ;
2107 unsigned long __cil_tmp130 ;
2108 unsigned long __cil_tmp131 ;
2109 unsigned int __cil_tmp132 ;
2110 unsigned long __cil_tmp133 ;
2111 unsigned long __cil_tmp134 ;
2112 unsigned long __cil_tmp135 ;
2113 void *__cil_tmp136 ;
2114 unsigned long __cil_tmp137 ;
2115 unsigned long __cil_tmp138 ;
2116 unsigned int __cil_tmp139 ;
2117 void *__cil_tmp140 ;
2118 unsigned long __cil_tmp141 ;
2119 unsigned long __cil_tmp142 ;
2120 void *__cil_tmp143 ;
2121 void volatile *__cil_tmp144 ;
2122 unsigned long __cil_tmp145 ;
2123 unsigned long __cil_tmp146 ;
2124 unsigned int __cil_tmp147 ;
2125 resource_size_t __cil_tmp148 ;
2126 unsigned long __cil_tmp149 ;
2127 unsigned long __cil_tmp150 ;
2128 avmcard_dmainfo *__cil_tmp151 ;
2129
2130 {
2131 {
2132#line 70
2133 card = b1_alloc_card(1);
2134 }
2135 {
2136#line 71
2137 __cil_tmp7 = (avmcard *)0;
2138#line 71
2139 __cil_tmp8 = (unsigned long )__cil_tmp7;
2140#line 71
2141 __cil_tmp9 = (unsigned long )card;
2142#line 71
2143 if (__cil_tmp9 == __cil_tmp8) {
2144 {
2145#line 72
2146 printk("<4>t1pci: no memory.\n");
2147#line 73
2148 retval = -12;
2149 }
2150#line 74
2151 goto err;
2152 } else {
2153
2154 }
2155 }
2156 {
2157#line 77
2158 __cil_tmp10 = (unsigned long )card;
2159#line 77
2160 __cil_tmp11 = __cil_tmp10 + 2328;
2161#line 77
2162 __cil_tmp12 = (char *)"t1pci";
2163#line 77
2164 *((avmcard_dmainfo **)__cil_tmp11) = avmcard_dma_alloc(__cil_tmp12, pdev, 2176L,
2165 2176L);
2166 }
2167 {
2168#line 78
2169 __cil_tmp13 = (avmcard_dmainfo *)0;
2170#line 78
2171 __cil_tmp14 = (unsigned long )__cil_tmp13;
2172#line 78
2173 __cil_tmp15 = (unsigned long )card;
2174#line 78
2175 __cil_tmp16 = __cil_tmp15 + 2328;
2176#line 78
2177 __cil_tmp17 = *((avmcard_dmainfo **)__cil_tmp16);
2178#line 78
2179 __cil_tmp18 = (unsigned long )__cil_tmp17;
2180#line 78
2181 if (__cil_tmp18 == __cil_tmp14) {
2182 {
2183#line 79
2184 printk("<4>t1pci: no memory.\n");
2185#line 80
2186 retval = -12;
2187 }
2188#line 81
2189 goto err_free;
2190 } else {
2191
2192 }
2193 }
2194 {
2195#line 84
2196 __cil_tmp19 = (unsigned long )card;
2197#line 84
2198 __cil_tmp20 = __cil_tmp19 + 2336;
2199#line 84
2200 cinfo = *((struct avmctrl_info **)__cil_tmp20);
2201#line 85
2202 __cil_tmp21 = (char (*)[32U])card;
2203#line 85
2204 __cil_tmp22 = (char *)__cil_tmp21;
2205#line 85
2206 __cil_tmp23 = *((unsigned int *)p);
2207#line 85
2208 sprintf(__cil_tmp22, "t1pci-%x", __cil_tmp23);
2209#line 86
2210 __cil_tmp24 = (unsigned long )card;
2211#line 86
2212 __cil_tmp25 = __cil_tmp24 + 104;
2213#line 86
2214 *((unsigned int *)__cil_tmp25) = *((unsigned int *)p);
2215#line 87
2216 __cil_tmp26 = (unsigned long )card;
2217#line 87
2218 __cil_tmp27 = __cil_tmp26 + 108;
2219#line 87
2220 __cil_tmp28 = (unsigned long )p;
2221#line 87
2222 __cil_tmp29 = __cil_tmp28 + 4;
2223#line 87
2224 *((unsigned int *)__cil_tmp27) = *((unsigned int *)__cil_tmp29);
2225#line 88
2226 __cil_tmp30 = (unsigned long )card;
2227#line 88
2228 __cil_tmp31 = __cil_tmp30 + 112;
2229#line 88
2230 __cil_tmp32 = (unsigned long )p;
2231#line 88
2232 __cil_tmp33 = __cil_tmp32 + 16;
2233#line 88
2234 __cil_tmp34 = *((unsigned int *)__cil_tmp33);
2235#line 88
2236 *((unsigned long *)__cil_tmp31) = (unsigned long )__cil_tmp34;
2237#line 89
2238 __cil_tmp35 = (unsigned long )card;
2239#line 89
2240 __cil_tmp36 = __cil_tmp35 + 120;
2241#line 89
2242 *((enum avmcardtype *)__cil_tmp36) = (enum avmcardtype )6;
2243#line 91
2244 __cil_tmp37 = (unsigned long )card;
2245#line 91
2246 __cil_tmp38 = __cil_tmp37 + 104;
2247#line 91
2248 __cil_tmp39 = *((unsigned int *)__cil_tmp38);
2249#line 91
2250 __cil_tmp40 = (resource_size_t )__cil_tmp39;
2251#line 91
2252 __cil_tmp41 = (char (*)[32U])card;
2253#line 91
2254 __cil_tmp42 = (char const *)__cil_tmp41;
2255#line 91
2256 tmp = __request_region(& ioport_resource, __cil_tmp40, 31ULL, __cil_tmp42, 0);
2257 }
2258 {
2259#line 91
2260 __cil_tmp43 = (struct resource *)0;
2261#line 91
2262 __cil_tmp44 = (unsigned long )__cil_tmp43;
2263#line 91
2264 __cil_tmp45 = (unsigned long )tmp;
2265#line 91
2266 if (__cil_tmp45 == __cil_tmp44) {
2267 {
2268#line 92
2269 __cil_tmp46 = (unsigned long )card;
2270#line 92
2271 __cil_tmp47 = __cil_tmp46 + 104;
2272#line 92
2273 __cil_tmp48 = *((unsigned int *)__cil_tmp47);
2274#line 92
2275 __cil_tmp49 = (unsigned long )card;
2276#line 92
2277 __cil_tmp50 = __cil_tmp49 + 104;
2278#line 92
2279 __cil_tmp51 = *((unsigned int *)__cil_tmp50);
2280#line 92
2281 __cil_tmp52 = __cil_tmp51 + 31U;
2282#line 92
2283 printk("<4>t1pci: ports 0x%03x-0x%03x in use.\n", __cil_tmp48, __cil_tmp52);
2284#line 94
2285 retval = -16;
2286 }
2287#line 95
2288 goto err_free_dma;
2289 } else {
2290
2291 }
2292 }
2293 {
2294#line 98
2295 __cil_tmp53 = (unsigned long )card;
2296#line 98
2297 __cil_tmp54 = __cil_tmp53 + 2312;
2298#line 98
2299 __cil_tmp55 = (unsigned long )card;
2300#line 98
2301 __cil_tmp56 = __cil_tmp55 + 112;
2302#line 98
2303 __cil_tmp57 = *((unsigned long *)__cil_tmp56);
2304#line 98
2305 __cil_tmp58 = (resource_size_t )__cil_tmp57;
2306#line 98
2307 *((void **)__cil_tmp54) = ioremap(__cil_tmp58, 64UL);
2308 }
2309 {
2310#line 99
2311 __cil_tmp59 = (void *)0;
2312#line 99
2313 __cil_tmp60 = (unsigned long )__cil_tmp59;
2314#line 99
2315 __cil_tmp61 = (unsigned long )card;
2316#line 99
2317 __cil_tmp62 = __cil_tmp61 + 2312;
2318#line 99
2319 __cil_tmp63 = *((void **)__cil_tmp62);
2320#line 99
2321 __cil_tmp64 = (unsigned long )__cil_tmp63;
2322#line 99
2323 if (__cil_tmp64 == __cil_tmp60) {
2324 {
2325#line 100
2326 __cil_tmp65 = (unsigned long )card;
2327#line 100
2328 __cil_tmp66 = __cil_tmp65 + 112;
2329#line 100
2330 __cil_tmp67 = *((unsigned long *)__cil_tmp66);
2331#line 100
2332 printk("<5>t1pci: can\'t remap memory at 0x%lx\n", __cil_tmp67);
2333#line 102
2334 retval = -5;
2335 }
2336#line 103
2337 goto err_release_region;
2338 } else {
2339
2340 }
2341 }
2342 {
2343#line 106
2344 b1dma_reset(card);
2345#line 108
2346 retval = t1pci_detect(card);
2347 }
2348#line 109
2349 if (retval != 0) {
2350#line 110
2351 if (retval <= 5) {
2352 {
2353#line 111
2354 __cil_tmp68 = (unsigned long )card;
2355#line 111
2356 __cil_tmp69 = __cil_tmp68 + 104;
2357#line 111
2358 __cil_tmp70 = *((unsigned int *)__cil_tmp69);
2359#line 111
2360 printk("<5>t1pci: NO card at 0x%x (%d)\n", __cil_tmp70, retval);
2361 }
2362 } else {
2363 {
2364#line 114
2365 __cil_tmp71 = (unsigned long )card;
2366#line 114
2367 __cil_tmp72 = __cil_tmp71 + 104;
2368#line 114
2369 __cil_tmp73 = *((unsigned int *)__cil_tmp72);
2370#line 114
2371 printk("<5>t1pci: card at 0x%x, but cable not connected or T1 has no power (%d)\n",
2372 __cil_tmp73, retval);
2373 }
2374 }
2375#line 116
2376 retval = -5;
2377#line 117
2378 goto err_unmap;
2379 } else {
2380
2381 }
2382 {
2383#line 119
2384 b1dma_reset(card);
2385#line 121
2386 __cil_tmp74 = (unsigned long )card;
2387#line 121
2388 __cil_tmp75 = __cil_tmp74 + 108;
2389#line 121
2390 __cil_tmp76 = *((unsigned int *)__cil_tmp75);
2391#line 121
2392 __cil_tmp77 = (char (*)[32U])card;
2393#line 121
2394 __cil_tmp78 = (char const *)__cil_tmp77;
2395#line 121
2396 __cil_tmp79 = (void *)card;
2397#line 121
2398 retval = request_irq(__cil_tmp76, & b1dma_interrupt, 128UL, __cil_tmp78, __cil_tmp79);
2399 }
2400#line 122
2401 if (retval != 0) {
2402 {
2403#line 123
2404 __cil_tmp80 = (unsigned long )card;
2405#line 123
2406 __cil_tmp81 = __cil_tmp80 + 108;
2407#line 123
2408 __cil_tmp82 = *((unsigned int *)__cil_tmp81);
2409#line 123
2410 printk("<3>t1pci: unable to get IRQ %d.\n", __cil_tmp82);
2411#line 124
2412 retval = -16;
2413 }
2414#line 125
2415 goto err_unmap;
2416 } else {
2417
2418 }
2419 {
2420#line 128
2421 __cil_tmp83 = (unsigned long )cinfo;
2422#line 128
2423 __cil_tmp84 = __cil_tmp83 + 1264;
2424#line 128
2425 *((struct module **)__cil_tmp84) = & __this_module;
2426#line 129
2427 __cil_tmp85 = 1264 + 48;
2428#line 129
2429 __cil_tmp86 = (unsigned long )cinfo;
2430#line 129
2431 __cil_tmp87 = __cil_tmp86 + __cil_tmp85;
2432#line 129
2433 *((char **)__cil_tmp87) = (char *)"t1pci";
2434#line 130
2435 __cil_tmp88 = 1264 + 8;
2436#line 130
2437 __cil_tmp89 = (unsigned long )cinfo;
2438#line 130
2439 __cil_tmp90 = __cil_tmp89 + __cil_tmp88;
2440#line 130
2441 *((void **)__cil_tmp90) = (void *)cinfo;
2442#line 131
2443 __cil_tmp91 = 1264 + 72;
2444#line 131
2445 __cil_tmp92 = (unsigned long )cinfo;
2446#line 131
2447 __cil_tmp93 = __cil_tmp92 + __cil_tmp91;
2448#line 131
2449 *((void (**)(struct capi_ctr * , u16 , capi_register_params * ))__cil_tmp93) = & b1dma_register_appl;
2450#line 132
2451 __cil_tmp94 = 1264 + 80;
2452#line 132
2453 __cil_tmp95 = (unsigned long )cinfo;
2454#line 132
2455 __cil_tmp96 = __cil_tmp95 + __cil_tmp94;
2456#line 132
2457 *((void (**)(struct capi_ctr * , u16 ))__cil_tmp96) = & b1dma_release_appl;
2458#line 133
2459 __cil_tmp97 = 1264 + 88;
2460#line 133
2461 __cil_tmp98 = (unsigned long )cinfo;
2462#line 133
2463 __cil_tmp99 = __cil_tmp98 + __cil_tmp97;
2464#line 133
2465 *((u16 (**)(struct capi_ctr * , struct sk_buff * ))__cil_tmp99) = & b1dma_send_message;
2466#line 134
2467 __cil_tmp100 = 1264 + 56;
2468#line 134
2469 __cil_tmp101 = (unsigned long )cinfo;
2470#line 134
2471 __cil_tmp102 = __cil_tmp101 + __cil_tmp100;
2472#line 134
2473 *((int (**)(struct capi_ctr * , capiloaddata * ))__cil_tmp102) = & b1dma_load_firmware;
2474#line 135
2475 __cil_tmp103 = 1264 + 64;
2476#line 135
2477 __cil_tmp104 = (unsigned long )cinfo;
2478#line 135
2479 __cil_tmp105 = __cil_tmp104 + __cil_tmp103;
2480#line 135
2481 *((void (**)(struct capi_ctr * ))__cil_tmp105) = & b1dma_reset_ctr;
2482#line 136
2483 __cil_tmp106 = 1264 + 96;
2484#line 136
2485 __cil_tmp107 = (unsigned long )cinfo;
2486#line 136
2487 __cil_tmp108 = __cil_tmp107 + __cil_tmp106;
2488#line 136
2489 *((char *(**)(struct capi_ctr * ))__cil_tmp108) = & t1pci_procinfo;
2490#line 137
2491 __cil_tmp109 = 1264 + 104;
2492#line 137
2493 __cil_tmp110 = (unsigned long )cinfo;
2494#line 137
2495 __cil_tmp111 = __cil_tmp110 + __cil_tmp109;
2496#line 137
2497 *((struct file_operations const **)__cil_tmp111) = & b1dmactl_proc_fops;
2498#line 138
2499 __cil_tmp112 = 1264 + 16;
2500#line 138
2501 __cil_tmp113 = (unsigned long )cinfo;
2502#line 138
2503 __cil_tmp114 = __cil_tmp113 + __cil_tmp112;
2504#line 138
2505 __cil_tmp115 = (char (*)[32U])__cil_tmp114;
2506#line 138
2507 __cil_tmp116 = (char *)__cil_tmp115;
2508#line 138
2509 __cil_tmp117 = (char (*)[32U])card;
2510#line 138
2511 __cil_tmp118 = (char const *)__cil_tmp117;
2512#line 138
2513 strcpy(__cil_tmp116, __cil_tmp118);
2514#line 140
2515 __cil_tmp119 = (unsigned long )cinfo;
2516#line 140
2517 __cil_tmp120 = __cil_tmp119 + 1264;
2518#line 140
2519 __cil_tmp121 = (struct capi_ctr *)__cil_tmp120;
2520#line 140
2521 retval = attach_capi_ctr(__cil_tmp121);
2522 }
2523#line 141
2524 if (retval != 0) {
2525 {
2526#line 142
2527 printk("<3>t1pci: attach controller failed.\n");
2528#line 143
2529 retval = -16;
2530 }
2531#line 144
2532 goto err_free_irq;
2533 } else {
2534
2535 }
2536 {
2537#line 146
2538 __cil_tmp122 = (unsigned long )card;
2539#line 146
2540 __cil_tmp123 = __cil_tmp122 + 128;
2541#line 146
2542 __cil_tmp124 = 1264 + 296;
2543#line 146
2544 __cil_tmp125 = (unsigned long )cinfo;
2545#line 146
2546 __cil_tmp126 = __cil_tmp125 + __cil_tmp124;
2547#line 146
2548 *((int *)__cil_tmp123) = *((int *)__cil_tmp126);
2549#line 148
2550 __cil_tmp127 = (unsigned long )card;
2551#line 148
2552 __cil_tmp128 = __cil_tmp127 + 104;
2553#line 148
2554 __cil_tmp129 = *((unsigned int *)__cil_tmp128);
2555#line 148
2556 __cil_tmp130 = (unsigned long )card;
2557#line 148
2558 __cil_tmp131 = __cil_tmp130 + 108;
2559#line 148
2560 __cil_tmp132 = *((unsigned int *)__cil_tmp131);
2561#line 148
2562 __cil_tmp133 = (unsigned long )card;
2563#line 148
2564 __cil_tmp134 = __cil_tmp133 + 112;
2565#line 148
2566 __cil_tmp135 = *((unsigned long *)__cil_tmp134);
2567#line 148
2568 printk("<6>t1pci: AVM T1 PCI at i/o %#x, irq %d, mem %#lx\n", __cil_tmp129, __cil_tmp132,
2569 __cil_tmp135);
2570#line 151
2571 __cil_tmp136 = (void *)card;
2572#line 151
2573 pci_set_drvdata(pdev, __cil_tmp136);
2574 }
2575#line 152
2576 return (0);
2577 err_free_irq:
2578 {
2579#line 155
2580 __cil_tmp137 = (unsigned long )card;
2581#line 155
2582 __cil_tmp138 = __cil_tmp137 + 108;
2583#line 155
2584 __cil_tmp139 = *((unsigned int *)__cil_tmp138);
2585#line 155
2586 __cil_tmp140 = (void *)card;
2587#line 155
2588 free_irq(__cil_tmp139, __cil_tmp140);
2589 }
2590 err_unmap:
2591 {
2592#line 157
2593 __cil_tmp141 = (unsigned long )card;
2594#line 157
2595 __cil_tmp142 = __cil_tmp141 + 2312;
2596#line 157
2597 __cil_tmp143 = *((void **)__cil_tmp142);
2598#line 157
2599 __cil_tmp144 = (void volatile *)__cil_tmp143;
2600#line 157
2601 iounmap(__cil_tmp144);
2602 }
2603 err_release_region:
2604 {
2605#line 159
2606 __cil_tmp145 = (unsigned long )card;
2607#line 159
2608 __cil_tmp146 = __cil_tmp145 + 104;
2609#line 159
2610 __cil_tmp147 = *((unsigned int *)__cil_tmp146);
2611#line 159
2612 __cil_tmp148 = (resource_size_t )__cil_tmp147;
2613#line 159
2614 __release_region(& ioport_resource, __cil_tmp148, 31ULL);
2615 }
2616 err_free_dma:
2617 {
2618#line 161
2619 __cil_tmp149 = (unsigned long )card;
2620#line 161
2621 __cil_tmp150 = __cil_tmp149 + 2328;
2622#line 161
2623 __cil_tmp151 = *((avmcard_dmainfo **)__cil_tmp150);
2624#line 161
2625 avmcard_dma_free(__cil_tmp151);
2626 }
2627 err_free:
2628 {
2629#line 163
2630 b1_free_card(card);
2631 }
2632 err: ;
2633#line 165
2634 return (retval);
2635}
2636}
2637#line 170 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
2638static void t1pci_remove(struct pci_dev *pdev )
2639{ avmcard *card ;
2640 void *tmp ;
2641 avmctrl_info *cinfo ;
2642 unsigned long __cil_tmp5 ;
2643 unsigned long __cil_tmp6 ;
2644 unsigned long __cil_tmp7 ;
2645 unsigned long __cil_tmp8 ;
2646 struct capi_ctr *__cil_tmp9 ;
2647 unsigned long __cil_tmp10 ;
2648 unsigned long __cil_tmp11 ;
2649 unsigned int __cil_tmp12 ;
2650 void *__cil_tmp13 ;
2651 unsigned long __cil_tmp14 ;
2652 unsigned long __cil_tmp15 ;
2653 void *__cil_tmp16 ;
2654 void volatile *__cil_tmp17 ;
2655 unsigned long __cil_tmp18 ;
2656 unsigned long __cil_tmp19 ;
2657 unsigned int __cil_tmp20 ;
2658 resource_size_t __cil_tmp21 ;
2659 unsigned long __cil_tmp22 ;
2660 unsigned long __cil_tmp23 ;
2661 avmcard_dmainfo *__cil_tmp24 ;
2662
2663 {
2664 {
2665#line 172
2666 tmp = pci_get_drvdata(pdev);
2667#line 172
2668 card = (avmcard *)tmp;
2669#line 173
2670 __cil_tmp5 = (unsigned long )card;
2671#line 173
2672 __cil_tmp6 = __cil_tmp5 + 2336;
2673#line 173
2674 cinfo = *((struct avmctrl_info **)__cil_tmp6);
2675#line 175
2676 b1dma_reset(card);
2677#line 177
2678 __cil_tmp7 = (unsigned long )cinfo;
2679#line 177
2680 __cil_tmp8 = __cil_tmp7 + 1264;
2681#line 177
2682 __cil_tmp9 = (struct capi_ctr *)__cil_tmp8;
2683#line 177
2684 detach_capi_ctr(__cil_tmp9);
2685#line 178
2686 __cil_tmp10 = (unsigned long )card;
2687#line 178
2688 __cil_tmp11 = __cil_tmp10 + 108;
2689#line 178
2690 __cil_tmp12 = *((unsigned int *)__cil_tmp11);
2691#line 178
2692 __cil_tmp13 = (void *)card;
2693#line 178
2694 free_irq(__cil_tmp12, __cil_tmp13);
2695#line 179
2696 __cil_tmp14 = (unsigned long )card;
2697#line 179
2698 __cil_tmp15 = __cil_tmp14 + 2312;
2699#line 179
2700 __cil_tmp16 = *((void **)__cil_tmp15);
2701#line 179
2702 __cil_tmp17 = (void volatile *)__cil_tmp16;
2703#line 179
2704 iounmap(__cil_tmp17);
2705#line 180
2706 __cil_tmp18 = (unsigned long )card;
2707#line 180
2708 __cil_tmp19 = __cil_tmp18 + 104;
2709#line 180
2710 __cil_tmp20 = *((unsigned int *)__cil_tmp19);
2711#line 180
2712 __cil_tmp21 = (resource_size_t )__cil_tmp20;
2713#line 180
2714 __release_region(& ioport_resource, __cil_tmp21, 31ULL);
2715#line 181
2716 __cil_tmp22 = (unsigned long )card;
2717#line 181
2718 __cil_tmp23 = __cil_tmp22 + 2328;
2719#line 181
2720 __cil_tmp24 = *((avmcard_dmainfo **)__cil_tmp23);
2721#line 181
2722 avmcard_dma_free(__cil_tmp24);
2723#line 182
2724 b1_free_card(card);
2725 }
2726#line 183
2727 return;
2728}
2729}
2730#line 187 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
2731static char *t1pci_procinfo(struct capi_ctr *ctrl )
2732{ avmctrl_info *cinfo ;
2733 unsigned long tmp ;
2734 unsigned int tmp___0 ;
2735 unsigned int tmp___1 ;
2736 char *tmp___2 ;
2737 char *tmp___3 ;
2738 unsigned long __cil_tmp8 ;
2739 unsigned long __cil_tmp9 ;
2740 void *__cil_tmp10 ;
2741 avmctrl_info *__cil_tmp11 ;
2742 unsigned long __cil_tmp12 ;
2743 unsigned long __cil_tmp13 ;
2744 struct avmcard *__cil_tmp14 ;
2745 unsigned long __cil_tmp15 ;
2746 unsigned long __cil_tmp16 ;
2747 unsigned long __cil_tmp17 ;
2748 struct avmcard *__cil_tmp18 ;
2749 unsigned long __cil_tmp19 ;
2750 unsigned long __cil_tmp20 ;
2751 unsigned long __cil_tmp21 ;
2752 struct avmcard *__cil_tmp22 ;
2753 unsigned long __cil_tmp23 ;
2754 unsigned long __cil_tmp24 ;
2755 struct avmcard *__cil_tmp25 ;
2756 unsigned long __cil_tmp26 ;
2757 unsigned long __cil_tmp27 ;
2758 unsigned long __cil_tmp28 ;
2759 struct avmcard *__cil_tmp29 ;
2760 unsigned long __cil_tmp30 ;
2761 unsigned long __cil_tmp31 ;
2762 unsigned long __cil_tmp32 ;
2763 struct avmcard *__cil_tmp33 ;
2764 unsigned long __cil_tmp34 ;
2765 unsigned long __cil_tmp35 ;
2766 struct avmcard *__cil_tmp36 ;
2767 unsigned long __cil_tmp37 ;
2768 unsigned long __cil_tmp38 ;
2769 unsigned long __cil_tmp39 ;
2770 struct avmcard *__cil_tmp40 ;
2771 unsigned long __cil_tmp41 ;
2772 unsigned long __cil_tmp42 ;
2773 unsigned long __cil_tmp43 ;
2774 struct avmcard *__cil_tmp44 ;
2775 unsigned long __cil_tmp45 ;
2776 unsigned long __cil_tmp46 ;
2777 char *__cil_tmp47 ;
2778 unsigned long __cil_tmp48 ;
2779 unsigned long __cil_tmp49 ;
2780 unsigned long __cil_tmp50 ;
2781 unsigned long __cil_tmp51 ;
2782 unsigned long __cil_tmp52 ;
2783 char *__cil_tmp53 ;
2784 unsigned long __cil_tmp54 ;
2785 unsigned long __cil_tmp55 ;
2786 unsigned long __cil_tmp56 ;
2787 unsigned long __cil_tmp57 ;
2788 unsigned long __cil_tmp58 ;
2789 unsigned long __cil_tmp59 ;
2790 unsigned long __cil_tmp60 ;
2791 unsigned long __cil_tmp61 ;
2792 unsigned long __cil_tmp62 ;
2793 char __cil_tmp63 ;
2794 signed char __cil_tmp64 ;
2795 int __cil_tmp65 ;
2796 char (*__cil_tmp66)[32U] ;
2797 unsigned long __cil_tmp67 ;
2798 unsigned long __cil_tmp68 ;
2799 char (*__cil_tmp69)[128U] ;
2800 char *__cil_tmp70 ;
2801 unsigned long __cil_tmp71 ;
2802 unsigned long __cil_tmp72 ;
2803 char (*__cil_tmp73)[128U] ;
2804
2805 {
2806#line 189
2807 __cil_tmp8 = (unsigned long )ctrl;
2808#line 189
2809 __cil_tmp9 = __cil_tmp8 + 8;
2810#line 189
2811 __cil_tmp10 = *((void **)__cil_tmp9);
2812#line 189
2813 cinfo = (avmctrl_info *)__cil_tmp10;
2814 {
2815#line 191
2816 __cil_tmp11 = (avmctrl_info *)0;
2817#line 191
2818 __cil_tmp12 = (unsigned long )__cil_tmp11;
2819#line 191
2820 __cil_tmp13 = (unsigned long )cinfo;
2821#line 191
2822 if (__cil_tmp13 == __cil_tmp12) {
2823#line 192
2824 return ((char *)"");
2825 } else {
2826
2827 }
2828 }
2829 {
2830#line 193
2831 __cil_tmp14 = (struct avmcard *)0;
2832#line 193
2833 __cil_tmp15 = (unsigned long )__cil_tmp14;
2834#line 193
2835 __cil_tmp16 = (unsigned long )cinfo;
2836#line 193
2837 __cil_tmp17 = __cil_tmp16 + 1256;
2838#line 193
2839 __cil_tmp18 = *((struct avmcard **)__cil_tmp17);
2840#line 193
2841 __cil_tmp19 = (unsigned long )__cil_tmp18;
2842#line 193
2843 if (__cil_tmp19 != __cil_tmp15) {
2844#line 193
2845 __cil_tmp20 = (unsigned long )cinfo;
2846#line 193
2847 __cil_tmp21 = __cil_tmp20 + 1256;
2848#line 193
2849 __cil_tmp22 = *((struct avmcard **)__cil_tmp21);
2850#line 193
2851 __cil_tmp23 = (unsigned long )__cil_tmp22;
2852#line 193
2853 __cil_tmp24 = __cil_tmp23 + 112;
2854#line 193
2855 tmp = *((unsigned long *)__cil_tmp24);
2856 } else {
2857#line 193
2858 tmp = 0UL;
2859 }
2860 }
2861 {
2862#line 193
2863 __cil_tmp25 = (struct avmcard *)0;
2864#line 193
2865 __cil_tmp26 = (unsigned long )__cil_tmp25;
2866#line 193
2867 __cil_tmp27 = (unsigned long )cinfo;
2868#line 193
2869 __cil_tmp28 = __cil_tmp27 + 1256;
2870#line 193
2871 __cil_tmp29 = *((struct avmcard **)__cil_tmp28);
2872#line 193
2873 __cil_tmp30 = (unsigned long )__cil_tmp29;
2874#line 193
2875 if (__cil_tmp30 != __cil_tmp26) {
2876#line 193
2877 __cil_tmp31 = (unsigned long )cinfo;
2878#line 193
2879 __cil_tmp32 = __cil_tmp31 + 1256;
2880#line 193
2881 __cil_tmp33 = *((struct avmcard **)__cil_tmp32);
2882#line 193
2883 __cil_tmp34 = (unsigned long )__cil_tmp33;
2884#line 193
2885 __cil_tmp35 = __cil_tmp34 + 108;
2886#line 193
2887 tmp___0 = *((unsigned int *)__cil_tmp35);
2888 } else {
2889#line 193
2890 tmp___0 = 0U;
2891 }
2892 }
2893 {
2894#line 193
2895 __cil_tmp36 = (struct avmcard *)0;
2896#line 193
2897 __cil_tmp37 = (unsigned long )__cil_tmp36;
2898#line 193
2899 __cil_tmp38 = (unsigned long )cinfo;
2900#line 193
2901 __cil_tmp39 = __cil_tmp38 + 1256;
2902#line 193
2903 __cil_tmp40 = *((struct avmcard **)__cil_tmp39);
2904#line 193
2905 __cil_tmp41 = (unsigned long )__cil_tmp40;
2906#line 193
2907 if (__cil_tmp41 != __cil_tmp37) {
2908#line 193
2909 __cil_tmp42 = (unsigned long )cinfo;
2910#line 193
2911 __cil_tmp43 = __cil_tmp42 + 1256;
2912#line 193
2913 __cil_tmp44 = *((struct avmcard **)__cil_tmp43);
2914#line 193
2915 __cil_tmp45 = (unsigned long )__cil_tmp44;
2916#line 193
2917 __cil_tmp46 = __cil_tmp45 + 104;
2918#line 193
2919 tmp___1 = *((unsigned int *)__cil_tmp46);
2920 } else {
2921#line 193
2922 tmp___1 = 0U;
2923 }
2924 }
2925 {
2926#line 193
2927 __cil_tmp47 = (char *)0;
2928#line 193
2929 __cil_tmp48 = (unsigned long )__cil_tmp47;
2930#line 193
2931 __cil_tmp49 = 0 * 8UL;
2932#line 193
2933 __cil_tmp50 = 1064 + __cil_tmp49;
2934#line 193
2935 __cil_tmp51 = (unsigned long )cinfo;
2936#line 193
2937 __cil_tmp52 = __cil_tmp51 + __cil_tmp50;
2938#line 193
2939 __cil_tmp53 = *((char **)__cil_tmp52);
2940#line 193
2941 __cil_tmp54 = (unsigned long )__cil_tmp53;
2942#line 193
2943 if (__cil_tmp54 != __cil_tmp48) {
2944#line 193
2945 __cil_tmp55 = 0 * 8UL;
2946#line 193
2947 __cil_tmp56 = 1064 + __cil_tmp55;
2948#line 193
2949 __cil_tmp57 = (unsigned long )cinfo;
2950#line 193
2951 __cil_tmp58 = __cil_tmp57 + __cil_tmp56;
2952#line 193
2953 tmp___2 = *((char **)__cil_tmp58);
2954 } else {
2955#line 193
2956 tmp___2 = (char *)"-";
2957 }
2958 }
2959 {
2960#line 193
2961 __cil_tmp59 = 0 * 1UL;
2962#line 193
2963 __cil_tmp60 = 0 + __cil_tmp59;
2964#line 193
2965 __cil_tmp61 = (unsigned long )cinfo;
2966#line 193
2967 __cil_tmp62 = __cil_tmp61 + __cil_tmp60;
2968#line 193
2969 __cil_tmp63 = *((char *)__cil_tmp62);
2970#line 193
2971 __cil_tmp64 = (signed char )__cil_tmp63;
2972#line 193
2973 __cil_tmp65 = (int )__cil_tmp64;
2974#line 193
2975 if (__cil_tmp65 != 0) {
2976#line 193
2977 __cil_tmp66 = (char (*)[32U])cinfo;
2978#line 193
2979 tmp___3 = (char *)__cil_tmp66;
2980 } else {
2981#line 193
2982 tmp___3 = (char *)"-";
2983 }
2984 }
2985 {
2986#line 193
2987 __cil_tmp67 = (unsigned long )cinfo;
2988#line 193
2989 __cil_tmp68 = __cil_tmp67 + 1128;
2990#line 193
2991 __cil_tmp69 = (char (*)[128U])__cil_tmp68;
2992#line 193
2993 __cil_tmp70 = (char *)__cil_tmp69;
2994#line 193
2995 sprintf(__cil_tmp70, "%s %s 0x%x %d 0x%lx", tmp___3, tmp___2, tmp___1, tmp___0,
2996 tmp);
2997 }
2998 {
2999#line 200
3000 __cil_tmp71 = (unsigned long )cinfo;
3001#line 200
3002 __cil_tmp72 = __cil_tmp71 + 1128;
3003#line 200
3004 __cil_tmp73 = (char (*)[128U])__cil_tmp72;
3005#line 200
3006 return ((char *)__cil_tmp73);
3007 }
3008}
3009}
3010#line 205 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3011static int t1pci_probe(struct pci_dev *dev , struct pci_device_id const *ent )
3012{ struct capicardparams param ;
3013 int retval ;
3014 int tmp ;
3015 struct capicardparams *__cil_tmp6 ;
3016 unsigned long __cil_tmp7 ;
3017 unsigned long __cil_tmp8 ;
3018 unsigned long __cil_tmp9 ;
3019 unsigned long __cil_tmp10 ;
3020 resource_size_t __cil_tmp11 ;
3021 unsigned long __cil_tmp12 ;
3022 unsigned long __cil_tmp13 ;
3023 unsigned long __cil_tmp14 ;
3024 unsigned long __cil_tmp15 ;
3025 unsigned long __cil_tmp16 ;
3026 unsigned long __cil_tmp17 ;
3027 unsigned long __cil_tmp18 ;
3028 unsigned long __cil_tmp19 ;
3029 resource_size_t __cil_tmp20 ;
3030 struct capicardparams *__cil_tmp21 ;
3031 unsigned int __cil_tmp22 ;
3032 unsigned long __cil_tmp23 ;
3033 unsigned int __cil_tmp24 ;
3034 unsigned long __cil_tmp25 ;
3035 unsigned int __cil_tmp26 ;
3036 struct capicardparams *__cil_tmp27 ;
3037 unsigned int __cil_tmp28 ;
3038 unsigned long __cil_tmp29 ;
3039 unsigned int __cil_tmp30 ;
3040 unsigned long __cil_tmp31 ;
3041 unsigned int __cil_tmp32 ;
3042
3043 {
3044 {
3045#line 211
3046 tmp = pci_enable_device(dev);
3047 }
3048#line 211
3049 if (tmp < 0) {
3050 {
3051#line 212
3052 printk("<3>t1pci: failed to enable AVM-T1-PCI\n");
3053 }
3054#line 213
3055 return (-19);
3056 } else {
3057
3058 }
3059 {
3060#line 215
3061 pci_set_master(dev);
3062#line 217
3063 __cil_tmp6 = & param;
3064#line 217
3065 __cil_tmp7 = 1 * 56UL;
3066#line 217
3067 __cil_tmp8 = 1304 + __cil_tmp7;
3068#line 217
3069 __cil_tmp9 = (unsigned long )dev;
3070#line 217
3071 __cil_tmp10 = __cil_tmp9 + __cil_tmp8;
3072#line 217
3073 __cil_tmp11 = *((resource_size_t *)__cil_tmp10);
3074#line 217
3075 *((unsigned int *)__cil_tmp6) = (unsigned int )__cil_tmp11;
3076#line 218
3077 __cil_tmp12 = (unsigned long )(& param) + 4;
3078#line 218
3079 __cil_tmp13 = (unsigned long )dev;
3080#line 218
3081 __cil_tmp14 = __cil_tmp13 + 1300;
3082#line 218
3083 *((unsigned int *)__cil_tmp12) = *((unsigned int *)__cil_tmp14);
3084#line 219
3085 __cil_tmp15 = (unsigned long )(& param) + 16;
3086#line 219
3087 __cil_tmp16 = 0 * 56UL;
3088#line 219
3089 __cil_tmp17 = 1304 + __cil_tmp16;
3090#line 219
3091 __cil_tmp18 = (unsigned long )dev;
3092#line 219
3093 __cil_tmp19 = __cil_tmp18 + __cil_tmp17;
3094#line 219
3095 __cil_tmp20 = *((resource_size_t *)__cil_tmp19);
3096#line 219
3097 *((unsigned int *)__cil_tmp15) = (unsigned int )__cil_tmp20;
3098#line 221
3099 __cil_tmp21 = & param;
3100#line 221
3101 __cil_tmp22 = *((unsigned int *)__cil_tmp21);
3102#line 221
3103 __cil_tmp23 = (unsigned long )(& param) + 4;
3104#line 221
3105 __cil_tmp24 = *((unsigned int *)__cil_tmp23);
3106#line 221
3107 __cil_tmp25 = (unsigned long )(& param) + 16;
3108#line 221
3109 __cil_tmp26 = *((unsigned int *)__cil_tmp25);
3110#line 221
3111 printk("<6>t1pci: PCI BIOS reports AVM-T1-PCI at i/o %#x, irq %d, mem %#x\n", __cil_tmp22,
3112 __cil_tmp24, __cil_tmp26);
3113#line 224
3114 retval = t1pci_add_card(& param, dev);
3115 }
3116#line 225
3117 if (retval != 0) {
3118 {
3119#line 226
3120 __cil_tmp27 = & param;
3121#line 226
3122 __cil_tmp28 = *((unsigned int *)__cil_tmp27);
3123#line 226
3124 __cil_tmp29 = (unsigned long )(& param) + 4;
3125#line 226
3126 __cil_tmp30 = *((unsigned int *)__cil_tmp29);
3127#line 226
3128 __cil_tmp31 = (unsigned long )(& param) + 16;
3129#line 226
3130 __cil_tmp32 = *((unsigned int *)__cil_tmp31);
3131#line 226
3132 printk("<3>t1pci: no AVM-T1-PCI at i/o %#x, irq %d detected, mem %#x\n", __cil_tmp28,
3133 __cil_tmp30, __cil_tmp32);
3134#line 228
3135 pci_disable_device(dev);
3136 }
3137#line 229
3138 return (-19);
3139 } else {
3140
3141 }
3142#line 231
3143 return (0);
3144}
3145}
3146#line 234 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3147static struct pci_driver t1pci_pci_driver =
3148#line 234
3149 {{(struct list_head *)0, (struct list_head *)0}, "t1pci", (struct pci_device_id const *)(& t1pci_pci_tbl),
3150 & t1pci_probe, & t1pci_remove, (int (*)(struct pci_dev * , pm_message_t ))0,
3151 (int (*)(struct pci_dev * , pm_message_t ))0, (int (*)(struct pci_dev * ))0,
3152 (int (*)(struct pci_dev * ))0, (void (*)(struct pci_dev * ))0, (struct pci_error_handlers *)0,
3153 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
3154 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device * ))0, (int (*)(struct device * ))0,
3155 (void (*)(struct device * ))0, (int (*)(struct device * , pm_message_t ))0,
3156 (int (*)(struct device * ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
3157 (struct driver_private *)0}, {{{{{{0U}}, 0U, 0U, (void *)0, {(struct lock_class_key *)0,
3158 {(struct lock_class *)0,
3159 (struct lock_class *)0},
3160 (char const *)0,
3161 0, 0UL}}}}, {(struct list_head *)0,
3162 (struct list_head *)0}}};
3163#line 241 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3164static struct capi_driver capi_driver_t1pci = {{(char )'t', (char )'1', (char )'p', (char )'c', (char )'i', (char )'\000'}, {(char )'1',
3165 (char )'.',
3166 (char )'0',
3167 (char )'\000'},
3168 (int (*)(struct capi_driver * , capicardparams * ))0, {(struct list_head *)0,
3169 (struct list_head *)0}};
3170#line 246 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3171static int t1pci_init(void)
3172{ char *p ;
3173 char rev[32U] ;
3174 int err ;
3175 char const *__cil_tmp4 ;
3176 char *__cil_tmp5 ;
3177 unsigned long __cil_tmp6 ;
3178 unsigned long __cil_tmp7 ;
3179 char *__cil_tmp8 ;
3180 char __cil_tmp9 ;
3181 signed char __cil_tmp10 ;
3182 int __cil_tmp11 ;
3183 char *__cil_tmp12 ;
3184 char const *__cil_tmp13 ;
3185 char const *__cil_tmp14 ;
3186 char const *__cil_tmp15 ;
3187 char *__cil_tmp16 ;
3188 unsigned long __cil_tmp17 ;
3189 unsigned long __cil_tmp18 ;
3190 unsigned long __cil_tmp19 ;
3191 char *__cil_tmp20 ;
3192 unsigned long __cil_tmp21 ;
3193 char *__cil_tmp22 ;
3194 char *__cil_tmp23 ;
3195 char *__cil_tmp24 ;
3196 unsigned long __cil_tmp25 ;
3197 char (*__cil_tmp26)[32U] ;
3198 char *__cil_tmp27 ;
3199 char const *__cil_tmp28 ;
3200 char *__cil_tmp29 ;
3201
3202 {
3203 {
3204#line 252
3205 __cil_tmp4 = (char const *)revision;
3206#line 252
3207 p = strchr(__cil_tmp4, 58);
3208 }
3209 {
3210#line 252
3211 __cil_tmp5 = (char *)0;
3212#line 252
3213 __cil_tmp6 = (unsigned long )__cil_tmp5;
3214#line 252
3215 __cil_tmp7 = (unsigned long )p;
3216#line 252
3217 if (__cil_tmp7 != __cil_tmp6) {
3218 {
3219#line 252
3220 __cil_tmp8 = p + 1UL;
3221#line 252
3222 __cil_tmp9 = *__cil_tmp8;
3223#line 252
3224 __cil_tmp10 = (signed char )__cil_tmp9;
3225#line 252
3226 __cil_tmp11 = (int )__cil_tmp10;
3227#line 252
3228 if (__cil_tmp11 != 0) {
3229 {
3230#line 253
3231 __cil_tmp12 = (char *)(& rev);
3232#line 253
3233 __cil_tmp13 = (char const *)p;
3234#line 253
3235 __cil_tmp14 = __cil_tmp13 + 2U;
3236#line 253
3237 strlcpy(__cil_tmp12, __cil_tmp14, 32UL);
3238#line 254
3239 __cil_tmp15 = (char const *)(& rev);
3240#line 254
3241 p = strchr(__cil_tmp15, 36);
3242 }
3243 {
3244#line 254
3245 __cil_tmp16 = (char *)0;
3246#line 254
3247 __cil_tmp17 = (unsigned long )__cil_tmp16;
3248#line 254
3249 __cil_tmp18 = (unsigned long )p;
3250#line 254
3251 if (__cil_tmp18 != __cil_tmp17) {
3252 {
3253#line 254
3254 __cil_tmp19 = (unsigned long )p;
3255#line 254
3256 __cil_tmp20 = (char *)(& rev);
3257#line 254
3258 __cil_tmp21 = (unsigned long )__cil_tmp20;
3259#line 254
3260 if (__cil_tmp21 < __cil_tmp19) {
3261#line 255
3262 __cil_tmp22 = p + 0xffffffffffffffffUL;
3263#line 255
3264 *__cil_tmp22 = (char)0;
3265 } else {
3266
3267 }
3268 }
3269 } else {
3270
3271 }
3272 }
3273 } else {
3274 {
3275#line 257
3276 __cil_tmp23 = (char *)(& rev);
3277#line 257
3278 strcpy(__cil_tmp23, "1.0");
3279 }
3280 }
3281 }
3282 } else {
3283 {
3284#line 257
3285 __cil_tmp24 = (char *)(& rev);
3286#line 257
3287 strcpy(__cil_tmp24, "1.0");
3288 }
3289 }
3290 }
3291 {
3292#line 259
3293 err = __pci_register_driver(& t1pci_pci_driver, & __this_module, "t1pci");
3294 }
3295#line 260
3296 if (err == 0) {
3297 {
3298#line 261
3299 __cil_tmp25 = (unsigned long )(& capi_driver_t1pci) + 32;
3300#line 261
3301 __cil_tmp26 = (char (*)[32U])__cil_tmp25;
3302#line 261
3303 __cil_tmp27 = (char *)__cil_tmp26;
3304#line 261
3305 __cil_tmp28 = (char const *)(& rev);
3306#line 261
3307 strlcpy(__cil_tmp27, __cil_tmp28, 32UL);
3308#line 262
3309 register_capi_driver(& capi_driver_t1pci);
3310#line 263
3311 __cil_tmp29 = (char *)(& rev);
3312#line 263
3313 printk("<6>t1pci: revision %s\n", __cil_tmp29);
3314 }
3315 } else {
3316
3317 }
3318#line 265
3319 return (err);
3320}
3321}
3322#line 268 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3323static void t1pci_exit(void)
3324{
3325
3326 {
3327 {
3328#line 270
3329 unregister_capi_driver(& capi_driver_t1pci);
3330#line 271
3331 pci_unregister_driver(& t1pci_pci_driver);
3332 }
3333#line 272
3334 return;
3335}
3336}
3337#line 293
3338extern void ldv_check_final_state(void) ;
3339#line 296
3340extern void ldv_check_return_value(int ) ;
3341#line 299
3342extern void ldv_initialize(void) ;
3343#line 302
3344extern int __VERIFIER_nondet_int(void) ;
3345#line 305 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3346int LDV_IN_INTERRUPT ;
3347#line 308 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3348void main(void)
3349{ struct pci_dev *var_group1 ;
3350 struct pci_device_id const *var_t1pci_probe_3_p1 ;
3351 int res_t1pci_probe_3 ;
3352 int ldv_s_t1pci_pci_driver_pci_driver ;
3353 int tmp ;
3354 int tmp___0 ;
3355 int tmp___1 ;
3356
3357 {
3358 {
3359#line 358
3360 ldv_s_t1pci_pci_driver_pci_driver = 0;
3361#line 338
3362 LDV_IN_INTERRUPT = 1;
3363#line 347
3364 ldv_initialize();
3365#line 356
3366 tmp = t1pci_init();
3367 }
3368#line 356
3369 if (tmp != 0) {
3370#line 357
3371 goto ldv_final;
3372 } else {
3373
3374 }
3375#line 362
3376 goto ldv_24682;
3377 ldv_24681:
3378 {
3379#line 366
3380 tmp___0 = __VERIFIER_nondet_int();
3381 }
3382#line 368
3383 if (tmp___0 == 0) {
3384#line 368
3385 goto case_0;
3386 } else
3387#line 390
3388 if (tmp___0 == 1) {
3389#line 390
3390 goto case_1;
3391 } else {
3392 {
3393#line 409
3394 goto switch_default;
3395#line 366
3396 if (0) {
3397 case_0: ;
3398#line 371
3399 if (ldv_s_t1pci_pci_driver_pci_driver == 0) {
3400 {
3401#line 379
3402 res_t1pci_probe_3 = t1pci_probe(var_group1, var_t1pci_probe_3_p1);
3403#line 380
3404 ldv_check_return_value(res_t1pci_probe_3);
3405 }
3406#line 381
3407 if (res_t1pci_probe_3 != 0) {
3408#line 382
3409 goto ldv_module_exit;
3410 } else {
3411
3412 }
3413#line 383
3414 ldv_s_t1pci_pci_driver_pci_driver = 0;
3415 } else {
3416
3417 }
3418#line 389
3419 goto ldv_24678;
3420 case_1:
3421 {
3422#line 401
3423 t1pci_remove(var_group1);
3424 }
3425#line 408
3426 goto ldv_24678;
3427 switch_default: ;
3428#line 409
3429 goto ldv_24678;
3430 } else {
3431 switch_break: ;
3432 }
3433 }
3434 }
3435 ldv_24678: ;
3436 ldv_24682:
3437 {
3438#line 362
3439 tmp___1 = __VERIFIER_nondet_int();
3440 }
3441#line 362
3442 if (tmp___1 != 0) {
3443#line 364
3444 goto ldv_24681;
3445 } else
3446#line 362
3447 if (ldv_s_t1pci_pci_driver_pci_driver != 0) {
3448#line 364
3449 goto ldv_24681;
3450 } else {
3451#line 366
3452 goto ldv_24683;
3453 }
3454 ldv_24683: ;
3455 ldv_module_exit:
3456 {
3457#line 424
3458 t1pci_exit();
3459 }
3460 ldv_final:
3461 {
3462#line 427
3463 ldv_check_final_state();
3464 }
3465#line 430
3466 return;
3467}
3468}
3469#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
3470void ldv_blast_assert(void)
3471{
3472
3473 {
3474 ERROR: ;
3475#line 6
3476 goto ERROR;
3477}
3478}
3479#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
3480extern int __VERIFIER_nondet_int(void) ;
3481#line 451 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3482int ldv_spin = 0;
3483#line 455 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3484void ldv_check_alloc_flags(gfp_t flags )
3485{
3486
3487 {
3488#line 458
3489 if (ldv_spin != 0) {
3490#line 458
3491 if (flags != 32U) {
3492 {
3493#line 458
3494 ldv_blast_assert();
3495 }
3496 } else {
3497
3498 }
3499 } else {
3500
3501 }
3502#line 461
3503 return;
3504}
3505}
3506#line 461
3507extern struct page *ldv_some_page(void) ;
3508#line 464 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3509struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
3510{ struct page *tmp ;
3511
3512 {
3513#line 467
3514 if (ldv_spin != 0) {
3515#line 467
3516 if (flags != 32U) {
3517 {
3518#line 467
3519 ldv_blast_assert();
3520 }
3521 } else {
3522
3523 }
3524 } else {
3525
3526 }
3527 {
3528#line 469
3529 tmp = ldv_some_page();
3530 }
3531#line 469
3532 return (tmp);
3533}
3534}
3535#line 473 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3536void ldv_check_alloc_nonatomic(void)
3537{
3538
3539 {
3540#line 476
3541 if (ldv_spin != 0) {
3542 {
3543#line 476
3544 ldv_blast_assert();
3545 }
3546 } else {
3547
3548 }
3549#line 479
3550 return;
3551}
3552}
3553#line 480 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3554void ldv_spin_lock(void)
3555{
3556
3557 {
3558#line 483
3559 ldv_spin = 1;
3560#line 484
3561 return;
3562}
3563}
3564#line 487 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3565void ldv_spin_unlock(void)
3566{
3567
3568 {
3569#line 490
3570 ldv_spin = 0;
3571#line 491
3572 return;
3573}
3574}
3575#line 494 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3576int ldv_spin_trylock(void)
3577{ int is_lock ;
3578
3579 {
3580 {
3581#line 499
3582 is_lock = __VERIFIER_nondet_int();
3583 }
3584#line 501
3585 if (is_lock != 0) {
3586#line 504
3587 return (0);
3588 } else {
3589#line 509
3590 ldv_spin = 1;
3591#line 511
3592 return (1);
3593 }
3594}
3595}
3596#line 678 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3597void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
3598{
3599
3600 {
3601 {
3602#line 684
3603 ldv_check_alloc_flags(ldv_func_arg2);
3604#line 686
3605 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
3606 }
3607#line 687
3608 return ((void *)0);
3609}
3610}
3611#line 743 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3612struct sk_buff *ldv_skb_clone_22(struct sk_buff *ldv_func_arg1 , gfp_t ldv_func_arg2 )
3613{ struct sk_buff *tmp ;
3614
3615 {
3616 {
3617#line 749
3618 ldv_check_alloc_flags(ldv_func_arg2);
3619#line 751
3620 tmp = skb_clone(ldv_func_arg1, ldv_func_arg2);
3621 }
3622#line 751
3623 return (tmp);
3624}
3625}
3626#line 765 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3627struct sk_buff *ldv_skb_copy_24(struct sk_buff const *ldv_func_arg1 , gfp_t ldv_func_arg2 )
3628{ struct sk_buff *tmp ;
3629
3630 {
3631 {
3632#line 771
3633 ldv_check_alloc_flags(ldv_func_arg2);
3634#line 773
3635 tmp = skb_copy(ldv_func_arg1, ldv_func_arg2);
3636 }
3637#line 773
3638 return (tmp);
3639}
3640}
3641#line 776 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3642struct sk_buff *ldv___netdev_alloc_skb_25(struct net_device *ldv_func_arg1 , unsigned int ldv_func_arg2 ,
3643 gfp_t ldv_func_arg3 )
3644{ struct sk_buff *tmp ;
3645
3646 {
3647 {
3648#line 783
3649 ldv_check_alloc_flags(ldv_func_arg3);
3650#line 785
3651 tmp = __netdev_alloc_skb(ldv_func_arg1, ldv_func_arg2, ldv_func_arg3);
3652 }
3653#line 785
3654 return (tmp);
3655}
3656}
3657#line 788 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3658struct sk_buff *ldv___netdev_alloc_skb_26(struct net_device *ldv_func_arg1 , unsigned int ldv_func_arg2 ,
3659 gfp_t ldv_func_arg3 )
3660{ struct sk_buff *tmp ;
3661
3662 {
3663 {
3664#line 795
3665 ldv_check_alloc_flags(ldv_func_arg3);
3666#line 797
3667 tmp = __netdev_alloc_skb(ldv_func_arg1, ldv_func_arg2, ldv_func_arg3);
3668 }
3669#line 797
3670 return (tmp);
3671}
3672}
3673#line 800 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4162/dscv_tempdir/dscv/ri/43_1a/drivers/isdn/hardware/avm/t1pci.c.p"
3674int ldv_pskb_expand_head_27(struct sk_buff *ldv_func_arg1 , int ldv_func_arg2 , int ldv_func_arg3 ,
3675 gfp_t ldv_func_arg4 )
3676{ int tmp ;
3677
3678 {
3679 {
3680#line 808
3681 ldv_check_alloc_flags(ldv_func_arg4);
3682#line 810
3683 tmp = pskb_expand_head(ldv_func_arg1, ldv_func_arg2, ldv_func_arg3, ldv_func_arg4);
3684 }
3685#line 810
3686 return (tmp);
3687}
3688}