1
2
3
4#line 20 "include/asm-generic/int-ll64.h"
5typedef unsigned char __u8;
6#line 23 "include/asm-generic/int-ll64.h"
7typedef unsigned short __u16;
8#line 26 "include/asm-generic/int-ll64.h"
9typedef unsigned int __u32;
10#line 30 "include/asm-generic/int-ll64.h"
11typedef unsigned long long __u64;
12#line 43 "include/asm-generic/int-ll64.h"
13typedef unsigned char u8;
14#line 45 "include/asm-generic/int-ll64.h"
15typedef short s16;
16#line 46 "include/asm-generic/int-ll64.h"
17typedef unsigned short u16;
18#line 48 "include/asm-generic/int-ll64.h"
19typedef int s32;
20#line 49 "include/asm-generic/int-ll64.h"
21typedef unsigned int u32;
22#line 51 "include/asm-generic/int-ll64.h"
23typedef long long s64;
24#line 52 "include/asm-generic/int-ll64.h"
25typedef unsigned long long u64;
26#line 14 "include/asm-generic/posix_types.h"
27typedef long __kernel_long_t;
28#line 15 "include/asm-generic/posix_types.h"
29typedef unsigned long __kernel_ulong_t;
30#line 75 "include/asm-generic/posix_types.h"
31typedef __kernel_ulong_t __kernel_size_t;
32#line 76 "include/asm-generic/posix_types.h"
33typedef __kernel_long_t __kernel_ssize_t;
34#line 91 "include/asm-generic/posix_types.h"
35typedef long long __kernel_loff_t;
36#line 21 "include/linux/types.h"
37typedef __u32 __kernel_dev_t;
38#line 24 "include/linux/types.h"
39typedef __kernel_dev_t dev_t;
40#line 27 "include/linux/types.h"
41typedef unsigned short umode_t;
42#line 38 "include/linux/types.h"
43typedef _Bool bool;
44#line 54 "include/linux/types.h"
45typedef __kernel_loff_t loff_t;
46#line 63 "include/linux/types.h"
47typedef __kernel_size_t size_t;
48#line 68 "include/linux/types.h"
49typedef __kernel_ssize_t ssize_t;
50#line 94 "include/linux/types.h"
51typedef unsigned int u_int;
52#line 155 "include/linux/types.h"
53typedef u64 dma_addr_t;
54#line 179 "include/linux/types.h"
55typedef __u16 __be16;
56#line 186 "include/linux/types.h"
57typedef __u32 __wsum;
58#line 202 "include/linux/types.h"
59typedef unsigned int gfp_t;
60#line 206 "include/linux/types.h"
61typedef u64 phys_addr_t;
62#line 211 "include/linux/types.h"
63typedef phys_addr_t resource_size_t;
64#line 219 "include/linux/types.h"
65struct __anonstruct_atomic_t_7 {
66 int counter ;
67};
68#line 219 "include/linux/types.h"
69typedef struct __anonstruct_atomic_t_7 atomic_t;
70#line 224 "include/linux/types.h"
71struct __anonstruct_atomic64_t_8 {
72 long counter ;
73};
74#line 224 "include/linux/types.h"
75typedef struct __anonstruct_atomic64_t_8 atomic64_t;
76#line 229 "include/linux/types.h"
77struct list_head {
78 struct list_head *next ;
79 struct list_head *prev ;
80};
81#line 233
82struct hlist_node;
83#line 233 "include/linux/types.h"
84struct hlist_head {
85 struct hlist_node *first ;
86};
87#line 237 "include/linux/types.h"
88struct hlist_node {
89 struct hlist_node *next ;
90 struct hlist_node **pprev ;
91};
92#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
93struct module;
94#line 56
95struct module;
96#line 146 "include/linux/init.h"
97typedef void (*ctor_fn_t)(void);
98#line 47 "include/linux/dynamic_debug.h"
99struct device;
100#line 47
101struct device;
102#line 53
103struct net_device;
104#line 53
105struct net_device;
106#line 135 "include/linux/kernel.h"
107struct completion;
108#line 135
109struct completion;
110#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
111struct page;
112#line 18
113struct page;
114#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
115struct task_struct;
116#line 20
117struct task_struct;
118#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
119struct task_struct;
120#line 8
121struct mm_struct;
122#line 8
123struct mm_struct;
124#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
125typedef unsigned long pgdval_t;
126#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
127typedef unsigned long pgprotval_t;
128#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
129struct pgprot {
130 pgprotval_t pgprot ;
131};
132#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
133typedef struct pgprot pgprot_t;
134#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
135struct __anonstruct_pgd_t_20 {
136 pgdval_t pgd ;
137};
138#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
139typedef struct __anonstruct_pgd_t_20 pgd_t;
140#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
141typedef struct page *pgtable_t;
142#line 295
143struct file;
144#line 295
145struct file;
146#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
147struct page;
148#line 50
149struct mm_struct;
150#line 52
151struct task_struct;
152#line 53
153struct cpumask;
154#line 53
155struct cpumask;
156#line 329
157struct arch_spinlock;
158#line 329
159struct arch_spinlock;
160#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
161struct task_struct;
162#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
163struct task_struct;
164#line 10 "include/asm-generic/bug.h"
165struct bug_entry {
166 int bug_addr_disp ;
167 int file_disp ;
168 unsigned short line ;
169 unsigned short flags ;
170};
171#line 14 "include/linux/cpumask.h"
172struct cpumask {
173 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
174};
175#line 637 "include/linux/cpumask.h"
176typedef struct cpumask *cpumask_var_t;
177#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
178struct static_key;
179#line 234
180struct static_key;
181#line 433 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
182struct kmem_cache;
183#line 23 "include/asm-generic/atomic-long.h"
184typedef atomic64_t atomic_long_t;
185#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
186typedef u16 __ticket_t;
187#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
188typedef u32 __ticketpair_t;
189#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
190struct __raw_tickets {
191 __ticket_t head ;
192 __ticket_t tail ;
193};
194#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
195union __anonunion____missing_field_name_36 {
196 __ticketpair_t head_tail ;
197 struct __raw_tickets tickets ;
198};
199#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
200struct arch_spinlock {
201 union __anonunion____missing_field_name_36 __annonCompField17 ;
202};
203#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
204typedef struct arch_spinlock arch_spinlock_t;
205#line 12 "include/linux/lockdep.h"
206struct task_struct;
207#line 20 "include/linux/spinlock_types.h"
208struct raw_spinlock {
209 arch_spinlock_t raw_lock ;
210 unsigned int magic ;
211 unsigned int owner_cpu ;
212 void *owner ;
213};
214#line 20 "include/linux/spinlock_types.h"
215typedef struct raw_spinlock raw_spinlock_t;
216#line 64 "include/linux/spinlock_types.h"
217union __anonunion____missing_field_name_39 {
218 struct raw_spinlock rlock ;
219};
220#line 64 "include/linux/spinlock_types.h"
221struct spinlock {
222 union __anonunion____missing_field_name_39 __annonCompField19 ;
223};
224#line 64 "include/linux/spinlock_types.h"
225typedef struct spinlock spinlock_t;
226#line 49 "include/linux/wait.h"
227struct __wait_queue_head {
228 spinlock_t lock ;
229 struct list_head task_list ;
230};
231#line 53 "include/linux/wait.h"
232typedef struct __wait_queue_head wait_queue_head_t;
233#line 55
234struct task_struct;
235#line 98 "include/linux/nodemask.h"
236struct __anonstruct_nodemask_t_42 {
237 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
238};
239#line 98 "include/linux/nodemask.h"
240typedef struct __anonstruct_nodemask_t_42 nodemask_t;
241#line 60 "include/linux/pageblock-flags.h"
242struct page;
243#line 48 "include/linux/mutex.h"
244struct mutex {
245 atomic_t count ;
246 spinlock_t wait_lock ;
247 struct list_head wait_list ;
248 struct task_struct *owner ;
249 char const *name ;
250 void *magic ;
251};
252#line 19 "include/linux/rwsem.h"
253struct rw_semaphore;
254#line 19
255struct rw_semaphore;
256#line 25 "include/linux/rwsem.h"
257struct rw_semaphore {
258 long count ;
259 raw_spinlock_t wait_lock ;
260 struct list_head wait_list ;
261};
262#line 25 "include/linux/completion.h"
263struct completion {
264 unsigned int done ;
265 wait_queue_head_t wait ;
266};
267#line 9 "include/linux/memory_hotplug.h"
268struct page;
269#line 18 "include/linux/ioport.h"
270struct resource {
271 resource_size_t start ;
272 resource_size_t end ;
273 char const *name ;
274 unsigned long flags ;
275 struct resource *parent ;
276 struct resource *sibling ;
277 struct resource *child ;
278};
279#line 202
280struct device;
281#line 182 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
282struct pci_dev;
283#line 182
284struct pci_dev;
285#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
286struct device;
287#line 46 "include/linux/ktime.h"
288union ktime {
289 s64 tv64 ;
290};
291#line 59 "include/linux/ktime.h"
292typedef union ktime ktime_t;
293#line 10 "include/linux/timer.h"
294struct tvec_base;
295#line 10
296struct tvec_base;
297#line 12 "include/linux/timer.h"
298struct timer_list {
299 struct list_head entry ;
300 unsigned long expires ;
301 struct tvec_base *base ;
302 void (*function)(unsigned long ) ;
303 unsigned long data ;
304 int slack ;
305 int start_pid ;
306 void *start_site ;
307 char start_comm[16] ;
308};
309#line 17 "include/linux/workqueue.h"
310struct work_struct;
311#line 17
312struct work_struct;
313#line 79 "include/linux/workqueue.h"
314struct work_struct {
315 atomic_long_t data ;
316 struct list_head entry ;
317 void (*func)(struct work_struct *work ) ;
318};
319#line 42 "include/linux/pm.h"
320struct device;
321#line 50 "include/linux/pm.h"
322struct pm_message {
323 int event ;
324};
325#line 50 "include/linux/pm.h"
326typedef struct pm_message pm_message_t;
327#line 264 "include/linux/pm.h"
328struct dev_pm_ops {
329 int (*prepare)(struct device *dev ) ;
330 void (*complete)(struct device *dev ) ;
331 int (*suspend)(struct device *dev ) ;
332 int (*resume)(struct device *dev ) ;
333 int (*freeze)(struct device *dev ) ;
334 int (*thaw)(struct device *dev ) ;
335 int (*poweroff)(struct device *dev ) ;
336 int (*restore)(struct device *dev ) ;
337 int (*suspend_late)(struct device *dev ) ;
338 int (*resume_early)(struct device *dev ) ;
339 int (*freeze_late)(struct device *dev ) ;
340 int (*thaw_early)(struct device *dev ) ;
341 int (*poweroff_late)(struct device *dev ) ;
342 int (*restore_early)(struct device *dev ) ;
343 int (*suspend_noirq)(struct device *dev ) ;
344 int (*resume_noirq)(struct device *dev ) ;
345 int (*freeze_noirq)(struct device *dev ) ;
346 int (*thaw_noirq)(struct device *dev ) ;
347 int (*poweroff_noirq)(struct device *dev ) ;
348 int (*restore_noirq)(struct device *dev ) ;
349 int (*runtime_suspend)(struct device *dev ) ;
350 int (*runtime_resume)(struct device *dev ) ;
351 int (*runtime_idle)(struct device *dev ) ;
352};
353#line 458
354enum rpm_status {
355 RPM_ACTIVE = 0,
356 RPM_RESUMING = 1,
357 RPM_SUSPENDED = 2,
358 RPM_SUSPENDING = 3
359} ;
360#line 480
361enum rpm_request {
362 RPM_REQ_NONE = 0,
363 RPM_REQ_IDLE = 1,
364 RPM_REQ_SUSPEND = 2,
365 RPM_REQ_AUTOSUSPEND = 3,
366 RPM_REQ_RESUME = 4
367} ;
368#line 488
369struct wakeup_source;
370#line 488
371struct wakeup_source;
372#line 495 "include/linux/pm.h"
373struct pm_subsys_data {
374 spinlock_t lock ;
375 unsigned int refcount ;
376};
377#line 506
378struct dev_pm_qos_request;
379#line 506
380struct pm_qos_constraints;
381#line 506 "include/linux/pm.h"
382struct dev_pm_info {
383 pm_message_t power_state ;
384 unsigned int can_wakeup : 1 ;
385 unsigned int async_suspend : 1 ;
386 bool is_prepared : 1 ;
387 bool is_suspended : 1 ;
388 bool ignore_children : 1 ;
389 spinlock_t lock ;
390 struct list_head entry ;
391 struct completion completion ;
392 struct wakeup_source *wakeup ;
393 bool wakeup_path : 1 ;
394 struct timer_list suspend_timer ;
395 unsigned long timer_expires ;
396 struct work_struct work ;
397 wait_queue_head_t wait_queue ;
398 atomic_t usage_count ;
399 atomic_t child_count ;
400 unsigned int disable_depth : 3 ;
401 unsigned int idle_notification : 1 ;
402 unsigned int request_pending : 1 ;
403 unsigned int deferred_resume : 1 ;
404 unsigned int run_wake : 1 ;
405 unsigned int runtime_auto : 1 ;
406 unsigned int no_callbacks : 1 ;
407 unsigned int irq_safe : 1 ;
408 unsigned int use_autosuspend : 1 ;
409 unsigned int timer_autosuspends : 1 ;
410 enum rpm_request request ;
411 enum rpm_status runtime_status ;
412 int runtime_error ;
413 int autosuspend_delay ;
414 unsigned long last_busy ;
415 unsigned long active_jiffies ;
416 unsigned long suspended_jiffies ;
417 unsigned long accounting_timestamp ;
418 ktime_t suspend_time ;
419 s64 max_time_suspended_ns ;
420 struct dev_pm_qos_request *pq_req ;
421 struct pm_subsys_data *subsys_data ;
422 struct pm_qos_constraints *constraints ;
423};
424#line 564 "include/linux/pm.h"
425struct dev_pm_domain {
426 struct dev_pm_ops ops ;
427};
428#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/topology.h"
429struct pci_bus;
430#line 174
431struct pci_bus;
432#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
433struct __anonstruct_mm_context_t_112 {
434 void *ldt ;
435 int size ;
436 unsigned short ia32_compat ;
437 struct mutex lock ;
438 void *vdso ;
439};
440#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
441typedef struct __anonstruct_mm_context_t_112 mm_context_t;
442#line 71 "include/asm-generic/iomap.h"
443struct pci_dev;
444#line 14 "include/asm-generic/pci_iomap.h"
445struct pci_dev;
446#line 8 "include/linux/vmalloc.h"
447struct vm_area_struct;
448#line 8
449struct vm_area_struct;
450#line 994 "include/linux/mmzone.h"
451struct page;
452#line 10 "include/linux/gfp.h"
453struct vm_area_struct;
454#line 29 "include/linux/sysctl.h"
455struct completion;
456#line 100 "include/linux/rbtree.h"
457struct rb_node {
458 unsigned long rb_parent_color ;
459 struct rb_node *rb_right ;
460 struct rb_node *rb_left ;
461} __attribute__((__aligned__(sizeof(long )))) ;
462#line 110 "include/linux/rbtree.h"
463struct rb_root {
464 struct rb_node *rb_node ;
465};
466#line 49 "include/linux/kmod.h"
467struct file;
468#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
469struct task_struct;
470#line 18 "include/linux/elf.h"
471typedef __u64 Elf64_Addr;
472#line 19 "include/linux/elf.h"
473typedef __u16 Elf64_Half;
474#line 23 "include/linux/elf.h"
475typedef __u32 Elf64_Word;
476#line 24 "include/linux/elf.h"
477typedef __u64 Elf64_Xword;
478#line 194 "include/linux/elf.h"
479struct elf64_sym {
480 Elf64_Word st_name ;
481 unsigned char st_info ;
482 unsigned char st_other ;
483 Elf64_Half st_shndx ;
484 Elf64_Addr st_value ;
485 Elf64_Xword st_size ;
486};
487#line 194 "include/linux/elf.h"
488typedef struct elf64_sym Elf64_Sym;
489#line 438
490struct file;
491#line 20 "include/linux/kobject_ns.h"
492struct sock;
493#line 20
494struct sock;
495#line 21
496struct kobject;
497#line 21
498struct kobject;
499#line 27
500enum kobj_ns_type {
501 KOBJ_NS_TYPE_NONE = 0,
502 KOBJ_NS_TYPE_NET = 1,
503 KOBJ_NS_TYPES = 2
504} ;
505#line 40 "include/linux/kobject_ns.h"
506struct kobj_ns_type_operations {
507 enum kobj_ns_type type ;
508 void *(*grab_current_ns)(void) ;
509 void const *(*netlink_ns)(struct sock *sk ) ;
510 void const *(*initial_ns)(void) ;
511 void (*drop_ns)(void * ) ;
512};
513#line 22 "include/linux/sysfs.h"
514struct kobject;
515#line 23
516struct module;
517#line 24
518enum kobj_ns_type;
519#line 26 "include/linux/sysfs.h"
520struct attribute {
521 char const *name ;
522 umode_t mode ;
523};
524#line 56 "include/linux/sysfs.h"
525struct attribute_group {
526 char const *name ;
527 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
528 struct attribute **attrs ;
529};
530#line 85
531struct file;
532#line 86
533struct vm_area_struct;
534#line 88 "include/linux/sysfs.h"
535struct bin_attribute {
536 struct attribute attr ;
537 size_t size ;
538 void *private ;
539 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
540 loff_t , size_t ) ;
541 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
542 loff_t , size_t ) ;
543 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
544};
545#line 112 "include/linux/sysfs.h"
546struct sysfs_ops {
547 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
548 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
549 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
550};
551#line 118
552struct sysfs_dirent;
553#line 118
554struct sysfs_dirent;
555#line 22 "include/linux/kref.h"
556struct kref {
557 atomic_t refcount ;
558};
559#line 60 "include/linux/kobject.h"
560struct kset;
561#line 60
562struct kobj_type;
563#line 60 "include/linux/kobject.h"
564struct kobject {
565 char const *name ;
566 struct list_head entry ;
567 struct kobject *parent ;
568 struct kset *kset ;
569 struct kobj_type *ktype ;
570 struct sysfs_dirent *sd ;
571 struct kref kref ;
572 unsigned int state_initialized : 1 ;
573 unsigned int state_in_sysfs : 1 ;
574 unsigned int state_add_uevent_sent : 1 ;
575 unsigned int state_remove_uevent_sent : 1 ;
576 unsigned int uevent_suppress : 1 ;
577};
578#line 108 "include/linux/kobject.h"
579struct kobj_type {
580 void (*release)(struct kobject *kobj ) ;
581 struct sysfs_ops const *sysfs_ops ;
582 struct attribute **default_attrs ;
583 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
584 void const *(*namespace)(struct kobject *kobj ) ;
585};
586#line 116 "include/linux/kobject.h"
587struct kobj_uevent_env {
588 char *envp[32] ;
589 int envp_idx ;
590 char buf[2048] ;
591 int buflen ;
592};
593#line 123 "include/linux/kobject.h"
594struct kset_uevent_ops {
595 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
596 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
597 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
598};
599#line 140
600struct sock;
601#line 159 "include/linux/kobject.h"
602struct kset {
603 struct list_head list ;
604 spinlock_t list_lock ;
605 struct kobject kobj ;
606 struct kset_uevent_ops const *uevent_ops ;
607};
608#line 39 "include/linux/moduleparam.h"
609struct kernel_param;
610#line 39
611struct kernel_param;
612#line 41 "include/linux/moduleparam.h"
613struct kernel_param_ops {
614 int (*set)(char const *val , struct kernel_param const *kp ) ;
615 int (*get)(char *buffer , struct kernel_param const *kp ) ;
616 void (*free)(void *arg ) ;
617};
618#line 50
619struct kparam_string;
620#line 50
621struct kparam_array;
622#line 50 "include/linux/moduleparam.h"
623union __anonunion____missing_field_name_199 {
624 void *arg ;
625 struct kparam_string const *str ;
626 struct kparam_array const *arr ;
627};
628#line 50 "include/linux/moduleparam.h"
629struct kernel_param {
630 char const *name ;
631 struct kernel_param_ops const *ops ;
632 u16 perm ;
633 s16 level ;
634 union __anonunion____missing_field_name_199 __annonCompField32 ;
635};
636#line 63 "include/linux/moduleparam.h"
637struct kparam_string {
638 unsigned int maxlen ;
639 char *string ;
640};
641#line 69 "include/linux/moduleparam.h"
642struct kparam_array {
643 unsigned int max ;
644 unsigned int elemsize ;
645 unsigned int *num ;
646 struct kernel_param_ops const *ops ;
647 void *elem ;
648};
649#line 445
650struct module;
651#line 80 "include/linux/jump_label.h"
652struct module;
653#line 143 "include/linux/jump_label.h"
654struct static_key {
655 atomic_t enabled ;
656};
657#line 22 "include/linux/tracepoint.h"
658struct module;
659#line 23
660struct tracepoint;
661#line 23
662struct tracepoint;
663#line 25 "include/linux/tracepoint.h"
664struct tracepoint_func {
665 void *func ;
666 void *data ;
667};
668#line 30 "include/linux/tracepoint.h"
669struct tracepoint {
670 char const *name ;
671 struct static_key key ;
672 void (*regfunc)(void) ;
673 void (*unregfunc)(void) ;
674 struct tracepoint_func *funcs ;
675};
676#line 19 "include/linux/export.h"
677struct kernel_symbol {
678 unsigned long value ;
679 char const *name ;
680};
681#line 8 "include/asm-generic/module.h"
682struct mod_arch_specific {
683
684};
685#line 35 "include/linux/module.h"
686struct module;
687#line 37
688struct module_param_attrs;
689#line 37 "include/linux/module.h"
690struct module_kobject {
691 struct kobject kobj ;
692 struct module *mod ;
693 struct kobject *drivers_dir ;
694 struct module_param_attrs *mp ;
695};
696#line 44 "include/linux/module.h"
697struct module_attribute {
698 struct attribute attr ;
699 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
700 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
701 size_t count ) ;
702 void (*setup)(struct module * , char const * ) ;
703 int (*test)(struct module * ) ;
704 void (*free)(struct module * ) ;
705};
706#line 71
707struct exception_table_entry;
708#line 71
709struct exception_table_entry;
710#line 199
711enum module_state {
712 MODULE_STATE_LIVE = 0,
713 MODULE_STATE_COMING = 1,
714 MODULE_STATE_GOING = 2
715} ;
716#line 215 "include/linux/module.h"
717struct module_ref {
718 unsigned long incs ;
719 unsigned long decs ;
720} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
721#line 220
722struct module_sect_attrs;
723#line 220
724struct module_notes_attrs;
725#line 220
726struct ftrace_event_call;
727#line 220 "include/linux/module.h"
728struct module {
729 enum module_state state ;
730 struct list_head list ;
731 char name[64UL - sizeof(unsigned long )] ;
732 struct module_kobject mkobj ;
733 struct module_attribute *modinfo_attrs ;
734 char const *version ;
735 char const *srcversion ;
736 struct kobject *holders_dir ;
737 struct kernel_symbol const *syms ;
738 unsigned long const *crcs ;
739 unsigned int num_syms ;
740 struct kernel_param *kp ;
741 unsigned int num_kp ;
742 unsigned int num_gpl_syms ;
743 struct kernel_symbol const *gpl_syms ;
744 unsigned long const *gpl_crcs ;
745 struct kernel_symbol const *unused_syms ;
746 unsigned long const *unused_crcs ;
747 unsigned int num_unused_syms ;
748 unsigned int num_unused_gpl_syms ;
749 struct kernel_symbol const *unused_gpl_syms ;
750 unsigned long const *unused_gpl_crcs ;
751 struct kernel_symbol const *gpl_future_syms ;
752 unsigned long const *gpl_future_crcs ;
753 unsigned int num_gpl_future_syms ;
754 unsigned int num_exentries ;
755 struct exception_table_entry *extable ;
756 int (*init)(void) ;
757 void *module_init ;
758 void *module_core ;
759 unsigned int init_size ;
760 unsigned int core_size ;
761 unsigned int init_text_size ;
762 unsigned int core_text_size ;
763 unsigned int init_ro_size ;
764 unsigned int core_ro_size ;
765 struct mod_arch_specific arch ;
766 unsigned int taints ;
767 unsigned int num_bugs ;
768 struct list_head bug_list ;
769 struct bug_entry *bug_table ;
770 Elf64_Sym *symtab ;
771 Elf64_Sym *core_symtab ;
772 unsigned int num_symtab ;
773 unsigned int core_num_syms ;
774 char *strtab ;
775 char *core_strtab ;
776 struct module_sect_attrs *sect_attrs ;
777 struct module_notes_attrs *notes_attrs ;
778 char *args ;
779 void *percpu ;
780 unsigned int percpu_size ;
781 unsigned int num_tracepoints ;
782 struct tracepoint * const *tracepoints_ptrs ;
783 unsigned int num_trace_bprintk_fmt ;
784 char const **trace_bprintk_fmt_start ;
785 struct ftrace_event_call **trace_events ;
786 unsigned int num_trace_events ;
787 struct list_head source_list ;
788 struct list_head target_list ;
789 struct task_struct *waiter ;
790 void (*exit)(void) ;
791 struct module_ref *refptr ;
792 ctor_fn_t *ctors ;
793 unsigned int num_ctors ;
794};
795#line 14 "include/linux/prio_tree.h"
796struct prio_tree_node;
797#line 14 "include/linux/prio_tree.h"
798struct raw_prio_tree_node {
799 struct prio_tree_node *left ;
800 struct prio_tree_node *right ;
801 struct prio_tree_node *parent ;
802};
803#line 20 "include/linux/prio_tree.h"
804struct prio_tree_node {
805 struct prio_tree_node *left ;
806 struct prio_tree_node *right ;
807 struct prio_tree_node *parent ;
808 unsigned long start ;
809 unsigned long last ;
810};
811#line 23 "include/linux/mm_types.h"
812struct address_space;
813#line 23
814struct address_space;
815#line 40 "include/linux/mm_types.h"
816union __anonunion____missing_field_name_202 {
817 unsigned long index ;
818 void *freelist ;
819};
820#line 40 "include/linux/mm_types.h"
821struct __anonstruct____missing_field_name_206 {
822 unsigned int inuse : 16 ;
823 unsigned int objects : 15 ;
824 unsigned int frozen : 1 ;
825};
826#line 40 "include/linux/mm_types.h"
827union __anonunion____missing_field_name_205 {
828 atomic_t _mapcount ;
829 struct __anonstruct____missing_field_name_206 __annonCompField34 ;
830};
831#line 40 "include/linux/mm_types.h"
832struct __anonstruct____missing_field_name_204 {
833 union __anonunion____missing_field_name_205 __annonCompField35 ;
834 atomic_t _count ;
835};
836#line 40 "include/linux/mm_types.h"
837union __anonunion____missing_field_name_203 {
838 unsigned long counters ;
839 struct __anonstruct____missing_field_name_204 __annonCompField36 ;
840};
841#line 40 "include/linux/mm_types.h"
842struct __anonstruct____missing_field_name_201 {
843 union __anonunion____missing_field_name_202 __annonCompField33 ;
844 union __anonunion____missing_field_name_203 __annonCompField37 ;
845};
846#line 40 "include/linux/mm_types.h"
847struct __anonstruct____missing_field_name_208 {
848 struct page *next ;
849 int pages ;
850 int pobjects ;
851};
852#line 40 "include/linux/mm_types.h"
853union __anonunion____missing_field_name_207 {
854 struct list_head lru ;
855 struct __anonstruct____missing_field_name_208 __annonCompField39 ;
856};
857#line 40 "include/linux/mm_types.h"
858union __anonunion____missing_field_name_209 {
859 unsigned long private ;
860 struct kmem_cache *slab ;
861 struct page *first_page ;
862};
863#line 40 "include/linux/mm_types.h"
864struct page {
865 unsigned long flags ;
866 struct address_space *mapping ;
867 struct __anonstruct____missing_field_name_201 __annonCompField38 ;
868 union __anonunion____missing_field_name_207 __annonCompField40 ;
869 union __anonunion____missing_field_name_209 __annonCompField41 ;
870 unsigned long debug_flags ;
871} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
872#line 200 "include/linux/mm_types.h"
873struct __anonstruct_vm_set_211 {
874 struct list_head list ;
875 void *parent ;
876 struct vm_area_struct *head ;
877};
878#line 200 "include/linux/mm_types.h"
879union __anonunion_shared_210 {
880 struct __anonstruct_vm_set_211 vm_set ;
881 struct raw_prio_tree_node prio_tree_node ;
882};
883#line 200
884struct anon_vma;
885#line 200
886struct vm_operations_struct;
887#line 200
888struct mempolicy;
889#line 200 "include/linux/mm_types.h"
890struct vm_area_struct {
891 struct mm_struct *vm_mm ;
892 unsigned long vm_start ;
893 unsigned long vm_end ;
894 struct vm_area_struct *vm_next ;
895 struct vm_area_struct *vm_prev ;
896 pgprot_t vm_page_prot ;
897 unsigned long vm_flags ;
898 struct rb_node vm_rb ;
899 union __anonunion_shared_210 shared ;
900 struct list_head anon_vma_chain ;
901 struct anon_vma *anon_vma ;
902 struct vm_operations_struct const *vm_ops ;
903 unsigned long vm_pgoff ;
904 struct file *vm_file ;
905 void *vm_private_data ;
906 struct mempolicy *vm_policy ;
907};
908#line 257 "include/linux/mm_types.h"
909struct core_thread {
910 struct task_struct *task ;
911 struct core_thread *next ;
912};
913#line 262 "include/linux/mm_types.h"
914struct core_state {
915 atomic_t nr_threads ;
916 struct core_thread dumper ;
917 struct completion startup ;
918};
919#line 284 "include/linux/mm_types.h"
920struct mm_rss_stat {
921 atomic_long_t count[3] ;
922};
923#line 288
924struct linux_binfmt;
925#line 288
926struct mmu_notifier_mm;
927#line 288 "include/linux/mm_types.h"
928struct mm_struct {
929 struct vm_area_struct *mmap ;
930 struct rb_root mm_rb ;
931 struct vm_area_struct *mmap_cache ;
932 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
933 unsigned long pgoff , unsigned long flags ) ;
934 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
935 unsigned long mmap_base ;
936 unsigned long task_size ;
937 unsigned long cached_hole_size ;
938 unsigned long free_area_cache ;
939 pgd_t *pgd ;
940 atomic_t mm_users ;
941 atomic_t mm_count ;
942 int map_count ;
943 spinlock_t page_table_lock ;
944 struct rw_semaphore mmap_sem ;
945 struct list_head mmlist ;
946 unsigned long hiwater_rss ;
947 unsigned long hiwater_vm ;
948 unsigned long total_vm ;
949 unsigned long locked_vm ;
950 unsigned long pinned_vm ;
951 unsigned long shared_vm ;
952 unsigned long exec_vm ;
953 unsigned long stack_vm ;
954 unsigned long reserved_vm ;
955 unsigned long def_flags ;
956 unsigned long nr_ptes ;
957 unsigned long start_code ;
958 unsigned long end_code ;
959 unsigned long start_data ;
960 unsigned long end_data ;
961 unsigned long start_brk ;
962 unsigned long brk ;
963 unsigned long start_stack ;
964 unsigned long arg_start ;
965 unsigned long arg_end ;
966 unsigned long env_start ;
967 unsigned long env_end ;
968 unsigned long saved_auxv[44] ;
969 struct mm_rss_stat rss_stat ;
970 struct linux_binfmt *binfmt ;
971 cpumask_var_t cpu_vm_mask_var ;
972 mm_context_t context ;
973 unsigned int faultstamp ;
974 unsigned int token_priority ;
975 unsigned int last_interval ;
976 unsigned long flags ;
977 struct core_state *core_state ;
978 spinlock_t ioctx_lock ;
979 struct hlist_head ioctx_list ;
980 struct task_struct *owner ;
981 struct file *exe_file ;
982 unsigned long num_exe_file_vmas ;
983 struct mmu_notifier_mm *mmu_notifier_mm ;
984 pgtable_t pmd_huge_pte ;
985 struct cpumask cpumask_allocation ;
986};
987#line 154 "include/linux/net.h"
988struct vm_area_struct;
989#line 155
990struct page;
991#line 159
992struct module;
993#line 46 "include/linux/slub_def.h"
994struct kmem_cache_cpu {
995 void **freelist ;
996 unsigned long tid ;
997 struct page *page ;
998 struct page *partial ;
999 int node ;
1000 unsigned int stat[26] ;
1001};
1002#line 57 "include/linux/slub_def.h"
1003struct kmem_cache_node {
1004 spinlock_t list_lock ;
1005 unsigned long nr_partial ;
1006 struct list_head partial ;
1007 atomic_long_t nr_slabs ;
1008 atomic_long_t total_objects ;
1009 struct list_head full ;
1010};
1011#line 73 "include/linux/slub_def.h"
1012struct kmem_cache_order_objects {
1013 unsigned long x ;
1014};
1015#line 80 "include/linux/slub_def.h"
1016struct kmem_cache {
1017 struct kmem_cache_cpu *cpu_slab ;
1018 unsigned long flags ;
1019 unsigned long min_partial ;
1020 int size ;
1021 int objsize ;
1022 int offset ;
1023 int cpu_partial ;
1024 struct kmem_cache_order_objects oo ;
1025 struct kmem_cache_order_objects max ;
1026 struct kmem_cache_order_objects min ;
1027 gfp_t allocflags ;
1028 int refcount ;
1029 void (*ctor)(void * ) ;
1030 int inuse ;
1031 int align ;
1032 int reserved ;
1033 char const *name ;
1034 struct list_head list ;
1035 struct kobject kobj ;
1036 int remote_node_defrag_ratio ;
1037 struct kmem_cache_node *node[1 << 10] ;
1038};
1039#line 10 "include/linux/textsearch.h"
1040struct module;
1041#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
1042struct exception_table_entry {
1043 unsigned long insn ;
1044 unsigned long fixup ;
1045};
1046#line 109 "include/net/checksum.h"
1047struct sk_buff;
1048#line 109
1049struct sk_buff;
1050#line 19 "include/linux/klist.h"
1051struct klist_node;
1052#line 19
1053struct klist_node;
1054#line 39 "include/linux/klist.h"
1055struct klist_node {
1056 void *n_klist ;
1057 struct list_head n_node ;
1058 struct kref n_ref ;
1059};
1060#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1061struct dma_map_ops;
1062#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1063struct dev_archdata {
1064 void *acpi_handle ;
1065 struct dma_map_ops *dma_ops ;
1066 void *iommu ;
1067};
1068#line 28 "include/linux/device.h"
1069struct device;
1070#line 29
1071struct device_private;
1072#line 29
1073struct device_private;
1074#line 30
1075struct device_driver;
1076#line 30
1077struct device_driver;
1078#line 31
1079struct driver_private;
1080#line 31
1081struct driver_private;
1082#line 32
1083struct module;
1084#line 33
1085struct class;
1086#line 33
1087struct class;
1088#line 34
1089struct subsys_private;
1090#line 34
1091struct subsys_private;
1092#line 35
1093struct bus_type;
1094#line 35
1095struct bus_type;
1096#line 36
1097struct device_node;
1098#line 36
1099struct device_node;
1100#line 37
1101struct iommu_ops;
1102#line 37
1103struct iommu_ops;
1104#line 39 "include/linux/device.h"
1105struct bus_attribute {
1106 struct attribute attr ;
1107 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1108 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1109};
1110#line 89
1111struct device_attribute;
1112#line 89
1113struct driver_attribute;
1114#line 89 "include/linux/device.h"
1115struct bus_type {
1116 char const *name ;
1117 char const *dev_name ;
1118 struct device *dev_root ;
1119 struct bus_attribute *bus_attrs ;
1120 struct device_attribute *dev_attrs ;
1121 struct driver_attribute *drv_attrs ;
1122 int (*match)(struct device *dev , struct device_driver *drv ) ;
1123 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1124 int (*probe)(struct device *dev ) ;
1125 int (*remove)(struct device *dev ) ;
1126 void (*shutdown)(struct device *dev ) ;
1127 int (*suspend)(struct device *dev , pm_message_t state ) ;
1128 int (*resume)(struct device *dev ) ;
1129 struct dev_pm_ops const *pm ;
1130 struct iommu_ops *iommu_ops ;
1131 struct subsys_private *p ;
1132};
1133#line 127
1134struct device_type;
1135#line 214
1136struct of_device_id;
1137#line 214 "include/linux/device.h"
1138struct device_driver {
1139 char const *name ;
1140 struct bus_type *bus ;
1141 struct module *owner ;
1142 char const *mod_name ;
1143 bool suppress_bind_attrs ;
1144 struct of_device_id const *of_match_table ;
1145 int (*probe)(struct device *dev ) ;
1146 int (*remove)(struct device *dev ) ;
1147 void (*shutdown)(struct device *dev ) ;
1148 int (*suspend)(struct device *dev , pm_message_t state ) ;
1149 int (*resume)(struct device *dev ) ;
1150 struct attribute_group const **groups ;
1151 struct dev_pm_ops const *pm ;
1152 struct driver_private *p ;
1153};
1154#line 249 "include/linux/device.h"
1155struct driver_attribute {
1156 struct attribute attr ;
1157 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1158 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1159};
1160#line 330
1161struct class_attribute;
1162#line 330 "include/linux/device.h"
1163struct class {
1164 char const *name ;
1165 struct module *owner ;
1166 struct class_attribute *class_attrs ;
1167 struct device_attribute *dev_attrs ;
1168 struct bin_attribute *dev_bin_attrs ;
1169 struct kobject *dev_kobj ;
1170 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1171 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1172 void (*class_release)(struct class *class ) ;
1173 void (*dev_release)(struct device *dev ) ;
1174 int (*suspend)(struct device *dev , pm_message_t state ) ;
1175 int (*resume)(struct device *dev ) ;
1176 struct kobj_ns_type_operations const *ns_type ;
1177 void const *(*namespace)(struct device *dev ) ;
1178 struct dev_pm_ops const *pm ;
1179 struct subsys_private *p ;
1180};
1181#line 397 "include/linux/device.h"
1182struct class_attribute {
1183 struct attribute attr ;
1184 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1185 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1186 size_t count ) ;
1187 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1188};
1189#line 465 "include/linux/device.h"
1190struct device_type {
1191 char const *name ;
1192 struct attribute_group const **groups ;
1193 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1194 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1195 void (*release)(struct device *dev ) ;
1196 struct dev_pm_ops const *pm ;
1197};
1198#line 476 "include/linux/device.h"
1199struct device_attribute {
1200 struct attribute attr ;
1201 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1202 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1203 size_t count ) ;
1204};
1205#line 559 "include/linux/device.h"
1206struct device_dma_parameters {
1207 unsigned int max_segment_size ;
1208 unsigned long segment_boundary_mask ;
1209};
1210#line 627
1211struct dma_coherent_mem;
1212#line 627 "include/linux/device.h"
1213struct device {
1214 struct device *parent ;
1215 struct device_private *p ;
1216 struct kobject kobj ;
1217 char const *init_name ;
1218 struct device_type const *type ;
1219 struct mutex mutex ;
1220 struct bus_type *bus ;
1221 struct device_driver *driver ;
1222 void *platform_data ;
1223 struct dev_pm_info power ;
1224 struct dev_pm_domain *pm_domain ;
1225 int numa_node ;
1226 u64 *dma_mask ;
1227 u64 coherent_dma_mask ;
1228 struct device_dma_parameters *dma_parms ;
1229 struct list_head dma_pools ;
1230 struct dma_coherent_mem *dma_mem ;
1231 struct dev_archdata archdata ;
1232 struct device_node *of_node ;
1233 dev_t devt ;
1234 u32 id ;
1235 spinlock_t devres_lock ;
1236 struct list_head devres_head ;
1237 struct klist_node knode_class ;
1238 struct class *class ;
1239 struct attribute_group const **groups ;
1240 void (*release)(struct device *dev ) ;
1241};
1242#line 43 "include/linux/pm_wakeup.h"
1243struct wakeup_source {
1244 char const *name ;
1245 struct list_head entry ;
1246 spinlock_t lock ;
1247 struct timer_list timer ;
1248 unsigned long timer_expires ;
1249 ktime_t total_time ;
1250 ktime_t max_time ;
1251 ktime_t last_time ;
1252 unsigned long event_count ;
1253 unsigned long active_count ;
1254 unsigned long relax_count ;
1255 unsigned long hit_count ;
1256 unsigned int active : 1 ;
1257};
1258#line 8 "include/linux/debug_locks.h"
1259struct task_struct;
1260#line 48
1261struct task_struct;
1262#line 22 "include/linux/mm.h"
1263struct mempolicy;
1264#line 23
1265struct anon_vma;
1266#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1267struct mm_struct;
1268#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1269struct vm_area_struct;
1270#line 188 "include/linux/mm.h"
1271struct vm_fault {
1272 unsigned int flags ;
1273 unsigned long pgoff ;
1274 void *virtual_address ;
1275 struct page *page ;
1276};
1277#line 205 "include/linux/mm.h"
1278struct vm_operations_struct {
1279 void (*open)(struct vm_area_struct *area ) ;
1280 void (*close)(struct vm_area_struct *area ) ;
1281 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1282 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1283 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1284 int write ) ;
1285 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1286 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1287 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
1288 unsigned long flags ) ;
1289};
1290#line 195 "include/linux/page-flags.h"
1291struct page;
1292#line 6 "include/asm-generic/scatterlist.h"
1293struct scatterlist {
1294 unsigned long sg_magic ;
1295 unsigned long page_link ;
1296 unsigned int offset ;
1297 unsigned int length ;
1298 dma_addr_t dma_address ;
1299 unsigned int dma_length ;
1300};
1301#line 37 "include/linux/dmaengine.h"
1302typedef s32 dma_cookie_t;
1303#line 27 "include/linux/dma-attrs.h"
1304struct dma_attrs {
1305 unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1306};
1307#line 7 "include/linux/dma-direction.h"
1308enum dma_data_direction {
1309 DMA_BIDIRECTIONAL = 0,
1310 DMA_TO_DEVICE = 1,
1311 DMA_FROM_DEVICE = 2,
1312 DMA_NONE = 3
1313} ;
1314#line 11 "include/linux/dma-mapping.h"
1315struct dma_map_ops {
1316 void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
1317 struct dma_attrs *attrs ) ;
1318 void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
1319 struct dma_attrs *attrs ) ;
1320 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1321 size_t , struct dma_attrs *attrs ) ;
1322 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
1323 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
1324 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
1325 struct dma_attrs *attrs ) ;
1326 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1327 struct dma_attrs *attrs ) ;
1328 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1329 struct dma_attrs *attrs ) ;
1330 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1331 enum dma_data_direction dir ) ;
1332 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1333 enum dma_data_direction dir ) ;
1334 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
1335 enum dma_data_direction dir ) ;
1336 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
1337 enum dma_data_direction dir ) ;
1338 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
1339 int (*dma_supported)(struct device *dev , u64 mask ) ;
1340 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
1341 int is_phys ;
1342};
1343#line 25 "include/linux/dma-debug.h"
1344struct device;
1345#line 26
1346struct scatterlist;
1347#line 27
1348struct bus_type;
1349#line 6 "include/linux/swiotlb.h"
1350struct device;
1351#line 7
1352struct dma_attrs;
1353#line 8
1354struct scatterlist;
1355#line 108 "include/linux/skbuff.h"
1356struct net_device;
1357#line 109
1358struct scatterlist;
1359#line 113 "include/linux/skbuff.h"
1360struct nf_conntrack {
1361 atomic_t use ;
1362};
1363#line 119 "include/linux/skbuff.h"
1364struct nf_bridge_info {
1365 atomic_t use ;
1366 struct net_device *physindev ;
1367 struct net_device *physoutdev ;
1368 unsigned int mask ;
1369 unsigned long data[32UL / sizeof(unsigned long )] ;
1370};
1371#line 128 "include/linux/skbuff.h"
1372struct sk_buff_head {
1373 struct sk_buff *next ;
1374 struct sk_buff *prev ;
1375 __u32 qlen ;
1376 spinlock_t lock ;
1377};
1378#line 137
1379struct sk_buff;
1380#line 318 "include/linux/skbuff.h"
1381typedef unsigned int sk_buff_data_t;
1382#line 391
1383struct sec_path;
1384#line 391 "include/linux/skbuff.h"
1385struct __anonstruct____missing_field_name_222 {
1386 __u16 csum_start ;
1387 __u16 csum_offset ;
1388};
1389#line 391 "include/linux/skbuff.h"
1390union __anonunion____missing_field_name_221 {
1391 __wsum csum ;
1392 struct __anonstruct____missing_field_name_222 __annonCompField42 ;
1393};
1394#line 391 "include/linux/skbuff.h"
1395union __anonunion____missing_field_name_223 {
1396 __u32 mark ;
1397 __u32 dropcount ;
1398 __u32 avail_size ;
1399};
1400#line 391 "include/linux/skbuff.h"
1401struct sk_buff {
1402 struct sk_buff *next ;
1403 struct sk_buff *prev ;
1404 ktime_t tstamp ;
1405 struct sock *sk ;
1406 struct net_device *dev ;
1407 char cb[48] __attribute__((__aligned__(8))) ;
1408 unsigned long _skb_refdst ;
1409 struct sec_path *sp ;
1410 unsigned int len ;
1411 unsigned int data_len ;
1412 __u16 mac_len ;
1413 __u16 hdr_len ;
1414 union __anonunion____missing_field_name_221 __annonCompField43 ;
1415 __u32 priority ;
1416 __u8 local_df : 1 ;
1417 __u8 cloned : 1 ;
1418 __u8 ip_summed : 2 ;
1419 __u8 nohdr : 1 ;
1420 __u8 nfctinfo : 3 ;
1421 __u8 pkt_type : 3 ;
1422 __u8 fclone : 2 ;
1423 __u8 ipvs_property : 1 ;
1424 __u8 peeked : 1 ;
1425 __u8 nf_trace : 1 ;
1426 __be16 protocol ;
1427 void (*destructor)(struct sk_buff *skb ) ;
1428 struct nf_conntrack *nfct ;
1429 struct sk_buff *nfct_reasm ;
1430 struct nf_bridge_info *nf_bridge ;
1431 int skb_iif ;
1432 __u32 rxhash ;
1433 __u16 vlan_tci ;
1434 __u16 tc_index ;
1435 __u16 tc_verd ;
1436 __u16 queue_mapping ;
1437 __u8 ndisc_nodetype : 2 ;
1438 __u8 ooo_okay : 1 ;
1439 __u8 l4_rxhash : 1 ;
1440 __u8 wifi_acked_valid : 1 ;
1441 __u8 wifi_acked : 1 ;
1442 __u8 no_fcs : 1 ;
1443 dma_cookie_t dma_cookie ;
1444 __u32 secmark ;
1445 union __anonunion____missing_field_name_223 __annonCompField44 ;
1446 sk_buff_data_t transport_header ;
1447 sk_buff_data_t network_header ;
1448 sk_buff_data_t mac_header ;
1449 sk_buff_data_t tail ;
1450 sk_buff_data_t end ;
1451 unsigned char *head ;
1452 unsigned char *data ;
1453 unsigned int truesize ;
1454 atomic_t users ;
1455};
1456#line 10 "include/linux/irqreturn.h"
1457enum irqreturn {
1458 IRQ_NONE = 0,
1459 IRQ_HANDLED = 1,
1460 IRQ_WAKE_THREAD = 2
1461} ;
1462#line 16 "include/linux/irqreturn.h"
1463typedef enum irqreturn irqreturn_t;
1464#line 32 "include/linux/irq.h"
1465struct module;
1466#line 12 "include/linux/irqdesc.h"
1467struct proc_dir_entry;
1468#line 12
1469struct proc_dir_entry;
1470#line 14
1471struct module;
1472#line 16 "include/linux/profile.h"
1473struct proc_dir_entry;
1474#line 65
1475struct task_struct;
1476#line 66
1477struct mm_struct;
1478#line 132 "include/linux/hardirq.h"
1479struct task_struct;
1480#line 187 "include/linux/interrupt.h"
1481struct device;
1482#line 12 "include/linux/mod_devicetable.h"
1483typedef unsigned long kernel_ulong_t;
1484#line 17 "include/linux/mod_devicetable.h"
1485struct pci_device_id {
1486 __u32 vendor ;
1487 __u32 device ;
1488 __u32 subvendor ;
1489 __u32 subdevice ;
1490 __u32 class ;
1491 __u32 class_mask ;
1492 kernel_ulong_t driver_data ;
1493};
1494#line 219 "include/linux/mod_devicetable.h"
1495struct of_device_id {
1496 char name[32] ;
1497 char type[32] ;
1498 char compatible[128] ;
1499 void *data ;
1500};
1501#line 25 "include/linux/io.h"
1502struct device;
1503#line 61 "include/linux/pci.h"
1504struct hotplug_slot;
1505#line 61 "include/linux/pci.h"
1506struct pci_slot {
1507 struct pci_bus *bus ;
1508 struct list_head list ;
1509 struct hotplug_slot *hotplug ;
1510 unsigned char number ;
1511 struct kobject kobj ;
1512};
1513#line 117 "include/linux/pci.h"
1514typedef int pci_power_t;
1515#line 143 "include/linux/pci.h"
1516typedef unsigned int pci_channel_state_t;
1517#line 145
1518enum pci_channel_state {
1519 pci_channel_io_normal = 1,
1520 pci_channel_io_frozen = 2,
1521 pci_channel_io_perm_failure = 3
1522} ;
1523#line 169 "include/linux/pci.h"
1524typedef unsigned short pci_dev_flags_t;
1525#line 186 "include/linux/pci.h"
1526typedef unsigned short pci_bus_flags_t;
1527#line 230
1528struct pcie_link_state;
1529#line 230
1530struct pcie_link_state;
1531#line 231
1532struct pci_vpd;
1533#line 231
1534struct pci_vpd;
1535#line 232
1536struct pci_sriov;
1537#line 232
1538struct pci_sriov;
1539#line 233
1540struct pci_ats;
1541#line 233
1542struct pci_ats;
1543#line 238
1544struct pci_driver;
1545#line 238 "include/linux/pci.h"
1546union __anonunion____missing_field_name_234 {
1547 struct pci_sriov *sriov ;
1548 struct pci_dev *physfn ;
1549};
1550#line 238 "include/linux/pci.h"
1551struct pci_dev {
1552 struct list_head bus_list ;
1553 struct pci_bus *bus ;
1554 struct pci_bus *subordinate ;
1555 void *sysdata ;
1556 struct proc_dir_entry *procent ;
1557 struct pci_slot *slot ;
1558 unsigned int devfn ;
1559 unsigned short vendor ;
1560 unsigned short device ;
1561 unsigned short subsystem_vendor ;
1562 unsigned short subsystem_device ;
1563 unsigned int class ;
1564 u8 revision ;
1565 u8 hdr_type ;
1566 u8 pcie_cap ;
1567 u8 pcie_type : 4 ;
1568 u8 pcie_mpss : 3 ;
1569 u8 rom_base_reg ;
1570 u8 pin ;
1571 struct pci_driver *driver ;
1572 u64 dma_mask ;
1573 struct device_dma_parameters dma_parms ;
1574 pci_power_t current_state ;
1575 int pm_cap ;
1576 unsigned int pme_support : 5 ;
1577 unsigned int pme_interrupt : 1 ;
1578 unsigned int pme_poll : 1 ;
1579 unsigned int d1_support : 1 ;
1580 unsigned int d2_support : 1 ;
1581 unsigned int no_d1d2 : 1 ;
1582 unsigned int mmio_always_on : 1 ;
1583 unsigned int wakeup_prepared : 1 ;
1584 unsigned int d3_delay ;
1585 struct pcie_link_state *link_state ;
1586 pci_channel_state_t error_state ;
1587 struct device dev ;
1588 int cfg_size ;
1589 unsigned int irq ;
1590 struct resource resource[17] ;
1591 unsigned int transparent : 1 ;
1592 unsigned int multifunction : 1 ;
1593 unsigned int is_added : 1 ;
1594 unsigned int is_busmaster : 1 ;
1595 unsigned int no_msi : 1 ;
1596 unsigned int block_cfg_access : 1 ;
1597 unsigned int broken_parity_status : 1 ;
1598 unsigned int irq_reroute_variant : 2 ;
1599 unsigned int msi_enabled : 1 ;
1600 unsigned int msix_enabled : 1 ;
1601 unsigned int ari_enabled : 1 ;
1602 unsigned int is_managed : 1 ;
1603 unsigned int is_pcie : 1 ;
1604 unsigned int needs_freset : 1 ;
1605 unsigned int state_saved : 1 ;
1606 unsigned int is_physfn : 1 ;
1607 unsigned int is_virtfn : 1 ;
1608 unsigned int reset_fn : 1 ;
1609 unsigned int is_hotplug_bridge : 1 ;
1610 unsigned int __aer_firmware_first_valid : 1 ;
1611 unsigned int __aer_firmware_first : 1 ;
1612 pci_dev_flags_t dev_flags ;
1613 atomic_t enable_cnt ;
1614 u32 saved_config_space[16] ;
1615 struct hlist_head saved_cap_space ;
1616 struct bin_attribute *rom_attr ;
1617 int rom_attr_enabled ;
1618 struct bin_attribute *res_attr[17] ;
1619 struct bin_attribute *res_attr_wc[17] ;
1620 struct list_head msi_list ;
1621 struct kset *msi_kset ;
1622 struct pci_vpd *vpd ;
1623 union __anonunion____missing_field_name_234 __annonCompField45 ;
1624 struct pci_ats *ats ;
1625};
1626#line 406
1627struct pci_ops;
1628#line 406 "include/linux/pci.h"
1629struct pci_bus {
1630 struct list_head node ;
1631 struct pci_bus *parent ;
1632 struct list_head children ;
1633 struct list_head devices ;
1634 struct pci_dev *self ;
1635 struct list_head slots ;
1636 struct resource *resource[4] ;
1637 struct list_head resources ;
1638 struct pci_ops *ops ;
1639 void *sysdata ;
1640 struct proc_dir_entry *procdir ;
1641 unsigned char number ;
1642 unsigned char primary ;
1643 unsigned char secondary ;
1644 unsigned char subordinate ;
1645 unsigned char max_bus_speed ;
1646 unsigned char cur_bus_speed ;
1647 char name[48] ;
1648 unsigned short bridge_ctl ;
1649 pci_bus_flags_t bus_flags ;
1650 struct device *bridge ;
1651 struct device dev ;
1652 struct bin_attribute *legacy_io ;
1653 struct bin_attribute *legacy_mem ;
1654 unsigned int is_added : 1 ;
1655};
1656#line 472 "include/linux/pci.h"
1657struct pci_ops {
1658 int (*read)(struct pci_bus *bus , unsigned int devfn , int where , int size , u32 *val ) ;
1659 int (*write)(struct pci_bus *bus , unsigned int devfn , int where , int size ,
1660 u32 val ) ;
1661};
1662#line 491 "include/linux/pci.h"
1663struct pci_dynids {
1664 spinlock_t lock ;
1665 struct list_head list ;
1666};
1667#line 503 "include/linux/pci.h"
1668typedef unsigned int pci_ers_result_t;
1669#line 523 "include/linux/pci.h"
1670struct pci_error_handlers {
1671 pci_ers_result_t (*error_detected)(struct pci_dev *dev , enum pci_channel_state error ) ;
1672 pci_ers_result_t (*mmio_enabled)(struct pci_dev *dev ) ;
1673 pci_ers_result_t (*link_reset)(struct pci_dev *dev ) ;
1674 pci_ers_result_t (*slot_reset)(struct pci_dev *dev ) ;
1675 void (*resume)(struct pci_dev *dev ) ;
1676};
1677#line 543
1678struct module;
1679#line 544 "include/linux/pci.h"
1680struct pci_driver {
1681 struct list_head node ;
1682 char const *name ;
1683 struct pci_device_id const *id_table ;
1684 int (*probe)(struct pci_dev *dev , struct pci_device_id const *id ) ;
1685 void (*remove)(struct pci_dev *dev ) ;
1686 int (*suspend)(struct pci_dev *dev , pm_message_t state ) ;
1687 int (*suspend_late)(struct pci_dev *dev , pm_message_t state ) ;
1688 int (*resume_early)(struct pci_dev *dev ) ;
1689 int (*resume)(struct pci_dev *dev ) ;
1690 void (*shutdown)(struct pci_dev *dev ) ;
1691 struct pci_error_handlers *err_handler ;
1692 struct device_driver driver ;
1693 struct pci_dynids dynids ;
1694};
1695#line 25 "include/linux/capi.h"
1696struct capi_register_params {
1697 __u32 level3cnt ;
1698 __u32 datablkcnt ;
1699 __u32 datablklen ;
1700};
1701#line 25 "include/linux/capi.h"
1702typedef struct capi_register_params capi_register_params;
1703#line 45 "include/linux/capi.h"
1704struct capi_version {
1705 __u32 majorversion ;
1706 __u32 minorversion ;
1707 __u32 majormanuversion ;
1708 __u32 minormanuversion ;
1709};
1710#line 45 "include/linux/capi.h"
1711typedef struct capi_version capi_version;
1712#line 65 "include/linux/capi.h"
1713struct capi_profile {
1714 __u16 ncontroller ;
1715 __u16 nbchannel ;
1716 __u32 goptions ;
1717 __u32 support1 ;
1718 __u32 support2 ;
1719 __u32 support3 ;
1720 __u32 reserved[6] ;
1721 __u32 manu[5] ;
1722};
1723#line 65 "include/linux/capi.h"
1724typedef struct capi_profile capi_profile;
1725#line 20 "include/linux/isdn/capilli.h"
1726struct capiloaddatapart {
1727 int user ;
1728 int len ;
1729 unsigned char *data ;
1730};
1731#line 20 "include/linux/isdn/capilli.h"
1732typedef struct capiloaddatapart capiloaddatapart;
1733#line 26 "include/linux/isdn/capilli.h"
1734struct capiloaddata {
1735 capiloaddatapart firmware ;
1736 capiloaddatapart configuration ;
1737};
1738#line 26 "include/linux/isdn/capilli.h"
1739typedef struct capiloaddata capiloaddata;
1740#line 31 "include/linux/isdn/capilli.h"
1741struct capicardparams {
1742 unsigned int port ;
1743 unsigned int irq ;
1744 int cardtype ;
1745 int cardnr ;
1746 unsigned int membase ;
1747};
1748#line 31 "include/linux/isdn/capilli.h"
1749typedef struct capicardparams capicardparams;
1750#line 39
1751struct file_operations;
1752#line 39 "include/linux/isdn/capilli.h"
1753struct capi_ctr {
1754 struct module *owner ;
1755 void *driverdata ;
1756 char name[32] ;
1757 char *driver_name ;
1758 int (*load_firmware)(struct capi_ctr * , capiloaddata * ) ;
1759 void (*reset_ctr)(struct capi_ctr * ) ;
1760 void (*register_appl)(struct capi_ctr * , u16 appl , capi_register_params * ) ;
1761 void (*release_appl)(struct capi_ctr * , u16 appl ) ;
1762 u16 (*send_message)(struct capi_ctr * , struct sk_buff *skb ) ;
1763 char *(*procinfo)(struct capi_ctr * ) ;
1764 struct file_operations const *proc_fops ;
1765 u8 manu[64] ;
1766 capi_version version ;
1767 capi_profile profile ;
1768 u8 serial[8] ;
1769 unsigned long nrecvctlpkt ;
1770 unsigned long nrecvdatapkt ;
1771 unsigned long nsentctlpkt ;
1772 unsigned long nsentdatapkt ;
1773 int cnr ;
1774 unsigned short state ;
1775 int blocked ;
1776 int traceflag ;
1777 wait_queue_head_t state_wait_queue ;
1778 struct proc_dir_entry *procent ;
1779 char procfn[128] ;
1780};
1781#line 90 "include/linux/isdn/capilli.h"
1782struct capi_driver {
1783 char name[32] ;
1784 char revision[32] ;
1785 int (*add_card)(struct capi_driver *driver , capicardparams *data ) ;
1786 struct list_head list ;
1787};
1788#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1789enum avmcardtype {
1790 avm_b1isa = 0,
1791 avm_b1pci = 1,
1792 avm_b1pcmcia = 2,
1793 avm_m1 = 3,
1794 avm_m2 = 4,
1795 avm_t1isa = 5,
1796 avm_t1pci = 6,
1797 avm_c4 = 7,
1798 avm_c2 = 8
1799} ;
1800#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1801struct avmcard_dmabuf {
1802 long size ;
1803 u8 *dmabuf ;
1804 dma_addr_t dmaaddr ;
1805};
1806#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1807typedef struct avmcard_dmabuf avmcard_dmabuf;
1808#line 52 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1809struct avmcard_dmainfo {
1810 u32 recvlen ;
1811 avmcard_dmabuf recvbuf ;
1812 avmcard_dmabuf sendbuf ;
1813 struct sk_buff_head send_queue ;
1814 struct pci_dev *pcidev ;
1815};
1816#line 52 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1817typedef struct avmcard_dmainfo avmcard_dmainfo;
1818#line 62
1819struct avmcard;
1820#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1821struct avmctrl_info {
1822 char cardname[32] ;
1823 int versionlen ;
1824 char versionbuf[1024] ;
1825 char *version[8] ;
1826 char infobuf[128] ;
1827 struct avmcard *card ;
1828 struct capi_ctr capi_ctrl ;
1829 struct list_head ncci_head ;
1830};
1831#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1832typedef struct avmctrl_info avmctrl_info;
1833#line 77 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1834struct avmcard {
1835 char name[32] ;
1836 spinlock_t lock ;
1837 unsigned int port ;
1838 unsigned int irq ;
1839 unsigned long membase ;
1840 enum avmcardtype cardtype ;
1841 unsigned char revision ;
1842 unsigned char class ;
1843 int cardnr ;
1844 char msgbuf[128] ;
1845 char databuf[2048] ;
1846 void *mbase ;
1847 u32 volatile csr ;
1848 avmcard_dmainfo *dma ;
1849 struct avmctrl_info *ctrlinfo ;
1850 u_int nr_controllers ;
1851 u_int nlogcontr ;
1852 struct list_head list ;
1853};
1854#line 77 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
1855typedef struct avmcard avmcard;
1856#line 1 "<compiler builtins>"
1857long __builtin_expect(long val , long res ) ;
1858#line 100 "include/linux/printk.h"
1859extern int ( printk)(char const *fmt , ...) ;
1860#line 320 "include/linux/kernel.h"
1861extern int ( sprintf)(char *buf , char const *fmt , ...) ;
1862#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
1863extern char *strcpy(char *dest , char const *src ) ;
1864#line 30 "include/linux/string.h"
1865extern size_t strlcpy(char * , char const * , size_t ) ;
1866#line 57
1867extern char *strchr(char const * , int ) ;
1868#line 152 "include/linux/mutex.h"
1869void mutex_lock(struct mutex *lock ) ;
1870#line 153
1871int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
1872#line 154
1873int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
1874#line 168
1875int mutex_trylock(struct mutex *lock ) ;
1876#line 169
1877void mutex_unlock(struct mutex *lock ) ;
1878#line 170
1879int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
1880#line 137 "include/linux/ioport.h"
1881extern struct resource ioport_resource ;
1882#line 181
1883extern struct resource *__request_region(struct resource * , resource_size_t start ,
1884 resource_size_t n , char const *name ,
1885 int flags ) ;
1886#line 192
1887extern void __release_region(struct resource * , resource_size_t , resource_size_t ) ;
1888#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1889extern void *ioremap_nocache(resource_size_t offset , unsigned long size ) ;
1890#line 182
1891__inline static void *ioremap(resource_size_t offset , unsigned long size ) __attribute__((__no_instrument_function__)) ;
1892#line 182 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
1893__inline static void *ioremap(resource_size_t offset , unsigned long size )
1894{ void *tmp ;
1895
1896 {
1897 {
1898#line 184
1899 tmp = ioremap_nocache(offset, size);
1900 }
1901#line 184
1902 return (tmp);
1903}
1904}
1905#line 187
1906extern void iounmap(void volatile *addr ) ;
1907#line 26 "include/linux/export.h"
1908extern struct module __this_module ;
1909#line 67 "include/linux/module.h"
1910int init_module(void) ;
1911#line 68
1912void cleanup_module(void) ;
1913#line 792 "include/linux/device.h"
1914extern void *dev_get_drvdata(struct device const *dev ) ;
1915#line 793
1916extern int dev_set_drvdata(struct device *dev , void *data ) ;
1917#line 126 "include/linux/interrupt.h"
1918extern int __attribute__((__warn_unused_result__)) request_threaded_irq(unsigned int irq ,
1919 irqreturn_t (*handler)(int ,
1920 void * ) ,
1921 irqreturn_t (*thread_fn)(int ,
1922 void * ) ,
1923 unsigned long flags ,
1924 char const *name ,
1925 void *dev ) ;
1926#line 131
1927__inline static int __attribute__((__warn_unused_result__)) request_irq(unsigned int irq ,
1928 irqreturn_t (*handler)(int ,
1929 void * ) ,
1930 unsigned long flags ,
1931 char const *name ,
1932 void *dev ) __attribute__((__no_instrument_function__)) ;
1933#line 131 "include/linux/interrupt.h"
1934__inline static int __attribute__((__warn_unused_result__)) request_irq(unsigned int irq ,
1935 irqreturn_t (*handler)(int ,
1936 void * ) ,
1937 unsigned long flags ,
1938 char const *name ,
1939 void *dev )
1940{ int tmp ;
1941 void *__cil_tmp7 ;
1942 irqreturn_t (*__cil_tmp8)(int , void * ) ;
1943
1944 {
1945 {
1946#line 135
1947 __cil_tmp7 = (void *)0;
1948#line 135
1949 __cil_tmp8 = (irqreturn_t (*)(int , void * ))__cil_tmp7;
1950#line 135
1951 tmp = (int )request_threaded_irq(irq, handler, __cil_tmp8, flags, name, dev);
1952 }
1953#line 135
1954 return (tmp);
1955}
1956}
1957#line 184
1958extern void free_irq(unsigned int , void * ) ;
1959#line 773 "include/linux/pci.h"
1960extern int __attribute__((__warn_unused_result__)) pci_enable_device(struct pci_dev *dev ) ;
1961#line 790
1962extern void pci_disable_device(struct pci_dev *dev ) ;
1963#line 793
1964extern void pci_set_master(struct pci_dev *dev ) ;
1965#line 940
1966extern int __attribute__((__warn_unused_result__)) __pci_register_driver(struct pci_driver * ,
1967 struct module * ,
1968 char const *mod_name ) ;
1969#line 949
1970extern void pci_unregister_driver(struct pci_driver *dev ) ;
1971#line 1358
1972__inline static void *pci_get_drvdata(struct pci_dev *pdev ) __attribute__((__no_instrument_function__)) ;
1973#line 1358 "include/linux/pci.h"
1974__inline static void *pci_get_drvdata(struct pci_dev *pdev )
1975{ void *tmp ;
1976 unsigned long __cil_tmp3 ;
1977 unsigned long __cil_tmp4 ;
1978 struct device *__cil_tmp5 ;
1979 struct device const *__cil_tmp6 ;
1980
1981 {
1982 {
1983#line 1360
1984 __cil_tmp3 = (unsigned long )pdev;
1985#line 1360
1986 __cil_tmp4 = __cil_tmp3 + 144;
1987#line 1360
1988 __cil_tmp5 = (struct device *)__cil_tmp4;
1989#line 1360
1990 __cil_tmp6 = (struct device const *)__cil_tmp5;
1991#line 1360
1992 tmp = dev_get_drvdata(__cil_tmp6);
1993 }
1994#line 1360
1995 return (tmp);
1996}
1997}
1998#line 1363
1999__inline static void pci_set_drvdata(struct pci_dev *pdev , void *data ) __attribute__((__no_instrument_function__)) ;
2000#line 1363 "include/linux/pci.h"
2001__inline static void pci_set_drvdata(struct pci_dev *pdev , void *data )
2002{ unsigned long __cil_tmp3 ;
2003 unsigned long __cil_tmp4 ;
2004 struct device *__cil_tmp5 ;
2005
2006 {
2007 {
2008#line 1365
2009 __cil_tmp3 = (unsigned long )pdev;
2010#line 1365
2011 __cil_tmp4 = __cil_tmp3 + 144;
2012#line 1365
2013 __cil_tmp5 = (struct device *)__cil_tmp4;
2014#line 1365
2015 dev_set_drvdata(__cil_tmp5, data);
2016 }
2017#line 1366
2018 return;
2019}
2020}
2021#line 78 "include/linux/isdn/capilli.h"
2022extern int attach_capi_ctr(struct capi_ctr * ) ;
2023#line 79
2024extern int detach_capi_ctr(struct capi_ctr * ) ;
2025#line 100
2026extern void register_capi_driver(struct capi_driver *driver ) ;
2027#line 101
2028extern void unregister_capi_driver(struct capi_driver *driver ) ;
2029#line 542 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hardware/avm/avmcard.h"
2030extern avmcard *b1_alloc_card(int nr_controllers ) ;
2031#line 543
2032extern void b1_free_card(avmcard *card ) ;
2033#line 561
2034extern avmcard_dmainfo *avmcard_dma_alloc(char *name , struct pci_dev * , long rsize ,
2035 long ssize ) ;
2036#line 563
2037extern void avmcard_dma_free(avmcard_dmainfo * ) ;
2038#line 567
2039extern int t1pci_detect(avmcard *card ) ;
2040#line 568
2041extern void b1dma_reset(avmcard *card ) ;
2042#line 569
2043extern irqreturn_t b1dma_interrupt(int interrupt , void *devptr ) ;
2044#line 571
2045extern int b1dma_load_firmware(struct capi_ctr *ctrl , capiloaddata *data ) ;
2046#line 572
2047extern void b1dma_reset_ctr(struct capi_ctr *ctrl ) ;
2048#line 574
2049extern void b1dma_register_appl(struct capi_ctr *ctrl , u16 appl , capi_register_params *rp ) ;
2050#line 577
2051extern void b1dma_release_appl(struct capi_ctr *ctrl , u16 appl ) ;
2052#line 578
2053extern u16 b1dma_send_message(struct capi_ctr *ctrl , struct sk_buff *skb ) ;
2054#line 579
2055extern struct file_operations const b1dmactl_proc_fops ;
2056#line 33 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
2057static char *revision = (char *)"$Revision: 1.1.2.2 $";
2058#line 36 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
2059static struct pci_device_id t1pci_pci_tbl[1] = { {(__u32 )4676, (__u32 )4608, (__u32 )(~ 0), (__u32 )(~ 0), 0U, 0U, 0UL}};
2060#line 41
2061extern struct pci_device_id const __mod_pci_device_table __attribute__((__unused__,
2062__alias__("t1pci_pci_tbl"))) ;
2063#line 42 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
2064static char const __mod_description42[51] __attribute__((__used__, __unused__,
2065__section__(".modinfo"), __aligned__(1))) =
2066#line 42
2067 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
2068 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
2069 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
2070 (char const )'C', (char const )'A', (char const )'P', (char const )'I',
2071 (char const )'4', (char const )'L', (char const )'i', (char const )'n',
2072 (char const )'u', (char const )'x', (char const )':', (char const )' ',
2073 (char const )'D', (char const )'r', (char const )'i', (char const )'v',
2074 (char const )'e', (char const )'r', (char const )' ', (char const )'f',
2075 (char const )'o', (char const )'r', (char const )' ', (char const )'A',
2076 (char const )'V', (char const )'M', (char const )' ', (char const )'T',
2077 (char const )'1', (char const )' ', (char const )'P', (char const )'C',
2078 (char const )'I', (char const )' ', (char const )'c', (char const )'a',
2079 (char const )'r', (char const )'d', (char const )'\000'};
2080#line 43 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
2081static char const __mod_author43[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
2082__aligned__(1))) =
2083#line 43
2084 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
2085 (char const )'o', (char const )'r', (char const )'=', (char const )'C',
2086 (char const )'a', (char const )'r', (char const )'s', (char const )'t',
2087 (char const )'e', (char const )'n', (char const )' ', (char const )'P',
2088 (char const )'a', (char const )'e', (char const )'t', (char const )'h',
2089 (char const )'\000'};
2090#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
2091static char const __mod_license44[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
2092__aligned__(1))) =
2093#line 44
2094 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
2095 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
2096 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
2097#line 48
2098static char *t1pci_procinfo(struct capi_ctr *ctrl ) ;
2099#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
2100static int t1pci_add_card(struct capicardparams *p , struct pci_dev *pdev )
2101{ avmcard *card ;
2102 avmctrl_info *cinfo ;
2103 int retval ;
2104 struct resource *tmp ;
2105 unsigned long __cil_tmp7 ;
2106 unsigned long __cil_tmp8 ;
2107 char *__cil_tmp9 ;
2108 unsigned long __cil_tmp10 ;
2109 unsigned long __cil_tmp11 ;
2110 avmcard_dmainfo *__cil_tmp12 ;
2111 unsigned long __cil_tmp13 ;
2112 unsigned long __cil_tmp14 ;
2113 unsigned long __cil_tmp15 ;
2114 unsigned long __cil_tmp16 ;
2115 unsigned long __cil_tmp17 ;
2116 unsigned long __cil_tmp18 ;
2117 char *__cil_tmp19 ;
2118 unsigned int __cil_tmp20 ;
2119 unsigned long __cil_tmp21 ;
2120 unsigned long __cil_tmp22 ;
2121 unsigned long __cil_tmp23 ;
2122 unsigned long __cil_tmp24 ;
2123 unsigned long __cil_tmp25 ;
2124 unsigned long __cil_tmp26 ;
2125 unsigned long __cil_tmp27 ;
2126 unsigned long __cil_tmp28 ;
2127 unsigned long __cil_tmp29 ;
2128 unsigned long __cil_tmp30 ;
2129 unsigned int __cil_tmp31 ;
2130 unsigned long __cil_tmp32 ;
2131 unsigned long __cil_tmp33 ;
2132 unsigned long __cil_tmp34 ;
2133 unsigned long __cil_tmp35 ;
2134 unsigned int __cil_tmp36 ;
2135 resource_size_t __cil_tmp37 ;
2136 resource_size_t __cil_tmp38 ;
2137 unsigned long __cil_tmp39 ;
2138 unsigned long __cil_tmp40 ;
2139 unsigned long __cil_tmp41 ;
2140 unsigned long __cil_tmp42 ;
2141 char *__cil_tmp43 ;
2142 char const *__cil_tmp44 ;
2143 unsigned long __cil_tmp45 ;
2144 unsigned long __cil_tmp46 ;
2145 unsigned int __cil_tmp47 ;
2146 unsigned long __cil_tmp48 ;
2147 unsigned long __cil_tmp49 ;
2148 unsigned int __cil_tmp50 ;
2149 unsigned int __cil_tmp51 ;
2150 unsigned long __cil_tmp52 ;
2151 unsigned long __cil_tmp53 ;
2152 unsigned long __cil_tmp54 ;
2153 unsigned long __cil_tmp55 ;
2154 unsigned long __cil_tmp56 ;
2155 resource_size_t __cil_tmp57 ;
2156 unsigned long __cil_tmp58 ;
2157 unsigned long __cil_tmp59 ;
2158 void *__cil_tmp60 ;
2159 unsigned long __cil_tmp61 ;
2160 unsigned long __cil_tmp62 ;
2161 unsigned long __cil_tmp63 ;
2162 unsigned long __cil_tmp64 ;
2163 unsigned long __cil_tmp65 ;
2164 unsigned int __cil_tmp66 ;
2165 unsigned long __cil_tmp67 ;
2166 unsigned long __cil_tmp68 ;
2167 unsigned int __cil_tmp69 ;
2168 unsigned long __cil_tmp70 ;
2169 unsigned long __cil_tmp71 ;
2170 unsigned int __cil_tmp72 ;
2171 unsigned long __cil_tmp73 ;
2172 unsigned long __cil_tmp74 ;
2173 unsigned long __cil_tmp75 ;
2174 unsigned long __cil_tmp76 ;
2175 char *__cil_tmp77 ;
2176 char const *__cil_tmp78 ;
2177 void *__cil_tmp79 ;
2178 unsigned long __cil_tmp80 ;
2179 unsigned long __cil_tmp81 ;
2180 unsigned int __cil_tmp82 ;
2181 unsigned long __cil_tmp83 ;
2182 unsigned long __cil_tmp84 ;
2183 unsigned long __cil_tmp85 ;
2184 unsigned long __cil_tmp86 ;
2185 unsigned long __cil_tmp87 ;
2186 unsigned long __cil_tmp88 ;
2187 unsigned long __cil_tmp89 ;
2188 unsigned long __cil_tmp90 ;
2189 unsigned long __cil_tmp91 ;
2190 unsigned long __cil_tmp92 ;
2191 unsigned long __cil_tmp93 ;
2192 unsigned long __cil_tmp94 ;
2193 unsigned long __cil_tmp95 ;
2194 unsigned long __cil_tmp96 ;
2195 unsigned long __cil_tmp97 ;
2196 unsigned long __cil_tmp98 ;
2197 unsigned long __cil_tmp99 ;
2198 unsigned long __cil_tmp100 ;
2199 unsigned long __cil_tmp101 ;
2200 unsigned long __cil_tmp102 ;
2201 unsigned long __cil_tmp103 ;
2202 unsigned long __cil_tmp104 ;
2203 unsigned long __cil_tmp105 ;
2204 unsigned long __cil_tmp106 ;
2205 unsigned long __cil_tmp107 ;
2206 unsigned long __cil_tmp108 ;
2207 unsigned long __cil_tmp109 ;
2208 unsigned long __cil_tmp110 ;
2209 unsigned long __cil_tmp111 ;
2210 unsigned long __cil_tmp112 ;
2211 unsigned long __cil_tmp113 ;
2212 unsigned long __cil_tmp114 ;
2213 unsigned long __cil_tmp115 ;
2214 unsigned long __cil_tmp116 ;
2215 char *__cil_tmp117 ;
2216 unsigned long __cil_tmp118 ;
2217 unsigned long __cil_tmp119 ;
2218 unsigned long __cil_tmp120 ;
2219 unsigned long __cil_tmp121 ;
2220 char *__cil_tmp122 ;
2221 char const *__cil_tmp123 ;
2222 unsigned long __cil_tmp124 ;
2223 unsigned long __cil_tmp125 ;
2224 struct capi_ctr *__cil_tmp126 ;
2225 unsigned long __cil_tmp127 ;
2226 unsigned long __cil_tmp128 ;
2227 unsigned long __cil_tmp129 ;
2228 unsigned long __cil_tmp130 ;
2229 unsigned long __cil_tmp131 ;
2230 unsigned long __cil_tmp132 ;
2231 unsigned long __cil_tmp133 ;
2232 unsigned int __cil_tmp134 ;
2233 unsigned long __cil_tmp135 ;
2234 unsigned long __cil_tmp136 ;
2235 unsigned int __cil_tmp137 ;
2236 unsigned long __cil_tmp138 ;
2237 unsigned long __cil_tmp139 ;
2238 unsigned long __cil_tmp140 ;
2239 void *__cil_tmp141 ;
2240 unsigned long __cil_tmp142 ;
2241 unsigned long __cil_tmp143 ;
2242 unsigned int __cil_tmp144 ;
2243 void *__cil_tmp145 ;
2244 unsigned long __cil_tmp146 ;
2245 unsigned long __cil_tmp147 ;
2246 void *__cil_tmp148 ;
2247 void volatile *__cil_tmp149 ;
2248 unsigned long __cil_tmp150 ;
2249 unsigned long __cil_tmp151 ;
2250 unsigned int __cil_tmp152 ;
2251 resource_size_t __cil_tmp153 ;
2252 resource_size_t __cil_tmp154 ;
2253 unsigned long __cil_tmp155 ;
2254 unsigned long __cil_tmp156 ;
2255 avmcard_dmainfo *__cil_tmp157 ;
2256
2257 {
2258 {
2259#line 56
2260 card = b1_alloc_card(1);
2261 }
2262#line 57
2263 if (! card) {
2264 {
2265#line 58
2266 printk("<4>t1pci: no memory.\n");
2267#line 59
2268 retval = -12;
2269 }
2270#line 60
2271 goto err;
2272 } else {
2273
2274 }
2275 {
2276#line 63
2277 __cil_tmp7 = (unsigned long )card;
2278#line 63
2279 __cil_tmp8 = __cil_tmp7 + 2280;
2280#line 63
2281 __cil_tmp9 = (char *)"t1pci";
2282#line 63
2283 *((avmcard_dmainfo **)__cil_tmp8) = avmcard_dma_alloc(__cil_tmp9, pdev, 2176L, 2176L);
2284 }
2285 {
2286#line 64
2287 __cil_tmp10 = (unsigned long )card;
2288#line 64
2289 __cil_tmp11 = __cil_tmp10 + 2280;
2290#line 64
2291 __cil_tmp12 = *((avmcard_dmainfo **)__cil_tmp11);
2292#line 64
2293 if (! __cil_tmp12) {
2294 {
2295#line 65
2296 printk("<4>t1pci: no memory.\n");
2297#line 66
2298 retval = -12;
2299 }
2300#line 67
2301 goto err_free;
2302 } else {
2303
2304 }
2305 }
2306 {
2307#line 70
2308 __cil_tmp13 = (unsigned long )card;
2309#line 70
2310 __cil_tmp14 = __cil_tmp13 + 2288;
2311#line 70
2312 cinfo = *((struct avmctrl_info **)__cil_tmp14);
2313#line 71
2314 __cil_tmp15 = 0 * 1UL;
2315#line 71
2316 __cil_tmp16 = 0 + __cil_tmp15;
2317#line 71
2318 __cil_tmp17 = (unsigned long )card;
2319#line 71
2320 __cil_tmp18 = __cil_tmp17 + __cil_tmp16;
2321#line 71
2322 __cil_tmp19 = (char *)__cil_tmp18;
2323#line 71
2324 __cil_tmp20 = *((unsigned int *)p);
2325#line 71
2326 sprintf(__cil_tmp19, "t1pci-%x", __cil_tmp20);
2327#line 72
2328 __cil_tmp21 = (unsigned long )card;
2329#line 72
2330 __cil_tmp22 = __cil_tmp21 + 56;
2331#line 72
2332 *((unsigned int *)__cil_tmp22) = *((unsigned int *)p);
2333#line 73
2334 __cil_tmp23 = (unsigned long )card;
2335#line 73
2336 __cil_tmp24 = __cil_tmp23 + 60;
2337#line 73
2338 __cil_tmp25 = (unsigned long )p;
2339#line 73
2340 __cil_tmp26 = __cil_tmp25 + 4;
2341#line 73
2342 *((unsigned int *)__cil_tmp24) = *((unsigned int *)__cil_tmp26);
2343#line 74
2344 __cil_tmp27 = (unsigned long )card;
2345#line 74
2346 __cil_tmp28 = __cil_tmp27 + 64;
2347#line 74
2348 __cil_tmp29 = (unsigned long )p;
2349#line 74
2350 __cil_tmp30 = __cil_tmp29 + 16;
2351#line 74
2352 __cil_tmp31 = *((unsigned int *)__cil_tmp30);
2353#line 74
2354 *((unsigned long *)__cil_tmp28) = (unsigned long )__cil_tmp31;
2355#line 75
2356 __cil_tmp32 = (unsigned long )card;
2357#line 75
2358 __cil_tmp33 = __cil_tmp32 + 72;
2359#line 75
2360 *((enum avmcardtype *)__cil_tmp33) = (enum avmcardtype )6;
2361#line 77
2362 __cil_tmp34 = (unsigned long )card;
2363#line 77
2364 __cil_tmp35 = __cil_tmp34 + 56;
2365#line 77
2366 __cil_tmp36 = *((unsigned int *)__cil_tmp35);
2367#line 77
2368 __cil_tmp37 = (resource_size_t )__cil_tmp36;
2369#line 77
2370 __cil_tmp38 = (resource_size_t )31;
2371#line 77
2372 __cil_tmp39 = 0 * 1UL;
2373#line 77
2374 __cil_tmp40 = 0 + __cil_tmp39;
2375#line 77
2376 __cil_tmp41 = (unsigned long )card;
2377#line 77
2378 __cil_tmp42 = __cil_tmp41 + __cil_tmp40;
2379#line 77
2380 __cil_tmp43 = (char *)__cil_tmp42;
2381#line 77
2382 __cil_tmp44 = (char const *)__cil_tmp43;
2383#line 77
2384 tmp = __request_region(& ioport_resource, __cil_tmp37, __cil_tmp38, __cil_tmp44,
2385 0);
2386 }
2387#line 77
2388 if (tmp) {
2389
2390 } else {
2391 {
2392#line 78
2393 __cil_tmp45 = (unsigned long )card;
2394#line 78
2395 __cil_tmp46 = __cil_tmp45 + 56;
2396#line 78
2397 __cil_tmp47 = *((unsigned int *)__cil_tmp46);
2398#line 78
2399 __cil_tmp48 = (unsigned long )card;
2400#line 78
2401 __cil_tmp49 = __cil_tmp48 + 56;
2402#line 78
2403 __cil_tmp50 = *((unsigned int *)__cil_tmp49);
2404#line 78
2405 __cil_tmp51 = __cil_tmp50 + 31U;
2406#line 78
2407 printk("<4>t1pci: ports 0x%03x-0x%03x in use.\n", __cil_tmp47, __cil_tmp51);
2408#line 80
2409 retval = -16;
2410 }
2411#line 81
2412 goto err_free_dma;
2413 }
2414 {
2415#line 84
2416 __cil_tmp52 = (unsigned long )card;
2417#line 84
2418 __cil_tmp53 = __cil_tmp52 + 2264;
2419#line 84
2420 __cil_tmp54 = (unsigned long )card;
2421#line 84
2422 __cil_tmp55 = __cil_tmp54 + 64;
2423#line 84
2424 __cil_tmp56 = *((unsigned long *)__cil_tmp55);
2425#line 84
2426 __cil_tmp57 = (resource_size_t )__cil_tmp56;
2427#line 84
2428 *((void **)__cil_tmp53) = ioremap(__cil_tmp57, 64UL);
2429 }
2430 {
2431#line 85
2432 __cil_tmp58 = (unsigned long )card;
2433#line 85
2434 __cil_tmp59 = __cil_tmp58 + 2264;
2435#line 85
2436 __cil_tmp60 = *((void **)__cil_tmp59);
2437#line 85
2438 if (! __cil_tmp60) {
2439 {
2440#line 86
2441 __cil_tmp61 = (unsigned long )card;
2442#line 86
2443 __cil_tmp62 = __cil_tmp61 + 64;
2444#line 86
2445 __cil_tmp63 = *((unsigned long *)__cil_tmp62);
2446#line 86
2447 printk("<5>t1pci: can\'t remap memory at 0x%lx\n", __cil_tmp63);
2448#line 88
2449 retval = -5;
2450 }
2451#line 89
2452 goto err_release_region;
2453 } else {
2454
2455 }
2456 }
2457 {
2458#line 92
2459 b1dma_reset(card);
2460#line 94
2461 retval = t1pci_detect(card);
2462 }
2463#line 95
2464 if (retval != 0) {
2465#line 96
2466 if (retval < 6) {
2467 {
2468#line 97
2469 __cil_tmp64 = (unsigned long )card;
2470#line 97
2471 __cil_tmp65 = __cil_tmp64 + 56;
2472#line 97
2473 __cil_tmp66 = *((unsigned int *)__cil_tmp65);
2474#line 97
2475 printk("<5>t1pci: NO card at 0x%x (%d)\n", __cil_tmp66, retval);
2476 }
2477 } else {
2478 {
2479#line 100
2480 __cil_tmp67 = (unsigned long )card;
2481#line 100
2482 __cil_tmp68 = __cil_tmp67 + 56;
2483#line 100
2484 __cil_tmp69 = *((unsigned int *)__cil_tmp68);
2485#line 100
2486 printk("<5>t1pci: card at 0x%x, but cable not connected or T1 has no power (%d)\n",
2487 __cil_tmp69, retval);
2488 }
2489 }
2490#line 102
2491 retval = -5;
2492#line 103
2493 goto err_unmap;
2494 } else {
2495
2496 }
2497 {
2498#line 105
2499 b1dma_reset(card);
2500#line 107
2501 __cil_tmp70 = (unsigned long )card;
2502#line 107
2503 __cil_tmp71 = __cil_tmp70 + 60;
2504#line 107
2505 __cil_tmp72 = *((unsigned int *)__cil_tmp71);
2506#line 107
2507 __cil_tmp73 = 0 * 1UL;
2508#line 107
2509 __cil_tmp74 = 0 + __cil_tmp73;
2510#line 107
2511 __cil_tmp75 = (unsigned long )card;
2512#line 107
2513 __cil_tmp76 = __cil_tmp75 + __cil_tmp74;
2514#line 107
2515 __cil_tmp77 = (char *)__cil_tmp76;
2516#line 107
2517 __cil_tmp78 = (char const *)__cil_tmp77;
2518#line 107
2519 __cil_tmp79 = (void *)card;
2520#line 107
2521 retval = (int )request_irq(__cil_tmp72, & b1dma_interrupt, 128UL, __cil_tmp78, __cil_tmp79);
2522 }
2523#line 108
2524 if (retval) {
2525 {
2526#line 109
2527 __cil_tmp80 = (unsigned long )card;
2528#line 109
2529 __cil_tmp81 = __cil_tmp80 + 60;
2530#line 109
2531 __cil_tmp82 = *((unsigned int *)__cil_tmp81);
2532#line 109
2533 printk("<3>t1pci: unable to get IRQ %d.\n", __cil_tmp82);
2534#line 110
2535 retval = -16;
2536 }
2537#line 111
2538 goto err_unmap;
2539 } else {
2540
2541 }
2542 {
2543#line 114
2544 __cil_tmp83 = (unsigned long )cinfo;
2545#line 114
2546 __cil_tmp84 = __cil_tmp83 + 1264;
2547#line 114
2548 *((struct module **)__cil_tmp84) = & __this_module;
2549#line 115
2550 __cil_tmp85 = 1264 + 48;
2551#line 115
2552 __cil_tmp86 = (unsigned long )cinfo;
2553#line 115
2554 __cil_tmp87 = __cil_tmp86 + __cil_tmp85;
2555#line 115
2556 *((char **)__cil_tmp87) = (char *)"t1pci";
2557#line 116
2558 __cil_tmp88 = 1264 + 8;
2559#line 116
2560 __cil_tmp89 = (unsigned long )cinfo;
2561#line 116
2562 __cil_tmp90 = __cil_tmp89 + __cil_tmp88;
2563#line 116
2564 *((void **)__cil_tmp90) = (void *)cinfo;
2565#line 117
2566 __cil_tmp91 = 1264 + 72;
2567#line 117
2568 __cil_tmp92 = (unsigned long )cinfo;
2569#line 117
2570 __cil_tmp93 = __cil_tmp92 + __cil_tmp91;
2571#line 117
2572 *((void (**)(struct capi_ctr * , u16 appl , capi_register_params * ))__cil_tmp93) = & b1dma_register_appl;
2573#line 118
2574 __cil_tmp94 = 1264 + 80;
2575#line 118
2576 __cil_tmp95 = (unsigned long )cinfo;
2577#line 118
2578 __cil_tmp96 = __cil_tmp95 + __cil_tmp94;
2579#line 118
2580 *((void (**)(struct capi_ctr * , u16 appl ))__cil_tmp96) = & b1dma_release_appl;
2581#line 119
2582 __cil_tmp97 = 1264 + 88;
2583#line 119
2584 __cil_tmp98 = (unsigned long )cinfo;
2585#line 119
2586 __cil_tmp99 = __cil_tmp98 + __cil_tmp97;
2587#line 119
2588 *((u16 (**)(struct capi_ctr * , struct sk_buff *skb ))__cil_tmp99) = & b1dma_send_message;
2589#line 120
2590 __cil_tmp100 = 1264 + 56;
2591#line 120
2592 __cil_tmp101 = (unsigned long )cinfo;
2593#line 120
2594 __cil_tmp102 = __cil_tmp101 + __cil_tmp100;
2595#line 120
2596 *((int (**)(struct capi_ctr * , capiloaddata * ))__cil_tmp102) = & b1dma_load_firmware;
2597#line 121
2598 __cil_tmp103 = 1264 + 64;
2599#line 121
2600 __cil_tmp104 = (unsigned long )cinfo;
2601#line 121
2602 __cil_tmp105 = __cil_tmp104 + __cil_tmp103;
2603#line 121
2604 *((void (**)(struct capi_ctr * ))__cil_tmp105) = & b1dma_reset_ctr;
2605#line 122
2606 __cil_tmp106 = 1264 + 96;
2607#line 122
2608 __cil_tmp107 = (unsigned long )cinfo;
2609#line 122
2610 __cil_tmp108 = __cil_tmp107 + __cil_tmp106;
2611#line 122
2612 *((char *(**)(struct capi_ctr * ))__cil_tmp108) = & t1pci_procinfo;
2613#line 123
2614 __cil_tmp109 = 1264 + 104;
2615#line 123
2616 __cil_tmp110 = (unsigned long )cinfo;
2617#line 123
2618 __cil_tmp111 = __cil_tmp110 + __cil_tmp109;
2619#line 123
2620 *((struct file_operations const **)__cil_tmp111) = & b1dmactl_proc_fops;
2621#line 124
2622 __cil_tmp112 = 0 * 1UL;
2623#line 124
2624 __cil_tmp113 = 16 + __cil_tmp112;
2625#line 124
2626 __cil_tmp114 = 1264 + __cil_tmp113;
2627#line 124
2628 __cil_tmp115 = (unsigned long )cinfo;
2629#line 124
2630 __cil_tmp116 = __cil_tmp115 + __cil_tmp114;
2631#line 124
2632 __cil_tmp117 = (char *)__cil_tmp116;
2633#line 124
2634 __cil_tmp118 = 0 * 1UL;
2635#line 124
2636 __cil_tmp119 = 0 + __cil_tmp118;
2637#line 124
2638 __cil_tmp120 = (unsigned long )card;
2639#line 124
2640 __cil_tmp121 = __cil_tmp120 + __cil_tmp119;
2641#line 124
2642 __cil_tmp122 = (char *)__cil_tmp121;
2643#line 124
2644 __cil_tmp123 = (char const *)__cil_tmp122;
2645#line 124
2646 strcpy(__cil_tmp117, __cil_tmp123);
2647#line 126
2648 __cil_tmp124 = (unsigned long )cinfo;
2649#line 126
2650 __cil_tmp125 = __cil_tmp124 + 1264;
2651#line 126
2652 __cil_tmp126 = (struct capi_ctr *)__cil_tmp125;
2653#line 126
2654 retval = attach_capi_ctr(__cil_tmp126);
2655 }
2656#line 127
2657 if (retval) {
2658 {
2659#line 128
2660 printk("<3>t1pci: attach controller failed.\n");
2661#line 129
2662 retval = -16;
2663 }
2664#line 130
2665 goto err_free_irq;
2666 } else {
2667
2668 }
2669 {
2670#line 132
2671 __cil_tmp127 = (unsigned long )card;
2672#line 132
2673 __cil_tmp128 = __cil_tmp127 + 80;
2674#line 132
2675 __cil_tmp129 = 1264 + 296;
2676#line 132
2677 __cil_tmp130 = (unsigned long )cinfo;
2678#line 132
2679 __cil_tmp131 = __cil_tmp130 + __cil_tmp129;
2680#line 132
2681 *((int *)__cil_tmp128) = *((int *)__cil_tmp131);
2682#line 134
2683 __cil_tmp132 = (unsigned long )card;
2684#line 134
2685 __cil_tmp133 = __cil_tmp132 + 56;
2686#line 134
2687 __cil_tmp134 = *((unsigned int *)__cil_tmp133);
2688#line 134
2689 __cil_tmp135 = (unsigned long )card;
2690#line 134
2691 __cil_tmp136 = __cil_tmp135 + 60;
2692#line 134
2693 __cil_tmp137 = *((unsigned int *)__cil_tmp136);
2694#line 134
2695 __cil_tmp138 = (unsigned long )card;
2696#line 134
2697 __cil_tmp139 = __cil_tmp138 + 64;
2698#line 134
2699 __cil_tmp140 = *((unsigned long *)__cil_tmp139);
2700#line 134
2701 printk("<6>t1pci: AVM T1 PCI at i/o %#x, irq %d, mem %#lx\n", __cil_tmp134, __cil_tmp137,
2702 __cil_tmp140);
2703#line 137
2704 __cil_tmp141 = (void *)card;
2705#line 137
2706 pci_set_drvdata(pdev, __cil_tmp141);
2707 }
2708#line 138
2709 return (0);
2710 err_free_irq:
2711 {
2712#line 141
2713 __cil_tmp142 = (unsigned long )card;
2714#line 141
2715 __cil_tmp143 = __cil_tmp142 + 60;
2716#line 141
2717 __cil_tmp144 = *((unsigned int *)__cil_tmp143);
2718#line 141
2719 __cil_tmp145 = (void *)card;
2720#line 141
2721 free_irq(__cil_tmp144, __cil_tmp145);
2722 }
2723 err_unmap:
2724 {
2725#line 143
2726 __cil_tmp146 = (unsigned long )card;
2727#line 143
2728 __cil_tmp147 = __cil_tmp146 + 2264;
2729#line 143
2730 __cil_tmp148 = *((void **)__cil_tmp147);
2731#line 143
2732 __cil_tmp149 = (void volatile *)__cil_tmp148;
2733#line 143
2734 iounmap(__cil_tmp149);
2735 }
2736 err_release_region:
2737 {
2738#line 145
2739 __cil_tmp150 = (unsigned long )card;
2740#line 145
2741 __cil_tmp151 = __cil_tmp150 + 56;
2742#line 145
2743 __cil_tmp152 = *((unsigned int *)__cil_tmp151);
2744#line 145
2745 __cil_tmp153 = (resource_size_t )__cil_tmp152;
2746#line 145
2747 __cil_tmp154 = (resource_size_t )31;
2748#line 145
2749 __release_region(& ioport_resource, __cil_tmp153, __cil_tmp154);
2750 }
2751 err_free_dma:
2752 {
2753#line 147
2754 __cil_tmp155 = (unsigned long )card;
2755#line 147
2756 __cil_tmp156 = __cil_tmp155 + 2280;
2757#line 147
2758 __cil_tmp157 = *((avmcard_dmainfo **)__cil_tmp156);
2759#line 147
2760 avmcard_dma_free(__cil_tmp157);
2761 }
2762 err_free:
2763 {
2764#line 149
2765 b1_free_card(card);
2766 }
2767 err:
2768#line 151
2769 return (retval);
2770}
2771}
2772#line 156 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
2773static void t1pci_remove(struct pci_dev *pdev )
2774{ avmcard *card ;
2775 void *tmp ;
2776 avmctrl_info *cinfo ;
2777 unsigned long __cil_tmp5 ;
2778 unsigned long __cil_tmp6 ;
2779 unsigned long __cil_tmp7 ;
2780 unsigned long __cil_tmp8 ;
2781 struct capi_ctr *__cil_tmp9 ;
2782 unsigned long __cil_tmp10 ;
2783 unsigned long __cil_tmp11 ;
2784 unsigned int __cil_tmp12 ;
2785 void *__cil_tmp13 ;
2786 unsigned long __cil_tmp14 ;
2787 unsigned long __cil_tmp15 ;
2788 void *__cil_tmp16 ;
2789 void volatile *__cil_tmp17 ;
2790 unsigned long __cil_tmp18 ;
2791 unsigned long __cil_tmp19 ;
2792 unsigned int __cil_tmp20 ;
2793 resource_size_t __cil_tmp21 ;
2794 resource_size_t __cil_tmp22 ;
2795 unsigned long __cil_tmp23 ;
2796 unsigned long __cil_tmp24 ;
2797 avmcard_dmainfo *__cil_tmp25 ;
2798
2799 {
2800 {
2801#line 158
2802 tmp = pci_get_drvdata(pdev);
2803#line 158
2804 card = (avmcard *)tmp;
2805#line 159
2806 __cil_tmp5 = (unsigned long )card;
2807#line 159
2808 __cil_tmp6 = __cil_tmp5 + 2288;
2809#line 159
2810 cinfo = *((struct avmctrl_info **)__cil_tmp6);
2811#line 161
2812 b1dma_reset(card);
2813#line 163
2814 __cil_tmp7 = (unsigned long )cinfo;
2815#line 163
2816 __cil_tmp8 = __cil_tmp7 + 1264;
2817#line 163
2818 __cil_tmp9 = (struct capi_ctr *)__cil_tmp8;
2819#line 163
2820 detach_capi_ctr(__cil_tmp9);
2821#line 164
2822 __cil_tmp10 = (unsigned long )card;
2823#line 164
2824 __cil_tmp11 = __cil_tmp10 + 60;
2825#line 164
2826 __cil_tmp12 = *((unsigned int *)__cil_tmp11);
2827#line 164
2828 __cil_tmp13 = (void *)card;
2829#line 164
2830 free_irq(__cil_tmp12, __cil_tmp13);
2831#line 165
2832 __cil_tmp14 = (unsigned long )card;
2833#line 165
2834 __cil_tmp15 = __cil_tmp14 + 2264;
2835#line 165
2836 __cil_tmp16 = *((void **)__cil_tmp15);
2837#line 165
2838 __cil_tmp17 = (void volatile *)__cil_tmp16;
2839#line 165
2840 iounmap(__cil_tmp17);
2841#line 166
2842 __cil_tmp18 = (unsigned long )card;
2843#line 166
2844 __cil_tmp19 = __cil_tmp18 + 56;
2845#line 166
2846 __cil_tmp20 = *((unsigned int *)__cil_tmp19);
2847#line 166
2848 __cil_tmp21 = (resource_size_t )__cil_tmp20;
2849#line 166
2850 __cil_tmp22 = (resource_size_t )31;
2851#line 166
2852 __release_region(& ioport_resource, __cil_tmp21, __cil_tmp22);
2853#line 167
2854 __cil_tmp23 = (unsigned long )card;
2855#line 167
2856 __cil_tmp24 = __cil_tmp23 + 2280;
2857#line 167
2858 __cil_tmp25 = *((avmcard_dmainfo **)__cil_tmp24);
2859#line 167
2860 avmcard_dma_free(__cil_tmp25);
2861#line 168
2862 b1_free_card(card);
2863 }
2864#line 169
2865 return;
2866}
2867}
2868#line 173 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
2869static char *t1pci_procinfo(struct capi_ctr *ctrl )
2870{ avmctrl_info *cinfo ;
2871 unsigned long tmp ;
2872 unsigned int tmp___0 ;
2873 unsigned int tmp___1 ;
2874 char const *tmp___2 ;
2875 char const *tmp___3 ;
2876 unsigned long __cil_tmp8 ;
2877 unsigned long __cil_tmp9 ;
2878 void *__cil_tmp10 ;
2879 unsigned long __cil_tmp11 ;
2880 unsigned long __cil_tmp12 ;
2881 unsigned long __cil_tmp13 ;
2882 unsigned long __cil_tmp14 ;
2883 struct avmcard *__cil_tmp15 ;
2884 unsigned long __cil_tmp16 ;
2885 unsigned long __cil_tmp17 ;
2886 unsigned long __cil_tmp18 ;
2887 unsigned long __cil_tmp19 ;
2888 unsigned long __cil_tmp20 ;
2889 unsigned long __cil_tmp21 ;
2890 struct avmcard *__cil_tmp22 ;
2891 unsigned long __cil_tmp23 ;
2892 unsigned long __cil_tmp24 ;
2893 unsigned long __cil_tmp25 ;
2894 unsigned long __cil_tmp26 ;
2895 unsigned long __cil_tmp27 ;
2896 unsigned long __cil_tmp28 ;
2897 struct avmcard *__cil_tmp29 ;
2898 unsigned long __cil_tmp30 ;
2899 unsigned long __cil_tmp31 ;
2900 unsigned long __cil_tmp32 ;
2901 unsigned long __cil_tmp33 ;
2902 unsigned long __cil_tmp34 ;
2903 unsigned long __cil_tmp35 ;
2904 unsigned long __cil_tmp36 ;
2905 unsigned long __cil_tmp37 ;
2906 unsigned long __cil_tmp38 ;
2907 unsigned long __cil_tmp39 ;
2908 char *__cil_tmp40 ;
2909 unsigned long __cil_tmp41 ;
2910 unsigned long __cil_tmp42 ;
2911 unsigned long __cil_tmp43 ;
2912 unsigned long __cil_tmp44 ;
2913 unsigned long __cil_tmp45 ;
2914 unsigned long __cil_tmp46 ;
2915 unsigned long __cil_tmp47 ;
2916 unsigned long __cil_tmp48 ;
2917 char *__cil_tmp49 ;
2918 unsigned long __cil_tmp50 ;
2919 unsigned long __cil_tmp51 ;
2920 unsigned long __cil_tmp52 ;
2921 unsigned long __cil_tmp53 ;
2922 char *__cil_tmp54 ;
2923 unsigned long __cil_tmp55 ;
2924 unsigned long __cil_tmp56 ;
2925 unsigned long __cil_tmp57 ;
2926 unsigned long __cil_tmp58 ;
2927
2928 {
2929#line 175
2930 __cil_tmp8 = (unsigned long )ctrl;
2931#line 175
2932 __cil_tmp9 = __cil_tmp8 + 8;
2933#line 175
2934 __cil_tmp10 = *((void **)__cil_tmp9);
2935#line 175
2936 cinfo = (avmctrl_info *)__cil_tmp10;
2937#line 177
2938 if (! cinfo) {
2939#line 178
2940 return ((char *)"");
2941 } else {
2942
2943 }
2944 {
2945#line 179
2946 __cil_tmp11 = (unsigned long )cinfo;
2947#line 179
2948 __cil_tmp12 = __cil_tmp11 + 1256;
2949#line 179
2950 if (*((struct avmcard **)__cil_tmp12)) {
2951#line 179
2952 __cil_tmp13 = (unsigned long )cinfo;
2953#line 179
2954 __cil_tmp14 = __cil_tmp13 + 1256;
2955#line 179
2956 __cil_tmp15 = *((struct avmcard **)__cil_tmp14);
2957#line 179
2958 __cil_tmp16 = (unsigned long )__cil_tmp15;
2959#line 179
2960 __cil_tmp17 = __cil_tmp16 + 64;
2961#line 179
2962 tmp = *((unsigned long *)__cil_tmp17);
2963 } else {
2964#line 179
2965 tmp = 0UL;
2966 }
2967 }
2968 {
2969#line 179
2970 __cil_tmp18 = (unsigned long )cinfo;
2971#line 179
2972 __cil_tmp19 = __cil_tmp18 + 1256;
2973#line 179
2974 if (*((struct avmcard **)__cil_tmp19)) {
2975#line 179
2976 __cil_tmp20 = (unsigned long )cinfo;
2977#line 179
2978 __cil_tmp21 = __cil_tmp20 + 1256;
2979#line 179
2980 __cil_tmp22 = *((struct avmcard **)__cil_tmp21);
2981#line 179
2982 __cil_tmp23 = (unsigned long )__cil_tmp22;
2983#line 179
2984 __cil_tmp24 = __cil_tmp23 + 60;
2985#line 179
2986 tmp___0 = *((unsigned int *)__cil_tmp24);
2987 } else {
2988#line 179
2989 tmp___0 = 0U;
2990 }
2991 }
2992 {
2993#line 179
2994 __cil_tmp25 = (unsigned long )cinfo;
2995#line 179
2996 __cil_tmp26 = __cil_tmp25 + 1256;
2997#line 179
2998 if (*((struct avmcard **)__cil_tmp26)) {
2999#line 179
3000 __cil_tmp27 = (unsigned long )cinfo;
3001#line 179
3002 __cil_tmp28 = __cil_tmp27 + 1256;
3003#line 179
3004 __cil_tmp29 = *((struct avmcard **)__cil_tmp28);
3005#line 179
3006 __cil_tmp30 = (unsigned long )__cil_tmp29;
3007#line 179
3008 __cil_tmp31 = __cil_tmp30 + 56;
3009#line 179
3010 tmp___1 = *((unsigned int *)__cil_tmp31);
3011 } else {
3012#line 179
3013 tmp___1 = 0U;
3014 }
3015 }
3016 {
3017#line 179
3018 __cil_tmp32 = 0 * 8UL;
3019#line 179
3020 __cil_tmp33 = 1064 + __cil_tmp32;
3021#line 179
3022 __cil_tmp34 = (unsigned long )cinfo;
3023#line 179
3024 __cil_tmp35 = __cil_tmp34 + __cil_tmp33;
3025#line 179
3026 if (*((char **)__cil_tmp35)) {
3027#line 179
3028 __cil_tmp36 = 0 * 8UL;
3029#line 179
3030 __cil_tmp37 = 1064 + __cil_tmp36;
3031#line 179
3032 __cil_tmp38 = (unsigned long )cinfo;
3033#line 179
3034 __cil_tmp39 = __cil_tmp38 + __cil_tmp37;
3035#line 179
3036 __cil_tmp40 = *((char **)__cil_tmp39);
3037#line 179
3038 tmp___2 = (char const *)__cil_tmp40;
3039 } else {
3040#line 179
3041 tmp___2 = "-";
3042 }
3043 }
3044 {
3045#line 179
3046 __cil_tmp41 = 0 * 1UL;
3047#line 179
3048 __cil_tmp42 = 0 + __cil_tmp41;
3049#line 179
3050 __cil_tmp43 = (unsigned long )cinfo;
3051#line 179
3052 __cil_tmp44 = __cil_tmp43 + __cil_tmp42;
3053#line 179
3054 if (*((char *)__cil_tmp44)) {
3055#line 179
3056 __cil_tmp45 = 0 * 1UL;
3057#line 179
3058 __cil_tmp46 = 0 + __cil_tmp45;
3059#line 179
3060 __cil_tmp47 = (unsigned long )cinfo;
3061#line 179
3062 __cil_tmp48 = __cil_tmp47 + __cil_tmp46;
3063#line 179
3064 __cil_tmp49 = (char *)__cil_tmp48;
3065#line 179
3066 tmp___3 = (char const *)__cil_tmp49;
3067 } else {
3068#line 179
3069 tmp___3 = "-";
3070 }
3071 }
3072 {
3073#line 179
3074 __cil_tmp50 = 0 * 1UL;
3075#line 179
3076 __cil_tmp51 = 1128 + __cil_tmp50;
3077#line 179
3078 __cil_tmp52 = (unsigned long )cinfo;
3079#line 179
3080 __cil_tmp53 = __cil_tmp52 + __cil_tmp51;
3081#line 179
3082 __cil_tmp54 = (char *)__cil_tmp53;
3083#line 179
3084 sprintf(__cil_tmp54, "%s %s 0x%x %d 0x%lx", tmp___3, tmp___2, tmp___1, tmp___0,
3085 tmp);
3086 }
3087 {
3088#line 186
3089 __cil_tmp55 = 0 * 1UL;
3090#line 186
3091 __cil_tmp56 = 1128 + __cil_tmp55;
3092#line 186
3093 __cil_tmp57 = (unsigned long )cinfo;
3094#line 186
3095 __cil_tmp58 = __cil_tmp57 + __cil_tmp56;
3096#line 186
3097 return ((char *)__cil_tmp58);
3098 }
3099}
3100}
3101#line 191
3102static int t1pci_probe(struct pci_dev *dev , struct pci_device_id const *ent ) __attribute__((__section__(".devinit.text"),
3103__no_instrument_function__)) ;
3104#line 191 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3105static int t1pci_probe(struct pci_dev *dev , struct pci_device_id const *ent )
3106{ struct capicardparams param ;
3107 int retval ;
3108 int tmp ;
3109 struct capicardparams *__cil_tmp6 ;
3110 unsigned long __cil_tmp7 ;
3111 unsigned long __cil_tmp8 ;
3112 unsigned long __cil_tmp9 ;
3113 unsigned long __cil_tmp10 ;
3114 resource_size_t __cil_tmp11 ;
3115 unsigned long __cil_tmp12 ;
3116 unsigned long __cil_tmp13 ;
3117 unsigned long __cil_tmp14 ;
3118 unsigned long __cil_tmp15 ;
3119 unsigned long __cil_tmp16 ;
3120 unsigned long __cil_tmp17 ;
3121 unsigned long __cil_tmp18 ;
3122 unsigned long __cil_tmp19 ;
3123 resource_size_t __cil_tmp20 ;
3124 struct capicardparams *__cil_tmp21 ;
3125 unsigned int __cil_tmp22 ;
3126 unsigned long __cil_tmp23 ;
3127 unsigned int __cil_tmp24 ;
3128 unsigned long __cil_tmp25 ;
3129 unsigned int __cil_tmp26 ;
3130 struct capicardparams *__cil_tmp27 ;
3131 unsigned int __cil_tmp28 ;
3132 unsigned long __cil_tmp29 ;
3133 unsigned int __cil_tmp30 ;
3134 unsigned long __cil_tmp31 ;
3135 unsigned int __cil_tmp32 ;
3136
3137 {
3138 {
3139#line 197
3140 tmp = (int )pci_enable_device(dev);
3141 }
3142#line 197
3143 if (tmp < 0) {
3144 {
3145#line 198
3146 printk("<3>t1pci: failed to enable AVM-T1-PCI\n");
3147 }
3148#line 199
3149 return (-19);
3150 } else {
3151
3152 }
3153 {
3154#line 201
3155 pci_set_master(dev);
3156#line 203
3157 __cil_tmp6 = & param;
3158#line 203
3159 __cil_tmp7 = 1 * 56UL;
3160#line 203
3161 __cil_tmp8 = 920 + __cil_tmp7;
3162#line 203
3163 __cil_tmp9 = (unsigned long )dev;
3164#line 203
3165 __cil_tmp10 = __cil_tmp9 + __cil_tmp8;
3166#line 203
3167 __cil_tmp11 = *((resource_size_t *)__cil_tmp10);
3168#line 203
3169 *((unsigned int *)__cil_tmp6) = (unsigned int )__cil_tmp11;
3170#line 204
3171 __cil_tmp12 = (unsigned long )(& param) + 4;
3172#line 204
3173 __cil_tmp13 = (unsigned long )dev;
3174#line 204
3175 __cil_tmp14 = __cil_tmp13 + 916;
3176#line 204
3177 *((unsigned int *)__cil_tmp12) = *((unsigned int *)__cil_tmp14);
3178#line 205
3179 __cil_tmp15 = (unsigned long )(& param) + 16;
3180#line 205
3181 __cil_tmp16 = 0 * 56UL;
3182#line 205
3183 __cil_tmp17 = 920 + __cil_tmp16;
3184#line 205
3185 __cil_tmp18 = (unsigned long )dev;
3186#line 205
3187 __cil_tmp19 = __cil_tmp18 + __cil_tmp17;
3188#line 205
3189 __cil_tmp20 = *((resource_size_t *)__cil_tmp19);
3190#line 205
3191 *((unsigned int *)__cil_tmp15) = (unsigned int )__cil_tmp20;
3192#line 207
3193 __cil_tmp21 = & param;
3194#line 207
3195 __cil_tmp22 = *((unsigned int *)__cil_tmp21);
3196#line 207
3197 __cil_tmp23 = (unsigned long )(& param) + 4;
3198#line 207
3199 __cil_tmp24 = *((unsigned int *)__cil_tmp23);
3200#line 207
3201 __cil_tmp25 = (unsigned long )(& param) + 16;
3202#line 207
3203 __cil_tmp26 = *((unsigned int *)__cil_tmp25);
3204#line 207
3205 printk("<6>t1pci: PCI BIOS reports AVM-T1-PCI at i/o %#x, irq %d, mem %#x\n", __cil_tmp22,
3206 __cil_tmp24, __cil_tmp26);
3207#line 210
3208 retval = t1pci_add_card(& param, dev);
3209 }
3210#line 211
3211 if (retval != 0) {
3212 {
3213#line 212
3214 __cil_tmp27 = & param;
3215#line 212
3216 __cil_tmp28 = *((unsigned int *)__cil_tmp27);
3217#line 212
3218 __cil_tmp29 = (unsigned long )(& param) + 4;
3219#line 212
3220 __cil_tmp30 = *((unsigned int *)__cil_tmp29);
3221#line 212
3222 __cil_tmp31 = (unsigned long )(& param) + 16;
3223#line 212
3224 __cil_tmp32 = *((unsigned int *)__cil_tmp31);
3225#line 212
3226 printk("<3>t1pci: no AVM-T1-PCI at i/o %#x, irq %d detected, mem %#x\n", __cil_tmp28,
3227 __cil_tmp30, __cil_tmp32);
3228#line 214
3229 pci_disable_device(dev);
3230 }
3231#line 215
3232 return (-19);
3233 } else {
3234
3235 }
3236#line 217
3237 return (0);
3238}
3239}
3240#line 220 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3241static struct pci_driver t1pci_pci_driver =
3242#line 220
3243 {{(struct list_head *)0, (struct list_head *)0}, "t1pci", (struct pci_device_id const *)(t1pci_pci_tbl),
3244 & t1pci_probe, & t1pci_remove, (int (*)(struct pci_dev *dev , pm_message_t state ))0,
3245 (int (*)(struct pci_dev *dev , pm_message_t state ))0, (int (*)(struct pci_dev *dev ))0,
3246 (int (*)(struct pci_dev *dev ))0, (void (*)(struct pci_dev *dev ))0, (struct pci_error_handlers *)0,
3247 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
3248 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device *dev ))0,
3249 (int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
3250 pm_message_t state ))0,
3251 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
3252 (struct driver_private *)0}, {{{{{{0U}}, 0U, 0U, (void *)0}}}, {(struct list_head *)0,
3253 (struct list_head *)0}}};
3254#line 227 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3255static struct capi_driver capi_driver_t1pci = {{(char )'t', (char )'1', (char )'p', (char )'c', (char )'i', (char )'\000'}, {(char )'1',
3256 (char )'.',
3257 (char )'0',
3258 (char )'\000'},
3259 (int (*)(struct capi_driver *driver , capicardparams *data ))0, {(struct list_head *)0,
3260 (struct list_head *)0}};
3261#line 232
3262static int t1pci_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
3263#line 232 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3264static int t1pci_init(void)
3265{ char *p ;
3266 char rev[32] ;
3267 int err ;
3268 char const *__cil_tmp4 ;
3269 void *__cil_tmp5 ;
3270 unsigned long __cil_tmp6 ;
3271 unsigned long __cil_tmp7 ;
3272 char *__cil_tmp8 ;
3273 unsigned long __cil_tmp9 ;
3274 unsigned long __cil_tmp10 ;
3275 char *__cil_tmp11 ;
3276 char *__cil_tmp12 ;
3277 char const *__cil_tmp13 ;
3278 size_t __cil_tmp14 ;
3279 unsigned long __cil_tmp15 ;
3280 unsigned long __cil_tmp16 ;
3281 char *__cil_tmp17 ;
3282 char const *__cil_tmp18 ;
3283 void *__cil_tmp19 ;
3284 unsigned long __cil_tmp20 ;
3285 unsigned long __cil_tmp21 ;
3286 unsigned long __cil_tmp22 ;
3287 unsigned long __cil_tmp23 ;
3288 char *__cil_tmp24 ;
3289 unsigned long __cil_tmp25 ;
3290 unsigned long __cil_tmp26 ;
3291 char *__cil_tmp27 ;
3292 unsigned long __cil_tmp28 ;
3293 unsigned long __cil_tmp29 ;
3294 char *__cil_tmp30 ;
3295 unsigned long __cil_tmp31 ;
3296 unsigned long __cil_tmp32 ;
3297 char *__cil_tmp33 ;
3298 unsigned long __cil_tmp34 ;
3299 unsigned long __cil_tmp35 ;
3300 unsigned long __cil_tmp36 ;
3301 char *__cil_tmp37 ;
3302 unsigned long __cil_tmp38 ;
3303 unsigned long __cil_tmp39 ;
3304 char *__cil_tmp40 ;
3305 char const *__cil_tmp41 ;
3306 size_t __cil_tmp42 ;
3307 unsigned long __cil_tmp43 ;
3308 unsigned long __cil_tmp44 ;
3309 char *__cil_tmp45 ;
3310
3311 {
3312 {
3313#line 238
3314 __cil_tmp4 = (char const *)revision;
3315#line 238
3316 p = strchr(__cil_tmp4, ':');
3317 }
3318 {
3319#line 238
3320 __cil_tmp5 = (void *)0;
3321#line 238
3322 __cil_tmp6 = (unsigned long )__cil_tmp5;
3323#line 238
3324 __cil_tmp7 = (unsigned long )p;
3325#line 238
3326 if (__cil_tmp7 != __cil_tmp6) {
3327 {
3328#line 238
3329 __cil_tmp8 = p + 1;
3330#line 238
3331 if (*__cil_tmp8) {
3332 {
3333#line 239
3334 __cil_tmp9 = 0 * 1UL;
3335#line 239
3336 __cil_tmp10 = (unsigned long )(rev) + __cil_tmp9;
3337#line 239
3338 __cil_tmp11 = (char *)__cil_tmp10;
3339#line 239
3340 __cil_tmp12 = p + 2;
3341#line 239
3342 __cil_tmp13 = (char const *)__cil_tmp12;
3343#line 239
3344 __cil_tmp14 = (size_t )32;
3345#line 239
3346 strlcpy(__cil_tmp11, __cil_tmp13, __cil_tmp14);
3347#line 240
3348 __cil_tmp15 = 0 * 1UL;
3349#line 240
3350 __cil_tmp16 = (unsigned long )(rev) + __cil_tmp15;
3351#line 240
3352 __cil_tmp17 = (char *)__cil_tmp16;
3353#line 240
3354 __cil_tmp18 = (char const *)__cil_tmp17;
3355#line 240
3356 p = strchr(__cil_tmp18, '$');
3357 }
3358 {
3359#line 240
3360 __cil_tmp19 = (void *)0;
3361#line 240
3362 __cil_tmp20 = (unsigned long )__cil_tmp19;
3363#line 240
3364 __cil_tmp21 = (unsigned long )p;
3365#line 240
3366 if (__cil_tmp21 != __cil_tmp20) {
3367 {
3368#line 240
3369 __cil_tmp22 = 0 * 1UL;
3370#line 240
3371 __cil_tmp23 = (unsigned long )(rev) + __cil_tmp22;
3372#line 240
3373 __cil_tmp24 = (char *)__cil_tmp23;
3374#line 240
3375 __cil_tmp25 = (unsigned long )__cil_tmp24;
3376#line 240
3377 __cil_tmp26 = (unsigned long )p;
3378#line 240
3379 if (__cil_tmp26 > __cil_tmp25) {
3380#line 241
3381 __cil_tmp27 = p - 1;
3382#line 241
3383 *__cil_tmp27 = (char)0;
3384 } else {
3385
3386 }
3387 }
3388 } else {
3389
3390 }
3391 }
3392 } else {
3393 {
3394#line 243
3395 __cil_tmp28 = 0 * 1UL;
3396#line 243
3397 __cil_tmp29 = (unsigned long )(rev) + __cil_tmp28;
3398#line 243
3399 __cil_tmp30 = (char *)__cil_tmp29;
3400#line 243
3401 strcpy(__cil_tmp30, "1.0");
3402 }
3403 }
3404 }
3405 } else {
3406 {
3407#line 243
3408 __cil_tmp31 = 0 * 1UL;
3409#line 243
3410 __cil_tmp32 = (unsigned long )(rev) + __cil_tmp31;
3411#line 243
3412 __cil_tmp33 = (char *)__cil_tmp32;
3413#line 243
3414 strcpy(__cil_tmp33, "1.0");
3415 }
3416 }
3417 }
3418 {
3419#line 245
3420 err = (int )__pci_register_driver(& t1pci_pci_driver, & __this_module, "t1pci");
3421 }
3422#line 246
3423 if (! err) {
3424 {
3425#line 247
3426 __cil_tmp34 = 0 * 1UL;
3427#line 247
3428 __cil_tmp35 = 32 + __cil_tmp34;
3429#line 247
3430 __cil_tmp36 = (unsigned long )(& capi_driver_t1pci) + __cil_tmp35;
3431#line 247
3432 __cil_tmp37 = (char *)__cil_tmp36;
3433#line 247
3434 __cil_tmp38 = 0 * 1UL;
3435#line 247
3436 __cil_tmp39 = (unsigned long )(rev) + __cil_tmp38;
3437#line 247
3438 __cil_tmp40 = (char *)__cil_tmp39;
3439#line 247
3440 __cil_tmp41 = (char const *)__cil_tmp40;
3441#line 247
3442 __cil_tmp42 = (size_t )32;
3443#line 247
3444 strlcpy(__cil_tmp37, __cil_tmp41, __cil_tmp42);
3445#line 248
3446 register_capi_driver(& capi_driver_t1pci);
3447#line 249
3448 __cil_tmp43 = 0 * 1UL;
3449#line 249
3450 __cil_tmp44 = (unsigned long )(rev) + __cil_tmp43;
3451#line 249
3452 __cil_tmp45 = (char *)__cil_tmp44;
3453#line 249
3454 printk("<6>t1pci: revision %s\n", __cil_tmp45);
3455 }
3456 } else {
3457
3458 }
3459#line 251
3460 return (err);
3461}
3462}
3463#line 254
3464static void t1pci_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
3465#line 254 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3466static void t1pci_exit(void)
3467{
3468
3469 {
3470 {
3471#line 256
3472 unregister_capi_driver(& capi_driver_t1pci);
3473#line 257
3474 pci_unregister_driver(& t1pci_pci_driver);
3475 }
3476#line 258
3477 return;
3478}
3479}
3480#line 260 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3481int init_module(void)
3482{ int tmp ;
3483
3484 {
3485 {
3486#line 260
3487 tmp = t1pci_init();
3488 }
3489#line 260
3490 return (tmp);
3491}
3492}
3493#line 261 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3494void cleanup_module(void)
3495{
3496
3497 {
3498 {
3499#line 261
3500 t1pci_exit();
3501 }
3502#line 261
3503 return;
3504}
3505}
3506#line 279
3507void ldv_check_final_state(void) ;
3508#line 282
3509extern void ldv_check_return_value(int res ) ;
3510#line 285
3511extern void ldv_initialize(void) ;
3512#line 288
3513extern int __VERIFIER_nondet_int(void) ;
3514#line 291 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3515int LDV_IN_INTERRUPT ;
3516#line 311 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3517static int res_t1pci_probe_3 ;
3518#line 294 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3519void main(void)
3520{ struct pci_dev *var_group1 ;
3521 struct pci_device_id const *var_t1pci_probe_3_p1 ;
3522 int tmp ;
3523 int ldv_s_t1pci_pci_driver_pci_driver ;
3524 int tmp___0 ;
3525 int tmp___1 ;
3526 int __cil_tmp7 ;
3527
3528 {
3529 {
3530#line 324
3531 LDV_IN_INTERRUPT = 1;
3532#line 333
3533 ldv_initialize();
3534#line 342
3535 tmp = t1pci_init();
3536 }
3537#line 342
3538 if (tmp) {
3539#line 343
3540 goto ldv_final;
3541 } else {
3542
3543 }
3544#line 344
3545 ldv_s_t1pci_pci_driver_pci_driver = 0;
3546 {
3547#line 348
3548 while (1) {
3549 while_continue: ;
3550 {
3551#line 348
3552 tmp___1 = __VERIFIER_nondet_int();
3553 }
3554#line 348
3555 if (tmp___1) {
3556
3557 } else {
3558 {
3559#line 348
3560 __cil_tmp7 = ldv_s_t1pci_pci_driver_pci_driver == 0;
3561#line 348
3562 if (! __cil_tmp7) {
3563
3564 } else {
3565#line 348
3566 goto while_break;
3567 }
3568 }
3569 }
3570 {
3571#line 352
3572 tmp___0 = __VERIFIER_nondet_int();
3573 }
3574#line 354
3575 if (tmp___0 == 0) {
3576#line 354
3577 goto case_0;
3578 } else
3579#line 376
3580 if (tmp___0 == 1) {
3581#line 376
3582 goto case_1;
3583 } else {
3584 {
3585#line 395
3586 goto switch_default;
3587#line 352
3588 if (0) {
3589 case_0:
3590#line 357
3591 if (ldv_s_t1pci_pci_driver_pci_driver == 0) {
3592 {
3593#line 365
3594 res_t1pci_probe_3 = t1pci_probe(var_group1, var_t1pci_probe_3_p1);
3595#line 366
3596 ldv_check_return_value(res_t1pci_probe_3);
3597 }
3598#line 367
3599 if (res_t1pci_probe_3) {
3600#line 368
3601 goto ldv_module_exit;
3602 } else {
3603
3604 }
3605#line 369
3606 ldv_s_t1pci_pci_driver_pci_driver = 0;
3607 } else {
3608
3609 }
3610#line 375
3611 goto switch_break;
3612 case_1:
3613 {
3614#line 387
3615 t1pci_remove(var_group1);
3616 }
3617#line 394
3618 goto switch_break;
3619 switch_default:
3620#line 395
3621 goto switch_break;
3622 } else {
3623 switch_break: ;
3624 }
3625 }
3626 }
3627 }
3628 while_break: ;
3629 }
3630 ldv_module_exit:
3631 {
3632#line 410
3633 t1pci_exit();
3634 }
3635 ldv_final:
3636 {
3637#line 413
3638 ldv_check_final_state();
3639 }
3640#line 416
3641 return;
3642}
3643}
3644#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3645void ldv_blast_assert(void)
3646{
3647
3648 {
3649 ERROR:
3650#line 6
3651 goto ERROR;
3652}
3653}
3654#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3655extern int __VERIFIER_nondet_int(void) ;
3656#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3657int ldv_mutex = 1;
3658#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3659int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3660{ int nondetermined ;
3661
3662 {
3663#line 29
3664 if (ldv_mutex == 1) {
3665
3666 } else {
3667 {
3668#line 29
3669 ldv_blast_assert();
3670 }
3671 }
3672 {
3673#line 32
3674 nondetermined = __VERIFIER_nondet_int();
3675 }
3676#line 35
3677 if (nondetermined) {
3678#line 38
3679 ldv_mutex = 2;
3680#line 40
3681 return (0);
3682 } else {
3683#line 45
3684 return (-4);
3685 }
3686}
3687}
3688#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3689int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3690{ int nondetermined ;
3691
3692 {
3693#line 57
3694 if (ldv_mutex == 1) {
3695
3696 } else {
3697 {
3698#line 57
3699 ldv_blast_assert();
3700 }
3701 }
3702 {
3703#line 60
3704 nondetermined = __VERIFIER_nondet_int();
3705 }
3706#line 63
3707 if (nondetermined) {
3708#line 66
3709 ldv_mutex = 2;
3710#line 68
3711 return (0);
3712 } else {
3713#line 73
3714 return (-4);
3715 }
3716}
3717}
3718#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3719int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3720{ int atomic_value_after_dec ;
3721
3722 {
3723#line 83
3724 if (ldv_mutex == 1) {
3725
3726 } else {
3727 {
3728#line 83
3729 ldv_blast_assert();
3730 }
3731 }
3732 {
3733#line 86
3734 atomic_value_after_dec = __VERIFIER_nondet_int();
3735 }
3736#line 89
3737 if (atomic_value_after_dec == 0) {
3738#line 92
3739 ldv_mutex = 2;
3740#line 94
3741 return (1);
3742 } else {
3743
3744 }
3745#line 98
3746 return (0);
3747}
3748}
3749#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3750void mutex_lock(struct mutex *lock )
3751{
3752
3753 {
3754#line 108
3755 if (ldv_mutex == 1) {
3756
3757 } else {
3758 {
3759#line 108
3760 ldv_blast_assert();
3761 }
3762 }
3763#line 110
3764 ldv_mutex = 2;
3765#line 111
3766 return;
3767}
3768}
3769#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3770int mutex_trylock(struct mutex *lock )
3771{ int nondetermined ;
3772
3773 {
3774#line 121
3775 if (ldv_mutex == 1) {
3776
3777 } else {
3778 {
3779#line 121
3780 ldv_blast_assert();
3781 }
3782 }
3783 {
3784#line 124
3785 nondetermined = __VERIFIER_nondet_int();
3786 }
3787#line 127
3788 if (nondetermined) {
3789#line 130
3790 ldv_mutex = 2;
3791#line 132
3792 return (1);
3793 } else {
3794#line 137
3795 return (0);
3796 }
3797}
3798}
3799#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3800void mutex_unlock(struct mutex *lock )
3801{
3802
3803 {
3804#line 147
3805 if (ldv_mutex == 2) {
3806
3807 } else {
3808 {
3809#line 147
3810 ldv_blast_assert();
3811 }
3812 }
3813#line 149
3814 ldv_mutex = 1;
3815#line 150
3816 return;
3817}
3818}
3819#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3820void ldv_check_final_state(void)
3821{
3822
3823 {
3824#line 156
3825 if (ldv_mutex == 1) {
3826
3827 } else {
3828 {
3829#line 156
3830 ldv_blast_assert();
3831 }
3832 }
3833#line 157
3834 return;
3835}
3836}
3837#line 425 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3479/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hardware/avm/t1pci.c.common.c"
3838long s__builtin_expect(long val , long res )
3839{
3840
3841 {
3842#line 426
3843 return (val);
3844}
3845}