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 43 "include/linux/input.h"
745struct input_id {
746 __u16 bustype ;
747 __u16 vendor ;
748 __u16 product ;
749 __u16 version ;
750};
751#line 69 "include/linux/input.h"
752struct input_absinfo {
753 __s32 value ;
754 __s32 minimum ;
755 __s32 maximum ;
756 __s32 fuzz ;
757 __s32 flat ;
758 __s32 resolution ;
759};
760#line 93 "include/linux/input.h"
761struct input_keymap_entry {
762 __u8 flags ;
763 __u8 len ;
764 __u16 index ;
765 __u32 keycode ;
766 __u8 scancode[32] ;
767};
768#line 957 "include/linux/input.h"
769struct ff_replay {
770 __u16 length ;
771 __u16 delay ;
772};
773#line 967 "include/linux/input.h"
774struct ff_trigger {
775 __u16 button ;
776 __u16 interval ;
777};
778#line 984 "include/linux/input.h"
779struct ff_envelope {
780 __u16 attack_length ;
781 __u16 attack_level ;
782 __u16 fade_length ;
783 __u16 fade_level ;
784};
785#line 996 "include/linux/input.h"
786struct ff_constant_effect {
787 __s16 level ;
788 struct ff_envelope envelope ;
789};
790#line 1007 "include/linux/input.h"
791struct ff_ramp_effect {
792 __s16 start_level ;
793 __s16 end_level ;
794 struct ff_envelope envelope ;
795};
796#line 1023 "include/linux/input.h"
797struct ff_condition_effect {
798 __u16 right_saturation ;
799 __u16 left_saturation ;
800 __s16 right_coeff ;
801 __s16 left_coeff ;
802 __u16 deadband ;
803 __s16 center ;
804};
805#line 1052 "include/linux/input.h"
806struct ff_periodic_effect {
807 __u16 waveform ;
808 __u16 period ;
809 __s16 magnitude ;
810 __s16 offset ;
811 __u16 phase ;
812 struct ff_envelope envelope ;
813 __u32 custom_len ;
814 __s16 *custom_data ;
815};
816#line 1073 "include/linux/input.h"
817struct ff_rumble_effect {
818 __u16 strong_magnitude ;
819 __u16 weak_magnitude ;
820};
821#line 1101 "include/linux/input.h"
822union __anonunion_u_44 {
823 struct ff_constant_effect constant ;
824 struct ff_ramp_effect ramp ;
825 struct ff_periodic_effect periodic ;
826 struct ff_condition_effect condition[2] ;
827 struct ff_rumble_effect rumble ;
828};
829#line 1101 "include/linux/input.h"
830struct ff_effect {
831 __u16 type ;
832 __s16 id ;
833 __u16 direction ;
834 struct ff_trigger trigger ;
835 struct ff_replay replay ;
836 union __anonunion_u_44 u ;
837};
838#line 15 "include/linux/blk_types.h"
839struct page;
840#line 16
841struct block_device;
842#line 16
843struct block_device;
844#line 33 "include/linux/list_bl.h"
845struct hlist_bl_node;
846#line 33 "include/linux/list_bl.h"
847struct hlist_bl_head {
848 struct hlist_bl_node *first ;
849};
850#line 37 "include/linux/list_bl.h"
851struct hlist_bl_node {
852 struct hlist_bl_node *next ;
853 struct hlist_bl_node **pprev ;
854};
855#line 13 "include/linux/dcache.h"
856struct nameidata;
857#line 13
858struct nameidata;
859#line 14
860struct path;
861#line 14
862struct path;
863#line 15
864struct vfsmount;
865#line 15
866struct vfsmount;
867#line 35 "include/linux/dcache.h"
868struct qstr {
869 unsigned int hash ;
870 unsigned int len ;
871 unsigned char const *name ;
872};
873#line 88
874struct inode;
875#line 88
876struct dentry_operations;
877#line 88
878struct super_block;
879#line 88 "include/linux/dcache.h"
880union __anonunion_d_u_45 {
881 struct list_head d_child ;
882 struct rcu_head d_rcu ;
883};
884#line 88 "include/linux/dcache.h"
885struct dentry {
886 unsigned int d_flags ;
887 seqcount_t d_seq ;
888 struct hlist_bl_node d_hash ;
889 struct dentry *d_parent ;
890 struct qstr d_name ;
891 struct inode *d_inode ;
892 unsigned char d_iname[32] ;
893 unsigned int d_count ;
894 spinlock_t d_lock ;
895 struct dentry_operations const *d_op ;
896 struct super_block *d_sb ;
897 unsigned long d_time ;
898 void *d_fsdata ;
899 struct list_head d_lru ;
900 union __anonunion_d_u_45 d_u ;
901 struct list_head d_subdirs ;
902 struct list_head d_alias ;
903};
904#line 131 "include/linux/dcache.h"
905struct dentry_operations {
906 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
907 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
908 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
909 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
910 int (*d_delete)(struct dentry const * ) ;
911 void (*d_release)(struct dentry * ) ;
912 void (*d_prune)(struct dentry * ) ;
913 void (*d_iput)(struct dentry * , struct inode * ) ;
914 char *(*d_dname)(struct dentry * , char * , int ) ;
915 struct vfsmount *(*d_automount)(struct path * ) ;
916 int (*d_manage)(struct dentry * , bool ) ;
917} __attribute__((__aligned__((1) << (6) ))) ;
918#line 4 "include/linux/path.h"
919struct dentry;
920#line 5
921struct vfsmount;
922#line 7 "include/linux/path.h"
923struct path {
924 struct vfsmount *mnt ;
925 struct dentry *dentry ;
926};
927#line 62 "include/linux/stat.h"
928struct kstat {
929 u64 ino ;
930 dev_t dev ;
931 umode_t mode ;
932 unsigned int nlink ;
933 uid_t uid ;
934 gid_t gid ;
935 dev_t rdev ;
936 loff_t size ;
937 struct timespec atime ;
938 struct timespec mtime ;
939 struct timespec ctime ;
940 unsigned long blksize ;
941 unsigned long long blocks ;
942};
943#line 64 "include/linux/radix-tree.h"
944struct radix_tree_node;
945#line 64 "include/linux/radix-tree.h"
946struct radix_tree_root {
947 unsigned int height ;
948 gfp_t gfp_mask ;
949 struct radix_tree_node *rnode ;
950};
951#line 14 "include/linux/prio_tree.h"
952struct prio_tree_node;
953#line 20 "include/linux/prio_tree.h"
954struct prio_tree_node {
955 struct prio_tree_node *left ;
956 struct prio_tree_node *right ;
957 struct prio_tree_node *parent ;
958 unsigned long start ;
959 unsigned long last ;
960};
961#line 28 "include/linux/prio_tree.h"
962struct prio_tree_root {
963 struct prio_tree_node *prio_tree_node ;
964 unsigned short index_bits ;
965 unsigned short raw ;
966};
967#line 6 "include/linux/pid.h"
968enum pid_type {
969 PIDTYPE_PID = 0,
970 PIDTYPE_PGID = 1,
971 PIDTYPE_SID = 2,
972 PIDTYPE_MAX = 3
973} ;
974#line 50
975struct pid_namespace;
976#line 50 "include/linux/pid.h"
977struct upid {
978 int nr ;
979 struct pid_namespace *ns ;
980 struct hlist_node pid_chain ;
981};
982#line 57 "include/linux/pid.h"
983struct pid {
984 atomic_t count ;
985 unsigned int level ;
986 struct hlist_head tasks[3] ;
987 struct rcu_head rcu ;
988 struct upid numbers[1] ;
989};
990#line 100
991struct pid_namespace;
992#line 18 "include/linux/capability.h"
993struct task_struct;
994#line 377
995struct dentry;
996#line 16 "include/linux/semaphore.h"
997struct semaphore {
998 raw_spinlock_t lock ;
999 unsigned int count ;
1000 struct list_head wait_list ;
1001};
1002#line 16 "include/linux/fiemap.h"
1003struct fiemap_extent {
1004 __u64 fe_logical ;
1005 __u64 fe_physical ;
1006 __u64 fe_length ;
1007 __u64 fe_reserved64[2] ;
1008 __u32 fe_flags ;
1009 __u32 fe_reserved[3] ;
1010};
1011#line 8 "include/linux/shrinker.h"
1012struct shrink_control {
1013 gfp_t gfp_mask ;
1014 unsigned long nr_to_scan ;
1015};
1016#line 31 "include/linux/shrinker.h"
1017struct shrinker {
1018 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1019 int seeks ;
1020 long batch ;
1021 struct list_head list ;
1022 atomic_long_t nr_in_batch ;
1023};
1024#line 10 "include/linux/migrate_mode.h"
1025enum migrate_mode {
1026 MIGRATE_ASYNC = 0,
1027 MIGRATE_SYNC_LIGHT = 1,
1028 MIGRATE_SYNC = 2
1029} ;
1030#line 408 "include/linux/fs.h"
1031struct export_operations;
1032#line 408
1033struct export_operations;
1034#line 410
1035struct iovec;
1036#line 410
1037struct iovec;
1038#line 411
1039struct nameidata;
1040#line 412
1041struct kiocb;
1042#line 412
1043struct kiocb;
1044#line 413
1045struct kobject;
1046#line 414
1047struct pipe_inode_info;
1048#line 414
1049struct pipe_inode_info;
1050#line 415
1051struct poll_table_struct;
1052#line 415
1053struct poll_table_struct;
1054#line 416
1055struct kstatfs;
1056#line 416
1057struct kstatfs;
1058#line 417
1059struct vm_area_struct;
1060#line 418
1061struct vfsmount;
1062#line 419
1063struct cred;
1064#line 419
1065struct cred;
1066#line 469 "include/linux/fs.h"
1067struct iattr {
1068 unsigned int ia_valid ;
1069 umode_t ia_mode ;
1070 uid_t ia_uid ;
1071 gid_t ia_gid ;
1072 loff_t ia_size ;
1073 struct timespec ia_atime ;
1074 struct timespec ia_mtime ;
1075 struct timespec ia_ctime ;
1076 struct file *ia_file ;
1077};
1078#line 129 "include/linux/quota.h"
1079struct if_dqinfo {
1080 __u64 dqi_bgrace ;
1081 __u64 dqi_igrace ;
1082 __u32 dqi_flags ;
1083 __u32 dqi_valid ;
1084};
1085#line 19 "include/linux/rwsem.h"
1086struct rw_semaphore;
1087#line 19
1088struct rw_semaphore;
1089#line 25 "include/linux/rwsem.h"
1090struct rw_semaphore {
1091 long count ;
1092 raw_spinlock_t wait_lock ;
1093 struct list_head wait_list ;
1094};
1095#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
1096struct device;
1097#line 8 "include/linux/vmalloc.h"
1098struct vm_area_struct;
1099#line 50 "include/linux/dqblk_xfs.h"
1100struct fs_disk_quota {
1101 __s8 d_version ;
1102 __s8 d_flags ;
1103 __u16 d_fieldmask ;
1104 __u32 d_id ;
1105 __u64 d_blk_hardlimit ;
1106 __u64 d_blk_softlimit ;
1107 __u64 d_ino_hardlimit ;
1108 __u64 d_ino_softlimit ;
1109 __u64 d_bcount ;
1110 __u64 d_icount ;
1111 __s32 d_itimer ;
1112 __s32 d_btimer ;
1113 __u16 d_iwarns ;
1114 __u16 d_bwarns ;
1115 __s32 d_padding2 ;
1116 __u64 d_rtb_hardlimit ;
1117 __u64 d_rtb_softlimit ;
1118 __u64 d_rtbcount ;
1119 __s32 d_rtbtimer ;
1120 __u16 d_rtbwarns ;
1121 __s16 d_padding3 ;
1122 char d_padding4[8] ;
1123};
1124#line 146 "include/linux/dqblk_xfs.h"
1125struct fs_qfilestat {
1126 __u64 qfs_ino ;
1127 __u64 qfs_nblks ;
1128 __u32 qfs_nextents ;
1129};
1130#line 146 "include/linux/dqblk_xfs.h"
1131typedef struct fs_qfilestat fs_qfilestat_t;
1132#line 152 "include/linux/dqblk_xfs.h"
1133struct fs_quota_stat {
1134 __s8 qs_version ;
1135 __u16 qs_flags ;
1136 __s8 qs_pad ;
1137 fs_qfilestat_t qs_uquota ;
1138 fs_qfilestat_t qs_gquota ;
1139 __u32 qs_incoredqs ;
1140 __s32 qs_btimelimit ;
1141 __s32 qs_itimelimit ;
1142 __s32 qs_rtbtimelimit ;
1143 __u16 qs_bwarnlimit ;
1144 __u16 qs_iwarnlimit ;
1145};
1146#line 17 "include/linux/dqblk_qtree.h"
1147struct dquot;
1148#line 17
1149struct dquot;
1150#line 185 "include/linux/quota.h"
1151typedef __kernel_uid32_t qid_t;
1152#line 186 "include/linux/quota.h"
1153typedef long long qsize_t;
1154#line 200 "include/linux/quota.h"
1155struct mem_dqblk {
1156 qsize_t dqb_bhardlimit ;
1157 qsize_t dqb_bsoftlimit ;
1158 qsize_t dqb_curspace ;
1159 qsize_t dqb_rsvspace ;
1160 qsize_t dqb_ihardlimit ;
1161 qsize_t dqb_isoftlimit ;
1162 qsize_t dqb_curinodes ;
1163 time_t dqb_btime ;
1164 time_t dqb_itime ;
1165};
1166#line 215
1167struct quota_format_type;
1168#line 215
1169struct quota_format_type;
1170#line 217 "include/linux/quota.h"
1171struct mem_dqinfo {
1172 struct quota_format_type *dqi_format ;
1173 int dqi_fmt_id ;
1174 struct list_head dqi_dirty_list ;
1175 unsigned long dqi_flags ;
1176 unsigned int dqi_bgrace ;
1177 unsigned int dqi_igrace ;
1178 qsize_t dqi_maxblimit ;
1179 qsize_t dqi_maxilimit ;
1180 void *dqi_priv ;
1181};
1182#line 230
1183struct super_block;
1184#line 288 "include/linux/quota.h"
1185struct dquot {
1186 struct hlist_node dq_hash ;
1187 struct list_head dq_inuse ;
1188 struct list_head dq_free ;
1189 struct list_head dq_dirty ;
1190 struct mutex dq_lock ;
1191 atomic_t dq_count ;
1192 wait_queue_head_t dq_wait_unused ;
1193 struct super_block *dq_sb ;
1194 unsigned int dq_id ;
1195 loff_t dq_off ;
1196 unsigned long dq_flags ;
1197 short dq_type ;
1198 struct mem_dqblk dq_dqb ;
1199};
1200#line 305 "include/linux/quota.h"
1201struct quota_format_ops {
1202 int (*check_quota_file)(struct super_block *sb , int type ) ;
1203 int (*read_file_info)(struct super_block *sb , int type ) ;
1204 int (*write_file_info)(struct super_block *sb , int type ) ;
1205 int (*free_file_info)(struct super_block *sb , int type ) ;
1206 int (*read_dqblk)(struct dquot *dquot ) ;
1207 int (*commit_dqblk)(struct dquot *dquot ) ;
1208 int (*release_dqblk)(struct dquot *dquot ) ;
1209};
1210#line 316 "include/linux/quota.h"
1211struct dquot_operations {
1212 int (*write_dquot)(struct dquot * ) ;
1213 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1214 void (*destroy_dquot)(struct dquot * ) ;
1215 int (*acquire_dquot)(struct dquot * ) ;
1216 int (*release_dquot)(struct dquot * ) ;
1217 int (*mark_dirty)(struct dquot * ) ;
1218 int (*write_info)(struct super_block * , int ) ;
1219 qsize_t *(*get_reserved_space)(struct inode * ) ;
1220};
1221#line 329
1222struct path;
1223#line 332 "include/linux/quota.h"
1224struct quotactl_ops {
1225 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1226 int (*quota_on_meta)(struct super_block * , int , int ) ;
1227 int (*quota_off)(struct super_block * , int ) ;
1228 int (*quota_sync)(struct super_block * , int , int ) ;
1229 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1230 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1231 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1232 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1233 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1234 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1235};
1236#line 345 "include/linux/quota.h"
1237struct quota_format_type {
1238 int qf_fmt_id ;
1239 struct quota_format_ops const *qf_ops ;
1240 struct module *qf_owner ;
1241 struct quota_format_type *qf_next ;
1242};
1243#line 399 "include/linux/quota.h"
1244struct quota_info {
1245 unsigned int flags ;
1246 struct mutex dqio_mutex ;
1247 struct mutex dqonoff_mutex ;
1248 struct rw_semaphore dqptr_sem ;
1249 struct inode *files[2] ;
1250 struct mem_dqinfo info[2] ;
1251 struct quota_format_ops const *ops[2] ;
1252};
1253#line 532 "include/linux/fs.h"
1254struct page;
1255#line 533
1256struct address_space;
1257#line 533
1258struct address_space;
1259#line 534
1260struct writeback_control;
1261#line 534
1262struct writeback_control;
1263#line 577 "include/linux/fs.h"
1264union __anonunion_arg_146 {
1265 char *buf ;
1266 void *data ;
1267};
1268#line 577 "include/linux/fs.h"
1269struct __anonstruct_read_descriptor_t_145 {
1270 size_t written ;
1271 size_t count ;
1272 union __anonunion_arg_146 arg ;
1273 int error ;
1274};
1275#line 577 "include/linux/fs.h"
1276typedef struct __anonstruct_read_descriptor_t_145 read_descriptor_t;
1277#line 590 "include/linux/fs.h"
1278struct address_space_operations {
1279 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1280 int (*readpage)(struct file * , struct page * ) ;
1281 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1282 int (*set_page_dirty)(struct page *page ) ;
1283 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1284 unsigned int nr_pages ) ;
1285 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1286 unsigned int len , unsigned int flags , struct page **pagep ,
1287 void **fsdata ) ;
1288 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1289 unsigned int copied , struct page *page , void *fsdata ) ;
1290 sector_t (*bmap)(struct address_space * , sector_t ) ;
1291 void (*invalidatepage)(struct page * , unsigned long ) ;
1292 int (*releasepage)(struct page * , gfp_t ) ;
1293 void (*freepage)(struct page * ) ;
1294 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1295 unsigned long nr_segs ) ;
1296 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1297 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1298 int (*launder_page)(struct page * ) ;
1299 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1300 int (*error_remove_page)(struct address_space * , struct page * ) ;
1301};
1302#line 645
1303struct backing_dev_info;
1304#line 645
1305struct backing_dev_info;
1306#line 646 "include/linux/fs.h"
1307struct address_space {
1308 struct inode *host ;
1309 struct radix_tree_root page_tree ;
1310 spinlock_t tree_lock ;
1311 unsigned int i_mmap_writable ;
1312 struct prio_tree_root i_mmap ;
1313 struct list_head i_mmap_nonlinear ;
1314 struct mutex i_mmap_mutex ;
1315 unsigned long nrpages ;
1316 unsigned long writeback_index ;
1317 struct address_space_operations const *a_ops ;
1318 unsigned long flags ;
1319 struct backing_dev_info *backing_dev_info ;
1320 spinlock_t private_lock ;
1321 struct list_head private_list ;
1322 struct address_space *assoc_mapping ;
1323} __attribute__((__aligned__(sizeof(long )))) ;
1324#line 669
1325struct request_queue;
1326#line 669
1327struct request_queue;
1328#line 671
1329struct hd_struct;
1330#line 671
1331struct gendisk;
1332#line 671 "include/linux/fs.h"
1333struct block_device {
1334 dev_t bd_dev ;
1335 int bd_openers ;
1336 struct inode *bd_inode ;
1337 struct super_block *bd_super ;
1338 struct mutex bd_mutex ;
1339 struct list_head bd_inodes ;
1340 void *bd_claiming ;
1341 void *bd_holder ;
1342 int bd_holders ;
1343 bool bd_write_holder ;
1344 struct list_head bd_holder_disks ;
1345 struct block_device *bd_contains ;
1346 unsigned int bd_block_size ;
1347 struct hd_struct *bd_part ;
1348 unsigned int bd_part_count ;
1349 int bd_invalidated ;
1350 struct gendisk *bd_disk ;
1351 struct request_queue *bd_queue ;
1352 struct list_head bd_list ;
1353 unsigned long bd_private ;
1354 int bd_fsfreeze_count ;
1355 struct mutex bd_fsfreeze_mutex ;
1356};
1357#line 749
1358struct posix_acl;
1359#line 749
1360struct posix_acl;
1361#line 761
1362struct inode_operations;
1363#line 761 "include/linux/fs.h"
1364union __anonunion____missing_field_name_147 {
1365 unsigned int const i_nlink ;
1366 unsigned int __i_nlink ;
1367};
1368#line 761 "include/linux/fs.h"
1369union __anonunion____missing_field_name_148 {
1370 struct list_head i_dentry ;
1371 struct rcu_head i_rcu ;
1372};
1373#line 761
1374struct file_operations;
1375#line 761
1376struct file_lock;
1377#line 761
1378struct cdev;
1379#line 761 "include/linux/fs.h"
1380union __anonunion____missing_field_name_149 {
1381 struct pipe_inode_info *i_pipe ;
1382 struct block_device *i_bdev ;
1383 struct cdev *i_cdev ;
1384};
1385#line 761 "include/linux/fs.h"
1386struct inode {
1387 umode_t i_mode ;
1388 unsigned short i_opflags ;
1389 uid_t i_uid ;
1390 gid_t i_gid ;
1391 unsigned int i_flags ;
1392 struct posix_acl *i_acl ;
1393 struct posix_acl *i_default_acl ;
1394 struct inode_operations const *i_op ;
1395 struct super_block *i_sb ;
1396 struct address_space *i_mapping ;
1397 void *i_security ;
1398 unsigned long i_ino ;
1399 union __anonunion____missing_field_name_147 __annonCompField30 ;
1400 dev_t i_rdev ;
1401 struct timespec i_atime ;
1402 struct timespec i_mtime ;
1403 struct timespec i_ctime ;
1404 spinlock_t i_lock ;
1405 unsigned short i_bytes ;
1406 blkcnt_t i_blocks ;
1407 loff_t i_size ;
1408 unsigned long i_state ;
1409 struct mutex i_mutex ;
1410 unsigned long dirtied_when ;
1411 struct hlist_node i_hash ;
1412 struct list_head i_wb_list ;
1413 struct list_head i_lru ;
1414 struct list_head i_sb_list ;
1415 union __anonunion____missing_field_name_148 __annonCompField31 ;
1416 atomic_t i_count ;
1417 unsigned int i_blkbits ;
1418 u64 i_version ;
1419 atomic_t i_dio_count ;
1420 atomic_t i_writecount ;
1421 struct file_operations const *i_fop ;
1422 struct file_lock *i_flock ;
1423 struct address_space i_data ;
1424 struct dquot *i_dquot[2] ;
1425 struct list_head i_devices ;
1426 union __anonunion____missing_field_name_149 __annonCompField32 ;
1427 __u32 i_generation ;
1428 __u32 i_fsnotify_mask ;
1429 struct hlist_head i_fsnotify_marks ;
1430 atomic_t i_readcount ;
1431 void *i_private ;
1432};
1433#line 942 "include/linux/fs.h"
1434struct fown_struct {
1435 rwlock_t lock ;
1436 struct pid *pid ;
1437 enum pid_type pid_type ;
1438 uid_t uid ;
1439 uid_t euid ;
1440 int signum ;
1441};
1442#line 953 "include/linux/fs.h"
1443struct file_ra_state {
1444 unsigned long start ;
1445 unsigned int size ;
1446 unsigned int async_size ;
1447 unsigned int ra_pages ;
1448 unsigned int mmap_miss ;
1449 loff_t prev_pos ;
1450};
1451#line 976 "include/linux/fs.h"
1452union __anonunion_f_u_150 {
1453 struct list_head fu_list ;
1454 struct rcu_head fu_rcuhead ;
1455};
1456#line 976 "include/linux/fs.h"
1457struct file {
1458 union __anonunion_f_u_150 f_u ;
1459 struct path f_path ;
1460 struct file_operations const *f_op ;
1461 spinlock_t f_lock ;
1462 int f_sb_list_cpu ;
1463 atomic_long_t f_count ;
1464 unsigned int f_flags ;
1465 fmode_t f_mode ;
1466 loff_t f_pos ;
1467 struct fown_struct f_owner ;
1468 struct cred const *f_cred ;
1469 struct file_ra_state f_ra ;
1470 u64 f_version ;
1471 void *f_security ;
1472 void *private_data ;
1473 struct list_head f_ep_links ;
1474 struct list_head f_tfile_llink ;
1475 struct address_space *f_mapping ;
1476 unsigned long f_mnt_write_state ;
1477};
1478#line 1111
1479struct files_struct;
1480#line 1111 "include/linux/fs.h"
1481typedef struct files_struct *fl_owner_t;
1482#line 1113 "include/linux/fs.h"
1483struct file_lock_operations {
1484 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1485 void (*fl_release_private)(struct file_lock * ) ;
1486};
1487#line 1118 "include/linux/fs.h"
1488struct lock_manager_operations {
1489 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1490 void (*lm_notify)(struct file_lock * ) ;
1491 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
1492 void (*lm_release_private)(struct file_lock * ) ;
1493 void (*lm_break)(struct file_lock * ) ;
1494 int (*lm_change)(struct file_lock ** , int ) ;
1495};
1496#line 4 "include/linux/nfs_fs_i.h"
1497struct nlm_lockowner;
1498#line 4
1499struct nlm_lockowner;
1500#line 9 "include/linux/nfs_fs_i.h"
1501struct nfs_lock_info {
1502 u32 state ;
1503 struct nlm_lockowner *owner ;
1504 struct list_head list ;
1505};
1506#line 15
1507struct nfs4_lock_state;
1508#line 15
1509struct nfs4_lock_state;
1510#line 16 "include/linux/nfs_fs_i.h"
1511struct nfs4_lock_info {
1512 struct nfs4_lock_state *owner ;
1513};
1514#line 1138 "include/linux/fs.h"
1515struct fasync_struct;
1516#line 1138 "include/linux/fs.h"
1517struct __anonstruct_afs_152 {
1518 struct list_head link ;
1519 int state ;
1520};
1521#line 1138 "include/linux/fs.h"
1522union __anonunion_fl_u_151 {
1523 struct nfs_lock_info nfs_fl ;
1524 struct nfs4_lock_info nfs4_fl ;
1525 struct __anonstruct_afs_152 afs ;
1526};
1527#line 1138 "include/linux/fs.h"
1528struct file_lock {
1529 struct file_lock *fl_next ;
1530 struct list_head fl_link ;
1531 struct list_head fl_block ;
1532 fl_owner_t fl_owner ;
1533 unsigned int fl_flags ;
1534 unsigned char fl_type ;
1535 unsigned int fl_pid ;
1536 struct pid *fl_nspid ;
1537 wait_queue_head_t fl_wait ;
1538 struct file *fl_file ;
1539 loff_t fl_start ;
1540 loff_t fl_end ;
1541 struct fasync_struct *fl_fasync ;
1542 unsigned long fl_break_time ;
1543 unsigned long fl_downgrade_time ;
1544 struct file_lock_operations const *fl_ops ;
1545 struct lock_manager_operations const *fl_lmops ;
1546 union __anonunion_fl_u_151 fl_u ;
1547};
1548#line 1378 "include/linux/fs.h"
1549struct fasync_struct {
1550 spinlock_t fa_lock ;
1551 int magic ;
1552 int fa_fd ;
1553 struct fasync_struct *fa_next ;
1554 struct file *fa_file ;
1555 struct rcu_head fa_rcu ;
1556};
1557#line 1418
1558struct file_system_type;
1559#line 1418
1560struct super_operations;
1561#line 1418
1562struct xattr_handler;
1563#line 1418
1564struct mtd_info;
1565#line 1418 "include/linux/fs.h"
1566struct super_block {
1567 struct list_head s_list ;
1568 dev_t s_dev ;
1569 unsigned char s_dirt ;
1570 unsigned char s_blocksize_bits ;
1571 unsigned long s_blocksize ;
1572 loff_t s_maxbytes ;
1573 struct file_system_type *s_type ;
1574 struct super_operations const *s_op ;
1575 struct dquot_operations const *dq_op ;
1576 struct quotactl_ops const *s_qcop ;
1577 struct export_operations const *s_export_op ;
1578 unsigned long s_flags ;
1579 unsigned long s_magic ;
1580 struct dentry *s_root ;
1581 struct rw_semaphore s_umount ;
1582 struct mutex s_lock ;
1583 int s_count ;
1584 atomic_t s_active ;
1585 void *s_security ;
1586 struct xattr_handler const **s_xattr ;
1587 struct list_head s_inodes ;
1588 struct hlist_bl_head s_anon ;
1589 struct list_head *s_files ;
1590 struct list_head s_mounts ;
1591 struct list_head s_dentry_lru ;
1592 int s_nr_dentry_unused ;
1593 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
1594 struct list_head s_inode_lru ;
1595 int s_nr_inodes_unused ;
1596 struct block_device *s_bdev ;
1597 struct backing_dev_info *s_bdi ;
1598 struct mtd_info *s_mtd ;
1599 struct hlist_node s_instances ;
1600 struct quota_info s_dquot ;
1601 int s_frozen ;
1602 wait_queue_head_t s_wait_unfrozen ;
1603 char s_id[32] ;
1604 u8 s_uuid[16] ;
1605 void *s_fs_info ;
1606 unsigned int s_max_links ;
1607 fmode_t s_mode ;
1608 u32 s_time_gran ;
1609 struct mutex s_vfs_rename_mutex ;
1610 char *s_subtype ;
1611 char *s_options ;
1612 struct dentry_operations const *s_d_op ;
1613 int cleancache_poolid ;
1614 struct shrinker s_shrink ;
1615 atomic_long_t s_remove_count ;
1616 int s_readonly_remount ;
1617};
1618#line 1567 "include/linux/fs.h"
1619struct fiemap_extent_info {
1620 unsigned int fi_flags ;
1621 unsigned int fi_extents_mapped ;
1622 unsigned int fi_extents_max ;
1623 struct fiemap_extent *fi_extents_start ;
1624};
1625#line 1609 "include/linux/fs.h"
1626struct file_operations {
1627 struct module *owner ;
1628 loff_t (*llseek)(struct file * , loff_t , int ) ;
1629 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
1630 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
1631 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
1632 loff_t ) ;
1633 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
1634 loff_t ) ;
1635 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
1636 loff_t , u64 , unsigned int ) ) ;
1637 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
1638 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
1639 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
1640 int (*mmap)(struct file * , struct vm_area_struct * ) ;
1641 int (*open)(struct inode * , struct file * ) ;
1642 int (*flush)(struct file * , fl_owner_t id ) ;
1643 int (*release)(struct inode * , struct file * ) ;
1644 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
1645 int (*aio_fsync)(struct kiocb * , int datasync ) ;
1646 int (*fasync)(int , struct file * , int ) ;
1647 int (*lock)(struct file * , int , struct file_lock * ) ;
1648 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
1649 int ) ;
1650 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1651 unsigned long , unsigned long ) ;
1652 int (*check_flags)(int ) ;
1653 int (*flock)(struct file * , int , struct file_lock * ) ;
1654 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
1655 unsigned int ) ;
1656 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
1657 unsigned int ) ;
1658 int (*setlease)(struct file * , long , struct file_lock ** ) ;
1659 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
1660};
1661#line 1639 "include/linux/fs.h"
1662struct inode_operations {
1663 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
1664 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
1665 int (*permission)(struct inode * , int ) ;
1666 struct posix_acl *(*get_acl)(struct inode * , int ) ;
1667 int (*readlink)(struct dentry * , char * , int ) ;
1668 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
1669 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
1670 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
1671 int (*unlink)(struct inode * , struct dentry * ) ;
1672 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
1673 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
1674 int (*rmdir)(struct inode * , struct dentry * ) ;
1675 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
1676 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
1677 void (*truncate)(struct inode * ) ;
1678 int (*setattr)(struct dentry * , struct iattr * ) ;
1679 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
1680 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
1681 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
1682 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
1683 int (*removexattr)(struct dentry * , char const * ) ;
1684 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
1685 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
1686} __attribute__((__aligned__((1) << (6) ))) ;
1687#line 1669
1688struct seq_file;
1689#line 1684 "include/linux/fs.h"
1690struct super_operations {
1691 struct inode *(*alloc_inode)(struct super_block *sb ) ;
1692 void (*destroy_inode)(struct inode * ) ;
1693 void (*dirty_inode)(struct inode * , int flags ) ;
1694 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
1695 int (*drop_inode)(struct inode * ) ;
1696 void (*evict_inode)(struct inode * ) ;
1697 void (*put_super)(struct super_block * ) ;
1698 void (*write_super)(struct super_block * ) ;
1699 int (*sync_fs)(struct super_block *sb , int wait ) ;
1700 int (*freeze_fs)(struct super_block * ) ;
1701 int (*unfreeze_fs)(struct super_block * ) ;
1702 int (*statfs)(struct dentry * , struct kstatfs * ) ;
1703 int (*remount_fs)(struct super_block * , int * , char * ) ;
1704 void (*umount_begin)(struct super_block * ) ;
1705 int (*show_options)(struct seq_file * , struct dentry * ) ;
1706 int (*show_devname)(struct seq_file * , struct dentry * ) ;
1707 int (*show_path)(struct seq_file * , struct dentry * ) ;
1708 int (*show_stats)(struct seq_file * , struct dentry * ) ;
1709 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
1710 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
1711 loff_t ) ;
1712 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
1713 int (*nr_cached_objects)(struct super_block * ) ;
1714 void (*free_cached_objects)(struct super_block * , int ) ;
1715};
1716#line 1835 "include/linux/fs.h"
1717struct file_system_type {
1718 char const *name ;
1719 int fs_flags ;
1720 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
1721 void (*kill_sb)(struct super_block * ) ;
1722 struct module *owner ;
1723 struct file_system_type *next ;
1724 struct hlist_head fs_supers ;
1725 struct lock_class_key s_lock_key ;
1726 struct lock_class_key s_umount_key ;
1727 struct lock_class_key s_vfs_rename_key ;
1728 struct lock_class_key i_lock_key ;
1729 struct lock_class_key i_mutex_key ;
1730 struct lock_class_key i_mutex_dir_key ;
1731};
1732#line 12 "include/linux/mod_devicetable.h"
1733typedef unsigned long kernel_ulong_t;
1734#line 136 "include/linux/mod_devicetable.h"
1735struct hid_device_id {
1736 __u16 bus ;
1737 __u16 pad1 ;
1738 __u32 vendor ;
1739 __u32 product ;
1740 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1741};
1742#line 219 "include/linux/mod_devicetable.h"
1743struct of_device_id {
1744 char name[32] ;
1745 char type[32] ;
1746 char compatible[128] ;
1747 void *data ;
1748};
1749#line 312 "include/linux/mod_devicetable.h"
1750struct input_device_id {
1751 kernel_ulong_t flags ;
1752 __u16 bustype ;
1753 __u16 vendor ;
1754 __u16 product ;
1755 __u16 version ;
1756 kernel_ulong_t evbit[1] ;
1757 kernel_ulong_t keybit[12] ;
1758 kernel_ulong_t relbit[1] ;
1759 kernel_ulong_t absbit[1] ;
1760 kernel_ulong_t mscbit[1] ;
1761 kernel_ulong_t ledbit[1] ;
1762 kernel_ulong_t sndbit[1] ;
1763 kernel_ulong_t ffbit[2] ;
1764 kernel_ulong_t swbit[1] ;
1765 kernel_ulong_t driver_info ;
1766};
1767#line 1250 "include/linux/input.h"
1768struct ff_device;
1769#line 1250
1770struct input_mt_slot;
1771#line 1250
1772struct input_handle;
1773#line 1250 "include/linux/input.h"
1774struct input_dev {
1775 char const *name ;
1776 char const *phys ;
1777 char const *uniq ;
1778 struct input_id id ;
1779 unsigned long propbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1780 unsigned long evbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1781 unsigned long keybit[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1782 unsigned long relbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1783 unsigned long absbit[((64UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1784 unsigned long mscbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1785 unsigned long ledbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1786 unsigned long sndbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1787 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1788 unsigned long swbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1789 unsigned int hint_events_per_packet ;
1790 unsigned int keycodemax ;
1791 unsigned int keycodesize ;
1792 void *keycode ;
1793 int (*setkeycode)(struct input_dev *dev , struct input_keymap_entry const *ke ,
1794 unsigned int *old_keycode ) ;
1795 int (*getkeycode)(struct input_dev *dev , struct input_keymap_entry *ke ) ;
1796 struct ff_device *ff ;
1797 unsigned int repeat_key ;
1798 struct timer_list timer ;
1799 int rep[2] ;
1800 struct input_mt_slot *mt ;
1801 int mtsize ;
1802 int slot ;
1803 int trkid ;
1804 struct input_absinfo *absinfo ;
1805 unsigned long key[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1806 unsigned long led[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1807 unsigned long snd[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1808 unsigned long sw[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1809 int (*open)(struct input_dev *dev ) ;
1810 void (*close)(struct input_dev *dev ) ;
1811 int (*flush)(struct input_dev *dev , struct file *file ) ;
1812 int (*event)(struct input_dev *dev , unsigned int type , unsigned int code , int value ) ;
1813 struct input_handle *grab ;
1814 spinlock_t event_lock ;
1815 struct mutex mutex ;
1816 unsigned int users ;
1817 bool going_away ;
1818 bool sync ;
1819 struct device dev ;
1820 struct list_head h_list ;
1821 struct list_head node ;
1822};
1823#line 1370
1824struct input_handle;
1825#line 1409 "include/linux/input.h"
1826struct input_handler {
1827 void *private ;
1828 void (*event)(struct input_handle *handle , unsigned int type , unsigned int code ,
1829 int value ) ;
1830 bool (*filter)(struct input_handle *handle , unsigned int type , unsigned int code ,
1831 int value ) ;
1832 bool (*match)(struct input_handler *handler , struct input_dev *dev ) ;
1833 int (*connect)(struct input_handler *handler , struct input_dev *dev , struct input_device_id const *id ) ;
1834 void (*disconnect)(struct input_handle *handle ) ;
1835 void (*start)(struct input_handle *handle ) ;
1836 struct file_operations const *fops ;
1837 int minor ;
1838 char const *name ;
1839 struct input_device_id const *id_table ;
1840 struct list_head h_list ;
1841 struct list_head node ;
1842};
1843#line 1442 "include/linux/input.h"
1844struct input_handle {
1845 void *private ;
1846 int open ;
1847 char const *name ;
1848 struct input_dev *dev ;
1849 struct input_handler *handler ;
1850 struct list_head d_node ;
1851 struct list_head h_node ;
1852};
1853#line 1619 "include/linux/input.h"
1854struct ff_device {
1855 int (*upload)(struct input_dev *dev , struct ff_effect *effect , struct ff_effect *old ) ;
1856 int (*erase)(struct input_dev *dev , int effect_id ) ;
1857 int (*playback)(struct input_dev *dev , int effect_id , int value ) ;
1858 void (*set_gain)(struct input_dev *dev , u16 gain ) ;
1859 void (*set_autocenter)(struct input_dev *dev , u16 magnitude ) ;
1860 void (*destroy)(struct ff_device * ) ;
1861 void *private ;
1862 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1863 struct mutex mutex ;
1864 int max_effects ;
1865 struct ff_effect *effects ;
1866 struct file *effect_owners[] ;
1867};
1868#line 60 "include/linux/pageblock-flags.h"
1869struct page;
1870#line 9 "include/linux/memory_hotplug.h"
1871struct page;
1872#line 994 "include/linux/mmzone.h"
1873struct page;
1874#line 10 "include/linux/gfp.h"
1875struct vm_area_struct;
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 715 "include/linux/hid.h"
2309extern int __attribute__((__warn_unused_result__)) __hid_register_driver(struct hid_driver * ,
2310 struct module * ,
2311 char const *mod_name ) ;
2312#line 722
2313extern void hid_unregister_driver(struct hid_driver * ) ;
2314#line 754
2315__inline static void hid_map_usage(struct hid_input *hidinput , struct hid_usage *usage ,
2316 unsigned long **bit , int *max , __u8 type , __u16 c ) __attribute__((__no_instrument_function__)) ;
2317#line 754 "include/linux/hid.h"
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 )
2320{ struct input_dev *input ;
2321 unsigned long __cil_tmp8 ;
2322 unsigned long __cil_tmp9 ;
2323 unsigned long __cil_tmp10 ;
2324 unsigned long __cil_tmp11 ;
2325 unsigned long __cil_tmp12 ;
2326 unsigned long __cil_tmp13 ;
2327 unsigned long __cil_tmp14 ;
2328 unsigned long __cil_tmp15 ;
2329 unsigned long __cil_tmp16 ;
2330 unsigned long __cil_tmp17 ;
2331 unsigned long __cil_tmp18 ;
2332 unsigned long __cil_tmp19 ;
2333 unsigned long __cil_tmp20 ;
2334 unsigned long __cil_tmp21 ;
2335 unsigned long __cil_tmp22 ;
2336 unsigned long __cil_tmp23 ;
2337 unsigned long __cil_tmp24 ;
2338 unsigned long __cil_tmp25 ;
2339 unsigned long __cil_tmp26 ;
2340 unsigned long __cil_tmp27 ;
2341 unsigned long __cil_tmp28 ;
2342 unsigned long __cil_tmp29 ;
2343
2344 {
2345#line 758
2346 __cil_tmp8 = (unsigned long )hidinput;
2347#line 758
2348 __cil_tmp9 = __cil_tmp8 + 24;
2349#line 758
2350 input = *((struct input_dev **)__cil_tmp9);
2351#line 760
2352 __cil_tmp10 = (unsigned long )usage;
2353#line 760
2354 __cil_tmp11 = __cil_tmp10 + 10;
2355#line 760
2356 *((__u8 *)__cil_tmp11) = type;
2357#line 761
2358 __cil_tmp12 = (unsigned long )usage;
2359#line 761
2360 __cil_tmp13 = __cil_tmp12 + 8;
2361#line 761
2362 *((__u16 *)__cil_tmp13) = c;
2363#line 764
2364 if ((int )type == 3) {
2365#line 764
2366 goto case_3;
2367 } else
2368#line 768
2369 if ((int )type == 2) {
2370#line 768
2371 goto case_2;
2372 } else
2373#line 772
2374 if ((int )type == 1) {
2375#line 772
2376 goto case_1;
2377 } else
2378#line 776
2379 if ((int )type == 17) {
2380#line 776
2381 goto case_17;
2382 } else
2383#line 763
2384 if (0) {
2385 case_3:
2386#line 765
2387 __cil_tmp14 = 0 * 8UL;
2388#line 765
2389 __cil_tmp15 = 152 + __cil_tmp14;
2390#line 765
2391 __cil_tmp16 = (unsigned long )input;
2392#line 765
2393 __cil_tmp17 = __cil_tmp16 + __cil_tmp15;
2394#line 765
2395 *bit = (unsigned long *)__cil_tmp17;
2396#line 766
2397 *max = 63;
2398#line 767
2399 goto switch_break;
2400 case_2:
2401#line 769
2402 __cil_tmp18 = 0 * 8UL;
2403#line 769
2404 __cil_tmp19 = 144 + __cil_tmp18;
2405#line 769
2406 __cil_tmp20 = (unsigned long )input;
2407#line 769
2408 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
2409#line 769
2410 *bit = (unsigned long *)__cil_tmp21;
2411#line 770
2412 *max = 15;
2413#line 771
2414 goto switch_break;
2415 case_1:
2416#line 773
2417 __cil_tmp22 = 0 * 8UL;
2418#line 773
2419 __cil_tmp23 = 48 + __cil_tmp22;
2420#line 773
2421 __cil_tmp24 = (unsigned long )input;
2422#line 773
2423 __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
2424#line 773
2425 *bit = (unsigned long *)__cil_tmp25;
2426#line 774
2427 *max = 767;
2428#line 775
2429 goto switch_break;
2430 case_17:
2431#line 777
2432 __cil_tmp26 = 0 * 8UL;
2433#line 777
2434 __cil_tmp27 = 168 + __cil_tmp26;
2435#line 777
2436 __cil_tmp28 = (unsigned long )input;
2437#line 777
2438 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
2439#line 777
2440 *bit = (unsigned long *)__cil_tmp29;
2441#line 778
2442 *max = 15;
2443#line 779
2444 goto switch_break;
2445 } else {
2446 switch_break: ;
2447 }
2448#line 781
2449 return;
2450}
2451}
2452#line 789
2453__inline static void hid_map_usage_clear(struct hid_input *hidinput , struct hid_usage *usage ,
2454 unsigned long **bit , int *max , __u8 type ,
2455 __u16 c ) __attribute__((__no_instrument_function__)) ;
2456#line 789 "include/linux/hid.h"
2457__inline static void hid_map_usage_clear(struct hid_input *hidinput , struct hid_usage *usage ,
2458 unsigned long **bit , int *max , __u8 type ,
2459 __u16 c )
2460{ int __cil_tmp7 ;
2461 unsigned long *__cil_tmp8 ;
2462 unsigned long volatile *__cil_tmp9 ;
2463
2464 {
2465 {
2466#line 793
2467 hid_map_usage(hidinput, usage, bit, max, type, c);
2468#line 794
2469 __cil_tmp7 = (int )c;
2470#line 794
2471 __cil_tmp8 = *bit;
2472#line 794
2473 __cil_tmp9 = (unsigned long volatile *)__cil_tmp8;
2474#line 794
2475 clear_bit(__cil_tmp7, __cil_tmp9);
2476 }
2477#line 795
2478 return;
2479}
2480}
2481#line 26 "include/linux/export.h"
2482extern struct module __this_module ;
2483#line 67 "include/linux/module.h"
2484int init_module(void) ;
2485#line 68
2486void cleanup_module(void) ;
2487#line 64 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
2488static int twinhan_input_mapping(struct hid_device *hdev , struct hid_input *hi ,
2489 struct hid_field *field , struct hid_usage *usage ,
2490 unsigned long **bit , int *max )
2491{ unsigned int __cil_tmp7 ;
2492 unsigned int __cil_tmp8 ;
2493 unsigned int __cil_tmp9 ;
2494 unsigned int __cil_tmp10 ;
2495 __u8 __cil_tmp11 ;
2496 __u16 __cil_tmp12 ;
2497 __u8 __cil_tmp13 ;
2498 __u16 __cil_tmp14 ;
2499 __u8 __cil_tmp15 ;
2500 __u16 __cil_tmp16 ;
2501 __u8 __cil_tmp17 ;
2502 __u16 __cil_tmp18 ;
2503 __u8 __cil_tmp19 ;
2504 __u16 __cil_tmp20 ;
2505 __u8 __cil_tmp21 ;
2506 __u16 __cil_tmp22 ;
2507 __u8 __cil_tmp23 ;
2508 __u16 __cil_tmp24 ;
2509 __u8 __cil_tmp25 ;
2510 __u16 __cil_tmp26 ;
2511 __u8 __cil_tmp27 ;
2512 __u16 __cil_tmp28 ;
2513 __u8 __cil_tmp29 ;
2514 __u16 __cil_tmp30 ;
2515 __u8 __cil_tmp31 ;
2516 __u16 __cil_tmp32 ;
2517 __u8 __cil_tmp33 ;
2518 __u16 __cil_tmp34 ;
2519 __u8 __cil_tmp35 ;
2520 __u16 __cil_tmp36 ;
2521 __u8 __cil_tmp37 ;
2522 __u16 __cil_tmp38 ;
2523 __u8 __cil_tmp39 ;
2524 __u16 __cil_tmp40 ;
2525 __u8 __cil_tmp41 ;
2526 __u16 __cil_tmp42 ;
2527 __u8 __cil_tmp43 ;
2528 __u16 __cil_tmp44 ;
2529 __u8 __cil_tmp45 ;
2530 __u16 __cil_tmp46 ;
2531 __u8 __cil_tmp47 ;
2532 __u16 __cil_tmp48 ;
2533 __u8 __cil_tmp49 ;
2534 __u16 __cil_tmp50 ;
2535 __u8 __cil_tmp51 ;
2536 __u16 __cil_tmp52 ;
2537 __u8 __cil_tmp53 ;
2538 __u16 __cil_tmp54 ;
2539 __u8 __cil_tmp55 ;
2540 __u16 __cil_tmp56 ;
2541 __u8 __cil_tmp57 ;
2542 __u16 __cil_tmp58 ;
2543 __u8 __cil_tmp59 ;
2544 __u16 __cil_tmp60 ;
2545 __u8 __cil_tmp61 ;
2546 __u16 __cil_tmp62 ;
2547 __u8 __cil_tmp63 ;
2548 __u16 __cil_tmp64 ;
2549 __u8 __cil_tmp65 ;
2550 __u16 __cil_tmp66 ;
2551 __u8 __cil_tmp67 ;
2552 __u16 __cil_tmp68 ;
2553 __u8 __cil_tmp69 ;
2554 __u16 __cil_tmp70 ;
2555 __u8 __cil_tmp71 ;
2556 __u16 __cil_tmp72 ;
2557 __u8 __cil_tmp73 ;
2558 __u16 __cil_tmp74 ;
2559
2560 {
2561 {
2562#line 68
2563 __cil_tmp7 = *((unsigned int *)usage);
2564#line 68
2565 __cil_tmp8 = __cil_tmp7 & 4294901760U;
2566#line 68
2567 if (__cil_tmp8 != 458752U) {
2568#line 69
2569 return (0);
2570 } else {
2571
2572 }
2573 }
2574 {
2575#line 71
2576 __cil_tmp9 = *((unsigned int *)usage);
2577#line 71
2578 __cil_tmp10 = __cil_tmp9 & 65535U;
2579#line 73
2580 if ((int )__cil_tmp10 == 4) {
2581#line 73
2582 goto case_4;
2583 } else
2584#line 74
2585 if ((int )__cil_tmp10 == 6) {
2586#line 74
2587 goto case_6;
2588 } else
2589#line 75
2590 if ((int )__cil_tmp10 == 8) {
2591#line 75
2592 goto case_8;
2593 } else
2594#line 76
2595 if ((int )__cil_tmp10 == 12) {
2596#line 76
2597 goto case_12;
2598 } else
2599#line 77
2600 if ((int )__cil_tmp10 == 14) {
2601#line 77
2602 goto case_14;
2603 } else
2604#line 78
2605 if ((int )__cil_tmp10 == 15) {
2606#line 78
2607 goto case_15;
2608 } else
2609#line 79
2610 if ((int )__cil_tmp10 == 16) {
2611#line 79
2612 goto case_16;
2613 } else
2614#line 80
2615 if ((int )__cil_tmp10 == 17) {
2616#line 80
2617 goto case_17;
2618 } else
2619#line 81
2620 if ((int )__cil_tmp10 == 19) {
2621#line 81
2622 goto case_19;
2623 } else
2624#line 82
2625 if ((int )__cil_tmp10 == 23) {
2626#line 82
2627 goto case_23;
2628 } else
2629#line 83
2630 if ((int )__cil_tmp10 == 25) {
2631#line 83
2632 goto case_25;
2633 } else
2634#line 84
2635 if ((int )__cil_tmp10 == 29) {
2636#line 84
2637 goto case_29;
2638 } else
2639#line 85
2640 if ((int )__cil_tmp10 == 30) {
2641#line 85
2642 goto case_30;
2643 } else
2644#line 86
2645 if ((int )__cil_tmp10 == 31) {
2646#line 86
2647 goto case_31;
2648 } else
2649#line 87
2650 if ((int )__cil_tmp10 == 32) {
2651#line 87
2652 goto case_32;
2653 } else
2654#line 88
2655 if ((int )__cil_tmp10 == 33) {
2656#line 88
2657 goto case_33;
2658 } else
2659#line 89
2660 if ((int )__cil_tmp10 == 34) {
2661#line 89
2662 goto case_34;
2663 } else
2664#line 90
2665 if ((int )__cil_tmp10 == 35) {
2666#line 90
2667 goto case_35;
2668 } else
2669#line 91
2670 if ((int )__cil_tmp10 == 36) {
2671#line 91
2672 goto case_36;
2673 } else
2674#line 92
2675 if ((int )__cil_tmp10 == 37) {
2676#line 92
2677 goto case_37;
2678 } else
2679#line 93
2680 if ((int )__cil_tmp10 == 38) {
2681#line 93
2682 goto case_38;
2683 } else
2684#line 94
2685 if ((int )__cil_tmp10 == 39) {
2686#line 94
2687 goto case_39;
2688 } else
2689#line 95
2690 if ((int )__cil_tmp10 == 40) {
2691#line 95
2692 goto case_40;
2693 } else
2694#line 96
2695 if ((int )__cil_tmp10 == 41) {
2696#line 96
2697 goto case_41;
2698 } else
2699#line 97
2700 if ((int )__cil_tmp10 == 43) {
2701#line 97
2702 goto case_43;
2703 } else
2704#line 99
2705 if ((int )__cil_tmp10 == 63) {
2706#line 99
2707 goto case_63;
2708 } else
2709#line 100
2710 if ((int )__cil_tmp10 == 74) {
2711#line 100
2712 goto case_74;
2713 } else
2714#line 101
2715 if ((int )__cil_tmp10 == 75) {
2716#line 101
2717 goto case_75;
2718 } else
2719#line 102
2720 if ((int )__cil_tmp10 == 77) {
2721#line 102
2722 goto case_77;
2723 } else
2724#line 103
2725 if ((int )__cil_tmp10 == 78) {
2726#line 103
2727 goto case_78;
2728 } else
2729#line 105
2730 if ((int )__cil_tmp10 == 81) {
2731#line 105
2732 goto case_81;
2733 } else
2734#line 107
2735 if ((int )__cil_tmp10 == 82) {
2736#line 107
2737 goto case_82;
2738 } else {
2739 {
2740#line 118
2741 goto switch_default;
2742#line 71
2743 if (0) {
2744 case_4:
2745 {
2746#line 73
2747 __cil_tmp11 = (__u8 )1;
2748#line 73
2749 __cil_tmp12 = (__u16 )388;
2750#line 73
2751 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp11, __cil_tmp12);
2752 }
2753#line 73
2754 goto switch_break;
2755 case_6:
2756 {
2757#line 74
2758 __cil_tmp13 = (__u8 )1;
2759#line 74
2760 __cil_tmp14 = (__u16 )408;
2761#line 74
2762 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp13, __cil_tmp14);
2763 }
2764#line 74
2765 goto switch_break;
2766 case_8:
2767 {
2768#line 75
2769 __cil_tmp15 = (__u8 )1;
2770#line 75
2771 __cil_tmp16 = (__u16 )365;
2772#line 75
2773 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp15, __cil_tmp16);
2774 }
2775#line 75
2776 goto switch_break;
2777 case_12:
2778 {
2779#line 76
2780 __cil_tmp17 = (__u8 )1;
2781#line 76
2782 __cil_tmp18 = (__u16 )168;
2783#line 76
2784 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp17, __cil_tmp18);
2785 }
2786#line 76
2787 goto switch_break;
2788 case_14:
2789 {
2790#line 77
2791 __cil_tmp19 = (__u8 )1;
2792#line 77
2793 __cil_tmp20 = (__u16 )362;
2794#line 77
2795 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp19, __cil_tmp20);
2796 }
2797#line 77
2798 goto switch_break;
2799 case_15:
2800 {
2801#line 78
2802 __cil_tmp21 = (__u8 )1;
2803#line 78
2804 __cil_tmp22 = (__u16 )395;
2805#line 78
2806 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp21, __cil_tmp22);
2807 }
2808#line 78
2809 goto switch_break;
2810 case_16:
2811 {
2812#line 79
2813 __cil_tmp23 = (__u8 )1;
2814#line 79
2815 __cil_tmp24 = (__u16 )113;
2816#line 79
2817 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp23, __cil_tmp24);
2818 }
2819#line 79
2820 goto switch_break;
2821 case_17:
2822 {
2823#line 80
2824 __cil_tmp25 = (__u8 )1;
2825#line 80
2826 __cil_tmp26 = (__u16 )159;
2827#line 80
2828 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp25, __cil_tmp26);
2829 }
2830#line 80
2831 goto switch_break;
2832 case_19:
2833 {
2834#line 81
2835 __cil_tmp27 = (__u8 )1;
2836#line 81
2837 __cil_tmp28 = (__u16 )210;
2838#line 81
2839 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp27, __cil_tmp28);
2840 }
2841#line 81
2842 goto switch_break;
2843 case_23:
2844 {
2845#line 82
2846 __cil_tmp29 = (__u8 )1;
2847#line 82
2848 __cil_tmp30 = (__u16 )119;
2849#line 82
2850 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp29, __cil_tmp30);
2851 }
2852#line 82
2853 goto switch_break;
2854 case_25:
2855 {
2856#line 83
2857 __cil_tmp31 = (__u8 )1;
2858#line 83
2859 __cil_tmp32 = (__u16 )364;
2860#line 83
2861 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp31, __cil_tmp32);
2862 }
2863#line 83
2864 goto switch_break;
2865 case_29:
2866 {
2867#line 84
2868 __cil_tmp33 = (__u8 )1;
2869#line 84
2870 __cil_tmp34 = (__u16 )375;
2871#line 84
2872 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp33, __cil_tmp34);
2873 }
2874#line 84
2875 goto switch_break;
2876 case_30:
2877 {
2878#line 85
2879 __cil_tmp35 = (__u8 )1;
2880#line 85
2881 __cil_tmp36 = (__u16 )513;
2882#line 85
2883 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp35, __cil_tmp36);
2884 }
2885#line 85
2886 goto switch_break;
2887 case_31:
2888 {
2889#line 86
2890 __cil_tmp37 = (__u8 )1;
2891#line 86
2892 __cil_tmp38 = (__u16 )514;
2893#line 86
2894 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp37, __cil_tmp38);
2895 }
2896#line 86
2897 goto switch_break;
2898 case_32:
2899 {
2900#line 87
2901 __cil_tmp39 = (__u8 )1;
2902#line 87
2903 __cil_tmp40 = (__u16 )515;
2904#line 87
2905 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp39, __cil_tmp40);
2906 }
2907#line 87
2908 goto switch_break;
2909 case_33:
2910 {
2911#line 88
2912 __cil_tmp41 = (__u8 )1;
2913#line 88
2914 __cil_tmp42 = (__u16 )516;
2915#line 88
2916 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp41, __cil_tmp42);
2917 }
2918#line 88
2919 goto switch_break;
2920 case_34:
2921 {
2922#line 89
2923 __cil_tmp43 = (__u8 )1;
2924#line 89
2925 __cil_tmp44 = (__u16 )517;
2926#line 89
2927 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp43, __cil_tmp44);
2928 }
2929#line 89
2930 goto switch_break;
2931 case_35:
2932 {
2933#line 90
2934 __cil_tmp45 = (__u8 )1;
2935#line 90
2936 __cil_tmp46 = (__u16 )518;
2937#line 90
2938 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp45, __cil_tmp46);
2939 }
2940#line 90
2941 goto switch_break;
2942 case_36:
2943 {
2944#line 91
2945 __cil_tmp47 = (__u8 )1;
2946#line 91
2947 __cil_tmp48 = (__u16 )519;
2948#line 91
2949 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp47, __cil_tmp48);
2950 }
2951#line 91
2952 goto switch_break;
2953 case_37:
2954 {
2955#line 92
2956 __cil_tmp49 = (__u8 )1;
2957#line 92
2958 __cil_tmp50 = (__u16 )520;
2959#line 92
2960 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp49, __cil_tmp50);
2961 }
2962#line 92
2963 goto switch_break;
2964 case_38:
2965 {
2966#line 93
2967 __cil_tmp51 = (__u8 )1;
2968#line 93
2969 __cil_tmp52 = (__u16 )521;
2970#line 93
2971 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp51, __cil_tmp52);
2972 }
2973#line 93
2974 goto switch_break;
2975 case_39:
2976 {
2977#line 94
2978 __cil_tmp53 = (__u8 )1;
2979#line 94
2980 __cil_tmp54 = (__u16 )512;
2981#line 94
2982 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp53, __cil_tmp54);
2983 }
2984#line 94
2985 goto switch_break;
2986 case_40:
2987 {
2988#line 95
2989 __cil_tmp55 = (__u8 )1;
2990#line 95
2991 __cil_tmp56 = (__u16 )207;
2992#line 95
2993 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp55, __cil_tmp56);
2994 }
2995#line 95
2996 goto switch_break;
2997 case_41:
2998 {
2999#line 96
3000 __cil_tmp57 = (__u8 )1;
3001#line 96
3002 __cil_tmp58 = (__u16 )223;
3003#line 96
3004 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp57, __cil_tmp58);
3005 }
3006#line 96
3007 goto switch_break;
3008 case_43:
3009 {
3010#line 97
3011 __cil_tmp59 = (__u8 )1;
3012#line 97
3013 __cil_tmp60 = (__u16 )15;
3014#line 97
3015 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp59, __cil_tmp60);
3016 }
3017#line 97
3018 goto switch_break;
3019 case_63:
3020 {
3021#line 99
3022 __cil_tmp61 = (__u8 )1;
3023#line 99
3024 __cil_tmp62 = (__u16 )356;
3025#line 99
3026 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp61, __cil_tmp62);
3027 }
3028#line 99
3029 goto switch_break;
3030 case_74:
3031 {
3032#line 100
3033 __cil_tmp63 = (__u8 )1;
3034#line 100
3035 __cil_tmp64 = (__u16 )167;
3036#line 100
3037 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp63, __cil_tmp64);
3038 }
3039#line 100
3040 goto switch_break;
3041 case_75:
3042 {
3043#line 101
3044 __cil_tmp65 = (__u8 )1;
3045#line 101
3046 __cil_tmp66 = (__u16 )402;
3047#line 101
3048 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp65, __cil_tmp66);
3049 }
3050#line 101
3051 goto switch_break;
3052 case_77:
3053 {
3054#line 102
3055 __cil_tmp67 = (__u8 )1;
3056#line 102
3057 __cil_tmp68 = (__u16 )128;
3058#line 102
3059 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp67, __cil_tmp68);
3060 }
3061#line 102
3062 goto switch_break;
3063 case_78:
3064 {
3065#line 103
3066 __cil_tmp69 = (__u8 )1;
3067#line 103
3068 __cil_tmp70 = (__u16 )403;
3069#line 103
3070 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp69, __cil_tmp70);
3071 }
3072#line 103
3073 goto switch_break;
3074 case_81:
3075 {
3076#line 105
3077 __cil_tmp71 = (__u8 )1;
3078#line 105
3079 __cil_tmp72 = (__u16 )114;
3080#line 105
3081 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp71, __cil_tmp72);
3082 }
3083#line 105
3084 goto switch_break;
3085 case_82:
3086 {
3087#line 107
3088 __cil_tmp73 = (__u8 )1;
3089#line 107
3090 __cil_tmp74 = (__u16 )115;
3091#line 107
3092 hid_map_usage_clear(hi, usage, bit, max, __cil_tmp73, __cil_tmp74);
3093 }
3094#line 107
3095 goto switch_break;
3096 switch_default:
3097#line 119
3098 return (-1);
3099 } else {
3100 switch_break: ;
3101 }
3102 }
3103 }
3104 }
3105#line 121
3106 return (1);
3107}
3108}
3109#line 124 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3110static struct hid_device_id const twinhan_devices[1] = { {(__u16 )3, (unsigned short)0, (__u32 )25171, (__u32 )256, 0UL}};
3111#line 128
3112extern struct hid_device_id const __mod_hid_device_table __attribute__((__unused__,
3113__alias__("twinhan_devices"))) ;
3114#line 130 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3115static struct hid_driver twinhan_driver =
3116#line 130
3117 {(char *)"twinhan", twinhan_devices, {(struct list_head *)0, (struct list_head *)0},
3118 {{{{{0U}}, 0U, 0U, (void *)0}}}, (int (*)(struct hid_device *dev , struct hid_device_id const *id ))0,
3119 (void (*)(struct hid_device *dev ))0, (struct hid_report_id const *)0, (int (*)(struct hid_device *hdev ,
3120 struct hid_report *report ,
3121 u8 *data ,
3122 int size ))0,
3123 (struct hid_usage_id const *)0, (int (*)(struct hid_device *hdev , struct hid_field *field ,
3124 struct hid_usage *usage , __s32 value ))0,
3125 (__u8 *(*)(struct hid_device *hdev , __u8 *buf , unsigned int *size ))0, & twinhan_input_mapping,
3126 (int (*)(struct hid_device *hdev , struct hid_input *hidinput , struct hid_field *field ,
3127 struct hid_usage *usage , unsigned long **bit , int *max ))0, (void (*)(struct hid_device *hdev ,
3128 struct hid_field *field ,
3129 struct hid_usage *usage ))0,
3130 (int (*)(struct hid_device *hdev , pm_message_t message ))0, (int (*)(struct hid_device *hdev ))0,
3131 (int (*)(struct hid_device *hdev ))0, {(char const *)0, (struct bus_type *)0,
3132 (struct module *)0, (char const *)0,
3133 (_Bool)0, (struct of_device_id const *)0,
3134 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
3135 (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
3136 pm_message_t state ))0,
3137 (int (*)(struct device *dev ))0, (struct attribute_group const **)0,
3138 (struct dev_pm_ops const *)0, (struct driver_private *)0}};
3139#line 136
3140static int twinhan_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
3141#line 136 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3142static int twinhan_init(void)
3143{ int tmp ;
3144
3145 {
3146 {
3147#line 138
3148 tmp = (int )__hid_register_driver(& twinhan_driver, & __this_module, "hid_twinhan");
3149 }
3150#line 138
3151 return (tmp);
3152}
3153}
3154#line 141
3155static void twinhan_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
3156#line 141 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3157static void twinhan_exit(void)
3158{
3159
3160 {
3161 {
3162#line 143
3163 hid_unregister_driver(& twinhan_driver);
3164 }
3165#line 144
3166 return;
3167}
3168}
3169#line 146 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3170int init_module(void)
3171{ int tmp ;
3172
3173 {
3174 {
3175#line 146
3176 tmp = twinhan_init();
3177 }
3178#line 146
3179 return (tmp);
3180}
3181}
3182#line 147 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3183void cleanup_module(void)
3184{
3185
3186 {
3187 {
3188#line 147
3189 twinhan_exit();
3190 }
3191#line 147
3192 return;
3193}
3194}
3195#line 148 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3196static char const __mod_license148[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
3197__aligned__(1))) =
3198#line 148
3199 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3200 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3201 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
3202#line 166
3203void ldv_check_final_state(void) ;
3204#line 172
3205extern void ldv_initialize(void) ;
3206#line 175
3207extern int __VERIFIER_nondet_int(void) ;
3208#line 178 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3209int LDV_IN_INTERRUPT ;
3210#line 181 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3211void main(void)
3212{ struct hid_device *var_group1 ;
3213 struct hid_input *var_group2 ;
3214 struct hid_field *var_twinhan_input_mapping_0_p2 ;
3215 struct hid_usage *var_twinhan_input_mapping_0_p3 ;
3216 unsigned long **var_twinhan_input_mapping_0_p4 ;
3217 int *var_twinhan_input_mapping_0_p5 ;
3218 int tmp ;
3219 int tmp___0 ;
3220 int tmp___1 ;
3221
3222 {
3223 {
3224#line 209
3225 LDV_IN_INTERRUPT = 1;
3226#line 218
3227 ldv_initialize();
3228#line 227
3229 tmp = twinhan_init();
3230 }
3231#line 227
3232 if (tmp) {
3233#line 228
3234 goto ldv_final;
3235 } else {
3236
3237 }
3238 {
3239#line 232
3240 while (1) {
3241 while_continue: ;
3242 {
3243#line 232
3244 tmp___1 = __VERIFIER_nondet_int();
3245 }
3246#line 232
3247 if (tmp___1) {
3248
3249 } else {
3250#line 232
3251 goto while_break;
3252 }
3253 {
3254#line 235
3255 tmp___0 = __VERIFIER_nondet_int();
3256 }
3257#line 237
3258 if (tmp___0 == 0) {
3259#line 237
3260 goto case_0;
3261 } else {
3262 {
3263#line 253
3264 goto switch_default;
3265#line 235
3266 if (0) {
3267 case_0:
3268 {
3269#line 245
3270 twinhan_input_mapping(var_group1, var_group2, var_twinhan_input_mapping_0_p2,
3271 var_twinhan_input_mapping_0_p3, var_twinhan_input_mapping_0_p4,
3272 var_twinhan_input_mapping_0_p5);
3273 }
3274#line 252
3275 goto switch_break;
3276 switch_default:
3277#line 253
3278 goto switch_break;
3279 } else {
3280 switch_break: ;
3281 }
3282 }
3283 }
3284 }
3285 while_break: ;
3286 }
3287 {
3288#line 268
3289 twinhan_exit();
3290 }
3291 ldv_final:
3292 {
3293#line 271
3294 ldv_check_final_state();
3295 }
3296#line 274
3297 return;
3298}
3299}
3300#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3301void ldv_blast_assert(void)
3302{
3303
3304 {
3305 ERROR:
3306#line 6
3307 goto ERROR;
3308}
3309}
3310#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3311extern int __VERIFIER_nondet_int(void) ;
3312#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3313int ldv_mutex = 1;
3314#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3315int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3316{ int nondetermined ;
3317
3318 {
3319#line 29
3320 if (ldv_mutex == 1) {
3321
3322 } else {
3323 {
3324#line 29
3325 ldv_blast_assert();
3326 }
3327 }
3328 {
3329#line 32
3330 nondetermined = __VERIFIER_nondet_int();
3331 }
3332#line 35
3333 if (nondetermined) {
3334#line 38
3335 ldv_mutex = 2;
3336#line 40
3337 return (0);
3338 } else {
3339#line 45
3340 return (-4);
3341 }
3342}
3343}
3344#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3345int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3346{ int nondetermined ;
3347
3348 {
3349#line 57
3350 if (ldv_mutex == 1) {
3351
3352 } else {
3353 {
3354#line 57
3355 ldv_blast_assert();
3356 }
3357 }
3358 {
3359#line 60
3360 nondetermined = __VERIFIER_nondet_int();
3361 }
3362#line 63
3363 if (nondetermined) {
3364#line 66
3365 ldv_mutex = 2;
3366#line 68
3367 return (0);
3368 } else {
3369#line 73
3370 return (-4);
3371 }
3372}
3373}
3374#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3375int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3376{ int atomic_value_after_dec ;
3377
3378 {
3379#line 83
3380 if (ldv_mutex == 1) {
3381
3382 } else {
3383 {
3384#line 83
3385 ldv_blast_assert();
3386 }
3387 }
3388 {
3389#line 86
3390 atomic_value_after_dec = __VERIFIER_nondet_int();
3391 }
3392#line 89
3393 if (atomic_value_after_dec == 0) {
3394#line 92
3395 ldv_mutex = 2;
3396#line 94
3397 return (1);
3398 } else {
3399
3400 }
3401#line 98
3402 return (0);
3403}
3404}
3405#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3406void mutex_lock(struct mutex *lock )
3407{
3408
3409 {
3410#line 108
3411 if (ldv_mutex == 1) {
3412
3413 } else {
3414 {
3415#line 108
3416 ldv_blast_assert();
3417 }
3418 }
3419#line 110
3420 ldv_mutex = 2;
3421#line 111
3422 return;
3423}
3424}
3425#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3426int mutex_trylock(struct mutex *lock )
3427{ int nondetermined ;
3428
3429 {
3430#line 121
3431 if (ldv_mutex == 1) {
3432
3433 } else {
3434 {
3435#line 121
3436 ldv_blast_assert();
3437 }
3438 }
3439 {
3440#line 124
3441 nondetermined = __VERIFIER_nondet_int();
3442 }
3443#line 127
3444 if (nondetermined) {
3445#line 130
3446 ldv_mutex = 2;
3447#line 132
3448 return (1);
3449 } else {
3450#line 137
3451 return (0);
3452 }
3453}
3454}
3455#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3456void mutex_unlock(struct mutex *lock )
3457{
3458
3459 {
3460#line 147
3461 if (ldv_mutex == 2) {
3462
3463 } else {
3464 {
3465#line 147
3466 ldv_blast_assert();
3467 }
3468 }
3469#line 149
3470 ldv_mutex = 1;
3471#line 150
3472 return;
3473}
3474}
3475#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3476void ldv_check_final_state(void)
3477{
3478
3479 {
3480#line 156
3481 if (ldv_mutex == 1) {
3482
3483 } else {
3484 {
3485#line 156
3486 ldv_blast_assert();
3487 }
3488 }
3489#line 157
3490 return;
3491}
3492}
3493#line 283 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/233/dscv_tempdir/dscv/ri/32_1/drivers/hid/hid-twinhan.c.common.c"
3494long s__builtin_expect(long val , long res )
3495{
3496
3497 {
3498#line 284
3499 return (val);
3500}
3501}