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