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