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