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 29 "include/asm-generic/int-ll64.h"
17typedef long long __s64;
18#line 30 "include/asm-generic/int-ll64.h"
19typedef unsigned long long __u64;
20#line 43 "include/asm-generic/int-ll64.h"
21typedef unsigned char u8;
22#line 45 "include/asm-generic/int-ll64.h"
23typedef short s16;
24#line 46 "include/asm-generic/int-ll64.h"
25typedef unsigned short u16;
26#line 48 "include/asm-generic/int-ll64.h"
27typedef int s32;
28#line 49 "include/asm-generic/int-ll64.h"
29typedef unsigned int u32;
30#line 51 "include/asm-generic/int-ll64.h"
31typedef long long s64;
32#line 52 "include/asm-generic/int-ll64.h"
33typedef unsigned long long u64;
34#line 14 "include/asm-generic/posix_types.h"
35typedef long __kernel_long_t;
36#line 15 "include/asm-generic/posix_types.h"
37typedef unsigned long __kernel_ulong_t;
38#line 31 "include/asm-generic/posix_types.h"
39typedef int __kernel_pid_t;
40#line 52 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_uid32_t;
42#line 53 "include/asm-generic/posix_types.h"
43typedef unsigned int __kernel_gid32_t;
44#line 75 "include/asm-generic/posix_types.h"
45typedef __kernel_ulong_t __kernel_size_t;
46#line 76 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_ssize_t;
48#line 91 "include/asm-generic/posix_types.h"
49typedef long long __kernel_loff_t;
50#line 92 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_time_t;
52#line 93 "include/asm-generic/posix_types.h"
53typedef __kernel_long_t __kernel_clock_t;
54#line 94 "include/asm-generic/posix_types.h"
55typedef int __kernel_timer_t;
56#line 95 "include/asm-generic/posix_types.h"
57typedef int __kernel_clockid_t;
58#line 21 "include/linux/types.h"
59typedef __u32 __kernel_dev_t;
60#line 24 "include/linux/types.h"
61typedef __kernel_dev_t dev_t;
62#line 27 "include/linux/types.h"
63typedef unsigned short umode_t;
64#line 30 "include/linux/types.h"
65typedef __kernel_pid_t pid_t;
66#line 35 "include/linux/types.h"
67typedef __kernel_clockid_t clockid_t;
68#line 38 "include/linux/types.h"
69typedef _Bool bool;
70#line 40 "include/linux/types.h"
71typedef __kernel_uid32_t uid_t;
72#line 41 "include/linux/types.h"
73typedef __kernel_gid32_t gid_t;
74#line 54 "include/linux/types.h"
75typedef __kernel_loff_t loff_t;
76#line 63 "include/linux/types.h"
77typedef __kernel_size_t size_t;
78#line 68 "include/linux/types.h"
79typedef __kernel_ssize_t ssize_t;
80#line 78 "include/linux/types.h"
81typedef __kernel_time_t time_t;
82#line 111 "include/linux/types.h"
83typedef __s32 int32_t;
84#line 115 "include/linux/types.h"
85typedef __u8 uint8_t;
86#line 117 "include/linux/types.h"
87typedef __u32 uint32_t;
88#line 142 "include/linux/types.h"
89typedef unsigned long sector_t;
90#line 143 "include/linux/types.h"
91typedef unsigned long blkcnt_t;
92#line 202 "include/linux/types.h"
93typedef unsigned int gfp_t;
94#line 203 "include/linux/types.h"
95typedef unsigned int fmode_t;
96#line 206 "include/linux/types.h"
97typedef u64 phys_addr_t;
98#line 211 "include/linux/types.h"
99typedef phys_addr_t resource_size_t;
100#line 221 "include/linux/types.h"
101struct __anonstruct_atomic_t_6 {
102 int counter ;
103};
104#line 221 "include/linux/types.h"
105typedef struct __anonstruct_atomic_t_6 atomic_t;
106#line 226 "include/linux/types.h"
107struct __anonstruct_atomic64_t_7 {
108 long counter ;
109};
110#line 226 "include/linux/types.h"
111typedef struct __anonstruct_atomic64_t_7 atomic64_t;
112#line 227 "include/linux/types.h"
113struct list_head {
114 struct list_head *next ;
115 struct list_head *prev ;
116};
117#line 232
118struct hlist_node;
119#line 232 "include/linux/types.h"
120struct hlist_head {
121 struct hlist_node *first ;
122};
123#line 236 "include/linux/types.h"
124struct hlist_node {
125 struct hlist_node *next ;
126 struct hlist_node **pprev ;
127};
128#line 247 "include/linux/types.h"
129struct rcu_head {
130 struct rcu_head *next ;
131 void (*func)(struct rcu_head * ) ;
132};
133#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
134struct module;
135#line 55
136struct module;
137#line 146 "include/linux/init.h"
138typedef void (*ctor_fn_t)(void);
139#line 46 "include/linux/dynamic_debug.h"
140struct device;
141#line 46
142struct device;
143#line 57
144struct completion;
145#line 57
146struct completion;
147#line 58
148struct pt_regs;
149#line 58
150struct pt_regs;
151#line 348 "include/linux/kernel.h"
152struct pid;
153#line 348
154struct pid;
155#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h"
156struct timespec;
157#line 112
158struct timespec;
159#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h"
160struct page;
161#line 58
162struct page;
163#line 26 "include/asm-generic/getorder.h"
164struct task_struct;
165#line 26
166struct task_struct;
167#line 28
168struct mm_struct;
169#line 28
170struct mm_struct;
171#line 268 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/segment.h"
172struct pt_regs {
173 unsigned long r15 ;
174 unsigned long r14 ;
175 unsigned long r13 ;
176 unsigned long r12 ;
177 unsigned long bp ;
178 unsigned long bx ;
179 unsigned long r11 ;
180 unsigned long r10 ;
181 unsigned long r9 ;
182 unsigned long r8 ;
183 unsigned long ax ;
184 unsigned long cx ;
185 unsigned long dx ;
186 unsigned long si ;
187 unsigned long di ;
188 unsigned long orig_ax ;
189 unsigned long ip ;
190 unsigned long cs ;
191 unsigned long flags ;
192 unsigned long sp ;
193 unsigned long ss ;
194};
195#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
196struct __anonstruct_ldv_2180_13 {
197 unsigned int a ;
198 unsigned int b ;
199};
200#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
201struct __anonstruct_ldv_2195_14 {
202 u16 limit0 ;
203 u16 base0 ;
204 unsigned char base1 ;
205 unsigned char type : 4 ;
206 unsigned char s : 1 ;
207 unsigned char dpl : 2 ;
208 unsigned char p : 1 ;
209 unsigned char limit : 4 ;
210 unsigned char avl : 1 ;
211 unsigned char l : 1 ;
212 unsigned char d : 1 ;
213 unsigned char g : 1 ;
214 unsigned char base2 ;
215};
216#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
217union __anonunion_ldv_2196_12 {
218 struct __anonstruct_ldv_2180_13 ldv_2180 ;
219 struct __anonstruct_ldv_2195_14 ldv_2195 ;
220};
221#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
222struct desc_struct {
223 union __anonunion_ldv_2196_12 ldv_2196 ;
224};
225#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
226typedef unsigned long pgdval_t;
227#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
228typedef unsigned long pgprotval_t;
229#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
230struct pgprot {
231 pgprotval_t pgprot ;
232};
233#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
234typedef struct pgprot pgprot_t;
235#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
236struct __anonstruct_pgd_t_16 {
237 pgdval_t pgd ;
238};
239#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
240typedef struct __anonstruct_pgd_t_16 pgd_t;
241#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
242typedef struct page *pgtable_t;
243#line 290
244struct file;
245#line 290
246struct file;
247#line 305
248struct seq_file;
249#line 305
250struct seq_file;
251#line 337
252struct thread_struct;
253#line 337
254struct thread_struct;
255#line 339
256struct cpumask;
257#line 339
258struct cpumask;
259#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
260struct arch_spinlock;
261#line 327
262struct arch_spinlock;
263#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
264struct kernel_vm86_regs {
265 struct pt_regs pt ;
266 unsigned short es ;
267 unsigned short __esh ;
268 unsigned short ds ;
269 unsigned short __dsh ;
270 unsigned short fs ;
271 unsigned short __fsh ;
272 unsigned short gs ;
273 unsigned short __gsh ;
274};
275#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
276union __anonunion_ldv_2824_19 {
277 struct pt_regs *regs ;
278 struct kernel_vm86_regs *vm86 ;
279};
280#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
281struct math_emu_info {
282 long ___orig_eip ;
283 union __anonunion_ldv_2824_19 ldv_2824 ;
284};
285#line 306 "include/linux/bitmap.h"
286struct bug_entry {
287 int bug_addr_disp ;
288 int file_disp ;
289 unsigned short line ;
290 unsigned short flags ;
291};
292#line 89 "include/linux/bug.h"
293struct cpumask {
294 unsigned long bits[64U] ;
295};
296#line 14 "include/linux/cpumask.h"
297typedef struct cpumask cpumask_t;
298#line 637 "include/linux/cpumask.h"
299typedef struct cpumask *cpumask_var_t;
300#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
301struct static_key;
302#line 234
303struct static_key;
304#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
305struct i387_fsave_struct {
306 u32 cwd ;
307 u32 swd ;
308 u32 twd ;
309 u32 fip ;
310 u32 fcs ;
311 u32 foo ;
312 u32 fos ;
313 u32 st_space[20U] ;
314 u32 status ;
315};
316#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
317struct __anonstruct_ldv_5180_24 {
318 u64 rip ;
319 u64 rdp ;
320};
321#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
322struct __anonstruct_ldv_5186_25 {
323 u32 fip ;
324 u32 fcs ;
325 u32 foo ;
326 u32 fos ;
327};
328#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
329union __anonunion_ldv_5187_23 {
330 struct __anonstruct_ldv_5180_24 ldv_5180 ;
331 struct __anonstruct_ldv_5186_25 ldv_5186 ;
332};
333#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
334union __anonunion_ldv_5196_26 {
335 u32 padding1[12U] ;
336 u32 sw_reserved[12U] ;
337};
338#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
339struct i387_fxsave_struct {
340 u16 cwd ;
341 u16 swd ;
342 u16 twd ;
343 u16 fop ;
344 union __anonunion_ldv_5187_23 ldv_5187 ;
345 u32 mxcsr ;
346 u32 mxcsr_mask ;
347 u32 st_space[32U] ;
348 u32 xmm_space[64U] ;
349 u32 padding[12U] ;
350 union __anonunion_ldv_5196_26 ldv_5196 ;
351};
352#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
353struct i387_soft_struct {
354 u32 cwd ;
355 u32 swd ;
356 u32 twd ;
357 u32 fip ;
358 u32 fcs ;
359 u32 foo ;
360 u32 fos ;
361 u32 st_space[20U] ;
362 u8 ftop ;
363 u8 changed ;
364 u8 lookahead ;
365 u8 no_update ;
366 u8 rm ;
367 u8 alimit ;
368 struct math_emu_info *info ;
369 u32 entry_eip ;
370};
371#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
372struct ymmh_struct {
373 u32 ymmh_space[64U] ;
374};
375#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
376struct xsave_hdr_struct {
377 u64 xstate_bv ;
378 u64 reserved1[2U] ;
379 u64 reserved2[5U] ;
380};
381#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
382struct xsave_struct {
383 struct i387_fxsave_struct i387 ;
384 struct xsave_hdr_struct xsave_hdr ;
385 struct ymmh_struct ymmh ;
386};
387#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
388union thread_xstate {
389 struct i387_fsave_struct fsave ;
390 struct i387_fxsave_struct fxsave ;
391 struct i387_soft_struct soft ;
392 struct xsave_struct xsave ;
393};
394#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
395struct fpu {
396 unsigned int last_cpu ;
397 unsigned int has_fpu ;
398 union thread_xstate *state ;
399};
400#line 433
401struct kmem_cache;
402#line 434
403struct perf_event;
404#line 434
405struct perf_event;
406#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
407struct thread_struct {
408 struct desc_struct tls_array[3U] ;
409 unsigned long sp0 ;
410 unsigned long sp ;
411 unsigned long usersp ;
412 unsigned short es ;
413 unsigned short ds ;
414 unsigned short fsindex ;
415 unsigned short gsindex ;
416 unsigned long fs ;
417 unsigned long gs ;
418 struct perf_event *ptrace_bps[4U] ;
419 unsigned long debugreg6 ;
420 unsigned long ptrace_dr7 ;
421 unsigned long cr2 ;
422 unsigned long trap_nr ;
423 unsigned long error_code ;
424 struct fpu fpu ;
425 unsigned long *io_bitmap_ptr ;
426 unsigned long iopl ;
427 unsigned int io_bitmap_max ;
428};
429#line 23 "include/asm-generic/atomic-long.h"
430typedef atomic64_t atomic_long_t;
431#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
432typedef u16 __ticket_t;
433#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
434typedef u32 __ticketpair_t;
435#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
436struct __raw_tickets {
437 __ticket_t head ;
438 __ticket_t tail ;
439};
440#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
441union __anonunion_ldv_5907_29 {
442 __ticketpair_t head_tail ;
443 struct __raw_tickets tickets ;
444};
445#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
446struct arch_spinlock {
447 union __anonunion_ldv_5907_29 ldv_5907 ;
448};
449#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
450typedef struct arch_spinlock arch_spinlock_t;
451#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
452struct __anonstruct_ldv_5914_31 {
453 u32 read ;
454 s32 write ;
455};
456#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
457union __anonunion_arch_rwlock_t_30 {
458 s64 lock ;
459 struct __anonstruct_ldv_5914_31 ldv_5914 ;
460};
461#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
462typedef union __anonunion_arch_rwlock_t_30 arch_rwlock_t;
463#line 34
464struct lockdep_map;
465#line 34
466struct lockdep_map;
467#line 55 "include/linux/debug_locks.h"
468struct stack_trace {
469 unsigned int nr_entries ;
470 unsigned int max_entries ;
471 unsigned long *entries ;
472 int skip ;
473};
474#line 26 "include/linux/stacktrace.h"
475struct lockdep_subclass_key {
476 char __one_byte ;
477};
478#line 53 "include/linux/lockdep.h"
479struct lock_class_key {
480 struct lockdep_subclass_key subkeys[8U] ;
481};
482#line 59 "include/linux/lockdep.h"
483struct lock_class {
484 struct list_head hash_entry ;
485 struct list_head lock_entry ;
486 struct lockdep_subclass_key *key ;
487 unsigned int subclass ;
488 unsigned int dep_gen_id ;
489 unsigned long usage_mask ;
490 struct stack_trace usage_traces[13U] ;
491 struct list_head locks_after ;
492 struct list_head locks_before ;
493 unsigned int version ;
494 unsigned long ops ;
495 char const *name ;
496 int name_version ;
497 unsigned long contention_point[4U] ;
498 unsigned long contending_point[4U] ;
499};
500#line 144 "include/linux/lockdep.h"
501struct lockdep_map {
502 struct lock_class_key *key ;
503 struct lock_class *class_cache[2U] ;
504 char const *name ;
505 int cpu ;
506 unsigned long ip ;
507};
508#line 187 "include/linux/lockdep.h"
509struct held_lock {
510 u64 prev_chain_key ;
511 unsigned long acquire_ip ;
512 struct lockdep_map *instance ;
513 struct lockdep_map *nest_lock ;
514 u64 waittime_stamp ;
515 u64 holdtime_stamp ;
516 unsigned short class_idx : 13 ;
517 unsigned char irq_context : 2 ;
518 unsigned char trylock : 1 ;
519 unsigned char read : 2 ;
520 unsigned char check : 2 ;
521 unsigned char hardirqs_off : 1 ;
522 unsigned short references : 11 ;
523};
524#line 556 "include/linux/lockdep.h"
525struct raw_spinlock {
526 arch_spinlock_t raw_lock ;
527 unsigned int magic ;
528 unsigned int owner_cpu ;
529 void *owner ;
530 struct lockdep_map dep_map ;
531};
532#line 32 "include/linux/spinlock_types.h"
533typedef struct raw_spinlock raw_spinlock_t;
534#line 33 "include/linux/spinlock_types.h"
535struct __anonstruct_ldv_6122_33 {
536 u8 __padding[24U] ;
537 struct lockdep_map dep_map ;
538};
539#line 33 "include/linux/spinlock_types.h"
540union __anonunion_ldv_6123_32 {
541 struct raw_spinlock rlock ;
542 struct __anonstruct_ldv_6122_33 ldv_6122 ;
543};
544#line 33 "include/linux/spinlock_types.h"
545struct spinlock {
546 union __anonunion_ldv_6123_32 ldv_6123 ;
547};
548#line 76 "include/linux/spinlock_types.h"
549typedef struct spinlock spinlock_t;
550#line 23 "include/linux/rwlock_types.h"
551struct __anonstruct_rwlock_t_34 {
552 arch_rwlock_t raw_lock ;
553 unsigned int magic ;
554 unsigned int owner_cpu ;
555 void *owner ;
556 struct lockdep_map dep_map ;
557};
558#line 23 "include/linux/rwlock_types.h"
559typedef struct __anonstruct_rwlock_t_34 rwlock_t;
560#line 110 "include/linux/seqlock.h"
561struct seqcount {
562 unsigned int sequence ;
563};
564#line 121 "include/linux/seqlock.h"
565typedef struct seqcount seqcount_t;
566#line 254 "include/linux/seqlock.h"
567struct timespec {
568 __kernel_time_t tv_sec ;
569 long tv_nsec ;
570};
571#line 286 "include/linux/time.h"
572struct kstat {
573 u64 ino ;
574 dev_t dev ;
575 umode_t mode ;
576 unsigned int nlink ;
577 uid_t uid ;
578 gid_t gid ;
579 dev_t rdev ;
580 loff_t size ;
581 struct timespec atime ;
582 struct timespec mtime ;
583 struct timespec ctime ;
584 unsigned long blksize ;
585 unsigned long long blocks ;
586};
587#line 48 "include/linux/wait.h"
588struct __wait_queue_head {
589 spinlock_t lock ;
590 struct list_head task_list ;
591};
592#line 53 "include/linux/wait.h"
593typedef struct __wait_queue_head wait_queue_head_t;
594#line 98 "include/linux/nodemask.h"
595struct __anonstruct_nodemask_t_36 {
596 unsigned long bits[16U] ;
597};
598#line 98 "include/linux/nodemask.h"
599typedef struct __anonstruct_nodemask_t_36 nodemask_t;
600#line 670 "include/linux/mmzone.h"
601struct mutex {
602 atomic_t count ;
603 spinlock_t wait_lock ;
604 struct list_head wait_list ;
605 struct task_struct *owner ;
606 char const *name ;
607 void *magic ;
608 struct lockdep_map dep_map ;
609};
610#line 63 "include/linux/mutex.h"
611struct mutex_waiter {
612 struct list_head list ;
613 struct task_struct *task ;
614 void *magic ;
615};
616#line 171
617struct rw_semaphore;
618#line 171
619struct rw_semaphore;
620#line 172 "include/linux/mutex.h"
621struct rw_semaphore {
622 long count ;
623 raw_spinlock_t wait_lock ;
624 struct list_head wait_list ;
625 struct lockdep_map dep_map ;
626};
627#line 128 "include/linux/rwsem.h"
628struct completion {
629 unsigned int done ;
630 wait_queue_head_t wait ;
631};
632#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/e820.h"
633struct resource {
634 resource_size_t start ;
635 resource_size_t end ;
636 char const *name ;
637 unsigned long flags ;
638 struct resource *parent ;
639 struct resource *sibling ;
640 struct resource *child ;
641};
642#line 312 "include/linux/jiffies.h"
643union ktime {
644 s64 tv64 ;
645};
646#line 59 "include/linux/ktime.h"
647typedef union ktime ktime_t;
648#line 341
649struct tvec_base;
650#line 341
651struct tvec_base;
652#line 342 "include/linux/ktime.h"
653struct timer_list {
654 struct list_head entry ;
655 unsigned long expires ;
656 struct tvec_base *base ;
657 void (*function)(unsigned long ) ;
658 unsigned long data ;
659 int slack ;
660 int start_pid ;
661 void *start_site ;
662 char start_comm[16U] ;
663 struct lockdep_map lockdep_map ;
664};
665#line 289 "include/linux/timer.h"
666struct hrtimer;
667#line 289
668struct hrtimer;
669#line 290
670enum hrtimer_restart;
671#line 301
672struct workqueue_struct;
673#line 301
674struct workqueue_struct;
675#line 302
676struct work_struct;
677#line 302
678struct work_struct;
679#line 45 "include/linux/workqueue.h"
680struct work_struct {
681 atomic_long_t data ;
682 struct list_head entry ;
683 void (*func)(struct work_struct * ) ;
684 struct lockdep_map lockdep_map ;
685};
686#line 86 "include/linux/workqueue.h"
687struct delayed_work {
688 struct work_struct work ;
689 struct timer_list timer ;
690};
691#line 46 "include/linux/pm.h"
692struct pm_message {
693 int event ;
694};
695#line 52 "include/linux/pm.h"
696typedef struct pm_message pm_message_t;
697#line 53 "include/linux/pm.h"
698struct dev_pm_ops {
699 int (*prepare)(struct device * ) ;
700 void (*complete)(struct device * ) ;
701 int (*suspend)(struct device * ) ;
702 int (*resume)(struct device * ) ;
703 int (*freeze)(struct device * ) ;
704 int (*thaw)(struct device * ) ;
705 int (*poweroff)(struct device * ) ;
706 int (*restore)(struct device * ) ;
707 int (*suspend_late)(struct device * ) ;
708 int (*resume_early)(struct device * ) ;
709 int (*freeze_late)(struct device * ) ;
710 int (*thaw_early)(struct device * ) ;
711 int (*poweroff_late)(struct device * ) ;
712 int (*restore_early)(struct device * ) ;
713 int (*suspend_noirq)(struct device * ) ;
714 int (*resume_noirq)(struct device * ) ;
715 int (*freeze_noirq)(struct device * ) ;
716 int (*thaw_noirq)(struct device * ) ;
717 int (*poweroff_noirq)(struct device * ) ;
718 int (*restore_noirq)(struct device * ) ;
719 int (*runtime_suspend)(struct device * ) ;
720 int (*runtime_resume)(struct device * ) ;
721 int (*runtime_idle)(struct device * ) ;
722};
723#line 289
724enum rpm_status {
725 RPM_ACTIVE = 0,
726 RPM_RESUMING = 1,
727 RPM_SUSPENDED = 2,
728 RPM_SUSPENDING = 3
729} ;
730#line 296
731enum rpm_request {
732 RPM_REQ_NONE = 0,
733 RPM_REQ_IDLE = 1,
734 RPM_REQ_SUSPEND = 2,
735 RPM_REQ_AUTOSUSPEND = 3,
736 RPM_REQ_RESUME = 4
737} ;
738#line 304
739struct wakeup_source;
740#line 304
741struct wakeup_source;
742#line 494 "include/linux/pm.h"
743struct pm_subsys_data {
744 spinlock_t lock ;
745 unsigned int refcount ;
746};
747#line 499
748struct dev_pm_qos_request;
749#line 499
750struct pm_qos_constraints;
751#line 499 "include/linux/pm.h"
752struct dev_pm_info {
753 pm_message_t power_state ;
754 unsigned char can_wakeup : 1 ;
755 unsigned char async_suspend : 1 ;
756 bool is_prepared ;
757 bool is_suspended ;
758 bool ignore_children ;
759 spinlock_t lock ;
760 struct list_head entry ;
761 struct completion completion ;
762 struct wakeup_source *wakeup ;
763 bool wakeup_path ;
764 struct timer_list suspend_timer ;
765 unsigned long timer_expires ;
766 struct work_struct work ;
767 wait_queue_head_t wait_queue ;
768 atomic_t usage_count ;
769 atomic_t child_count ;
770 unsigned char disable_depth : 3 ;
771 unsigned char idle_notification : 1 ;
772 unsigned char request_pending : 1 ;
773 unsigned char deferred_resume : 1 ;
774 unsigned char run_wake : 1 ;
775 unsigned char runtime_auto : 1 ;
776 unsigned char no_callbacks : 1 ;
777 unsigned char irq_safe : 1 ;
778 unsigned char use_autosuspend : 1 ;
779 unsigned char timer_autosuspends : 1 ;
780 enum rpm_request request ;
781 enum rpm_status runtime_status ;
782 int runtime_error ;
783 int autosuspend_delay ;
784 unsigned long last_busy ;
785 unsigned long active_jiffies ;
786 unsigned long suspended_jiffies ;
787 unsigned long accounting_timestamp ;
788 ktime_t suspend_time ;
789 s64 max_time_suspended_ns ;
790 struct dev_pm_qos_request *pq_req ;
791 struct pm_subsys_data *subsys_data ;
792 struct pm_qos_constraints *constraints ;
793};
794#line 558 "include/linux/pm.h"
795struct dev_pm_domain {
796 struct dev_pm_ops ops ;
797};
798#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
799struct __anonstruct_mm_context_t_101 {
800 void *ldt ;
801 int size ;
802 unsigned short ia32_compat ;
803 struct mutex lock ;
804 void *vdso ;
805};
806#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
807typedef struct __anonstruct_mm_context_t_101 mm_context_t;
808#line 18 "include/asm-generic/pci_iomap.h"
809struct vm_area_struct;
810#line 18
811struct vm_area_struct;
812#line 835 "include/linux/sysctl.h"
813struct rb_node {
814 unsigned long rb_parent_color ;
815 struct rb_node *rb_right ;
816 struct rb_node *rb_left ;
817};
818#line 108 "include/linux/rbtree.h"
819struct rb_root {
820 struct rb_node *rb_node ;
821};
822#line 176
823struct nsproxy;
824#line 176
825struct nsproxy;
826#line 37 "include/linux/kmod.h"
827struct cred;
828#line 37
829struct cred;
830#line 18 "include/linux/elf.h"
831typedef __u64 Elf64_Addr;
832#line 19 "include/linux/elf.h"
833typedef __u16 Elf64_Half;
834#line 23 "include/linux/elf.h"
835typedef __u32 Elf64_Word;
836#line 24 "include/linux/elf.h"
837typedef __u64 Elf64_Xword;
838#line 193 "include/linux/elf.h"
839struct elf64_sym {
840 Elf64_Word st_name ;
841 unsigned char st_info ;
842 unsigned char st_other ;
843 Elf64_Half st_shndx ;
844 Elf64_Addr st_value ;
845 Elf64_Xword st_size ;
846};
847#line 201 "include/linux/elf.h"
848typedef struct elf64_sym Elf64_Sym;
849#line 445
850struct sock;
851#line 445
852struct sock;
853#line 446
854struct kobject;
855#line 446
856struct kobject;
857#line 447
858enum kobj_ns_type {
859 KOBJ_NS_TYPE_NONE = 0,
860 KOBJ_NS_TYPE_NET = 1,
861 KOBJ_NS_TYPES = 2
862} ;
863#line 453 "include/linux/elf.h"
864struct kobj_ns_type_operations {
865 enum kobj_ns_type type ;
866 void *(*grab_current_ns)(void) ;
867 void const *(*netlink_ns)(struct sock * ) ;
868 void const *(*initial_ns)(void) ;
869 void (*drop_ns)(void * ) ;
870};
871#line 57 "include/linux/kobject_ns.h"
872struct attribute {
873 char const *name ;
874 umode_t mode ;
875 struct lock_class_key *key ;
876 struct lock_class_key skey ;
877};
878#line 33 "include/linux/sysfs.h"
879struct attribute_group {
880 char const *name ;
881 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
882 struct attribute **attrs ;
883};
884#line 62 "include/linux/sysfs.h"
885struct bin_attribute {
886 struct attribute attr ;
887 size_t size ;
888 void *private ;
889 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
890 loff_t , size_t ) ;
891 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
892 loff_t , size_t ) ;
893 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
894};
895#line 98 "include/linux/sysfs.h"
896struct sysfs_ops {
897 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
898 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
899 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
900};
901#line 117
902struct sysfs_dirent;
903#line 117
904struct sysfs_dirent;
905#line 182 "include/linux/sysfs.h"
906struct kref {
907 atomic_t refcount ;
908};
909#line 49 "include/linux/kobject.h"
910struct kset;
911#line 49
912struct kobj_type;
913#line 49 "include/linux/kobject.h"
914struct kobject {
915 char const *name ;
916 struct list_head entry ;
917 struct kobject *parent ;
918 struct kset *kset ;
919 struct kobj_type *ktype ;
920 struct sysfs_dirent *sd ;
921 struct kref kref ;
922 unsigned char state_initialized : 1 ;
923 unsigned char state_in_sysfs : 1 ;
924 unsigned char state_add_uevent_sent : 1 ;
925 unsigned char state_remove_uevent_sent : 1 ;
926 unsigned char uevent_suppress : 1 ;
927};
928#line 107 "include/linux/kobject.h"
929struct kobj_type {
930 void (*release)(struct kobject * ) ;
931 struct sysfs_ops const *sysfs_ops ;
932 struct attribute **default_attrs ;
933 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
934 void const *(*namespace)(struct kobject * ) ;
935};
936#line 115 "include/linux/kobject.h"
937struct kobj_uevent_env {
938 char *envp[32U] ;
939 int envp_idx ;
940 char buf[2048U] ;
941 int buflen ;
942};
943#line 122 "include/linux/kobject.h"
944struct kset_uevent_ops {
945 int (* const filter)(struct kset * , struct kobject * ) ;
946 char const *(* const name)(struct kset * , struct kobject * ) ;
947 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
948};
949#line 139 "include/linux/kobject.h"
950struct kset {
951 struct list_head list ;
952 spinlock_t list_lock ;
953 struct kobject kobj ;
954 struct kset_uevent_ops const *uevent_ops ;
955};
956#line 215
957struct kernel_param;
958#line 215
959struct kernel_param;
960#line 216 "include/linux/kobject.h"
961struct kernel_param_ops {
962 int (*set)(char const * , struct kernel_param const * ) ;
963 int (*get)(char * , struct kernel_param const * ) ;
964 void (*free)(void * ) ;
965};
966#line 49 "include/linux/moduleparam.h"
967struct kparam_string;
968#line 49
969struct kparam_array;
970#line 49 "include/linux/moduleparam.h"
971union __anonunion_ldv_13363_134 {
972 void *arg ;
973 struct kparam_string const *str ;
974 struct kparam_array const *arr ;
975};
976#line 49 "include/linux/moduleparam.h"
977struct kernel_param {
978 char const *name ;
979 struct kernel_param_ops const *ops ;
980 u16 perm ;
981 s16 level ;
982 union __anonunion_ldv_13363_134 ldv_13363 ;
983};
984#line 61 "include/linux/moduleparam.h"
985struct kparam_string {
986 unsigned int maxlen ;
987 char *string ;
988};
989#line 67 "include/linux/moduleparam.h"
990struct kparam_array {
991 unsigned int max ;
992 unsigned int elemsize ;
993 unsigned int *num ;
994 struct kernel_param_ops const *ops ;
995 void *elem ;
996};
997#line 458 "include/linux/moduleparam.h"
998struct static_key {
999 atomic_t enabled ;
1000};
1001#line 225 "include/linux/jump_label.h"
1002struct tracepoint;
1003#line 225
1004struct tracepoint;
1005#line 226 "include/linux/jump_label.h"
1006struct tracepoint_func {
1007 void *func ;
1008 void *data ;
1009};
1010#line 29 "include/linux/tracepoint.h"
1011struct tracepoint {
1012 char const *name ;
1013 struct static_key key ;
1014 void (*regfunc)(void) ;
1015 void (*unregfunc)(void) ;
1016 struct tracepoint_func *funcs ;
1017};
1018#line 86 "include/linux/tracepoint.h"
1019struct kernel_symbol {
1020 unsigned long value ;
1021 char const *name ;
1022};
1023#line 27 "include/linux/export.h"
1024struct mod_arch_specific {
1025
1026};
1027#line 34 "include/linux/module.h"
1028struct module_param_attrs;
1029#line 34 "include/linux/module.h"
1030struct module_kobject {
1031 struct kobject kobj ;
1032 struct module *mod ;
1033 struct kobject *drivers_dir ;
1034 struct module_param_attrs *mp ;
1035};
1036#line 43 "include/linux/module.h"
1037struct module_attribute {
1038 struct attribute attr ;
1039 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1040 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1041 size_t ) ;
1042 void (*setup)(struct module * , char const * ) ;
1043 int (*test)(struct module * ) ;
1044 void (*free)(struct module * ) ;
1045};
1046#line 69
1047struct exception_table_entry;
1048#line 69
1049struct exception_table_entry;
1050#line 198
1051enum module_state {
1052 MODULE_STATE_LIVE = 0,
1053 MODULE_STATE_COMING = 1,
1054 MODULE_STATE_GOING = 2
1055} ;
1056#line 204 "include/linux/module.h"
1057struct module_ref {
1058 unsigned long incs ;
1059 unsigned long decs ;
1060};
1061#line 219
1062struct module_sect_attrs;
1063#line 219
1064struct module_notes_attrs;
1065#line 219
1066struct ftrace_event_call;
1067#line 219 "include/linux/module.h"
1068struct module {
1069 enum module_state state ;
1070 struct list_head list ;
1071 char name[56U] ;
1072 struct module_kobject mkobj ;
1073 struct module_attribute *modinfo_attrs ;
1074 char const *version ;
1075 char const *srcversion ;
1076 struct kobject *holders_dir ;
1077 struct kernel_symbol const *syms ;
1078 unsigned long const *crcs ;
1079 unsigned int num_syms ;
1080 struct kernel_param *kp ;
1081 unsigned int num_kp ;
1082 unsigned int num_gpl_syms ;
1083 struct kernel_symbol const *gpl_syms ;
1084 unsigned long const *gpl_crcs ;
1085 struct kernel_symbol const *unused_syms ;
1086 unsigned long const *unused_crcs ;
1087 unsigned int num_unused_syms ;
1088 unsigned int num_unused_gpl_syms ;
1089 struct kernel_symbol const *unused_gpl_syms ;
1090 unsigned long const *unused_gpl_crcs ;
1091 struct kernel_symbol const *gpl_future_syms ;
1092 unsigned long const *gpl_future_crcs ;
1093 unsigned int num_gpl_future_syms ;
1094 unsigned int num_exentries ;
1095 struct exception_table_entry *extable ;
1096 int (*init)(void) ;
1097 void *module_init ;
1098 void *module_core ;
1099 unsigned int init_size ;
1100 unsigned int core_size ;
1101 unsigned int init_text_size ;
1102 unsigned int core_text_size ;
1103 unsigned int init_ro_size ;
1104 unsigned int core_ro_size ;
1105 struct mod_arch_specific arch ;
1106 unsigned int taints ;
1107 unsigned int num_bugs ;
1108 struct list_head bug_list ;
1109 struct bug_entry *bug_table ;
1110 Elf64_Sym *symtab ;
1111 Elf64_Sym *core_symtab ;
1112 unsigned int num_symtab ;
1113 unsigned int core_num_syms ;
1114 char *strtab ;
1115 char *core_strtab ;
1116 struct module_sect_attrs *sect_attrs ;
1117 struct module_notes_attrs *notes_attrs ;
1118 char *args ;
1119 void *percpu ;
1120 unsigned int percpu_size ;
1121 unsigned int num_tracepoints ;
1122 struct tracepoint * const *tracepoints_ptrs ;
1123 unsigned int num_trace_bprintk_fmt ;
1124 char const **trace_bprintk_fmt_start ;
1125 struct ftrace_event_call **trace_events ;
1126 unsigned int num_trace_events ;
1127 struct list_head source_list ;
1128 struct list_head target_list ;
1129 struct task_struct *waiter ;
1130 void (*exit)(void) ;
1131 struct module_ref *refptr ;
1132 ctor_fn_t (**ctors)(void) ;
1133 unsigned int num_ctors ;
1134};
1135#line 88 "include/linux/kmemleak.h"
1136struct kmem_cache_cpu {
1137 void **freelist ;
1138 unsigned long tid ;
1139 struct page *page ;
1140 struct page *partial ;
1141 int node ;
1142 unsigned int stat[26U] ;
1143};
1144#line 55 "include/linux/slub_def.h"
1145struct kmem_cache_node {
1146 spinlock_t list_lock ;
1147 unsigned long nr_partial ;
1148 struct list_head partial ;
1149 atomic_long_t nr_slabs ;
1150 atomic_long_t total_objects ;
1151 struct list_head full ;
1152};
1153#line 66 "include/linux/slub_def.h"
1154struct kmem_cache_order_objects {
1155 unsigned long x ;
1156};
1157#line 76 "include/linux/slub_def.h"
1158struct kmem_cache {
1159 struct kmem_cache_cpu *cpu_slab ;
1160 unsigned long flags ;
1161 unsigned long min_partial ;
1162 int size ;
1163 int objsize ;
1164 int offset ;
1165 int cpu_partial ;
1166 struct kmem_cache_order_objects oo ;
1167 struct kmem_cache_order_objects max ;
1168 struct kmem_cache_order_objects min ;
1169 gfp_t allocflags ;
1170 int refcount ;
1171 void (*ctor)(void * ) ;
1172 int inuse ;
1173 int align ;
1174 int reserved ;
1175 char const *name ;
1176 struct list_head list ;
1177 struct kobject kobj ;
1178 int remote_node_defrag_ratio ;
1179 struct kmem_cache_node *node[1024U] ;
1180};
1181#line 15 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
1182struct klist_node;
1183#line 15
1184struct klist_node;
1185#line 37 "include/linux/klist.h"
1186struct klist_node {
1187 void *n_klist ;
1188 struct list_head n_node ;
1189 struct kref n_ref ;
1190};
1191#line 67
1192struct dma_map_ops;
1193#line 67 "include/linux/klist.h"
1194struct dev_archdata {
1195 void *acpi_handle ;
1196 struct dma_map_ops *dma_ops ;
1197 void *iommu ;
1198};
1199#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1200struct pdev_archdata {
1201
1202};
1203#line 17
1204struct device_private;
1205#line 17
1206struct device_private;
1207#line 18
1208struct device_driver;
1209#line 18
1210struct device_driver;
1211#line 19
1212struct driver_private;
1213#line 19
1214struct driver_private;
1215#line 20
1216struct class;
1217#line 20
1218struct class;
1219#line 21
1220struct subsys_private;
1221#line 21
1222struct subsys_private;
1223#line 22
1224struct bus_type;
1225#line 22
1226struct bus_type;
1227#line 23
1228struct device_node;
1229#line 23
1230struct device_node;
1231#line 24
1232struct iommu_ops;
1233#line 24
1234struct iommu_ops;
1235#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1236struct bus_attribute {
1237 struct attribute attr ;
1238 ssize_t (*show)(struct bus_type * , char * ) ;
1239 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
1240};
1241#line 51 "include/linux/device.h"
1242struct device_attribute;
1243#line 51
1244struct driver_attribute;
1245#line 51 "include/linux/device.h"
1246struct bus_type {
1247 char const *name ;
1248 char const *dev_name ;
1249 struct device *dev_root ;
1250 struct bus_attribute *bus_attrs ;
1251 struct device_attribute *dev_attrs ;
1252 struct driver_attribute *drv_attrs ;
1253 int (*match)(struct device * , struct device_driver * ) ;
1254 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1255 int (*probe)(struct device * ) ;
1256 int (*remove)(struct device * ) ;
1257 void (*shutdown)(struct device * ) ;
1258 int (*suspend)(struct device * , pm_message_t ) ;
1259 int (*resume)(struct device * ) ;
1260 struct dev_pm_ops const *pm ;
1261 struct iommu_ops *iommu_ops ;
1262 struct subsys_private *p ;
1263};
1264#line 125
1265struct device_type;
1266#line 182
1267struct of_device_id;
1268#line 182 "include/linux/device.h"
1269struct device_driver {
1270 char const *name ;
1271 struct bus_type *bus ;
1272 struct module *owner ;
1273 char const *mod_name ;
1274 bool suppress_bind_attrs ;
1275 struct of_device_id const *of_match_table ;
1276 int (*probe)(struct device * ) ;
1277 int (*remove)(struct device * ) ;
1278 void (*shutdown)(struct device * ) ;
1279 int (*suspend)(struct device * , pm_message_t ) ;
1280 int (*resume)(struct device * ) ;
1281 struct attribute_group const **groups ;
1282 struct dev_pm_ops const *pm ;
1283 struct driver_private *p ;
1284};
1285#line 245 "include/linux/device.h"
1286struct driver_attribute {
1287 struct attribute attr ;
1288 ssize_t (*show)(struct device_driver * , char * ) ;
1289 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
1290};
1291#line 299
1292struct class_attribute;
1293#line 299 "include/linux/device.h"
1294struct class {
1295 char const *name ;
1296 struct module *owner ;
1297 struct class_attribute *class_attrs ;
1298 struct device_attribute *dev_attrs ;
1299 struct bin_attribute *dev_bin_attrs ;
1300 struct kobject *dev_kobj ;
1301 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1302 char *(*devnode)(struct device * , umode_t * ) ;
1303 void (*class_release)(struct class * ) ;
1304 void (*dev_release)(struct device * ) ;
1305 int (*suspend)(struct device * , pm_message_t ) ;
1306 int (*resume)(struct device * ) ;
1307 struct kobj_ns_type_operations const *ns_type ;
1308 void const *(*namespace)(struct device * ) ;
1309 struct dev_pm_ops const *pm ;
1310 struct subsys_private *p ;
1311};
1312#line 394 "include/linux/device.h"
1313struct class_attribute {
1314 struct attribute attr ;
1315 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1316 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
1317 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
1318};
1319#line 447 "include/linux/device.h"
1320struct device_type {
1321 char const *name ;
1322 struct attribute_group const **groups ;
1323 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1324 char *(*devnode)(struct device * , umode_t * ) ;
1325 void (*release)(struct device * ) ;
1326 struct dev_pm_ops const *pm ;
1327};
1328#line 474 "include/linux/device.h"
1329struct device_attribute {
1330 struct attribute attr ;
1331 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1332 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
1333 size_t ) ;
1334};
1335#line 557 "include/linux/device.h"
1336struct device_dma_parameters {
1337 unsigned int max_segment_size ;
1338 unsigned long segment_boundary_mask ;
1339};
1340#line 567
1341struct dma_coherent_mem;
1342#line 567 "include/linux/device.h"
1343struct device {
1344 struct device *parent ;
1345 struct device_private *p ;
1346 struct kobject kobj ;
1347 char const *init_name ;
1348 struct device_type const *type ;
1349 struct mutex mutex ;
1350 struct bus_type *bus ;
1351 struct device_driver *driver ;
1352 void *platform_data ;
1353 struct dev_pm_info power ;
1354 struct dev_pm_domain *pm_domain ;
1355 int numa_node ;
1356 u64 *dma_mask ;
1357 u64 coherent_dma_mask ;
1358 struct device_dma_parameters *dma_parms ;
1359 struct list_head dma_pools ;
1360 struct dma_coherent_mem *dma_mem ;
1361 struct dev_archdata archdata ;
1362 struct device_node *of_node ;
1363 dev_t devt ;
1364 u32 id ;
1365 spinlock_t devres_lock ;
1366 struct list_head devres_head ;
1367 struct klist_node knode_class ;
1368 struct class *class ;
1369 struct attribute_group const **groups ;
1370 void (*release)(struct device * ) ;
1371};
1372#line 681 "include/linux/device.h"
1373struct wakeup_source {
1374 char const *name ;
1375 struct list_head entry ;
1376 spinlock_t lock ;
1377 struct timer_list timer ;
1378 unsigned long timer_expires ;
1379 ktime_t total_time ;
1380 ktime_t max_time ;
1381 ktime_t last_time ;
1382 unsigned long event_count ;
1383 unsigned long active_count ;
1384 unsigned long relax_count ;
1385 unsigned long hit_count ;
1386 unsigned char active : 1 ;
1387};
1388#line 12 "include/linux/mod_devicetable.h"
1389typedef unsigned long kernel_ulong_t;
1390#line 215 "include/linux/mod_devicetable.h"
1391struct of_device_id {
1392 char name[32U] ;
1393 char type[32U] ;
1394 char compatible[128U] ;
1395 void *data ;
1396};
1397#line 269 "include/linux/mod_devicetable.h"
1398struct input_device_id {
1399 kernel_ulong_t flags ;
1400 __u16 bustype ;
1401 __u16 vendor ;
1402 __u16 product ;
1403 __u16 version ;
1404 kernel_ulong_t evbit[1U] ;
1405 kernel_ulong_t keybit[12U] ;
1406 kernel_ulong_t relbit[1U] ;
1407 kernel_ulong_t absbit[1U] ;
1408 kernel_ulong_t mscbit[1U] ;
1409 kernel_ulong_t ledbit[1U] ;
1410 kernel_ulong_t sndbit[1U] ;
1411 kernel_ulong_t ffbit[2U] ;
1412 kernel_ulong_t swbit[1U] ;
1413 kernel_ulong_t driver_info ;
1414};
1415#line 492 "include/linux/mod_devicetable.h"
1416struct platform_device_id {
1417 char name[20U] ;
1418 kernel_ulong_t driver_data ;
1419};
1420#line 584
1421struct mfd_cell;
1422#line 584
1423struct mfd_cell;
1424#line 585 "include/linux/mod_devicetable.h"
1425struct platform_device {
1426 char const *name ;
1427 int id ;
1428 struct device dev ;
1429 u32 num_resources ;
1430 struct resource *resource ;
1431 struct platform_device_id const *id_entry ;
1432 struct mfd_cell *mfd_cell ;
1433 struct pdev_archdata archdata ;
1434};
1435#line 32 "include/linux/input.h"
1436struct input_id {
1437 __u16 bustype ;
1438 __u16 vendor ;
1439 __u16 product ;
1440 __u16 version ;
1441};
1442#line 49 "include/linux/input.h"
1443struct input_absinfo {
1444 __s32 value ;
1445 __s32 minimum ;
1446 __s32 maximum ;
1447 __s32 fuzz ;
1448 __s32 flat ;
1449 __s32 resolution ;
1450};
1451#line 77 "include/linux/input.h"
1452struct input_keymap_entry {
1453 __u8 flags ;
1454 __u8 len ;
1455 __u16 index ;
1456 __u32 keycode ;
1457 __u8 scancode[32U] ;
1458};
1459#line 101 "include/linux/input.h"
1460struct ff_replay {
1461 __u16 length ;
1462 __u16 delay ;
1463};
1464#line 961 "include/linux/input.h"
1465struct ff_trigger {
1466 __u16 button ;
1467 __u16 interval ;
1468};
1469#line 971 "include/linux/input.h"
1470struct ff_envelope {
1471 __u16 attack_length ;
1472 __u16 attack_level ;
1473 __u16 fade_length ;
1474 __u16 fade_level ;
1475};
1476#line 990 "include/linux/input.h"
1477struct ff_constant_effect {
1478 __s16 level ;
1479 struct ff_envelope envelope ;
1480};
1481#line 1000 "include/linux/input.h"
1482struct ff_ramp_effect {
1483 __s16 start_level ;
1484 __s16 end_level ;
1485 struct ff_envelope envelope ;
1486};
1487#line 1012 "include/linux/input.h"
1488struct ff_condition_effect {
1489 __u16 right_saturation ;
1490 __u16 left_saturation ;
1491 __s16 right_coeff ;
1492 __s16 left_coeff ;
1493 __u16 deadband ;
1494 __s16 center ;
1495};
1496#line 1033 "include/linux/input.h"
1497struct ff_periodic_effect {
1498 __u16 waveform ;
1499 __u16 period ;
1500 __s16 magnitude ;
1501 __s16 offset ;
1502 __u16 phase ;
1503 struct ff_envelope envelope ;
1504 __u32 custom_len ;
1505 __s16 *custom_data ;
1506};
1507#line 1064 "include/linux/input.h"
1508struct ff_rumble_effect {
1509 __u16 strong_magnitude ;
1510 __u16 weak_magnitude ;
1511};
1512#line 1077 "include/linux/input.h"
1513union __anonunion_u_136 {
1514 struct ff_constant_effect constant ;
1515 struct ff_ramp_effect ramp ;
1516 struct ff_periodic_effect periodic ;
1517 struct ff_condition_effect condition[2U] ;
1518 struct ff_rumble_effect rumble ;
1519};
1520#line 1077 "include/linux/input.h"
1521struct ff_effect {
1522 __u16 type ;
1523 __s16 id ;
1524 __u16 direction ;
1525 struct ff_trigger trigger ;
1526 struct ff_replay replay ;
1527 union __anonunion_u_136 u ;
1528};
1529#line 1119
1530struct block_device;
1531#line 1119
1532struct block_device;
1533#line 93 "include/linux/bit_spinlock.h"
1534struct hlist_bl_node;
1535#line 93 "include/linux/bit_spinlock.h"
1536struct hlist_bl_head {
1537 struct hlist_bl_node *first ;
1538};
1539#line 36 "include/linux/list_bl.h"
1540struct hlist_bl_node {
1541 struct hlist_bl_node *next ;
1542 struct hlist_bl_node **pprev ;
1543};
1544#line 114 "include/linux/rculist_bl.h"
1545struct nameidata;
1546#line 114
1547struct nameidata;
1548#line 115
1549struct path;
1550#line 115
1551struct path;
1552#line 116
1553struct vfsmount;
1554#line 116
1555struct vfsmount;
1556#line 117 "include/linux/rculist_bl.h"
1557struct qstr {
1558 unsigned int hash ;
1559 unsigned int len ;
1560 unsigned char const *name ;
1561};
1562#line 72 "include/linux/dcache.h"
1563struct inode;
1564#line 72
1565struct dentry_operations;
1566#line 72
1567struct super_block;
1568#line 72 "include/linux/dcache.h"
1569union __anonunion_d_u_137 {
1570 struct list_head d_child ;
1571 struct rcu_head d_rcu ;
1572};
1573#line 72 "include/linux/dcache.h"
1574struct dentry {
1575 unsigned int d_flags ;
1576 seqcount_t d_seq ;
1577 struct hlist_bl_node d_hash ;
1578 struct dentry *d_parent ;
1579 struct qstr d_name ;
1580 struct inode *d_inode ;
1581 unsigned char d_iname[32U] ;
1582 unsigned int d_count ;
1583 spinlock_t d_lock ;
1584 struct dentry_operations const *d_op ;
1585 struct super_block *d_sb ;
1586 unsigned long d_time ;
1587 void *d_fsdata ;
1588 struct list_head d_lru ;
1589 union __anonunion_d_u_137 d_u ;
1590 struct list_head d_subdirs ;
1591 struct list_head d_alias ;
1592};
1593#line 123 "include/linux/dcache.h"
1594struct dentry_operations {
1595 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1596 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1597 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1598 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1599 int (*d_delete)(struct dentry const * ) ;
1600 void (*d_release)(struct dentry * ) ;
1601 void (*d_prune)(struct dentry * ) ;
1602 void (*d_iput)(struct dentry * , struct inode * ) ;
1603 char *(*d_dname)(struct dentry * , char * , int ) ;
1604 struct vfsmount *(*d_automount)(struct path * ) ;
1605 int (*d_manage)(struct dentry * , bool ) ;
1606};
1607#line 402 "include/linux/dcache.h"
1608struct path {
1609 struct vfsmount *mnt ;
1610 struct dentry *dentry ;
1611};
1612#line 58 "include/linux/radix-tree.h"
1613struct radix_tree_node;
1614#line 58 "include/linux/radix-tree.h"
1615struct radix_tree_root {
1616 unsigned int height ;
1617 gfp_t gfp_mask ;
1618 struct radix_tree_node *rnode ;
1619};
1620#line 377
1621struct prio_tree_node;
1622#line 377 "include/linux/radix-tree.h"
1623struct raw_prio_tree_node {
1624 struct prio_tree_node *left ;
1625 struct prio_tree_node *right ;
1626 struct prio_tree_node *parent ;
1627};
1628#line 19 "include/linux/prio_tree.h"
1629struct prio_tree_node {
1630 struct prio_tree_node *left ;
1631 struct prio_tree_node *right ;
1632 struct prio_tree_node *parent ;
1633 unsigned long start ;
1634 unsigned long last ;
1635};
1636#line 27 "include/linux/prio_tree.h"
1637struct prio_tree_root {
1638 struct prio_tree_node *prio_tree_node ;
1639 unsigned short index_bits ;
1640 unsigned short raw ;
1641};
1642#line 111
1643enum pid_type {
1644 PIDTYPE_PID = 0,
1645 PIDTYPE_PGID = 1,
1646 PIDTYPE_SID = 2,
1647 PIDTYPE_MAX = 3
1648} ;
1649#line 118
1650struct pid_namespace;
1651#line 118 "include/linux/prio_tree.h"
1652struct upid {
1653 int nr ;
1654 struct pid_namespace *ns ;
1655 struct hlist_node pid_chain ;
1656};
1657#line 56 "include/linux/pid.h"
1658struct pid {
1659 atomic_t count ;
1660 unsigned int level ;
1661 struct hlist_head tasks[3U] ;
1662 struct rcu_head rcu ;
1663 struct upid numbers[1U] ;
1664};
1665#line 68 "include/linux/pid.h"
1666struct pid_link {
1667 struct hlist_node node ;
1668 struct pid *pid ;
1669};
1670#line 93 "include/linux/capability.h"
1671struct kernel_cap_struct {
1672 __u32 cap[2U] ;
1673};
1674#line 96 "include/linux/capability.h"
1675typedef struct kernel_cap_struct kernel_cap_t;
1676#line 104
1677struct user_namespace;
1678#line 104
1679struct user_namespace;
1680#line 45 "include/linux/semaphore.h"
1681struct fiemap_extent {
1682 __u64 fe_logical ;
1683 __u64 fe_physical ;
1684 __u64 fe_length ;
1685 __u64 fe_reserved64[2U] ;
1686 __u32 fe_flags ;
1687 __u32 fe_reserved[3U] ;
1688};
1689#line 38 "include/linux/fiemap.h"
1690struct shrink_control {
1691 gfp_t gfp_mask ;
1692 unsigned long nr_to_scan ;
1693};
1694#line 14 "include/linux/shrinker.h"
1695struct shrinker {
1696 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
1697 int seeks ;
1698 long batch ;
1699 struct list_head list ;
1700 atomic_long_t nr_in_batch ;
1701};
1702#line 43
1703enum migrate_mode {
1704 MIGRATE_ASYNC = 0,
1705 MIGRATE_SYNC_LIGHT = 1,
1706 MIGRATE_SYNC = 2
1707} ;
1708#line 49
1709struct export_operations;
1710#line 49
1711struct export_operations;
1712#line 51
1713struct iovec;
1714#line 51
1715struct iovec;
1716#line 52
1717struct kiocb;
1718#line 52
1719struct kiocb;
1720#line 53
1721struct pipe_inode_info;
1722#line 53
1723struct pipe_inode_info;
1724#line 54
1725struct poll_table_struct;
1726#line 54
1727struct poll_table_struct;
1728#line 55
1729struct kstatfs;
1730#line 55
1731struct kstatfs;
1732#line 435 "include/linux/fs.h"
1733struct iattr {
1734 unsigned int ia_valid ;
1735 umode_t ia_mode ;
1736 uid_t ia_uid ;
1737 gid_t ia_gid ;
1738 loff_t ia_size ;
1739 struct timespec ia_atime ;
1740 struct timespec ia_mtime ;
1741 struct timespec ia_ctime ;
1742 struct file *ia_file ;
1743};
1744#line 119 "include/linux/quota.h"
1745struct if_dqinfo {
1746 __u64 dqi_bgrace ;
1747 __u64 dqi_igrace ;
1748 __u32 dqi_flags ;
1749 __u32 dqi_valid ;
1750};
1751#line 176 "include/linux/percpu_counter.h"
1752struct fs_disk_quota {
1753 __s8 d_version ;
1754 __s8 d_flags ;
1755 __u16 d_fieldmask ;
1756 __u32 d_id ;
1757 __u64 d_blk_hardlimit ;
1758 __u64 d_blk_softlimit ;
1759 __u64 d_ino_hardlimit ;
1760 __u64 d_ino_softlimit ;
1761 __u64 d_bcount ;
1762 __u64 d_icount ;
1763 __s32 d_itimer ;
1764 __s32 d_btimer ;
1765 __u16 d_iwarns ;
1766 __u16 d_bwarns ;
1767 __s32 d_padding2 ;
1768 __u64 d_rtb_hardlimit ;
1769 __u64 d_rtb_softlimit ;
1770 __u64 d_rtbcount ;
1771 __s32 d_rtbtimer ;
1772 __u16 d_rtbwarns ;
1773 __s16 d_padding3 ;
1774 char d_padding4[8U] ;
1775};
1776#line 75 "include/linux/dqblk_xfs.h"
1777struct fs_qfilestat {
1778 __u64 qfs_ino ;
1779 __u64 qfs_nblks ;
1780 __u32 qfs_nextents ;
1781};
1782#line 150 "include/linux/dqblk_xfs.h"
1783typedef struct fs_qfilestat fs_qfilestat_t;
1784#line 151 "include/linux/dqblk_xfs.h"
1785struct fs_quota_stat {
1786 __s8 qs_version ;
1787 __u16 qs_flags ;
1788 __s8 qs_pad ;
1789 fs_qfilestat_t qs_uquota ;
1790 fs_qfilestat_t qs_gquota ;
1791 __u32 qs_incoredqs ;
1792 __s32 qs_btimelimit ;
1793 __s32 qs_itimelimit ;
1794 __s32 qs_rtbtimelimit ;
1795 __u16 qs_bwarnlimit ;
1796 __u16 qs_iwarnlimit ;
1797};
1798#line 165
1799struct dquot;
1800#line 165
1801struct dquot;
1802#line 185 "include/linux/quota.h"
1803typedef __kernel_uid32_t qid_t;
1804#line 186 "include/linux/quota.h"
1805typedef long long qsize_t;
1806#line 189 "include/linux/quota.h"
1807struct mem_dqblk {
1808 qsize_t dqb_bhardlimit ;
1809 qsize_t dqb_bsoftlimit ;
1810 qsize_t dqb_curspace ;
1811 qsize_t dqb_rsvspace ;
1812 qsize_t dqb_ihardlimit ;
1813 qsize_t dqb_isoftlimit ;
1814 qsize_t dqb_curinodes ;
1815 time_t dqb_btime ;
1816 time_t dqb_itime ;
1817};
1818#line 211
1819struct quota_format_type;
1820#line 211
1821struct quota_format_type;
1822#line 212 "include/linux/quota.h"
1823struct mem_dqinfo {
1824 struct quota_format_type *dqi_format ;
1825 int dqi_fmt_id ;
1826 struct list_head dqi_dirty_list ;
1827 unsigned long dqi_flags ;
1828 unsigned int dqi_bgrace ;
1829 unsigned int dqi_igrace ;
1830 qsize_t dqi_maxblimit ;
1831 qsize_t dqi_maxilimit ;
1832 void *dqi_priv ;
1833};
1834#line 275 "include/linux/quota.h"
1835struct dquot {
1836 struct hlist_node dq_hash ;
1837 struct list_head dq_inuse ;
1838 struct list_head dq_free ;
1839 struct list_head dq_dirty ;
1840 struct mutex dq_lock ;
1841 atomic_t dq_count ;
1842 wait_queue_head_t dq_wait_unused ;
1843 struct super_block *dq_sb ;
1844 unsigned int dq_id ;
1845 loff_t dq_off ;
1846 unsigned long dq_flags ;
1847 short dq_type ;
1848 struct mem_dqblk dq_dqb ;
1849};
1850#line 303 "include/linux/quota.h"
1851struct quota_format_ops {
1852 int (*check_quota_file)(struct super_block * , int ) ;
1853 int (*read_file_info)(struct super_block * , int ) ;
1854 int (*write_file_info)(struct super_block * , int ) ;
1855 int (*free_file_info)(struct super_block * , int ) ;
1856 int (*read_dqblk)(struct dquot * ) ;
1857 int (*commit_dqblk)(struct dquot * ) ;
1858 int (*release_dqblk)(struct dquot * ) ;
1859};
1860#line 314 "include/linux/quota.h"
1861struct dquot_operations {
1862 int (*write_dquot)(struct dquot * ) ;
1863 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1864 void (*destroy_dquot)(struct dquot * ) ;
1865 int (*acquire_dquot)(struct dquot * ) ;
1866 int (*release_dquot)(struct dquot * ) ;
1867 int (*mark_dirty)(struct dquot * ) ;
1868 int (*write_info)(struct super_block * , int ) ;
1869 qsize_t *(*get_reserved_space)(struct inode * ) ;
1870};
1871#line 328 "include/linux/quota.h"
1872struct quotactl_ops {
1873 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1874 int (*quota_on_meta)(struct super_block * , int , int ) ;
1875 int (*quota_off)(struct super_block * , int ) ;
1876 int (*quota_sync)(struct super_block * , int , int ) ;
1877 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1878 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1879 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1880 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1881 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1882 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1883};
1884#line 344 "include/linux/quota.h"
1885struct quota_format_type {
1886 int qf_fmt_id ;
1887 struct quota_format_ops const *qf_ops ;
1888 struct module *qf_owner ;
1889 struct quota_format_type *qf_next ;
1890};
1891#line 390 "include/linux/quota.h"
1892struct quota_info {
1893 unsigned int flags ;
1894 struct mutex dqio_mutex ;
1895 struct mutex dqonoff_mutex ;
1896 struct rw_semaphore dqptr_sem ;
1897 struct inode *files[2U] ;
1898 struct mem_dqinfo info[2U] ;
1899 struct quota_format_ops const *ops[2U] ;
1900};
1901#line 421
1902struct address_space;
1903#line 421
1904struct address_space;
1905#line 422
1906struct writeback_control;
1907#line 422
1908struct writeback_control;
1909#line 585 "include/linux/fs.h"
1910union __anonunion_arg_140 {
1911 char *buf ;
1912 void *data ;
1913};
1914#line 585 "include/linux/fs.h"
1915struct __anonstruct_read_descriptor_t_139 {
1916 size_t written ;
1917 size_t count ;
1918 union __anonunion_arg_140 arg ;
1919 int error ;
1920};
1921#line 585 "include/linux/fs.h"
1922typedef struct __anonstruct_read_descriptor_t_139 read_descriptor_t;
1923#line 588 "include/linux/fs.h"
1924struct address_space_operations {
1925 int (*writepage)(struct page * , struct writeback_control * ) ;
1926 int (*readpage)(struct file * , struct page * ) ;
1927 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1928 int (*set_page_dirty)(struct page * ) ;
1929 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
1930 unsigned int ) ;
1931 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
1932 unsigned int , struct page ** , void ** ) ;
1933 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
1934 unsigned int , struct page * , void * ) ;
1935 sector_t (*bmap)(struct address_space * , sector_t ) ;
1936 void (*invalidatepage)(struct page * , unsigned long ) ;
1937 int (*releasepage)(struct page * , gfp_t ) ;
1938 void (*freepage)(struct page * ) ;
1939 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
1940 unsigned long ) ;
1941 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1942 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1943 int (*launder_page)(struct page * ) ;
1944 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1945 int (*error_remove_page)(struct address_space * , struct page * ) ;
1946};
1947#line 642
1948struct backing_dev_info;
1949#line 642
1950struct backing_dev_info;
1951#line 643 "include/linux/fs.h"
1952struct address_space {
1953 struct inode *host ;
1954 struct radix_tree_root page_tree ;
1955 spinlock_t tree_lock ;
1956 unsigned int i_mmap_writable ;
1957 struct prio_tree_root i_mmap ;
1958 struct list_head i_mmap_nonlinear ;
1959 struct mutex i_mmap_mutex ;
1960 unsigned long nrpages ;
1961 unsigned long writeback_index ;
1962 struct address_space_operations const *a_ops ;
1963 unsigned long flags ;
1964 struct backing_dev_info *backing_dev_info ;
1965 spinlock_t private_lock ;
1966 struct list_head private_list ;
1967 struct address_space *assoc_mapping ;
1968};
1969#line 664
1970struct request_queue;
1971#line 664
1972struct request_queue;
1973#line 665
1974struct hd_struct;
1975#line 665
1976struct gendisk;
1977#line 665 "include/linux/fs.h"
1978struct block_device {
1979 dev_t bd_dev ;
1980 int bd_openers ;
1981 struct inode *bd_inode ;
1982 struct super_block *bd_super ;
1983 struct mutex bd_mutex ;
1984 struct list_head bd_inodes ;
1985 void *bd_claiming ;
1986 void *bd_holder ;
1987 int bd_holders ;
1988 bool bd_write_holder ;
1989 struct list_head bd_holder_disks ;
1990 struct block_device *bd_contains ;
1991 unsigned int bd_block_size ;
1992 struct hd_struct *bd_part ;
1993 unsigned int bd_part_count ;
1994 int bd_invalidated ;
1995 struct gendisk *bd_disk ;
1996 struct request_queue *bd_queue ;
1997 struct list_head bd_list ;
1998 unsigned long bd_private ;
1999 int bd_fsfreeze_count ;
2000 struct mutex bd_fsfreeze_mutex ;
2001};
2002#line 737
2003struct posix_acl;
2004#line 737
2005struct posix_acl;
2006#line 738
2007struct inode_operations;
2008#line 738 "include/linux/fs.h"
2009union __anonunion_ldv_16934_141 {
2010 unsigned int const i_nlink ;
2011 unsigned int __i_nlink ;
2012};
2013#line 738 "include/linux/fs.h"
2014union __anonunion_ldv_16953_142 {
2015 struct list_head i_dentry ;
2016 struct rcu_head i_rcu ;
2017};
2018#line 738
2019struct file_operations;
2020#line 738
2021struct file_lock;
2022#line 738
2023struct cdev;
2024#line 738 "include/linux/fs.h"
2025union __anonunion_ldv_16971_143 {
2026 struct pipe_inode_info *i_pipe ;
2027 struct block_device *i_bdev ;
2028 struct cdev *i_cdev ;
2029};
2030#line 738 "include/linux/fs.h"
2031struct inode {
2032 umode_t i_mode ;
2033 unsigned short i_opflags ;
2034 uid_t i_uid ;
2035 gid_t i_gid ;
2036 unsigned int i_flags ;
2037 struct posix_acl *i_acl ;
2038 struct posix_acl *i_default_acl ;
2039 struct inode_operations const *i_op ;
2040 struct super_block *i_sb ;
2041 struct address_space *i_mapping ;
2042 void *i_security ;
2043 unsigned long i_ino ;
2044 union __anonunion_ldv_16934_141 ldv_16934 ;
2045 dev_t i_rdev ;
2046 struct timespec i_atime ;
2047 struct timespec i_mtime ;
2048 struct timespec i_ctime ;
2049 spinlock_t i_lock ;
2050 unsigned short i_bytes ;
2051 blkcnt_t i_blocks ;
2052 loff_t i_size ;
2053 unsigned long i_state ;
2054 struct mutex i_mutex ;
2055 unsigned long dirtied_when ;
2056 struct hlist_node i_hash ;
2057 struct list_head i_wb_list ;
2058 struct list_head i_lru ;
2059 struct list_head i_sb_list ;
2060 union __anonunion_ldv_16953_142 ldv_16953 ;
2061 atomic_t i_count ;
2062 unsigned int i_blkbits ;
2063 u64 i_version ;
2064 atomic_t i_dio_count ;
2065 atomic_t i_writecount ;
2066 struct file_operations const *i_fop ;
2067 struct file_lock *i_flock ;
2068 struct address_space i_data ;
2069 struct dquot *i_dquot[2U] ;
2070 struct list_head i_devices ;
2071 union __anonunion_ldv_16971_143 ldv_16971 ;
2072 __u32 i_generation ;
2073 __u32 i_fsnotify_mask ;
2074 struct hlist_head i_fsnotify_marks ;
2075 atomic_t i_readcount ;
2076 void *i_private ;
2077};
2078#line 941 "include/linux/fs.h"
2079struct fown_struct {
2080 rwlock_t lock ;
2081 struct pid *pid ;
2082 enum pid_type pid_type ;
2083 uid_t uid ;
2084 uid_t euid ;
2085 int signum ;
2086};
2087#line 949 "include/linux/fs.h"
2088struct file_ra_state {
2089 unsigned long start ;
2090 unsigned int size ;
2091 unsigned int async_size ;
2092 unsigned int ra_pages ;
2093 unsigned int mmap_miss ;
2094 loff_t prev_pos ;
2095};
2096#line 972 "include/linux/fs.h"
2097union __anonunion_f_u_144 {
2098 struct list_head fu_list ;
2099 struct rcu_head fu_rcuhead ;
2100};
2101#line 972 "include/linux/fs.h"
2102struct file {
2103 union __anonunion_f_u_144 f_u ;
2104 struct path f_path ;
2105 struct file_operations const *f_op ;
2106 spinlock_t f_lock ;
2107 int f_sb_list_cpu ;
2108 atomic_long_t f_count ;
2109 unsigned int f_flags ;
2110 fmode_t f_mode ;
2111 loff_t f_pos ;
2112 struct fown_struct f_owner ;
2113 struct cred const *f_cred ;
2114 struct file_ra_state f_ra ;
2115 u64 f_version ;
2116 void *f_security ;
2117 void *private_data ;
2118 struct list_head f_ep_links ;
2119 struct list_head f_tfile_llink ;
2120 struct address_space *f_mapping ;
2121 unsigned long f_mnt_write_state ;
2122};
2123#line 1111
2124struct files_struct;
2125#line 1111 "include/linux/fs.h"
2126typedef struct files_struct *fl_owner_t;
2127#line 1112 "include/linux/fs.h"
2128struct file_lock_operations {
2129 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2130 void (*fl_release_private)(struct file_lock * ) ;
2131};
2132#line 1117 "include/linux/fs.h"
2133struct lock_manager_operations {
2134 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2135 void (*lm_notify)(struct file_lock * ) ;
2136 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2137 void (*lm_release_private)(struct file_lock * ) ;
2138 void (*lm_break)(struct file_lock * ) ;
2139 int (*lm_change)(struct file_lock ** , int ) ;
2140};
2141#line 1134
2142struct nlm_lockowner;
2143#line 1134
2144struct nlm_lockowner;
2145#line 1135 "include/linux/fs.h"
2146struct nfs_lock_info {
2147 u32 state ;
2148 struct nlm_lockowner *owner ;
2149 struct list_head list ;
2150};
2151#line 14 "include/linux/nfs_fs_i.h"
2152struct nfs4_lock_state;
2153#line 14
2154struct nfs4_lock_state;
2155#line 15 "include/linux/nfs_fs_i.h"
2156struct nfs4_lock_info {
2157 struct nfs4_lock_state *owner ;
2158};
2159#line 19
2160struct fasync_struct;
2161#line 19 "include/linux/nfs_fs_i.h"
2162struct __anonstruct_afs_146 {
2163 struct list_head link ;
2164 int state ;
2165};
2166#line 19 "include/linux/nfs_fs_i.h"
2167union __anonunion_fl_u_145 {
2168 struct nfs_lock_info nfs_fl ;
2169 struct nfs4_lock_info nfs4_fl ;
2170 struct __anonstruct_afs_146 afs ;
2171};
2172#line 19 "include/linux/nfs_fs_i.h"
2173struct file_lock {
2174 struct file_lock *fl_next ;
2175 struct list_head fl_link ;
2176 struct list_head fl_block ;
2177 fl_owner_t fl_owner ;
2178 unsigned int fl_flags ;
2179 unsigned char fl_type ;
2180 unsigned int fl_pid ;
2181 struct pid *fl_nspid ;
2182 wait_queue_head_t fl_wait ;
2183 struct file *fl_file ;
2184 loff_t fl_start ;
2185 loff_t fl_end ;
2186 struct fasync_struct *fl_fasync ;
2187 unsigned long fl_break_time ;
2188 unsigned long fl_downgrade_time ;
2189 struct file_lock_operations const *fl_ops ;
2190 struct lock_manager_operations const *fl_lmops ;
2191 union __anonunion_fl_u_145 fl_u ;
2192};
2193#line 1221 "include/linux/fs.h"
2194struct fasync_struct {
2195 spinlock_t fa_lock ;
2196 int magic ;
2197 int fa_fd ;
2198 struct fasync_struct *fa_next ;
2199 struct file *fa_file ;
2200 struct rcu_head fa_rcu ;
2201};
2202#line 1417
2203struct file_system_type;
2204#line 1417
2205struct super_operations;
2206#line 1417
2207struct xattr_handler;
2208#line 1417
2209struct mtd_info;
2210#line 1417 "include/linux/fs.h"
2211struct super_block {
2212 struct list_head s_list ;
2213 dev_t s_dev ;
2214 unsigned char s_dirt ;
2215 unsigned char s_blocksize_bits ;
2216 unsigned long s_blocksize ;
2217 loff_t s_maxbytes ;
2218 struct file_system_type *s_type ;
2219 struct super_operations const *s_op ;
2220 struct dquot_operations const *dq_op ;
2221 struct quotactl_ops const *s_qcop ;
2222 struct export_operations const *s_export_op ;
2223 unsigned long s_flags ;
2224 unsigned long s_magic ;
2225 struct dentry *s_root ;
2226 struct rw_semaphore s_umount ;
2227 struct mutex s_lock ;
2228 int s_count ;
2229 atomic_t s_active ;
2230 void *s_security ;
2231 struct xattr_handler const **s_xattr ;
2232 struct list_head s_inodes ;
2233 struct hlist_bl_head s_anon ;
2234 struct list_head *s_files ;
2235 struct list_head s_mounts ;
2236 struct list_head s_dentry_lru ;
2237 int s_nr_dentry_unused ;
2238 spinlock_t s_inode_lru_lock ;
2239 struct list_head s_inode_lru ;
2240 int s_nr_inodes_unused ;
2241 struct block_device *s_bdev ;
2242 struct backing_dev_info *s_bdi ;
2243 struct mtd_info *s_mtd ;
2244 struct hlist_node s_instances ;
2245 struct quota_info s_dquot ;
2246 int s_frozen ;
2247 wait_queue_head_t s_wait_unfrozen ;
2248 char s_id[32U] ;
2249 u8 s_uuid[16U] ;
2250 void *s_fs_info ;
2251 unsigned int s_max_links ;
2252 fmode_t s_mode ;
2253 u32 s_time_gran ;
2254 struct mutex s_vfs_rename_mutex ;
2255 char *s_subtype ;
2256 char *s_options ;
2257 struct dentry_operations const *s_d_op ;
2258 int cleancache_poolid ;
2259 struct shrinker s_shrink ;
2260 atomic_long_t s_remove_count ;
2261 int s_readonly_remount ;
2262};
2263#line 1563 "include/linux/fs.h"
2264struct fiemap_extent_info {
2265 unsigned int fi_flags ;
2266 unsigned int fi_extents_mapped ;
2267 unsigned int fi_extents_max ;
2268 struct fiemap_extent *fi_extents_start ;
2269};
2270#line 1602 "include/linux/fs.h"
2271struct file_operations {
2272 struct module *owner ;
2273 loff_t (*llseek)(struct file * , loff_t , int ) ;
2274 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2275 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2276 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2277 loff_t ) ;
2278 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2279 loff_t ) ;
2280 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2281 loff_t , u64 , unsigned int ) ) ;
2282 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2283 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2284 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2285 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2286 int (*open)(struct inode * , struct file * ) ;
2287 int (*flush)(struct file * , fl_owner_t ) ;
2288 int (*release)(struct inode * , struct file * ) ;
2289 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
2290 int (*aio_fsync)(struct kiocb * , int ) ;
2291 int (*fasync)(int , struct file * , int ) ;
2292 int (*lock)(struct file * , int , struct file_lock * ) ;
2293 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2294 int ) ;
2295 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2296 unsigned long , unsigned long ) ;
2297 int (*check_flags)(int ) ;
2298 int (*flock)(struct file * , int , struct file_lock * ) ;
2299 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2300 unsigned int ) ;
2301 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2302 unsigned int ) ;
2303 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2304 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
2305};
2306#line 1637 "include/linux/fs.h"
2307struct inode_operations {
2308 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2309 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2310 int (*permission)(struct inode * , int ) ;
2311 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2312 int (*readlink)(struct dentry * , char * , int ) ;
2313 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2314 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2315 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2316 int (*unlink)(struct inode * , struct dentry * ) ;
2317 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2318 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2319 int (*rmdir)(struct inode * , struct dentry * ) ;
2320 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2321 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2322 void (*truncate)(struct inode * ) ;
2323 int (*setattr)(struct dentry * , struct iattr * ) ;
2324 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
2325 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2326 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2327 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2328 int (*removexattr)(struct dentry * , char const * ) ;
2329 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2330 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
2331};
2332#line 1682 "include/linux/fs.h"
2333struct super_operations {
2334 struct inode *(*alloc_inode)(struct super_block * ) ;
2335 void (*destroy_inode)(struct inode * ) ;
2336 void (*dirty_inode)(struct inode * , int ) ;
2337 int (*write_inode)(struct inode * , struct writeback_control * ) ;
2338 int (*drop_inode)(struct inode * ) ;
2339 void (*evict_inode)(struct inode * ) ;
2340 void (*put_super)(struct super_block * ) ;
2341 void (*write_super)(struct super_block * ) ;
2342 int (*sync_fs)(struct super_block * , int ) ;
2343 int (*freeze_fs)(struct super_block * ) ;
2344 int (*unfreeze_fs)(struct super_block * ) ;
2345 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2346 int (*remount_fs)(struct super_block * , int * , char * ) ;
2347 void (*umount_begin)(struct super_block * ) ;
2348 int (*show_options)(struct seq_file * , struct dentry * ) ;
2349 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2350 int (*show_path)(struct seq_file * , struct dentry * ) ;
2351 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2352 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2353 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2354 loff_t ) ;
2355 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2356 int (*nr_cached_objects)(struct super_block * ) ;
2357 void (*free_cached_objects)(struct super_block * , int ) ;
2358};
2359#line 1834 "include/linux/fs.h"
2360struct file_system_type {
2361 char const *name ;
2362 int fs_flags ;
2363 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2364 void (*kill_sb)(struct super_block * ) ;
2365 struct module *owner ;
2366 struct file_system_type *next ;
2367 struct hlist_head fs_supers ;
2368 struct lock_class_key s_lock_key ;
2369 struct lock_class_key s_umount_key ;
2370 struct lock_class_key s_vfs_rename_key ;
2371 struct lock_class_key i_lock_key ;
2372 struct lock_class_key i_mutex_key ;
2373 struct lock_class_key i_mutex_dir_key ;
2374};
2375#line 2674
2376struct ff_device;
2377#line 2674
2378struct input_mt_slot;
2379#line 2674
2380struct input_handle;
2381#line 2674 "include/linux/fs.h"
2382struct input_dev {
2383 char const *name ;
2384 char const *phys ;
2385 char const *uniq ;
2386 struct input_id id ;
2387 unsigned long propbit[1U] ;
2388 unsigned long evbit[1U] ;
2389 unsigned long keybit[12U] ;
2390 unsigned long relbit[1U] ;
2391 unsigned long absbit[1U] ;
2392 unsigned long mscbit[1U] ;
2393 unsigned long ledbit[1U] ;
2394 unsigned long sndbit[1U] ;
2395 unsigned long ffbit[2U] ;
2396 unsigned long swbit[1U] ;
2397 unsigned int hint_events_per_packet ;
2398 unsigned int keycodemax ;
2399 unsigned int keycodesize ;
2400 void *keycode ;
2401 int (*setkeycode)(struct input_dev * , struct input_keymap_entry const * , unsigned int * ) ;
2402 int (*getkeycode)(struct input_dev * , struct input_keymap_entry * ) ;
2403 struct ff_device *ff ;
2404 unsigned int repeat_key ;
2405 struct timer_list timer ;
2406 int rep[2U] ;
2407 struct input_mt_slot *mt ;
2408 int mtsize ;
2409 int slot ;
2410 int trkid ;
2411 struct input_absinfo *absinfo ;
2412 unsigned long key[12U] ;
2413 unsigned long led[1U] ;
2414 unsigned long snd[1U] ;
2415 unsigned long sw[1U] ;
2416 int (*open)(struct input_dev * ) ;
2417 void (*close)(struct input_dev * ) ;
2418 int (*flush)(struct input_dev * , struct file * ) ;
2419 int (*event)(struct input_dev * , unsigned int , unsigned int , int ) ;
2420 struct input_handle *grab ;
2421 spinlock_t event_lock ;
2422 struct mutex mutex ;
2423 unsigned int users ;
2424 bool going_away ;
2425 bool sync ;
2426 struct device dev ;
2427 struct list_head h_list ;
2428 struct list_head node ;
2429};
2430#line 1319 "include/linux/input.h"
2431struct input_handler {
2432 void *private ;
2433 void (*event)(struct input_handle * , unsigned int , unsigned int , int ) ;
2434 bool (*filter)(struct input_handle * , unsigned int , unsigned int , int ) ;
2435 bool (*match)(struct input_handler * , struct input_dev * ) ;
2436 int (*connect)(struct input_handler * , struct input_dev * , struct input_device_id const * ) ;
2437 void (*disconnect)(struct input_handle * ) ;
2438 void (*start)(struct input_handle * ) ;
2439 struct file_operations const *fops ;
2440 int minor ;
2441 char const *name ;
2442 struct input_device_id const *id_table ;
2443 struct list_head h_list ;
2444 struct list_head node ;
2445};
2446#line 1429 "include/linux/input.h"
2447struct input_handle {
2448 void *private ;
2449 int open ;
2450 char const *name ;
2451 struct input_dev *dev ;
2452 struct input_handler *handler ;
2453 struct list_head d_node ;
2454 struct list_head h_node ;
2455};
2456#line 1591 "include/linux/input.h"
2457struct ff_device {
2458 int (*upload)(struct input_dev * , struct ff_effect * , struct ff_effect * ) ;
2459 int (*erase)(struct input_dev * , int ) ;
2460 int (*playback)(struct input_dev * , int , int ) ;
2461 void (*set_gain)(struct input_dev * , u16 ) ;
2462 void (*set_autocenter)(struct input_dev * , u16 ) ;
2463 void (*destroy)(struct ff_device * ) ;
2464 void *private ;
2465 unsigned long ffbit[2U] ;
2466 struct mutex mutex ;
2467 int max_effects ;
2468 struct ff_effect *effects ;
2469 struct file *effect_owners[0U] ;
2470};
2471#line 55 "include/linux/sched.h"
2472union __anonunion_ldv_19191_148 {
2473 unsigned long index ;
2474 void *freelist ;
2475};
2476#line 55 "include/linux/sched.h"
2477struct __anonstruct_ldv_19201_152 {
2478 unsigned short inuse ;
2479 unsigned short objects : 15 ;
2480 unsigned char frozen : 1 ;
2481};
2482#line 55 "include/linux/sched.h"
2483union __anonunion_ldv_19202_151 {
2484 atomic_t _mapcount ;
2485 struct __anonstruct_ldv_19201_152 ldv_19201 ;
2486};
2487#line 55 "include/linux/sched.h"
2488struct __anonstruct_ldv_19204_150 {
2489 union __anonunion_ldv_19202_151 ldv_19202 ;
2490 atomic_t _count ;
2491};
2492#line 55 "include/linux/sched.h"
2493union __anonunion_ldv_19205_149 {
2494 unsigned long counters ;
2495 struct __anonstruct_ldv_19204_150 ldv_19204 ;
2496};
2497#line 55 "include/linux/sched.h"
2498struct __anonstruct_ldv_19206_147 {
2499 union __anonunion_ldv_19191_148 ldv_19191 ;
2500 union __anonunion_ldv_19205_149 ldv_19205 ;
2501};
2502#line 55 "include/linux/sched.h"
2503struct __anonstruct_ldv_19213_154 {
2504 struct page *next ;
2505 int pages ;
2506 int pobjects ;
2507};
2508#line 55 "include/linux/sched.h"
2509union __anonunion_ldv_19214_153 {
2510 struct list_head lru ;
2511 struct __anonstruct_ldv_19213_154 ldv_19213 ;
2512};
2513#line 55 "include/linux/sched.h"
2514union __anonunion_ldv_19219_155 {
2515 unsigned long private ;
2516 struct kmem_cache *slab ;
2517 struct page *first_page ;
2518};
2519#line 55 "include/linux/sched.h"
2520struct page {
2521 unsigned long flags ;
2522 struct address_space *mapping ;
2523 struct __anonstruct_ldv_19206_147 ldv_19206 ;
2524 union __anonunion_ldv_19214_153 ldv_19214 ;
2525 union __anonunion_ldv_19219_155 ldv_19219 ;
2526 unsigned long debug_flags ;
2527};
2528#line 192 "include/linux/mm_types.h"
2529struct __anonstruct_vm_set_157 {
2530 struct list_head list ;
2531 void *parent ;
2532 struct vm_area_struct *head ;
2533};
2534#line 192 "include/linux/mm_types.h"
2535union __anonunion_shared_156 {
2536 struct __anonstruct_vm_set_157 vm_set ;
2537 struct raw_prio_tree_node prio_tree_node ;
2538};
2539#line 192
2540struct anon_vma;
2541#line 192
2542struct vm_operations_struct;
2543#line 192
2544struct mempolicy;
2545#line 192 "include/linux/mm_types.h"
2546struct vm_area_struct {
2547 struct mm_struct *vm_mm ;
2548 unsigned long vm_start ;
2549 unsigned long vm_end ;
2550 struct vm_area_struct *vm_next ;
2551 struct vm_area_struct *vm_prev ;
2552 pgprot_t vm_page_prot ;
2553 unsigned long vm_flags ;
2554 struct rb_node vm_rb ;
2555 union __anonunion_shared_156 shared ;
2556 struct list_head anon_vma_chain ;
2557 struct anon_vma *anon_vma ;
2558 struct vm_operations_struct const *vm_ops ;
2559 unsigned long vm_pgoff ;
2560 struct file *vm_file ;
2561 void *vm_private_data ;
2562 struct mempolicy *vm_policy ;
2563};
2564#line 255 "include/linux/mm_types.h"
2565struct core_thread {
2566 struct task_struct *task ;
2567 struct core_thread *next ;
2568};
2569#line 261 "include/linux/mm_types.h"
2570struct core_state {
2571 atomic_t nr_threads ;
2572 struct core_thread dumper ;
2573 struct completion startup ;
2574};
2575#line 274 "include/linux/mm_types.h"
2576struct mm_rss_stat {
2577 atomic_long_t count[3U] ;
2578};
2579#line 287
2580struct linux_binfmt;
2581#line 287
2582struct mmu_notifier_mm;
2583#line 287 "include/linux/mm_types.h"
2584struct mm_struct {
2585 struct vm_area_struct *mmap ;
2586 struct rb_root mm_rb ;
2587 struct vm_area_struct *mmap_cache ;
2588 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2589 unsigned long , unsigned long ) ;
2590 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
2591 unsigned long mmap_base ;
2592 unsigned long task_size ;
2593 unsigned long cached_hole_size ;
2594 unsigned long free_area_cache ;
2595 pgd_t *pgd ;
2596 atomic_t mm_users ;
2597 atomic_t mm_count ;
2598 int map_count ;
2599 spinlock_t page_table_lock ;
2600 struct rw_semaphore mmap_sem ;
2601 struct list_head mmlist ;
2602 unsigned long hiwater_rss ;
2603 unsigned long hiwater_vm ;
2604 unsigned long total_vm ;
2605 unsigned long locked_vm ;
2606 unsigned long pinned_vm ;
2607 unsigned long shared_vm ;
2608 unsigned long exec_vm ;
2609 unsigned long stack_vm ;
2610 unsigned long reserved_vm ;
2611 unsigned long def_flags ;
2612 unsigned long nr_ptes ;
2613 unsigned long start_code ;
2614 unsigned long end_code ;
2615 unsigned long start_data ;
2616 unsigned long end_data ;
2617 unsigned long start_brk ;
2618 unsigned long brk ;
2619 unsigned long start_stack ;
2620 unsigned long arg_start ;
2621 unsigned long arg_end ;
2622 unsigned long env_start ;
2623 unsigned long env_end ;
2624 unsigned long saved_auxv[44U] ;
2625 struct mm_rss_stat rss_stat ;
2626 struct linux_binfmt *binfmt ;
2627 cpumask_var_t cpu_vm_mask_var ;
2628 mm_context_t context ;
2629 unsigned int faultstamp ;
2630 unsigned int token_priority ;
2631 unsigned int last_interval ;
2632 unsigned long flags ;
2633 struct core_state *core_state ;
2634 spinlock_t ioctx_lock ;
2635 struct hlist_head ioctx_list ;
2636 struct task_struct *owner ;
2637 struct file *exe_file ;
2638 unsigned long num_exe_file_vmas ;
2639 struct mmu_notifier_mm *mmu_notifier_mm ;
2640 pgtable_t pmd_huge_pte ;
2641 struct cpumask cpumask_allocation ;
2642};
2643#line 7 "include/asm-generic/cputime.h"
2644typedef unsigned long cputime_t;
2645#line 98 "include/linux/sem.h"
2646struct sem_undo_list;
2647#line 98 "include/linux/sem.h"
2648struct sysv_sem {
2649 struct sem_undo_list *undo_list ;
2650};
2651#line 107
2652struct siginfo;
2653#line 107
2654struct siginfo;
2655#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2656struct __anonstruct_sigset_t_158 {
2657 unsigned long sig[1U] ;
2658};
2659#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2660typedef struct __anonstruct_sigset_t_158 sigset_t;
2661#line 17 "include/asm-generic/signal-defs.h"
2662typedef void __signalfn_t(int );
2663#line 18 "include/asm-generic/signal-defs.h"
2664typedef __signalfn_t *__sighandler_t;
2665#line 20 "include/asm-generic/signal-defs.h"
2666typedef void __restorefn_t(void);
2667#line 21 "include/asm-generic/signal-defs.h"
2668typedef __restorefn_t *__sigrestore_t;
2669#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2670struct sigaction {
2671 __sighandler_t sa_handler ;
2672 unsigned long sa_flags ;
2673 __sigrestore_t sa_restorer ;
2674 sigset_t sa_mask ;
2675};
2676#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2677struct k_sigaction {
2678 struct sigaction sa ;
2679};
2680#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2681union sigval {
2682 int sival_int ;
2683 void *sival_ptr ;
2684};
2685#line 10 "include/asm-generic/siginfo.h"
2686typedef union sigval sigval_t;
2687#line 11 "include/asm-generic/siginfo.h"
2688struct __anonstruct__kill_160 {
2689 __kernel_pid_t _pid ;
2690 __kernel_uid32_t _uid ;
2691};
2692#line 11 "include/asm-generic/siginfo.h"
2693struct __anonstruct__timer_161 {
2694 __kernel_timer_t _tid ;
2695 int _overrun ;
2696 char _pad[0U] ;
2697 sigval_t _sigval ;
2698 int _sys_private ;
2699};
2700#line 11 "include/asm-generic/siginfo.h"
2701struct __anonstruct__rt_162 {
2702 __kernel_pid_t _pid ;
2703 __kernel_uid32_t _uid ;
2704 sigval_t _sigval ;
2705};
2706#line 11 "include/asm-generic/siginfo.h"
2707struct __anonstruct__sigchld_163 {
2708 __kernel_pid_t _pid ;
2709 __kernel_uid32_t _uid ;
2710 int _status ;
2711 __kernel_clock_t _utime ;
2712 __kernel_clock_t _stime ;
2713};
2714#line 11 "include/asm-generic/siginfo.h"
2715struct __anonstruct__sigfault_164 {
2716 void *_addr ;
2717 short _addr_lsb ;
2718};
2719#line 11 "include/asm-generic/siginfo.h"
2720struct __anonstruct__sigpoll_165 {
2721 long _band ;
2722 int _fd ;
2723};
2724#line 11 "include/asm-generic/siginfo.h"
2725union __anonunion__sifields_159 {
2726 int _pad[28U] ;
2727 struct __anonstruct__kill_160 _kill ;
2728 struct __anonstruct__timer_161 _timer ;
2729 struct __anonstruct__rt_162 _rt ;
2730 struct __anonstruct__sigchld_163 _sigchld ;
2731 struct __anonstruct__sigfault_164 _sigfault ;
2732 struct __anonstruct__sigpoll_165 _sigpoll ;
2733};
2734#line 11 "include/asm-generic/siginfo.h"
2735struct siginfo {
2736 int si_signo ;
2737 int si_errno ;
2738 int si_code ;
2739 union __anonunion__sifields_159 _sifields ;
2740};
2741#line 102 "include/asm-generic/siginfo.h"
2742typedef struct siginfo siginfo_t;
2743#line 14 "include/linux/signal.h"
2744struct user_struct;
2745#line 24 "include/linux/signal.h"
2746struct sigpending {
2747 struct list_head list ;
2748 sigset_t signal ;
2749};
2750#line 10 "include/linux/seccomp.h"
2751struct __anonstruct_seccomp_t_168 {
2752 int mode ;
2753};
2754#line 10 "include/linux/seccomp.h"
2755typedef struct __anonstruct_seccomp_t_168 seccomp_t;
2756#line 26 "include/linux/seccomp.h"
2757struct plist_head {
2758 struct list_head node_list ;
2759};
2760#line 84 "include/linux/plist.h"
2761struct plist_node {
2762 int prio ;
2763 struct list_head prio_list ;
2764 struct list_head node_list ;
2765};
2766#line 38 "include/linux/rtmutex.h"
2767struct rt_mutex_waiter;
2768#line 38
2769struct rt_mutex_waiter;
2770#line 41 "include/linux/resource.h"
2771struct rlimit {
2772 unsigned long rlim_cur ;
2773 unsigned long rlim_max ;
2774};
2775#line 85 "include/linux/resource.h"
2776struct timerqueue_node {
2777 struct rb_node node ;
2778 ktime_t expires ;
2779};
2780#line 12 "include/linux/timerqueue.h"
2781struct timerqueue_head {
2782 struct rb_root head ;
2783 struct timerqueue_node *next ;
2784};
2785#line 50
2786struct hrtimer_clock_base;
2787#line 50
2788struct hrtimer_clock_base;
2789#line 51
2790struct hrtimer_cpu_base;
2791#line 51
2792struct hrtimer_cpu_base;
2793#line 60
2794enum hrtimer_restart {
2795 HRTIMER_NORESTART = 0,
2796 HRTIMER_RESTART = 1
2797} ;
2798#line 65 "include/linux/timerqueue.h"
2799struct hrtimer {
2800 struct timerqueue_node node ;
2801 ktime_t _softexpires ;
2802 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2803 struct hrtimer_clock_base *base ;
2804 unsigned long state ;
2805 int start_pid ;
2806 void *start_site ;
2807 char start_comm[16U] ;
2808};
2809#line 132 "include/linux/hrtimer.h"
2810struct hrtimer_clock_base {
2811 struct hrtimer_cpu_base *cpu_base ;
2812 int index ;
2813 clockid_t clockid ;
2814 struct timerqueue_head active ;
2815 ktime_t resolution ;
2816 ktime_t (*get_time)(void) ;
2817 ktime_t softirq_time ;
2818 ktime_t offset ;
2819};
2820#line 162 "include/linux/hrtimer.h"
2821struct hrtimer_cpu_base {
2822 raw_spinlock_t lock ;
2823 unsigned long active_bases ;
2824 ktime_t expires_next ;
2825 int hres_active ;
2826 int hang_detected ;
2827 unsigned long nr_events ;
2828 unsigned long nr_retries ;
2829 unsigned long nr_hangs ;
2830 ktime_t max_hang_time ;
2831 struct hrtimer_clock_base clock_base[3U] ;
2832};
2833#line 452 "include/linux/hrtimer.h"
2834struct task_io_accounting {
2835 u64 rchar ;
2836 u64 wchar ;
2837 u64 syscr ;
2838 u64 syscw ;
2839 u64 read_bytes ;
2840 u64 write_bytes ;
2841 u64 cancelled_write_bytes ;
2842};
2843#line 45 "include/linux/task_io_accounting.h"
2844struct latency_record {
2845 unsigned long backtrace[12U] ;
2846 unsigned int count ;
2847 unsigned long time ;
2848 unsigned long max ;
2849};
2850#line 29 "include/linux/key.h"
2851typedef int32_t key_serial_t;
2852#line 32 "include/linux/key.h"
2853typedef uint32_t key_perm_t;
2854#line 33
2855struct key;
2856#line 33
2857struct key;
2858#line 34
2859struct signal_struct;
2860#line 34
2861struct signal_struct;
2862#line 35
2863struct key_type;
2864#line 35
2865struct key_type;
2866#line 37
2867struct keyring_list;
2868#line 37
2869struct keyring_list;
2870#line 115
2871struct key_user;
2872#line 115 "include/linux/key.h"
2873union __anonunion_ldv_20258_169 {
2874 time_t expiry ;
2875 time_t revoked_at ;
2876};
2877#line 115 "include/linux/key.h"
2878union __anonunion_type_data_170 {
2879 struct list_head link ;
2880 unsigned long x[2U] ;
2881 void *p[2U] ;
2882 int reject_error ;
2883};
2884#line 115 "include/linux/key.h"
2885union __anonunion_payload_171 {
2886 unsigned long value ;
2887 void *rcudata ;
2888 void *data ;
2889 struct keyring_list *subscriptions ;
2890};
2891#line 115 "include/linux/key.h"
2892struct key {
2893 atomic_t usage ;
2894 key_serial_t serial ;
2895 struct rb_node serial_node ;
2896 struct key_type *type ;
2897 struct rw_semaphore sem ;
2898 struct key_user *user ;
2899 void *security ;
2900 union __anonunion_ldv_20258_169 ldv_20258 ;
2901 uid_t uid ;
2902 gid_t gid ;
2903 key_perm_t perm ;
2904 unsigned short quotalen ;
2905 unsigned short datalen ;
2906 unsigned long flags ;
2907 char *description ;
2908 union __anonunion_type_data_170 type_data ;
2909 union __anonunion_payload_171 payload ;
2910};
2911#line 316
2912struct audit_context;
2913#line 316
2914struct audit_context;
2915#line 27 "include/linux/selinux.h"
2916struct group_info {
2917 atomic_t usage ;
2918 int ngroups ;
2919 int nblocks ;
2920 gid_t small_block[32U] ;
2921 gid_t *blocks[0U] ;
2922};
2923#line 77 "include/linux/cred.h"
2924struct thread_group_cred {
2925 atomic_t usage ;
2926 pid_t tgid ;
2927 spinlock_t lock ;
2928 struct key *session_keyring ;
2929 struct key *process_keyring ;
2930 struct rcu_head rcu ;
2931};
2932#line 91 "include/linux/cred.h"
2933struct cred {
2934 atomic_t usage ;
2935 atomic_t subscribers ;
2936 void *put_addr ;
2937 unsigned int magic ;
2938 uid_t uid ;
2939 gid_t gid ;
2940 uid_t suid ;
2941 gid_t sgid ;
2942 uid_t euid ;
2943 gid_t egid ;
2944 uid_t fsuid ;
2945 gid_t fsgid ;
2946 unsigned int securebits ;
2947 kernel_cap_t cap_inheritable ;
2948 kernel_cap_t cap_permitted ;
2949 kernel_cap_t cap_effective ;
2950 kernel_cap_t cap_bset ;
2951 unsigned char jit_keyring ;
2952 struct key *thread_keyring ;
2953 struct key *request_key_auth ;
2954 struct thread_group_cred *tgcred ;
2955 void *security ;
2956 struct user_struct *user ;
2957 struct user_namespace *user_ns ;
2958 struct group_info *group_info ;
2959 struct rcu_head rcu ;
2960};
2961#line 264
2962struct llist_node;
2963#line 64 "include/linux/llist.h"
2964struct llist_node {
2965 struct llist_node *next ;
2966};
2967#line 185
2968struct futex_pi_state;
2969#line 185
2970struct futex_pi_state;
2971#line 186
2972struct robust_list_head;
2973#line 186
2974struct robust_list_head;
2975#line 187
2976struct bio_list;
2977#line 187
2978struct bio_list;
2979#line 188
2980struct fs_struct;
2981#line 188
2982struct fs_struct;
2983#line 189
2984struct perf_event_context;
2985#line 189
2986struct perf_event_context;
2987#line 190
2988struct blk_plug;
2989#line 190
2990struct blk_plug;
2991#line 149 "include/linux/sched.h"
2992struct cfs_rq;
2993#line 149
2994struct cfs_rq;
2995#line 44 "include/linux/aio_abi.h"
2996struct io_event {
2997 __u64 data ;
2998 __u64 obj ;
2999 __s64 res ;
3000 __s64 res2 ;
3001};
3002#line 106 "include/linux/aio_abi.h"
3003struct iovec {
3004 void *iov_base ;
3005 __kernel_size_t iov_len ;
3006};
3007#line 54 "include/linux/uio.h"
3008struct kioctx;
3009#line 54
3010struct kioctx;
3011#line 55 "include/linux/uio.h"
3012union __anonunion_ki_obj_172 {
3013 void *user ;
3014 struct task_struct *tsk ;
3015};
3016#line 55
3017struct eventfd_ctx;
3018#line 55 "include/linux/uio.h"
3019struct kiocb {
3020 struct list_head ki_run_list ;
3021 unsigned long ki_flags ;
3022 int ki_users ;
3023 unsigned int ki_key ;
3024 struct file *ki_filp ;
3025 struct kioctx *ki_ctx ;
3026 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3027 ssize_t (*ki_retry)(struct kiocb * ) ;
3028 void (*ki_dtor)(struct kiocb * ) ;
3029 union __anonunion_ki_obj_172 ki_obj ;
3030 __u64 ki_user_data ;
3031 loff_t ki_pos ;
3032 void *private ;
3033 unsigned short ki_opcode ;
3034 size_t ki_nbytes ;
3035 char *ki_buf ;
3036 size_t ki_left ;
3037 struct iovec ki_inline_vec ;
3038 struct iovec *ki_iovec ;
3039 unsigned long ki_nr_segs ;
3040 unsigned long ki_cur_seg ;
3041 struct list_head ki_list ;
3042 struct list_head ki_batch ;
3043 struct eventfd_ctx *ki_eventfd ;
3044};
3045#line 162 "include/linux/aio.h"
3046struct aio_ring_info {
3047 unsigned long mmap_base ;
3048 unsigned long mmap_size ;
3049 struct page **ring_pages ;
3050 spinlock_t ring_lock ;
3051 long nr_pages ;
3052 unsigned int nr ;
3053 unsigned int tail ;
3054 struct page *internal_pages[8U] ;
3055};
3056#line 178 "include/linux/aio.h"
3057struct kioctx {
3058 atomic_t users ;
3059 int dead ;
3060 struct mm_struct *mm ;
3061 unsigned long user_id ;
3062 struct hlist_node list ;
3063 wait_queue_head_t wait ;
3064 spinlock_t ctx_lock ;
3065 int reqs_active ;
3066 struct list_head active_reqs ;
3067 struct list_head run_list ;
3068 unsigned int max_reqs ;
3069 struct aio_ring_info ring_info ;
3070 struct delayed_work wq ;
3071 struct rcu_head rcu_head ;
3072};
3073#line 406 "include/linux/sched.h"
3074struct sighand_struct {
3075 atomic_t count ;
3076 struct k_sigaction action[64U] ;
3077 spinlock_t siglock ;
3078 wait_queue_head_t signalfd_wqh ;
3079};
3080#line 449 "include/linux/sched.h"
3081struct pacct_struct {
3082 int ac_flag ;
3083 long ac_exitcode ;
3084 unsigned long ac_mem ;
3085 cputime_t ac_utime ;
3086 cputime_t ac_stime ;
3087 unsigned long ac_minflt ;
3088 unsigned long ac_majflt ;
3089};
3090#line 457 "include/linux/sched.h"
3091struct cpu_itimer {
3092 cputime_t expires ;
3093 cputime_t incr ;
3094 u32 error ;
3095 u32 incr_error ;
3096};
3097#line 464 "include/linux/sched.h"
3098struct task_cputime {
3099 cputime_t utime ;
3100 cputime_t stime ;
3101 unsigned long long sum_exec_runtime ;
3102};
3103#line 481 "include/linux/sched.h"
3104struct thread_group_cputimer {
3105 struct task_cputime cputime ;
3106 int running ;
3107 raw_spinlock_t lock ;
3108};
3109#line 517
3110struct autogroup;
3111#line 517
3112struct autogroup;
3113#line 518
3114struct tty_struct;
3115#line 518
3116struct taskstats;
3117#line 518
3118struct tty_audit_buf;
3119#line 518 "include/linux/sched.h"
3120struct signal_struct {
3121 atomic_t sigcnt ;
3122 atomic_t live ;
3123 int nr_threads ;
3124 wait_queue_head_t wait_chldexit ;
3125 struct task_struct *curr_target ;
3126 struct sigpending shared_pending ;
3127 int group_exit_code ;
3128 int notify_count ;
3129 struct task_struct *group_exit_task ;
3130 int group_stop_count ;
3131 unsigned int flags ;
3132 unsigned char is_child_subreaper : 1 ;
3133 unsigned char has_child_subreaper : 1 ;
3134 struct list_head posix_timers ;
3135 struct hrtimer real_timer ;
3136 struct pid *leader_pid ;
3137 ktime_t it_real_incr ;
3138 struct cpu_itimer it[2U] ;
3139 struct thread_group_cputimer cputimer ;
3140 struct task_cputime cputime_expires ;
3141 struct list_head cpu_timers[3U] ;
3142 struct pid *tty_old_pgrp ;
3143 int leader ;
3144 struct tty_struct *tty ;
3145 struct autogroup *autogroup ;
3146 cputime_t utime ;
3147 cputime_t stime ;
3148 cputime_t cutime ;
3149 cputime_t cstime ;
3150 cputime_t gtime ;
3151 cputime_t cgtime ;
3152 cputime_t prev_utime ;
3153 cputime_t prev_stime ;
3154 unsigned long nvcsw ;
3155 unsigned long nivcsw ;
3156 unsigned long cnvcsw ;
3157 unsigned long cnivcsw ;
3158 unsigned long min_flt ;
3159 unsigned long maj_flt ;
3160 unsigned long cmin_flt ;
3161 unsigned long cmaj_flt ;
3162 unsigned long inblock ;
3163 unsigned long oublock ;
3164 unsigned long cinblock ;
3165 unsigned long coublock ;
3166 unsigned long maxrss ;
3167 unsigned long cmaxrss ;
3168 struct task_io_accounting ioac ;
3169 unsigned long long sum_sched_runtime ;
3170 struct rlimit rlim[16U] ;
3171 struct pacct_struct pacct ;
3172 struct taskstats *stats ;
3173 unsigned int audit_tty ;
3174 struct tty_audit_buf *tty_audit_buf ;
3175 struct rw_semaphore group_rwsem ;
3176 int oom_adj ;
3177 int oom_score_adj ;
3178 int oom_score_adj_min ;
3179 struct mutex cred_guard_mutex ;
3180};
3181#line 699 "include/linux/sched.h"
3182struct user_struct {
3183 atomic_t __count ;
3184 atomic_t processes ;
3185 atomic_t files ;
3186 atomic_t sigpending ;
3187 atomic_t inotify_watches ;
3188 atomic_t inotify_devs ;
3189 atomic_t fanotify_listeners ;
3190 atomic_long_t epoll_watches ;
3191 unsigned long mq_bytes ;
3192 unsigned long locked_shm ;
3193 struct key *uid_keyring ;
3194 struct key *session_keyring ;
3195 struct hlist_node uidhash_node ;
3196 uid_t uid ;
3197 struct user_namespace *user_ns ;
3198 atomic_long_t locked_vm ;
3199};
3200#line 744
3201struct reclaim_state;
3202#line 744
3203struct reclaim_state;
3204#line 745 "include/linux/sched.h"
3205struct sched_info {
3206 unsigned long pcount ;
3207 unsigned long long run_delay ;
3208 unsigned long long last_arrival ;
3209 unsigned long long last_queued ;
3210};
3211#line 760 "include/linux/sched.h"
3212struct task_delay_info {
3213 spinlock_t lock ;
3214 unsigned int flags ;
3215 struct timespec blkio_start ;
3216 struct timespec blkio_end ;
3217 u64 blkio_delay ;
3218 u64 swapin_delay ;
3219 u32 blkio_count ;
3220 u32 swapin_count ;
3221 struct timespec freepages_start ;
3222 struct timespec freepages_end ;
3223 u64 freepages_delay ;
3224 u32 freepages_count ;
3225};
3226#line 1069
3227struct io_context;
3228#line 1069
3229struct io_context;
3230#line 1098
3231struct rq;
3232#line 1098
3233struct rq;
3234#line 1099 "include/linux/sched.h"
3235struct sched_class {
3236 struct sched_class const *next ;
3237 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
3238 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
3239 void (*yield_task)(struct rq * ) ;
3240 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
3241 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
3242 struct task_struct *(*pick_next_task)(struct rq * ) ;
3243 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
3244 int (*select_task_rq)(struct task_struct * , int , int ) ;
3245 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
3246 void (*post_schedule)(struct rq * ) ;
3247 void (*task_waking)(struct task_struct * ) ;
3248 void (*task_woken)(struct rq * , struct task_struct * ) ;
3249 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
3250 void (*rq_online)(struct rq * ) ;
3251 void (*rq_offline)(struct rq * ) ;
3252 void (*set_curr_task)(struct rq * ) ;
3253 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
3254 void (*task_fork)(struct task_struct * ) ;
3255 void (*switched_from)(struct rq * , struct task_struct * ) ;
3256 void (*switched_to)(struct rq * , struct task_struct * ) ;
3257 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
3258 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
3259 void (*task_move_group)(struct task_struct * , int ) ;
3260};
3261#line 1165 "include/linux/sched.h"
3262struct load_weight {
3263 unsigned long weight ;
3264 unsigned long inv_weight ;
3265};
3266#line 1170 "include/linux/sched.h"
3267struct sched_statistics {
3268 u64 wait_start ;
3269 u64 wait_max ;
3270 u64 wait_count ;
3271 u64 wait_sum ;
3272 u64 iowait_count ;
3273 u64 iowait_sum ;
3274 u64 sleep_start ;
3275 u64 sleep_max ;
3276 s64 sum_sleep_runtime ;
3277 u64 block_start ;
3278 u64 block_max ;
3279 u64 exec_max ;
3280 u64 slice_max ;
3281 u64 nr_migrations_cold ;
3282 u64 nr_failed_migrations_affine ;
3283 u64 nr_failed_migrations_running ;
3284 u64 nr_failed_migrations_hot ;
3285 u64 nr_forced_migrations ;
3286 u64 nr_wakeups ;
3287 u64 nr_wakeups_sync ;
3288 u64 nr_wakeups_migrate ;
3289 u64 nr_wakeups_local ;
3290 u64 nr_wakeups_remote ;
3291 u64 nr_wakeups_affine ;
3292 u64 nr_wakeups_affine_attempts ;
3293 u64 nr_wakeups_passive ;
3294 u64 nr_wakeups_idle ;
3295};
3296#line 1205 "include/linux/sched.h"
3297struct sched_entity {
3298 struct load_weight load ;
3299 struct rb_node run_node ;
3300 struct list_head group_node ;
3301 unsigned int on_rq ;
3302 u64 exec_start ;
3303 u64 sum_exec_runtime ;
3304 u64 vruntime ;
3305 u64 prev_sum_exec_runtime ;
3306 u64 nr_migrations ;
3307 struct sched_statistics statistics ;
3308 struct sched_entity *parent ;
3309 struct cfs_rq *cfs_rq ;
3310 struct cfs_rq *my_q ;
3311};
3312#line 1231
3313struct rt_rq;
3314#line 1231 "include/linux/sched.h"
3315struct sched_rt_entity {
3316 struct list_head run_list ;
3317 unsigned long timeout ;
3318 unsigned int time_slice ;
3319 int nr_cpus_allowed ;
3320 struct sched_rt_entity *back ;
3321 struct sched_rt_entity *parent ;
3322 struct rt_rq *rt_rq ;
3323 struct rt_rq *my_q ;
3324};
3325#line 1255
3326struct mem_cgroup;
3327#line 1255 "include/linux/sched.h"
3328struct memcg_batch_info {
3329 int do_batch ;
3330 struct mem_cgroup *memcg ;
3331 unsigned long nr_pages ;
3332 unsigned long memsw_nr_pages ;
3333};
3334#line 1616
3335struct css_set;
3336#line 1616
3337struct compat_robust_list_head;
3338#line 1616 "include/linux/sched.h"
3339struct task_struct {
3340 long volatile state ;
3341 void *stack ;
3342 atomic_t usage ;
3343 unsigned int flags ;
3344 unsigned int ptrace ;
3345 struct llist_node wake_entry ;
3346 int on_cpu ;
3347 int on_rq ;
3348 int prio ;
3349 int static_prio ;
3350 int normal_prio ;
3351 unsigned int rt_priority ;
3352 struct sched_class const *sched_class ;
3353 struct sched_entity se ;
3354 struct sched_rt_entity rt ;
3355 struct hlist_head preempt_notifiers ;
3356 unsigned char fpu_counter ;
3357 unsigned int policy ;
3358 cpumask_t cpus_allowed ;
3359 struct sched_info sched_info ;
3360 struct list_head tasks ;
3361 struct plist_node pushable_tasks ;
3362 struct mm_struct *mm ;
3363 struct mm_struct *active_mm ;
3364 unsigned char brk_randomized : 1 ;
3365 int exit_state ;
3366 int exit_code ;
3367 int exit_signal ;
3368 int pdeath_signal ;
3369 unsigned int jobctl ;
3370 unsigned int personality ;
3371 unsigned char did_exec : 1 ;
3372 unsigned char in_execve : 1 ;
3373 unsigned char in_iowait : 1 ;
3374 unsigned char sched_reset_on_fork : 1 ;
3375 unsigned char sched_contributes_to_load : 1 ;
3376 unsigned char irq_thread : 1 ;
3377 pid_t pid ;
3378 pid_t tgid ;
3379 unsigned long stack_canary ;
3380 struct task_struct *real_parent ;
3381 struct task_struct *parent ;
3382 struct list_head children ;
3383 struct list_head sibling ;
3384 struct task_struct *group_leader ;
3385 struct list_head ptraced ;
3386 struct list_head ptrace_entry ;
3387 struct pid_link pids[3U] ;
3388 struct list_head thread_group ;
3389 struct completion *vfork_done ;
3390 int *set_child_tid ;
3391 int *clear_child_tid ;
3392 cputime_t utime ;
3393 cputime_t stime ;
3394 cputime_t utimescaled ;
3395 cputime_t stimescaled ;
3396 cputime_t gtime ;
3397 cputime_t prev_utime ;
3398 cputime_t prev_stime ;
3399 unsigned long nvcsw ;
3400 unsigned long nivcsw ;
3401 struct timespec start_time ;
3402 struct timespec real_start_time ;
3403 unsigned long min_flt ;
3404 unsigned long maj_flt ;
3405 struct task_cputime cputime_expires ;
3406 struct list_head cpu_timers[3U] ;
3407 struct cred const *real_cred ;
3408 struct cred const *cred ;
3409 struct cred *replacement_session_keyring ;
3410 char comm[16U] ;
3411 int link_count ;
3412 int total_link_count ;
3413 struct sysv_sem sysvsem ;
3414 unsigned long last_switch_count ;
3415 struct thread_struct thread ;
3416 struct fs_struct *fs ;
3417 struct files_struct *files ;
3418 struct nsproxy *nsproxy ;
3419 struct signal_struct *signal ;
3420 struct sighand_struct *sighand ;
3421 sigset_t blocked ;
3422 sigset_t real_blocked ;
3423 sigset_t saved_sigmask ;
3424 struct sigpending pending ;
3425 unsigned long sas_ss_sp ;
3426 size_t sas_ss_size ;
3427 int (*notifier)(void * ) ;
3428 void *notifier_data ;
3429 sigset_t *notifier_mask ;
3430 struct audit_context *audit_context ;
3431 uid_t loginuid ;
3432 unsigned int sessionid ;
3433 seccomp_t seccomp ;
3434 u32 parent_exec_id ;
3435 u32 self_exec_id ;
3436 spinlock_t alloc_lock ;
3437 raw_spinlock_t pi_lock ;
3438 struct plist_head pi_waiters ;
3439 struct rt_mutex_waiter *pi_blocked_on ;
3440 struct mutex_waiter *blocked_on ;
3441 unsigned int irq_events ;
3442 unsigned long hardirq_enable_ip ;
3443 unsigned long hardirq_disable_ip ;
3444 unsigned int hardirq_enable_event ;
3445 unsigned int hardirq_disable_event ;
3446 int hardirqs_enabled ;
3447 int hardirq_context ;
3448 unsigned long softirq_disable_ip ;
3449 unsigned long softirq_enable_ip ;
3450 unsigned int softirq_disable_event ;
3451 unsigned int softirq_enable_event ;
3452 int softirqs_enabled ;
3453 int softirq_context ;
3454 u64 curr_chain_key ;
3455 int lockdep_depth ;
3456 unsigned int lockdep_recursion ;
3457 struct held_lock held_locks[48U] ;
3458 gfp_t lockdep_reclaim_gfp ;
3459 void *journal_info ;
3460 struct bio_list *bio_list ;
3461 struct blk_plug *plug ;
3462 struct reclaim_state *reclaim_state ;
3463 struct backing_dev_info *backing_dev_info ;
3464 struct io_context *io_context ;
3465 unsigned long ptrace_message ;
3466 siginfo_t *last_siginfo ;
3467 struct task_io_accounting ioac ;
3468 u64 acct_rss_mem1 ;
3469 u64 acct_vm_mem1 ;
3470 cputime_t acct_timexpd ;
3471 nodemask_t mems_allowed ;
3472 seqcount_t mems_allowed_seq ;
3473 int cpuset_mem_spread_rotor ;
3474 int cpuset_slab_spread_rotor ;
3475 struct css_set *cgroups ;
3476 struct list_head cg_list ;
3477 struct robust_list_head *robust_list ;
3478 struct compat_robust_list_head *compat_robust_list ;
3479 struct list_head pi_state_list ;
3480 struct futex_pi_state *pi_state_cache ;
3481 struct perf_event_context *perf_event_ctxp[2U] ;
3482 struct mutex perf_event_mutex ;
3483 struct list_head perf_event_list ;
3484 struct mempolicy *mempolicy ;
3485 short il_next ;
3486 short pref_node_fork ;
3487 struct rcu_head rcu ;
3488 struct pipe_inode_info *splice_pipe ;
3489 struct task_delay_info *delays ;
3490 int make_it_fail ;
3491 int nr_dirtied ;
3492 int nr_dirtied_pause ;
3493 unsigned long dirty_paused_when ;
3494 int latency_record_count ;
3495 struct latency_record latency_record[32U] ;
3496 unsigned long timer_slack_ns ;
3497 unsigned long default_timer_slack_ns ;
3498 struct list_head *scm_work_list ;
3499 unsigned long trace ;
3500 unsigned long trace_recursion ;
3501 struct memcg_batch_info memcg_batch ;
3502 atomic_t ptrace_bp_refcnt ;
3503};
3504#line 28 "include/linux/of.h"
3505typedef u32 phandle;
3506#line 30 "include/linux/of.h"
3507struct property {
3508 char *name ;
3509 int length ;
3510 void *value ;
3511 struct property *next ;
3512 unsigned long _flags ;
3513 unsigned int unique_id ;
3514};
3515#line 39
3516struct proc_dir_entry;
3517#line 39 "include/linux/of.h"
3518struct device_node {
3519 char const *name ;
3520 char const *type ;
3521 phandle phandle ;
3522 char *full_name ;
3523 struct property *properties ;
3524 struct property *deadprops ;
3525 struct device_node *parent ;
3526 struct device_node *child ;
3527 struct device_node *sibling ;
3528 struct device_node *next ;
3529 struct device_node *allnext ;
3530 struct proc_dir_entry *pde ;
3531 struct kref kref ;
3532 unsigned long _flags ;
3533 void *data ;
3534};
3535#line 190 "include/linux/regulator/consumer.h"
3536struct regulator_init_data;
3537#line 190
3538struct regulator_init_data;
3539#line 175 "include/linux/regulator/driver.h"
3540struct regulation_constraints;
3541#line 228 "include/linux/regulator/driver.h"
3542struct taskstats {
3543 __u16 version ;
3544 __u32 ac_exitcode ;
3545 __u8 ac_flag ;
3546 __u8 ac_nice ;
3547 __u64 cpu_count ;
3548 __u64 cpu_delay_total ;
3549 __u64 blkio_count ;
3550 __u64 blkio_delay_total ;
3551 __u64 swapin_count ;
3552 __u64 swapin_delay_total ;
3553 __u64 cpu_run_real_total ;
3554 __u64 cpu_run_virtual_total ;
3555 char ac_comm[32U] ;
3556 __u8 ac_sched ;
3557 __u8 ac_pad[3U] ;
3558 __u32 ac_uid ;
3559 __u32 ac_gid ;
3560 __u32 ac_pid ;
3561 __u32 ac_ppid ;
3562 __u32 ac_btime ;
3563 __u64 ac_etime ;
3564 __u64 ac_utime ;
3565 __u64 ac_stime ;
3566 __u64 ac_minflt ;
3567 __u64 ac_majflt ;
3568 __u64 coremem ;
3569 __u64 virtmem ;
3570 __u64 hiwater_rss ;
3571 __u64 hiwater_vm ;
3572 __u64 read_char ;
3573 __u64 write_char ;
3574 __u64 read_syscalls ;
3575 __u64 write_syscalls ;
3576 __u64 read_bytes ;
3577 __u64 write_bytes ;
3578 __u64 cancelled_write_bytes ;
3579 __u64 nvcsw ;
3580 __u64 nivcsw ;
3581 __u64 ac_utimescaled ;
3582 __u64 ac_stimescaled ;
3583 __u64 cpu_scaled_run_real_total ;
3584 __u64 freepages_count ;
3585 __u64 freepages_delay_total ;
3586};
3587#line 154 "include/linux/idr.h"
3588struct cgroupfs_root;
3589#line 154
3590struct cgroupfs_root;
3591#line 156
3592struct cgroup;
3593#line 156
3594struct cgroup;
3595#line 157
3596struct css_id;
3597#line 157
3598struct css_id;
3599#line 56 "include/linux/cgroup.h"
3600struct cgroup_subsys_state {
3601 struct cgroup *cgroup ;
3602 atomic_t refcnt ;
3603 unsigned long flags ;
3604 struct css_id *id ;
3605};
3606#line 149 "include/linux/cgroup.h"
3607struct cgroup {
3608 unsigned long flags ;
3609 atomic_t count ;
3610 struct list_head sibling ;
3611 struct list_head children ;
3612 struct cgroup *parent ;
3613 struct dentry *dentry ;
3614 struct cgroup_subsys_state *subsys[64U] ;
3615 struct cgroupfs_root *root ;
3616 struct cgroup *top_cgroup ;
3617 struct list_head css_sets ;
3618 struct list_head release_list ;
3619 struct list_head pidlists ;
3620 struct mutex pidlist_mutex ;
3621 struct rcu_head rcu_head ;
3622 struct list_head event_list ;
3623 spinlock_t event_list_lock ;
3624};
3625#line 215 "include/linux/cgroup.h"
3626struct css_set {
3627 atomic_t refcount ;
3628 struct hlist_node hlist ;
3629 struct list_head tasks ;
3630 struct list_head cg_links ;
3631 struct cgroup_subsys_state *subsys[64U] ;
3632 struct rcu_head rcu_head ;
3633};
3634#line 108 "include/linux/swap.h"
3635struct reclaim_state {
3636 unsigned long reclaimed_slab ;
3637};
3638#line 178 "include/linux/mm.h"
3639struct vm_fault {
3640 unsigned int flags ;
3641 unsigned long pgoff ;
3642 void *virtual_address ;
3643 struct page *page ;
3644};
3645#line 195 "include/linux/mm.h"
3646struct vm_operations_struct {
3647 void (*open)(struct vm_area_struct * ) ;
3648 void (*close)(struct vm_area_struct * ) ;
3649 int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
3650 int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
3651 int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
3652 int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
3653 struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
3654 int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
3655 unsigned long ) ;
3656};
3657#line 34 "include/linux/suspend.h"
3658typedef int suspend_state_t;
3659#line 443 "include/linux/suspend.h"
3660struct regulator_state {
3661 int uV ;
3662 unsigned int mode ;
3663 int enabled ;
3664 int disabled ;
3665};
3666#line 61 "include/linux/regulator/machine.h"
3667struct regulation_constraints {
3668 char const *name ;
3669 int min_uV ;
3670 int max_uV ;
3671 int uV_offset ;
3672 int min_uA ;
3673 int max_uA ;
3674 unsigned int valid_modes_mask ;
3675 unsigned int valid_ops_mask ;
3676 int input_uV ;
3677 struct regulator_state state_disk ;
3678 struct regulator_state state_mem ;
3679 struct regulator_state state_standby ;
3680 suspend_state_t initial_state ;
3681 unsigned int initial_mode ;
3682 unsigned char always_on : 1 ;
3683 unsigned char boot_on : 1 ;
3684 unsigned char apply_uV : 1 ;
3685};
3686#line 133 "include/linux/regulator/machine.h"
3687struct regulator_consumer_supply {
3688 char const *dev_name ;
3689 char const *supply ;
3690};
3691#line 147 "include/linux/regulator/machine.h"
3692struct regulator_init_data {
3693 char const *supply_regulator ;
3694 struct regulation_constraints constraints ;
3695 int num_consumer_supplies ;
3696 struct regulator_consumer_supply *consumer_supplies ;
3697 int (*regulator_init)(void * ) ;
3698 void *driver_data ;
3699};
3700#line 272 "include/linux/power_supply.h"
3701struct pcf50633_bl_platform_data {
3702 unsigned int default_brightness ;
3703 unsigned int default_brightness_limit ;
3704 uint8_t ramp_time ;
3705};
3706#line 44 "include/linux/mfd/pcf50633/backlight.h"
3707struct pcf50633;
3708#line 44
3709struct pcf50633;
3710#line 49
3711struct regmap;
3712#line 49
3713struct regmap;
3714#line 50 "include/linux/mfd/pcf50633/backlight.h"
3715struct pcf50633_platform_data {
3716 struct regulator_init_data reg_init_data[11U] ;
3717 char **batteries ;
3718 int num_batteries ;
3719 int charger_reference_current_ma ;
3720 void (*probe_done)(struct pcf50633 * ) ;
3721 void (*mbc_event_callback)(struct pcf50633 * , int ) ;
3722 void (*regulator_registered)(struct pcf50633 * , int ) ;
3723 void (*force_shutdown)(struct pcf50633 * ) ;
3724 u8 resumers[5U] ;
3725 struct pcf50633_bl_platform_data *backlight_data ;
3726};
3727#line 51 "include/linux/mfd/pcf50633/core.h"
3728struct pcf50633_irq {
3729 void (*handler)(int , void * ) ;
3730 void *data ;
3731};
3732#line 118 "include/linux/mfd/pcf50633/core.h"
3733struct pcf50633 {
3734 struct device *dev ;
3735 struct regmap *regmap ;
3736 struct pcf50633_platform_data *pdata ;
3737 int irq ;
3738 struct pcf50633_irq irq_handler[40U] ;
3739 struct work_struct irq_work ;
3740 struct workqueue_struct *work_queue ;
3741 struct mutex lock ;
3742 u8 mask_regs[5U] ;
3743 u8 suspend_irq_masks[5U] ;
3744 u8 resume_reason[5U] ;
3745 int is_suspended ;
3746 int onkey1s_held ;
3747 struct platform_device *rtc_pdev ;
3748 struct platform_device *mbc_pdev ;
3749 struct platform_device *adc_pdev ;
3750 struct platform_device *input_pdev ;
3751 struct platform_device *bl_pdev ;
3752 struct platform_device *regulator_pdev[11U] ;
3753};
3754#line 236 "include/linux/mfd/pcf50633/core.h"
3755struct pcf50633_input {
3756 struct pcf50633 *pcf ;
3757 struct input_dev *input_dev ;
3758};
3759#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
3760void ldv_spin_lock(void) ;
3761#line 3
3762void ldv_spin_unlock(void) ;
3763#line 4
3764int ldv_spin_trylock(void) ;
3765#line 60 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/bitops.h"
3766__inline static void set_bit(unsigned int nr , unsigned long volatile *addr )
3767{ long volatile *__cil_tmp3 ;
3768
3769 {
3770#line 68
3771 __cil_tmp3 = (long volatile *)addr;
3772#line 68
3773 __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; bts %1,%0": "+m" (*__cil_tmp3): "Ir" (nr): "memory");
3774#line 70
3775 return;
3776}
3777}
3778#line 161 "include/linux/slab.h"
3779extern void kfree(void const * ) ;
3780#line 220 "include/linux/slub_def.h"
3781extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
3782#line 223
3783void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3784#line 353 "include/linux/slab.h"
3785__inline static void *kzalloc(size_t size , gfp_t flags ) ;
3786#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
3787extern void *__VERIFIER_nondet_pointer(void) ;
3788#line 11
3789void ldv_check_alloc_flags(gfp_t flags ) ;
3790#line 12
3791void ldv_check_alloc_nonatomic(void) ;
3792#line 14
3793struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3794#line 792 "include/linux/device.h"
3795extern void *dev_get_drvdata(struct device const * ) ;
3796#line 793
3797extern int dev_set_drvdata(struct device * , void * ) ;
3798#line 188 "include/linux/platform_device.h"
3799__inline static void platform_set_drvdata(struct platform_device *pdev , void *data )
3800{ unsigned long __cil_tmp3 ;
3801 unsigned long __cil_tmp4 ;
3802 struct device *__cil_tmp5 ;
3803
3804 {
3805 {
3806#line 190
3807 __cil_tmp3 = (unsigned long )pdev;
3808#line 190
3809 __cil_tmp4 = __cil_tmp3 + 16;
3810#line 190
3811 __cil_tmp5 = (struct device *)__cil_tmp4;
3812#line 190
3813 dev_set_drvdata(__cil_tmp5, data);
3814 }
3815#line 191
3816 return;
3817}
3818}
3819#line 1456 "include/linux/input.h"
3820extern struct input_dev *input_allocate_device(void) ;
3821#line 1457
3822extern void input_free_device(struct input_dev * ) ;
3823#line 1480
3824extern int input_register_device(struct input_dev * ) ;
3825#line 1502
3826extern void input_event(struct input_dev * , unsigned int , unsigned int , int ) ;
3827#line 1505 "include/linux/input.h"
3828__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
3829 int value )
3830{ int __cil_tmp4 ;
3831
3832 {
3833 {
3834#line 1507
3835 __cil_tmp4 = value != 0;
3836#line 1507
3837 input_event(dev, 1U, code, __cil_tmp4);
3838 }
3839#line 1508
3840 return;
3841}
3842}
3843#line 1530 "include/linux/input.h"
3844__inline static void input_sync(struct input_dev *dev )
3845{
3846
3847 {
3848 {
3849#line 1532
3850 input_event(dev, 0U, 0U, 0);
3851 }
3852#line 1533
3853 return;
3854}
3855}
3856#line 57 "include/linux/mfd/pcf50633/core.h"
3857extern int pcf50633_register_irq(struct pcf50633 * , int , void (*)(int , void * ) ,
3858 void * ) ;
3859#line 69
3860extern u8 pcf50633_reg_read(struct pcf50633 * , u8 ) ;
3861#line 226 "include/linux/mfd/pcf50633/core.h"
3862__inline static struct pcf50633 *dev_to_pcf50633(struct device *dev )
3863{ void *tmp ;
3864 struct device const *__cil_tmp3 ;
3865
3866 {
3867 {
3868#line 228
3869 __cil_tmp3 = (struct device const *)dev;
3870#line 228
3871 tmp = dev_get_drvdata(__cil_tmp3);
3872 }
3873#line 228
3874 return ((struct pcf50633 *)tmp);
3875}
3876}
3877#line 52 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
3878static void pcf50633_input_irq(int irq , void *data )
3879{ struct pcf50633_input *input ;
3880 int onkey_released ;
3881 u8 tmp ;
3882 struct pcf50633 *__cil_tmp6 ;
3883 u8 __cil_tmp7 ;
3884 int __cil_tmp8 ;
3885 unsigned long __cil_tmp9 ;
3886 unsigned long __cil_tmp10 ;
3887 struct input_dev *__cil_tmp11 ;
3888 unsigned long __cil_tmp12 ;
3889 unsigned long __cil_tmp13 ;
3890 struct input_dev *__cil_tmp14 ;
3891 unsigned long __cil_tmp15 ;
3892 unsigned long __cil_tmp16 ;
3893 struct input_dev *__cil_tmp17 ;
3894
3895 {
3896 {
3897#line 57
3898 input = (struct pcf50633_input *)data;
3899#line 60
3900 __cil_tmp6 = *((struct pcf50633 **)input);
3901#line 60
3902 __cil_tmp7 = (u8 )18;
3903#line 60
3904 tmp = pcf50633_reg_read(__cil_tmp6, __cil_tmp7);
3905#line 60
3906 __cil_tmp8 = (int )tmp;
3907#line 60
3908 onkey_released = __cil_tmp8 & 1;
3909 }
3910#line 63
3911 if (irq == 9) {
3912#line 63
3913 if (onkey_released == 0) {
3914 {
3915#line 64
3916 __cil_tmp9 = (unsigned long )input;
3917#line 64
3918 __cil_tmp10 = __cil_tmp9 + 8;
3919#line 64
3920 __cil_tmp11 = *((struct input_dev **)__cil_tmp10);
3921#line 64
3922 input_report_key(__cil_tmp11, 116U, 1);
3923 }
3924 } else {
3925#line 63
3926 goto _L;
3927 }
3928 } else
3929 _L:
3930#line 65
3931 if (irq == 8) {
3932#line 65
3933 if (onkey_released != 0) {
3934 {
3935#line 66
3936 __cil_tmp12 = (unsigned long )input;
3937#line 66
3938 __cil_tmp13 = __cil_tmp12 + 8;
3939#line 66
3940 __cil_tmp14 = *((struct input_dev **)__cil_tmp13);
3941#line 66
3942 input_report_key(__cil_tmp14, 116U, 0);
3943 }
3944 } else {
3945
3946 }
3947 } else {
3948
3949 }
3950 {
3951#line 68
3952 __cil_tmp15 = (unsigned long )input;
3953#line 68
3954 __cil_tmp16 = __cil_tmp15 + 8;
3955#line 68
3956 __cil_tmp17 = *((struct input_dev **)__cil_tmp16);
3957#line 68
3958 input_sync(__cil_tmp17);
3959 }
3960#line 69
3961 return;
3962}
3963}
3964#line 71 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
3965static int pcf50633_input_probe(struct platform_device *pdev )
3966{ struct pcf50633_input *input ;
3967 struct input_dev *input_dev ;
3968 int ret ;
3969 void *tmp ;
3970 struct pcf50633_input *__cil_tmp6 ;
3971 unsigned long __cil_tmp7 ;
3972 unsigned long __cil_tmp8 ;
3973 struct input_dev *__cil_tmp9 ;
3974 unsigned long __cil_tmp10 ;
3975 unsigned long __cil_tmp11 ;
3976 void const *__cil_tmp12 ;
3977 void *__cil_tmp13 ;
3978 unsigned long __cil_tmp14 ;
3979 unsigned long __cil_tmp15 ;
3980 struct device *__cil_tmp16 ;
3981 unsigned long __cil_tmp17 ;
3982 unsigned long __cil_tmp18 ;
3983 unsigned long __cil_tmp19 ;
3984 unsigned long __cil_tmp20 ;
3985 unsigned long __cil_tmp21 ;
3986 unsigned long __cil_tmp22 ;
3987 unsigned long __cil_tmp23 ;
3988 unsigned long __cil_tmp24 ;
3989 unsigned long __cil_tmp25 ;
3990 unsigned long __cil_tmp26 ;
3991 unsigned long (*__cil_tmp27)[12U] ;
3992 unsigned long volatile *__cil_tmp28 ;
3993 void const *__cil_tmp29 ;
3994 struct pcf50633 *__cil_tmp30 ;
3995 void *__cil_tmp31 ;
3996 struct pcf50633 *__cil_tmp32 ;
3997 void *__cil_tmp33 ;
3998
3999 {
4000 {
4001#line 78
4002 tmp = kzalloc(16UL, 208U);
4003#line 78
4004 input = (struct pcf50633_input *)tmp;
4005 }
4006 {
4007#line 79
4008 __cil_tmp6 = (struct pcf50633_input *)0;
4009#line 79
4010 __cil_tmp7 = (unsigned long )__cil_tmp6;
4011#line 79
4012 __cil_tmp8 = (unsigned long )input;
4013#line 79
4014 if (__cil_tmp8 == __cil_tmp7) {
4015#line 80
4016 return (-12);
4017 } else {
4018
4019 }
4020 }
4021 {
4022#line 82
4023 input_dev = input_allocate_device();
4024 }
4025 {
4026#line 83
4027 __cil_tmp9 = (struct input_dev *)0;
4028#line 83
4029 __cil_tmp10 = (unsigned long )__cil_tmp9;
4030#line 83
4031 __cil_tmp11 = (unsigned long )input_dev;
4032#line 83
4033 if (__cil_tmp11 == __cil_tmp10) {
4034 {
4035#line 84
4036 __cil_tmp12 = (void const *)input;
4037#line 84
4038 kfree(__cil_tmp12);
4039 }
4040#line 85
4041 return (-12);
4042 } else {
4043
4044 }
4045 }
4046 {
4047#line 88
4048 __cil_tmp13 = (void *)input;
4049#line 88
4050 platform_set_drvdata(pdev, __cil_tmp13);
4051#line 89
4052 __cil_tmp14 = (unsigned long )pdev;
4053#line 89
4054 __cil_tmp15 = __cil_tmp14 + 16;
4055#line 89
4056 __cil_tmp16 = *((struct device **)__cil_tmp15);
4057#line 89
4058 *((struct pcf50633 **)input) = dev_to_pcf50633(__cil_tmp16);
4059#line 90
4060 __cil_tmp17 = (unsigned long )input;
4061#line 90
4062 __cil_tmp18 = __cil_tmp17 + 8;
4063#line 90
4064 *((struct input_dev **)__cil_tmp18) = input_dev;
4065#line 92
4066 *((char const **)input_dev) = "PCF50633 PMU events";
4067#line 93
4068 __cil_tmp19 = (unsigned long )input_dev;
4069#line 93
4070 __cil_tmp20 = __cil_tmp19 + 24;
4071#line 93
4072 *((__u16 *)__cil_tmp20) = (__u16 )24U;
4073#line 94
4074 __cil_tmp21 = 0 * 8UL;
4075#line 94
4076 __cil_tmp22 = 40 + __cil_tmp21;
4077#line 94
4078 __cil_tmp23 = (unsigned long )input_dev;
4079#line 94
4080 __cil_tmp24 = __cil_tmp23 + __cil_tmp22;
4081#line 94
4082 *((unsigned long *)__cil_tmp24) = 4194306UL;
4083#line 95
4084 __cil_tmp25 = (unsigned long )input_dev;
4085#line 95
4086 __cil_tmp26 = __cil_tmp25 + 48;
4087#line 95
4088 __cil_tmp27 = (unsigned long (*)[12U])__cil_tmp26;
4089#line 95
4090 __cil_tmp28 = (unsigned long volatile *)__cil_tmp27;
4091#line 95
4092 set_bit(116U, __cil_tmp28);
4093#line 97
4094 ret = input_register_device(input_dev);
4095 }
4096#line 98
4097 if (ret != 0) {
4098 {
4099#line 99
4100 input_free_device(input_dev);
4101#line 100
4102 __cil_tmp29 = (void const *)input;
4103#line 100
4104 kfree(__cil_tmp29);
4105 }
4106#line 101
4107 return (ret);
4108 } else {
4109
4110 }
4111 {
4112#line 103
4113 __cil_tmp30 = *((struct pcf50633 **)input);
4114#line 103
4115 __cil_tmp31 = (void *)input;
4116#line 103
4117 pcf50633_register_irq(__cil_tmp30, 8, & pcf50633_input_irq, __cil_tmp31);
4118#line 105
4119 __cil_tmp32 = *((struct pcf50633 **)input);
4120#line 105
4121 __cil_tmp33 = (void *)input;
4122#line 105
4123 pcf50633_register_irq(__cil_tmp32, 9, & pcf50633_input_irq, __cil_tmp33);
4124 }
4125#line 108
4126 return (0);
4127}
4128}
4129#line 154
4130extern void ldv_check_final_state(void) ;
4131#line 157
4132extern void ldv_check_return_value(int ) ;
4133#line 160
4134extern void ldv_initialize(void) ;
4135#line 163
4136extern int __VERIFIER_nondet_int(void) ;
4137#line 166 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4138int LDV_IN_INTERRUPT ;
4139#line 169 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4140void main(void)
4141{ struct platform_device *var_group1 ;
4142 int res_pcf50633_input_probe_1 ;
4143 int ldv_s_pcf50633_input_driver_platform_driver ;
4144 int tmp ;
4145 int tmp___0 ;
4146
4147 {
4148 {
4149#line 203
4150 ldv_s_pcf50633_input_driver_platform_driver = 0;
4151#line 193
4152 LDV_IN_INTERRUPT = 1;
4153#line 202
4154 ldv_initialize();
4155 }
4156#line 206
4157 goto ldv_26778;
4158 ldv_26777:
4159 {
4160#line 210
4161 tmp = __VERIFIER_nondet_int();
4162 }
4163#line 212
4164 if (tmp == 0) {
4165#line 212
4166 goto case_0;
4167 } else {
4168 {
4169#line 235
4170 goto switch_default;
4171#line 210
4172 if (0) {
4173 case_0: ;
4174#line 215
4175 if (ldv_s_pcf50633_input_driver_platform_driver == 0) {
4176 {
4177#line 224
4178 res_pcf50633_input_probe_1 = pcf50633_input_probe(var_group1);
4179#line 225
4180 ldv_check_return_value(res_pcf50633_input_probe_1);
4181 }
4182#line 226
4183 if (res_pcf50633_input_probe_1 != 0) {
4184#line 227
4185 goto ldv_module_exit;
4186 } else {
4187
4188 }
4189#line 228
4190 ldv_s_pcf50633_input_driver_platform_driver = 0;
4191 } else {
4192
4193 }
4194#line 234
4195 goto ldv_26775;
4196 switch_default: ;
4197#line 235
4198 goto ldv_26775;
4199 } else {
4200 switch_break: ;
4201 }
4202 }
4203 }
4204 ldv_26775: ;
4205 ldv_26778:
4206 {
4207#line 206
4208 tmp___0 = __VERIFIER_nondet_int();
4209 }
4210#line 206
4211 if (tmp___0 != 0) {
4212#line 208
4213 goto ldv_26777;
4214 } else
4215#line 206
4216 if (ldv_s_pcf50633_input_driver_platform_driver != 0) {
4217#line 208
4218 goto ldv_26777;
4219 } else {
4220#line 210
4221 goto ldv_26779;
4222 }
4223 ldv_26779: ;
4224 ldv_module_exit: ;
4225 {
4226#line 244
4227 ldv_check_final_state();
4228 }
4229#line 247
4230 return;
4231}
4232}
4233#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
4234void ldv_blast_assert(void)
4235{
4236
4237 {
4238 ERROR: ;
4239#line 6
4240 goto ERROR;
4241}
4242}
4243#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
4244extern int __VERIFIER_nondet_int(void) ;
4245#line 268 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4246int ldv_spin = 0;
4247#line 272 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4248void ldv_check_alloc_flags(gfp_t flags )
4249{
4250
4251 {
4252#line 275
4253 if (ldv_spin != 0) {
4254#line 275
4255 if (flags != 32U) {
4256 {
4257#line 275
4258 ldv_blast_assert();
4259 }
4260 } else {
4261
4262 }
4263 } else {
4264
4265 }
4266#line 278
4267 return;
4268}
4269}
4270#line 278
4271extern struct page *ldv_some_page(void) ;
4272#line 281 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4273struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
4274{ struct page *tmp ;
4275
4276 {
4277#line 284
4278 if (ldv_spin != 0) {
4279#line 284
4280 if (flags != 32U) {
4281 {
4282#line 284
4283 ldv_blast_assert();
4284 }
4285 } else {
4286
4287 }
4288 } else {
4289
4290 }
4291 {
4292#line 286
4293 tmp = ldv_some_page();
4294 }
4295#line 286
4296 return (tmp);
4297}
4298}
4299#line 290 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4300void ldv_check_alloc_nonatomic(void)
4301{
4302
4303 {
4304#line 293
4305 if (ldv_spin != 0) {
4306 {
4307#line 293
4308 ldv_blast_assert();
4309 }
4310 } else {
4311
4312 }
4313#line 296
4314 return;
4315}
4316}
4317#line 297 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4318void ldv_spin_lock(void)
4319{
4320
4321 {
4322#line 300
4323 ldv_spin = 1;
4324#line 301
4325 return;
4326}
4327}
4328#line 304 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4329void ldv_spin_unlock(void)
4330{
4331
4332 {
4333#line 307
4334 ldv_spin = 0;
4335#line 308
4336 return;
4337}
4338}
4339#line 311 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4340int ldv_spin_trylock(void)
4341{ int is_lock ;
4342
4343 {
4344 {
4345#line 316
4346 is_lock = __VERIFIER_nondet_int();
4347 }
4348#line 318
4349 if (is_lock != 0) {
4350#line 321
4351 return (0);
4352 } else {
4353#line 326
4354 ldv_spin = 1;
4355#line 328
4356 return (1);
4357 }
4358}
4359}
4360#line 495 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4361void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
4362{
4363
4364 {
4365 {
4366#line 501
4367 ldv_check_alloc_flags(ldv_func_arg2);
4368#line 503
4369 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
4370 }
4371#line 504
4372 return ((void *)0);
4373}
4374}
4375#line 506 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3033/dscv_tempdir/dscv/ri/43_1a/drivers/input/misc/pcf50633-input.c.p"
4376__inline static void *kzalloc(size_t size , gfp_t flags )
4377{ void *tmp ;
4378
4379 {
4380 {
4381#line 512
4382 ldv_check_alloc_flags(flags);
4383#line 513
4384 tmp = __VERIFIER_nondet_pointer();
4385 }
4386#line 513
4387 return (tmp);
4388}
4389}