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 49 "include/asm-generic/int-ll64.h"
19typedef unsigned int u32;
20#line 51 "include/asm-generic/int-ll64.h"
21typedef long long s64;
22#line 52 "include/asm-generic/int-ll64.h"
23typedef unsigned long long u64;
24#line 14 "include/asm-generic/posix_types.h"
25typedef long __kernel_long_t;
26#line 15 "include/asm-generic/posix_types.h"
27typedef unsigned long __kernel_ulong_t;
28#line 75 "include/asm-generic/posix_types.h"
29typedef __kernel_ulong_t __kernel_size_t;
30#line 76 "include/asm-generic/posix_types.h"
31typedef __kernel_long_t __kernel_ssize_t;
32#line 91 "include/asm-generic/posix_types.h"
33typedef long long __kernel_loff_t;
34#line 21 "include/linux/types.h"
35typedef __u32 __kernel_dev_t;
36#line 24 "include/linux/types.h"
37typedef __kernel_dev_t dev_t;
38#line 27 "include/linux/types.h"
39typedef unsigned short umode_t;
40#line 38 "include/linux/types.h"
41typedef _Bool bool;
42#line 54 "include/linux/types.h"
43typedef __kernel_loff_t loff_t;
44#line 63 "include/linux/types.h"
45typedef __kernel_size_t size_t;
46#line 68 "include/linux/types.h"
47typedef __kernel_ssize_t ssize_t;
48#line 155 "include/linux/types.h"
49typedef u64 dma_addr_t;
50#line 202 "include/linux/types.h"
51typedef unsigned int gfp_t;
52#line 206 "include/linux/types.h"
53typedef u64 phys_addr_t;
54#line 211 "include/linux/types.h"
55typedef phys_addr_t resource_size_t;
56#line 219 "include/linux/types.h"
57struct __anonstruct_atomic_t_7 {
58 int counter ;
59};
60#line 219 "include/linux/types.h"
61typedef struct __anonstruct_atomic_t_7 atomic_t;
62#line 224 "include/linux/types.h"
63struct __anonstruct_atomic64_t_8 {
64 long counter ;
65};
66#line 224 "include/linux/types.h"
67typedef struct __anonstruct_atomic64_t_8 atomic64_t;
68#line 229 "include/linux/types.h"
69struct list_head {
70 struct list_head *next ;
71 struct list_head *prev ;
72};
73#line 233
74struct hlist_node;
75#line 233 "include/linux/types.h"
76struct hlist_head {
77 struct hlist_node *first ;
78};
79#line 237 "include/linux/types.h"
80struct hlist_node {
81 struct hlist_node *next ;
82 struct hlist_node **pprev ;
83};
84#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
85struct module;
86#line 56
87struct module;
88#line 146 "include/linux/init.h"
89typedef void (*ctor_fn_t)(void);
90#line 47 "include/linux/dynamic_debug.h"
91struct device;
92#line 47
93struct device;
94#line 135 "include/linux/kernel.h"
95struct completion;
96#line 135
97struct completion;
98#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
99struct page;
100#line 18
101struct page;
102#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
103struct task_struct;
104#line 20
105struct task_struct;
106#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
107struct task_struct;
108#line 8
109struct mm_struct;
110#line 8
111struct mm_struct;
112#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
113typedef unsigned long pgdval_t;
114#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
115typedef unsigned long pgprotval_t;
116#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
117struct pgprot {
118 pgprotval_t pgprot ;
119};
120#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
121typedef struct pgprot pgprot_t;
122#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
123struct __anonstruct_pgd_t_20 {
124 pgdval_t pgd ;
125};
126#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
127typedef struct __anonstruct_pgd_t_20 pgd_t;
128#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
129typedef struct page *pgtable_t;
130#line 295
131struct file;
132#line 295
133struct file;
134#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
135struct page;
136#line 50
137struct mm_struct;
138#line 52
139struct task_struct;
140#line 53
141struct cpumask;
142#line 53
143struct cpumask;
144#line 329
145struct arch_spinlock;
146#line 329
147struct arch_spinlock;
148#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
149struct task_struct;
150#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
151struct task_struct;
152#line 10 "include/asm-generic/bug.h"
153struct bug_entry {
154 int bug_addr_disp ;
155 int file_disp ;
156 unsigned short line ;
157 unsigned short flags ;
158};
159#line 14 "include/linux/cpumask.h"
160struct cpumask {
161 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
162};
163#line 637 "include/linux/cpumask.h"
164typedef struct cpumask *cpumask_var_t;
165#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
166struct static_key;
167#line 234
168struct static_key;
169#line 433 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
170struct kmem_cache;
171#line 23 "include/asm-generic/atomic-long.h"
172typedef atomic64_t atomic_long_t;
173#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
174typedef u16 __ticket_t;
175#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
176typedef u32 __ticketpair_t;
177#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
178struct __raw_tickets {
179 __ticket_t head ;
180 __ticket_t tail ;
181};
182#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
183union __anonunion____missing_field_name_36 {
184 __ticketpair_t head_tail ;
185 struct __raw_tickets tickets ;
186};
187#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
188struct arch_spinlock {
189 union __anonunion____missing_field_name_36 __annonCompField17 ;
190};
191#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
192typedef struct arch_spinlock arch_spinlock_t;
193#line 12 "include/linux/lockdep.h"
194struct task_struct;
195#line 20 "include/linux/spinlock_types.h"
196struct raw_spinlock {
197 arch_spinlock_t raw_lock ;
198 unsigned int magic ;
199 unsigned int owner_cpu ;
200 void *owner ;
201};
202#line 20 "include/linux/spinlock_types.h"
203typedef struct raw_spinlock raw_spinlock_t;
204#line 64 "include/linux/spinlock_types.h"
205union __anonunion____missing_field_name_39 {
206 struct raw_spinlock rlock ;
207};
208#line 64 "include/linux/spinlock_types.h"
209struct spinlock {
210 union __anonunion____missing_field_name_39 __annonCompField19 ;
211};
212#line 64 "include/linux/spinlock_types.h"
213typedef struct spinlock spinlock_t;
214#line 49 "include/linux/wait.h"
215struct __wait_queue_head {
216 spinlock_t lock ;
217 struct list_head task_list ;
218};
219#line 53 "include/linux/wait.h"
220typedef struct __wait_queue_head wait_queue_head_t;
221#line 55
222struct task_struct;
223#line 98 "include/linux/nodemask.h"
224struct __anonstruct_nodemask_t_42 {
225 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
226};
227#line 98 "include/linux/nodemask.h"
228typedef struct __anonstruct_nodemask_t_42 nodemask_t;
229#line 60 "include/linux/pageblock-flags.h"
230struct page;
231#line 48 "include/linux/mutex.h"
232struct mutex {
233 atomic_t count ;
234 spinlock_t wait_lock ;
235 struct list_head wait_list ;
236 struct task_struct *owner ;
237 char const *name ;
238 void *magic ;
239};
240#line 19 "include/linux/rwsem.h"
241struct rw_semaphore;
242#line 19
243struct rw_semaphore;
244#line 25 "include/linux/rwsem.h"
245struct rw_semaphore {
246 long count ;
247 raw_spinlock_t wait_lock ;
248 struct list_head wait_list ;
249};
250#line 25 "include/linux/completion.h"
251struct completion {
252 unsigned int done ;
253 wait_queue_head_t wait ;
254};
255#line 9 "include/linux/memory_hotplug.h"
256struct page;
257#line 18 "include/linux/ioport.h"
258struct resource {
259 resource_size_t start ;
260 resource_size_t end ;
261 char const *name ;
262 unsigned long flags ;
263 struct resource *parent ;
264 struct resource *sibling ;
265 struct resource *child ;
266};
267#line 202
268struct device;
269#line 182 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
270struct pci_dev;
271#line 182
272struct pci_dev;
273#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
274struct device;
275#line 46 "include/linux/ktime.h"
276union ktime {
277 s64 tv64 ;
278};
279#line 59 "include/linux/ktime.h"
280typedef union ktime ktime_t;
281#line 10 "include/linux/timer.h"
282struct tvec_base;
283#line 10
284struct tvec_base;
285#line 12 "include/linux/timer.h"
286struct timer_list {
287 struct list_head entry ;
288 unsigned long expires ;
289 struct tvec_base *base ;
290 void (*function)(unsigned long ) ;
291 unsigned long data ;
292 int slack ;
293 int start_pid ;
294 void *start_site ;
295 char start_comm[16] ;
296};
297#line 15 "include/linux/workqueue.h"
298struct workqueue_struct;
299#line 15
300struct workqueue_struct;
301#line 17
302struct work_struct;
303#line 17
304struct work_struct;
305#line 79 "include/linux/workqueue.h"
306struct work_struct {
307 atomic_long_t data ;
308 struct list_head entry ;
309 void (*func)(struct work_struct *work ) ;
310};
311#line 42 "include/linux/pm.h"
312struct device;
313#line 50 "include/linux/pm.h"
314struct pm_message {
315 int event ;
316};
317#line 50 "include/linux/pm.h"
318typedef struct pm_message pm_message_t;
319#line 264 "include/linux/pm.h"
320struct dev_pm_ops {
321 int (*prepare)(struct device *dev ) ;
322 void (*complete)(struct device *dev ) ;
323 int (*suspend)(struct device *dev ) ;
324 int (*resume)(struct device *dev ) ;
325 int (*freeze)(struct device *dev ) ;
326 int (*thaw)(struct device *dev ) ;
327 int (*poweroff)(struct device *dev ) ;
328 int (*restore)(struct device *dev ) ;
329 int (*suspend_late)(struct device *dev ) ;
330 int (*resume_early)(struct device *dev ) ;
331 int (*freeze_late)(struct device *dev ) ;
332 int (*thaw_early)(struct device *dev ) ;
333 int (*poweroff_late)(struct device *dev ) ;
334 int (*restore_early)(struct device *dev ) ;
335 int (*suspend_noirq)(struct device *dev ) ;
336 int (*resume_noirq)(struct device *dev ) ;
337 int (*freeze_noirq)(struct device *dev ) ;
338 int (*thaw_noirq)(struct device *dev ) ;
339 int (*poweroff_noirq)(struct device *dev ) ;
340 int (*restore_noirq)(struct device *dev ) ;
341 int (*runtime_suspend)(struct device *dev ) ;
342 int (*runtime_resume)(struct device *dev ) ;
343 int (*runtime_idle)(struct device *dev ) ;
344};
345#line 458
346enum rpm_status {
347 RPM_ACTIVE = 0,
348 RPM_RESUMING = 1,
349 RPM_SUSPENDED = 2,
350 RPM_SUSPENDING = 3
351} ;
352#line 480
353enum rpm_request {
354 RPM_REQ_NONE = 0,
355 RPM_REQ_IDLE = 1,
356 RPM_REQ_SUSPEND = 2,
357 RPM_REQ_AUTOSUSPEND = 3,
358 RPM_REQ_RESUME = 4
359} ;
360#line 488
361struct wakeup_source;
362#line 488
363struct wakeup_source;
364#line 495 "include/linux/pm.h"
365struct pm_subsys_data {
366 spinlock_t lock ;
367 unsigned int refcount ;
368};
369#line 506
370struct dev_pm_qos_request;
371#line 506
372struct pm_qos_constraints;
373#line 506 "include/linux/pm.h"
374struct dev_pm_info {
375 pm_message_t power_state ;
376 unsigned int can_wakeup : 1 ;
377 unsigned int async_suspend : 1 ;
378 bool is_prepared : 1 ;
379 bool is_suspended : 1 ;
380 bool ignore_children : 1 ;
381 spinlock_t lock ;
382 struct list_head entry ;
383 struct completion completion ;
384 struct wakeup_source *wakeup ;
385 bool wakeup_path : 1 ;
386 struct timer_list suspend_timer ;
387 unsigned long timer_expires ;
388 struct work_struct work ;
389 wait_queue_head_t wait_queue ;
390 atomic_t usage_count ;
391 atomic_t child_count ;
392 unsigned int disable_depth : 3 ;
393 unsigned int idle_notification : 1 ;
394 unsigned int request_pending : 1 ;
395 unsigned int deferred_resume : 1 ;
396 unsigned int run_wake : 1 ;
397 unsigned int runtime_auto : 1 ;
398 unsigned int no_callbacks : 1 ;
399 unsigned int irq_safe : 1 ;
400 unsigned int use_autosuspend : 1 ;
401 unsigned int timer_autosuspends : 1 ;
402 enum rpm_request request ;
403 enum rpm_status runtime_status ;
404 int runtime_error ;
405 int autosuspend_delay ;
406 unsigned long last_busy ;
407 unsigned long active_jiffies ;
408 unsigned long suspended_jiffies ;
409 unsigned long accounting_timestamp ;
410 ktime_t suspend_time ;
411 s64 max_time_suspended_ns ;
412 struct dev_pm_qos_request *pq_req ;
413 struct pm_subsys_data *subsys_data ;
414 struct pm_qos_constraints *constraints ;
415};
416#line 564 "include/linux/pm.h"
417struct dev_pm_domain {
418 struct dev_pm_ops ops ;
419};
420#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/topology.h"
421struct pci_bus;
422#line 174
423struct pci_bus;
424#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
425struct __anonstruct_mm_context_t_112 {
426 void *ldt ;
427 int size ;
428 unsigned short ia32_compat ;
429 struct mutex lock ;
430 void *vdso ;
431};
432#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
433typedef struct __anonstruct_mm_context_t_112 mm_context_t;
434#line 71 "include/asm-generic/iomap.h"
435struct pci_dev;
436#line 14 "include/asm-generic/pci_iomap.h"
437struct pci_dev;
438#line 8 "include/linux/vmalloc.h"
439struct vm_area_struct;
440#line 8
441struct vm_area_struct;
442#line 994 "include/linux/mmzone.h"
443struct page;
444#line 10 "include/linux/gfp.h"
445struct vm_area_struct;
446#line 29 "include/linux/sysctl.h"
447struct completion;
448#line 100 "include/linux/rbtree.h"
449struct rb_node {
450 unsigned long rb_parent_color ;
451 struct rb_node *rb_right ;
452 struct rb_node *rb_left ;
453} __attribute__((__aligned__(sizeof(long )))) ;
454#line 110 "include/linux/rbtree.h"
455struct rb_root {
456 struct rb_node *rb_node ;
457};
458#line 49 "include/linux/kmod.h"
459struct file;
460#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
461struct task_struct;
462#line 18 "include/linux/elf.h"
463typedef __u64 Elf64_Addr;
464#line 19 "include/linux/elf.h"
465typedef __u16 Elf64_Half;
466#line 23 "include/linux/elf.h"
467typedef __u32 Elf64_Word;
468#line 24 "include/linux/elf.h"
469typedef __u64 Elf64_Xword;
470#line 194 "include/linux/elf.h"
471struct elf64_sym {
472 Elf64_Word st_name ;
473 unsigned char st_info ;
474 unsigned char st_other ;
475 Elf64_Half st_shndx ;
476 Elf64_Addr st_value ;
477 Elf64_Xword st_size ;
478};
479#line 194 "include/linux/elf.h"
480typedef struct elf64_sym Elf64_Sym;
481#line 438
482struct file;
483#line 20 "include/linux/kobject_ns.h"
484struct sock;
485#line 20
486struct sock;
487#line 21
488struct kobject;
489#line 21
490struct kobject;
491#line 27
492enum kobj_ns_type {
493 KOBJ_NS_TYPE_NONE = 0,
494 KOBJ_NS_TYPE_NET = 1,
495 KOBJ_NS_TYPES = 2
496} ;
497#line 40 "include/linux/kobject_ns.h"
498struct kobj_ns_type_operations {
499 enum kobj_ns_type type ;
500 void *(*grab_current_ns)(void) ;
501 void const *(*netlink_ns)(struct sock *sk ) ;
502 void const *(*initial_ns)(void) ;
503 void (*drop_ns)(void * ) ;
504};
505#line 22 "include/linux/sysfs.h"
506struct kobject;
507#line 23
508struct module;
509#line 24
510enum kobj_ns_type;
511#line 26 "include/linux/sysfs.h"
512struct attribute {
513 char const *name ;
514 umode_t mode ;
515};
516#line 56 "include/linux/sysfs.h"
517struct attribute_group {
518 char const *name ;
519 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
520 struct attribute **attrs ;
521};
522#line 85
523struct file;
524#line 86
525struct vm_area_struct;
526#line 88 "include/linux/sysfs.h"
527struct bin_attribute {
528 struct attribute attr ;
529 size_t size ;
530 void *private ;
531 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
532 loff_t , size_t ) ;
533 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
534 loff_t , size_t ) ;
535 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
536};
537#line 112 "include/linux/sysfs.h"
538struct sysfs_ops {
539 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
540 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
541 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
542};
543#line 118
544struct sysfs_dirent;
545#line 118
546struct sysfs_dirent;
547#line 22 "include/linux/kref.h"
548struct kref {
549 atomic_t refcount ;
550};
551#line 60 "include/linux/kobject.h"
552struct kset;
553#line 60
554struct kobj_type;
555#line 60 "include/linux/kobject.h"
556struct kobject {
557 char const *name ;
558 struct list_head entry ;
559 struct kobject *parent ;
560 struct kset *kset ;
561 struct kobj_type *ktype ;
562 struct sysfs_dirent *sd ;
563 struct kref kref ;
564 unsigned int state_initialized : 1 ;
565 unsigned int state_in_sysfs : 1 ;
566 unsigned int state_add_uevent_sent : 1 ;
567 unsigned int state_remove_uevent_sent : 1 ;
568 unsigned int uevent_suppress : 1 ;
569};
570#line 108 "include/linux/kobject.h"
571struct kobj_type {
572 void (*release)(struct kobject *kobj ) ;
573 struct sysfs_ops const *sysfs_ops ;
574 struct attribute **default_attrs ;
575 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
576 void const *(*namespace)(struct kobject *kobj ) ;
577};
578#line 116 "include/linux/kobject.h"
579struct kobj_uevent_env {
580 char *envp[32] ;
581 int envp_idx ;
582 char buf[2048] ;
583 int buflen ;
584};
585#line 123 "include/linux/kobject.h"
586struct kset_uevent_ops {
587 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
588 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
589 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
590};
591#line 140
592struct sock;
593#line 159 "include/linux/kobject.h"
594struct kset {
595 struct list_head list ;
596 spinlock_t list_lock ;
597 struct kobject kobj ;
598 struct kset_uevent_ops const *uevent_ops ;
599};
600#line 39 "include/linux/moduleparam.h"
601struct kernel_param;
602#line 39
603struct kernel_param;
604#line 41 "include/linux/moduleparam.h"
605struct kernel_param_ops {
606 int (*set)(char const *val , struct kernel_param const *kp ) ;
607 int (*get)(char *buffer , struct kernel_param const *kp ) ;
608 void (*free)(void *arg ) ;
609};
610#line 50
611struct kparam_string;
612#line 50
613struct kparam_array;
614#line 50 "include/linux/moduleparam.h"
615union __anonunion____missing_field_name_199 {
616 void *arg ;
617 struct kparam_string const *str ;
618 struct kparam_array const *arr ;
619};
620#line 50 "include/linux/moduleparam.h"
621struct kernel_param {
622 char const *name ;
623 struct kernel_param_ops const *ops ;
624 u16 perm ;
625 s16 level ;
626 union __anonunion____missing_field_name_199 __annonCompField32 ;
627};
628#line 63 "include/linux/moduleparam.h"
629struct kparam_string {
630 unsigned int maxlen ;
631 char *string ;
632};
633#line 69 "include/linux/moduleparam.h"
634struct kparam_array {
635 unsigned int max ;
636 unsigned int elemsize ;
637 unsigned int *num ;
638 struct kernel_param_ops const *ops ;
639 void *elem ;
640};
641#line 445
642struct module;
643#line 80 "include/linux/jump_label.h"
644struct module;
645#line 143 "include/linux/jump_label.h"
646struct static_key {
647 atomic_t enabled ;
648};
649#line 22 "include/linux/tracepoint.h"
650struct module;
651#line 23
652struct tracepoint;
653#line 23
654struct tracepoint;
655#line 25 "include/linux/tracepoint.h"
656struct tracepoint_func {
657 void *func ;
658 void *data ;
659};
660#line 30 "include/linux/tracepoint.h"
661struct tracepoint {
662 char const *name ;
663 struct static_key key ;
664 void (*regfunc)(void) ;
665 void (*unregfunc)(void) ;
666 struct tracepoint_func *funcs ;
667};
668#line 19 "include/linux/export.h"
669struct kernel_symbol {
670 unsigned long value ;
671 char const *name ;
672};
673#line 8 "include/asm-generic/module.h"
674struct mod_arch_specific {
675
676};
677#line 35 "include/linux/module.h"
678struct module;
679#line 37
680struct module_param_attrs;
681#line 37 "include/linux/module.h"
682struct module_kobject {
683 struct kobject kobj ;
684 struct module *mod ;
685 struct kobject *drivers_dir ;
686 struct module_param_attrs *mp ;
687};
688#line 44 "include/linux/module.h"
689struct module_attribute {
690 struct attribute attr ;
691 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
692 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
693 size_t count ) ;
694 void (*setup)(struct module * , char const * ) ;
695 int (*test)(struct module * ) ;
696 void (*free)(struct module * ) ;
697};
698#line 71
699struct exception_table_entry;
700#line 71
701struct exception_table_entry;
702#line 199
703enum module_state {
704 MODULE_STATE_LIVE = 0,
705 MODULE_STATE_COMING = 1,
706 MODULE_STATE_GOING = 2
707} ;
708#line 215 "include/linux/module.h"
709struct module_ref {
710 unsigned long incs ;
711 unsigned long decs ;
712} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
713#line 220
714struct module_sect_attrs;
715#line 220
716struct module_notes_attrs;
717#line 220
718struct ftrace_event_call;
719#line 220 "include/linux/module.h"
720struct module {
721 enum module_state state ;
722 struct list_head list ;
723 char name[64UL - sizeof(unsigned long )] ;
724 struct module_kobject mkobj ;
725 struct module_attribute *modinfo_attrs ;
726 char const *version ;
727 char const *srcversion ;
728 struct kobject *holders_dir ;
729 struct kernel_symbol const *syms ;
730 unsigned long const *crcs ;
731 unsigned int num_syms ;
732 struct kernel_param *kp ;
733 unsigned int num_kp ;
734 unsigned int num_gpl_syms ;
735 struct kernel_symbol const *gpl_syms ;
736 unsigned long const *gpl_crcs ;
737 struct kernel_symbol const *unused_syms ;
738 unsigned long const *unused_crcs ;
739 unsigned int num_unused_syms ;
740 unsigned int num_unused_gpl_syms ;
741 struct kernel_symbol const *unused_gpl_syms ;
742 unsigned long const *unused_gpl_crcs ;
743 struct kernel_symbol const *gpl_future_syms ;
744 unsigned long const *gpl_future_crcs ;
745 unsigned int num_gpl_future_syms ;
746 unsigned int num_exentries ;
747 struct exception_table_entry *extable ;
748 int (*init)(void) ;
749 void *module_init ;
750 void *module_core ;
751 unsigned int init_size ;
752 unsigned int core_size ;
753 unsigned int init_text_size ;
754 unsigned int core_text_size ;
755 unsigned int init_ro_size ;
756 unsigned int core_ro_size ;
757 struct mod_arch_specific arch ;
758 unsigned int taints ;
759 unsigned int num_bugs ;
760 struct list_head bug_list ;
761 struct bug_entry *bug_table ;
762 Elf64_Sym *symtab ;
763 Elf64_Sym *core_symtab ;
764 unsigned int num_symtab ;
765 unsigned int core_num_syms ;
766 char *strtab ;
767 char *core_strtab ;
768 struct module_sect_attrs *sect_attrs ;
769 struct module_notes_attrs *notes_attrs ;
770 char *args ;
771 void *percpu ;
772 unsigned int percpu_size ;
773 unsigned int num_tracepoints ;
774 struct tracepoint * const *tracepoints_ptrs ;
775 unsigned int num_trace_bprintk_fmt ;
776 char const **trace_bprintk_fmt_start ;
777 struct ftrace_event_call **trace_events ;
778 unsigned int num_trace_events ;
779 struct list_head source_list ;
780 struct list_head target_list ;
781 struct task_struct *waiter ;
782 void (*exit)(void) ;
783 struct module_ref *refptr ;
784 ctor_fn_t *ctors ;
785 unsigned int num_ctors ;
786};
787#line 200 "include/linux/i2o-dev.h"
788struct _i2o_lct_entry {
789 __u32 entry_size : 16 ;
790 __u32 tid : 12 ;
791 __u32 reserved : 4 ;
792 __u32 change_ind ;
793 __u32 device_flags ;
794 __u32 class_id : 12 ;
795 __u32 version : 4 ;
796 __u32 vendor_id : 16 ;
797 __u32 sub_class ;
798 __u32 user_tid : 12 ;
799 __u32 parent_tid : 12 ;
800 __u32 bios_info : 8 ;
801 __u8 identity_tag[8] ;
802 __u32 event_capabilities ;
803};
804#line 200 "include/linux/i2o-dev.h"
805typedef struct _i2o_lct_entry i2o_lct_entry;
806#line 217 "include/linux/i2o-dev.h"
807struct _i2o_lct {
808 __u32 table_size : 16 ;
809 __u32 boot_tid : 12 ;
810 __u32 lct_ver : 4 ;
811 __u32 iop_flags ;
812 __u32 change_ind ;
813 i2o_lct_entry lct_entry[1] ;
814};
815#line 217 "include/linux/i2o-dev.h"
816typedef struct _i2o_lct i2o_lct;
817#line 12 "include/linux/mod_devicetable.h"
818typedef unsigned long kernel_ulong_t;
819#line 17 "include/linux/mod_devicetable.h"
820struct pci_device_id {
821 __u32 vendor ;
822 __u32 device ;
823 __u32 subvendor ;
824 __u32 subdevice ;
825 __u32 class ;
826 __u32 class_mask ;
827 kernel_ulong_t driver_data ;
828};
829#line 219 "include/linux/mod_devicetable.h"
830struct of_device_id {
831 char name[32] ;
832 char type[32] ;
833 char compatible[128] ;
834 void *data ;
835};
836#line 19 "include/linux/klist.h"
837struct klist_node;
838#line 19
839struct klist_node;
840#line 39 "include/linux/klist.h"
841struct klist_node {
842 void *n_klist ;
843 struct list_head n_node ;
844 struct kref n_ref ;
845};
846#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
847struct dma_map_ops;
848#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
849struct dev_archdata {
850 void *acpi_handle ;
851 struct dma_map_ops *dma_ops ;
852 void *iommu ;
853};
854#line 28 "include/linux/device.h"
855struct device;
856#line 29
857struct device_private;
858#line 29
859struct device_private;
860#line 30
861struct device_driver;
862#line 30
863struct device_driver;
864#line 31
865struct driver_private;
866#line 31
867struct driver_private;
868#line 32
869struct module;
870#line 33
871struct class;
872#line 33
873struct class;
874#line 34
875struct subsys_private;
876#line 34
877struct subsys_private;
878#line 35
879struct bus_type;
880#line 35
881struct bus_type;
882#line 36
883struct device_node;
884#line 36
885struct device_node;
886#line 37
887struct iommu_ops;
888#line 37
889struct iommu_ops;
890#line 39 "include/linux/device.h"
891struct bus_attribute {
892 struct attribute attr ;
893 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
894 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
895};
896#line 89
897struct device_attribute;
898#line 89
899struct driver_attribute;
900#line 89 "include/linux/device.h"
901struct bus_type {
902 char const *name ;
903 char const *dev_name ;
904 struct device *dev_root ;
905 struct bus_attribute *bus_attrs ;
906 struct device_attribute *dev_attrs ;
907 struct driver_attribute *drv_attrs ;
908 int (*match)(struct device *dev , struct device_driver *drv ) ;
909 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
910 int (*probe)(struct device *dev ) ;
911 int (*remove)(struct device *dev ) ;
912 void (*shutdown)(struct device *dev ) ;
913 int (*suspend)(struct device *dev , pm_message_t state ) ;
914 int (*resume)(struct device *dev ) ;
915 struct dev_pm_ops const *pm ;
916 struct iommu_ops *iommu_ops ;
917 struct subsys_private *p ;
918};
919#line 127
920struct device_type;
921#line 214 "include/linux/device.h"
922struct device_driver {
923 char const *name ;
924 struct bus_type *bus ;
925 struct module *owner ;
926 char const *mod_name ;
927 bool suppress_bind_attrs ;
928 struct of_device_id const *of_match_table ;
929 int (*probe)(struct device *dev ) ;
930 int (*remove)(struct device *dev ) ;
931 void (*shutdown)(struct device *dev ) ;
932 int (*suspend)(struct device *dev , pm_message_t state ) ;
933 int (*resume)(struct device *dev ) ;
934 struct attribute_group const **groups ;
935 struct dev_pm_ops const *pm ;
936 struct driver_private *p ;
937};
938#line 249 "include/linux/device.h"
939struct driver_attribute {
940 struct attribute attr ;
941 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
942 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
943};
944#line 330
945struct class_attribute;
946#line 330 "include/linux/device.h"
947struct class {
948 char const *name ;
949 struct module *owner ;
950 struct class_attribute *class_attrs ;
951 struct device_attribute *dev_attrs ;
952 struct bin_attribute *dev_bin_attrs ;
953 struct kobject *dev_kobj ;
954 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
955 char *(*devnode)(struct device *dev , umode_t *mode ) ;
956 void (*class_release)(struct class *class ) ;
957 void (*dev_release)(struct device *dev ) ;
958 int (*suspend)(struct device *dev , pm_message_t state ) ;
959 int (*resume)(struct device *dev ) ;
960 struct kobj_ns_type_operations const *ns_type ;
961 void const *(*namespace)(struct device *dev ) ;
962 struct dev_pm_ops const *pm ;
963 struct subsys_private *p ;
964};
965#line 397 "include/linux/device.h"
966struct class_attribute {
967 struct attribute attr ;
968 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
969 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
970 size_t count ) ;
971 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
972};
973#line 465 "include/linux/device.h"
974struct device_type {
975 char const *name ;
976 struct attribute_group const **groups ;
977 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
978 char *(*devnode)(struct device *dev , umode_t *mode ) ;
979 void (*release)(struct device *dev ) ;
980 struct dev_pm_ops const *pm ;
981};
982#line 476 "include/linux/device.h"
983struct device_attribute {
984 struct attribute attr ;
985 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
986 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
987 size_t count ) ;
988};
989#line 559 "include/linux/device.h"
990struct device_dma_parameters {
991 unsigned int max_segment_size ;
992 unsigned long segment_boundary_mask ;
993};
994#line 627
995struct dma_coherent_mem;
996#line 627 "include/linux/device.h"
997struct device {
998 struct device *parent ;
999 struct device_private *p ;
1000 struct kobject kobj ;
1001 char const *init_name ;
1002 struct device_type const *type ;
1003 struct mutex mutex ;
1004 struct bus_type *bus ;
1005 struct device_driver *driver ;
1006 void *platform_data ;
1007 struct dev_pm_info power ;
1008 struct dev_pm_domain *pm_domain ;
1009 int numa_node ;
1010 u64 *dma_mask ;
1011 u64 coherent_dma_mask ;
1012 struct device_dma_parameters *dma_parms ;
1013 struct list_head dma_pools ;
1014 struct dma_coherent_mem *dma_mem ;
1015 struct dev_archdata archdata ;
1016 struct device_node *of_node ;
1017 dev_t devt ;
1018 u32 id ;
1019 spinlock_t devres_lock ;
1020 struct list_head devres_head ;
1021 struct klist_node knode_class ;
1022 struct class *class ;
1023 struct attribute_group const **groups ;
1024 void (*release)(struct device *dev ) ;
1025};
1026#line 43 "include/linux/pm_wakeup.h"
1027struct wakeup_source {
1028 char const *name ;
1029 struct list_head entry ;
1030 spinlock_t lock ;
1031 struct timer_list timer ;
1032 unsigned long timer_expires ;
1033 ktime_t total_time ;
1034 ktime_t max_time ;
1035 ktime_t last_time ;
1036 unsigned long event_count ;
1037 unsigned long active_count ;
1038 unsigned long relax_count ;
1039 unsigned long hit_count ;
1040 unsigned int active : 1 ;
1041};
1042#line 25 "include/linux/io.h"
1043struct device;
1044#line 61 "include/linux/pci.h"
1045struct hotplug_slot;
1046#line 61 "include/linux/pci.h"
1047struct pci_slot {
1048 struct pci_bus *bus ;
1049 struct list_head list ;
1050 struct hotplug_slot *hotplug ;
1051 unsigned char number ;
1052 struct kobject kobj ;
1053};
1054#line 117 "include/linux/pci.h"
1055typedef int pci_power_t;
1056#line 143 "include/linux/pci.h"
1057typedef unsigned int pci_channel_state_t;
1058#line 145
1059enum pci_channel_state {
1060 pci_channel_io_normal = 1,
1061 pci_channel_io_frozen = 2,
1062 pci_channel_io_perm_failure = 3
1063} ;
1064#line 169 "include/linux/pci.h"
1065typedef unsigned short pci_dev_flags_t;
1066#line 186 "include/linux/pci.h"
1067typedef unsigned short pci_bus_flags_t;
1068#line 230
1069struct pcie_link_state;
1070#line 230
1071struct pcie_link_state;
1072#line 231
1073struct pci_vpd;
1074#line 231
1075struct pci_vpd;
1076#line 232
1077struct pci_sriov;
1078#line 232
1079struct pci_sriov;
1080#line 233
1081struct pci_ats;
1082#line 233
1083struct pci_ats;
1084#line 238
1085struct proc_dir_entry;
1086#line 238
1087struct pci_driver;
1088#line 238 "include/linux/pci.h"
1089union __anonunion____missing_field_name_204 {
1090 struct pci_sriov *sriov ;
1091 struct pci_dev *physfn ;
1092};
1093#line 238 "include/linux/pci.h"
1094struct pci_dev {
1095 struct list_head bus_list ;
1096 struct pci_bus *bus ;
1097 struct pci_bus *subordinate ;
1098 void *sysdata ;
1099 struct proc_dir_entry *procent ;
1100 struct pci_slot *slot ;
1101 unsigned int devfn ;
1102 unsigned short vendor ;
1103 unsigned short device ;
1104 unsigned short subsystem_vendor ;
1105 unsigned short subsystem_device ;
1106 unsigned int class ;
1107 u8 revision ;
1108 u8 hdr_type ;
1109 u8 pcie_cap ;
1110 u8 pcie_type : 4 ;
1111 u8 pcie_mpss : 3 ;
1112 u8 rom_base_reg ;
1113 u8 pin ;
1114 struct pci_driver *driver ;
1115 u64 dma_mask ;
1116 struct device_dma_parameters dma_parms ;
1117 pci_power_t current_state ;
1118 int pm_cap ;
1119 unsigned int pme_support : 5 ;
1120 unsigned int pme_interrupt : 1 ;
1121 unsigned int pme_poll : 1 ;
1122 unsigned int d1_support : 1 ;
1123 unsigned int d2_support : 1 ;
1124 unsigned int no_d1d2 : 1 ;
1125 unsigned int mmio_always_on : 1 ;
1126 unsigned int wakeup_prepared : 1 ;
1127 unsigned int d3_delay ;
1128 struct pcie_link_state *link_state ;
1129 pci_channel_state_t error_state ;
1130 struct device dev ;
1131 int cfg_size ;
1132 unsigned int irq ;
1133 struct resource resource[17] ;
1134 unsigned int transparent : 1 ;
1135 unsigned int multifunction : 1 ;
1136 unsigned int is_added : 1 ;
1137 unsigned int is_busmaster : 1 ;
1138 unsigned int no_msi : 1 ;
1139 unsigned int block_cfg_access : 1 ;
1140 unsigned int broken_parity_status : 1 ;
1141 unsigned int irq_reroute_variant : 2 ;
1142 unsigned int msi_enabled : 1 ;
1143 unsigned int msix_enabled : 1 ;
1144 unsigned int ari_enabled : 1 ;
1145 unsigned int is_managed : 1 ;
1146 unsigned int is_pcie : 1 ;
1147 unsigned int needs_freset : 1 ;
1148 unsigned int state_saved : 1 ;
1149 unsigned int is_physfn : 1 ;
1150 unsigned int is_virtfn : 1 ;
1151 unsigned int reset_fn : 1 ;
1152 unsigned int is_hotplug_bridge : 1 ;
1153 unsigned int __aer_firmware_first_valid : 1 ;
1154 unsigned int __aer_firmware_first : 1 ;
1155 pci_dev_flags_t dev_flags ;
1156 atomic_t enable_cnt ;
1157 u32 saved_config_space[16] ;
1158 struct hlist_head saved_cap_space ;
1159 struct bin_attribute *rom_attr ;
1160 int rom_attr_enabled ;
1161 struct bin_attribute *res_attr[17] ;
1162 struct bin_attribute *res_attr_wc[17] ;
1163 struct list_head msi_list ;
1164 struct kset *msi_kset ;
1165 struct pci_vpd *vpd ;
1166 union __anonunion____missing_field_name_204 __annonCompField33 ;
1167 struct pci_ats *ats ;
1168};
1169#line 406
1170struct pci_ops;
1171#line 406 "include/linux/pci.h"
1172struct pci_bus {
1173 struct list_head node ;
1174 struct pci_bus *parent ;
1175 struct list_head children ;
1176 struct list_head devices ;
1177 struct pci_dev *self ;
1178 struct list_head slots ;
1179 struct resource *resource[4] ;
1180 struct list_head resources ;
1181 struct pci_ops *ops ;
1182 void *sysdata ;
1183 struct proc_dir_entry *procdir ;
1184 unsigned char number ;
1185 unsigned char primary ;
1186 unsigned char secondary ;
1187 unsigned char subordinate ;
1188 unsigned char max_bus_speed ;
1189 unsigned char cur_bus_speed ;
1190 char name[48] ;
1191 unsigned short bridge_ctl ;
1192 pci_bus_flags_t bus_flags ;
1193 struct device *bridge ;
1194 struct device dev ;
1195 struct bin_attribute *legacy_io ;
1196 struct bin_attribute *legacy_mem ;
1197 unsigned int is_added : 1 ;
1198};
1199#line 472 "include/linux/pci.h"
1200struct pci_ops {
1201 int (*read)(struct pci_bus *bus , unsigned int devfn , int where , int size , u32 *val ) ;
1202 int (*write)(struct pci_bus *bus , unsigned int devfn , int where , int size ,
1203 u32 val ) ;
1204};
1205#line 491 "include/linux/pci.h"
1206struct pci_dynids {
1207 spinlock_t lock ;
1208 struct list_head list ;
1209};
1210#line 503 "include/linux/pci.h"
1211typedef unsigned int pci_ers_result_t;
1212#line 523 "include/linux/pci.h"
1213struct pci_error_handlers {
1214 pci_ers_result_t (*error_detected)(struct pci_dev *dev , enum pci_channel_state error ) ;
1215 pci_ers_result_t (*mmio_enabled)(struct pci_dev *dev ) ;
1216 pci_ers_result_t (*link_reset)(struct pci_dev *dev ) ;
1217 pci_ers_result_t (*slot_reset)(struct pci_dev *dev ) ;
1218 void (*resume)(struct pci_dev *dev ) ;
1219};
1220#line 543
1221struct module;
1222#line 544 "include/linux/pci.h"
1223struct pci_driver {
1224 struct list_head node ;
1225 char const *name ;
1226 struct pci_device_id const *id_table ;
1227 int (*probe)(struct pci_dev *dev , struct pci_device_id const *id ) ;
1228 void (*remove)(struct pci_dev *dev ) ;
1229 int (*suspend)(struct pci_dev *dev , pm_message_t state ) ;
1230 int (*suspend_late)(struct pci_dev *dev , pm_message_t state ) ;
1231 int (*resume_early)(struct pci_dev *dev ) ;
1232 int (*resume)(struct pci_dev *dev ) ;
1233 void (*shutdown)(struct pci_dev *dev ) ;
1234 struct pci_error_handlers *err_handler ;
1235 struct device_driver driver ;
1236 struct pci_dynids dynids ;
1237};
1238#line 6 "include/asm-generic/scatterlist.h"
1239struct scatterlist {
1240 unsigned long sg_magic ;
1241 unsigned long page_link ;
1242 unsigned int offset ;
1243 unsigned int length ;
1244 dma_addr_t dma_address ;
1245 unsigned int dma_length ;
1246};
1247#line 14 "include/linux/prio_tree.h"
1248struct prio_tree_node;
1249#line 14 "include/linux/prio_tree.h"
1250struct raw_prio_tree_node {
1251 struct prio_tree_node *left ;
1252 struct prio_tree_node *right ;
1253 struct prio_tree_node *parent ;
1254};
1255#line 20 "include/linux/prio_tree.h"
1256struct prio_tree_node {
1257 struct prio_tree_node *left ;
1258 struct prio_tree_node *right ;
1259 struct prio_tree_node *parent ;
1260 unsigned long start ;
1261 unsigned long last ;
1262};
1263#line 8 "include/linux/debug_locks.h"
1264struct task_struct;
1265#line 48
1266struct task_struct;
1267#line 23 "include/linux/mm_types.h"
1268struct address_space;
1269#line 23
1270struct address_space;
1271#line 40 "include/linux/mm_types.h"
1272union __anonunion____missing_field_name_206 {
1273 unsigned long index ;
1274 void *freelist ;
1275};
1276#line 40 "include/linux/mm_types.h"
1277struct __anonstruct____missing_field_name_210 {
1278 unsigned int inuse : 16 ;
1279 unsigned int objects : 15 ;
1280 unsigned int frozen : 1 ;
1281};
1282#line 40 "include/linux/mm_types.h"
1283union __anonunion____missing_field_name_209 {
1284 atomic_t _mapcount ;
1285 struct __anonstruct____missing_field_name_210 __annonCompField35 ;
1286};
1287#line 40 "include/linux/mm_types.h"
1288struct __anonstruct____missing_field_name_208 {
1289 union __anonunion____missing_field_name_209 __annonCompField36 ;
1290 atomic_t _count ;
1291};
1292#line 40 "include/linux/mm_types.h"
1293union __anonunion____missing_field_name_207 {
1294 unsigned long counters ;
1295 struct __anonstruct____missing_field_name_208 __annonCompField37 ;
1296};
1297#line 40 "include/linux/mm_types.h"
1298struct __anonstruct____missing_field_name_205 {
1299 union __anonunion____missing_field_name_206 __annonCompField34 ;
1300 union __anonunion____missing_field_name_207 __annonCompField38 ;
1301};
1302#line 40 "include/linux/mm_types.h"
1303struct __anonstruct____missing_field_name_212 {
1304 struct page *next ;
1305 int pages ;
1306 int pobjects ;
1307};
1308#line 40 "include/linux/mm_types.h"
1309union __anonunion____missing_field_name_211 {
1310 struct list_head lru ;
1311 struct __anonstruct____missing_field_name_212 __annonCompField40 ;
1312};
1313#line 40 "include/linux/mm_types.h"
1314union __anonunion____missing_field_name_213 {
1315 unsigned long private ;
1316 struct kmem_cache *slab ;
1317 struct page *first_page ;
1318};
1319#line 40 "include/linux/mm_types.h"
1320struct page {
1321 unsigned long flags ;
1322 struct address_space *mapping ;
1323 struct __anonstruct____missing_field_name_205 __annonCompField39 ;
1324 union __anonunion____missing_field_name_211 __annonCompField41 ;
1325 union __anonunion____missing_field_name_213 __annonCompField42 ;
1326 unsigned long debug_flags ;
1327} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1328#line 200 "include/linux/mm_types.h"
1329struct __anonstruct_vm_set_215 {
1330 struct list_head list ;
1331 void *parent ;
1332 struct vm_area_struct *head ;
1333};
1334#line 200 "include/linux/mm_types.h"
1335union __anonunion_shared_214 {
1336 struct __anonstruct_vm_set_215 vm_set ;
1337 struct raw_prio_tree_node prio_tree_node ;
1338};
1339#line 200
1340struct anon_vma;
1341#line 200
1342struct vm_operations_struct;
1343#line 200
1344struct mempolicy;
1345#line 200 "include/linux/mm_types.h"
1346struct vm_area_struct {
1347 struct mm_struct *vm_mm ;
1348 unsigned long vm_start ;
1349 unsigned long vm_end ;
1350 struct vm_area_struct *vm_next ;
1351 struct vm_area_struct *vm_prev ;
1352 pgprot_t vm_page_prot ;
1353 unsigned long vm_flags ;
1354 struct rb_node vm_rb ;
1355 union __anonunion_shared_214 shared ;
1356 struct list_head anon_vma_chain ;
1357 struct anon_vma *anon_vma ;
1358 struct vm_operations_struct const *vm_ops ;
1359 unsigned long vm_pgoff ;
1360 struct file *vm_file ;
1361 void *vm_private_data ;
1362 struct mempolicy *vm_policy ;
1363};
1364#line 257 "include/linux/mm_types.h"
1365struct core_thread {
1366 struct task_struct *task ;
1367 struct core_thread *next ;
1368};
1369#line 262 "include/linux/mm_types.h"
1370struct core_state {
1371 atomic_t nr_threads ;
1372 struct core_thread dumper ;
1373 struct completion startup ;
1374};
1375#line 284 "include/linux/mm_types.h"
1376struct mm_rss_stat {
1377 atomic_long_t count[3] ;
1378};
1379#line 288
1380struct linux_binfmt;
1381#line 288
1382struct mmu_notifier_mm;
1383#line 288 "include/linux/mm_types.h"
1384struct mm_struct {
1385 struct vm_area_struct *mmap ;
1386 struct rb_root mm_rb ;
1387 struct vm_area_struct *mmap_cache ;
1388 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1389 unsigned long pgoff , unsigned long flags ) ;
1390 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1391 unsigned long mmap_base ;
1392 unsigned long task_size ;
1393 unsigned long cached_hole_size ;
1394 unsigned long free_area_cache ;
1395 pgd_t *pgd ;
1396 atomic_t mm_users ;
1397 atomic_t mm_count ;
1398 int map_count ;
1399 spinlock_t page_table_lock ;
1400 struct rw_semaphore mmap_sem ;
1401 struct list_head mmlist ;
1402 unsigned long hiwater_rss ;
1403 unsigned long hiwater_vm ;
1404 unsigned long total_vm ;
1405 unsigned long locked_vm ;
1406 unsigned long pinned_vm ;
1407 unsigned long shared_vm ;
1408 unsigned long exec_vm ;
1409 unsigned long stack_vm ;
1410 unsigned long reserved_vm ;
1411 unsigned long def_flags ;
1412 unsigned long nr_ptes ;
1413 unsigned long start_code ;
1414 unsigned long end_code ;
1415 unsigned long start_data ;
1416 unsigned long end_data ;
1417 unsigned long start_brk ;
1418 unsigned long brk ;
1419 unsigned long start_stack ;
1420 unsigned long arg_start ;
1421 unsigned long arg_end ;
1422 unsigned long env_start ;
1423 unsigned long env_end ;
1424 unsigned long saved_auxv[44] ;
1425 struct mm_rss_stat rss_stat ;
1426 struct linux_binfmt *binfmt ;
1427 cpumask_var_t cpu_vm_mask_var ;
1428 mm_context_t context ;
1429 unsigned int faultstamp ;
1430 unsigned int token_priority ;
1431 unsigned int last_interval ;
1432 unsigned long flags ;
1433 struct core_state *core_state ;
1434 spinlock_t ioctx_lock ;
1435 struct hlist_head ioctx_list ;
1436 struct task_struct *owner ;
1437 struct file *exe_file ;
1438 unsigned long num_exe_file_vmas ;
1439 struct mmu_notifier_mm *mmu_notifier_mm ;
1440 pgtable_t pmd_huge_pte ;
1441 struct cpumask cpumask_allocation ;
1442};
1443#line 22 "include/linux/mm.h"
1444struct mempolicy;
1445#line 23
1446struct anon_vma;
1447#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1448struct mm_struct;
1449#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1450struct vm_area_struct;
1451#line 188 "include/linux/mm.h"
1452struct vm_fault {
1453 unsigned int flags ;
1454 unsigned long pgoff ;
1455 void *virtual_address ;
1456 struct page *page ;
1457};
1458#line 205 "include/linux/mm.h"
1459struct vm_operations_struct {
1460 void (*open)(struct vm_area_struct *area ) ;
1461 void (*close)(struct vm_area_struct *area ) ;
1462 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1463 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1464 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1465 int write ) ;
1466 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1467 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1468 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
1469 unsigned long flags ) ;
1470};
1471#line 195 "include/linux/page-flags.h"
1472struct page;
1473#line 46 "include/linux/slub_def.h"
1474struct kmem_cache_cpu {
1475 void **freelist ;
1476 unsigned long tid ;
1477 struct page *page ;
1478 struct page *partial ;
1479 int node ;
1480 unsigned int stat[26] ;
1481};
1482#line 57 "include/linux/slub_def.h"
1483struct kmem_cache_node {
1484 spinlock_t list_lock ;
1485 unsigned long nr_partial ;
1486 struct list_head partial ;
1487 atomic_long_t nr_slabs ;
1488 atomic_long_t total_objects ;
1489 struct list_head full ;
1490};
1491#line 73 "include/linux/slub_def.h"
1492struct kmem_cache_order_objects {
1493 unsigned long x ;
1494};
1495#line 80 "include/linux/slub_def.h"
1496struct kmem_cache {
1497 struct kmem_cache_cpu *cpu_slab ;
1498 unsigned long flags ;
1499 unsigned long min_partial ;
1500 int size ;
1501 int objsize ;
1502 int offset ;
1503 int cpu_partial ;
1504 struct kmem_cache_order_objects oo ;
1505 struct kmem_cache_order_objects max ;
1506 struct kmem_cache_order_objects min ;
1507 gfp_t allocflags ;
1508 int refcount ;
1509 void (*ctor)(void * ) ;
1510 int inuse ;
1511 int align ;
1512 int reserved ;
1513 char const *name ;
1514 struct list_head list ;
1515 struct kobject kobj ;
1516 int remote_node_defrag_ratio ;
1517 struct kmem_cache_node *node[1 << 10] ;
1518};
1519#line 27 "include/linux/dma-attrs.h"
1520struct dma_attrs {
1521 unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1522};
1523#line 7 "include/linux/dma-direction.h"
1524enum dma_data_direction {
1525 DMA_BIDIRECTIONAL = 0,
1526 DMA_TO_DEVICE = 1,
1527 DMA_FROM_DEVICE = 2,
1528 DMA_NONE = 3
1529} ;
1530#line 11 "include/linux/dma-mapping.h"
1531struct dma_map_ops {
1532 void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
1533 struct dma_attrs *attrs ) ;
1534 void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
1535 struct dma_attrs *attrs ) ;
1536 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1537 size_t , struct dma_attrs *attrs ) ;
1538 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
1539 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
1540 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
1541 struct dma_attrs *attrs ) ;
1542 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1543 struct dma_attrs *attrs ) ;
1544 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1545 struct dma_attrs *attrs ) ;
1546 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1547 enum dma_data_direction dir ) ;
1548 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1549 enum dma_data_direction dir ) ;
1550 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
1551 enum dma_data_direction dir ) ;
1552 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
1553 enum dma_data_direction dir ) ;
1554 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
1555 int (*dma_supported)(struct device *dev , u64 mask ) ;
1556 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
1557 int is_phys ;
1558};
1559#line 25 "include/linux/dma-debug.h"
1560struct device;
1561#line 26
1562struct scatterlist;
1563#line 27
1564struct bus_type;
1565#line 6 "include/linux/swiotlb.h"
1566struct device;
1567#line 7
1568struct dma_attrs;
1569#line 8
1570struct scatterlist;
1571#line 9 "include/linux/mempool.h"
1572struct kmem_cache;
1573#line 11 "include/linux/mempool.h"
1574typedef void *mempool_alloc_t(gfp_t gfp_mask , void *pool_data );
1575#line 12 "include/linux/mempool.h"
1576typedef void mempool_free_t(void *element , void *pool_data );
1577#line 14 "include/linux/mempool.h"
1578struct mempool_s {
1579 spinlock_t lock ;
1580 int min_nr ;
1581 int curr_nr ;
1582 void **elements ;
1583 void *pool_data ;
1584 mempool_alloc_t *alloc ;
1585 mempool_free_t *free ;
1586 wait_queue_head_t wait ;
1587};
1588#line 14 "include/linux/mempool.h"
1589typedef struct mempool_s mempool_t;
1590#line 16 "include/linux/semaphore.h"
1591struct semaphore {
1592 raw_spinlock_t lock ;
1593 unsigned int count ;
1594 struct list_head wait_list ;
1595};
1596#line 394 "include/linux/i2o.h"
1597struct __anonstruct_s_218 {
1598 u8 version_offset ;
1599 u8 flags ;
1600 u16 size ;
1601 u32 target_tid : 12 ;
1602 u32 init_tid : 12 ;
1603 u32 function : 8 ;
1604 u32 icntxt ;
1605 u32 tcntxt ;
1606};
1607#line 394 "include/linux/i2o.h"
1608union __anonunion_u_217 {
1609 struct __anonstruct_s_218 s ;
1610 u32 head[4] ;
1611};
1612#line 394 "include/linux/i2o.h"
1613struct i2o_message {
1614 union __anonunion_u_217 u ;
1615 u32 body[0] ;
1616};
1617#line 421
1618struct i2o_controller;
1619#line 421 "include/linux/i2o.h"
1620struct i2o_device {
1621 i2o_lct_entry lct_data ;
1622 struct i2o_controller *iop ;
1623 struct list_head list ;
1624 struct device device ;
1625 struct mutex lock ;
1626};
1627#line 449 "include/linux/i2o.h"
1628struct i2o_class_id {
1629 u16 class_id : 12 ;
1630};
1631#line 456 "include/linux/i2o.h"
1632struct i2o_driver {
1633 char *name ;
1634 int context ;
1635 struct i2o_class_id *classes ;
1636 int (*reply)(struct i2o_controller * , u32 , struct i2o_message * ) ;
1637 void (*event)(struct work_struct *work ) ;
1638 struct workqueue_struct *event_queue ;
1639 struct device_driver driver ;
1640 void (*notify_controller_add)(struct i2o_controller * ) ;
1641 void (*notify_controller_remove)(struct i2o_controller * ) ;
1642 void (*notify_device_add)(struct i2o_device * ) ;
1643 void (*notify_device_remove)(struct i2o_device * ) ;
1644 struct semaphore lock ;
1645};
1646#line 483 "include/linux/i2o.h"
1647struct i2o_dma {
1648 void *virt ;
1649 dma_addr_t phys ;
1650 size_t len ;
1651};
1652#line 492 "include/linux/i2o.h"
1653struct i2o_pool {
1654 char *name ;
1655 struct kmem_cache *slab ;
1656 mempool_t *mempool ;
1657};
1658#line 501 "include/linux/i2o.h"
1659struct i2o_io {
1660 void *virt ;
1661 unsigned long phys ;
1662 unsigned long len ;
1663};
1664#line 520 "include/linux/i2o.h"
1665struct i2o_controller {
1666 char name[16] ;
1667 int unit ;
1668 int type ;
1669 struct pci_dev *pdev ;
1670 unsigned int promise : 1 ;
1671 unsigned int adaptec : 1 ;
1672 unsigned int raptor : 1 ;
1673 unsigned int no_quiesce : 1 ;
1674 unsigned int short_req : 1 ;
1675 unsigned int limit_sectors : 1 ;
1676 unsigned int pae_support : 1 ;
1677 struct list_head devices ;
1678 struct list_head list ;
1679 void *in_port ;
1680 void *out_port ;
1681 void *irq_status ;
1682 void *irq_mask ;
1683 struct i2o_dma status ;
1684 struct i2o_dma hrt ;
1685 i2o_lct *lct ;
1686 struct i2o_dma dlct ;
1687 struct mutex lct_lock ;
1688 struct i2o_dma status_block ;
1689 struct i2o_io base ;
1690 struct i2o_io in_queue ;
1691 struct i2o_dma out_queue ;
1692 struct i2o_pool in_msg ;
1693 unsigned int battery : 1 ;
1694 unsigned int io_alloc : 1 ;
1695 unsigned int mem_alloc : 1 ;
1696 struct resource io_resource ;
1697 struct resource mem_resource ;
1698 struct device device ;
1699 struct i2o_device *exec ;
1700 spinlock_t context_list_lock ;
1701 atomic_t context_list_counter ;
1702 struct list_head context_list ;
1703 spinlock_t lock ;
1704 void *driver_data[8] ;
1705};
1706#line 1 "<compiler builtins>"
1707long __builtin_expect(long val , long res ) ;
1708#line 100 "include/linux/printk.h"
1709extern int ( printk)(char const *fmt , ...) ;
1710#line 32 "include/linux/err.h"
1711__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ;
1712#line 32 "include/linux/err.h"
1713__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr )
1714{ long tmp ;
1715 unsigned long __cil_tmp3 ;
1716 int __cil_tmp4 ;
1717 int __cil_tmp5 ;
1718 int __cil_tmp6 ;
1719 long __cil_tmp7 ;
1720
1721 {
1722 {
1723#line 34
1724 __cil_tmp3 = (unsigned long )ptr;
1725#line 34
1726 __cil_tmp4 = __cil_tmp3 >= 0xfffffffffffff001UL;
1727#line 34
1728 __cil_tmp5 = ! __cil_tmp4;
1729#line 34
1730 __cil_tmp6 = ! __cil_tmp5;
1731#line 34
1732 __cil_tmp7 = (long )__cil_tmp6;
1733#line 34
1734 tmp = __builtin_expect(__cil_tmp7, 0L);
1735 }
1736#line 34
1737 return (tmp);
1738}
1739}
1740#line 152 "include/linux/mutex.h"
1741void mutex_lock(struct mutex *lock ) ;
1742#line 153
1743int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
1744#line 154
1745int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
1746#line 168
1747int mutex_trylock(struct mutex *lock ) ;
1748#line 169
1749void mutex_unlock(struct mutex *lock ) ;
1750#line 170
1751int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
1752#line 67 "include/linux/module.h"
1753int init_module(void) ;
1754#line 68
1755void cleanup_module(void) ;
1756#line 507 "include/linux/device.h"
1757extern int device_create_file(struct device *device , struct device_attribute const *entry ) ;
1758#line 509
1759extern void device_remove_file(struct device *dev , struct device_attribute const *attr ) ;
1760#line 855
1761extern struct device *get_device(struct device *dev ) ;
1762#line 856
1763extern void put_device(struct device *dev ) ;
1764#line 614 "include/linux/i2o.h"
1765extern struct i2o_message *i2o_msg_get_wait(struct i2o_controller * , int ) ;
1766#line 615
1767extern int i2o_msg_post_wait_mem(struct i2o_controller * , struct i2o_message * ,
1768 unsigned long , struct i2o_dma * ) ;
1769#line 711
1770extern int i2o_driver_register(struct i2o_driver * ) ;
1771#line 712
1772extern void i2o_driver_unregister(struct i2o_driver * ) ;
1773#line 890
1774__inline static int i2o_msg_post_wait(struct i2o_controller *c , struct i2o_message *msg ,
1775 unsigned long timeout ) __attribute__((__no_instrument_function__)) ;
1776#line 890 "include/linux/i2o.h"
1777__inline static int i2o_msg_post_wait(struct i2o_controller *c , struct i2o_message *msg ,
1778 unsigned long timeout )
1779{ int tmp ;
1780 void *__cil_tmp5 ;
1781 struct i2o_dma *__cil_tmp6 ;
1782
1783 {
1784 {
1785#line 894
1786 __cil_tmp5 = (void *)0;
1787#line 894
1788 __cil_tmp6 = (struct i2o_dma *)__cil_tmp5;
1789#line 894
1790 tmp = i2o_msg_post_wait_mem(c, msg, timeout, __cil_tmp6);
1791 }
1792#line 894
1793 return (tmp);
1794}
1795}
1796#line 24 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
1797static struct i2o_driver i2o_bus_driver ;
1798#line 27 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
1799static struct i2o_class_id i2o_bus_class_id[2] = { {(u16 )128},
1800 {(u16 )4095}};
1801#line 41 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
1802static int i2o_bus_scan(struct i2o_device *dev )
1803{ struct i2o_message *msg ;
1804 long tmp ;
1805 int tmp___0 ;
1806 unsigned long __cil_tmp5 ;
1807 unsigned long __cil_tmp6 ;
1808 struct i2o_controller *__cil_tmp7 ;
1809 void const *__cil_tmp8 ;
1810 unsigned long __cil_tmp9 ;
1811 unsigned long __cil_tmp10 ;
1812 unsigned long __cil_tmp11 ;
1813 unsigned long __cil_tmp12 ;
1814 unsigned long __cil_tmp13 ;
1815 unsigned long __cil_tmp14 ;
1816 unsigned long __cil_tmp15 ;
1817 unsigned long __cil_tmp16 ;
1818 unsigned long __cil_tmp17 ;
1819 unsigned long __cil_tmp18 ;
1820 unsigned long __cil_tmp19 ;
1821 unsigned long __cil_tmp20 ;
1822 unsigned long __cil_tmp21 ;
1823 __u32 __cil_tmp22 ;
1824 int __cil_tmp23 ;
1825 int __cil_tmp24 ;
1826 int __cil_tmp25 ;
1827 unsigned int __cil_tmp26 ;
1828 unsigned long __cil_tmp27 ;
1829 unsigned long __cil_tmp28 ;
1830 struct i2o_controller *__cil_tmp29 ;
1831
1832 {
1833 {
1834#line 45
1835 __cil_tmp5 = (unsigned long )dev;
1836#line 45
1837 __cil_tmp6 = __cil_tmp5 + 40;
1838#line 45
1839 __cil_tmp7 = *((struct i2o_controller **)__cil_tmp6);
1840#line 45
1841 msg = i2o_msg_get_wait(__cil_tmp7, 5);
1842#line 46
1843 __cil_tmp8 = (void const *)msg;
1844#line 46
1845 tmp = (long )IS_ERR(__cil_tmp8);
1846 }
1847#line 46
1848 if (tmp) {
1849#line 47
1850 return (-110);
1851 } else {
1852
1853 }
1854 {
1855#line 49
1856 __cil_tmp9 = 0 * 4UL;
1857#line 49
1858 __cil_tmp10 = 0 + __cil_tmp9;
1859#line 49
1860 __cil_tmp11 = 0 + __cil_tmp10;
1861#line 49
1862 __cil_tmp12 = (unsigned long )msg;
1863#line 49
1864 __cil_tmp13 = __cil_tmp12 + __cil_tmp11;
1865#line 49
1866 *((u32 *)__cil_tmp13) = (__u32 )327681;
1867#line 50
1868 __cil_tmp14 = 1 * 4UL;
1869#line 50
1870 __cil_tmp15 = 0 + __cil_tmp14;
1871#line 50
1872 __cil_tmp16 = 0 + __cil_tmp15;
1873#line 50
1874 __cil_tmp17 = (unsigned long )msg;
1875#line 50
1876 __cil_tmp18 = __cil_tmp17 + __cil_tmp16;
1877#line 50
1878 __cil_tmp19 = 0 + 2;
1879#line 50
1880 __cil_tmp20 = (unsigned long )dev;
1881#line 50
1882 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
1883#line 50
1884 __cil_tmp22 = *((__u32 *)__cil_tmp21);
1885#line 50
1886 __cil_tmp23 = 1 << 12;
1887#line 50
1888 __cil_tmp24 = 137 << 24;
1889#line 50
1890 __cil_tmp25 = __cil_tmp24 | __cil_tmp23;
1891#line 50
1892 __cil_tmp26 = (unsigned int )__cil_tmp25;
1893#line 50
1894 *((u32 *)__cil_tmp18) = __cil_tmp26 | __cil_tmp22;
1895#line 54
1896 __cil_tmp27 = (unsigned long )dev;
1897#line 54
1898 __cil_tmp28 = __cil_tmp27 + 40;
1899#line 54
1900 __cil_tmp29 = *((struct i2o_controller **)__cil_tmp28);
1901#line 54
1902 tmp___0 = i2o_msg_post_wait(__cil_tmp29, msg, 60UL);
1903 }
1904#line 54
1905 return (tmp___0);
1906}
1907}
1908#line 66 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
1909static ssize_t i2o_bus_store_scan(struct device *d , struct device_attribute *attr ,
1910 char const *buf , size_t count )
1911{ struct i2o_device *i2o_dev ;
1912 struct device const *__mptr ;
1913 int rc ;
1914 struct i2o_device *__cil_tmp8 ;
1915 unsigned long __cil_tmp9 ;
1916 unsigned long __cil_tmp10 ;
1917 struct device *__cil_tmp11 ;
1918 unsigned int __cil_tmp12 ;
1919 char *__cil_tmp13 ;
1920 char *__cil_tmp14 ;
1921
1922 {
1923 {
1924#line 70
1925 __mptr = (struct device const *)d;
1926#line 70
1927 __cil_tmp8 = (struct i2o_device *)0;
1928#line 70
1929 __cil_tmp9 = (unsigned long )__cil_tmp8;
1930#line 70
1931 __cil_tmp10 = __cil_tmp9 + 64;
1932#line 70
1933 __cil_tmp11 = (struct device *)__cil_tmp10;
1934#line 70
1935 __cil_tmp12 = (unsigned int )__cil_tmp11;
1936#line 70
1937 __cil_tmp13 = (char *)__mptr;
1938#line 70
1939 __cil_tmp14 = __cil_tmp13 - __cil_tmp12;
1940#line 70
1941 i2o_dev = (struct i2o_device *)__cil_tmp14;
1942#line 73
1943 rc = i2o_bus_scan(i2o_dev);
1944 }
1945#line 73
1946 if (rc) {
1947 {
1948#line 74
1949 printk("<4>%s: bus scan failed %d\n", "bus-osm", rc);
1950 }
1951 } else {
1952
1953 }
1954#line 76
1955 return ((ssize_t )count);
1956}
1957}
1958#line 80 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
1959static struct device_attribute dev_attr_scan = {{"scan", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
1960 char *buf ))((void *)0), & i2o_bus_store_scan};
1961#line 91 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
1962static int i2o_bus_probe(struct device *dev )
1963{ struct i2o_device *i2o_dev ;
1964 struct device const *__mptr ;
1965 struct device *tmp ;
1966 int rc ;
1967 struct i2o_device *__cil_tmp6 ;
1968 unsigned long __cil_tmp7 ;
1969 unsigned long __cil_tmp8 ;
1970 struct device *__cil_tmp9 ;
1971 unsigned int __cil_tmp10 ;
1972 char *__cil_tmp11 ;
1973 char *__cil_tmp12 ;
1974 struct device_attribute const *__cil_tmp13 ;
1975 unsigned long __cil_tmp14 ;
1976 unsigned long __cil_tmp15 ;
1977 unsigned long __cil_tmp16 ;
1978 __u32 __cil_tmp17 ;
1979
1980 {
1981 {
1982#line 93
1983 tmp = get_device(dev);
1984#line 93
1985 __mptr = (struct device const *)tmp;
1986#line 93
1987 __cil_tmp6 = (struct i2o_device *)0;
1988#line 93
1989 __cil_tmp7 = (unsigned long )__cil_tmp6;
1990#line 93
1991 __cil_tmp8 = __cil_tmp7 + 64;
1992#line 93
1993 __cil_tmp9 = (struct device *)__cil_tmp8;
1994#line 93
1995 __cil_tmp10 = (unsigned int )__cil_tmp9;
1996#line 93
1997 __cil_tmp11 = (char *)__mptr;
1998#line 93
1999 __cil_tmp12 = __cil_tmp11 - __cil_tmp10;
2000#line 93
2001 i2o_dev = (struct i2o_device *)__cil_tmp12;
2002#line 96
2003 __cil_tmp13 = (struct device_attribute const *)(& dev_attr_scan);
2004#line 96
2005 rc = device_create_file(dev, __cil_tmp13);
2006 }
2007#line 97
2008 if (rc) {
2009#line 98
2010 goto err_out;
2011 } else {
2012
2013 }
2014 {
2015#line 100
2016 __cil_tmp14 = 0 + 2;
2017#line 100
2018 __cil_tmp15 = (unsigned long )i2o_dev;
2019#line 100
2020 __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
2021#line 100
2022 __cil_tmp17 = *((__u32 *)__cil_tmp16);
2023#line 100
2024 printk("<6>%s: device added (TID: %03x)\n", "bus-osm", __cil_tmp17);
2025 }
2026#line 102
2027 return (0);
2028 err_out:
2029 {
2030#line 105
2031 put_device(dev);
2032 }
2033#line 106
2034 return (rc);
2035}
2036}
2037#line 115 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2038static int i2o_bus_remove(struct device *dev )
2039{ struct i2o_device *i2o_dev ;
2040 struct device const *__mptr ;
2041 struct i2o_device *__cil_tmp4 ;
2042 unsigned long __cil_tmp5 ;
2043 unsigned long __cil_tmp6 ;
2044 struct device *__cil_tmp7 ;
2045 unsigned int __cil_tmp8 ;
2046 char *__cil_tmp9 ;
2047 char *__cil_tmp10 ;
2048 struct device_attribute const *__cil_tmp11 ;
2049 unsigned long __cil_tmp12 ;
2050 unsigned long __cil_tmp13 ;
2051 unsigned long __cil_tmp14 ;
2052 __u32 __cil_tmp15 ;
2053
2054 {
2055 {
2056#line 117
2057 __mptr = (struct device const *)dev;
2058#line 117
2059 __cil_tmp4 = (struct i2o_device *)0;
2060#line 117
2061 __cil_tmp5 = (unsigned long )__cil_tmp4;
2062#line 117
2063 __cil_tmp6 = __cil_tmp5 + 64;
2064#line 117
2065 __cil_tmp7 = (struct device *)__cil_tmp6;
2066#line 117
2067 __cil_tmp8 = (unsigned int )__cil_tmp7;
2068#line 117
2069 __cil_tmp9 = (char *)__mptr;
2070#line 117
2071 __cil_tmp10 = __cil_tmp9 - __cil_tmp8;
2072#line 117
2073 i2o_dev = (struct i2o_device *)__cil_tmp10;
2074#line 119
2075 __cil_tmp11 = (struct device_attribute const *)(& dev_attr_scan);
2076#line 119
2077 device_remove_file(dev, __cil_tmp11);
2078#line 121
2079 put_device(dev);
2080#line 123
2081 __cil_tmp12 = 0 + 2;
2082#line 123
2083 __cil_tmp13 = (unsigned long )i2o_dev;
2084#line 123
2085 __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
2086#line 123
2087 __cil_tmp15 = *((__u32 *)__cil_tmp14);
2088#line 123
2089 printk("<6>%s: device removed (TID: %03x)\n", "bus-osm", __cil_tmp15);
2090 }
2091#line 125
2092 return (0);
2093}
2094}
2095#line 129 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2096static struct i2o_driver i2o_bus_driver =
2097#line 129
2098 {(char *)"bus-osm", 0, i2o_bus_class_id, (int (*)(struct i2o_controller * , u32 ,
2099 struct i2o_message * ))0, (void (*)(struct work_struct *work ))0,
2100 (struct workqueue_struct *)0, {(char const *)0, (struct bus_type *)0, (struct module *)0,
2101 (char const *)0, (_Bool)0, (struct of_device_id const *)0,
2102 & i2o_bus_probe, & i2o_bus_remove, (void (*)(struct device *dev ))0,
2103 (int (*)(struct device *dev , pm_message_t state ))0,
2104 (int (*)(struct device *dev ))0, (struct attribute_group const **)0,
2105 (struct dev_pm_ops const *)0, (struct driver_private *)0},
2106 (void (*)(struct i2o_controller * ))0, (void (*)(struct i2o_controller * ))0,
2107 (void (*)(struct i2o_device * ))0, (void (*)(struct i2o_device * ))0, {{{{0U}},
2108 0U, 0U,
2109 (void *)0},
2110 0U, {(struct list_head *)0,
2111 (struct list_head *)0}}};
2112#line 145
2113static int i2o_bus_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
2114#line 145 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2115static int i2o_bus_init(void)
2116{ int rc ;
2117
2118 {
2119 {
2120#line 149
2121 printk("<6>I2O Bus Adapter OSM v1.317\n");
2122#line 152
2123 rc = i2o_driver_register(& i2o_bus_driver);
2124 }
2125#line 153
2126 if (rc) {
2127 {
2128#line 154
2129 printk("<3>%s: Could not register Bus Adapter OSM\n", "bus-osm");
2130 }
2131#line 155
2132 return (rc);
2133 } else {
2134
2135 }
2136#line 158
2137 return (0);
2138}
2139}
2140#line 166
2141static void i2o_bus_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
2142#line 166 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2143static void i2o_bus_exit(void)
2144{
2145
2146 {
2147 {
2148#line 168
2149 i2o_driver_unregister(& i2o_bus_driver);
2150 }
2151#line 169
2152 return;
2153}
2154}
2155#line 171 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2156static char const __mod_author171[53] __attribute__((__used__, __unused__, __section__(".modinfo"),
2157__aligned__(1))) =
2158#line 171
2159 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
2160 (char const )'o', (char const )'r', (char const )'=', (char const )'M',
2161 (char const )'a', (char const )'r', (char const )'k', (char const )'u',
2162 (char const )'s', (char const )' ', (char const )'L', (char const )'i',
2163 (char const )'d', (char const )'e', (char const )'l', (char const )' ',
2164 (char const )'<', (char const )'M', (char const )'a', (char const )'r',
2165 (char const )'k', (char const )'u', (char const )'s', (char const )'.',
2166 (char const )'L', (char const )'i', (char const )'d', (char const )'e',
2167 (char const )'l', (char const )'@', (char const )'s', (char const )'h',
2168 (char const )'a', (char const )'d', (char const )'o', (char const )'w',
2169 (char const )'c', (char const )'o', (char const )'n', (char const )'n',
2170 (char const )'e', (char const )'c', (char const )'t', (char const )'.',
2171 (char const )'c', (char const )'o', (char const )'m', (char const )'>',
2172 (char const )'\000'};
2173#line 172 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2174static char const __mod_license172[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
2175__aligned__(1))) =
2176#line 172
2177 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
2178 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
2179 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
2180#line 173 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2181static char const __mod_description173[32] __attribute__((__used__, __unused__,
2182__section__(".modinfo"), __aligned__(1))) =
2183#line 173
2184 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
2185 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
2186 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
2187 (char const )'I', (char const )'2', (char const )'O', (char const )' ',
2188 (char const )'B', (char const )'u', (char const )'s', (char const )' ',
2189 (char const )'A', (char const )'d', (char const )'a', (char const )'p',
2190 (char const )'t', (char const )'e', (char const )'r', (char const )' ',
2191 (char const )'O', (char const )'S', (char const )'M', (char const )'\000'};
2192#line 174 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2193static char const __mod_version174[14] __attribute__((__used__, __unused__, __section__(".modinfo"),
2194__aligned__(1))) =
2195#line 174
2196 { (char const )'v', (char const )'e', (char const )'r', (char const )'s',
2197 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
2198 (char const )'1', (char const )'.', (char const )'3', (char const )'1',
2199 (char const )'7', (char const )'\000'};
2200#line 176 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2201int init_module(void)
2202{ int tmp ;
2203
2204 {
2205 {
2206#line 176
2207 tmp = i2o_bus_init();
2208 }
2209#line 176
2210 return (tmp);
2211}
2212}
2213#line 177 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2214void cleanup_module(void)
2215{
2216
2217 {
2218 {
2219#line 177
2220 i2o_bus_exit();
2221 }
2222#line 177
2223 return;
2224}
2225}
2226#line 195
2227void ldv_check_final_state(void) ;
2228#line 198
2229extern void ldv_check_return_value(int res ) ;
2230#line 201
2231extern void ldv_initialize(void) ;
2232#line 204
2233extern int __VERIFIER_nondet_int(void) ;
2234#line 207 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2235int LDV_IN_INTERRUPT ;
2236#line 226 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2237static int res_i2o_bus_probe_2 ;
2238#line 210 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2239void main(void)
2240{ struct device *var_group1 ;
2241 int tmp ;
2242 int ldv_s_i2o_bus_driver_i2o_driver ;
2243 int tmp___0 ;
2244 int tmp___1 ;
2245 int __cil_tmp6 ;
2246
2247 {
2248 {
2249#line 240
2250 LDV_IN_INTERRUPT = 1;
2251#line 249
2252 ldv_initialize();
2253#line 259
2254 tmp = i2o_bus_init();
2255 }
2256#line 259
2257 if (tmp) {
2258#line 260
2259 goto ldv_final;
2260 } else {
2261
2262 }
2263#line 261
2264 ldv_s_i2o_bus_driver_i2o_driver = 0;
2265 {
2266#line 265
2267 while (1) {
2268 while_continue: ;
2269 {
2270#line 265
2271 tmp___1 = __VERIFIER_nondet_int();
2272 }
2273#line 265
2274 if (tmp___1) {
2275
2276 } else {
2277 {
2278#line 265
2279 __cil_tmp6 = ldv_s_i2o_bus_driver_i2o_driver == 0;
2280#line 265
2281 if (! __cil_tmp6) {
2282
2283 } else {
2284#line 265
2285 goto while_break;
2286 }
2287 }
2288 }
2289 {
2290#line 269
2291 tmp___0 = __VERIFIER_nondet_int();
2292 }
2293#line 271
2294 if (tmp___0 == 0) {
2295#line 271
2296 goto case_0;
2297 } else
2298#line 294
2299 if (tmp___0 == 1) {
2300#line 294
2301 goto case_1;
2302 } else {
2303 {
2304#line 314
2305 goto switch_default;
2306#line 269
2307 if (0) {
2308 case_0:
2309#line 274
2310 if (ldv_s_i2o_bus_driver_i2o_driver == 0) {
2311 {
2312#line 283
2313 res_i2o_bus_probe_2 = i2o_bus_probe(var_group1);
2314#line 284
2315 ldv_check_return_value(res_i2o_bus_probe_2);
2316 }
2317#line 285
2318 if (res_i2o_bus_probe_2) {
2319#line 286
2320 goto ldv_module_exit;
2321 } else {
2322
2323 }
2324#line 287
2325 ldv_s_i2o_bus_driver_i2o_driver = 0;
2326 } else {
2327
2328 }
2329#line 293
2330 goto switch_break;
2331 case_1:
2332 {
2333#line 306
2334 i2o_bus_remove(var_group1);
2335 }
2336#line 313
2337 goto switch_break;
2338 switch_default:
2339#line 314
2340 goto switch_break;
2341 } else {
2342 switch_break: ;
2343 }
2344 }
2345 }
2346 }
2347 while_break: ;
2348 }
2349 ldv_module_exit:
2350 {
2351#line 330
2352 i2o_bus_exit();
2353 }
2354 ldv_final:
2355 {
2356#line 333
2357 ldv_check_final_state();
2358 }
2359#line 336
2360 return;
2361}
2362}
2363#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
2364void ldv_blast_assert(void)
2365{
2366
2367 {
2368 ERROR:
2369#line 6
2370 goto ERROR;
2371}
2372}
2373#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
2374extern int __VERIFIER_nondet_int(void) ;
2375#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2376int ldv_mutex = 1;
2377#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2378int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
2379{ int nondetermined ;
2380
2381 {
2382#line 29
2383 if (ldv_mutex == 1) {
2384
2385 } else {
2386 {
2387#line 29
2388 ldv_blast_assert();
2389 }
2390 }
2391 {
2392#line 32
2393 nondetermined = __VERIFIER_nondet_int();
2394 }
2395#line 35
2396 if (nondetermined) {
2397#line 38
2398 ldv_mutex = 2;
2399#line 40
2400 return (0);
2401 } else {
2402#line 45
2403 return (-4);
2404 }
2405}
2406}
2407#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2408int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
2409{ int nondetermined ;
2410
2411 {
2412#line 57
2413 if (ldv_mutex == 1) {
2414
2415 } else {
2416 {
2417#line 57
2418 ldv_blast_assert();
2419 }
2420 }
2421 {
2422#line 60
2423 nondetermined = __VERIFIER_nondet_int();
2424 }
2425#line 63
2426 if (nondetermined) {
2427#line 66
2428 ldv_mutex = 2;
2429#line 68
2430 return (0);
2431 } else {
2432#line 73
2433 return (-4);
2434 }
2435}
2436}
2437#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2438int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
2439{ int atomic_value_after_dec ;
2440
2441 {
2442#line 83
2443 if (ldv_mutex == 1) {
2444
2445 } else {
2446 {
2447#line 83
2448 ldv_blast_assert();
2449 }
2450 }
2451 {
2452#line 86
2453 atomic_value_after_dec = __VERIFIER_nondet_int();
2454 }
2455#line 89
2456 if (atomic_value_after_dec == 0) {
2457#line 92
2458 ldv_mutex = 2;
2459#line 94
2460 return (1);
2461 } else {
2462
2463 }
2464#line 98
2465 return (0);
2466}
2467}
2468#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2469void mutex_lock(struct mutex *lock )
2470{
2471
2472 {
2473#line 108
2474 if (ldv_mutex == 1) {
2475
2476 } else {
2477 {
2478#line 108
2479 ldv_blast_assert();
2480 }
2481 }
2482#line 110
2483 ldv_mutex = 2;
2484#line 111
2485 return;
2486}
2487}
2488#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2489int mutex_trylock(struct mutex *lock )
2490{ int nondetermined ;
2491
2492 {
2493#line 121
2494 if (ldv_mutex == 1) {
2495
2496 } else {
2497 {
2498#line 121
2499 ldv_blast_assert();
2500 }
2501 }
2502 {
2503#line 124
2504 nondetermined = __VERIFIER_nondet_int();
2505 }
2506#line 127
2507 if (nondetermined) {
2508#line 130
2509 ldv_mutex = 2;
2510#line 132
2511 return (1);
2512 } else {
2513#line 137
2514 return (0);
2515 }
2516}
2517}
2518#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2519void mutex_unlock(struct mutex *lock )
2520{
2521
2522 {
2523#line 147
2524 if (ldv_mutex == 2) {
2525
2526 } else {
2527 {
2528#line 147
2529 ldv_blast_assert();
2530 }
2531 }
2532#line 149
2533 ldv_mutex = 1;
2534#line 150
2535 return;
2536}
2537}
2538#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2539void ldv_check_final_state(void)
2540{
2541
2542 {
2543#line 156
2544 if (ldv_mutex == 1) {
2545
2546 } else {
2547 {
2548#line 156
2549 ldv_blast_assert();
2550 }
2551 }
2552#line 157
2553 return;
2554}
2555}
2556#line 345 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/1072/dscv_tempdir/dscv/ri/32_1/drivers/message/i2o/bus-osm.c.common.c"
2557long s__builtin_expect(long val , long res )
2558{
2559
2560 {
2561#line 346
2562 return (val);
2563}
2564}