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 61 "include/linux/pci.h"
1108struct hotplug_slot;
1109#line 61 "include/linux/pci.h"
1110struct pci_slot {
1111 struct pci_bus *bus ;
1112 struct list_head list ;
1113 struct hotplug_slot *hotplug ;
1114 unsigned char number ;
1115 struct kobject kobj ;
1116};
1117#line 117 "include/linux/pci.h"
1118typedef int pci_power_t;
1119#line 143 "include/linux/pci.h"
1120typedef unsigned int pci_channel_state_t;
1121#line 145
1122enum pci_channel_state {
1123 pci_channel_io_normal = 1,
1124 pci_channel_io_frozen = 2,
1125 pci_channel_io_perm_failure = 3
1126} ;
1127#line 169 "include/linux/pci.h"
1128typedef unsigned short pci_dev_flags_t;
1129#line 186 "include/linux/pci.h"
1130typedef unsigned short pci_bus_flags_t;
1131#line 230
1132struct pcie_link_state;
1133#line 230
1134struct pcie_link_state;
1135#line 231
1136struct pci_vpd;
1137#line 231
1138struct pci_vpd;
1139#line 232
1140struct pci_sriov;
1141#line 232
1142struct pci_sriov;
1143#line 233
1144struct pci_ats;
1145#line 233
1146struct pci_ats;
1147#line 238
1148struct proc_dir_entry;
1149#line 238
1150struct pci_driver;
1151#line 238 "include/linux/pci.h"
1152union __anonunion____missing_field_name_203 {
1153 struct pci_sriov *sriov ;
1154 struct pci_dev *physfn ;
1155};
1156#line 238 "include/linux/pci.h"
1157struct pci_dev {
1158 struct list_head bus_list ;
1159 struct pci_bus *bus ;
1160 struct pci_bus *subordinate ;
1161 void *sysdata ;
1162 struct proc_dir_entry *procent ;
1163 struct pci_slot *slot ;
1164 unsigned int devfn ;
1165 unsigned short vendor ;
1166 unsigned short device ;
1167 unsigned short subsystem_vendor ;
1168 unsigned short subsystem_device ;
1169 unsigned int class ;
1170 u8 revision ;
1171 u8 hdr_type ;
1172 u8 pcie_cap ;
1173 u8 pcie_type : 4 ;
1174 u8 pcie_mpss : 3 ;
1175 u8 rom_base_reg ;
1176 u8 pin ;
1177 struct pci_driver *driver ;
1178 u64 dma_mask ;
1179 struct device_dma_parameters dma_parms ;
1180 pci_power_t current_state ;
1181 int pm_cap ;
1182 unsigned int pme_support : 5 ;
1183 unsigned int pme_interrupt : 1 ;
1184 unsigned int pme_poll : 1 ;
1185 unsigned int d1_support : 1 ;
1186 unsigned int d2_support : 1 ;
1187 unsigned int no_d1d2 : 1 ;
1188 unsigned int mmio_always_on : 1 ;
1189 unsigned int wakeup_prepared : 1 ;
1190 unsigned int d3_delay ;
1191 struct pcie_link_state *link_state ;
1192 pci_channel_state_t error_state ;
1193 struct device dev ;
1194 int cfg_size ;
1195 unsigned int irq ;
1196 struct resource resource[17] ;
1197 unsigned int transparent : 1 ;
1198 unsigned int multifunction : 1 ;
1199 unsigned int is_added : 1 ;
1200 unsigned int is_busmaster : 1 ;
1201 unsigned int no_msi : 1 ;
1202 unsigned int block_cfg_access : 1 ;
1203 unsigned int broken_parity_status : 1 ;
1204 unsigned int irq_reroute_variant : 2 ;
1205 unsigned int msi_enabled : 1 ;
1206 unsigned int msix_enabled : 1 ;
1207 unsigned int ari_enabled : 1 ;
1208 unsigned int is_managed : 1 ;
1209 unsigned int is_pcie : 1 ;
1210 unsigned int needs_freset : 1 ;
1211 unsigned int state_saved : 1 ;
1212 unsigned int is_physfn : 1 ;
1213 unsigned int is_virtfn : 1 ;
1214 unsigned int reset_fn : 1 ;
1215 unsigned int is_hotplug_bridge : 1 ;
1216 unsigned int __aer_firmware_first_valid : 1 ;
1217 unsigned int __aer_firmware_first : 1 ;
1218 pci_dev_flags_t dev_flags ;
1219 atomic_t enable_cnt ;
1220 u32 saved_config_space[16] ;
1221 struct hlist_head saved_cap_space ;
1222 struct bin_attribute *rom_attr ;
1223 int rom_attr_enabled ;
1224 struct bin_attribute *res_attr[17] ;
1225 struct bin_attribute *res_attr_wc[17] ;
1226 struct list_head msi_list ;
1227 struct kset *msi_kset ;
1228 struct pci_vpd *vpd ;
1229 union __anonunion____missing_field_name_203 __annonCompField33 ;
1230 struct pci_ats *ats ;
1231};
1232#line 406
1233struct pci_ops;
1234#line 406 "include/linux/pci.h"
1235struct pci_bus {
1236 struct list_head node ;
1237 struct pci_bus *parent ;
1238 struct list_head children ;
1239 struct list_head devices ;
1240 struct pci_dev *self ;
1241 struct list_head slots ;
1242 struct resource *resource[4] ;
1243 struct list_head resources ;
1244 struct pci_ops *ops ;
1245 void *sysdata ;
1246 struct proc_dir_entry *procdir ;
1247 unsigned char number ;
1248 unsigned char primary ;
1249 unsigned char secondary ;
1250 unsigned char subordinate ;
1251 unsigned char max_bus_speed ;
1252 unsigned char cur_bus_speed ;
1253 char name[48] ;
1254 unsigned short bridge_ctl ;
1255 pci_bus_flags_t bus_flags ;
1256 struct device *bridge ;
1257 struct device dev ;
1258 struct bin_attribute *legacy_io ;
1259 struct bin_attribute *legacy_mem ;
1260 unsigned int is_added : 1 ;
1261};
1262#line 472 "include/linux/pci.h"
1263struct pci_ops {
1264 int (*read)(struct pci_bus *bus , unsigned int devfn , int where , int size , u32 *val ) ;
1265 int (*write)(struct pci_bus *bus , unsigned int devfn , int where , int size ,
1266 u32 val ) ;
1267};
1268#line 491 "include/linux/pci.h"
1269struct pci_dynids {
1270 spinlock_t lock ;
1271 struct list_head list ;
1272};
1273#line 503 "include/linux/pci.h"
1274typedef unsigned int pci_ers_result_t;
1275#line 523 "include/linux/pci.h"
1276struct pci_error_handlers {
1277 pci_ers_result_t (*error_detected)(struct pci_dev *dev , enum pci_channel_state error ) ;
1278 pci_ers_result_t (*mmio_enabled)(struct pci_dev *dev ) ;
1279 pci_ers_result_t (*link_reset)(struct pci_dev *dev ) ;
1280 pci_ers_result_t (*slot_reset)(struct pci_dev *dev ) ;
1281 void (*resume)(struct pci_dev *dev ) ;
1282};
1283#line 543
1284struct module;
1285#line 544 "include/linux/pci.h"
1286struct pci_driver {
1287 struct list_head node ;
1288 char const *name ;
1289 struct pci_device_id const *id_table ;
1290 int (*probe)(struct pci_dev *dev , struct pci_device_id const *id ) ;
1291 void (*remove)(struct pci_dev *dev ) ;
1292 int (*suspend)(struct pci_dev *dev , pm_message_t state ) ;
1293 int (*suspend_late)(struct pci_dev *dev , pm_message_t state ) ;
1294 int (*resume_early)(struct pci_dev *dev ) ;
1295 int (*resume)(struct pci_dev *dev ) ;
1296 void (*shutdown)(struct pci_dev *dev ) ;
1297 struct pci_error_handlers *err_handler ;
1298 struct device_driver driver ;
1299 struct pci_dynids dynids ;
1300};
1301#line 6 "include/asm-generic/scatterlist.h"
1302struct scatterlist {
1303 unsigned long sg_magic ;
1304 unsigned long page_link ;
1305 unsigned int offset ;
1306 unsigned int length ;
1307 dma_addr_t dma_address ;
1308 unsigned int dma_length ;
1309};
1310#line 14 "include/linux/prio_tree.h"
1311struct prio_tree_node;
1312#line 14 "include/linux/prio_tree.h"
1313struct raw_prio_tree_node {
1314 struct prio_tree_node *left ;
1315 struct prio_tree_node *right ;
1316 struct prio_tree_node *parent ;
1317};
1318#line 20 "include/linux/prio_tree.h"
1319struct prio_tree_node {
1320 struct prio_tree_node *left ;
1321 struct prio_tree_node *right ;
1322 struct prio_tree_node *parent ;
1323 unsigned long start ;
1324 unsigned long last ;
1325};
1326#line 28 "include/linux/prio_tree.h"
1327struct prio_tree_root {
1328 struct prio_tree_node *prio_tree_node ;
1329 unsigned short index_bits ;
1330 unsigned short raw ;
1331};
1332#line 8 "include/linux/debug_locks.h"
1333struct task_struct;
1334#line 48
1335struct task_struct;
1336#line 23 "include/linux/mm_types.h"
1337struct address_space;
1338#line 23
1339struct address_space;
1340#line 40 "include/linux/mm_types.h"
1341union __anonunion____missing_field_name_205 {
1342 unsigned long index ;
1343 void *freelist ;
1344};
1345#line 40 "include/linux/mm_types.h"
1346struct __anonstruct____missing_field_name_209 {
1347 unsigned int inuse : 16 ;
1348 unsigned int objects : 15 ;
1349 unsigned int frozen : 1 ;
1350};
1351#line 40 "include/linux/mm_types.h"
1352union __anonunion____missing_field_name_208 {
1353 atomic_t _mapcount ;
1354 struct __anonstruct____missing_field_name_209 __annonCompField35 ;
1355};
1356#line 40 "include/linux/mm_types.h"
1357struct __anonstruct____missing_field_name_207 {
1358 union __anonunion____missing_field_name_208 __annonCompField36 ;
1359 atomic_t _count ;
1360};
1361#line 40 "include/linux/mm_types.h"
1362union __anonunion____missing_field_name_206 {
1363 unsigned long counters ;
1364 struct __anonstruct____missing_field_name_207 __annonCompField37 ;
1365};
1366#line 40 "include/linux/mm_types.h"
1367struct __anonstruct____missing_field_name_204 {
1368 union __anonunion____missing_field_name_205 __annonCompField34 ;
1369 union __anonunion____missing_field_name_206 __annonCompField38 ;
1370};
1371#line 40 "include/linux/mm_types.h"
1372struct __anonstruct____missing_field_name_211 {
1373 struct page *next ;
1374 int pages ;
1375 int pobjects ;
1376};
1377#line 40 "include/linux/mm_types.h"
1378union __anonunion____missing_field_name_210 {
1379 struct list_head lru ;
1380 struct __anonstruct____missing_field_name_211 __annonCompField40 ;
1381};
1382#line 40 "include/linux/mm_types.h"
1383union __anonunion____missing_field_name_212 {
1384 unsigned long private ;
1385 struct kmem_cache *slab ;
1386 struct page *first_page ;
1387};
1388#line 40 "include/linux/mm_types.h"
1389struct page {
1390 unsigned long flags ;
1391 struct address_space *mapping ;
1392 struct __anonstruct____missing_field_name_204 __annonCompField39 ;
1393 union __anonunion____missing_field_name_210 __annonCompField41 ;
1394 union __anonunion____missing_field_name_212 __annonCompField42 ;
1395 unsigned long debug_flags ;
1396} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1397#line 200 "include/linux/mm_types.h"
1398struct __anonstruct_vm_set_214 {
1399 struct list_head list ;
1400 void *parent ;
1401 struct vm_area_struct *head ;
1402};
1403#line 200 "include/linux/mm_types.h"
1404union __anonunion_shared_213 {
1405 struct __anonstruct_vm_set_214 vm_set ;
1406 struct raw_prio_tree_node prio_tree_node ;
1407};
1408#line 200
1409struct anon_vma;
1410#line 200
1411struct vm_operations_struct;
1412#line 200
1413struct mempolicy;
1414#line 200 "include/linux/mm_types.h"
1415struct vm_area_struct {
1416 struct mm_struct *vm_mm ;
1417 unsigned long vm_start ;
1418 unsigned long vm_end ;
1419 struct vm_area_struct *vm_next ;
1420 struct vm_area_struct *vm_prev ;
1421 pgprot_t vm_page_prot ;
1422 unsigned long vm_flags ;
1423 struct rb_node vm_rb ;
1424 union __anonunion_shared_213 shared ;
1425 struct list_head anon_vma_chain ;
1426 struct anon_vma *anon_vma ;
1427 struct vm_operations_struct const *vm_ops ;
1428 unsigned long vm_pgoff ;
1429 struct file *vm_file ;
1430 void *vm_private_data ;
1431 struct mempolicy *vm_policy ;
1432};
1433#line 257 "include/linux/mm_types.h"
1434struct core_thread {
1435 struct task_struct *task ;
1436 struct core_thread *next ;
1437};
1438#line 262 "include/linux/mm_types.h"
1439struct core_state {
1440 atomic_t nr_threads ;
1441 struct core_thread dumper ;
1442 struct completion startup ;
1443};
1444#line 284 "include/linux/mm_types.h"
1445struct mm_rss_stat {
1446 atomic_long_t count[3] ;
1447};
1448#line 288
1449struct linux_binfmt;
1450#line 288
1451struct mmu_notifier_mm;
1452#line 288 "include/linux/mm_types.h"
1453struct mm_struct {
1454 struct vm_area_struct *mmap ;
1455 struct rb_root mm_rb ;
1456 struct vm_area_struct *mmap_cache ;
1457 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1458 unsigned long pgoff , unsigned long flags ) ;
1459 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1460 unsigned long mmap_base ;
1461 unsigned long task_size ;
1462 unsigned long cached_hole_size ;
1463 unsigned long free_area_cache ;
1464 pgd_t *pgd ;
1465 atomic_t mm_users ;
1466 atomic_t mm_count ;
1467 int map_count ;
1468 spinlock_t page_table_lock ;
1469 struct rw_semaphore mmap_sem ;
1470 struct list_head mmlist ;
1471 unsigned long hiwater_rss ;
1472 unsigned long hiwater_vm ;
1473 unsigned long total_vm ;
1474 unsigned long locked_vm ;
1475 unsigned long pinned_vm ;
1476 unsigned long shared_vm ;
1477 unsigned long exec_vm ;
1478 unsigned long stack_vm ;
1479 unsigned long reserved_vm ;
1480 unsigned long def_flags ;
1481 unsigned long nr_ptes ;
1482 unsigned long start_code ;
1483 unsigned long end_code ;
1484 unsigned long start_data ;
1485 unsigned long end_data ;
1486 unsigned long start_brk ;
1487 unsigned long brk ;
1488 unsigned long start_stack ;
1489 unsigned long arg_start ;
1490 unsigned long arg_end ;
1491 unsigned long env_start ;
1492 unsigned long env_end ;
1493 unsigned long saved_auxv[44] ;
1494 struct mm_rss_stat rss_stat ;
1495 struct linux_binfmt *binfmt ;
1496 cpumask_var_t cpu_vm_mask_var ;
1497 mm_context_t context ;
1498 unsigned int faultstamp ;
1499 unsigned int token_priority ;
1500 unsigned int last_interval ;
1501 unsigned long flags ;
1502 struct core_state *core_state ;
1503 spinlock_t ioctx_lock ;
1504 struct hlist_head ioctx_list ;
1505 struct task_struct *owner ;
1506 struct file *exe_file ;
1507 unsigned long num_exe_file_vmas ;
1508 struct mmu_notifier_mm *mmu_notifier_mm ;
1509 pgtable_t pmd_huge_pte ;
1510 struct cpumask cpumask_allocation ;
1511};
1512#line 8 "include/linux/shrinker.h"
1513struct shrink_control {
1514 gfp_t gfp_mask ;
1515 unsigned long nr_to_scan ;
1516};
1517#line 31 "include/linux/shrinker.h"
1518struct shrinker {
1519 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1520 int seeks ;
1521 long batch ;
1522 struct list_head list ;
1523 atomic_long_t nr_in_batch ;
1524};
1525#line 22 "include/linux/mm.h"
1526struct mempolicy;
1527#line 23
1528struct anon_vma;
1529#line 24
1530struct file_ra_state;
1531#line 24
1532struct file_ra_state;
1533#line 26
1534struct writeback_control;
1535#line 26
1536struct writeback_control;
1537#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1538struct mm_struct;
1539#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1540struct vm_area_struct;
1541#line 188 "include/linux/mm.h"
1542struct vm_fault {
1543 unsigned int flags ;
1544 unsigned long pgoff ;
1545 void *virtual_address ;
1546 struct page *page ;
1547};
1548#line 205 "include/linux/mm.h"
1549struct vm_operations_struct {
1550 void (*open)(struct vm_area_struct *area ) ;
1551 void (*close)(struct vm_area_struct *area ) ;
1552 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1553 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1554 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1555 int write ) ;
1556 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1557 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1558 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
1559 unsigned long flags ) ;
1560};
1561#line 247
1562struct inode;
1563#line 247
1564struct inode;
1565#line 195 "include/linux/page-flags.h"
1566struct page;
1567#line 46 "include/linux/slub_def.h"
1568struct kmem_cache_cpu {
1569 void **freelist ;
1570 unsigned long tid ;
1571 struct page *page ;
1572 struct page *partial ;
1573 int node ;
1574 unsigned int stat[26] ;
1575};
1576#line 57 "include/linux/slub_def.h"
1577struct kmem_cache_node {
1578 spinlock_t list_lock ;
1579 unsigned long nr_partial ;
1580 struct list_head partial ;
1581 atomic_long_t nr_slabs ;
1582 atomic_long_t total_objects ;
1583 struct list_head full ;
1584};
1585#line 73 "include/linux/slub_def.h"
1586struct kmem_cache_order_objects {
1587 unsigned long x ;
1588};
1589#line 80 "include/linux/slub_def.h"
1590struct kmem_cache {
1591 struct kmem_cache_cpu *cpu_slab ;
1592 unsigned long flags ;
1593 unsigned long min_partial ;
1594 int size ;
1595 int objsize ;
1596 int offset ;
1597 int cpu_partial ;
1598 struct kmem_cache_order_objects oo ;
1599 struct kmem_cache_order_objects max ;
1600 struct kmem_cache_order_objects min ;
1601 gfp_t allocflags ;
1602 int refcount ;
1603 void (*ctor)(void * ) ;
1604 int inuse ;
1605 int align ;
1606 int reserved ;
1607 char const *name ;
1608 struct list_head list ;
1609 struct kobject kobj ;
1610 int remote_node_defrag_ratio ;
1611 struct kmem_cache_node *node[1 << 10] ;
1612};
1613#line 27 "include/linux/dma-attrs.h"
1614struct dma_attrs {
1615 unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1616};
1617#line 7 "include/linux/dma-direction.h"
1618enum dma_data_direction {
1619 DMA_BIDIRECTIONAL = 0,
1620 DMA_TO_DEVICE = 1,
1621 DMA_FROM_DEVICE = 2,
1622 DMA_NONE = 3
1623} ;
1624#line 11 "include/linux/dma-mapping.h"
1625struct dma_map_ops {
1626 void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
1627 struct dma_attrs *attrs ) ;
1628 void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
1629 struct dma_attrs *attrs ) ;
1630 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1631 size_t , struct dma_attrs *attrs ) ;
1632 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
1633 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
1634 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
1635 struct dma_attrs *attrs ) ;
1636 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1637 struct dma_attrs *attrs ) ;
1638 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1639 struct dma_attrs *attrs ) ;
1640 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1641 enum dma_data_direction dir ) ;
1642 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1643 enum dma_data_direction dir ) ;
1644 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
1645 enum dma_data_direction dir ) ;
1646 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
1647 enum dma_data_direction dir ) ;
1648 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
1649 int (*dma_supported)(struct device *dev , u64 mask ) ;
1650 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
1651 int is_phys ;
1652};
1653#line 25 "include/linux/dma-debug.h"
1654struct device;
1655#line 26
1656struct scatterlist;
1657#line 27
1658struct bus_type;
1659#line 6 "include/linux/swiotlb.h"
1660struct device;
1661#line 7
1662struct dma_attrs;
1663#line 8
1664struct scatterlist;
1665#line 15 "include/linux/blk_types.h"
1666struct page;
1667#line 16
1668struct block_device;
1669#line 16
1670struct block_device;
1671#line 33 "include/linux/list_bl.h"
1672struct hlist_bl_node;
1673#line 33 "include/linux/list_bl.h"
1674struct hlist_bl_head {
1675 struct hlist_bl_node *first ;
1676};
1677#line 37 "include/linux/list_bl.h"
1678struct hlist_bl_node {
1679 struct hlist_bl_node *next ;
1680 struct hlist_bl_node **pprev ;
1681};
1682#line 13 "include/linux/dcache.h"
1683struct nameidata;
1684#line 13
1685struct nameidata;
1686#line 14
1687struct path;
1688#line 14
1689struct path;
1690#line 15
1691struct vfsmount;
1692#line 15
1693struct vfsmount;
1694#line 35 "include/linux/dcache.h"
1695struct qstr {
1696 unsigned int hash ;
1697 unsigned int len ;
1698 unsigned char const *name ;
1699};
1700#line 88
1701struct dentry_operations;
1702#line 88
1703struct super_block;
1704#line 88 "include/linux/dcache.h"
1705union __anonunion_d_u_216 {
1706 struct list_head d_child ;
1707 struct rcu_head d_rcu ;
1708};
1709#line 88 "include/linux/dcache.h"
1710struct dentry {
1711 unsigned int d_flags ;
1712 seqcount_t d_seq ;
1713 struct hlist_bl_node d_hash ;
1714 struct dentry *d_parent ;
1715 struct qstr d_name ;
1716 struct inode *d_inode ;
1717 unsigned char d_iname[32] ;
1718 unsigned int d_count ;
1719 spinlock_t d_lock ;
1720 struct dentry_operations const *d_op ;
1721 struct super_block *d_sb ;
1722 unsigned long d_time ;
1723 void *d_fsdata ;
1724 struct list_head d_lru ;
1725 union __anonunion_d_u_216 d_u ;
1726 struct list_head d_subdirs ;
1727 struct list_head d_alias ;
1728};
1729#line 131 "include/linux/dcache.h"
1730struct dentry_operations {
1731 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1732 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1733 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1734 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1735 int (*d_delete)(struct dentry const * ) ;
1736 void (*d_release)(struct dentry * ) ;
1737 void (*d_prune)(struct dentry * ) ;
1738 void (*d_iput)(struct dentry * , struct inode * ) ;
1739 char *(*d_dname)(struct dentry * , char * , int ) ;
1740 struct vfsmount *(*d_automount)(struct path * ) ;
1741 int (*d_manage)(struct dentry * , bool ) ;
1742} __attribute__((__aligned__((1) << (6) ))) ;
1743#line 4 "include/linux/path.h"
1744struct dentry;
1745#line 5
1746struct vfsmount;
1747#line 7 "include/linux/path.h"
1748struct path {
1749 struct vfsmount *mnt ;
1750 struct dentry *dentry ;
1751};
1752#line 64 "include/linux/radix-tree.h"
1753struct radix_tree_node;
1754#line 64 "include/linux/radix-tree.h"
1755struct radix_tree_root {
1756 unsigned int height ;
1757 gfp_t gfp_mask ;
1758 struct radix_tree_node *rnode ;
1759};
1760#line 6 "include/linux/pid.h"
1761enum pid_type {
1762 PIDTYPE_PID = 0,
1763 PIDTYPE_PGID = 1,
1764 PIDTYPE_SID = 2,
1765 PIDTYPE_MAX = 3
1766} ;
1767#line 50
1768struct pid_namespace;
1769#line 50 "include/linux/pid.h"
1770struct upid {
1771 int nr ;
1772 struct pid_namespace *ns ;
1773 struct hlist_node pid_chain ;
1774};
1775#line 57 "include/linux/pid.h"
1776struct pid {
1777 atomic_t count ;
1778 unsigned int level ;
1779 struct hlist_head tasks[3] ;
1780 struct rcu_head rcu ;
1781 struct upid numbers[1] ;
1782};
1783#line 100
1784struct pid_namespace;
1785#line 18 "include/linux/capability.h"
1786struct task_struct;
1787#line 377
1788struct dentry;
1789#line 16 "include/linux/fiemap.h"
1790struct fiemap_extent {
1791 __u64 fe_logical ;
1792 __u64 fe_physical ;
1793 __u64 fe_length ;
1794 __u64 fe_reserved64[2] ;
1795 __u32 fe_flags ;
1796 __u32 fe_reserved[3] ;
1797};
1798#line 10 "include/linux/migrate_mode.h"
1799enum migrate_mode {
1800 MIGRATE_ASYNC = 0,
1801 MIGRATE_SYNC_LIGHT = 1,
1802 MIGRATE_SYNC = 2
1803} ;
1804#line 408 "include/linux/fs.h"
1805struct export_operations;
1806#line 408
1807struct export_operations;
1808#line 410
1809struct iovec;
1810#line 410
1811struct iovec;
1812#line 411
1813struct nameidata;
1814#line 412
1815struct kiocb;
1816#line 412
1817struct kiocb;
1818#line 413
1819struct kobject;
1820#line 414
1821struct pipe_inode_info;
1822#line 414
1823struct pipe_inode_info;
1824#line 415
1825struct poll_table_struct;
1826#line 415
1827struct poll_table_struct;
1828#line 416
1829struct kstatfs;
1830#line 416
1831struct kstatfs;
1832#line 417
1833struct vm_area_struct;
1834#line 418
1835struct vfsmount;
1836#line 419
1837struct cred;
1838#line 469 "include/linux/fs.h"
1839struct iattr {
1840 unsigned int ia_valid ;
1841 umode_t ia_mode ;
1842 uid_t ia_uid ;
1843 gid_t ia_gid ;
1844 loff_t ia_size ;
1845 struct timespec ia_atime ;
1846 struct timespec ia_mtime ;
1847 struct timespec ia_ctime ;
1848 struct file *ia_file ;
1849};
1850#line 129 "include/linux/quota.h"
1851struct if_dqinfo {
1852 __u64 dqi_bgrace ;
1853 __u64 dqi_igrace ;
1854 __u32 dqi_flags ;
1855 __u32 dqi_valid ;
1856};
1857#line 50 "include/linux/dqblk_xfs.h"
1858struct fs_disk_quota {
1859 __s8 d_version ;
1860 __s8 d_flags ;
1861 __u16 d_fieldmask ;
1862 __u32 d_id ;
1863 __u64 d_blk_hardlimit ;
1864 __u64 d_blk_softlimit ;
1865 __u64 d_ino_hardlimit ;
1866 __u64 d_ino_softlimit ;
1867 __u64 d_bcount ;
1868 __u64 d_icount ;
1869 __s32 d_itimer ;
1870 __s32 d_btimer ;
1871 __u16 d_iwarns ;
1872 __u16 d_bwarns ;
1873 __s32 d_padding2 ;
1874 __u64 d_rtb_hardlimit ;
1875 __u64 d_rtb_softlimit ;
1876 __u64 d_rtbcount ;
1877 __s32 d_rtbtimer ;
1878 __u16 d_rtbwarns ;
1879 __s16 d_padding3 ;
1880 char d_padding4[8] ;
1881};
1882#line 146 "include/linux/dqblk_xfs.h"
1883struct fs_qfilestat {
1884 __u64 qfs_ino ;
1885 __u64 qfs_nblks ;
1886 __u32 qfs_nextents ;
1887};
1888#line 146 "include/linux/dqblk_xfs.h"
1889typedef struct fs_qfilestat fs_qfilestat_t;
1890#line 152 "include/linux/dqblk_xfs.h"
1891struct fs_quota_stat {
1892 __s8 qs_version ;
1893 __u16 qs_flags ;
1894 __s8 qs_pad ;
1895 fs_qfilestat_t qs_uquota ;
1896 fs_qfilestat_t qs_gquota ;
1897 __u32 qs_incoredqs ;
1898 __s32 qs_btimelimit ;
1899 __s32 qs_itimelimit ;
1900 __s32 qs_rtbtimelimit ;
1901 __u16 qs_bwarnlimit ;
1902 __u16 qs_iwarnlimit ;
1903};
1904#line 17 "include/linux/dqblk_qtree.h"
1905struct dquot;
1906#line 17
1907struct dquot;
1908#line 185 "include/linux/quota.h"
1909typedef __kernel_uid32_t qid_t;
1910#line 186 "include/linux/quota.h"
1911typedef long long qsize_t;
1912#line 200 "include/linux/quota.h"
1913struct mem_dqblk {
1914 qsize_t dqb_bhardlimit ;
1915 qsize_t dqb_bsoftlimit ;
1916 qsize_t dqb_curspace ;
1917 qsize_t dqb_rsvspace ;
1918 qsize_t dqb_ihardlimit ;
1919 qsize_t dqb_isoftlimit ;
1920 qsize_t dqb_curinodes ;
1921 time_t dqb_btime ;
1922 time_t dqb_itime ;
1923};
1924#line 215
1925struct quota_format_type;
1926#line 215
1927struct quota_format_type;
1928#line 217 "include/linux/quota.h"
1929struct mem_dqinfo {
1930 struct quota_format_type *dqi_format ;
1931 int dqi_fmt_id ;
1932 struct list_head dqi_dirty_list ;
1933 unsigned long dqi_flags ;
1934 unsigned int dqi_bgrace ;
1935 unsigned int dqi_igrace ;
1936 qsize_t dqi_maxblimit ;
1937 qsize_t dqi_maxilimit ;
1938 void *dqi_priv ;
1939};
1940#line 230
1941struct super_block;
1942#line 288 "include/linux/quota.h"
1943struct dquot {
1944 struct hlist_node dq_hash ;
1945 struct list_head dq_inuse ;
1946 struct list_head dq_free ;
1947 struct list_head dq_dirty ;
1948 struct mutex dq_lock ;
1949 atomic_t dq_count ;
1950 wait_queue_head_t dq_wait_unused ;
1951 struct super_block *dq_sb ;
1952 unsigned int dq_id ;
1953 loff_t dq_off ;
1954 unsigned long dq_flags ;
1955 short dq_type ;
1956 struct mem_dqblk dq_dqb ;
1957};
1958#line 305 "include/linux/quota.h"
1959struct quota_format_ops {
1960 int (*check_quota_file)(struct super_block *sb , int type ) ;
1961 int (*read_file_info)(struct super_block *sb , int type ) ;
1962 int (*write_file_info)(struct super_block *sb , int type ) ;
1963 int (*free_file_info)(struct super_block *sb , int type ) ;
1964 int (*read_dqblk)(struct dquot *dquot ) ;
1965 int (*commit_dqblk)(struct dquot *dquot ) ;
1966 int (*release_dqblk)(struct dquot *dquot ) ;
1967};
1968#line 316 "include/linux/quota.h"
1969struct dquot_operations {
1970 int (*write_dquot)(struct dquot * ) ;
1971 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1972 void (*destroy_dquot)(struct dquot * ) ;
1973 int (*acquire_dquot)(struct dquot * ) ;
1974 int (*release_dquot)(struct dquot * ) ;
1975 int (*mark_dirty)(struct dquot * ) ;
1976 int (*write_info)(struct super_block * , int ) ;
1977 qsize_t *(*get_reserved_space)(struct inode * ) ;
1978};
1979#line 329
1980struct path;
1981#line 332 "include/linux/quota.h"
1982struct quotactl_ops {
1983 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1984 int (*quota_on_meta)(struct super_block * , int , int ) ;
1985 int (*quota_off)(struct super_block * , int ) ;
1986 int (*quota_sync)(struct super_block * , int , int ) ;
1987 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1988 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1989 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1990 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1991 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1992 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1993};
1994#line 345 "include/linux/quota.h"
1995struct quota_format_type {
1996 int qf_fmt_id ;
1997 struct quota_format_ops const *qf_ops ;
1998 struct module *qf_owner ;
1999 struct quota_format_type *qf_next ;
2000};
2001#line 399 "include/linux/quota.h"
2002struct quota_info {
2003 unsigned int flags ;
2004 struct mutex dqio_mutex ;
2005 struct mutex dqonoff_mutex ;
2006 struct rw_semaphore dqptr_sem ;
2007 struct inode *files[2] ;
2008 struct mem_dqinfo info[2] ;
2009 struct quota_format_ops const *ops[2] ;
2010};
2011#line 532 "include/linux/fs.h"
2012struct page;
2013#line 533
2014struct address_space;
2015#line 534
2016struct writeback_control;
2017#line 577 "include/linux/fs.h"
2018union __anonunion_arg_224 {
2019 char *buf ;
2020 void *data ;
2021};
2022#line 577 "include/linux/fs.h"
2023struct __anonstruct_read_descriptor_t_223 {
2024 size_t written ;
2025 size_t count ;
2026 union __anonunion_arg_224 arg ;
2027 int error ;
2028};
2029#line 577 "include/linux/fs.h"
2030typedef struct __anonstruct_read_descriptor_t_223 read_descriptor_t;
2031#line 590 "include/linux/fs.h"
2032struct address_space_operations {
2033 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
2034 int (*readpage)(struct file * , struct page * ) ;
2035 int (*writepages)(struct address_space * , struct writeback_control * ) ;
2036 int (*set_page_dirty)(struct page *page ) ;
2037 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
2038 unsigned int nr_pages ) ;
2039 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
2040 unsigned int len , unsigned int flags , struct page **pagep ,
2041 void **fsdata ) ;
2042 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
2043 unsigned int copied , struct page *page , void *fsdata ) ;
2044 sector_t (*bmap)(struct address_space * , sector_t ) ;
2045 void (*invalidatepage)(struct page * , unsigned long ) ;
2046 int (*releasepage)(struct page * , gfp_t ) ;
2047 void (*freepage)(struct page * ) ;
2048 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
2049 unsigned long nr_segs ) ;
2050 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
2051 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
2052 int (*launder_page)(struct page * ) ;
2053 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
2054 int (*error_remove_page)(struct address_space * , struct page * ) ;
2055};
2056#line 645
2057struct backing_dev_info;
2058#line 645
2059struct backing_dev_info;
2060#line 646 "include/linux/fs.h"
2061struct address_space {
2062 struct inode *host ;
2063 struct radix_tree_root page_tree ;
2064 spinlock_t tree_lock ;
2065 unsigned int i_mmap_writable ;
2066 struct prio_tree_root i_mmap ;
2067 struct list_head i_mmap_nonlinear ;
2068 struct mutex i_mmap_mutex ;
2069 unsigned long nrpages ;
2070 unsigned long writeback_index ;
2071 struct address_space_operations const *a_ops ;
2072 unsigned long flags ;
2073 struct backing_dev_info *backing_dev_info ;
2074 spinlock_t private_lock ;
2075 struct list_head private_list ;
2076 struct address_space *assoc_mapping ;
2077} __attribute__((__aligned__(sizeof(long )))) ;
2078#line 669
2079struct request_queue;
2080#line 669
2081struct request_queue;
2082#line 671
2083struct hd_struct;
2084#line 671
2085struct gendisk;
2086#line 671 "include/linux/fs.h"
2087struct block_device {
2088 dev_t bd_dev ;
2089 int bd_openers ;
2090 struct inode *bd_inode ;
2091 struct super_block *bd_super ;
2092 struct mutex bd_mutex ;
2093 struct list_head bd_inodes ;
2094 void *bd_claiming ;
2095 void *bd_holder ;
2096 int bd_holders ;
2097 bool bd_write_holder ;
2098 struct list_head bd_holder_disks ;
2099 struct block_device *bd_contains ;
2100 unsigned int bd_block_size ;
2101 struct hd_struct *bd_part ;
2102 unsigned int bd_part_count ;
2103 int bd_invalidated ;
2104 struct gendisk *bd_disk ;
2105 struct request_queue *bd_queue ;
2106 struct list_head bd_list ;
2107 unsigned long bd_private ;
2108 int bd_fsfreeze_count ;
2109 struct mutex bd_fsfreeze_mutex ;
2110};
2111#line 749
2112struct posix_acl;
2113#line 749
2114struct posix_acl;
2115#line 761
2116struct inode_operations;
2117#line 761 "include/linux/fs.h"
2118union __anonunion____missing_field_name_225 {
2119 unsigned int const i_nlink ;
2120 unsigned int __i_nlink ;
2121};
2122#line 761 "include/linux/fs.h"
2123union __anonunion____missing_field_name_226 {
2124 struct list_head i_dentry ;
2125 struct rcu_head i_rcu ;
2126};
2127#line 761
2128struct file_operations;
2129#line 761
2130struct file_lock;
2131#line 761
2132struct cdev;
2133#line 761 "include/linux/fs.h"
2134union __anonunion____missing_field_name_227 {
2135 struct pipe_inode_info *i_pipe ;
2136 struct block_device *i_bdev ;
2137 struct cdev *i_cdev ;
2138};
2139#line 761 "include/linux/fs.h"
2140struct inode {
2141 umode_t i_mode ;
2142 unsigned short i_opflags ;
2143 uid_t i_uid ;
2144 gid_t i_gid ;
2145 unsigned int i_flags ;
2146 struct posix_acl *i_acl ;
2147 struct posix_acl *i_default_acl ;
2148 struct inode_operations const *i_op ;
2149 struct super_block *i_sb ;
2150 struct address_space *i_mapping ;
2151 void *i_security ;
2152 unsigned long i_ino ;
2153 union __anonunion____missing_field_name_225 __annonCompField43 ;
2154 dev_t i_rdev ;
2155 struct timespec i_atime ;
2156 struct timespec i_mtime ;
2157 struct timespec i_ctime ;
2158 spinlock_t i_lock ;
2159 unsigned short i_bytes ;
2160 blkcnt_t i_blocks ;
2161 loff_t i_size ;
2162 unsigned long i_state ;
2163 struct mutex i_mutex ;
2164 unsigned long dirtied_when ;
2165 struct hlist_node i_hash ;
2166 struct list_head i_wb_list ;
2167 struct list_head i_lru ;
2168 struct list_head i_sb_list ;
2169 union __anonunion____missing_field_name_226 __annonCompField44 ;
2170 atomic_t i_count ;
2171 unsigned int i_blkbits ;
2172 u64 i_version ;
2173 atomic_t i_dio_count ;
2174 atomic_t i_writecount ;
2175 struct file_operations const *i_fop ;
2176 struct file_lock *i_flock ;
2177 struct address_space i_data ;
2178 struct dquot *i_dquot[2] ;
2179 struct list_head i_devices ;
2180 union __anonunion____missing_field_name_227 __annonCompField45 ;
2181 __u32 i_generation ;
2182 __u32 i_fsnotify_mask ;
2183 struct hlist_head i_fsnotify_marks ;
2184 atomic_t i_readcount ;
2185 void *i_private ;
2186};
2187#line 942 "include/linux/fs.h"
2188struct fown_struct {
2189 rwlock_t lock ;
2190 struct pid *pid ;
2191 enum pid_type pid_type ;
2192 uid_t uid ;
2193 uid_t euid ;
2194 int signum ;
2195};
2196#line 953 "include/linux/fs.h"
2197struct file_ra_state {
2198 unsigned long start ;
2199 unsigned int size ;
2200 unsigned int async_size ;
2201 unsigned int ra_pages ;
2202 unsigned int mmap_miss ;
2203 loff_t prev_pos ;
2204};
2205#line 976 "include/linux/fs.h"
2206union __anonunion_f_u_228 {
2207 struct list_head fu_list ;
2208 struct rcu_head fu_rcuhead ;
2209};
2210#line 976 "include/linux/fs.h"
2211struct file {
2212 union __anonunion_f_u_228 f_u ;
2213 struct path f_path ;
2214 struct file_operations const *f_op ;
2215 spinlock_t f_lock ;
2216 int f_sb_list_cpu ;
2217 atomic_long_t f_count ;
2218 unsigned int f_flags ;
2219 fmode_t f_mode ;
2220 loff_t f_pos ;
2221 struct fown_struct f_owner ;
2222 struct cred const *f_cred ;
2223 struct file_ra_state f_ra ;
2224 u64 f_version ;
2225 void *f_security ;
2226 void *private_data ;
2227 struct list_head f_ep_links ;
2228 struct list_head f_tfile_llink ;
2229 struct address_space *f_mapping ;
2230 unsigned long f_mnt_write_state ;
2231};
2232#line 1111
2233struct files_struct;
2234#line 1111 "include/linux/fs.h"
2235typedef struct files_struct *fl_owner_t;
2236#line 1113 "include/linux/fs.h"
2237struct file_lock_operations {
2238 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2239 void (*fl_release_private)(struct file_lock * ) ;
2240};
2241#line 1118 "include/linux/fs.h"
2242struct lock_manager_operations {
2243 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2244 void (*lm_notify)(struct file_lock * ) ;
2245 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2246 void (*lm_release_private)(struct file_lock * ) ;
2247 void (*lm_break)(struct file_lock * ) ;
2248 int (*lm_change)(struct file_lock ** , int ) ;
2249};
2250#line 4 "include/linux/nfs_fs_i.h"
2251struct nlm_lockowner;
2252#line 4
2253struct nlm_lockowner;
2254#line 9 "include/linux/nfs_fs_i.h"
2255struct nfs_lock_info {
2256 u32 state ;
2257 struct nlm_lockowner *owner ;
2258 struct list_head list ;
2259};
2260#line 15
2261struct nfs4_lock_state;
2262#line 15
2263struct nfs4_lock_state;
2264#line 16 "include/linux/nfs_fs_i.h"
2265struct nfs4_lock_info {
2266 struct nfs4_lock_state *owner ;
2267};
2268#line 1138 "include/linux/fs.h"
2269struct fasync_struct;
2270#line 1138 "include/linux/fs.h"
2271struct __anonstruct_afs_230 {
2272 struct list_head link ;
2273 int state ;
2274};
2275#line 1138 "include/linux/fs.h"
2276union __anonunion_fl_u_229 {
2277 struct nfs_lock_info nfs_fl ;
2278 struct nfs4_lock_info nfs4_fl ;
2279 struct __anonstruct_afs_230 afs ;
2280};
2281#line 1138 "include/linux/fs.h"
2282struct file_lock {
2283 struct file_lock *fl_next ;
2284 struct list_head fl_link ;
2285 struct list_head fl_block ;
2286 fl_owner_t fl_owner ;
2287 unsigned int fl_flags ;
2288 unsigned char fl_type ;
2289 unsigned int fl_pid ;
2290 struct pid *fl_nspid ;
2291 wait_queue_head_t fl_wait ;
2292 struct file *fl_file ;
2293 loff_t fl_start ;
2294 loff_t fl_end ;
2295 struct fasync_struct *fl_fasync ;
2296 unsigned long fl_break_time ;
2297 unsigned long fl_downgrade_time ;
2298 struct file_lock_operations const *fl_ops ;
2299 struct lock_manager_operations const *fl_lmops ;
2300 union __anonunion_fl_u_229 fl_u ;
2301};
2302#line 1378 "include/linux/fs.h"
2303struct fasync_struct {
2304 spinlock_t fa_lock ;
2305 int magic ;
2306 int fa_fd ;
2307 struct fasync_struct *fa_next ;
2308 struct file *fa_file ;
2309 struct rcu_head fa_rcu ;
2310};
2311#line 1418
2312struct file_system_type;
2313#line 1418
2314struct super_operations;
2315#line 1418
2316struct xattr_handler;
2317#line 1418
2318struct mtd_info;
2319#line 1418 "include/linux/fs.h"
2320struct super_block {
2321 struct list_head s_list ;
2322 dev_t s_dev ;
2323 unsigned char s_dirt ;
2324 unsigned char s_blocksize_bits ;
2325 unsigned long s_blocksize ;
2326 loff_t s_maxbytes ;
2327 struct file_system_type *s_type ;
2328 struct super_operations const *s_op ;
2329 struct dquot_operations const *dq_op ;
2330 struct quotactl_ops const *s_qcop ;
2331 struct export_operations const *s_export_op ;
2332 unsigned long s_flags ;
2333 unsigned long s_magic ;
2334 struct dentry *s_root ;
2335 struct rw_semaphore s_umount ;
2336 struct mutex s_lock ;
2337 int s_count ;
2338 atomic_t s_active ;
2339 void *s_security ;
2340 struct xattr_handler const **s_xattr ;
2341 struct list_head s_inodes ;
2342 struct hlist_bl_head s_anon ;
2343 struct list_head *s_files ;
2344 struct list_head s_mounts ;
2345 struct list_head s_dentry_lru ;
2346 int s_nr_dentry_unused ;
2347 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
2348 struct list_head s_inode_lru ;
2349 int s_nr_inodes_unused ;
2350 struct block_device *s_bdev ;
2351 struct backing_dev_info *s_bdi ;
2352 struct mtd_info *s_mtd ;
2353 struct hlist_node s_instances ;
2354 struct quota_info s_dquot ;
2355 int s_frozen ;
2356 wait_queue_head_t s_wait_unfrozen ;
2357 char s_id[32] ;
2358 u8 s_uuid[16] ;
2359 void *s_fs_info ;
2360 unsigned int s_max_links ;
2361 fmode_t s_mode ;
2362 u32 s_time_gran ;
2363 struct mutex s_vfs_rename_mutex ;
2364 char *s_subtype ;
2365 char *s_options ;
2366 struct dentry_operations const *s_d_op ;
2367 int cleancache_poolid ;
2368 struct shrinker s_shrink ;
2369 atomic_long_t s_remove_count ;
2370 int s_readonly_remount ;
2371};
2372#line 1567 "include/linux/fs.h"
2373struct fiemap_extent_info {
2374 unsigned int fi_flags ;
2375 unsigned int fi_extents_mapped ;
2376 unsigned int fi_extents_max ;
2377 struct fiemap_extent *fi_extents_start ;
2378};
2379#line 1609 "include/linux/fs.h"
2380struct file_operations {
2381 struct module *owner ;
2382 loff_t (*llseek)(struct file * , loff_t , int ) ;
2383 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2384 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2385 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2386 loff_t ) ;
2387 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2388 loff_t ) ;
2389 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2390 loff_t , u64 , unsigned int ) ) ;
2391 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2392 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2393 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2394 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2395 int (*open)(struct inode * , struct file * ) ;
2396 int (*flush)(struct file * , fl_owner_t id ) ;
2397 int (*release)(struct inode * , struct file * ) ;
2398 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
2399 int (*aio_fsync)(struct kiocb * , int datasync ) ;
2400 int (*fasync)(int , struct file * , int ) ;
2401 int (*lock)(struct file * , int , struct file_lock * ) ;
2402 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2403 int ) ;
2404 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2405 unsigned long , unsigned long ) ;
2406 int (*check_flags)(int ) ;
2407 int (*flock)(struct file * , int , struct file_lock * ) ;
2408 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2409 unsigned int ) ;
2410 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2411 unsigned int ) ;
2412 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2413 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
2414};
2415#line 1639 "include/linux/fs.h"
2416struct inode_operations {
2417 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2418 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2419 int (*permission)(struct inode * , int ) ;
2420 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2421 int (*readlink)(struct dentry * , char * , int ) ;
2422 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2423 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2424 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2425 int (*unlink)(struct inode * , struct dentry * ) ;
2426 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2427 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2428 int (*rmdir)(struct inode * , struct dentry * ) ;
2429 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2430 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2431 void (*truncate)(struct inode * ) ;
2432 int (*setattr)(struct dentry * , struct iattr * ) ;
2433 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2434 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2435 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2436 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2437 int (*removexattr)(struct dentry * , char const * ) ;
2438 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2439 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2440} __attribute__((__aligned__((1) << (6) ))) ;
2441#line 1669
2442struct seq_file;
2443#line 1684 "include/linux/fs.h"
2444struct super_operations {
2445 struct inode *(*alloc_inode)(struct super_block *sb ) ;
2446 void (*destroy_inode)(struct inode * ) ;
2447 void (*dirty_inode)(struct inode * , int flags ) ;
2448 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2449 int (*drop_inode)(struct inode * ) ;
2450 void (*evict_inode)(struct inode * ) ;
2451 void (*put_super)(struct super_block * ) ;
2452 void (*write_super)(struct super_block * ) ;
2453 int (*sync_fs)(struct super_block *sb , int wait ) ;
2454 int (*freeze_fs)(struct super_block * ) ;
2455 int (*unfreeze_fs)(struct super_block * ) ;
2456 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2457 int (*remount_fs)(struct super_block * , int * , char * ) ;
2458 void (*umount_begin)(struct super_block * ) ;
2459 int (*show_options)(struct seq_file * , struct dentry * ) ;
2460 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2461 int (*show_path)(struct seq_file * , struct dentry * ) ;
2462 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2463 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2464 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2465 loff_t ) ;
2466 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2467 int (*nr_cached_objects)(struct super_block * ) ;
2468 void (*free_cached_objects)(struct super_block * , int ) ;
2469};
2470#line 1835 "include/linux/fs.h"
2471struct file_system_type {
2472 char const *name ;
2473 int fs_flags ;
2474 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2475 void (*kill_sb)(struct super_block * ) ;
2476 struct module *owner ;
2477 struct file_system_type *next ;
2478 struct hlist_head fs_supers ;
2479 struct lock_class_key s_lock_key ;
2480 struct lock_class_key s_umount_key ;
2481 struct lock_class_key s_vfs_rename_key ;
2482 struct lock_class_key i_lock_key ;
2483 struct lock_class_key i_mutex_key ;
2484 struct lock_class_key i_mutex_dir_key ;
2485};
2486#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
2487struct exception_table_entry {
2488 unsigned long insn ;
2489 unsigned long fixup ;
2490};
2491#line 28 "include/linux/poll.h"
2492struct poll_table_struct;
2493#line 39 "include/linux/poll.h"
2494struct poll_table_struct {
2495 void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
2496 unsigned long _key ;
2497};
2498#line 1 "<compiler builtins>"
2499long __builtin_expect(long val , long res ) ;
2500#line 152 "include/linux/mutex.h"
2501void mutex_lock(struct mutex *lock ) ;
2502#line 153
2503int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2504#line 154
2505int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2506#line 168
2507int mutex_trylock(struct mutex *lock ) ;
2508#line 169
2509void mutex_unlock(struct mutex *lock ) ;
2510#line 170
2511int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2512#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
2513extern void *ioremap_nocache(resource_size_t offset , unsigned long size ) ;
2514#line 187
2515extern void iounmap(void volatile *addr ) ;
2516#line 31 "include/asm-generic/iomap.h"
2517extern unsigned int ioread32(void * ) ;
2518#line 37
2519extern void iowrite32(u32 , void * ) ;
2520#line 26 "include/linux/export.h"
2521extern struct module __this_module ;
2522#line 67 "include/linux/module.h"
2523int init_module(void) ;
2524#line 68
2525void cleanup_module(void) ;
2526#line 891 "include/linux/device.h"
2527extern int ( dev_err)(struct device const *dev , char const *fmt
2528 , ...) ;
2529#line 773 "include/linux/pci.h"
2530extern int __attribute__((__warn_unused_result__)) pci_enable_device(struct pci_dev *dev ) ;
2531#line 790
2532extern void pci_disable_device(struct pci_dev *dev ) ;
2533#line 904
2534extern int __attribute__((__warn_unused_result__)) pci_request_regions(struct pci_dev * ,
2535 char const * ) ;
2536#line 906
2537extern void pci_release_regions(struct pci_dev * ) ;
2538#line 940
2539extern int __attribute__((__warn_unused_result__)) __pci_register_driver(struct pci_driver * ,
2540 struct module * ,
2541 char const *mod_name ) ;
2542#line 949
2543extern void pci_unregister_driver(struct pci_driver *dev ) ;
2544#line 23 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2545static int vmic_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
2546#line 24
2547static int vmic_probe(struct pci_dev *pdev , struct pci_device_id const *id ) ;
2548#line 25
2549static void vmic_remove(struct pci_dev *pdev ) ;
2550#line 26
2551static void vmic_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
2552#line 29 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2553static void *vmic_base ;
2554#line 31 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2555static char const driver_name[12] =
2556#line 31
2557 { (char const )'v', (char const )'m', (char const )'i', (char const )'v',
2558 (char const )'m', (char const )'e', (char const )'_', (char const )'7',
2559 (char const )'8', (char const )'0', (char const )'5', (char const )'\000'};
2560#line 33 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2561static struct pci_device_id const vmic_ids[1] __attribute__((__section__(".devinit.rodata"))) = { {(__u32 )4426,
2562 (__u32 )4, (__u32 )(~ 0), (__u32 )(~ 0), 0U, 0U, 0UL}};
2563#line 38 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2564static struct pci_driver vmic_driver =
2565#line 38
2566 {{(struct list_head *)0, (struct list_head *)0}, driver_name, vmic_ids, & vmic_probe,
2567 & vmic_remove, (int (*)(struct pci_dev *dev , pm_message_t state ))0, (int (*)(struct pci_dev *dev ,
2568 pm_message_t state ))0,
2569 (int (*)(struct pci_dev *dev ))0, (int (*)(struct pci_dev *dev ))0, (void (*)(struct pci_dev *dev ))0,
2570 (struct pci_error_handlers *)0, {(char const *)0, (struct bus_type *)0, (struct module *)0,
2571 (char const *)0, (_Bool)0, (struct of_device_id const *)0,
2572 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
2573 (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
2574 pm_message_t state ))0,
2575 (int (*)(struct device *dev ))0, (struct attribute_group const **)0,
2576 (struct dev_pm_ops const *)0, (struct driver_private *)0},
2577 {{{{{{0U}}, 0U, 0U, (void *)0}}}, {(struct list_head *)0, (struct list_head *)0}}};
2578#line 45
2579static int vmic_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
2580#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2581static int vmic_init(void)
2582{ int tmp ;
2583
2584 {
2585 {
2586#line 47
2587 tmp = (int )__pci_register_driver(& vmic_driver, & __this_module, "vme_vmivme7805");
2588 }
2589#line 47
2590 return (tmp);
2591}
2592}
2593#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2594static int vmic_probe(struct pci_dev *pdev , struct pci_device_id const *id )
2595{ int retval ;
2596 u32 data ;
2597 unsigned int tmp ;
2598 unsigned int tmp___0 ;
2599 unsigned long __cil_tmp7 ;
2600 unsigned long __cil_tmp8 ;
2601 struct device *__cil_tmp9 ;
2602 struct device const *__cil_tmp10 ;
2603 unsigned long __cil_tmp11 ;
2604 unsigned long __cil_tmp12 ;
2605 char const *__cil_tmp13 ;
2606 unsigned long __cil_tmp14 ;
2607 unsigned long __cil_tmp15 ;
2608 struct device *__cil_tmp16 ;
2609 struct device const *__cil_tmp17 ;
2610 unsigned long __cil_tmp18 ;
2611 unsigned long __cil_tmp19 ;
2612 unsigned long __cil_tmp20 ;
2613 unsigned long __cil_tmp21 ;
2614 resource_size_t __cil_tmp22 ;
2615 unsigned long __cil_tmp23 ;
2616 unsigned long __cil_tmp24 ;
2617 struct device *__cil_tmp25 ;
2618 struct device const *__cil_tmp26 ;
2619 u32 __cil_tmp27 ;
2620 void *__cil_tmp28 ;
2621 void *__cil_tmp29 ;
2622 void *__cil_tmp30 ;
2623 void *__cil_tmp31 ;
2624 unsigned int __cil_tmp32 ;
2625 unsigned int __cil_tmp33 ;
2626 unsigned int __cil_tmp34 ;
2627 unsigned int __cil_tmp35 ;
2628 unsigned int __cil_tmp36 ;
2629 void *__cil_tmp37 ;
2630
2631 {
2632 {
2633#line 56
2634 retval = (int )pci_enable_device(pdev);
2635 }
2636#line 57
2637 if (retval) {
2638 {
2639#line 58
2640 __cil_tmp7 = (unsigned long )pdev;
2641#line 58
2642 __cil_tmp8 = __cil_tmp7 + 144;
2643#line 58
2644 __cil_tmp9 = (struct device *)__cil_tmp8;
2645#line 58
2646 __cil_tmp10 = (struct device const *)__cil_tmp9;
2647#line 58
2648 dev_err(__cil_tmp10, "Unable to enable device\n");
2649 }
2650#line 59
2651 goto err;
2652 } else {
2653
2654 }
2655 {
2656#line 63
2657 __cil_tmp11 = 0 * 1UL;
2658#line 63
2659 __cil_tmp12 = (unsigned long )(driver_name) + __cil_tmp11;
2660#line 63
2661 __cil_tmp13 = (char const *)__cil_tmp12;
2662#line 63
2663 retval = (int )pci_request_regions(pdev, __cil_tmp13);
2664 }
2665#line 64
2666 if (retval) {
2667 {
2668#line 65
2669 __cil_tmp14 = (unsigned long )pdev;
2670#line 65
2671 __cil_tmp15 = __cil_tmp14 + 144;
2672#line 65
2673 __cil_tmp16 = (struct device *)__cil_tmp15;
2674#line 65
2675 __cil_tmp17 = (struct device const *)__cil_tmp16;
2676#line 65
2677 dev_err(__cil_tmp17, "Unable to reserve resources\n");
2678 }
2679#line 66
2680 goto err_resource;
2681 } else {
2682
2683 }
2684 {
2685#line 70
2686 __cil_tmp18 = 0 * 56UL;
2687#line 70
2688 __cil_tmp19 = 920 + __cil_tmp18;
2689#line 70
2690 __cil_tmp20 = (unsigned long )pdev;
2691#line 70
2692 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
2693#line 70
2694 __cil_tmp22 = *((resource_size_t *)__cil_tmp21);
2695#line 70
2696 vmic_base = ioremap_nocache(__cil_tmp22, 16UL);
2697 }
2698#line 71
2699 if (! vmic_base) {
2700 {
2701#line 72
2702 __cil_tmp23 = (unsigned long )pdev;
2703#line 72
2704 __cil_tmp24 = __cil_tmp23 + 144;
2705#line 72
2706 __cil_tmp25 = (struct device *)__cil_tmp24;
2707#line 72
2708 __cil_tmp26 = (struct device const *)__cil_tmp25;
2709#line 72
2710 dev_err(__cil_tmp26, "Unable to remap CRG region\n");
2711#line 73
2712 retval = -5;
2713 }
2714#line 74
2715 goto err_remap;
2716 } else {
2717
2718 }
2719 {
2720#line 78
2721 __cil_tmp27 = (u32 )0;
2722#line 78
2723 __cil_tmp28 = vmic_base + 0;
2724#line 78
2725 iowrite32(__cil_tmp27, __cil_tmp28);
2726#line 81
2727 __cil_tmp29 = vmic_base + 0;
2728#line 81
2729 tmp = ioread32(__cil_tmp29);
2730#line 81
2731 data = tmp & 4095U;
2732#line 82
2733 data = data | 128U;
2734#line 83
2735 __cil_tmp30 = vmic_base + 0;
2736#line 83
2737 iowrite32(data, __cil_tmp30);
2738#line 86
2739 __cil_tmp31 = vmic_base + 0;
2740#line 86
2741 tmp___0 = ioread32(__cil_tmp31);
2742#line 86
2743 data = tmp___0 & 4095U;
2744#line 87
2745 __cil_tmp32 = data | 1U;
2746#line 87
2747 __cil_tmp33 = __cil_tmp32 | 2U;
2748#line 87
2749 __cil_tmp34 = __cil_tmp33 | 4U;
2750#line 87
2751 __cil_tmp35 = __cil_tmp34 | 64U;
2752#line 87
2753 __cil_tmp36 = __cil_tmp35 | 1024U;
2754#line 87
2755 data = __cil_tmp36 | 2048U;
2756#line 93
2757 __cil_tmp37 = vmic_base + 0;
2758#line 93
2759 iowrite32(data, __cil_tmp37);
2760 }
2761#line 95
2762 return (0);
2763 err_remap:
2764 {
2765#line 98
2766 pci_release_regions(pdev);
2767 }
2768 err_resource:
2769 {
2770#line 100
2771 pci_disable_device(pdev);
2772 }
2773 err:
2774#line 102
2775 return (retval);
2776}
2777}
2778#line 105 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2779static void vmic_remove(struct pci_dev *pdev )
2780{ void volatile *__cil_tmp2 ;
2781
2782 {
2783 {
2784#line 107
2785 __cil_tmp2 = (void volatile *)vmic_base;
2786#line 107
2787 iounmap(__cil_tmp2);
2788#line 108
2789 pci_release_regions(pdev);
2790#line 109
2791 pci_disable_device(pdev);
2792 }
2793#line 111
2794 return;
2795}
2796}
2797#line 113
2798static void vmic_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
2799#line 113 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2800static void vmic_exit(void)
2801{
2802
2803 {
2804 {
2805#line 115
2806 pci_unregister_driver(& vmic_driver);
2807 }
2808#line 116
2809 return;
2810}
2811}
2812#line 118 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2813static char const __mod_description118[45] __attribute__((__used__, __unused__,
2814__section__(".modinfo"), __aligned__(1))) =
2815#line 118
2816 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
2817 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
2818 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
2819 (char const )'V', (char const )'M', (char const )'I', (char const )'V',
2820 (char const )'M', (char const )'E', (char const )'-', (char const )'7',
2821 (char const )'8', (char const )'0', (char const )'5', (char const )' ',
2822 (char const )'b', (char const )'o', (char const )'a', (char const )'r',
2823 (char const )'d', (char const )' ', (char const )'s', (char const )'u',
2824 (char const )'p', (char const )'p', (char const )'o', (char const )'r',
2825 (char const )'t', (char const )' ', (char const )'d', (char const )'r',
2826 (char const )'i', (char const )'v', (char const )'e', (char const )'r',
2827 (char const )'\000'};
2828#line 119 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2829static char const __mod_author119[53] __attribute__((__used__, __unused__, __section__(".modinfo"),
2830__aligned__(1))) =
2831#line 119
2832 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
2833 (char const )'o', (char const )'r', (char const )'=', (char const )'A',
2834 (char const )'r', (char const )'t', (char const )'h', (char const )'u',
2835 (char const )'r', (char const )' ', (char const )'B', (char const )'e',
2836 (char const )'n', (char const )'i', (char const )'l', (char const )'o',
2837 (char const )'v', (char const )' ', (char const )'<', (char const )'a',
2838 (char const )'r', (char const )'t', (char const )'h', (char const )'u',
2839 (char const )'r', (char const )'.', (char const )'b', (char const )'e',
2840 (char const )'n', (char const )'i', (char const )'l', (char const )'o',
2841 (char const )'v', (char const )'@', (char const )'i', (char const )'b',
2842 (char const )'a', (char const )'-', (char const )'g', (char const )'r',
2843 (char const )'o', (char const )'u', (char const )'p', (char const )'.',
2844 (char const )'c', (char const )'o', (char const )'m', (char const )'>',
2845 (char const )'\000'};
2846#line 120 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2847static char const __mod_license120[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
2848__aligned__(1))) =
2849#line 120
2850 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
2851 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
2852 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
2853#line 122 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2854int init_module(void)
2855{ int tmp ;
2856
2857 {
2858 {
2859#line 122
2860 tmp = vmic_init();
2861 }
2862#line 122
2863 return (tmp);
2864}
2865}
2866#line 123 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2867void cleanup_module(void)
2868{
2869
2870 {
2871 {
2872#line 123
2873 vmic_exit();
2874 }
2875#line 123
2876 return;
2877}
2878}
2879#line 142
2880void ldv_check_final_state(void) ;
2881#line 145
2882extern void ldv_check_return_value(int res ) ;
2883#line 148
2884extern void ldv_initialize(void) ;
2885#line 151
2886extern int __VERIFIER_nondet_int(void) ;
2887#line 154 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2888int LDV_IN_INTERRUPT ;
2889#line 171 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2890static int res_vmic_probe_1 ;
2891#line 157 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
2892void main(void)
2893{ struct pci_dev *var_group1 ;
2894 struct pci_device_id const *var_vmic_probe_1_p1 ;
2895 int tmp ;
2896 int ldv_s_vmic_driver_pci_driver ;
2897 int tmp___0 ;
2898 int tmp___1 ;
2899 int __cil_tmp7 ;
2900
2901 {
2902 {
2903#line 181
2904 LDV_IN_INTERRUPT = 1;
2905#line 190
2906 ldv_initialize();
2907#line 196
2908 tmp = vmic_init();
2909 }
2910#line 196
2911 if (tmp) {
2912#line 197
2913 goto ldv_final;
2914 } else {
2915
2916 }
2917#line 198
2918 ldv_s_vmic_driver_pci_driver = 0;
2919 {
2920#line 202
2921 while (1) {
2922 while_continue: ;
2923 {
2924#line 202
2925 tmp___1 = __VERIFIER_nondet_int();
2926 }
2927#line 202
2928 if (tmp___1) {
2929
2930 } else {
2931 {
2932#line 202
2933 __cil_tmp7 = ldv_s_vmic_driver_pci_driver == 0;
2934#line 202
2935 if (! __cil_tmp7) {
2936
2937 } else {
2938#line 202
2939 goto while_break;
2940 }
2941 }
2942 }
2943 {
2944#line 206
2945 tmp___0 = __VERIFIER_nondet_int();
2946 }
2947#line 208
2948 if (tmp___0 == 0) {
2949#line 208
2950 goto case_0;
2951 } else
2952#line 227
2953 if (tmp___0 == 1) {
2954#line 227
2955 goto case_1;
2956 } else {
2957 {
2958#line 243
2959 goto switch_default;
2960#line 206
2961 if (0) {
2962 case_0:
2963#line 211
2964 if (ldv_s_vmic_driver_pci_driver == 0) {
2965 {
2966#line 216
2967 res_vmic_probe_1 = vmic_probe(var_group1, var_vmic_probe_1_p1);
2968#line 217
2969 ldv_check_return_value(res_vmic_probe_1);
2970 }
2971#line 218
2972 if (res_vmic_probe_1) {
2973#line 219
2974 goto ldv_module_exit;
2975 } else {
2976
2977 }
2978#line 220
2979 ldv_s_vmic_driver_pci_driver = 0;
2980 } else {
2981
2982 }
2983#line 226
2984 goto switch_break;
2985 case_1:
2986 {
2987#line 235
2988 vmic_remove(var_group1);
2989 }
2990#line 242
2991 goto switch_break;
2992 switch_default:
2993#line 243
2994 goto switch_break;
2995 } else {
2996 switch_break: ;
2997 }
2998 }
2999 }
3000 }
3001 while_break: ;
3002 }
3003 ldv_module_exit:
3004 {
3005#line 255
3006 vmic_exit();
3007 }
3008 ldv_final:
3009 {
3010#line 258
3011 ldv_check_final_state();
3012 }
3013#line 261
3014 return;
3015}
3016}
3017#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3018void ldv_blast_assert(void)
3019{
3020
3021 {
3022 ERROR:
3023#line 6
3024 goto ERROR;
3025}
3026}
3027#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3028extern int __VERIFIER_nondet_int(void) ;
3029#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3030int ldv_mutex = 1;
3031#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3032int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3033{ int nondetermined ;
3034
3035 {
3036#line 29
3037 if (ldv_mutex == 1) {
3038
3039 } else {
3040 {
3041#line 29
3042 ldv_blast_assert();
3043 }
3044 }
3045 {
3046#line 32
3047 nondetermined = __VERIFIER_nondet_int();
3048 }
3049#line 35
3050 if (nondetermined) {
3051#line 38
3052 ldv_mutex = 2;
3053#line 40
3054 return (0);
3055 } else {
3056#line 45
3057 return (-4);
3058 }
3059}
3060}
3061#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3062int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3063{ int nondetermined ;
3064
3065 {
3066#line 57
3067 if (ldv_mutex == 1) {
3068
3069 } else {
3070 {
3071#line 57
3072 ldv_blast_assert();
3073 }
3074 }
3075 {
3076#line 60
3077 nondetermined = __VERIFIER_nondet_int();
3078 }
3079#line 63
3080 if (nondetermined) {
3081#line 66
3082 ldv_mutex = 2;
3083#line 68
3084 return (0);
3085 } else {
3086#line 73
3087 return (-4);
3088 }
3089}
3090}
3091#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3092int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3093{ int atomic_value_after_dec ;
3094
3095 {
3096#line 83
3097 if (ldv_mutex == 1) {
3098
3099 } else {
3100 {
3101#line 83
3102 ldv_blast_assert();
3103 }
3104 }
3105 {
3106#line 86
3107 atomic_value_after_dec = __VERIFIER_nondet_int();
3108 }
3109#line 89
3110 if (atomic_value_after_dec == 0) {
3111#line 92
3112 ldv_mutex = 2;
3113#line 94
3114 return (1);
3115 } else {
3116
3117 }
3118#line 98
3119 return (0);
3120}
3121}
3122#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3123void mutex_lock(struct mutex *lock )
3124{
3125
3126 {
3127#line 108
3128 if (ldv_mutex == 1) {
3129
3130 } else {
3131 {
3132#line 108
3133 ldv_blast_assert();
3134 }
3135 }
3136#line 110
3137 ldv_mutex = 2;
3138#line 111
3139 return;
3140}
3141}
3142#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3143int mutex_trylock(struct mutex *lock )
3144{ int nondetermined ;
3145
3146 {
3147#line 121
3148 if (ldv_mutex == 1) {
3149
3150 } else {
3151 {
3152#line 121
3153 ldv_blast_assert();
3154 }
3155 }
3156 {
3157#line 124
3158 nondetermined = __VERIFIER_nondet_int();
3159 }
3160#line 127
3161 if (nondetermined) {
3162#line 130
3163 ldv_mutex = 2;
3164#line 132
3165 return (1);
3166 } else {
3167#line 137
3168 return (0);
3169 }
3170}
3171}
3172#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3173void mutex_unlock(struct mutex *lock )
3174{
3175
3176 {
3177#line 147
3178 if (ldv_mutex == 2) {
3179
3180 } else {
3181 {
3182#line 147
3183 ldv_blast_assert();
3184 }
3185 }
3186#line 149
3187 ldv_mutex = 1;
3188#line 150
3189 return;
3190}
3191}
3192#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3193void ldv_check_final_state(void)
3194{
3195
3196 {
3197#line 156
3198 if (ldv_mutex == 1) {
3199
3200 } else {
3201 {
3202#line 156
3203 ldv_blast_assert();
3204 }
3205 }
3206#line 157
3207 return;
3208}
3209}
3210#line 270 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2113/dscv_tempdir/dscv/ri/32_1/drivers/staging/vme/boards/vme_vmivme7805.c.common.c"
3211long s__builtin_expect(long val , long res )
3212{
3213
3214 {
3215#line 271
3216 return (val);
3217}
3218}