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