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