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