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