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