1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 20 "include/asm-generic/int-ll64.h"
7typedef unsigned char __u8;
8#line 22 "include/asm-generic/int-ll64.h"
9typedef short __s16;
10#line 23 "include/asm-generic/int-ll64.h"
11typedef unsigned short __u16;
12#line 25 "include/asm-generic/int-ll64.h"
13typedef int __s32;
14#line 26 "include/asm-generic/int-ll64.h"
15typedef unsigned int __u32;
16#line 30 "include/asm-generic/int-ll64.h"
17typedef unsigned long long __u64;
18#line 43 "include/asm-generic/int-ll64.h"
19typedef unsigned char u8;
20#line 45 "include/asm-generic/int-ll64.h"
21typedef short s16;
22#line 46 "include/asm-generic/int-ll64.h"
23typedef unsigned short u16;
24#line 48 "include/asm-generic/int-ll64.h"
25typedef int s32;
26#line 49 "include/asm-generic/int-ll64.h"
27typedef unsigned int u32;
28#line 51 "include/asm-generic/int-ll64.h"
29typedef long long s64;
30#line 52 "include/asm-generic/int-ll64.h"
31typedef unsigned long long u64;
32#line 14 "include/asm-generic/posix_types.h"
33typedef long __kernel_long_t;
34#line 15 "include/asm-generic/posix_types.h"
35typedef unsigned long __kernel_ulong_t;
36#line 52 "include/asm-generic/posix_types.h"
37typedef unsigned int __kernel_uid32_t;
38#line 53 "include/asm-generic/posix_types.h"
39typedef unsigned int __kernel_gid32_t;
40#line 75 "include/asm-generic/posix_types.h"
41typedef __kernel_ulong_t __kernel_size_t;
42#line 76 "include/asm-generic/posix_types.h"
43typedef __kernel_long_t __kernel_ssize_t;
44#line 91 "include/asm-generic/posix_types.h"
45typedef long long __kernel_loff_t;
46#line 92 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_time_t;
48#line 21 "include/linux/types.h"
49typedef __u32 __kernel_dev_t;
50#line 24 "include/linux/types.h"
51typedef __kernel_dev_t dev_t;
52#line 27 "include/linux/types.h"
53typedef unsigned short umode_t;
54#line 38 "include/linux/types.h"
55typedef _Bool bool;
56#line 40 "include/linux/types.h"
57typedef __kernel_uid32_t uid_t;
58#line 41 "include/linux/types.h"
59typedef __kernel_gid32_t gid_t;
60#line 54 "include/linux/types.h"
61typedef __kernel_loff_t loff_t;
62#line 63 "include/linux/types.h"
63typedef __kernel_size_t size_t;
64#line 68 "include/linux/types.h"
65typedef __kernel_ssize_t ssize_t;
66#line 78 "include/linux/types.h"
67typedef __kernel_time_t time_t;
68#line 142 "include/linux/types.h"
69typedef unsigned long sector_t;
70#line 143 "include/linux/types.h"
71typedef unsigned long blkcnt_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 219 "include/linux/types.h"
77struct __anonstruct_atomic_t_7 {
78 int counter ;
79};
80#line 219 "include/linux/types.h"
81typedef struct __anonstruct_atomic_t_7 atomic_t;
82#line 224 "include/linux/types.h"
83struct __anonstruct_atomic64_t_8 {
84 long counter ;
85};
86#line 224 "include/linux/types.h"
87typedef struct __anonstruct_atomic64_t_8 atomic64_t;
88#line 229 "include/linux/types.h"
89struct list_head {
90 struct list_head *next ;
91 struct list_head *prev ;
92};
93#line 233
94struct hlist_node;
95#line 233 "include/linux/types.h"
96struct hlist_head {
97 struct hlist_node *first ;
98};
99#line 237 "include/linux/types.h"
100struct hlist_node {
101 struct hlist_node *next ;
102 struct hlist_node **pprev ;
103};
104#line 253 "include/linux/types.h"
105struct rcu_head {
106 struct rcu_head *next ;
107 void (*func)(struct rcu_head *head ) ;
108};
109#line 202 "include/linux/ioport.h"
110struct device;
111#line 202
112struct device;
113#line 12 "include/linux/lockdep.h"
114struct task_struct;
115#line 12
116struct task_struct;
117#line 391 "include/linux/lockdep.h"
118struct lock_class_key {
119
120};
121#line 20 "include/linux/kobject_ns.h"
122struct sock;
123#line 20
124struct sock;
125#line 21
126struct kobject;
127#line 21
128struct kobject;
129#line 27
130enum kobj_ns_type {
131 KOBJ_NS_TYPE_NONE = 0,
132 KOBJ_NS_TYPE_NET = 1,
133 KOBJ_NS_TYPES = 2
134} ;
135#line 40 "include/linux/kobject_ns.h"
136struct kobj_ns_type_operations {
137 enum kobj_ns_type type ;
138 void *(*grab_current_ns)(void) ;
139 void const *(*netlink_ns)(struct sock *sk ) ;
140 void const *(*initial_ns)(void) ;
141 void (*drop_ns)(void * ) ;
142};
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 146 "include/linux/init.h"
146typedef void (*ctor_fn_t)(void);
147#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
148struct page;
149#line 295
150struct file;
151#line 295
152struct file;
153#line 313
154struct seq_file;
155#line 313
156struct seq_file;
157#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
158struct page;
159#line 52
160struct task_struct;
161#line 329
162struct arch_spinlock;
163#line 329
164struct arch_spinlock;
165#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
166struct task_struct;
167#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
168struct module;
169#line 56
170struct module;
171#line 47 "include/linux/dynamic_debug.h"
172struct device;
173#line 135 "include/linux/kernel.h"
174struct completion;
175#line 135
176struct completion;
177#line 349
178struct pid;
179#line 349
180struct pid;
181#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
182struct task_struct;
183#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
184struct page;
185#line 10 "include/asm-generic/bug.h"
186struct bug_entry {
187 int bug_addr_disp ;
188 int file_disp ;
189 unsigned short line ;
190 unsigned short flags ;
191};
192#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
193struct static_key;
194#line 234
195struct static_key;
196#line 23 "include/asm-generic/atomic-long.h"
197typedef atomic64_t atomic_long_t;
198#line 22 "include/linux/sysfs.h"
199struct kobject;
200#line 23
201struct module;
202#line 24
203enum kobj_ns_type;
204#line 26 "include/linux/sysfs.h"
205struct attribute {
206 char const *name ;
207 umode_t mode ;
208};
209#line 56 "include/linux/sysfs.h"
210struct attribute_group {
211 char const *name ;
212 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
213 struct attribute **attrs ;
214};
215#line 85
216struct file;
217#line 86
218struct vm_area_struct;
219#line 86
220struct vm_area_struct;
221#line 88 "include/linux/sysfs.h"
222struct bin_attribute {
223 struct attribute attr ;
224 size_t size ;
225 void *private ;
226 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
227 loff_t , size_t ) ;
228 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
229 loff_t , size_t ) ;
230 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
231};
232#line 112 "include/linux/sysfs.h"
233struct sysfs_ops {
234 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
235 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
236 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
237};
238#line 118
239struct sysfs_dirent;
240#line 118
241struct sysfs_dirent;
242#line 12 "include/linux/thread_info.h"
243struct timespec;
244#line 12
245struct timespec;
246#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
247struct task_struct;
248#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
249typedef u16 __ticket_t;
250#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
251typedef u32 __ticketpair_t;
252#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
253struct __raw_tickets {
254 __ticket_t head ;
255 __ticket_t tail ;
256};
257#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
258union __anonunion____missing_field_name_36 {
259 __ticketpair_t head_tail ;
260 struct __raw_tickets tickets ;
261};
262#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
263struct arch_spinlock {
264 union __anonunion____missing_field_name_36 __annonCompField17 ;
265};
266#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
267typedef struct arch_spinlock arch_spinlock_t;
268#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
269struct __anonstruct____missing_field_name_38 {
270 u32 read ;
271 s32 write ;
272};
273#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
274union __anonunion_arch_rwlock_t_37 {
275 s64 lock ;
276 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
277};
278#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
279typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
280#line 20 "include/linux/spinlock_types.h"
281struct raw_spinlock {
282 arch_spinlock_t raw_lock ;
283 unsigned int magic ;
284 unsigned int owner_cpu ;
285 void *owner ;
286};
287#line 20 "include/linux/spinlock_types.h"
288typedef struct raw_spinlock raw_spinlock_t;
289#line 64 "include/linux/spinlock_types.h"
290union __anonunion____missing_field_name_39 {
291 struct raw_spinlock rlock ;
292};
293#line 64 "include/linux/spinlock_types.h"
294struct spinlock {
295 union __anonunion____missing_field_name_39 __annonCompField19 ;
296};
297#line 64 "include/linux/spinlock_types.h"
298typedef struct spinlock spinlock_t;
299#line 11 "include/linux/rwlock_types.h"
300struct __anonstruct_rwlock_t_40 {
301 arch_rwlock_t raw_lock ;
302 unsigned int magic ;
303 unsigned int owner_cpu ;
304 void *owner ;
305};
306#line 11 "include/linux/rwlock_types.h"
307typedef struct __anonstruct_rwlock_t_40 rwlock_t;
308#line 22 "include/linux/kref.h"
309struct kref {
310 atomic_t refcount ;
311};
312#line 49 "include/linux/wait.h"
313struct __wait_queue_head {
314 spinlock_t lock ;
315 struct list_head task_list ;
316};
317#line 53 "include/linux/wait.h"
318typedef struct __wait_queue_head wait_queue_head_t;
319#line 55
320struct task_struct;
321#line 60 "include/linux/kobject.h"
322struct kset;
323#line 60
324struct kobj_type;
325#line 60 "include/linux/kobject.h"
326struct kobject {
327 char const *name ;
328 struct list_head entry ;
329 struct kobject *parent ;
330 struct kset *kset ;
331 struct kobj_type *ktype ;
332 struct sysfs_dirent *sd ;
333 struct kref kref ;
334 unsigned int state_initialized : 1 ;
335 unsigned int state_in_sysfs : 1 ;
336 unsigned int state_add_uevent_sent : 1 ;
337 unsigned int state_remove_uevent_sent : 1 ;
338 unsigned int uevent_suppress : 1 ;
339};
340#line 108 "include/linux/kobject.h"
341struct kobj_type {
342 void (*release)(struct kobject *kobj ) ;
343 struct sysfs_ops const *sysfs_ops ;
344 struct attribute **default_attrs ;
345 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
346 void const *(*namespace)(struct kobject *kobj ) ;
347};
348#line 116 "include/linux/kobject.h"
349struct kobj_uevent_env {
350 char *envp[32] ;
351 int envp_idx ;
352 char buf[2048] ;
353 int buflen ;
354};
355#line 123 "include/linux/kobject.h"
356struct kset_uevent_ops {
357 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
358 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
359 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
360};
361#line 140
362struct sock;
363#line 159 "include/linux/kobject.h"
364struct kset {
365 struct list_head list ;
366 spinlock_t list_lock ;
367 struct kobject kobj ;
368 struct kset_uevent_ops const *uevent_ops ;
369};
370#line 19 "include/linux/klist.h"
371struct klist_node;
372#line 19
373struct klist_node;
374#line 39 "include/linux/klist.h"
375struct klist_node {
376 void *n_klist ;
377 struct list_head n_node ;
378 struct kref n_ref ;
379};
380#line 48 "include/linux/mutex.h"
381struct mutex {
382 atomic_t count ;
383 spinlock_t wait_lock ;
384 struct list_head wait_list ;
385 struct task_struct *owner ;
386 char const *name ;
387 void *magic ;
388};
389#line 119 "include/linux/seqlock.h"
390struct seqcount {
391 unsigned int sequence ;
392};
393#line 119 "include/linux/seqlock.h"
394typedef struct seqcount seqcount_t;
395#line 14 "include/linux/time.h"
396struct timespec {
397 __kernel_time_t tv_sec ;
398 long tv_nsec ;
399};
400#line 46 "include/linux/ktime.h"
401union ktime {
402 s64 tv64 ;
403};
404#line 59 "include/linux/ktime.h"
405typedef union ktime ktime_t;
406#line 10 "include/linux/timer.h"
407struct tvec_base;
408#line 10
409struct tvec_base;
410#line 12 "include/linux/timer.h"
411struct timer_list {
412 struct list_head entry ;
413 unsigned long expires ;
414 struct tvec_base *base ;
415 void (*function)(unsigned long ) ;
416 unsigned long data ;
417 int slack ;
418 int start_pid ;
419 void *start_site ;
420 char start_comm[16] ;
421};
422#line 17 "include/linux/workqueue.h"
423struct work_struct;
424#line 17
425struct work_struct;
426#line 79 "include/linux/workqueue.h"
427struct work_struct {
428 atomic_long_t data ;
429 struct list_head entry ;
430 void (*func)(struct work_struct *work ) ;
431};
432#line 25 "include/linux/completion.h"
433struct completion {
434 unsigned int done ;
435 wait_queue_head_t wait ;
436};
437#line 42 "include/linux/pm.h"
438struct device;
439#line 50 "include/linux/pm.h"
440struct pm_message {
441 int event ;
442};
443#line 50 "include/linux/pm.h"
444typedef struct pm_message pm_message_t;
445#line 264 "include/linux/pm.h"
446struct dev_pm_ops {
447 int (*prepare)(struct device *dev ) ;
448 void (*complete)(struct device *dev ) ;
449 int (*suspend)(struct device *dev ) ;
450 int (*resume)(struct device *dev ) ;
451 int (*freeze)(struct device *dev ) ;
452 int (*thaw)(struct device *dev ) ;
453 int (*poweroff)(struct device *dev ) ;
454 int (*restore)(struct device *dev ) ;
455 int (*suspend_late)(struct device *dev ) ;
456 int (*resume_early)(struct device *dev ) ;
457 int (*freeze_late)(struct device *dev ) ;
458 int (*thaw_early)(struct device *dev ) ;
459 int (*poweroff_late)(struct device *dev ) ;
460 int (*restore_early)(struct device *dev ) ;
461 int (*suspend_noirq)(struct device *dev ) ;
462 int (*resume_noirq)(struct device *dev ) ;
463 int (*freeze_noirq)(struct device *dev ) ;
464 int (*thaw_noirq)(struct device *dev ) ;
465 int (*poweroff_noirq)(struct device *dev ) ;
466 int (*restore_noirq)(struct device *dev ) ;
467 int (*runtime_suspend)(struct device *dev ) ;
468 int (*runtime_resume)(struct device *dev ) ;
469 int (*runtime_idle)(struct device *dev ) ;
470};
471#line 458
472enum rpm_status {
473 RPM_ACTIVE = 0,
474 RPM_RESUMING = 1,
475 RPM_SUSPENDED = 2,
476 RPM_SUSPENDING = 3
477} ;
478#line 480
479enum rpm_request {
480 RPM_REQ_NONE = 0,
481 RPM_REQ_IDLE = 1,
482 RPM_REQ_SUSPEND = 2,
483 RPM_REQ_AUTOSUSPEND = 3,
484 RPM_REQ_RESUME = 4
485} ;
486#line 488
487struct wakeup_source;
488#line 488
489struct wakeup_source;
490#line 495 "include/linux/pm.h"
491struct pm_subsys_data {
492 spinlock_t lock ;
493 unsigned int refcount ;
494};
495#line 506
496struct dev_pm_qos_request;
497#line 506
498struct pm_qos_constraints;
499#line 506 "include/linux/pm.h"
500struct dev_pm_info {
501 pm_message_t power_state ;
502 unsigned int can_wakeup : 1 ;
503 unsigned int async_suspend : 1 ;
504 bool is_prepared : 1 ;
505 bool is_suspended : 1 ;
506 bool ignore_children : 1 ;
507 spinlock_t lock ;
508 struct list_head entry ;
509 struct completion completion ;
510 struct wakeup_source *wakeup ;
511 bool wakeup_path : 1 ;
512 struct timer_list suspend_timer ;
513 unsigned long timer_expires ;
514 struct work_struct work ;
515 wait_queue_head_t wait_queue ;
516 atomic_t usage_count ;
517 atomic_t child_count ;
518 unsigned int disable_depth : 3 ;
519 unsigned int idle_notification : 1 ;
520 unsigned int request_pending : 1 ;
521 unsigned int deferred_resume : 1 ;
522 unsigned int run_wake : 1 ;
523 unsigned int runtime_auto : 1 ;
524 unsigned int no_callbacks : 1 ;
525 unsigned int irq_safe : 1 ;
526 unsigned int use_autosuspend : 1 ;
527 unsigned int timer_autosuspends : 1 ;
528 enum rpm_request request ;
529 enum rpm_status runtime_status ;
530 int runtime_error ;
531 int autosuspend_delay ;
532 unsigned long last_busy ;
533 unsigned long active_jiffies ;
534 unsigned long suspended_jiffies ;
535 unsigned long accounting_timestamp ;
536 ktime_t suspend_time ;
537 s64 max_time_suspended_ns ;
538 struct dev_pm_qos_request *pq_req ;
539 struct pm_subsys_data *subsys_data ;
540 struct pm_qos_constraints *constraints ;
541};
542#line 564 "include/linux/pm.h"
543struct dev_pm_domain {
544 struct dev_pm_ops ops ;
545};
546#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
547struct dma_map_ops;
548#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
549struct dev_archdata {
550 void *acpi_handle ;
551 struct dma_map_ops *dma_ops ;
552 void *iommu ;
553};
554#line 28 "include/linux/device.h"
555struct device;
556#line 29
557struct device_private;
558#line 29
559struct device_private;
560#line 30
561struct device_driver;
562#line 30
563struct device_driver;
564#line 31
565struct driver_private;
566#line 31
567struct driver_private;
568#line 32
569struct module;
570#line 33
571struct class;
572#line 33
573struct class;
574#line 34
575struct subsys_private;
576#line 34
577struct subsys_private;
578#line 35
579struct bus_type;
580#line 35
581struct bus_type;
582#line 36
583struct device_node;
584#line 36
585struct device_node;
586#line 37
587struct iommu_ops;
588#line 37
589struct iommu_ops;
590#line 39 "include/linux/device.h"
591struct bus_attribute {
592 struct attribute attr ;
593 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
594 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
595};
596#line 89
597struct device_attribute;
598#line 89
599struct driver_attribute;
600#line 89 "include/linux/device.h"
601struct bus_type {
602 char const *name ;
603 char const *dev_name ;
604 struct device *dev_root ;
605 struct bus_attribute *bus_attrs ;
606 struct device_attribute *dev_attrs ;
607 struct driver_attribute *drv_attrs ;
608 int (*match)(struct device *dev , struct device_driver *drv ) ;
609 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
610 int (*probe)(struct device *dev ) ;
611 int (*remove)(struct device *dev ) ;
612 void (*shutdown)(struct device *dev ) ;
613 int (*suspend)(struct device *dev , pm_message_t state ) ;
614 int (*resume)(struct device *dev ) ;
615 struct dev_pm_ops const *pm ;
616 struct iommu_ops *iommu_ops ;
617 struct subsys_private *p ;
618};
619#line 127
620struct device_type;
621#line 214
622struct of_device_id;
623#line 214 "include/linux/device.h"
624struct device_driver {
625 char const *name ;
626 struct bus_type *bus ;
627 struct module *owner ;
628 char const *mod_name ;
629 bool suppress_bind_attrs ;
630 struct of_device_id const *of_match_table ;
631 int (*probe)(struct device *dev ) ;
632 int (*remove)(struct device *dev ) ;
633 void (*shutdown)(struct device *dev ) ;
634 int (*suspend)(struct device *dev , pm_message_t state ) ;
635 int (*resume)(struct device *dev ) ;
636 struct attribute_group const **groups ;
637 struct dev_pm_ops const *pm ;
638 struct driver_private *p ;
639};
640#line 249 "include/linux/device.h"
641struct driver_attribute {
642 struct attribute attr ;
643 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
644 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
645};
646#line 330
647struct class_attribute;
648#line 330 "include/linux/device.h"
649struct class {
650 char const *name ;
651 struct module *owner ;
652 struct class_attribute *class_attrs ;
653 struct device_attribute *dev_attrs ;
654 struct bin_attribute *dev_bin_attrs ;
655 struct kobject *dev_kobj ;
656 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
657 char *(*devnode)(struct device *dev , umode_t *mode ) ;
658 void (*class_release)(struct class *class ) ;
659 void (*dev_release)(struct device *dev ) ;
660 int (*suspend)(struct device *dev , pm_message_t state ) ;
661 int (*resume)(struct device *dev ) ;
662 struct kobj_ns_type_operations const *ns_type ;
663 void const *(*namespace)(struct device *dev ) ;
664 struct dev_pm_ops const *pm ;
665 struct subsys_private *p ;
666};
667#line 397 "include/linux/device.h"
668struct class_attribute {
669 struct attribute attr ;
670 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
671 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
672 size_t count ) ;
673 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
674};
675#line 465 "include/linux/device.h"
676struct device_type {
677 char const *name ;
678 struct attribute_group const **groups ;
679 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
680 char *(*devnode)(struct device *dev , umode_t *mode ) ;
681 void (*release)(struct device *dev ) ;
682 struct dev_pm_ops const *pm ;
683};
684#line 476 "include/linux/device.h"
685struct device_attribute {
686 struct attribute attr ;
687 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
688 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
689 size_t count ) ;
690};
691#line 559 "include/linux/device.h"
692struct device_dma_parameters {
693 unsigned int max_segment_size ;
694 unsigned long segment_boundary_mask ;
695};
696#line 627
697struct dma_coherent_mem;
698#line 627 "include/linux/device.h"
699struct device {
700 struct device *parent ;
701 struct device_private *p ;
702 struct kobject kobj ;
703 char const *init_name ;
704 struct device_type const *type ;
705 struct mutex mutex ;
706 struct bus_type *bus ;
707 struct device_driver *driver ;
708 void *platform_data ;
709 struct dev_pm_info power ;
710 struct dev_pm_domain *pm_domain ;
711 int numa_node ;
712 u64 *dma_mask ;
713 u64 coherent_dma_mask ;
714 struct device_dma_parameters *dma_parms ;
715 struct list_head dma_pools ;
716 struct dma_coherent_mem *dma_mem ;
717 struct dev_archdata archdata ;
718 struct device_node *of_node ;
719 dev_t devt ;
720 u32 id ;
721 spinlock_t devres_lock ;
722 struct list_head devres_head ;
723 struct klist_node knode_class ;
724 struct class *class ;
725 struct attribute_group const **groups ;
726 void (*release)(struct device *dev ) ;
727};
728#line 43 "include/linux/pm_wakeup.h"
729struct wakeup_source {
730 char const *name ;
731 struct list_head entry ;
732 spinlock_t lock ;
733 struct timer_list timer ;
734 unsigned long timer_expires ;
735 ktime_t total_time ;
736 ktime_t max_time ;
737 ktime_t last_time ;
738 unsigned long event_count ;
739 unsigned long active_count ;
740 unsigned long relax_count ;
741 unsigned long hit_count ;
742 unsigned int active : 1 ;
743};
744#line 60 "include/linux/pageblock-flags.h"
745struct page;
746#line 19 "include/linux/rwsem.h"
747struct rw_semaphore;
748#line 19
749struct rw_semaphore;
750#line 25 "include/linux/rwsem.h"
751struct rw_semaphore {
752 long count ;
753 raw_spinlock_t wait_lock ;
754 struct list_head wait_list ;
755};
756#line 9 "include/linux/memory_hotplug.h"
757struct page;
758#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
759struct device;
760#line 8 "include/linux/vmalloc.h"
761struct vm_area_struct;
762#line 994 "include/linux/mmzone.h"
763struct page;
764#line 10 "include/linux/gfp.h"
765struct vm_area_struct;
766#line 12 "include/linux/mod_devicetable.h"
767typedef unsigned long kernel_ulong_t;
768#line 136 "include/linux/mod_devicetable.h"
769struct hid_device_id {
770 __u16 bus ;
771 __u16 pad1 ;
772 __u32 vendor ;
773 __u32 product ;
774 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
775};
776#line 219 "include/linux/mod_devicetable.h"
777struct of_device_id {
778 char name[32] ;
779 char type[32] ;
780 char compatible[128] ;
781 void *data ;
782};
783#line 312 "include/linux/mod_devicetable.h"
784struct input_device_id {
785 kernel_ulong_t flags ;
786 __u16 bustype ;
787 __u16 vendor ;
788 __u16 product ;
789 __u16 version ;
790 kernel_ulong_t evbit[1] ;
791 kernel_ulong_t keybit[12] ;
792 kernel_ulong_t relbit[1] ;
793 kernel_ulong_t absbit[1] ;
794 kernel_ulong_t mscbit[1] ;
795 kernel_ulong_t ledbit[1] ;
796 kernel_ulong_t sndbit[1] ;
797 kernel_ulong_t ffbit[2] ;
798 kernel_ulong_t swbit[1] ;
799 kernel_ulong_t driver_info ;
800};
801#line 43 "include/linux/input.h"
802struct input_id {
803 __u16 bustype ;
804 __u16 vendor ;
805 __u16 product ;
806 __u16 version ;
807};
808#line 69 "include/linux/input.h"
809struct input_absinfo {
810 __s32 value ;
811 __s32 minimum ;
812 __s32 maximum ;
813 __s32 fuzz ;
814 __s32 flat ;
815 __s32 resolution ;
816};
817#line 93 "include/linux/input.h"
818struct input_keymap_entry {
819 __u8 flags ;
820 __u8 len ;
821 __u16 index ;
822 __u32 keycode ;
823 __u8 scancode[32] ;
824};
825#line 957 "include/linux/input.h"
826struct ff_replay {
827 __u16 length ;
828 __u16 delay ;
829};
830#line 967 "include/linux/input.h"
831struct ff_trigger {
832 __u16 button ;
833 __u16 interval ;
834};
835#line 984 "include/linux/input.h"
836struct ff_envelope {
837 __u16 attack_length ;
838 __u16 attack_level ;
839 __u16 fade_length ;
840 __u16 fade_level ;
841};
842#line 996 "include/linux/input.h"
843struct ff_constant_effect {
844 __s16 level ;
845 struct ff_envelope envelope ;
846};
847#line 1007 "include/linux/input.h"
848struct ff_ramp_effect {
849 __s16 start_level ;
850 __s16 end_level ;
851 struct ff_envelope envelope ;
852};
853#line 1023 "include/linux/input.h"
854struct ff_condition_effect {
855 __u16 right_saturation ;
856 __u16 left_saturation ;
857 __s16 right_coeff ;
858 __s16 left_coeff ;
859 __u16 deadband ;
860 __s16 center ;
861};
862#line 1052 "include/linux/input.h"
863struct ff_periodic_effect {
864 __u16 waveform ;
865 __u16 period ;
866 __s16 magnitude ;
867 __s16 offset ;
868 __u16 phase ;
869 struct ff_envelope envelope ;
870 __u32 custom_len ;
871 __s16 *custom_data ;
872};
873#line 1073 "include/linux/input.h"
874struct ff_rumble_effect {
875 __u16 strong_magnitude ;
876 __u16 weak_magnitude ;
877};
878#line 1101 "include/linux/input.h"
879union __anonunion_u_140 {
880 struct ff_constant_effect constant ;
881 struct ff_ramp_effect ramp ;
882 struct ff_periodic_effect periodic ;
883 struct ff_condition_effect condition[2] ;
884 struct ff_rumble_effect rumble ;
885};
886#line 1101 "include/linux/input.h"
887struct ff_effect {
888 __u16 type ;
889 __s16 id ;
890 __u16 direction ;
891 struct ff_trigger trigger ;
892 struct ff_replay replay ;
893 union __anonunion_u_140 u ;
894};
895#line 15 "include/linux/blk_types.h"
896struct page;
897#line 16
898struct block_device;
899#line 16
900struct block_device;
901#line 33 "include/linux/list_bl.h"
902struct hlist_bl_node;
903#line 33 "include/linux/list_bl.h"
904struct hlist_bl_head {
905 struct hlist_bl_node *first ;
906};
907#line 37 "include/linux/list_bl.h"
908struct hlist_bl_node {
909 struct hlist_bl_node *next ;
910 struct hlist_bl_node **pprev ;
911};
912#line 13 "include/linux/dcache.h"
913struct nameidata;
914#line 13
915struct nameidata;
916#line 14
917struct path;
918#line 14
919struct path;
920#line 15
921struct vfsmount;
922#line 15
923struct vfsmount;
924#line 35 "include/linux/dcache.h"
925struct qstr {
926 unsigned int hash ;
927 unsigned int len ;
928 unsigned char const *name ;
929};
930#line 88
931struct inode;
932#line 88
933struct dentry_operations;
934#line 88
935struct super_block;
936#line 88 "include/linux/dcache.h"
937union __anonunion_d_u_141 {
938 struct list_head d_child ;
939 struct rcu_head d_rcu ;
940};
941#line 88 "include/linux/dcache.h"
942struct dentry {
943 unsigned int d_flags ;
944 seqcount_t d_seq ;
945 struct hlist_bl_node d_hash ;
946 struct dentry *d_parent ;
947 struct qstr d_name ;
948 struct inode *d_inode ;
949 unsigned char d_iname[32] ;
950 unsigned int d_count ;
951 spinlock_t d_lock ;
952 struct dentry_operations const *d_op ;
953 struct super_block *d_sb ;
954 unsigned long d_time ;
955 void *d_fsdata ;
956 struct list_head d_lru ;
957 union __anonunion_d_u_141 d_u ;
958 struct list_head d_subdirs ;
959 struct list_head d_alias ;
960};
961#line 131 "include/linux/dcache.h"
962struct dentry_operations {
963 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
964 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
965 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
966 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
967 int (*d_delete)(struct dentry const * ) ;
968 void (*d_release)(struct dentry * ) ;
969 void (*d_prune)(struct dentry * ) ;
970 void (*d_iput)(struct dentry * , struct inode * ) ;
971 char *(*d_dname)(struct dentry * , char * , int ) ;
972 struct vfsmount *(*d_automount)(struct path * ) ;
973 int (*d_manage)(struct dentry * , bool ) ;
974} __attribute__((__aligned__((1) << (6) ))) ;
975#line 4 "include/linux/path.h"
976struct dentry;
977#line 5
978struct vfsmount;
979#line 7 "include/linux/path.h"
980struct path {
981 struct vfsmount *mnt ;
982 struct dentry *dentry ;
983};
984#line 62 "include/linux/stat.h"
985struct kstat {
986 u64 ino ;
987 dev_t dev ;
988 umode_t mode ;
989 unsigned int nlink ;
990 uid_t uid ;
991 gid_t gid ;
992 dev_t rdev ;
993 loff_t size ;
994 struct timespec atime ;
995 struct timespec mtime ;
996 struct timespec ctime ;
997 unsigned long blksize ;
998 unsigned long long blocks ;
999};
1000#line 64 "include/linux/radix-tree.h"
1001struct radix_tree_node;
1002#line 64 "include/linux/radix-tree.h"
1003struct radix_tree_root {
1004 unsigned int height ;
1005 gfp_t gfp_mask ;
1006 struct radix_tree_node *rnode ;
1007};
1008#line 14 "include/linux/prio_tree.h"
1009struct prio_tree_node;
1010#line 20 "include/linux/prio_tree.h"
1011struct prio_tree_node {
1012 struct prio_tree_node *left ;
1013 struct prio_tree_node *right ;
1014 struct prio_tree_node *parent ;
1015 unsigned long start ;
1016 unsigned long last ;
1017};
1018#line 28 "include/linux/prio_tree.h"
1019struct prio_tree_root {
1020 struct prio_tree_node *prio_tree_node ;
1021 unsigned short index_bits ;
1022 unsigned short raw ;
1023};
1024#line 6 "include/linux/pid.h"
1025enum pid_type {
1026 PIDTYPE_PID = 0,
1027 PIDTYPE_PGID = 1,
1028 PIDTYPE_SID = 2,
1029 PIDTYPE_MAX = 3
1030} ;
1031#line 50
1032struct pid_namespace;
1033#line 50 "include/linux/pid.h"
1034struct upid {
1035 int nr ;
1036 struct pid_namespace *ns ;
1037 struct hlist_node pid_chain ;
1038};
1039#line 57 "include/linux/pid.h"
1040struct pid {
1041 atomic_t count ;
1042 unsigned int level ;
1043 struct hlist_head tasks[3] ;
1044 struct rcu_head rcu ;
1045 struct upid numbers[1] ;
1046};
1047#line 100
1048struct pid_namespace;
1049#line 18 "include/linux/capability.h"
1050struct task_struct;
1051#line 377
1052struct dentry;
1053#line 16 "include/linux/semaphore.h"
1054struct semaphore {
1055 raw_spinlock_t lock ;
1056 unsigned int count ;
1057 struct list_head wait_list ;
1058};
1059#line 16 "include/linux/fiemap.h"
1060struct fiemap_extent {
1061 __u64 fe_logical ;
1062 __u64 fe_physical ;
1063 __u64 fe_length ;
1064 __u64 fe_reserved64[2] ;
1065 __u32 fe_flags ;
1066 __u32 fe_reserved[3] ;
1067};
1068#line 8 "include/linux/shrinker.h"
1069struct shrink_control {
1070 gfp_t gfp_mask ;
1071 unsigned long nr_to_scan ;
1072};
1073#line 31 "include/linux/shrinker.h"
1074struct shrinker {
1075 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1076 int seeks ;
1077 long batch ;
1078 struct list_head list ;
1079 atomic_long_t nr_in_batch ;
1080};
1081#line 10 "include/linux/migrate_mode.h"
1082enum migrate_mode {
1083 MIGRATE_ASYNC = 0,
1084 MIGRATE_SYNC_LIGHT = 1,
1085 MIGRATE_SYNC = 2
1086} ;
1087#line 408 "include/linux/fs.h"
1088struct export_operations;
1089#line 408
1090struct export_operations;
1091#line 410
1092struct iovec;
1093#line 410
1094struct iovec;
1095#line 411
1096struct nameidata;
1097#line 412
1098struct kiocb;
1099#line 412
1100struct kiocb;
1101#line 413
1102struct kobject;
1103#line 414
1104struct pipe_inode_info;
1105#line 414
1106struct pipe_inode_info;
1107#line 415
1108struct poll_table_struct;
1109#line 415
1110struct poll_table_struct;
1111#line 416
1112struct kstatfs;
1113#line 416
1114struct kstatfs;
1115#line 417
1116struct vm_area_struct;
1117#line 418
1118struct vfsmount;
1119#line 419
1120struct cred;
1121#line 419
1122struct cred;
1123#line 469 "include/linux/fs.h"
1124struct iattr {
1125 unsigned int ia_valid ;
1126 umode_t ia_mode ;
1127 uid_t ia_uid ;
1128 gid_t ia_gid ;
1129 loff_t ia_size ;
1130 struct timespec ia_atime ;
1131 struct timespec ia_mtime ;
1132 struct timespec ia_ctime ;
1133 struct file *ia_file ;
1134};
1135#line 129 "include/linux/quota.h"
1136struct if_dqinfo {
1137 __u64 dqi_bgrace ;
1138 __u64 dqi_igrace ;
1139 __u32 dqi_flags ;
1140 __u32 dqi_valid ;
1141};
1142#line 50 "include/linux/dqblk_xfs.h"
1143struct fs_disk_quota {
1144 __s8 d_version ;
1145 __s8 d_flags ;
1146 __u16 d_fieldmask ;
1147 __u32 d_id ;
1148 __u64 d_blk_hardlimit ;
1149 __u64 d_blk_softlimit ;
1150 __u64 d_ino_hardlimit ;
1151 __u64 d_ino_softlimit ;
1152 __u64 d_bcount ;
1153 __u64 d_icount ;
1154 __s32 d_itimer ;
1155 __s32 d_btimer ;
1156 __u16 d_iwarns ;
1157 __u16 d_bwarns ;
1158 __s32 d_padding2 ;
1159 __u64 d_rtb_hardlimit ;
1160 __u64 d_rtb_softlimit ;
1161 __u64 d_rtbcount ;
1162 __s32 d_rtbtimer ;
1163 __u16 d_rtbwarns ;
1164 __s16 d_padding3 ;
1165 char d_padding4[8] ;
1166};
1167#line 146 "include/linux/dqblk_xfs.h"
1168struct fs_qfilestat {
1169 __u64 qfs_ino ;
1170 __u64 qfs_nblks ;
1171 __u32 qfs_nextents ;
1172};
1173#line 146 "include/linux/dqblk_xfs.h"
1174typedef struct fs_qfilestat fs_qfilestat_t;
1175#line 152 "include/linux/dqblk_xfs.h"
1176struct fs_quota_stat {
1177 __s8 qs_version ;
1178 __u16 qs_flags ;
1179 __s8 qs_pad ;
1180 fs_qfilestat_t qs_uquota ;
1181 fs_qfilestat_t qs_gquota ;
1182 __u32 qs_incoredqs ;
1183 __s32 qs_btimelimit ;
1184 __s32 qs_itimelimit ;
1185 __s32 qs_rtbtimelimit ;
1186 __u16 qs_bwarnlimit ;
1187 __u16 qs_iwarnlimit ;
1188};
1189#line 17 "include/linux/dqblk_qtree.h"
1190struct dquot;
1191#line 17
1192struct dquot;
1193#line 185 "include/linux/quota.h"
1194typedef __kernel_uid32_t qid_t;
1195#line 186 "include/linux/quota.h"
1196typedef long long qsize_t;
1197#line 200 "include/linux/quota.h"
1198struct mem_dqblk {
1199 qsize_t dqb_bhardlimit ;
1200 qsize_t dqb_bsoftlimit ;
1201 qsize_t dqb_curspace ;
1202 qsize_t dqb_rsvspace ;
1203 qsize_t dqb_ihardlimit ;
1204 qsize_t dqb_isoftlimit ;
1205 qsize_t dqb_curinodes ;
1206 time_t dqb_btime ;
1207 time_t dqb_itime ;
1208};
1209#line 215
1210struct quota_format_type;
1211#line 215
1212struct quota_format_type;
1213#line 217 "include/linux/quota.h"
1214struct mem_dqinfo {
1215 struct quota_format_type *dqi_format ;
1216 int dqi_fmt_id ;
1217 struct list_head dqi_dirty_list ;
1218 unsigned long dqi_flags ;
1219 unsigned int dqi_bgrace ;
1220 unsigned int dqi_igrace ;
1221 qsize_t dqi_maxblimit ;
1222 qsize_t dqi_maxilimit ;
1223 void *dqi_priv ;
1224};
1225#line 230
1226struct super_block;
1227#line 288 "include/linux/quota.h"
1228struct dquot {
1229 struct hlist_node dq_hash ;
1230 struct list_head dq_inuse ;
1231 struct list_head dq_free ;
1232 struct list_head dq_dirty ;
1233 struct mutex dq_lock ;
1234 atomic_t dq_count ;
1235 wait_queue_head_t dq_wait_unused ;
1236 struct super_block *dq_sb ;
1237 unsigned int dq_id ;
1238 loff_t dq_off ;
1239 unsigned long dq_flags ;
1240 short dq_type ;
1241 struct mem_dqblk dq_dqb ;
1242};
1243#line 305 "include/linux/quota.h"
1244struct quota_format_ops {
1245 int (*check_quota_file)(struct super_block *sb , int type ) ;
1246 int (*read_file_info)(struct super_block *sb , int type ) ;
1247 int (*write_file_info)(struct super_block *sb , int type ) ;
1248 int (*free_file_info)(struct super_block *sb , int type ) ;
1249 int (*read_dqblk)(struct dquot *dquot ) ;
1250 int (*commit_dqblk)(struct dquot *dquot ) ;
1251 int (*release_dqblk)(struct dquot *dquot ) ;
1252};
1253#line 316 "include/linux/quota.h"
1254struct dquot_operations {
1255 int (*write_dquot)(struct dquot * ) ;
1256 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1257 void (*destroy_dquot)(struct dquot * ) ;
1258 int (*acquire_dquot)(struct dquot * ) ;
1259 int (*release_dquot)(struct dquot * ) ;
1260 int (*mark_dirty)(struct dquot * ) ;
1261 int (*write_info)(struct super_block * , int ) ;
1262 qsize_t *(*get_reserved_space)(struct inode * ) ;
1263};
1264#line 329
1265struct path;
1266#line 332 "include/linux/quota.h"
1267struct quotactl_ops {
1268 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1269 int (*quota_on_meta)(struct super_block * , int , int ) ;
1270 int (*quota_off)(struct super_block * , int ) ;
1271 int (*quota_sync)(struct super_block * , int , int ) ;
1272 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1273 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1274 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1275 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1276 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1277 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1278};
1279#line 345 "include/linux/quota.h"
1280struct quota_format_type {
1281 int qf_fmt_id ;
1282 struct quota_format_ops const *qf_ops ;
1283 struct module *qf_owner ;
1284 struct quota_format_type *qf_next ;
1285};
1286#line 399 "include/linux/quota.h"
1287struct quota_info {
1288 unsigned int flags ;
1289 struct mutex dqio_mutex ;
1290 struct mutex dqonoff_mutex ;
1291 struct rw_semaphore dqptr_sem ;
1292 struct inode *files[2] ;
1293 struct mem_dqinfo info[2] ;
1294 struct quota_format_ops const *ops[2] ;
1295};
1296#line 532 "include/linux/fs.h"
1297struct page;
1298#line 533
1299struct address_space;
1300#line 533
1301struct address_space;
1302#line 534
1303struct writeback_control;
1304#line 534
1305struct writeback_control;
1306#line 577 "include/linux/fs.h"
1307union __anonunion_arg_149 {
1308 char *buf ;
1309 void *data ;
1310};
1311#line 577 "include/linux/fs.h"
1312struct __anonstruct_read_descriptor_t_148 {
1313 size_t written ;
1314 size_t count ;
1315 union __anonunion_arg_149 arg ;
1316 int error ;
1317};
1318#line 577 "include/linux/fs.h"
1319typedef struct __anonstruct_read_descriptor_t_148 read_descriptor_t;
1320#line 590 "include/linux/fs.h"
1321struct address_space_operations {
1322 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1323 int (*readpage)(struct file * , struct page * ) ;
1324 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1325 int (*set_page_dirty)(struct page *page ) ;
1326 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1327 unsigned int nr_pages ) ;
1328 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1329 unsigned int len , unsigned int flags , struct page **pagep ,
1330 void **fsdata ) ;
1331 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1332 unsigned int copied , struct page *page , void *fsdata ) ;
1333 sector_t (*bmap)(struct address_space * , sector_t ) ;
1334 void (*invalidatepage)(struct page * , unsigned long ) ;
1335 int (*releasepage)(struct page * , gfp_t ) ;
1336 void (*freepage)(struct page * ) ;
1337 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1338 unsigned long nr_segs ) ;
1339 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1340 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1341 int (*launder_page)(struct page * ) ;
1342 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1343 int (*error_remove_page)(struct address_space * , struct page * ) ;
1344};
1345#line 645
1346struct backing_dev_info;
1347#line 645
1348struct backing_dev_info;
1349#line 646 "include/linux/fs.h"
1350struct address_space {
1351 struct inode *host ;
1352 struct radix_tree_root page_tree ;
1353 spinlock_t tree_lock ;
1354 unsigned int i_mmap_writable ;
1355 struct prio_tree_root i_mmap ;
1356 struct list_head i_mmap_nonlinear ;
1357 struct mutex i_mmap_mutex ;
1358 unsigned long nrpages ;
1359 unsigned long writeback_index ;
1360 struct address_space_operations const *a_ops ;
1361 unsigned long flags ;
1362 struct backing_dev_info *backing_dev_info ;
1363 spinlock_t private_lock ;
1364 struct list_head private_list ;
1365 struct address_space *assoc_mapping ;
1366} __attribute__((__aligned__(sizeof(long )))) ;
1367#line 669
1368struct request_queue;
1369#line 669
1370struct request_queue;
1371#line 671
1372struct hd_struct;
1373#line 671
1374struct gendisk;
1375#line 671 "include/linux/fs.h"
1376struct block_device {
1377 dev_t bd_dev ;
1378 int bd_openers ;
1379 struct inode *bd_inode ;
1380 struct super_block *bd_super ;
1381 struct mutex bd_mutex ;
1382 struct list_head bd_inodes ;
1383 void *bd_claiming ;
1384 void *bd_holder ;
1385 int bd_holders ;
1386 bool bd_write_holder ;
1387 struct list_head bd_holder_disks ;
1388 struct block_device *bd_contains ;
1389 unsigned int bd_block_size ;
1390 struct hd_struct *bd_part ;
1391 unsigned int bd_part_count ;
1392 int bd_invalidated ;
1393 struct gendisk *bd_disk ;
1394 struct request_queue *bd_queue ;
1395 struct list_head bd_list ;
1396 unsigned long bd_private ;
1397 int bd_fsfreeze_count ;
1398 struct mutex bd_fsfreeze_mutex ;
1399};
1400#line 749
1401struct posix_acl;
1402#line 749
1403struct posix_acl;
1404#line 761
1405struct inode_operations;
1406#line 761 "include/linux/fs.h"
1407union __anonunion____missing_field_name_150 {
1408 unsigned int const i_nlink ;
1409 unsigned int __i_nlink ;
1410};
1411#line 761 "include/linux/fs.h"
1412union __anonunion____missing_field_name_151 {
1413 struct list_head i_dentry ;
1414 struct rcu_head i_rcu ;
1415};
1416#line 761
1417struct file_operations;
1418#line 761
1419struct file_lock;
1420#line 761
1421struct cdev;
1422#line 761 "include/linux/fs.h"
1423union __anonunion____missing_field_name_152 {
1424 struct pipe_inode_info *i_pipe ;
1425 struct block_device *i_bdev ;
1426 struct cdev *i_cdev ;
1427};
1428#line 761 "include/linux/fs.h"
1429struct inode {
1430 umode_t i_mode ;
1431 unsigned short i_opflags ;
1432 uid_t i_uid ;
1433 gid_t i_gid ;
1434 unsigned int i_flags ;
1435 struct posix_acl *i_acl ;
1436 struct posix_acl *i_default_acl ;
1437 struct inode_operations const *i_op ;
1438 struct super_block *i_sb ;
1439 struct address_space *i_mapping ;
1440 void *i_security ;
1441 unsigned long i_ino ;
1442 union __anonunion____missing_field_name_150 __annonCompField30 ;
1443 dev_t i_rdev ;
1444 struct timespec i_atime ;
1445 struct timespec i_mtime ;
1446 struct timespec i_ctime ;
1447 spinlock_t i_lock ;
1448 unsigned short i_bytes ;
1449 blkcnt_t i_blocks ;
1450 loff_t i_size ;
1451 unsigned long i_state ;
1452 struct mutex i_mutex ;
1453 unsigned long dirtied_when ;
1454 struct hlist_node i_hash ;
1455 struct list_head i_wb_list ;
1456 struct list_head i_lru ;
1457 struct list_head i_sb_list ;
1458 union __anonunion____missing_field_name_151 __annonCompField31 ;
1459 atomic_t i_count ;
1460 unsigned int i_blkbits ;
1461 u64 i_version ;
1462 atomic_t i_dio_count ;
1463 atomic_t i_writecount ;
1464 struct file_operations const *i_fop ;
1465 struct file_lock *i_flock ;
1466 struct address_space i_data ;
1467 struct dquot *i_dquot[2] ;
1468 struct list_head i_devices ;
1469 union __anonunion____missing_field_name_152 __annonCompField32 ;
1470 __u32 i_generation ;
1471 __u32 i_fsnotify_mask ;
1472 struct hlist_head i_fsnotify_marks ;
1473 atomic_t i_readcount ;
1474 void *i_private ;
1475};
1476#line 942 "include/linux/fs.h"
1477struct fown_struct {
1478 rwlock_t lock ;
1479 struct pid *pid ;
1480 enum pid_type pid_type ;
1481 uid_t uid ;
1482 uid_t euid ;
1483 int signum ;
1484};
1485#line 953 "include/linux/fs.h"
1486struct file_ra_state {
1487 unsigned long start ;
1488 unsigned int size ;
1489 unsigned int async_size ;
1490 unsigned int ra_pages ;
1491 unsigned int mmap_miss ;
1492 loff_t prev_pos ;
1493};
1494#line 976 "include/linux/fs.h"
1495union __anonunion_f_u_153 {
1496 struct list_head fu_list ;
1497 struct rcu_head fu_rcuhead ;
1498};
1499#line 976 "include/linux/fs.h"
1500struct file {
1501 union __anonunion_f_u_153 f_u ;
1502 struct path f_path ;
1503 struct file_operations const *f_op ;
1504 spinlock_t f_lock ;
1505 int f_sb_list_cpu ;
1506 atomic_long_t f_count ;
1507 unsigned int f_flags ;
1508 fmode_t f_mode ;
1509 loff_t f_pos ;
1510 struct fown_struct f_owner ;
1511 struct cred const *f_cred ;
1512 struct file_ra_state f_ra ;
1513 u64 f_version ;
1514 void *f_security ;
1515 void *private_data ;
1516 struct list_head f_ep_links ;
1517 struct list_head f_tfile_llink ;
1518 struct address_space *f_mapping ;
1519 unsigned long f_mnt_write_state ;
1520};
1521#line 1111
1522struct files_struct;
1523#line 1111 "include/linux/fs.h"
1524typedef struct files_struct *fl_owner_t;
1525#line 1113 "include/linux/fs.h"
1526struct file_lock_operations {
1527 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1528 void (*fl_release_private)(struct file_lock * ) ;
1529};
1530#line 1118 "include/linux/fs.h"
1531struct lock_manager_operations {
1532 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1533 void (*lm_notify)(struct file_lock * ) ;
1534 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
1535 void (*lm_release_private)(struct file_lock * ) ;
1536 void (*lm_break)(struct file_lock * ) ;
1537 int (*lm_change)(struct file_lock ** , int ) ;
1538};
1539#line 4 "include/linux/nfs_fs_i.h"
1540struct nlm_lockowner;
1541#line 4
1542struct nlm_lockowner;
1543#line 9 "include/linux/nfs_fs_i.h"
1544struct nfs_lock_info {
1545 u32 state ;
1546 struct nlm_lockowner *owner ;
1547 struct list_head list ;
1548};
1549#line 15
1550struct nfs4_lock_state;
1551#line 15
1552struct nfs4_lock_state;
1553#line 16 "include/linux/nfs_fs_i.h"
1554struct nfs4_lock_info {
1555 struct nfs4_lock_state *owner ;
1556};
1557#line 1138 "include/linux/fs.h"
1558struct fasync_struct;
1559#line 1138 "include/linux/fs.h"
1560struct __anonstruct_afs_155 {
1561 struct list_head link ;
1562 int state ;
1563};
1564#line 1138 "include/linux/fs.h"
1565union __anonunion_fl_u_154 {
1566 struct nfs_lock_info nfs_fl ;
1567 struct nfs4_lock_info nfs4_fl ;
1568 struct __anonstruct_afs_155 afs ;
1569};
1570#line 1138 "include/linux/fs.h"
1571struct file_lock {
1572 struct file_lock *fl_next ;
1573 struct list_head fl_link ;
1574 struct list_head fl_block ;
1575 fl_owner_t fl_owner ;
1576 unsigned int fl_flags ;
1577 unsigned char fl_type ;
1578 unsigned int fl_pid ;
1579 struct pid *fl_nspid ;
1580 wait_queue_head_t fl_wait ;
1581 struct file *fl_file ;
1582 loff_t fl_start ;
1583 loff_t fl_end ;
1584 struct fasync_struct *fl_fasync ;
1585 unsigned long fl_break_time ;
1586 unsigned long fl_downgrade_time ;
1587 struct file_lock_operations const *fl_ops ;
1588 struct lock_manager_operations const *fl_lmops ;
1589 union __anonunion_fl_u_154 fl_u ;
1590};
1591#line 1378 "include/linux/fs.h"
1592struct fasync_struct {
1593 spinlock_t fa_lock ;
1594 int magic ;
1595 int fa_fd ;
1596 struct fasync_struct *fa_next ;
1597 struct file *fa_file ;
1598 struct rcu_head fa_rcu ;
1599};
1600#line 1418
1601struct file_system_type;
1602#line 1418
1603struct super_operations;
1604#line 1418
1605struct xattr_handler;
1606#line 1418
1607struct mtd_info;
1608#line 1418 "include/linux/fs.h"
1609struct super_block {
1610 struct list_head s_list ;
1611 dev_t s_dev ;
1612 unsigned char s_dirt ;
1613 unsigned char s_blocksize_bits ;
1614 unsigned long s_blocksize ;
1615 loff_t s_maxbytes ;
1616 struct file_system_type *s_type ;
1617 struct super_operations const *s_op ;
1618 struct dquot_operations const *dq_op ;
1619 struct quotactl_ops const *s_qcop ;
1620 struct export_operations const *s_export_op ;
1621 unsigned long s_flags ;
1622 unsigned long s_magic ;
1623 struct dentry *s_root ;
1624 struct rw_semaphore s_umount ;
1625 struct mutex s_lock ;
1626 int s_count ;
1627 atomic_t s_active ;
1628 void *s_security ;
1629 struct xattr_handler const **s_xattr ;
1630 struct list_head s_inodes ;
1631 struct hlist_bl_head s_anon ;
1632 struct list_head *s_files ;
1633 struct list_head s_mounts ;
1634 struct list_head s_dentry_lru ;
1635 int s_nr_dentry_unused ;
1636 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
1637 struct list_head s_inode_lru ;
1638 int s_nr_inodes_unused ;
1639 struct block_device *s_bdev ;
1640 struct backing_dev_info *s_bdi ;
1641 struct mtd_info *s_mtd ;
1642 struct hlist_node s_instances ;
1643 struct quota_info s_dquot ;
1644 int s_frozen ;
1645 wait_queue_head_t s_wait_unfrozen ;
1646 char s_id[32] ;
1647 u8 s_uuid[16] ;
1648 void *s_fs_info ;
1649 unsigned int s_max_links ;
1650 fmode_t s_mode ;
1651 u32 s_time_gran ;
1652 struct mutex s_vfs_rename_mutex ;
1653 char *s_subtype ;
1654 char *s_options ;
1655 struct dentry_operations const *s_d_op ;
1656 int cleancache_poolid ;
1657 struct shrinker s_shrink ;
1658 atomic_long_t s_remove_count ;
1659 int s_readonly_remount ;
1660};
1661#line 1567 "include/linux/fs.h"
1662struct fiemap_extent_info {
1663 unsigned int fi_flags ;
1664 unsigned int fi_extents_mapped ;
1665 unsigned int fi_extents_max ;
1666 struct fiemap_extent *fi_extents_start ;
1667};
1668#line 1609 "include/linux/fs.h"
1669struct file_operations {
1670 struct module *owner ;
1671 loff_t (*llseek)(struct file * , loff_t , int ) ;
1672 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
1673 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
1674 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
1675 loff_t ) ;
1676 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
1677 loff_t ) ;
1678 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
1679 loff_t , u64 , unsigned int ) ) ;
1680 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
1681 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
1682 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
1683 int (*mmap)(struct file * , struct vm_area_struct * ) ;
1684 int (*open)(struct inode * , struct file * ) ;
1685 int (*flush)(struct file * , fl_owner_t id ) ;
1686 int (*release)(struct inode * , struct file * ) ;
1687 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
1688 int (*aio_fsync)(struct kiocb * , int datasync ) ;
1689 int (*fasync)(int , struct file * , int ) ;
1690 int (*lock)(struct file * , int , struct file_lock * ) ;
1691 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
1692 int ) ;
1693 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1694 unsigned long , unsigned long ) ;
1695 int (*check_flags)(int ) ;
1696 int (*flock)(struct file * , int , struct file_lock * ) ;
1697 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
1698 unsigned int ) ;
1699 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
1700 unsigned int ) ;
1701 int (*setlease)(struct file * , long , struct file_lock ** ) ;
1702 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
1703};
1704#line 1639 "include/linux/fs.h"
1705struct inode_operations {
1706 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
1707 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
1708 int (*permission)(struct inode * , int ) ;
1709 struct posix_acl *(*get_acl)(struct inode * , int ) ;
1710 int (*readlink)(struct dentry * , char * , int ) ;
1711 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
1712 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
1713 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
1714 int (*unlink)(struct inode * , struct dentry * ) ;
1715 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
1716 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
1717 int (*rmdir)(struct inode * , struct dentry * ) ;
1718 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
1719 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
1720 void (*truncate)(struct inode * ) ;
1721 int (*setattr)(struct dentry * , struct iattr * ) ;
1722 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
1723 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
1724 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
1725 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
1726 int (*removexattr)(struct dentry * , char const * ) ;
1727 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
1728 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
1729} __attribute__((__aligned__((1) << (6) ))) ;
1730#line 1669
1731struct seq_file;
1732#line 1684 "include/linux/fs.h"
1733struct super_operations {
1734 struct inode *(*alloc_inode)(struct super_block *sb ) ;
1735 void (*destroy_inode)(struct inode * ) ;
1736 void (*dirty_inode)(struct inode * , int flags ) ;
1737 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
1738 int (*drop_inode)(struct inode * ) ;
1739 void (*evict_inode)(struct inode * ) ;
1740 void (*put_super)(struct super_block * ) ;
1741 void (*write_super)(struct super_block * ) ;
1742 int (*sync_fs)(struct super_block *sb , int wait ) ;
1743 int (*freeze_fs)(struct super_block * ) ;
1744 int (*unfreeze_fs)(struct super_block * ) ;
1745 int (*statfs)(struct dentry * , struct kstatfs * ) ;
1746 int (*remount_fs)(struct super_block * , int * , char * ) ;
1747 void (*umount_begin)(struct super_block * ) ;
1748 int (*show_options)(struct seq_file * , struct dentry * ) ;
1749 int (*show_devname)(struct seq_file * , struct dentry * ) ;
1750 int (*show_path)(struct seq_file * , struct dentry * ) ;
1751 int (*show_stats)(struct seq_file * , struct dentry * ) ;
1752 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
1753 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
1754 loff_t ) ;
1755 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
1756 int (*nr_cached_objects)(struct super_block * ) ;
1757 void (*free_cached_objects)(struct super_block * , int ) ;
1758};
1759#line 1835 "include/linux/fs.h"
1760struct file_system_type {
1761 char const *name ;
1762 int fs_flags ;
1763 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
1764 void (*kill_sb)(struct super_block * ) ;
1765 struct module *owner ;
1766 struct file_system_type *next ;
1767 struct hlist_head fs_supers ;
1768 struct lock_class_key s_lock_key ;
1769 struct lock_class_key s_umount_key ;
1770 struct lock_class_key s_vfs_rename_key ;
1771 struct lock_class_key i_lock_key ;
1772 struct lock_class_key i_mutex_key ;
1773 struct lock_class_key i_mutex_dir_key ;
1774};
1775#line 1250 "include/linux/input.h"
1776struct ff_device;
1777#line 1250
1778struct input_mt_slot;
1779#line 1250
1780struct input_handle;
1781#line 1250 "include/linux/input.h"
1782struct input_dev {
1783 char const *name ;
1784 char const *phys ;
1785 char const *uniq ;
1786 struct input_id id ;
1787 unsigned long propbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1788 unsigned long evbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1789 unsigned long keybit[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1790 unsigned long relbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1791 unsigned long absbit[((64UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1792 unsigned long mscbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1793 unsigned long ledbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1794 unsigned long sndbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1795 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1796 unsigned long swbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1797 unsigned int hint_events_per_packet ;
1798 unsigned int keycodemax ;
1799 unsigned int keycodesize ;
1800 void *keycode ;
1801 int (*setkeycode)(struct input_dev *dev , struct input_keymap_entry const *ke ,
1802 unsigned int *old_keycode ) ;
1803 int (*getkeycode)(struct input_dev *dev , struct input_keymap_entry *ke ) ;
1804 struct ff_device *ff ;
1805 unsigned int repeat_key ;
1806 struct timer_list timer ;
1807 int rep[2] ;
1808 struct input_mt_slot *mt ;
1809 int mtsize ;
1810 int slot ;
1811 int trkid ;
1812 struct input_absinfo *absinfo ;
1813 unsigned long key[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1814 unsigned long led[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1815 unsigned long snd[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1816 unsigned long sw[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1817 int (*open)(struct input_dev *dev ) ;
1818 void (*close)(struct input_dev *dev ) ;
1819 int (*flush)(struct input_dev *dev , struct file *file ) ;
1820 int (*event)(struct input_dev *dev , unsigned int type , unsigned int code , int value ) ;
1821 struct input_handle *grab ;
1822 spinlock_t event_lock ;
1823 struct mutex mutex ;
1824 unsigned int users ;
1825 bool going_away ;
1826 bool sync ;
1827 struct device dev ;
1828 struct list_head h_list ;
1829 struct list_head node ;
1830};
1831#line 1370
1832struct input_handle;
1833#line 1409 "include/linux/input.h"
1834struct input_handler {
1835 void *private ;
1836 void (*event)(struct input_handle *handle , unsigned int type , unsigned int code ,
1837 int value ) ;
1838 bool (*filter)(struct input_handle *handle , unsigned int type , unsigned int code ,
1839 int value ) ;
1840 bool (*match)(struct input_handler *handler , struct input_dev *dev ) ;
1841 int (*connect)(struct input_handler *handler , struct input_dev *dev , struct input_device_id const *id ) ;
1842 void (*disconnect)(struct input_handle *handle ) ;
1843 void (*start)(struct input_handle *handle ) ;
1844 struct file_operations const *fops ;
1845 int minor ;
1846 char const *name ;
1847 struct input_device_id const *id_table ;
1848 struct list_head h_list ;
1849 struct list_head node ;
1850};
1851#line 1442 "include/linux/input.h"
1852struct input_handle {
1853 void *private ;
1854 int open ;
1855 char const *name ;
1856 struct input_dev *dev ;
1857 struct input_handler *handler ;
1858 struct list_head d_node ;
1859 struct list_head h_node ;
1860};
1861#line 1619 "include/linux/input.h"
1862struct ff_device {
1863 int (*upload)(struct input_dev *dev , struct ff_effect *effect , struct ff_effect *old ) ;
1864 int (*erase)(struct input_dev *dev , int effect_id ) ;
1865 int (*playback)(struct input_dev *dev , int effect_id , int value ) ;
1866 void (*set_gain)(struct input_dev *dev , u16 gain ) ;
1867 void (*set_autocenter)(struct input_dev *dev , u16 magnitude ) ;
1868 void (*destroy)(struct ff_device * ) ;
1869 void *private ;
1870 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1871 struct mutex mutex ;
1872 int max_effects ;
1873 struct ff_effect *effects ;
1874 struct file *effect_owners[] ;
1875};
1876#line 20 "include/linux/leds.h"
1877struct device;
1878#line 19 "include/linux/power_supply.h"
1879struct device;
1880#line 367 "include/linux/hid.h"
1881struct hid_collection {
1882 unsigned int type ;
1883 unsigned int usage ;
1884 unsigned int level ;
1885};
1886#line 373 "include/linux/hid.h"
1887struct hid_usage {
1888 unsigned int hid ;
1889 unsigned int collection_index ;
1890 __u16 code ;
1891 __u8 type ;
1892 __s8 hat_min ;
1893 __s8 hat_max ;
1894 __s8 hat_dir ;
1895};
1896#line 384
1897struct hid_input;
1898#line 384
1899struct hid_input;
1900#line 386
1901struct hid_report;
1902#line 386 "include/linux/hid.h"
1903struct hid_field {
1904 unsigned int physical ;
1905 unsigned int logical ;
1906 unsigned int application ;
1907 struct hid_usage *usage ;
1908 unsigned int maxusage ;
1909 unsigned int flags ;
1910 unsigned int report_offset ;
1911 unsigned int report_size ;
1912 unsigned int report_count ;
1913 unsigned int report_type ;
1914 __s32 *value ;
1915 __s32 logical_minimum ;
1916 __s32 logical_maximum ;
1917 __s32 physical_minimum ;
1918 __s32 physical_maximum ;
1919 __s32 unit_exponent ;
1920 unsigned int unit ;
1921 struct hid_report *report ;
1922 unsigned int index ;
1923 struct hid_input *hidinput ;
1924 __u16 dpad ;
1925};
1926#line 413
1927struct hid_device;
1928#line 413 "include/linux/hid.h"
1929struct hid_report {
1930 struct list_head list ;
1931 unsigned int id ;
1932 unsigned int type ;
1933 struct hid_field *field[128] ;
1934 unsigned int maxfield ;
1935 unsigned int size ;
1936 struct hid_device *device ;
1937};
1938#line 423 "include/linux/hid.h"
1939struct hid_report_enum {
1940 unsigned int numbered ;
1941 struct list_head report_list ;
1942 struct hid_report *report_id_hash[256] ;
1943};
1944#line 454 "include/linux/hid.h"
1945struct hid_input {
1946 struct list_head list ;
1947 struct hid_report *report ;
1948 struct input_dev *input ;
1949};
1950#line 460
1951enum hid_type {
1952 HID_TYPE_OTHER = 0,
1953 HID_TYPE_USBMOUSE = 1,
1954 HID_TYPE_USBNONE = 2
1955} ;
1956#line 466
1957struct hid_driver;
1958#line 466
1959struct hid_driver;
1960#line 467
1961struct hid_ll_driver;
1962#line 467
1963struct hid_ll_driver;
1964#line 469 "include/linux/hid.h"
1965struct hid_device {
1966 __u8 *rdesc ;
1967 unsigned int rsize ;
1968 struct hid_collection *collection ;
1969 unsigned int collection_size ;
1970 unsigned int maxcollection ;
1971 unsigned int maxapplication ;
1972 __u16 bus ;
1973 __u32 vendor ;
1974 __u32 product ;
1975 __u32 version ;
1976 enum hid_type type ;
1977 unsigned int country ;
1978 struct hid_report_enum report_enum[3] ;
1979 struct semaphore driver_lock ;
1980 struct device dev ;
1981 struct hid_driver *driver ;
1982 struct hid_ll_driver *ll_driver ;
1983 unsigned int status ;
1984 unsigned int claimed ;
1985 unsigned int quirks ;
1986 struct list_head inputs ;
1987 void *hiddev ;
1988 void *hidraw ;
1989 int minor ;
1990 int open ;
1991 char name[128] ;
1992 char phys[64] ;
1993 char uniq[64] ;
1994 void *driver_data ;
1995 int (*ff_init)(struct hid_device * ) ;
1996 int (*hiddev_connect)(struct hid_device * , unsigned int ) ;
1997 void (*hiddev_disconnect)(struct hid_device * ) ;
1998 void (*hiddev_hid_event)(struct hid_device * , struct hid_field *field , struct hid_usage * ,
1999 __s32 ) ;
2000 void (*hiddev_report_event)(struct hid_device * , struct hid_report * ) ;
2001 int (*hid_get_raw_report)(struct hid_device * , unsigned char , __u8 * , size_t ,
2002 unsigned char ) ;
2003 int (*hid_output_raw_report)(struct hid_device * , __u8 * , size_t , unsigned char ) ;
2004 unsigned short debug ;
2005 struct dentry *debug_dir ;
2006 struct dentry *debug_rdesc ;
2007 struct dentry *debug_events ;
2008 struct list_head debug_list ;
2009 wait_queue_head_t debug_wait ;
2010};
2011#line 595 "include/linux/hid.h"
2012struct hid_report_id {
2013 __u32 report_type ;
2014};
2015#line 598 "include/linux/hid.h"
2016struct hid_usage_id {
2017 __u32 usage_hid ;
2018 __u32 usage_type ;
2019 __u32 usage_code ;
2020};
2021#line 638 "include/linux/hid.h"
2022struct hid_driver {
2023 char *name ;
2024 struct hid_device_id const *id_table ;
2025 struct list_head dyn_list ;
2026 spinlock_t dyn_lock ;
2027 int (*probe)(struct hid_device *dev , struct hid_device_id const *id ) ;
2028 void (*remove)(struct hid_device *dev ) ;
2029 struct hid_report_id const *report_table ;
2030 int (*raw_event)(struct hid_device *hdev , struct hid_report *report , u8 *data ,
2031 int size ) ;
2032 struct hid_usage_id const *usage_table ;
2033 int (*event)(struct hid_device *hdev , struct hid_field *field , struct hid_usage *usage ,
2034 __s32 value ) ;
2035 __u8 *(*report_fixup)(struct hid_device *hdev , __u8 *buf , unsigned int *size ) ;
2036 int (*input_mapping)(struct hid_device *hdev , struct hid_input *hidinput , struct hid_field *field ,
2037 struct hid_usage *usage , unsigned long **bit , int *max ) ;
2038 int (*input_mapped)(struct hid_device *hdev , struct hid_input *hidinput , struct hid_field *field ,
2039 struct hid_usage *usage , unsigned long **bit , int *max ) ;
2040 void (*feature_mapping)(struct hid_device *hdev , struct hid_field *field , struct hid_usage *usage ) ;
2041 int (*suspend)(struct hid_device *hdev , pm_message_t message ) ;
2042 int (*resume)(struct hid_device *hdev ) ;
2043 int (*reset_resume)(struct hid_device *hdev ) ;
2044 struct device_driver driver ;
2045};
2046#line 686 "include/linux/hid.h"
2047struct hid_ll_driver {
2048 int (*start)(struct hid_device *hdev ) ;
2049 void (*stop)(struct hid_device *hdev ) ;
2050 int (*open)(struct hid_device *hdev ) ;
2051 void (*close)(struct hid_device *hdev ) ;
2052 int (*power)(struct hid_device *hdev , int level ) ;
2053 int (*hidinput_input_event)(struct input_dev *idev , unsigned int type , unsigned int code ,
2054 int value ) ;
2055 int (*parse)(struct hid_device *hdev ) ;
2056};
2057#line 29 "include/linux/sysctl.h"
2058struct completion;
2059#line 48 "include/linux/kmod.h"
2060struct cred;
2061#line 49
2062struct file;
2063#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
2064struct task_struct;
2065#line 18 "include/linux/elf.h"
2066typedef __u64 Elf64_Addr;
2067#line 19 "include/linux/elf.h"
2068typedef __u16 Elf64_Half;
2069#line 23 "include/linux/elf.h"
2070typedef __u32 Elf64_Word;
2071#line 24 "include/linux/elf.h"
2072typedef __u64 Elf64_Xword;
2073#line 194 "include/linux/elf.h"
2074struct elf64_sym {
2075 Elf64_Word st_name ;
2076 unsigned char st_info ;
2077 unsigned char st_other ;
2078 Elf64_Half st_shndx ;
2079 Elf64_Addr st_value ;
2080 Elf64_Xword st_size ;
2081};
2082#line 194 "include/linux/elf.h"
2083typedef struct elf64_sym Elf64_Sym;
2084#line 438
2085struct file;
2086#line 39 "include/linux/moduleparam.h"
2087struct kernel_param;
2088#line 39
2089struct kernel_param;
2090#line 41 "include/linux/moduleparam.h"
2091struct kernel_param_ops {
2092 int (*set)(char const *val , struct kernel_param const *kp ) ;
2093 int (*get)(char *buffer , struct kernel_param const *kp ) ;
2094 void (*free)(void *arg ) ;
2095};
2096#line 50
2097struct kparam_string;
2098#line 50
2099struct kparam_array;
2100#line 50 "include/linux/moduleparam.h"
2101union __anonunion____missing_field_name_225 {
2102 void *arg ;
2103 struct kparam_string const *str ;
2104 struct kparam_array const *arr ;
2105};
2106#line 50 "include/linux/moduleparam.h"
2107struct kernel_param {
2108 char const *name ;
2109 struct kernel_param_ops const *ops ;
2110 u16 perm ;
2111 s16 level ;
2112 union __anonunion____missing_field_name_225 __annonCompField35 ;
2113};
2114#line 63 "include/linux/moduleparam.h"
2115struct kparam_string {
2116 unsigned int maxlen ;
2117 char *string ;
2118};
2119#line 69 "include/linux/moduleparam.h"
2120struct kparam_array {
2121 unsigned int max ;
2122 unsigned int elemsize ;
2123 unsigned int *num ;
2124 struct kernel_param_ops const *ops ;
2125 void *elem ;
2126};
2127#line 445
2128struct module;
2129#line 80 "include/linux/jump_label.h"
2130struct module;
2131#line 143 "include/linux/jump_label.h"
2132struct static_key {
2133 atomic_t enabled ;
2134};
2135#line 22 "include/linux/tracepoint.h"
2136struct module;
2137#line 23
2138struct tracepoint;
2139#line 23
2140struct tracepoint;
2141#line 25 "include/linux/tracepoint.h"
2142struct tracepoint_func {
2143 void *func ;
2144 void *data ;
2145};
2146#line 30 "include/linux/tracepoint.h"
2147struct tracepoint {
2148 char const *name ;
2149 struct static_key key ;
2150 void (*regfunc)(void) ;
2151 void (*unregfunc)(void) ;
2152 struct tracepoint_func *funcs ;
2153};
2154#line 19 "include/linux/export.h"
2155struct kernel_symbol {
2156 unsigned long value ;
2157 char const *name ;
2158};
2159#line 8 "include/asm-generic/module.h"
2160struct mod_arch_specific {
2161
2162};
2163#line 35 "include/linux/module.h"
2164struct module;
2165#line 37
2166struct module_param_attrs;
2167#line 37 "include/linux/module.h"
2168struct module_kobject {
2169 struct kobject kobj ;
2170 struct module *mod ;
2171 struct kobject *drivers_dir ;
2172 struct module_param_attrs *mp ;
2173};
2174#line 44 "include/linux/module.h"
2175struct module_attribute {
2176 struct attribute attr ;
2177 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
2178 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
2179 size_t count ) ;
2180 void (*setup)(struct module * , char const * ) ;
2181 int (*test)(struct module * ) ;
2182 void (*free)(struct module * ) ;
2183};
2184#line 71
2185struct exception_table_entry;
2186#line 71
2187struct exception_table_entry;
2188#line 199
2189enum module_state {
2190 MODULE_STATE_LIVE = 0,
2191 MODULE_STATE_COMING = 1,
2192 MODULE_STATE_GOING = 2
2193} ;
2194#line 215 "include/linux/module.h"
2195struct module_ref {
2196 unsigned long incs ;
2197 unsigned long decs ;
2198} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
2199#line 220
2200struct module_sect_attrs;
2201#line 220
2202struct module_notes_attrs;
2203#line 220
2204struct ftrace_event_call;
2205#line 220 "include/linux/module.h"
2206struct module {
2207 enum module_state state ;
2208 struct list_head list ;
2209 char name[64UL - sizeof(unsigned long )] ;
2210 struct module_kobject mkobj ;
2211 struct module_attribute *modinfo_attrs ;
2212 char const *version ;
2213 char const *srcversion ;
2214 struct kobject *holders_dir ;
2215 struct kernel_symbol const *syms ;
2216 unsigned long const *crcs ;
2217 unsigned int num_syms ;
2218 struct kernel_param *kp ;
2219 unsigned int num_kp ;
2220 unsigned int num_gpl_syms ;
2221 struct kernel_symbol const *gpl_syms ;
2222 unsigned long const *gpl_crcs ;
2223 struct kernel_symbol const *unused_syms ;
2224 unsigned long const *unused_crcs ;
2225 unsigned int num_unused_syms ;
2226 unsigned int num_unused_gpl_syms ;
2227 struct kernel_symbol const *unused_gpl_syms ;
2228 unsigned long const *unused_gpl_crcs ;
2229 struct kernel_symbol const *gpl_future_syms ;
2230 unsigned long const *gpl_future_crcs ;
2231 unsigned int num_gpl_future_syms ;
2232 unsigned int num_exentries ;
2233 struct exception_table_entry *extable ;
2234 int (*init)(void) ;
2235 void *module_init ;
2236 void *module_core ;
2237 unsigned int init_size ;
2238 unsigned int core_size ;
2239 unsigned int init_text_size ;
2240 unsigned int core_text_size ;
2241 unsigned int init_ro_size ;
2242 unsigned int core_ro_size ;
2243 struct mod_arch_specific arch ;
2244 unsigned int taints ;
2245 unsigned int num_bugs ;
2246 struct list_head bug_list ;
2247 struct bug_entry *bug_table ;
2248 Elf64_Sym *symtab ;
2249 Elf64_Sym *core_symtab ;
2250 unsigned int num_symtab ;
2251 unsigned int core_num_syms ;
2252 char *strtab ;
2253 char *core_strtab ;
2254 struct module_sect_attrs *sect_attrs ;
2255 struct module_notes_attrs *notes_attrs ;
2256 char *args ;
2257 void *percpu ;
2258 unsigned int percpu_size ;
2259 unsigned int num_tracepoints ;
2260 struct tracepoint * const *tracepoints_ptrs ;
2261 unsigned int num_trace_bprintk_fmt ;
2262 char const **trace_bprintk_fmt_start ;
2263 struct ftrace_event_call **trace_events ;
2264 unsigned int num_trace_events ;
2265 struct list_head source_list ;
2266 struct list_head target_list ;
2267 struct task_struct *waiter ;
2268 void (*exit)(void) ;
2269 struct module_ref *refptr ;
2270 ctor_fn_t *ctors ;
2271 unsigned int num_ctors ;
2272};
2273#line 1 "<compiler builtins>"
2274long __builtin_expect(long val , long res ) ;
2275#line 97 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/bitops.h"
2276__inline static void ( __attribute__((__always_inline__)) clear_bit)(int nr , unsigned long volatile *addr ) __attribute__((__no_instrument_function__)) ;
2277#line 97 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/bitops.h"
2278__inline static void ( __attribute__((__always_inline__)) clear_bit)(int nr , unsigned long volatile *addr )
2279{ long volatile *__cil_tmp3 ;
2280
2281 {
2282#line 105
2283 __cil_tmp3 = (long volatile *)addr;
2284#line 105
2285 __asm__ volatile (".section .smp_locks,\"a\"\n"
2286 ".balign 4\n"
2287 ".long 671f - .\n"
2288 ".previous\n"
2289 "671:"
2290 "\n\tlock; "
2291 "btr %1,%0": "+m" (*__cil_tmp3): "Ir" (nr));
2292#line 109
2293 return;
2294}
2295}
2296#line 152 "include/linux/mutex.h"
2297void mutex_lock(struct mutex *lock ) ;
2298#line 153
2299int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2300#line 154
2301int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2302#line 168
2303int mutex_trylock(struct mutex *lock ) ;
2304#line 169
2305void mutex_unlock(struct mutex *lock ) ;
2306#line 170
2307int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2308#line 897 "include/linux/device.h"
2309extern int ( _dev_info)(struct device const *dev , char const *fmt
2310 , ...) ;
2311#line 715 "include/linux/hid.h"
2312extern int __attribute__((__warn_unused_result__)) __hid_register_driver(struct hid_driver * ,
2313 struct module * ,
2314 char const *mod_name ) ;
2315#line 722
2316extern void hid_unregister_driver(struct hid_driver * ) ;
2317#line 754
2318__inline static void hid_map_usage(struct hid_input *hidinput , struct hid_usage *usage ,
2319 unsigned long **bit , int *max , __u8 type , __u16 c ) __attribute__((__no_instrument_function__)) ;
2320#line 754 "include/linux/hid.h"
2321__inline static void hid_map_usage(struct hid_input *hidinput , struct hid_usage *usage ,
2322 unsigned long **bit , int *max , __u8 type , __u16 c )
2323{ struct input_dev *input ;
2324 unsigned long __cil_tmp8 ;
2325 unsigned long __cil_tmp9 ;
2326 unsigned long __cil_tmp10 ;
2327 unsigned long __cil_tmp11 ;
2328 unsigned long __cil_tmp12 ;
2329 unsigned long __cil_tmp13 ;
2330 unsigned long __cil_tmp14 ;
2331 unsigned long __cil_tmp15 ;
2332 unsigned long __cil_tmp16 ;
2333 unsigned long __cil_tmp17 ;
2334 unsigned long __cil_tmp18 ;
2335 unsigned long __cil_tmp19 ;
2336 unsigned long __cil_tmp20 ;
2337 unsigned long __cil_tmp21 ;
2338 unsigned long __cil_tmp22 ;
2339 unsigned long __cil_tmp23 ;
2340 unsigned long __cil_tmp24 ;
2341 unsigned long __cil_tmp25 ;
2342 unsigned long __cil_tmp26 ;
2343 unsigned long __cil_tmp27 ;
2344 unsigned long __cil_tmp28 ;
2345 unsigned long __cil_tmp29 ;
2346
2347 {
2348#line 758
2349 __cil_tmp8 = (unsigned long )hidinput;
2350#line 758
2351 __cil_tmp9 = __cil_tmp8 + 24;
2352#line 758
2353 input = *((struct input_dev **)__cil_tmp9);
2354#line 760
2355 __cil_tmp10 = (unsigned long )usage;
2356#line 760
2357 __cil_tmp11 = __cil_tmp10 + 10;
2358#line 760
2359 *((__u8 *)__cil_tmp11) = type;
2360#line 761
2361 __cil_tmp12 = (unsigned long )usage;
2362#line 761
2363 __cil_tmp13 = __cil_tmp12 + 8;
2364#line 761
2365 *((__u16 *)__cil_tmp13) = c;
2366#line 764
2367 if ((int )type == 3) {
2368#line 764
2369 goto case_3;
2370 } else
2371#line 768
2372 if ((int )type == 2) {
2373#line 768
2374 goto case_2;
2375 } else
2376#line 772
2377 if ((int )type == 1) {
2378#line 772
2379 goto case_1;
2380 } else
2381#line 776
2382 if ((int )type == 17) {
2383#line 776
2384 goto case_17;
2385 } else
2386#line 763
2387 if (0) {
2388 case_3:
2389#line 765
2390 __cil_tmp14 = 0 * 8UL;
2391#line 765
2392 __cil_tmp15 = 152 + __cil_tmp14;
2393#line 765
2394 __cil_tmp16 = (unsigned long )input;
2395#line 765
2396 __cil_tmp17 = __cil_tmp16 + __cil_tmp15;
2397#line 765
2398 *bit = (unsigned long *)__cil_tmp17;
2399#line 766
2400 *max = 63;
2401#line 767
2402 goto switch_break;
2403 case_2:
2404#line 769
2405 __cil_tmp18 = 0 * 8UL;
2406#line 769
2407 __cil_tmp19 = 144 + __cil_tmp18;
2408#line 769
2409 __cil_tmp20 = (unsigned long )input;
2410#line 769
2411 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
2412#line 769
2413 *bit = (unsigned long *)__cil_tmp21;
2414#line 770
2415 *max = 15;
2416#line 771
2417 goto switch_break;
2418 case_1:
2419#line 773
2420 __cil_tmp22 = 0 * 8UL;
2421#line 773
2422 __cil_tmp23 = 48 + __cil_tmp22;
2423#line 773
2424 __cil_tmp24 = (unsigned long )input;
2425#line 773
2426 __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
2427#line 773
2428 *bit = (unsigned long *)__cil_tmp25;
2429#line 774
2430 *max = 767;
2431#line 775
2432 goto switch_break;
2433 case_17:
2434#line 777
2435 __cil_tmp26 = 0 * 8UL;
2436#line 777
2437 __cil_tmp27 = 168 + __cil_tmp26;
2438#line 777
2439 __cil_tmp28 = (unsigned long )input;
2440#line 777
2441 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
2442#line 777
2443 *bit = (unsigned long *)__cil_tmp29;
2444#line 778
2445 *max = 15;
2446#line 779
2447 goto switch_break;
2448 } else {
2449 switch_break: ;
2450 }
2451#line 781
2452 return;
2453}
2454}
2455#line 789
2456__inline static void hid_map_usage_clear(struct hid_input *hidinput , struct hid_usage *usage ,
2457 unsigned long **bit , int *max , __u8 type ,
2458 __u16 c ) __attribute__((__no_instrument_function__)) ;
2459#line 789 "include/linux/hid.h"
2460__inline static void hid_map_usage_clear(struct hid_input *hidinput , struct hid_usage *usage ,
2461 unsigned long **bit , int *max , __u8 type ,
2462 __u16 c )
2463{ int __cil_tmp7 ;
2464 unsigned long *__cil_tmp8 ;
2465 unsigned long volatile *__cil_tmp9 ;
2466
2467 {
2468 {
2469#line 793
2470 hid_map_usage(hidinput, usage, bit, max, type, c);
2471#line 794
2472 __cil_tmp7 = (int )c;
2473#line 794
2474 __cil_tmp8 = *bit;
2475#line 794
2476 __cil_tmp9 = (unsigned long volatile *)__cil_tmp8;
2477#line 794
2478 clear_bit(__cil_tmp7, __cil_tmp9);
2479 }
2480#line 795
2481 return;
2482}
2483}
2484#line 26 "include/linux/export.h"
2485extern struct module __this_module ;
2486#line 67 "include/linux/module.h"
2487int init_module(void) ;
2488#line 68
2489void cleanup_module(void) ;
2490#line 26 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2491static __u8 *sp_report_fixup(struct hid_device *hdev , __u8 *rdesc , unsigned int *rsize )
2492{ __u8 tmp ;
2493 __u8 tmp___0 ;
2494 unsigned int __cil_tmp6 ;
2495 __u8 *__cil_tmp7 ;
2496 __u8 __cil_tmp8 ;
2497 int __cil_tmp9 ;
2498 __u8 *__cil_tmp10 ;
2499 __u8 __cil_tmp11 ;
2500 int __cil_tmp12 ;
2501 __u8 *__cil_tmp13 ;
2502 __u8 __cil_tmp14 ;
2503 int __cil_tmp15 ;
2504 unsigned long __cil_tmp16 ;
2505 unsigned long __cil_tmp17 ;
2506 struct device *__cil_tmp18 ;
2507 struct device const *__cil_tmp19 ;
2508 __u8 *__cil_tmp20 ;
2509 __u8 *__cil_tmp21 ;
2510 __u8 *__cil_tmp22 ;
2511 __u8 *__cil_tmp23 ;
2512
2513 {
2514 {
2515#line 29
2516 __cil_tmp6 = *rsize;
2517#line 29
2518 if (__cil_tmp6 >= 107U) {
2519 {
2520#line 29
2521 __cil_tmp7 = rdesc + 104;
2522#line 29
2523 __cil_tmp8 = *__cil_tmp7;
2524#line 29
2525 __cil_tmp9 = (int )__cil_tmp8;
2526#line 29
2527 if (__cil_tmp9 == 38) {
2528 {
2529#line 29
2530 __cil_tmp10 = rdesc + 105;
2531#line 29
2532 __cil_tmp11 = *__cil_tmp10;
2533#line 29
2534 __cil_tmp12 = (int )__cil_tmp11;
2535#line 29
2536 if (__cil_tmp12 == 128) {
2537 {
2538#line 29
2539 __cil_tmp13 = rdesc + 106;
2540#line 29
2541 __cil_tmp14 = *__cil_tmp13;
2542#line 29
2543 __cil_tmp15 = (int )__cil_tmp14;
2544#line 29
2545 if (__cil_tmp15 == 3) {
2546 {
2547#line 31
2548 __cil_tmp16 = (unsigned long )hdev;
2549#line 31
2550 __cil_tmp17 = __cil_tmp16 + 6328;
2551#line 31
2552 __cil_tmp18 = (struct device *)__cil_tmp17;
2553#line 31
2554 __cil_tmp19 = (struct device const *)__cil_tmp18;
2555#line 31
2556 _dev_info(__cil_tmp19, "fixing up Sunplus Wireless Desktop report descriptor\n");
2557#line 32
2558 tmp = (__u8 )3;
2559#line 32
2560 __cil_tmp20 = rdesc + 110;
2561#line 32
2562 *__cil_tmp20 = tmp;
2563#line 32
2564 __cil_tmp21 = rdesc + 105;
2565#line 32
2566 *__cil_tmp21 = tmp;
2567#line 33
2568 tmp___0 = (__u8 )33;
2569#line 33
2570 __cil_tmp22 = rdesc + 111;
2571#line 33
2572 *__cil_tmp22 = tmp___0;
2573#line 33
2574 __cil_tmp23 = rdesc + 106;
2575#line 33
2576 *__cil_tmp23 = tmp___0;
2577 }
2578 } else {
2579
2580 }
2581 }
2582 } else {
2583
2584 }
2585 }
2586 } else {
2587
2588 }
2589 }
2590 } else {
2591
2592 }
2593 }
2594#line 35
2595 return (rdesc);
2596}
2597}
2598#line 40 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2599static int sp_input_mapping(struct hid_device *hdev , struct hid_input *hi , struct hid_field *field ,
2600 struct hid_usage *usage , unsigned long **bit , int *max )
2601{ unsigned int __cil_tmp7 ;
2602 unsigned int __cil_tmp8 ;
2603 unsigned int __cil_tmp9 ;
2604 unsigned int __cil_tmp10 ;
2605 __u8 __cil_tmp11 ;
2606 __u16 __cil_tmp12 ;
2607 __u8 __cil_tmp13 ;
2608 __u16 __cil_tmp14 ;
2609
2610 {
2611 {
2612#line 44
2613 __cil_tmp7 = *((unsigned int *)usage);
2614#line 44
2615 __cil_tmp8 = __cil_tmp7 & 4294901760U;
2616#line 44
2617 if (__cil_tmp8 != 786432U) {
2618#line 45
2619 return (0);
2620 } else {
2621
2622 }
2623 }
2624 {
2625#line 47
2626 __cil_tmp9 = *((unsigned int *)usage);
2627#line 47
2628 __cil_tmp10 = __cil_tmp9 & 65535U;
2629#line 48
2630 if ((int )__cil_tmp10 == 8195) {
2631#line 48
2632 goto case_8195;
2633 } else
2634#line 49
2635 if ((int )__cil_tmp10 == 8451) {
2636#line 49
2637 goto case_8451;
2638 } else {
2639 {
2640#line 50
2641 goto switch_default;
2642#line 47
2643 if (0) {
2644 case_8195:
2645 {
2646#line 48
2647 __cil_tmp11 = (__u8 )1;
2648#line 48
2649 __cil_tmp12 = (__u16 )418;
2650#line 48
2651 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp11, __cil_tmp12);
2652 }
2653#line 48
2654 goto switch_break;
2655 case_8451:
2656 {
2657#line 49
2658 __cil_tmp13 = (__u8 )1;
2659#line 49
2660 __cil_tmp14 = (__u16 )419;
2661#line 49
2662 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp13, __cil_tmp14);
2663 }
2664#line 49
2665 goto switch_break;
2666 switch_default:
2667#line 51
2668 return (0);
2669 } else {
2670 switch_break: ;
2671 }
2672 }
2673 }
2674 }
2675#line 53
2676 return (1);
2677}
2678}
2679#line 56 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2680static struct hid_device_id const sp_devices[1] = { {(__u16 )3, (unsigned short)0, (__u32 )1276, (__u32 )1496, 0UL}};
2681#line 60
2682extern struct hid_device_id const __mod_hid_device_table __attribute__((__unused__,
2683__alias__("sp_devices"))) ;
2684#line 62 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2685static struct hid_driver sp_driver =
2686#line 62
2687 {(char *)"sunplus", sp_devices, {(struct list_head *)0, (struct list_head *)0},
2688 {{{{{0U}}, 0U, 0U, (void *)0}}}, (int (*)(struct hid_device *dev , struct hid_device_id const *id ))0,
2689 (void (*)(struct hid_device *dev ))0, (struct hid_report_id const *)0, (int (*)(struct hid_device *hdev ,
2690 struct hid_report *report ,
2691 u8 *data ,
2692 int size ))0,
2693 (struct hid_usage_id const *)0, (int (*)(struct hid_device *hdev , struct hid_field *field ,
2694 struct hid_usage *usage , __s32 value ))0,
2695 & sp_report_fixup, & sp_input_mapping, (int (*)(struct hid_device *hdev , struct hid_input *hidinput ,
2696 struct hid_field *field , struct hid_usage *usage ,
2697 unsigned long **bit , int *max ))0,
2698 (void (*)(struct hid_device *hdev , struct hid_field *field , struct hid_usage *usage ))0,
2699 (int (*)(struct hid_device *hdev , pm_message_t message ))0, (int (*)(struct hid_device *hdev ))0,
2700 (int (*)(struct hid_device *hdev ))0, {(char const *)0, (struct bus_type *)0,
2701 (struct module *)0, (char const *)0,
2702 (_Bool)0, (struct of_device_id const *)0,
2703 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
2704 (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
2705 pm_message_t state ))0,
2706 (int (*)(struct device *dev ))0, (struct attribute_group const **)0,
2707 (struct dev_pm_ops const *)0, (struct driver_private *)0}};
2708#line 69
2709static int sp_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
2710#line 69 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2711static int sp_init(void)
2712{ int tmp ;
2713
2714 {
2715 {
2716#line 71
2717 tmp = (int )__hid_register_driver(& sp_driver, & __this_module, "hid_sunplus");
2718 }
2719#line 71
2720 return (tmp);
2721}
2722}
2723#line 74
2724static void sp_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
2725#line 74 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2726static void sp_exit(void)
2727{
2728
2729 {
2730 {
2731#line 76
2732 hid_unregister_driver(& sp_driver);
2733 }
2734#line 77
2735 return;
2736}
2737}
2738#line 79 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2739int init_module(void)
2740{ int tmp ;
2741
2742 {
2743 {
2744#line 79
2745 tmp = sp_init();
2746 }
2747#line 79
2748 return (tmp);
2749}
2750}
2751#line 80 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2752void cleanup_module(void)
2753{
2754
2755 {
2756 {
2757#line 80
2758 sp_exit();
2759 }
2760#line 80
2761 return;
2762}
2763}
2764#line 81 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2765static char const __mod_license81[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
2766__aligned__(1))) =
2767#line 81
2768 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
2769 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
2770 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
2771#line 99
2772void ldv_check_final_state(void) ;
2773#line 105
2774extern void ldv_initialize(void) ;
2775#line 108
2776extern int __VERIFIER_nondet_int(void) ;
2777#line 111 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2778int LDV_IN_INTERRUPT ;
2779#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
2780void main(void)
2781{ struct hid_device *var_group1 ;
2782 __u8 *var_sp_report_fixup_0_p1 ;
2783 unsigned int *var_sp_report_fixup_0_p2 ;
2784 struct hid_input *var_group2 ;
2785 struct hid_field *var_sp_input_mapping_1_p2 ;
2786 struct hid_usage *var_sp_input_mapping_1_p3 ;
2787 unsigned long **var_sp_input_mapping_1_p4 ;
2788 int *var_sp_input_mapping_1_p5 ;
2789 int tmp ;
2790 int tmp___0 ;
2791 int tmp___1 ;
2792
2793 {
2794 {
2795#line 152
2796 LDV_IN_INTERRUPT = 1;
2797#line 161
2798 ldv_initialize();
2799#line 170
2800 tmp = sp_init();
2801 }
2802#line 170
2803 if (tmp) {
2804#line 171
2805 goto ldv_final;
2806 } else {
2807
2808 }
2809 {
2810#line 175
2811 while (1) {
2812 while_continue: ;
2813 {
2814#line 175
2815 tmp___1 = __VERIFIER_nondet_int();
2816 }
2817#line 175
2818 if (tmp___1) {
2819
2820 } else {
2821#line 175
2822 goto while_break;
2823 }
2824 {
2825#line 178
2826 tmp___0 = __VERIFIER_nondet_int();
2827 }
2828#line 180
2829 if (tmp___0 == 0) {
2830#line 180
2831 goto case_0;
2832 } else
2833#line 200
2834 if (tmp___0 == 1) {
2835#line 200
2836 goto case_1;
2837 } else {
2838 {
2839#line 216
2840 goto switch_default;
2841#line 178
2842 if (0) {
2843 case_0:
2844 {
2845#line 188
2846 sp_report_fixup(var_group1, var_sp_report_fixup_0_p1, var_sp_report_fixup_0_p2);
2847 }
2848#line 199
2849 goto switch_break;
2850 case_1:
2851 {
2852#line 208
2853 sp_input_mapping(var_group1, var_group2, var_sp_input_mapping_1_p2, var_sp_input_mapping_1_p3,
2854 var_sp_input_mapping_1_p4, var_sp_input_mapping_1_p5);
2855 }
2856#line 215
2857 goto switch_break;
2858 switch_default:
2859#line 216
2860 goto switch_break;
2861 } else {
2862 switch_break: ;
2863 }
2864 }
2865 }
2866 }
2867 while_break: ;
2868 }
2869 {
2870#line 231
2871 sp_exit();
2872 }
2873 ldv_final:
2874 {
2875#line 234
2876 ldv_check_final_state();
2877 }
2878#line 237
2879 return;
2880}
2881}
2882#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
2883void ldv_blast_assert(void)
2884{
2885
2886 {
2887 ERROR:
2888#line 6
2889 goto ERROR;
2890}
2891}
2892#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
2893extern int __VERIFIER_nondet_int(void) ;
2894#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2895int ldv_mutex = 1;
2896#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2897int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
2898{ int nondetermined ;
2899
2900 {
2901#line 29
2902 if (ldv_mutex == 1) {
2903
2904 } else {
2905 {
2906#line 29
2907 ldv_blast_assert();
2908 }
2909 }
2910 {
2911#line 32
2912 nondetermined = __VERIFIER_nondet_int();
2913 }
2914#line 35
2915 if (nondetermined) {
2916#line 38
2917 ldv_mutex = 2;
2918#line 40
2919 return (0);
2920 } else {
2921#line 45
2922 return (-4);
2923 }
2924}
2925}
2926#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2927int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
2928{ int nondetermined ;
2929
2930 {
2931#line 57
2932 if (ldv_mutex == 1) {
2933
2934 } else {
2935 {
2936#line 57
2937 ldv_blast_assert();
2938 }
2939 }
2940 {
2941#line 60
2942 nondetermined = __VERIFIER_nondet_int();
2943 }
2944#line 63
2945 if (nondetermined) {
2946#line 66
2947 ldv_mutex = 2;
2948#line 68
2949 return (0);
2950 } else {
2951#line 73
2952 return (-4);
2953 }
2954}
2955}
2956#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2957int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
2958{ int atomic_value_after_dec ;
2959
2960 {
2961#line 83
2962 if (ldv_mutex == 1) {
2963
2964 } else {
2965 {
2966#line 83
2967 ldv_blast_assert();
2968 }
2969 }
2970 {
2971#line 86
2972 atomic_value_after_dec = __VERIFIER_nondet_int();
2973 }
2974#line 89
2975 if (atomic_value_after_dec == 0) {
2976#line 92
2977 ldv_mutex = 2;
2978#line 94
2979 return (1);
2980 } else {
2981
2982 }
2983#line 98
2984 return (0);
2985}
2986}
2987#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
2988void mutex_lock(struct mutex *lock )
2989{
2990
2991 {
2992#line 108
2993 if (ldv_mutex == 1) {
2994
2995 } else {
2996 {
2997#line 108
2998 ldv_blast_assert();
2999 }
3000 }
3001#line 110
3002 ldv_mutex = 2;
3003#line 111
3004 return;
3005}
3006}
3007#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3008int mutex_trylock(struct mutex *lock )
3009{ int nondetermined ;
3010
3011 {
3012#line 121
3013 if (ldv_mutex == 1) {
3014
3015 } else {
3016 {
3017#line 121
3018 ldv_blast_assert();
3019 }
3020 }
3021 {
3022#line 124
3023 nondetermined = __VERIFIER_nondet_int();
3024 }
3025#line 127
3026 if (nondetermined) {
3027#line 130
3028 ldv_mutex = 2;
3029#line 132
3030 return (1);
3031 } else {
3032#line 137
3033 return (0);
3034 }
3035}
3036}
3037#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3038void mutex_unlock(struct mutex *lock )
3039{
3040
3041 {
3042#line 147
3043 if (ldv_mutex == 2) {
3044
3045 } else {
3046 {
3047#line 147
3048 ldv_blast_assert();
3049 }
3050 }
3051#line 149
3052 ldv_mutex = 1;
3053#line 150
3054 return;
3055}
3056}
3057#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3058void ldv_check_final_state(void)
3059{
3060
3061 {
3062#line 156
3063 if (ldv_mutex == 1) {
3064
3065 } else {
3066 {
3067#line 156
3068 ldv_blast_assert();
3069 }
3070 }
3071#line 157
3072 return;
3073}
3074}
3075#line 246 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/229/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-sunplus.c.common.c"
3076long s__builtin_expect(long val , long res )
3077{
3078
3079 {
3080#line 247
3081 return (val);
3082}
3083}