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 12 "include/linux/mod_devicetable.h"
1170typedef unsigned long kernel_ulong_t;
1171#line 181 "include/linux/mod_devicetable.h"
1172struct acpi_device_id {
1173 __u8 id[16U] ;
1174 kernel_ulong_t driver_data ;
1175};
1176#line 215 "include/linux/mod_devicetable.h"
1177struct of_device_id {
1178 char name[32U] ;
1179 char type[32U] ;
1180 char compatible[128U] ;
1181 void *data ;
1182};
1183#line 269 "include/linux/mod_devicetable.h"
1184struct input_device_id {
1185 kernel_ulong_t flags ;
1186 __u16 bustype ;
1187 __u16 vendor ;
1188 __u16 product ;
1189 __u16 version ;
1190 kernel_ulong_t evbit[1U] ;
1191 kernel_ulong_t keybit[12U] ;
1192 kernel_ulong_t relbit[1U] ;
1193 kernel_ulong_t absbit[1U] ;
1194 kernel_ulong_t mscbit[1U] ;
1195 kernel_ulong_t ledbit[1U] ;
1196 kernel_ulong_t sndbit[1U] ;
1197 kernel_ulong_t ffbit[2U] ;
1198 kernel_ulong_t swbit[1U] ;
1199 kernel_ulong_t driver_info ;
1200};
1201#line 93 "include/linux/capability.h"
1202struct kernel_cap_struct {
1203 __u32 cap[2U] ;
1204};
1205#line 96 "include/linux/capability.h"
1206typedef struct kernel_cap_struct kernel_cap_t;
1207#line 104
1208struct dentry;
1209#line 104
1210struct dentry;
1211#line 105
1212struct user_namespace;
1213#line 105
1214struct user_namespace;
1215#line 554
1216struct prio_tree_node;
1217#line 554 "include/linux/capability.h"
1218struct raw_prio_tree_node {
1219 struct prio_tree_node *left ;
1220 struct prio_tree_node *right ;
1221 struct prio_tree_node *parent ;
1222};
1223#line 19 "include/linux/prio_tree.h"
1224struct prio_tree_node {
1225 struct prio_tree_node *left ;
1226 struct prio_tree_node *right ;
1227 struct prio_tree_node *parent ;
1228 unsigned long start ;
1229 unsigned long last ;
1230};
1231#line 27 "include/linux/prio_tree.h"
1232struct prio_tree_root {
1233 struct prio_tree_node *prio_tree_node ;
1234 unsigned short index_bits ;
1235 unsigned short raw ;
1236};
1237#line 116
1238struct address_space;
1239#line 116
1240struct address_space;
1241#line 117 "include/linux/prio_tree.h"
1242union __anonunion_ldv_14552_138 {
1243 unsigned long index ;
1244 void *freelist ;
1245};
1246#line 117 "include/linux/prio_tree.h"
1247struct __anonstruct_ldv_14562_142 {
1248 unsigned short inuse ;
1249 unsigned short objects : 15 ;
1250 unsigned char frozen : 1 ;
1251};
1252#line 117 "include/linux/prio_tree.h"
1253union __anonunion_ldv_14563_141 {
1254 atomic_t _mapcount ;
1255 struct __anonstruct_ldv_14562_142 ldv_14562 ;
1256};
1257#line 117 "include/linux/prio_tree.h"
1258struct __anonstruct_ldv_14565_140 {
1259 union __anonunion_ldv_14563_141 ldv_14563 ;
1260 atomic_t _count ;
1261};
1262#line 117 "include/linux/prio_tree.h"
1263union __anonunion_ldv_14566_139 {
1264 unsigned long counters ;
1265 struct __anonstruct_ldv_14565_140 ldv_14565 ;
1266};
1267#line 117 "include/linux/prio_tree.h"
1268struct __anonstruct_ldv_14567_137 {
1269 union __anonunion_ldv_14552_138 ldv_14552 ;
1270 union __anonunion_ldv_14566_139 ldv_14566 ;
1271};
1272#line 117 "include/linux/prio_tree.h"
1273struct __anonstruct_ldv_14574_144 {
1274 struct page *next ;
1275 int pages ;
1276 int pobjects ;
1277};
1278#line 117 "include/linux/prio_tree.h"
1279union __anonunion_ldv_14575_143 {
1280 struct list_head lru ;
1281 struct __anonstruct_ldv_14574_144 ldv_14574 ;
1282};
1283#line 117 "include/linux/prio_tree.h"
1284union __anonunion_ldv_14580_145 {
1285 unsigned long private ;
1286 struct kmem_cache *slab ;
1287 struct page *first_page ;
1288};
1289#line 117 "include/linux/prio_tree.h"
1290struct page {
1291 unsigned long flags ;
1292 struct address_space *mapping ;
1293 struct __anonstruct_ldv_14567_137 ldv_14567 ;
1294 union __anonunion_ldv_14575_143 ldv_14575 ;
1295 union __anonunion_ldv_14580_145 ldv_14580 ;
1296 unsigned long debug_flags ;
1297};
1298#line 192 "include/linux/mm_types.h"
1299struct __anonstruct_vm_set_147 {
1300 struct list_head list ;
1301 void *parent ;
1302 struct vm_area_struct *head ;
1303};
1304#line 192 "include/linux/mm_types.h"
1305union __anonunion_shared_146 {
1306 struct __anonstruct_vm_set_147 vm_set ;
1307 struct raw_prio_tree_node prio_tree_node ;
1308};
1309#line 192
1310struct anon_vma;
1311#line 192
1312struct vm_operations_struct;
1313#line 192
1314struct mempolicy;
1315#line 192 "include/linux/mm_types.h"
1316struct vm_area_struct {
1317 struct mm_struct *vm_mm ;
1318 unsigned long vm_start ;
1319 unsigned long vm_end ;
1320 struct vm_area_struct *vm_next ;
1321 struct vm_area_struct *vm_prev ;
1322 pgprot_t vm_page_prot ;
1323 unsigned long vm_flags ;
1324 struct rb_node vm_rb ;
1325 union __anonunion_shared_146 shared ;
1326 struct list_head anon_vma_chain ;
1327 struct anon_vma *anon_vma ;
1328 struct vm_operations_struct const *vm_ops ;
1329 unsigned long vm_pgoff ;
1330 struct file *vm_file ;
1331 void *vm_private_data ;
1332 struct mempolicy *vm_policy ;
1333};
1334#line 255 "include/linux/mm_types.h"
1335struct core_thread {
1336 struct task_struct *task ;
1337 struct core_thread *next ;
1338};
1339#line 261 "include/linux/mm_types.h"
1340struct core_state {
1341 atomic_t nr_threads ;
1342 struct core_thread dumper ;
1343 struct completion startup ;
1344};
1345#line 274 "include/linux/mm_types.h"
1346struct mm_rss_stat {
1347 atomic_long_t count[3U] ;
1348};
1349#line 287
1350struct linux_binfmt;
1351#line 287
1352struct mmu_notifier_mm;
1353#line 287 "include/linux/mm_types.h"
1354struct mm_struct {
1355 struct vm_area_struct *mmap ;
1356 struct rb_root mm_rb ;
1357 struct vm_area_struct *mmap_cache ;
1358 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1359 unsigned long , unsigned long ) ;
1360 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
1361 unsigned long mmap_base ;
1362 unsigned long task_size ;
1363 unsigned long cached_hole_size ;
1364 unsigned long free_area_cache ;
1365 pgd_t *pgd ;
1366 atomic_t mm_users ;
1367 atomic_t mm_count ;
1368 int map_count ;
1369 spinlock_t page_table_lock ;
1370 struct rw_semaphore mmap_sem ;
1371 struct list_head mmlist ;
1372 unsigned long hiwater_rss ;
1373 unsigned long hiwater_vm ;
1374 unsigned long total_vm ;
1375 unsigned long locked_vm ;
1376 unsigned long pinned_vm ;
1377 unsigned long shared_vm ;
1378 unsigned long exec_vm ;
1379 unsigned long stack_vm ;
1380 unsigned long reserved_vm ;
1381 unsigned long def_flags ;
1382 unsigned long nr_ptes ;
1383 unsigned long start_code ;
1384 unsigned long end_code ;
1385 unsigned long start_data ;
1386 unsigned long end_data ;
1387 unsigned long start_brk ;
1388 unsigned long brk ;
1389 unsigned long start_stack ;
1390 unsigned long arg_start ;
1391 unsigned long arg_end ;
1392 unsigned long env_start ;
1393 unsigned long env_end ;
1394 unsigned long saved_auxv[44U] ;
1395 struct mm_rss_stat rss_stat ;
1396 struct linux_binfmt *binfmt ;
1397 cpumask_var_t cpu_vm_mask_var ;
1398 mm_context_t context ;
1399 unsigned int faultstamp ;
1400 unsigned int token_priority ;
1401 unsigned int last_interval ;
1402 unsigned long flags ;
1403 struct core_state *core_state ;
1404 spinlock_t ioctx_lock ;
1405 struct hlist_head ioctx_list ;
1406 struct task_struct *owner ;
1407 struct file *exe_file ;
1408 unsigned long num_exe_file_vmas ;
1409 struct mmu_notifier_mm *mmu_notifier_mm ;
1410 pgtable_t pmd_huge_pte ;
1411 struct cpumask cpumask_allocation ;
1412};
1413#line 7 "include/asm-generic/cputime.h"
1414typedef unsigned long cputime_t;
1415#line 98 "include/linux/sem.h"
1416struct sem_undo_list;
1417#line 98 "include/linux/sem.h"
1418struct sysv_sem {
1419 struct sem_undo_list *undo_list ;
1420};
1421#line 107
1422struct siginfo;
1423#line 107
1424struct siginfo;
1425#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1426struct __anonstruct_sigset_t_148 {
1427 unsigned long sig[1U] ;
1428};
1429#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1430typedef struct __anonstruct_sigset_t_148 sigset_t;
1431#line 17 "include/asm-generic/signal-defs.h"
1432typedef void __signalfn_t(int );
1433#line 18 "include/asm-generic/signal-defs.h"
1434typedef __signalfn_t *__sighandler_t;
1435#line 20 "include/asm-generic/signal-defs.h"
1436typedef void __restorefn_t(void);
1437#line 21 "include/asm-generic/signal-defs.h"
1438typedef __restorefn_t *__sigrestore_t;
1439#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1440struct sigaction {
1441 __sighandler_t sa_handler ;
1442 unsigned long sa_flags ;
1443 __sigrestore_t sa_restorer ;
1444 sigset_t sa_mask ;
1445};
1446#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1447struct k_sigaction {
1448 struct sigaction sa ;
1449};
1450#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1451union sigval {
1452 int sival_int ;
1453 void *sival_ptr ;
1454};
1455#line 10 "include/asm-generic/siginfo.h"
1456typedef union sigval sigval_t;
1457#line 11 "include/asm-generic/siginfo.h"
1458struct __anonstruct__kill_150 {
1459 __kernel_pid_t _pid ;
1460 __kernel_uid32_t _uid ;
1461};
1462#line 11 "include/asm-generic/siginfo.h"
1463struct __anonstruct__timer_151 {
1464 __kernel_timer_t _tid ;
1465 int _overrun ;
1466 char _pad[0U] ;
1467 sigval_t _sigval ;
1468 int _sys_private ;
1469};
1470#line 11 "include/asm-generic/siginfo.h"
1471struct __anonstruct__rt_152 {
1472 __kernel_pid_t _pid ;
1473 __kernel_uid32_t _uid ;
1474 sigval_t _sigval ;
1475};
1476#line 11 "include/asm-generic/siginfo.h"
1477struct __anonstruct__sigchld_153 {
1478 __kernel_pid_t _pid ;
1479 __kernel_uid32_t _uid ;
1480 int _status ;
1481 __kernel_clock_t _utime ;
1482 __kernel_clock_t _stime ;
1483};
1484#line 11 "include/asm-generic/siginfo.h"
1485struct __anonstruct__sigfault_154 {
1486 void *_addr ;
1487 short _addr_lsb ;
1488};
1489#line 11 "include/asm-generic/siginfo.h"
1490struct __anonstruct__sigpoll_155 {
1491 long _band ;
1492 int _fd ;
1493};
1494#line 11 "include/asm-generic/siginfo.h"
1495union __anonunion__sifields_149 {
1496 int _pad[28U] ;
1497 struct __anonstruct__kill_150 _kill ;
1498 struct __anonstruct__timer_151 _timer ;
1499 struct __anonstruct__rt_152 _rt ;
1500 struct __anonstruct__sigchld_153 _sigchld ;
1501 struct __anonstruct__sigfault_154 _sigfault ;
1502 struct __anonstruct__sigpoll_155 _sigpoll ;
1503};
1504#line 11 "include/asm-generic/siginfo.h"
1505struct siginfo {
1506 int si_signo ;
1507 int si_errno ;
1508 int si_code ;
1509 union __anonunion__sifields_149 _sifields ;
1510};
1511#line 102 "include/asm-generic/siginfo.h"
1512typedef struct siginfo siginfo_t;
1513#line 14 "include/linux/signal.h"
1514struct user_struct;
1515#line 24 "include/linux/signal.h"
1516struct sigpending {
1517 struct list_head list ;
1518 sigset_t signal ;
1519};
1520#line 388
1521enum pid_type {
1522 PIDTYPE_PID = 0,
1523 PIDTYPE_PGID = 1,
1524 PIDTYPE_SID = 2,
1525 PIDTYPE_MAX = 3
1526} ;
1527#line 395
1528struct pid_namespace;
1529#line 395 "include/linux/signal.h"
1530struct upid {
1531 int nr ;
1532 struct pid_namespace *ns ;
1533 struct hlist_node pid_chain ;
1534};
1535#line 56 "include/linux/pid.h"
1536struct pid {
1537 atomic_t count ;
1538 unsigned int level ;
1539 struct hlist_head tasks[3U] ;
1540 struct rcu_head rcu ;
1541 struct upid numbers[1U] ;
1542};
1543#line 68 "include/linux/pid.h"
1544struct pid_link {
1545 struct hlist_node node ;
1546 struct pid *pid ;
1547};
1548#line 10 "include/linux/seccomp.h"
1549struct __anonstruct_seccomp_t_158 {
1550 int mode ;
1551};
1552#line 10 "include/linux/seccomp.h"
1553typedef struct __anonstruct_seccomp_t_158 seccomp_t;
1554#line 427 "include/linux/rculist.h"
1555struct plist_head {
1556 struct list_head node_list ;
1557};
1558#line 84 "include/linux/plist.h"
1559struct plist_node {
1560 int prio ;
1561 struct list_head prio_list ;
1562 struct list_head node_list ;
1563};
1564#line 38 "include/linux/rtmutex.h"
1565struct rt_mutex_waiter;
1566#line 38
1567struct rt_mutex_waiter;
1568#line 41 "include/linux/resource.h"
1569struct rlimit {
1570 unsigned long rlim_cur ;
1571 unsigned long rlim_max ;
1572};
1573#line 85 "include/linux/resource.h"
1574struct timerqueue_node {
1575 struct rb_node node ;
1576 ktime_t expires ;
1577};
1578#line 12 "include/linux/timerqueue.h"
1579struct timerqueue_head {
1580 struct rb_root head ;
1581 struct timerqueue_node *next ;
1582};
1583#line 50
1584struct hrtimer_clock_base;
1585#line 50
1586struct hrtimer_clock_base;
1587#line 51
1588struct hrtimer_cpu_base;
1589#line 51
1590struct hrtimer_cpu_base;
1591#line 60
1592enum hrtimer_restart {
1593 HRTIMER_NORESTART = 0,
1594 HRTIMER_RESTART = 1
1595} ;
1596#line 65 "include/linux/timerqueue.h"
1597struct hrtimer {
1598 struct timerqueue_node node ;
1599 ktime_t _softexpires ;
1600 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1601 struct hrtimer_clock_base *base ;
1602 unsigned long state ;
1603 int start_pid ;
1604 void *start_site ;
1605 char start_comm[16U] ;
1606};
1607#line 132 "include/linux/hrtimer.h"
1608struct hrtimer_clock_base {
1609 struct hrtimer_cpu_base *cpu_base ;
1610 int index ;
1611 clockid_t clockid ;
1612 struct timerqueue_head active ;
1613 ktime_t resolution ;
1614 ktime_t (*get_time)(void) ;
1615 ktime_t softirq_time ;
1616 ktime_t offset ;
1617};
1618#line 162 "include/linux/hrtimer.h"
1619struct hrtimer_cpu_base {
1620 raw_spinlock_t lock ;
1621 unsigned long active_bases ;
1622 ktime_t expires_next ;
1623 int hres_active ;
1624 int hang_detected ;
1625 unsigned long nr_events ;
1626 unsigned long nr_retries ;
1627 unsigned long nr_hangs ;
1628 ktime_t max_hang_time ;
1629 struct hrtimer_clock_base clock_base[3U] ;
1630};
1631#line 452 "include/linux/hrtimer.h"
1632struct task_io_accounting {
1633 u64 rchar ;
1634 u64 wchar ;
1635 u64 syscr ;
1636 u64 syscw ;
1637 u64 read_bytes ;
1638 u64 write_bytes ;
1639 u64 cancelled_write_bytes ;
1640};
1641#line 45 "include/linux/task_io_accounting.h"
1642struct latency_record {
1643 unsigned long backtrace[12U] ;
1644 unsigned int count ;
1645 unsigned long time ;
1646 unsigned long max ;
1647};
1648#line 29 "include/linux/key.h"
1649typedef int32_t key_serial_t;
1650#line 32 "include/linux/key.h"
1651typedef uint32_t key_perm_t;
1652#line 33
1653struct key;
1654#line 33
1655struct key;
1656#line 34
1657struct signal_struct;
1658#line 34
1659struct signal_struct;
1660#line 35
1661struct key_type;
1662#line 35
1663struct key_type;
1664#line 37
1665struct keyring_list;
1666#line 37
1667struct keyring_list;
1668#line 115
1669struct key_user;
1670#line 115 "include/linux/key.h"
1671union __anonunion_ldv_15816_159 {
1672 time_t expiry ;
1673 time_t revoked_at ;
1674};
1675#line 115 "include/linux/key.h"
1676union __anonunion_type_data_160 {
1677 struct list_head link ;
1678 unsigned long x[2U] ;
1679 void *p[2U] ;
1680 int reject_error ;
1681};
1682#line 115 "include/linux/key.h"
1683union __anonunion_payload_161 {
1684 unsigned long value ;
1685 void *rcudata ;
1686 void *data ;
1687 struct keyring_list *subscriptions ;
1688};
1689#line 115 "include/linux/key.h"
1690struct key {
1691 atomic_t usage ;
1692 key_serial_t serial ;
1693 struct rb_node serial_node ;
1694 struct key_type *type ;
1695 struct rw_semaphore sem ;
1696 struct key_user *user ;
1697 void *security ;
1698 union __anonunion_ldv_15816_159 ldv_15816 ;
1699 uid_t uid ;
1700 gid_t gid ;
1701 key_perm_t perm ;
1702 unsigned short quotalen ;
1703 unsigned short datalen ;
1704 unsigned long flags ;
1705 char *description ;
1706 union __anonunion_type_data_160 type_data ;
1707 union __anonunion_payload_161 payload ;
1708};
1709#line 316
1710struct audit_context;
1711#line 316
1712struct audit_context;
1713#line 27 "include/linux/selinux.h"
1714struct inode;
1715#line 27
1716struct inode;
1717#line 28 "include/linux/selinux.h"
1718struct group_info {
1719 atomic_t usage ;
1720 int ngroups ;
1721 int nblocks ;
1722 gid_t small_block[32U] ;
1723 gid_t *blocks[0U] ;
1724};
1725#line 77 "include/linux/cred.h"
1726struct thread_group_cred {
1727 atomic_t usage ;
1728 pid_t tgid ;
1729 spinlock_t lock ;
1730 struct key *session_keyring ;
1731 struct key *process_keyring ;
1732 struct rcu_head rcu ;
1733};
1734#line 91 "include/linux/cred.h"
1735struct cred {
1736 atomic_t usage ;
1737 atomic_t subscribers ;
1738 void *put_addr ;
1739 unsigned int magic ;
1740 uid_t uid ;
1741 gid_t gid ;
1742 uid_t suid ;
1743 gid_t sgid ;
1744 uid_t euid ;
1745 gid_t egid ;
1746 uid_t fsuid ;
1747 gid_t fsgid ;
1748 unsigned int securebits ;
1749 kernel_cap_t cap_inheritable ;
1750 kernel_cap_t cap_permitted ;
1751 kernel_cap_t cap_effective ;
1752 kernel_cap_t cap_bset ;
1753 unsigned char jit_keyring ;
1754 struct key *thread_keyring ;
1755 struct key *request_key_auth ;
1756 struct thread_group_cred *tgcred ;
1757 void *security ;
1758 struct user_struct *user ;
1759 struct user_namespace *user_ns ;
1760 struct group_info *group_info ;
1761 struct rcu_head rcu ;
1762};
1763#line 264
1764struct llist_node;
1765#line 64 "include/linux/llist.h"
1766struct llist_node {
1767 struct llist_node *next ;
1768};
1769#line 185
1770struct futex_pi_state;
1771#line 185
1772struct futex_pi_state;
1773#line 186
1774struct robust_list_head;
1775#line 186
1776struct robust_list_head;
1777#line 187
1778struct bio_list;
1779#line 187
1780struct bio_list;
1781#line 188
1782struct fs_struct;
1783#line 188
1784struct fs_struct;
1785#line 189
1786struct perf_event_context;
1787#line 189
1788struct perf_event_context;
1789#line 190
1790struct blk_plug;
1791#line 190
1792struct blk_plug;
1793#line 149 "include/linux/sched.h"
1794struct cfs_rq;
1795#line 149
1796struct cfs_rq;
1797#line 44 "include/linux/aio_abi.h"
1798struct io_event {
1799 __u64 data ;
1800 __u64 obj ;
1801 __s64 res ;
1802 __s64 res2 ;
1803};
1804#line 106 "include/linux/aio_abi.h"
1805struct iovec {
1806 void *iov_base ;
1807 __kernel_size_t iov_len ;
1808};
1809#line 54 "include/linux/uio.h"
1810struct kioctx;
1811#line 54
1812struct kioctx;
1813#line 55 "include/linux/uio.h"
1814union __anonunion_ki_obj_162 {
1815 void *user ;
1816 struct task_struct *tsk ;
1817};
1818#line 55
1819struct eventfd_ctx;
1820#line 55 "include/linux/uio.h"
1821struct kiocb {
1822 struct list_head ki_run_list ;
1823 unsigned long ki_flags ;
1824 int ki_users ;
1825 unsigned int ki_key ;
1826 struct file *ki_filp ;
1827 struct kioctx *ki_ctx ;
1828 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
1829 ssize_t (*ki_retry)(struct kiocb * ) ;
1830 void (*ki_dtor)(struct kiocb * ) ;
1831 union __anonunion_ki_obj_162 ki_obj ;
1832 __u64 ki_user_data ;
1833 loff_t ki_pos ;
1834 void *private ;
1835 unsigned short ki_opcode ;
1836 size_t ki_nbytes ;
1837 char *ki_buf ;
1838 size_t ki_left ;
1839 struct iovec ki_inline_vec ;
1840 struct iovec *ki_iovec ;
1841 unsigned long ki_nr_segs ;
1842 unsigned long ki_cur_seg ;
1843 struct list_head ki_list ;
1844 struct list_head ki_batch ;
1845 struct eventfd_ctx *ki_eventfd ;
1846};
1847#line 162 "include/linux/aio.h"
1848struct aio_ring_info {
1849 unsigned long mmap_base ;
1850 unsigned long mmap_size ;
1851 struct page **ring_pages ;
1852 spinlock_t ring_lock ;
1853 long nr_pages ;
1854 unsigned int nr ;
1855 unsigned int tail ;
1856 struct page *internal_pages[8U] ;
1857};
1858#line 178 "include/linux/aio.h"
1859struct kioctx {
1860 atomic_t users ;
1861 int dead ;
1862 struct mm_struct *mm ;
1863 unsigned long user_id ;
1864 struct hlist_node list ;
1865 wait_queue_head_t wait ;
1866 spinlock_t ctx_lock ;
1867 int reqs_active ;
1868 struct list_head active_reqs ;
1869 struct list_head run_list ;
1870 unsigned int max_reqs ;
1871 struct aio_ring_info ring_info ;
1872 struct delayed_work wq ;
1873 struct rcu_head rcu_head ;
1874};
1875#line 406 "include/linux/sched.h"
1876struct sighand_struct {
1877 atomic_t count ;
1878 struct k_sigaction action[64U] ;
1879 spinlock_t siglock ;
1880 wait_queue_head_t signalfd_wqh ;
1881};
1882#line 449 "include/linux/sched.h"
1883struct pacct_struct {
1884 int ac_flag ;
1885 long ac_exitcode ;
1886 unsigned long ac_mem ;
1887 cputime_t ac_utime ;
1888 cputime_t ac_stime ;
1889 unsigned long ac_minflt ;
1890 unsigned long ac_majflt ;
1891};
1892#line 457 "include/linux/sched.h"
1893struct cpu_itimer {
1894 cputime_t expires ;
1895 cputime_t incr ;
1896 u32 error ;
1897 u32 incr_error ;
1898};
1899#line 464 "include/linux/sched.h"
1900struct task_cputime {
1901 cputime_t utime ;
1902 cputime_t stime ;
1903 unsigned long long sum_exec_runtime ;
1904};
1905#line 481 "include/linux/sched.h"
1906struct thread_group_cputimer {
1907 struct task_cputime cputime ;
1908 int running ;
1909 raw_spinlock_t lock ;
1910};
1911#line 517
1912struct autogroup;
1913#line 517
1914struct autogroup;
1915#line 518
1916struct tty_struct;
1917#line 518
1918struct taskstats;
1919#line 518
1920struct tty_audit_buf;
1921#line 518 "include/linux/sched.h"
1922struct signal_struct {
1923 atomic_t sigcnt ;
1924 atomic_t live ;
1925 int nr_threads ;
1926 wait_queue_head_t wait_chldexit ;
1927 struct task_struct *curr_target ;
1928 struct sigpending shared_pending ;
1929 int group_exit_code ;
1930 int notify_count ;
1931 struct task_struct *group_exit_task ;
1932 int group_stop_count ;
1933 unsigned int flags ;
1934 unsigned char is_child_subreaper : 1 ;
1935 unsigned char has_child_subreaper : 1 ;
1936 struct list_head posix_timers ;
1937 struct hrtimer real_timer ;
1938 struct pid *leader_pid ;
1939 ktime_t it_real_incr ;
1940 struct cpu_itimer it[2U] ;
1941 struct thread_group_cputimer cputimer ;
1942 struct task_cputime cputime_expires ;
1943 struct list_head cpu_timers[3U] ;
1944 struct pid *tty_old_pgrp ;
1945 int leader ;
1946 struct tty_struct *tty ;
1947 struct autogroup *autogroup ;
1948 cputime_t utime ;
1949 cputime_t stime ;
1950 cputime_t cutime ;
1951 cputime_t cstime ;
1952 cputime_t gtime ;
1953 cputime_t cgtime ;
1954 cputime_t prev_utime ;
1955 cputime_t prev_stime ;
1956 unsigned long nvcsw ;
1957 unsigned long nivcsw ;
1958 unsigned long cnvcsw ;
1959 unsigned long cnivcsw ;
1960 unsigned long min_flt ;
1961 unsigned long maj_flt ;
1962 unsigned long cmin_flt ;
1963 unsigned long cmaj_flt ;
1964 unsigned long inblock ;
1965 unsigned long oublock ;
1966 unsigned long cinblock ;
1967 unsigned long coublock ;
1968 unsigned long maxrss ;
1969 unsigned long cmaxrss ;
1970 struct task_io_accounting ioac ;
1971 unsigned long long sum_sched_runtime ;
1972 struct rlimit rlim[16U] ;
1973 struct pacct_struct pacct ;
1974 struct taskstats *stats ;
1975 unsigned int audit_tty ;
1976 struct tty_audit_buf *tty_audit_buf ;
1977 struct rw_semaphore group_rwsem ;
1978 int oom_adj ;
1979 int oom_score_adj ;
1980 int oom_score_adj_min ;
1981 struct mutex cred_guard_mutex ;
1982};
1983#line 699 "include/linux/sched.h"
1984struct user_struct {
1985 atomic_t __count ;
1986 atomic_t processes ;
1987 atomic_t files ;
1988 atomic_t sigpending ;
1989 atomic_t inotify_watches ;
1990 atomic_t inotify_devs ;
1991 atomic_t fanotify_listeners ;
1992 atomic_long_t epoll_watches ;
1993 unsigned long mq_bytes ;
1994 unsigned long locked_shm ;
1995 struct key *uid_keyring ;
1996 struct key *session_keyring ;
1997 struct hlist_node uidhash_node ;
1998 uid_t uid ;
1999 struct user_namespace *user_ns ;
2000 atomic_long_t locked_vm ;
2001};
2002#line 744
2003struct backing_dev_info;
2004#line 744
2005struct backing_dev_info;
2006#line 745
2007struct reclaim_state;
2008#line 745
2009struct reclaim_state;
2010#line 746 "include/linux/sched.h"
2011struct sched_info {
2012 unsigned long pcount ;
2013 unsigned long long run_delay ;
2014 unsigned long long last_arrival ;
2015 unsigned long long last_queued ;
2016};
2017#line 760 "include/linux/sched.h"
2018struct task_delay_info {
2019 spinlock_t lock ;
2020 unsigned int flags ;
2021 struct timespec blkio_start ;
2022 struct timespec blkio_end ;
2023 u64 blkio_delay ;
2024 u64 swapin_delay ;
2025 u32 blkio_count ;
2026 u32 swapin_count ;
2027 struct timespec freepages_start ;
2028 struct timespec freepages_end ;
2029 u64 freepages_delay ;
2030 u32 freepages_count ;
2031};
2032#line 1069
2033struct io_context;
2034#line 1069
2035struct io_context;
2036#line 1097
2037struct pipe_inode_info;
2038#line 1097
2039struct pipe_inode_info;
2040#line 1099
2041struct rq;
2042#line 1099
2043struct rq;
2044#line 1100 "include/linux/sched.h"
2045struct sched_class {
2046 struct sched_class const *next ;
2047 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
2048 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
2049 void (*yield_task)(struct rq * ) ;
2050 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
2051 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
2052 struct task_struct *(*pick_next_task)(struct rq * ) ;
2053 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
2054 int (*select_task_rq)(struct task_struct * , int , int ) ;
2055 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
2056 void (*post_schedule)(struct rq * ) ;
2057 void (*task_waking)(struct task_struct * ) ;
2058 void (*task_woken)(struct rq * , struct task_struct * ) ;
2059 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
2060 void (*rq_online)(struct rq * ) ;
2061 void (*rq_offline)(struct rq * ) ;
2062 void (*set_curr_task)(struct rq * ) ;
2063 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
2064 void (*task_fork)(struct task_struct * ) ;
2065 void (*switched_from)(struct rq * , struct task_struct * ) ;
2066 void (*switched_to)(struct rq * , struct task_struct * ) ;
2067 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
2068 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
2069 void (*task_move_group)(struct task_struct * , int ) ;
2070};
2071#line 1165 "include/linux/sched.h"
2072struct load_weight {
2073 unsigned long weight ;
2074 unsigned long inv_weight ;
2075};
2076#line 1170 "include/linux/sched.h"
2077struct sched_statistics {
2078 u64 wait_start ;
2079 u64 wait_max ;
2080 u64 wait_count ;
2081 u64 wait_sum ;
2082 u64 iowait_count ;
2083 u64 iowait_sum ;
2084 u64 sleep_start ;
2085 u64 sleep_max ;
2086 s64 sum_sleep_runtime ;
2087 u64 block_start ;
2088 u64 block_max ;
2089 u64 exec_max ;
2090 u64 slice_max ;
2091 u64 nr_migrations_cold ;
2092 u64 nr_failed_migrations_affine ;
2093 u64 nr_failed_migrations_running ;
2094 u64 nr_failed_migrations_hot ;
2095 u64 nr_forced_migrations ;
2096 u64 nr_wakeups ;
2097 u64 nr_wakeups_sync ;
2098 u64 nr_wakeups_migrate ;
2099 u64 nr_wakeups_local ;
2100 u64 nr_wakeups_remote ;
2101 u64 nr_wakeups_affine ;
2102 u64 nr_wakeups_affine_attempts ;
2103 u64 nr_wakeups_passive ;
2104 u64 nr_wakeups_idle ;
2105};
2106#line 1205 "include/linux/sched.h"
2107struct sched_entity {
2108 struct load_weight load ;
2109 struct rb_node run_node ;
2110 struct list_head group_node ;
2111 unsigned int on_rq ;
2112 u64 exec_start ;
2113 u64 sum_exec_runtime ;
2114 u64 vruntime ;
2115 u64 prev_sum_exec_runtime ;
2116 u64 nr_migrations ;
2117 struct sched_statistics statistics ;
2118 struct sched_entity *parent ;
2119 struct cfs_rq *cfs_rq ;
2120 struct cfs_rq *my_q ;
2121};
2122#line 1231
2123struct rt_rq;
2124#line 1231 "include/linux/sched.h"
2125struct sched_rt_entity {
2126 struct list_head run_list ;
2127 unsigned long timeout ;
2128 unsigned int time_slice ;
2129 int nr_cpus_allowed ;
2130 struct sched_rt_entity *back ;
2131 struct sched_rt_entity *parent ;
2132 struct rt_rq *rt_rq ;
2133 struct rt_rq *my_q ;
2134};
2135#line 1255
2136struct mem_cgroup;
2137#line 1255 "include/linux/sched.h"
2138struct memcg_batch_info {
2139 int do_batch ;
2140 struct mem_cgroup *memcg ;
2141 unsigned long nr_pages ;
2142 unsigned long memsw_nr_pages ;
2143};
2144#line 1616
2145struct files_struct;
2146#line 1616
2147struct css_set;
2148#line 1616
2149struct compat_robust_list_head;
2150#line 1616 "include/linux/sched.h"
2151struct task_struct {
2152 long volatile state ;
2153 void *stack ;
2154 atomic_t usage ;
2155 unsigned int flags ;
2156 unsigned int ptrace ;
2157 struct llist_node wake_entry ;
2158 int on_cpu ;
2159 int on_rq ;
2160 int prio ;
2161 int static_prio ;
2162 int normal_prio ;
2163 unsigned int rt_priority ;
2164 struct sched_class const *sched_class ;
2165 struct sched_entity se ;
2166 struct sched_rt_entity rt ;
2167 struct hlist_head preempt_notifiers ;
2168 unsigned char fpu_counter ;
2169 unsigned int policy ;
2170 cpumask_t cpus_allowed ;
2171 struct sched_info sched_info ;
2172 struct list_head tasks ;
2173 struct plist_node pushable_tasks ;
2174 struct mm_struct *mm ;
2175 struct mm_struct *active_mm ;
2176 unsigned char brk_randomized : 1 ;
2177 int exit_state ;
2178 int exit_code ;
2179 int exit_signal ;
2180 int pdeath_signal ;
2181 unsigned int jobctl ;
2182 unsigned int personality ;
2183 unsigned char did_exec : 1 ;
2184 unsigned char in_execve : 1 ;
2185 unsigned char in_iowait : 1 ;
2186 unsigned char sched_reset_on_fork : 1 ;
2187 unsigned char sched_contributes_to_load : 1 ;
2188 unsigned char irq_thread : 1 ;
2189 pid_t pid ;
2190 pid_t tgid ;
2191 unsigned long stack_canary ;
2192 struct task_struct *real_parent ;
2193 struct task_struct *parent ;
2194 struct list_head children ;
2195 struct list_head sibling ;
2196 struct task_struct *group_leader ;
2197 struct list_head ptraced ;
2198 struct list_head ptrace_entry ;
2199 struct pid_link pids[3U] ;
2200 struct list_head thread_group ;
2201 struct completion *vfork_done ;
2202 int *set_child_tid ;
2203 int *clear_child_tid ;
2204 cputime_t utime ;
2205 cputime_t stime ;
2206 cputime_t utimescaled ;
2207 cputime_t stimescaled ;
2208 cputime_t gtime ;
2209 cputime_t prev_utime ;
2210 cputime_t prev_stime ;
2211 unsigned long nvcsw ;
2212 unsigned long nivcsw ;
2213 struct timespec start_time ;
2214 struct timespec real_start_time ;
2215 unsigned long min_flt ;
2216 unsigned long maj_flt ;
2217 struct task_cputime cputime_expires ;
2218 struct list_head cpu_timers[3U] ;
2219 struct cred const *real_cred ;
2220 struct cred const *cred ;
2221 struct cred *replacement_session_keyring ;
2222 char comm[16U] ;
2223 int link_count ;
2224 int total_link_count ;
2225 struct sysv_sem sysvsem ;
2226 unsigned long last_switch_count ;
2227 struct thread_struct thread ;
2228 struct fs_struct *fs ;
2229 struct files_struct *files ;
2230 struct nsproxy *nsproxy ;
2231 struct signal_struct *signal ;
2232 struct sighand_struct *sighand ;
2233 sigset_t blocked ;
2234 sigset_t real_blocked ;
2235 sigset_t saved_sigmask ;
2236 struct sigpending pending ;
2237 unsigned long sas_ss_sp ;
2238 size_t sas_ss_size ;
2239 int (*notifier)(void * ) ;
2240 void *notifier_data ;
2241 sigset_t *notifier_mask ;
2242 struct audit_context *audit_context ;
2243 uid_t loginuid ;
2244 unsigned int sessionid ;
2245 seccomp_t seccomp ;
2246 u32 parent_exec_id ;
2247 u32 self_exec_id ;
2248 spinlock_t alloc_lock ;
2249 raw_spinlock_t pi_lock ;
2250 struct plist_head pi_waiters ;
2251 struct rt_mutex_waiter *pi_blocked_on ;
2252 struct mutex_waiter *blocked_on ;
2253 unsigned int irq_events ;
2254 unsigned long hardirq_enable_ip ;
2255 unsigned long hardirq_disable_ip ;
2256 unsigned int hardirq_enable_event ;
2257 unsigned int hardirq_disable_event ;
2258 int hardirqs_enabled ;
2259 int hardirq_context ;
2260 unsigned long softirq_disable_ip ;
2261 unsigned long softirq_enable_ip ;
2262 unsigned int softirq_disable_event ;
2263 unsigned int softirq_enable_event ;
2264 int softirqs_enabled ;
2265 int softirq_context ;
2266 u64 curr_chain_key ;
2267 int lockdep_depth ;
2268 unsigned int lockdep_recursion ;
2269 struct held_lock held_locks[48U] ;
2270 gfp_t lockdep_reclaim_gfp ;
2271 void *journal_info ;
2272 struct bio_list *bio_list ;
2273 struct blk_plug *plug ;
2274 struct reclaim_state *reclaim_state ;
2275 struct backing_dev_info *backing_dev_info ;
2276 struct io_context *io_context ;
2277 unsigned long ptrace_message ;
2278 siginfo_t *last_siginfo ;
2279 struct task_io_accounting ioac ;
2280 u64 acct_rss_mem1 ;
2281 u64 acct_vm_mem1 ;
2282 cputime_t acct_timexpd ;
2283 nodemask_t mems_allowed ;
2284 seqcount_t mems_allowed_seq ;
2285 int cpuset_mem_spread_rotor ;
2286 int cpuset_slab_spread_rotor ;
2287 struct css_set *cgroups ;
2288 struct list_head cg_list ;
2289 struct robust_list_head *robust_list ;
2290 struct compat_robust_list_head *compat_robust_list ;
2291 struct list_head pi_state_list ;
2292 struct futex_pi_state *pi_state_cache ;
2293 struct perf_event_context *perf_event_ctxp[2U] ;
2294 struct mutex perf_event_mutex ;
2295 struct list_head perf_event_list ;
2296 struct mempolicy *mempolicy ;
2297 short il_next ;
2298 short pref_node_fork ;
2299 struct rcu_head rcu ;
2300 struct pipe_inode_info *splice_pipe ;
2301 struct task_delay_info *delays ;
2302 int make_it_fail ;
2303 int nr_dirtied ;
2304 int nr_dirtied_pause ;
2305 unsigned long dirty_paused_when ;
2306 int latency_record_count ;
2307 struct latency_record latency_record[32U] ;
2308 unsigned long timer_slack_ns ;
2309 unsigned long default_timer_slack_ns ;
2310 struct list_head *scm_work_list ;
2311 unsigned long trace ;
2312 unsigned long trace_recursion ;
2313 struct memcg_batch_info memcg_batch ;
2314 atomic_t ptrace_bp_refcnt ;
2315};
2316#line 161 "include/acpi/actypes.h"
2317typedef u64 acpi_size;
2318#line 162 "include/acpi/actypes.h"
2319typedef u64 acpi_io_address;
2320#line 371 "include/acpi/actypes.h"
2321typedef u32 acpi_status;
2322#line 373 "include/acpi/actypes.h"
2323typedef char *acpi_string;
2324#line 374 "include/acpi/actypes.h"
2325typedef void *acpi_handle;
2326#line 556 "include/acpi/actypes.h"
2327typedef u32 acpi_object_type;
2328#line 807 "include/acpi/actypes.h"
2329struct __anonstruct_integer_164 {
2330 acpi_object_type type ;
2331 u64 value ;
2332};
2333#line 807 "include/acpi/actypes.h"
2334struct __anonstruct_string_165 {
2335 acpi_object_type type ;
2336 u32 length ;
2337 char *pointer ;
2338};
2339#line 807 "include/acpi/actypes.h"
2340struct __anonstruct_buffer_166 {
2341 acpi_object_type type ;
2342 u32 length ;
2343 u8 *pointer ;
2344};
2345#line 807 "include/acpi/actypes.h"
2346struct __anonstruct_package_167 {
2347 acpi_object_type type ;
2348 u32 count ;
2349 union acpi_object *elements ;
2350};
2351#line 807 "include/acpi/actypes.h"
2352struct __anonstruct_reference_168 {
2353 acpi_object_type type ;
2354 acpi_object_type actual_type ;
2355 acpi_handle handle ;
2356};
2357#line 807 "include/acpi/actypes.h"
2358struct __anonstruct_processor_169 {
2359 acpi_object_type type ;
2360 u32 proc_id ;
2361 acpi_io_address pblk_address ;
2362 u32 pblk_length ;
2363};
2364#line 807 "include/acpi/actypes.h"
2365struct __anonstruct_power_resource_170 {
2366 acpi_object_type type ;
2367 u32 system_level ;
2368 u32 resource_order ;
2369};
2370#line 807 "include/acpi/actypes.h"
2371union acpi_object {
2372 acpi_object_type type ;
2373 struct __anonstruct_integer_164 integer ;
2374 struct __anonstruct_string_165 string ;
2375 struct __anonstruct_buffer_166 buffer ;
2376 struct __anonstruct_package_167 package ;
2377 struct __anonstruct_reference_168 reference ;
2378 struct __anonstruct_processor_169 processor ;
2379 struct __anonstruct_power_resource_170 power_resource ;
2380};
2381#line 860 "include/acpi/actypes.h"
2382struct acpi_object_list {
2383 u32 count ;
2384 union acpi_object *pointer ;
2385};
2386#line 868 "include/acpi/actypes.h"
2387struct acpi_buffer {
2388 acpi_size length ;
2389 void *pointer ;
2390};
2391#line 530 "include/acpi/acpixf.h"
2392struct klist_node;
2393#line 530
2394struct klist_node;
2395#line 37 "include/linux/klist.h"
2396struct klist_node {
2397 void *n_klist ;
2398 struct list_head n_node ;
2399 struct kref n_ref ;
2400};
2401#line 67
2402struct dma_map_ops;
2403#line 67 "include/linux/klist.h"
2404struct dev_archdata {
2405 void *acpi_handle ;
2406 struct dma_map_ops *dma_ops ;
2407 void *iommu ;
2408};
2409#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2410struct device_private;
2411#line 17
2412struct device_private;
2413#line 18
2414struct device_driver;
2415#line 18
2416struct device_driver;
2417#line 19
2418struct driver_private;
2419#line 19
2420struct driver_private;
2421#line 20
2422struct class;
2423#line 20
2424struct class;
2425#line 21
2426struct subsys_private;
2427#line 21
2428struct subsys_private;
2429#line 22
2430struct bus_type;
2431#line 22
2432struct bus_type;
2433#line 23
2434struct device_node;
2435#line 23
2436struct device_node;
2437#line 24
2438struct iommu_ops;
2439#line 24
2440struct iommu_ops;
2441#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2442struct bus_attribute {
2443 struct attribute attr ;
2444 ssize_t (*show)(struct bus_type * , char * ) ;
2445 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
2446};
2447#line 51 "include/linux/device.h"
2448struct device_attribute;
2449#line 51
2450struct driver_attribute;
2451#line 51 "include/linux/device.h"
2452struct bus_type {
2453 char const *name ;
2454 char const *dev_name ;
2455 struct device *dev_root ;
2456 struct bus_attribute *bus_attrs ;
2457 struct device_attribute *dev_attrs ;
2458 struct driver_attribute *drv_attrs ;
2459 int (*match)(struct device * , struct device_driver * ) ;
2460 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
2461 int (*probe)(struct device * ) ;
2462 int (*remove)(struct device * ) ;
2463 void (*shutdown)(struct device * ) ;
2464 int (*suspend)(struct device * , pm_message_t ) ;
2465 int (*resume)(struct device * ) ;
2466 struct dev_pm_ops const *pm ;
2467 struct iommu_ops *iommu_ops ;
2468 struct subsys_private *p ;
2469};
2470#line 125
2471struct device_type;
2472#line 182 "include/linux/device.h"
2473struct device_driver {
2474 char const *name ;
2475 struct bus_type *bus ;
2476 struct module *owner ;
2477 char const *mod_name ;
2478 bool suppress_bind_attrs ;
2479 struct of_device_id const *of_match_table ;
2480 int (*probe)(struct device * ) ;
2481 int (*remove)(struct device * ) ;
2482 void (*shutdown)(struct device * ) ;
2483 int (*suspend)(struct device * , pm_message_t ) ;
2484 int (*resume)(struct device * ) ;
2485 struct attribute_group const **groups ;
2486 struct dev_pm_ops const *pm ;
2487 struct driver_private *p ;
2488};
2489#line 245 "include/linux/device.h"
2490struct driver_attribute {
2491 struct attribute attr ;
2492 ssize_t (*show)(struct device_driver * , char * ) ;
2493 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
2494};
2495#line 299
2496struct class_attribute;
2497#line 299 "include/linux/device.h"
2498struct class {
2499 char const *name ;
2500 struct module *owner ;
2501 struct class_attribute *class_attrs ;
2502 struct device_attribute *dev_attrs ;
2503 struct bin_attribute *dev_bin_attrs ;
2504 struct kobject *dev_kobj ;
2505 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
2506 char *(*devnode)(struct device * , umode_t * ) ;
2507 void (*class_release)(struct class * ) ;
2508 void (*dev_release)(struct device * ) ;
2509 int (*suspend)(struct device * , pm_message_t ) ;
2510 int (*resume)(struct device * ) ;
2511 struct kobj_ns_type_operations const *ns_type ;
2512 void const *(*namespace)(struct device * ) ;
2513 struct dev_pm_ops const *pm ;
2514 struct subsys_private *p ;
2515};
2516#line 394 "include/linux/device.h"
2517struct class_attribute {
2518 struct attribute attr ;
2519 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
2520 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
2521 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
2522};
2523#line 447 "include/linux/device.h"
2524struct device_type {
2525 char const *name ;
2526 struct attribute_group const **groups ;
2527 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
2528 char *(*devnode)(struct device * , umode_t * ) ;
2529 void (*release)(struct device * ) ;
2530 struct dev_pm_ops const *pm ;
2531};
2532#line 474 "include/linux/device.h"
2533struct device_attribute {
2534 struct attribute attr ;
2535 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
2536 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
2537 size_t ) ;
2538};
2539#line 557 "include/linux/device.h"
2540struct device_dma_parameters {
2541 unsigned int max_segment_size ;
2542 unsigned long segment_boundary_mask ;
2543};
2544#line 567
2545struct dma_coherent_mem;
2546#line 567 "include/linux/device.h"
2547struct device {
2548 struct device *parent ;
2549 struct device_private *p ;
2550 struct kobject kobj ;
2551 char const *init_name ;
2552 struct device_type const *type ;
2553 struct mutex mutex ;
2554 struct bus_type *bus ;
2555 struct device_driver *driver ;
2556 void *platform_data ;
2557 struct dev_pm_info power ;
2558 struct dev_pm_domain *pm_domain ;
2559 int numa_node ;
2560 u64 *dma_mask ;
2561 u64 coherent_dma_mask ;
2562 struct device_dma_parameters *dma_parms ;
2563 struct list_head dma_pools ;
2564 struct dma_coherent_mem *dma_mem ;
2565 struct dev_archdata archdata ;
2566 struct device_node *of_node ;
2567 dev_t devt ;
2568 u32 id ;
2569 spinlock_t devres_lock ;
2570 struct list_head devres_head ;
2571 struct klist_node knode_class ;
2572 struct class *class ;
2573 struct attribute_group const **groups ;
2574 void (*release)(struct device * ) ;
2575};
2576#line 681 "include/linux/device.h"
2577struct wakeup_source {
2578 char const *name ;
2579 struct list_head entry ;
2580 spinlock_t lock ;
2581 struct timer_list timer ;
2582 unsigned long timer_expires ;
2583 ktime_t total_time ;
2584 ktime_t max_time ;
2585 ktime_t last_time ;
2586 unsigned long event_count ;
2587 unsigned long active_count ;
2588 unsigned long relax_count ;
2589 unsigned long hit_count ;
2590 unsigned char active : 1 ;
2591};
2592#line 991 "include/linux/device.h"
2593struct acpi_handle_list {
2594 u32 count ;
2595 acpi_handle handles[10U] ;
2596};
2597#line 53 "include/acpi/acpi_bus.h"
2598struct block_device;
2599#line 53
2600struct block_device;
2601#line 93 "include/linux/bit_spinlock.h"
2602struct hlist_bl_node;
2603#line 93 "include/linux/bit_spinlock.h"
2604struct hlist_bl_head {
2605 struct hlist_bl_node *first ;
2606};
2607#line 36 "include/linux/list_bl.h"
2608struct hlist_bl_node {
2609 struct hlist_bl_node *next ;
2610 struct hlist_bl_node **pprev ;
2611};
2612#line 114 "include/linux/rculist_bl.h"
2613struct nameidata;
2614#line 114
2615struct nameidata;
2616#line 115
2617struct path;
2618#line 115
2619struct path;
2620#line 116
2621struct vfsmount;
2622#line 116
2623struct vfsmount;
2624#line 117 "include/linux/rculist_bl.h"
2625struct qstr {
2626 unsigned int hash ;
2627 unsigned int len ;
2628 unsigned char const *name ;
2629};
2630#line 72 "include/linux/dcache.h"
2631struct dentry_operations;
2632#line 72
2633struct super_block;
2634#line 72 "include/linux/dcache.h"
2635union __anonunion_d_u_171 {
2636 struct list_head d_child ;
2637 struct rcu_head d_rcu ;
2638};
2639#line 72 "include/linux/dcache.h"
2640struct dentry {
2641 unsigned int d_flags ;
2642 seqcount_t d_seq ;
2643 struct hlist_bl_node d_hash ;
2644 struct dentry *d_parent ;
2645 struct qstr d_name ;
2646 struct inode *d_inode ;
2647 unsigned char d_iname[32U] ;
2648 unsigned int d_count ;
2649 spinlock_t d_lock ;
2650 struct dentry_operations const *d_op ;
2651 struct super_block *d_sb ;
2652 unsigned long d_time ;
2653 void *d_fsdata ;
2654 struct list_head d_lru ;
2655 union __anonunion_d_u_171 d_u ;
2656 struct list_head d_subdirs ;
2657 struct list_head d_alias ;
2658};
2659#line 123 "include/linux/dcache.h"
2660struct dentry_operations {
2661 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2662 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2663 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2664 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2665 int (*d_delete)(struct dentry const * ) ;
2666 void (*d_release)(struct dentry * ) ;
2667 void (*d_prune)(struct dentry * ) ;
2668 void (*d_iput)(struct dentry * , struct inode * ) ;
2669 char *(*d_dname)(struct dentry * , char * , int ) ;
2670 struct vfsmount *(*d_automount)(struct path * ) ;
2671 int (*d_manage)(struct dentry * , bool ) ;
2672};
2673#line 402 "include/linux/dcache.h"
2674struct path {
2675 struct vfsmount *mnt ;
2676 struct dentry *dentry ;
2677};
2678#line 58 "include/linux/radix-tree.h"
2679struct radix_tree_node;
2680#line 58 "include/linux/radix-tree.h"
2681struct radix_tree_root {
2682 unsigned int height ;
2683 gfp_t gfp_mask ;
2684 struct radix_tree_node *rnode ;
2685};
2686#line 45 "include/linux/semaphore.h"
2687struct fiemap_extent {
2688 __u64 fe_logical ;
2689 __u64 fe_physical ;
2690 __u64 fe_length ;
2691 __u64 fe_reserved64[2U] ;
2692 __u32 fe_flags ;
2693 __u32 fe_reserved[3U] ;
2694};
2695#line 38 "include/linux/fiemap.h"
2696struct shrink_control {
2697 gfp_t gfp_mask ;
2698 unsigned long nr_to_scan ;
2699};
2700#line 14 "include/linux/shrinker.h"
2701struct shrinker {
2702 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
2703 int seeks ;
2704 long batch ;
2705 struct list_head list ;
2706 atomic_long_t nr_in_batch ;
2707};
2708#line 43
2709enum migrate_mode {
2710 MIGRATE_ASYNC = 0,
2711 MIGRATE_SYNC_LIGHT = 1,
2712 MIGRATE_SYNC = 2
2713} ;
2714#line 49
2715struct export_operations;
2716#line 49
2717struct export_operations;
2718#line 51
2719struct poll_table_struct;
2720#line 51
2721struct poll_table_struct;
2722#line 52
2723struct kstatfs;
2724#line 52
2725struct kstatfs;
2726#line 435 "include/linux/fs.h"
2727struct iattr {
2728 unsigned int ia_valid ;
2729 umode_t ia_mode ;
2730 uid_t ia_uid ;
2731 gid_t ia_gid ;
2732 loff_t ia_size ;
2733 struct timespec ia_atime ;
2734 struct timespec ia_mtime ;
2735 struct timespec ia_ctime ;
2736 struct file *ia_file ;
2737};
2738#line 119 "include/linux/quota.h"
2739struct if_dqinfo {
2740 __u64 dqi_bgrace ;
2741 __u64 dqi_igrace ;
2742 __u32 dqi_flags ;
2743 __u32 dqi_valid ;
2744};
2745#line 152 "include/linux/quota.h"
2746struct fs_disk_quota {
2747 __s8 d_version ;
2748 __s8 d_flags ;
2749 __u16 d_fieldmask ;
2750 __u32 d_id ;
2751 __u64 d_blk_hardlimit ;
2752 __u64 d_blk_softlimit ;
2753 __u64 d_ino_hardlimit ;
2754 __u64 d_ino_softlimit ;
2755 __u64 d_bcount ;
2756 __u64 d_icount ;
2757 __s32 d_itimer ;
2758 __s32 d_btimer ;
2759 __u16 d_iwarns ;
2760 __u16 d_bwarns ;
2761 __s32 d_padding2 ;
2762 __u64 d_rtb_hardlimit ;
2763 __u64 d_rtb_softlimit ;
2764 __u64 d_rtbcount ;
2765 __s32 d_rtbtimer ;
2766 __u16 d_rtbwarns ;
2767 __s16 d_padding3 ;
2768 char d_padding4[8U] ;
2769};
2770#line 75 "include/linux/dqblk_xfs.h"
2771struct fs_qfilestat {
2772 __u64 qfs_ino ;
2773 __u64 qfs_nblks ;
2774 __u32 qfs_nextents ;
2775};
2776#line 150 "include/linux/dqblk_xfs.h"
2777typedef struct fs_qfilestat fs_qfilestat_t;
2778#line 151 "include/linux/dqblk_xfs.h"
2779struct fs_quota_stat {
2780 __s8 qs_version ;
2781 __u16 qs_flags ;
2782 __s8 qs_pad ;
2783 fs_qfilestat_t qs_uquota ;
2784 fs_qfilestat_t qs_gquota ;
2785 __u32 qs_incoredqs ;
2786 __s32 qs_btimelimit ;
2787 __s32 qs_itimelimit ;
2788 __s32 qs_rtbtimelimit ;
2789 __u16 qs_bwarnlimit ;
2790 __u16 qs_iwarnlimit ;
2791};
2792#line 165
2793struct dquot;
2794#line 165
2795struct dquot;
2796#line 185 "include/linux/quota.h"
2797typedef __kernel_uid32_t qid_t;
2798#line 186 "include/linux/quota.h"
2799typedef long long qsize_t;
2800#line 189 "include/linux/quota.h"
2801struct mem_dqblk {
2802 qsize_t dqb_bhardlimit ;
2803 qsize_t dqb_bsoftlimit ;
2804 qsize_t dqb_curspace ;
2805 qsize_t dqb_rsvspace ;
2806 qsize_t dqb_ihardlimit ;
2807 qsize_t dqb_isoftlimit ;
2808 qsize_t dqb_curinodes ;
2809 time_t dqb_btime ;
2810 time_t dqb_itime ;
2811};
2812#line 211
2813struct quota_format_type;
2814#line 211
2815struct quota_format_type;
2816#line 212 "include/linux/quota.h"
2817struct mem_dqinfo {
2818 struct quota_format_type *dqi_format ;
2819 int dqi_fmt_id ;
2820 struct list_head dqi_dirty_list ;
2821 unsigned long dqi_flags ;
2822 unsigned int dqi_bgrace ;
2823 unsigned int dqi_igrace ;
2824 qsize_t dqi_maxblimit ;
2825 qsize_t dqi_maxilimit ;
2826 void *dqi_priv ;
2827};
2828#line 275 "include/linux/quota.h"
2829struct dquot {
2830 struct hlist_node dq_hash ;
2831 struct list_head dq_inuse ;
2832 struct list_head dq_free ;
2833 struct list_head dq_dirty ;
2834 struct mutex dq_lock ;
2835 atomic_t dq_count ;
2836 wait_queue_head_t dq_wait_unused ;
2837 struct super_block *dq_sb ;
2838 unsigned int dq_id ;
2839 loff_t dq_off ;
2840 unsigned long dq_flags ;
2841 short dq_type ;
2842 struct mem_dqblk dq_dqb ;
2843};
2844#line 303 "include/linux/quota.h"
2845struct quota_format_ops {
2846 int (*check_quota_file)(struct super_block * , int ) ;
2847 int (*read_file_info)(struct super_block * , int ) ;
2848 int (*write_file_info)(struct super_block * , int ) ;
2849 int (*free_file_info)(struct super_block * , int ) ;
2850 int (*read_dqblk)(struct dquot * ) ;
2851 int (*commit_dqblk)(struct dquot * ) ;
2852 int (*release_dqblk)(struct dquot * ) ;
2853};
2854#line 314 "include/linux/quota.h"
2855struct dquot_operations {
2856 int (*write_dquot)(struct dquot * ) ;
2857 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
2858 void (*destroy_dquot)(struct dquot * ) ;
2859 int (*acquire_dquot)(struct dquot * ) ;
2860 int (*release_dquot)(struct dquot * ) ;
2861 int (*mark_dirty)(struct dquot * ) ;
2862 int (*write_info)(struct super_block * , int ) ;
2863 qsize_t *(*get_reserved_space)(struct inode * ) ;
2864};
2865#line 328 "include/linux/quota.h"
2866struct quotactl_ops {
2867 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
2868 int (*quota_on_meta)(struct super_block * , int , int ) ;
2869 int (*quota_off)(struct super_block * , int ) ;
2870 int (*quota_sync)(struct super_block * , int , int ) ;
2871 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
2872 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
2873 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2874 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2875 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
2876 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
2877};
2878#line 344 "include/linux/quota.h"
2879struct quota_format_type {
2880 int qf_fmt_id ;
2881 struct quota_format_ops const *qf_ops ;
2882 struct module *qf_owner ;
2883 struct quota_format_type *qf_next ;
2884};
2885#line 390 "include/linux/quota.h"
2886struct quota_info {
2887 unsigned int flags ;
2888 struct mutex dqio_mutex ;
2889 struct mutex dqonoff_mutex ;
2890 struct rw_semaphore dqptr_sem ;
2891 struct inode *files[2U] ;
2892 struct mem_dqinfo info[2U] ;
2893 struct quota_format_ops const *ops[2U] ;
2894};
2895#line 421
2896struct writeback_control;
2897#line 421
2898struct writeback_control;
2899#line 585 "include/linux/fs.h"
2900union __anonunion_arg_173 {
2901 char *buf ;
2902 void *data ;
2903};
2904#line 585 "include/linux/fs.h"
2905struct __anonstruct_read_descriptor_t_172 {
2906 size_t written ;
2907 size_t count ;
2908 union __anonunion_arg_173 arg ;
2909 int error ;
2910};
2911#line 585 "include/linux/fs.h"
2912typedef struct __anonstruct_read_descriptor_t_172 read_descriptor_t;
2913#line 588 "include/linux/fs.h"
2914struct address_space_operations {
2915 int (*writepage)(struct page * , struct writeback_control * ) ;
2916 int (*readpage)(struct file * , struct page * ) ;
2917 int (*writepages)(struct address_space * , struct writeback_control * ) ;
2918 int (*set_page_dirty)(struct page * ) ;
2919 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
2920 unsigned int ) ;
2921 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
2922 unsigned int , struct page ** , void ** ) ;
2923 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
2924 unsigned int , struct page * , void * ) ;
2925 sector_t (*bmap)(struct address_space * , sector_t ) ;
2926 void (*invalidatepage)(struct page * , unsigned long ) ;
2927 int (*releasepage)(struct page * , gfp_t ) ;
2928 void (*freepage)(struct page * ) ;
2929 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
2930 unsigned long ) ;
2931 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
2932 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
2933 int (*launder_page)(struct page * ) ;
2934 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
2935 int (*error_remove_page)(struct address_space * , struct page * ) ;
2936};
2937#line 642 "include/linux/fs.h"
2938struct address_space {
2939 struct inode *host ;
2940 struct radix_tree_root page_tree ;
2941 spinlock_t tree_lock ;
2942 unsigned int i_mmap_writable ;
2943 struct prio_tree_root i_mmap ;
2944 struct list_head i_mmap_nonlinear ;
2945 struct mutex i_mmap_mutex ;
2946 unsigned long nrpages ;
2947 unsigned long writeback_index ;
2948 struct address_space_operations const *a_ops ;
2949 unsigned long flags ;
2950 struct backing_dev_info *backing_dev_info ;
2951 spinlock_t private_lock ;
2952 struct list_head private_list ;
2953 struct address_space *assoc_mapping ;
2954};
2955#line 664
2956struct request_queue;
2957#line 664
2958struct request_queue;
2959#line 665
2960struct hd_struct;
2961#line 665
2962struct gendisk;
2963#line 665 "include/linux/fs.h"
2964struct block_device {
2965 dev_t bd_dev ;
2966 int bd_openers ;
2967 struct inode *bd_inode ;
2968 struct super_block *bd_super ;
2969 struct mutex bd_mutex ;
2970 struct list_head bd_inodes ;
2971 void *bd_claiming ;
2972 void *bd_holder ;
2973 int bd_holders ;
2974 bool bd_write_holder ;
2975 struct list_head bd_holder_disks ;
2976 struct block_device *bd_contains ;
2977 unsigned int bd_block_size ;
2978 struct hd_struct *bd_part ;
2979 unsigned int bd_part_count ;
2980 int bd_invalidated ;
2981 struct gendisk *bd_disk ;
2982 struct request_queue *bd_queue ;
2983 struct list_head bd_list ;
2984 unsigned long bd_private ;
2985 int bd_fsfreeze_count ;
2986 struct mutex bd_fsfreeze_mutex ;
2987};
2988#line 737
2989struct posix_acl;
2990#line 737
2991struct posix_acl;
2992#line 738
2993struct inode_operations;
2994#line 738 "include/linux/fs.h"
2995union __anonunion_ldv_21804_174 {
2996 unsigned int const i_nlink ;
2997 unsigned int __i_nlink ;
2998};
2999#line 738 "include/linux/fs.h"
3000union __anonunion_ldv_21823_175 {
3001 struct list_head i_dentry ;
3002 struct rcu_head i_rcu ;
3003};
3004#line 738
3005struct file_operations;
3006#line 738
3007struct file_lock;
3008#line 738
3009struct cdev;
3010#line 738 "include/linux/fs.h"
3011union __anonunion_ldv_21841_176 {
3012 struct pipe_inode_info *i_pipe ;
3013 struct block_device *i_bdev ;
3014 struct cdev *i_cdev ;
3015};
3016#line 738 "include/linux/fs.h"
3017struct inode {
3018 umode_t i_mode ;
3019 unsigned short i_opflags ;
3020 uid_t i_uid ;
3021 gid_t i_gid ;
3022 unsigned int i_flags ;
3023 struct posix_acl *i_acl ;
3024 struct posix_acl *i_default_acl ;
3025 struct inode_operations const *i_op ;
3026 struct super_block *i_sb ;
3027 struct address_space *i_mapping ;
3028 void *i_security ;
3029 unsigned long i_ino ;
3030 union __anonunion_ldv_21804_174 ldv_21804 ;
3031 dev_t i_rdev ;
3032 struct timespec i_atime ;
3033 struct timespec i_mtime ;
3034 struct timespec i_ctime ;
3035 spinlock_t i_lock ;
3036 unsigned short i_bytes ;
3037 blkcnt_t i_blocks ;
3038 loff_t i_size ;
3039 unsigned long i_state ;
3040 struct mutex i_mutex ;
3041 unsigned long dirtied_when ;
3042 struct hlist_node i_hash ;
3043 struct list_head i_wb_list ;
3044 struct list_head i_lru ;
3045 struct list_head i_sb_list ;
3046 union __anonunion_ldv_21823_175 ldv_21823 ;
3047 atomic_t i_count ;
3048 unsigned int i_blkbits ;
3049 u64 i_version ;
3050 atomic_t i_dio_count ;
3051 atomic_t i_writecount ;
3052 struct file_operations const *i_fop ;
3053 struct file_lock *i_flock ;
3054 struct address_space i_data ;
3055 struct dquot *i_dquot[2U] ;
3056 struct list_head i_devices ;
3057 union __anonunion_ldv_21841_176 ldv_21841 ;
3058 __u32 i_generation ;
3059 __u32 i_fsnotify_mask ;
3060 struct hlist_head i_fsnotify_marks ;
3061 atomic_t i_readcount ;
3062 void *i_private ;
3063};
3064#line 941 "include/linux/fs.h"
3065struct fown_struct {
3066 rwlock_t lock ;
3067 struct pid *pid ;
3068 enum pid_type pid_type ;
3069 uid_t uid ;
3070 uid_t euid ;
3071 int signum ;
3072};
3073#line 949 "include/linux/fs.h"
3074struct file_ra_state {
3075 unsigned long start ;
3076 unsigned int size ;
3077 unsigned int async_size ;
3078 unsigned int ra_pages ;
3079 unsigned int mmap_miss ;
3080 loff_t prev_pos ;
3081};
3082#line 972 "include/linux/fs.h"
3083union __anonunion_f_u_177 {
3084 struct list_head fu_list ;
3085 struct rcu_head fu_rcuhead ;
3086};
3087#line 972 "include/linux/fs.h"
3088struct file {
3089 union __anonunion_f_u_177 f_u ;
3090 struct path f_path ;
3091 struct file_operations const *f_op ;
3092 spinlock_t f_lock ;
3093 int f_sb_list_cpu ;
3094 atomic_long_t f_count ;
3095 unsigned int f_flags ;
3096 fmode_t f_mode ;
3097 loff_t f_pos ;
3098 struct fown_struct f_owner ;
3099 struct cred const *f_cred ;
3100 struct file_ra_state f_ra ;
3101 u64 f_version ;
3102 void *f_security ;
3103 void *private_data ;
3104 struct list_head f_ep_links ;
3105 struct list_head f_tfile_llink ;
3106 struct address_space *f_mapping ;
3107 unsigned long f_mnt_write_state ;
3108};
3109#line 1111 "include/linux/fs.h"
3110typedef struct files_struct *fl_owner_t;
3111#line 1112 "include/linux/fs.h"
3112struct file_lock_operations {
3113 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3114 void (*fl_release_private)(struct file_lock * ) ;
3115};
3116#line 1117 "include/linux/fs.h"
3117struct lock_manager_operations {
3118 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3119 void (*lm_notify)(struct file_lock * ) ;
3120 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
3121 void (*lm_release_private)(struct file_lock * ) ;
3122 void (*lm_break)(struct file_lock * ) ;
3123 int (*lm_change)(struct file_lock ** , int ) ;
3124};
3125#line 1134
3126struct nlm_lockowner;
3127#line 1134
3128struct nlm_lockowner;
3129#line 1135 "include/linux/fs.h"
3130struct nfs_lock_info {
3131 u32 state ;
3132 struct nlm_lockowner *owner ;
3133 struct list_head list ;
3134};
3135#line 14 "include/linux/nfs_fs_i.h"
3136struct nfs4_lock_state;
3137#line 14
3138struct nfs4_lock_state;
3139#line 15 "include/linux/nfs_fs_i.h"
3140struct nfs4_lock_info {
3141 struct nfs4_lock_state *owner ;
3142};
3143#line 19
3144struct fasync_struct;
3145#line 19 "include/linux/nfs_fs_i.h"
3146struct __anonstruct_afs_179 {
3147 struct list_head link ;
3148 int state ;
3149};
3150#line 19 "include/linux/nfs_fs_i.h"
3151union __anonunion_fl_u_178 {
3152 struct nfs_lock_info nfs_fl ;
3153 struct nfs4_lock_info nfs4_fl ;
3154 struct __anonstruct_afs_179 afs ;
3155};
3156#line 19 "include/linux/nfs_fs_i.h"
3157struct file_lock {
3158 struct file_lock *fl_next ;
3159 struct list_head fl_link ;
3160 struct list_head fl_block ;
3161 fl_owner_t fl_owner ;
3162 unsigned int fl_flags ;
3163 unsigned char fl_type ;
3164 unsigned int fl_pid ;
3165 struct pid *fl_nspid ;
3166 wait_queue_head_t fl_wait ;
3167 struct file *fl_file ;
3168 loff_t fl_start ;
3169 loff_t fl_end ;
3170 struct fasync_struct *fl_fasync ;
3171 unsigned long fl_break_time ;
3172 unsigned long fl_downgrade_time ;
3173 struct file_lock_operations const *fl_ops ;
3174 struct lock_manager_operations const *fl_lmops ;
3175 union __anonunion_fl_u_178 fl_u ;
3176};
3177#line 1221 "include/linux/fs.h"
3178struct fasync_struct {
3179 spinlock_t fa_lock ;
3180 int magic ;
3181 int fa_fd ;
3182 struct fasync_struct *fa_next ;
3183 struct file *fa_file ;
3184 struct rcu_head fa_rcu ;
3185};
3186#line 1417
3187struct file_system_type;
3188#line 1417
3189struct super_operations;
3190#line 1417
3191struct xattr_handler;
3192#line 1417
3193struct mtd_info;
3194#line 1417 "include/linux/fs.h"
3195struct super_block {
3196 struct list_head s_list ;
3197 dev_t s_dev ;
3198 unsigned char s_dirt ;
3199 unsigned char s_blocksize_bits ;
3200 unsigned long s_blocksize ;
3201 loff_t s_maxbytes ;
3202 struct file_system_type *s_type ;
3203 struct super_operations const *s_op ;
3204 struct dquot_operations const *dq_op ;
3205 struct quotactl_ops const *s_qcop ;
3206 struct export_operations const *s_export_op ;
3207 unsigned long s_flags ;
3208 unsigned long s_magic ;
3209 struct dentry *s_root ;
3210 struct rw_semaphore s_umount ;
3211 struct mutex s_lock ;
3212 int s_count ;
3213 atomic_t s_active ;
3214 void *s_security ;
3215 struct xattr_handler const **s_xattr ;
3216 struct list_head s_inodes ;
3217 struct hlist_bl_head s_anon ;
3218 struct list_head *s_files ;
3219 struct list_head s_mounts ;
3220 struct list_head s_dentry_lru ;
3221 int s_nr_dentry_unused ;
3222 spinlock_t s_inode_lru_lock ;
3223 struct list_head s_inode_lru ;
3224 int s_nr_inodes_unused ;
3225 struct block_device *s_bdev ;
3226 struct backing_dev_info *s_bdi ;
3227 struct mtd_info *s_mtd ;
3228 struct hlist_node s_instances ;
3229 struct quota_info s_dquot ;
3230 int s_frozen ;
3231 wait_queue_head_t s_wait_unfrozen ;
3232 char s_id[32U] ;
3233 u8 s_uuid[16U] ;
3234 void *s_fs_info ;
3235 unsigned int s_max_links ;
3236 fmode_t s_mode ;
3237 u32 s_time_gran ;
3238 struct mutex s_vfs_rename_mutex ;
3239 char *s_subtype ;
3240 char *s_options ;
3241 struct dentry_operations const *s_d_op ;
3242 int cleancache_poolid ;
3243 struct shrinker s_shrink ;
3244 atomic_long_t s_remove_count ;
3245 int s_readonly_remount ;
3246};
3247#line 1563 "include/linux/fs.h"
3248struct fiemap_extent_info {
3249 unsigned int fi_flags ;
3250 unsigned int fi_extents_mapped ;
3251 unsigned int fi_extents_max ;
3252 struct fiemap_extent *fi_extents_start ;
3253};
3254#line 1602 "include/linux/fs.h"
3255struct file_operations {
3256 struct module *owner ;
3257 loff_t (*llseek)(struct file * , loff_t , int ) ;
3258 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3259 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3260 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3261 loff_t ) ;
3262 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3263 loff_t ) ;
3264 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3265 loff_t , u64 , unsigned int ) ) ;
3266 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3267 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3268 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3269 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3270 int (*open)(struct inode * , struct file * ) ;
3271 int (*flush)(struct file * , fl_owner_t ) ;
3272 int (*release)(struct inode * , struct file * ) ;
3273 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
3274 int (*aio_fsync)(struct kiocb * , int ) ;
3275 int (*fasync)(int , struct file * , int ) ;
3276 int (*lock)(struct file * , int , struct file_lock * ) ;
3277 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3278 int ) ;
3279 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3280 unsigned long , unsigned long ) ;
3281 int (*check_flags)(int ) ;
3282 int (*flock)(struct file * , int , struct file_lock * ) ;
3283 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3284 unsigned int ) ;
3285 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3286 unsigned int ) ;
3287 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3288 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
3289};
3290#line 1637 "include/linux/fs.h"
3291struct inode_operations {
3292 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3293 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3294 int (*permission)(struct inode * , int ) ;
3295 struct posix_acl *(*get_acl)(struct inode * , int ) ;
3296 int (*readlink)(struct dentry * , char * , int ) ;
3297 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3298 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
3299 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3300 int (*unlink)(struct inode * , struct dentry * ) ;
3301 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3302 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
3303 int (*rmdir)(struct inode * , struct dentry * ) ;
3304 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
3305 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3306 void (*truncate)(struct inode * ) ;
3307 int (*setattr)(struct dentry * , struct iattr * ) ;
3308 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
3309 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3310 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3311 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3312 int (*removexattr)(struct dentry * , char const * ) ;
3313 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3314 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
3315};
3316#line 1682 "include/linux/fs.h"
3317struct super_operations {
3318 struct inode *(*alloc_inode)(struct super_block * ) ;
3319 void (*destroy_inode)(struct inode * ) ;
3320 void (*dirty_inode)(struct inode * , int ) ;
3321 int (*write_inode)(struct inode * , struct writeback_control * ) ;
3322 int (*drop_inode)(struct inode * ) ;
3323 void (*evict_inode)(struct inode * ) ;
3324 void (*put_super)(struct super_block * ) ;
3325 void (*write_super)(struct super_block * ) ;
3326 int (*sync_fs)(struct super_block * , int ) ;
3327 int (*freeze_fs)(struct super_block * ) ;
3328 int (*unfreeze_fs)(struct super_block * ) ;
3329 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3330 int (*remount_fs)(struct super_block * , int * , char * ) ;
3331 void (*umount_begin)(struct super_block * ) ;
3332 int (*show_options)(struct seq_file * , struct dentry * ) ;
3333 int (*show_devname)(struct seq_file * , struct dentry * ) ;
3334 int (*show_path)(struct seq_file * , struct dentry * ) ;
3335 int (*show_stats)(struct seq_file * , struct dentry * ) ;
3336 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3337 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3338 loff_t ) ;
3339 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3340 int (*nr_cached_objects)(struct super_block * ) ;
3341 void (*free_cached_objects)(struct super_block * , int ) ;
3342};
3343#line 1834 "include/linux/fs.h"
3344struct file_system_type {
3345 char const *name ;
3346 int fs_flags ;
3347 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3348 void (*kill_sb)(struct super_block * ) ;
3349 struct module *owner ;
3350 struct file_system_type *next ;
3351 struct hlist_head fs_supers ;
3352 struct lock_class_key s_lock_key ;
3353 struct lock_class_key s_umount_key ;
3354 struct lock_class_key s_vfs_rename_key ;
3355 struct lock_class_key i_lock_key ;
3356 struct lock_class_key i_mutex_key ;
3357 struct lock_class_key i_mutex_dir_key ;
3358};
3359#line 46 "include/linux/proc_fs.h"
3360typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
3361#line 48 "include/linux/proc_fs.h"
3362typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
3363#line 49 "include/linux/proc_fs.h"
3364struct proc_dir_entry {
3365 unsigned int low_ino ;
3366 umode_t mode ;
3367 nlink_t nlink ;
3368 uid_t uid ;
3369 gid_t gid ;
3370 loff_t size ;
3371 struct inode_operations const *proc_iops ;
3372 struct file_operations const *proc_fops ;
3373 struct proc_dir_entry *next ;
3374 struct proc_dir_entry *parent ;
3375 struct proc_dir_entry *subdir ;
3376 void *data ;
3377 read_proc_t *read_proc ;
3378 write_proc_t *write_proc ;
3379 atomic_t count ;
3380 int pde_users ;
3381 struct completion *pde_unload_completion ;
3382 struct list_head pde_openers ;
3383 spinlock_t pde_unload_lock ;
3384 u8 namelen ;
3385 char name[0U] ;
3386};
3387#line 60 "include/acpi/acpi_bus.h"
3388enum acpi_bus_removal_type {
3389 ACPI_BUS_REMOVAL_NORMAL = 0,
3390 ACPI_BUS_REMOVAL_EJECT = 1,
3391 ACPI_BUS_REMOVAL_SUPRISE = 2,
3392 ACPI_BUS_REMOVAL_TYPE_COUNT = 3
3393} ;
3394#line 77
3395struct acpi_driver;
3396#line 77
3397struct acpi_driver;
3398#line 78
3399struct acpi_device;
3400#line 78
3401struct acpi_device;
3402#line 95 "include/acpi/acpi_bus.h"
3403struct acpi_bus_ops {
3404 unsigned char acpi_op_add : 1 ;
3405 unsigned char acpi_op_start : 1 ;
3406};
3407#line 100 "include/acpi/acpi_bus.h"
3408struct acpi_device_ops {
3409 int (*add)(struct acpi_device * ) ;
3410 int (*remove)(struct acpi_device * , int ) ;
3411 int (*start)(struct acpi_device * ) ;
3412 int (*suspend)(struct acpi_device * , pm_message_t ) ;
3413 int (*resume)(struct acpi_device * ) ;
3414 int (*bind)(struct acpi_device * ) ;
3415 int (*unbind)(struct acpi_device * ) ;
3416 void (*notify)(struct acpi_device * , u32 ) ;
3417};
3418#line 111 "include/acpi/acpi_bus.h"
3419struct acpi_driver {
3420 char name[80U] ;
3421 char class[80U] ;
3422 struct acpi_device_id const *ids ;
3423 unsigned int flags ;
3424 struct acpi_device_ops ops ;
3425 struct device_driver drv ;
3426 struct module *owner ;
3427};
3428#line 123 "include/acpi/acpi_bus.h"
3429struct acpi_device_status {
3430 unsigned char present : 1 ;
3431 unsigned char enabled : 1 ;
3432 unsigned char show_in_ui : 1 ;
3433 unsigned char functional : 1 ;
3434 unsigned char battery_present : 1 ;
3435 unsigned int reserved : 27 ;
3436};
3437#line 139 "include/acpi/acpi_bus.h"
3438struct acpi_device_flags {
3439 unsigned char dynamic_status : 1 ;
3440 unsigned char bus_address : 1 ;
3441 unsigned char removable : 1 ;
3442 unsigned char ejectable : 1 ;
3443 unsigned char lockable : 1 ;
3444 unsigned char suprise_removal_ok : 1 ;
3445 unsigned char power_manageable : 1 ;
3446 unsigned char performance_manageable : 1 ;
3447 unsigned int reserved : 24 ;
3448};
3449#line 153 "include/acpi/acpi_bus.h"
3450struct acpi_device_dir {
3451 struct proc_dir_entry *entry ;
3452};
3453#line 164 "include/acpi/acpi_bus.h"
3454typedef char acpi_bus_id[8U];
3455#line 165 "include/acpi/acpi_bus.h"
3456typedef unsigned long acpi_bus_address;
3457#line 166 "include/acpi/acpi_bus.h"
3458typedef char acpi_device_name[40U];
3459#line 167 "include/acpi/acpi_bus.h"
3460typedef char acpi_device_class[20U];
3461#line 173 "include/acpi/acpi_bus.h"
3462struct acpi_device_pnp {
3463 acpi_bus_id bus_id ;
3464 acpi_bus_address bus_address ;
3465 char *unique_id ;
3466 struct list_head ids ;
3467 acpi_device_name device_name ;
3468 acpi_device_class device_class ;
3469};
3470#line 186 "include/acpi/acpi_bus.h"
3471struct acpi_device_power_flags {
3472 unsigned char explicit_get : 1 ;
3473 unsigned char power_resources : 1 ;
3474 unsigned char inrush_current : 1 ;
3475 unsigned char power_removed : 1 ;
3476 unsigned int reserved : 28 ;
3477};
3478#line 198 "include/acpi/acpi_bus.h"
3479struct __anonstruct_flags_180 {
3480 unsigned char valid : 1 ;
3481 unsigned char explicit_set : 1 ;
3482 unsigned char reserved : 6 ;
3483};
3484#line 198 "include/acpi/acpi_bus.h"
3485struct acpi_device_power_state {
3486 struct __anonstruct_flags_180 flags ;
3487 int power ;
3488 int latency ;
3489 struct acpi_handle_list resources ;
3490};
3491#line 209 "include/acpi/acpi_bus.h"
3492struct acpi_device_power {
3493 int state ;
3494 struct acpi_device_power_flags flags ;
3495 struct acpi_device_power_state states[5U] ;
3496};
3497#line 215 "include/acpi/acpi_bus.h"
3498struct acpi_device_perf_flags {
3499 u8 reserved ;
3500};
3501#line 221 "include/acpi/acpi_bus.h"
3502struct __anonstruct_flags_181 {
3503 unsigned char valid : 1 ;
3504 unsigned char reserved : 7 ;
3505};
3506#line 221 "include/acpi/acpi_bus.h"
3507struct acpi_device_perf_state {
3508 struct __anonstruct_flags_181 flags ;
3509 u8 power ;
3510 u8 performance ;
3511 int latency ;
3512};
3513#line 231 "include/acpi/acpi_bus.h"
3514struct acpi_device_perf {
3515 int state ;
3516 struct acpi_device_perf_flags flags ;
3517 int state_count ;
3518 struct acpi_device_perf_state *states ;
3519};
3520#line 238 "include/acpi/acpi_bus.h"
3521struct acpi_device_wakeup_flags {
3522 unsigned char valid : 1 ;
3523 unsigned char run_wake : 1 ;
3524 unsigned char notifier_present : 1 ;
3525};
3526#line 245 "include/acpi/acpi_bus.h"
3527struct acpi_device_wakeup {
3528 acpi_handle gpe_device ;
3529 u64 gpe_number ;
3530 u64 sleep_state ;
3531 struct acpi_handle_list resources ;
3532 struct acpi_device_wakeup_flags flags ;
3533 int prepare_count ;
3534};
3535#line 254 "include/acpi/acpi_bus.h"
3536struct acpi_device {
3537 int device_type ;
3538 acpi_handle handle ;
3539 struct acpi_device *parent ;
3540 struct list_head children ;
3541 struct list_head node ;
3542 struct list_head wakeup_list ;
3543 struct acpi_device_status status ;
3544 struct acpi_device_flags flags ;
3545 struct acpi_device_pnp pnp ;
3546 struct acpi_device_power power ;
3547 struct acpi_device_wakeup wakeup ;
3548 struct acpi_device_perf performance ;
3549 struct acpi_device_dir dir ;
3550 struct acpi_device_ops ops ;
3551 struct acpi_driver *driver ;
3552 void *driver_data ;
3553 struct device dev ;
3554 struct acpi_bus_ops bus_ops ;
3555 enum acpi_bus_removal_type removal_type ;
3556};
3557#line 32 "include/linux/input.h"
3558struct input_id {
3559 __u16 bustype ;
3560 __u16 vendor ;
3561 __u16 product ;
3562 __u16 version ;
3563};
3564#line 49 "include/linux/input.h"
3565struct input_absinfo {
3566 __s32 value ;
3567 __s32 minimum ;
3568 __s32 maximum ;
3569 __s32 fuzz ;
3570 __s32 flat ;
3571 __s32 resolution ;
3572};
3573#line 77 "include/linux/input.h"
3574struct input_keymap_entry {
3575 __u8 flags ;
3576 __u8 len ;
3577 __u16 index ;
3578 __u32 keycode ;
3579 __u8 scancode[32U] ;
3580};
3581#line 101 "include/linux/input.h"
3582struct ff_replay {
3583 __u16 length ;
3584 __u16 delay ;
3585};
3586#line 961 "include/linux/input.h"
3587struct ff_trigger {
3588 __u16 button ;
3589 __u16 interval ;
3590};
3591#line 971 "include/linux/input.h"
3592struct ff_envelope {
3593 __u16 attack_length ;
3594 __u16 attack_level ;
3595 __u16 fade_length ;
3596 __u16 fade_level ;
3597};
3598#line 990 "include/linux/input.h"
3599struct ff_constant_effect {
3600 __s16 level ;
3601 struct ff_envelope envelope ;
3602};
3603#line 1000 "include/linux/input.h"
3604struct ff_ramp_effect {
3605 __s16 start_level ;
3606 __s16 end_level ;
3607 struct ff_envelope envelope ;
3608};
3609#line 1012 "include/linux/input.h"
3610struct ff_condition_effect {
3611 __u16 right_saturation ;
3612 __u16 left_saturation ;
3613 __s16 right_coeff ;
3614 __s16 left_coeff ;
3615 __u16 deadband ;
3616 __s16 center ;
3617};
3618#line 1033 "include/linux/input.h"
3619struct ff_periodic_effect {
3620 __u16 waveform ;
3621 __u16 period ;
3622 __s16 magnitude ;
3623 __s16 offset ;
3624 __u16 phase ;
3625 struct ff_envelope envelope ;
3626 __u32 custom_len ;
3627 __s16 *custom_data ;
3628};
3629#line 1064 "include/linux/input.h"
3630struct ff_rumble_effect {
3631 __u16 strong_magnitude ;
3632 __u16 weak_magnitude ;
3633};
3634#line 1077 "include/linux/input.h"
3635union __anonunion_u_182 {
3636 struct ff_constant_effect constant ;
3637 struct ff_ramp_effect ramp ;
3638 struct ff_periodic_effect periodic ;
3639 struct ff_condition_effect condition[2U] ;
3640 struct ff_rumble_effect rumble ;
3641};
3642#line 1077 "include/linux/input.h"
3643struct ff_effect {
3644 __u16 type ;
3645 __s16 id ;
3646 __u16 direction ;
3647 struct ff_trigger trigger ;
3648 struct ff_replay replay ;
3649 union __anonunion_u_182 u ;
3650};
3651#line 1116
3652struct ff_device;
3653#line 1116
3654struct input_mt_slot;
3655#line 1116
3656struct input_handle;
3657#line 1116 "include/linux/input.h"
3658struct input_dev {
3659 char const *name ;
3660 char const *phys ;
3661 char const *uniq ;
3662 struct input_id id ;
3663 unsigned long propbit[1U] ;
3664 unsigned long evbit[1U] ;
3665 unsigned long keybit[12U] ;
3666 unsigned long relbit[1U] ;
3667 unsigned long absbit[1U] ;
3668 unsigned long mscbit[1U] ;
3669 unsigned long ledbit[1U] ;
3670 unsigned long sndbit[1U] ;
3671 unsigned long ffbit[2U] ;
3672 unsigned long swbit[1U] ;
3673 unsigned int hint_events_per_packet ;
3674 unsigned int keycodemax ;
3675 unsigned int keycodesize ;
3676 void *keycode ;
3677 int (*setkeycode)(struct input_dev * , struct input_keymap_entry const * , unsigned int * ) ;
3678 int (*getkeycode)(struct input_dev * , struct input_keymap_entry * ) ;
3679 struct ff_device *ff ;
3680 unsigned int repeat_key ;
3681 struct timer_list timer ;
3682 int rep[2U] ;
3683 struct input_mt_slot *mt ;
3684 int mtsize ;
3685 int slot ;
3686 int trkid ;
3687 struct input_absinfo *absinfo ;
3688 unsigned long key[12U] ;
3689 unsigned long led[1U] ;
3690 unsigned long snd[1U] ;
3691 unsigned long sw[1U] ;
3692 int (*open)(struct input_dev * ) ;
3693 void (*close)(struct input_dev * ) ;
3694 int (*flush)(struct input_dev * , struct file * ) ;
3695 int (*event)(struct input_dev * , unsigned int , unsigned int , int ) ;
3696 struct input_handle *grab ;
3697 spinlock_t event_lock ;
3698 struct mutex mutex ;
3699 unsigned int users ;
3700 bool going_away ;
3701 bool sync ;
3702 struct device dev ;
3703 struct list_head h_list ;
3704 struct list_head node ;
3705};
3706#line 1319 "include/linux/input.h"
3707struct input_handler {
3708 void *private ;
3709 void (*event)(struct input_handle * , unsigned int , unsigned int , int ) ;
3710 bool (*filter)(struct input_handle * , unsigned int , unsigned int , int ) ;
3711 bool (*match)(struct input_handler * , struct input_dev * ) ;
3712 int (*connect)(struct input_handler * , struct input_dev * , struct input_device_id const * ) ;
3713 void (*disconnect)(struct input_handle * ) ;
3714 void (*start)(struct input_handle * ) ;
3715 struct file_operations const *fops ;
3716 int minor ;
3717 char const *name ;
3718 struct input_device_id const *id_table ;
3719 struct list_head h_list ;
3720 struct list_head node ;
3721};
3722#line 1429 "include/linux/input.h"
3723struct input_handle {
3724 void *private ;
3725 int open ;
3726 char const *name ;
3727 struct input_dev *dev ;
3728 struct input_handler *handler ;
3729 struct list_head d_node ;
3730 struct list_head h_node ;
3731};
3732#line 1591 "include/linux/input.h"
3733struct ff_device {
3734 int (*upload)(struct input_dev * , struct ff_effect * , struct ff_effect * ) ;
3735 int (*erase)(struct input_dev * , int ) ;
3736 int (*playback)(struct input_dev * , int , int ) ;
3737 void (*set_gain)(struct input_dev * , u16 ) ;
3738 void (*set_autocenter)(struct input_dev * , u16 ) ;
3739 void (*destroy)(struct ff_device * ) ;
3740 void *private ;
3741 unsigned long ffbit[2U] ;
3742 struct mutex mutex ;
3743 int max_effects ;
3744 struct ff_effect *effects ;
3745 struct file *effect_owners[0U] ;
3746};
3747#line 1650 "include/linux/input.h"
3748struct __anonstruct_sw_184 {
3749 u8 code ;
3750 u8 value ;
3751};
3752#line 1650 "include/linux/input.h"
3753union __anonunion_ldv_24879_183 {
3754 u16 keycode ;
3755 struct __anonstruct_sw_184 sw ;
3756};
3757#line 1650 "include/linux/input.h"
3758struct key_entry {
3759 int type ;
3760 u32 code ;
3761 union __anonunion_ldv_24879_183 ldv_24879 ;
3762};
3763#line 60 "include/linux/input/sparse-keymap.h"
3764struct topstar_hkey {
3765 struct input_dev *inputdev ;
3766};
3767#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
3768void ldv_spin_lock(void) ;
3769#line 3
3770void ldv_spin_unlock(void) ;
3771#line 4
3772int ldv_spin_trylock(void) ;
3773#line 101 "include/linux/printk.h"
3774extern int printk(char const * , ...) ;
3775#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3776extern char *strcpy(char * , char const * ) ;
3777#line 161 "include/linux/slab.h"
3778extern void kfree(void const * ) ;
3779#line 220 "include/linux/slub_def.h"
3780extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
3781#line 223
3782void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3783#line 353 "include/linux/slab.h"
3784__inline static void *kzalloc(size_t size , gfp_t flags ) ;
3785#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
3786extern void *__VERIFIER_nondet_pointer(void) ;
3787#line 11
3788void ldv_check_alloc_flags(gfp_t flags ) ;
3789#line 12
3790void ldv_check_alloc_nonatomic(void) ;
3791#line 14
3792struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3793#line 230 "include/acpi/acpixf.h"
3794extern acpi_status acpi_evaluate_object(acpi_handle , acpi_string , struct acpi_object_list * ,
3795 struct acpi_buffer * ) ;
3796#line 279 "include/acpi/acpi_bus.h"
3797__inline static void *acpi_driver_data(struct acpi_device *d )
3798{ unsigned long __cil_tmp2 ;
3799 unsigned long __cil_tmp3 ;
3800
3801 {
3802 {
3803#line 281
3804 __cil_tmp2 = (unsigned long )d;
3805#line 281
3806 __cil_tmp3 = __cil_tmp2 + 936;
3807#line 281
3808 return (*((void **)__cil_tmp3));
3809 }
3810}
3811}
3812#line 336
3813extern int acpi_bus_register_driver(struct acpi_driver * ) ;
3814#line 337
3815extern void acpi_bus_unregister_driver(struct acpi_driver * ) ;
3816#line 1456 "include/linux/input.h"
3817extern struct input_dev *input_allocate_device(void) ;
3818#line 1457
3819extern void input_free_device(struct input_dev * ) ;
3820#line 1480
3821extern int input_register_device(struct input_dev * ) ;
3822#line 1481
3823extern void input_unregister_device(struct input_dev * ) ;
3824#line 51 "include/linux/input/sparse-keymap.h"
3825extern int sparse_keymap_setup(struct input_dev * , struct key_entry const * , int (*)(struct input_dev * ,
3826 struct key_entry * ) ) ;
3827#line 54
3828extern void sparse_keymap_free(struct input_dev * ) ;
3829#line 59
3830extern bool sparse_keymap_report_event(struct input_dev * , unsigned int , unsigned int ,
3831 bool ) ;
3832#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
3833static struct key_entry const topstar_keymap[18U] =
3834#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
3835 { {1, 128U, {(u16 )225U}},
3836 {1, 129U, {(u16 )224U}},
3837 {1, 131U, {(u16 )115U}},
3838 {1, 132U, {(u16 )114U}},
3839 {1, 133U, {(u16 )113U}},
3840 {1, 134U, {(u16 )227U}},
3841 {1, 135U, {(u16 )183U}},
3842 {1, 136U, {(u16 )238U}},
3843 {1, 138U, {(u16 )150U}},
3844 {1, 139U, {(u16 )155U}},
3845 {1, 140U, {(u16 )226U}},
3846 {4, 130U, {(unsigned short)0}},
3847 {4, 142U, {(unsigned short)0}},
3848 {4, 143U, {(unsigned short)0}},
3849 {4, 144U, {(unsigned short)0}},
3850 {1, 150U, {(u16 )184U}},
3851 {1, 151U, {(u16 )184U}},
3852 {0, 0U, {(unsigned short)0}}};
3853#line 75 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
3854static void acpi_topstar_notify(struct acpi_device *device , u32 event )
3855{ bool dup_evnt[2U] ;
3856 bool *dup ;
3857 struct topstar_hkey *hkey ;
3858 void *tmp ;
3859 bool tmp___0 ;
3860 int tmp___1 ;
3861 u32 __cil_tmp9 ;
3862 unsigned long __cil_tmp10 ;
3863 bool *__cil_tmp11 ;
3864 bool __cil_tmp12 ;
3865 struct input_dev *__cil_tmp13 ;
3866 bool __cil_tmp14 ;
3867
3868 {
3869 {
3870#line 79
3871 tmp = acpi_driver_data(device);
3872#line 79
3873 hkey = (struct topstar_hkey *)tmp;
3874 }
3875#line 82
3876 if (event == 131U) {
3877#line 82
3878 goto _L;
3879 } else
3880#line 82
3881 if (event == 132U) {
3882 _L:
3883#line 83
3884 __cil_tmp9 = event - 131U;
3885#line 83
3886 __cil_tmp10 = (unsigned long )__cil_tmp9;
3887#line 83
3888 __cil_tmp11 = (bool *)(& dup_evnt);
3889#line 83
3890 dup = __cil_tmp11 + __cil_tmp10;
3891 {
3892#line 84
3893 __cil_tmp12 = *dup;
3894#line 84
3895 if ((int )__cil_tmp12) {
3896#line 85
3897 *dup = (bool )0;
3898#line 86
3899 return;
3900 } else {
3901
3902 }
3903 }
3904#line 88
3905 *dup = (bool )1;
3906 } else {
3907
3908 }
3909 {
3910#line 91
3911 __cil_tmp13 = *((struct input_dev **)hkey);
3912#line 91
3913 __cil_tmp14 = (bool )1;
3914#line 91
3915 tmp___0 = sparse_keymap_report_event(__cil_tmp13, event, 1U, __cil_tmp14);
3916 }
3917#line 91
3918 if (tmp___0) {
3919#line 91
3920 tmp___1 = 0;
3921 } else {
3922#line 91
3923 tmp___1 = 1;
3924 }
3925#line 91
3926 if (tmp___1) {
3927 {
3928#line 92
3929 printk("<6>topstar_laptop: unknown event = 0x%02x\n", event);
3930 }
3931 } else {
3932
3933 }
3934#line 93
3935 return;
3936}
3937}
3938#line 95 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
3939static int acpi_topstar_fncx_switch(struct acpi_device *device , bool state )
3940{ acpi_status status ;
3941 union acpi_object fncx_params[1U] ;
3942 struct acpi_object_list fncx_arg_list ;
3943 unsigned long __cil_tmp6 ;
3944 unsigned long __cil_tmp7 ;
3945 struct acpi_object_list *__cil_tmp8 ;
3946 unsigned long __cil_tmp9 ;
3947 unsigned long __cil_tmp10 ;
3948 unsigned long __cil_tmp11 ;
3949 unsigned long __cil_tmp12 ;
3950 unsigned long __cil_tmp13 ;
3951 unsigned long __cil_tmp14 ;
3952 unsigned long __cil_tmp15 ;
3953 unsigned long __cil_tmp16 ;
3954 unsigned long __cil_tmp17 ;
3955 unsigned long __cil_tmp18 ;
3956 unsigned long __cil_tmp19 ;
3957 acpi_handle __cil_tmp20 ;
3958 char *__cil_tmp21 ;
3959 struct acpi_buffer *__cil_tmp22 ;
3960
3961 {
3962#line 98
3963 __cil_tmp6 = 0 * 24UL;
3964#line 98
3965 __cil_tmp7 = (unsigned long )(fncx_params) + __cil_tmp6;
3966#line 98
3967 *((acpi_object_type *)__cil_tmp7) = 1U;
3968#line 101
3969 __cil_tmp8 = & fncx_arg_list;
3970#line 101
3971 *((u32 *)__cil_tmp8) = 1U;
3972#line 101
3973 __cil_tmp9 = (unsigned long )(& fncx_arg_list) + 8;
3974#line 101
3975 *((union acpi_object **)__cil_tmp9) = (union acpi_object *)(& fncx_params);
3976#line 103
3977 if ((int )state) {
3978#line 103
3979 __cil_tmp10 = 0 + 8;
3980#line 103
3981 __cil_tmp11 = 0 * 24UL;
3982#line 103
3983 __cil_tmp12 = __cil_tmp11 + __cil_tmp10;
3984#line 103
3985 __cil_tmp13 = (unsigned long )(fncx_params) + __cil_tmp12;
3986#line 103
3987 *((u64 *)__cil_tmp13) = 134ULL;
3988 } else {
3989#line 103
3990 __cil_tmp14 = 0 + 8;
3991#line 103
3992 __cil_tmp15 = 0 * 24UL;
3993#line 103
3994 __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
3995#line 103
3996 __cil_tmp17 = (unsigned long )(fncx_params) + __cil_tmp16;
3997#line 103
3998 *((u64 *)__cil_tmp17) = 135ULL;
3999 }
4000 {
4001#line 104
4002 __cil_tmp18 = (unsigned long )device;
4003#line 104
4004 __cil_tmp19 = __cil_tmp18 + 8;
4005#line 104
4006 __cil_tmp20 = *((acpi_handle *)__cil_tmp19);
4007#line 104
4008 __cil_tmp21 = (char *)"FNCX";
4009#line 104
4010 __cil_tmp22 = (struct acpi_buffer *)0;
4011#line 104
4012 status = acpi_evaluate_object(__cil_tmp20, __cil_tmp21, & fncx_arg_list, __cil_tmp22);
4013 }
4014#line 105
4015 if (status != 0U) {
4016 {
4017#line 106
4018 printk("<3>topstar_laptop: Unable to switch FNCX notifications\n");
4019 }
4020#line 107
4021 return (-19);
4022 } else {
4023
4024 }
4025#line 110
4026 return (0);
4027}
4028}
4029#line 113 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4030static int acpi_topstar_init_hkey(struct topstar_hkey *hkey )
4031{ struct input_dev *input ;
4032 int error ;
4033 struct input_dev *__cil_tmp4 ;
4034 unsigned long __cil_tmp5 ;
4035 unsigned long __cil_tmp6 ;
4036 unsigned long __cil_tmp7 ;
4037 unsigned long __cil_tmp8 ;
4038 unsigned long __cil_tmp9 ;
4039 unsigned long __cil_tmp10 ;
4040 struct key_entry const *__cil_tmp11 ;
4041 int (*__cil_tmp12)(struct input_dev * , struct key_entry * ) ;
4042
4043 {
4044 {
4045#line 118
4046 input = input_allocate_device();
4047 }
4048 {
4049#line 119
4050 __cil_tmp4 = (struct input_dev *)0;
4051#line 119
4052 __cil_tmp5 = (unsigned long )__cil_tmp4;
4053#line 119
4054 __cil_tmp6 = (unsigned long )input;
4055#line 119
4056 if (__cil_tmp6 == __cil_tmp5) {
4057 {
4058#line 120
4059 printk("<3>topstar_laptop: Unable to allocate input device\n");
4060 }
4061#line 121
4062 return (-12);
4063 } else {
4064
4065 }
4066 }
4067 {
4068#line 124
4069 *((char const **)input) = "Topstar Laptop extra buttons";
4070#line 125
4071 __cil_tmp7 = (unsigned long )input;
4072#line 125
4073 __cil_tmp8 = __cil_tmp7 + 8;
4074#line 125
4075 *((char const **)__cil_tmp8) = "topstar/input0";
4076#line 126
4077 __cil_tmp9 = (unsigned long )input;
4078#line 126
4079 __cil_tmp10 = __cil_tmp9 + 24;
4080#line 126
4081 *((__u16 *)__cil_tmp10) = (__u16 )25U;
4082#line 128
4083 __cil_tmp11 = (struct key_entry const *)(& topstar_keymap);
4084#line 128
4085 __cil_tmp12 = (int (*)(struct input_dev * , struct key_entry * ))0;
4086#line 128
4087 error = sparse_keymap_setup(input, __cil_tmp11, __cil_tmp12);
4088 }
4089#line 129
4090 if (error != 0) {
4091 {
4092#line 130
4093 printk("<3>topstar_laptop: Unable to setup input device keymap\n");
4094 }
4095#line 131
4096 goto err_free_dev;
4097 } else {
4098
4099 }
4100 {
4101#line 134
4102 error = input_register_device(input);
4103 }
4104#line 135
4105 if (error != 0) {
4106 {
4107#line 136
4108 printk("<3>topstar_laptop: Unable to register input device\n");
4109 }
4110#line 137
4111 goto err_free_keymap;
4112 } else {
4113
4114 }
4115#line 140
4116 *((struct input_dev **)hkey) = input;
4117#line 141
4118 return (0);
4119 err_free_keymap:
4120 {
4121#line 144
4122 sparse_keymap_free(input);
4123 }
4124 err_free_dev:
4125 {
4126#line 146
4127 input_free_device(input);
4128 }
4129#line 147
4130 return (error);
4131}
4132}
4133#line 150 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4134static int acpi_topstar_add(struct acpi_device *device )
4135{ struct topstar_hkey *tps_hkey ;
4136 void *tmp ;
4137 int tmp___0 ;
4138 int tmp___1 ;
4139 struct topstar_hkey *__cil_tmp6 ;
4140 unsigned long __cil_tmp7 ;
4141 unsigned long __cil_tmp8 ;
4142 unsigned long __cil_tmp9 ;
4143 unsigned long __cil_tmp10 ;
4144 unsigned long __cil_tmp11 ;
4145 acpi_device_name *__cil_tmp12 ;
4146 char *__cil_tmp13 ;
4147 unsigned long __cil_tmp14 ;
4148 unsigned long __cil_tmp15 ;
4149 unsigned long __cil_tmp16 ;
4150 acpi_device_class *__cil_tmp17 ;
4151 char *__cil_tmp18 ;
4152 bool __cil_tmp19 ;
4153 unsigned long __cil_tmp20 ;
4154 unsigned long __cil_tmp21 ;
4155 void const *__cil_tmp22 ;
4156
4157 {
4158 {
4159#line 154
4160 tmp = kzalloc(8UL, 208U);
4161#line 154
4162 tps_hkey = (struct topstar_hkey *)tmp;
4163 }
4164 {
4165#line 155
4166 __cil_tmp6 = (struct topstar_hkey *)0;
4167#line 155
4168 __cil_tmp7 = (unsigned long )__cil_tmp6;
4169#line 155
4170 __cil_tmp8 = (unsigned long )tps_hkey;
4171#line 155
4172 if (__cil_tmp8 == __cil_tmp7) {
4173#line 156
4174 return (-12);
4175 } else {
4176
4177 }
4178 }
4179 {
4180#line 158
4181 __cil_tmp9 = 80 + 40;
4182#line 158
4183 __cil_tmp10 = (unsigned long )device;
4184#line 158
4185 __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
4186#line 158
4187 __cil_tmp12 = (acpi_device_name *)__cil_tmp11;
4188#line 158
4189 __cil_tmp13 = (char *)__cil_tmp12;
4190#line 158
4191 strcpy(__cil_tmp13, "Topstar TPSACPI");
4192#line 159
4193 __cil_tmp14 = 80 + 80;
4194#line 159
4195 __cil_tmp15 = (unsigned long )device;
4196#line 159
4197 __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
4198#line 159
4199 __cil_tmp17 = (acpi_device_class *)__cil_tmp16;
4200#line 159
4201 __cil_tmp18 = (char *)__cil_tmp17;
4202#line 159
4203 strcpy(__cil_tmp18, "topstar");
4204#line 161
4205 __cil_tmp19 = (bool )1;
4206#line 161
4207 tmp___0 = acpi_topstar_fncx_switch(device, __cil_tmp19);
4208 }
4209#line 161
4210 if (tmp___0 != 0) {
4211#line 162
4212 goto add_err;
4213 } else {
4214
4215 }
4216 {
4217#line 164
4218 tmp___1 = acpi_topstar_init_hkey(tps_hkey);
4219 }
4220#line 164
4221 if (tmp___1 != 0) {
4222#line 165
4223 goto add_err;
4224 } else {
4225
4226 }
4227#line 167
4228 __cil_tmp20 = (unsigned long )device;
4229#line 167
4230 __cil_tmp21 = __cil_tmp20 + 936;
4231#line 167
4232 *((void **)__cil_tmp21) = (void *)tps_hkey;
4233#line 168
4234 return (0);
4235 add_err:
4236 {
4237#line 171
4238 __cil_tmp22 = (void const *)tps_hkey;
4239#line 171
4240 kfree(__cil_tmp22);
4241 }
4242#line 172
4243 return (-19);
4244}
4245}
4246#line 175 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4247static int acpi_topstar_remove(struct acpi_device *device , int type )
4248{ struct topstar_hkey *tps_hkey ;
4249 void *tmp ;
4250 bool __cil_tmp5 ;
4251 struct input_dev *__cil_tmp6 ;
4252 struct input_dev *__cil_tmp7 ;
4253 void const *__cil_tmp8 ;
4254
4255 {
4256 {
4257#line 177
4258 tmp = acpi_driver_data(device);
4259#line 177
4260 tps_hkey = (struct topstar_hkey *)tmp;
4261#line 179
4262 __cil_tmp5 = (bool )0;
4263#line 179
4264 acpi_topstar_fncx_switch(device, __cil_tmp5);
4265#line 181
4266 __cil_tmp6 = *((struct input_dev **)tps_hkey);
4267#line 181
4268 sparse_keymap_free(__cil_tmp6);
4269#line 182
4270 __cil_tmp7 = *((struct input_dev **)tps_hkey);
4271#line 182
4272 input_unregister_device(__cil_tmp7);
4273#line 183
4274 __cil_tmp8 = (void const *)tps_hkey;
4275#line 183
4276 kfree(__cil_tmp8);
4277 }
4278#line 185
4279 return (0);
4280}
4281}
4282#line 188 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4283static struct acpi_device_id const topstar_device_ids[2U] = { {{(__u8 )'T', (__u8 )'P', (__u8 )'S', (__u8 )'A', (__u8 )'C', (__u8 )'P', (__u8 )'I',
4284 (__u8 )'0', (__u8 )'1', (__u8 )'\000', (unsigned char)0, (unsigned char)0,
4285 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, 0UL},
4286 {{(__u8 )'\000',
4287 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4288 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4289 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0},
4290 0UL}};
4291#line 192 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4292struct acpi_device_id const __mod_acpi_device_table ;
4293#line 194 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4294static struct acpi_driver acpi_topstar_driver = {{(char )'T', (char )'o', (char )'p', (char )'s', (char )'t', (char )'a', (char )'r',
4295 (char )' ', (char )'l', (char )'a', (char )'p', (char )'t', (char )'o', (char )'p',
4296 (char )' ', (char )'A', (char )'C', (char )'P', (char )'I', (char )' ', (char )'d',
4297 (char )'r', (char )'i', (char )'v', (char )'e', (char )'r', (char )'\000'}, {(char )'t',
4298 (char )'o',
4299 (char )'p',
4300 (char )'s',
4301 (char )'t',
4302 (char )'a',
4303 (char )'r',
4304 (char )'\000'},
4305 (struct acpi_device_id const *)(& topstar_device_ids), 0U, {& acpi_topstar_add,
4306 & acpi_topstar_remove,
4307 (int (*)(struct acpi_device * ))0,
4308 (int (*)(struct acpi_device * ,
4309 pm_message_t ))0,
4310 (int (*)(struct acpi_device * ))0,
4311 (int (*)(struct acpi_device * ))0,
4312 (int (*)(struct acpi_device * ))0,
4313 & acpi_topstar_notify},
4314 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
4315 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device * ))0, (int (*)(struct device * ))0,
4316 (void (*)(struct device * ))0, (int (*)(struct device * , pm_message_t ))0,
4317 (int (*)(struct device * ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
4318 (struct driver_private *)0}, (struct module *)0};
4319#line 205 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4320static int topstar_laptop_init(void)
4321{ int ret ;
4322
4323 {
4324 {
4325#line 209
4326 ret = acpi_bus_register_driver(& acpi_topstar_driver);
4327 }
4328#line 210
4329 if (ret < 0) {
4330#line 211
4331 return (ret);
4332 } else {
4333
4334 }
4335 {
4336#line 213
4337 printk("<6>topstar_laptop: ACPI extras driver loaded\n");
4338 }
4339#line 215
4340 return (0);
4341}
4342}
4343#line 218 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4344static void topstar_laptop_exit(void)
4345{
4346
4347 {
4348 {
4349#line 220
4350 acpi_bus_unregister_driver(& acpi_topstar_driver);
4351 }
4352#line 221
4353 return;
4354}
4355}
4356#line 246
4357extern void ldv_check_final_state(void) ;
4358#line 252
4359extern void ldv_initialize(void) ;
4360#line 255
4361extern int __VERIFIER_nondet_int(void) ;
4362#line 258 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4363int LDV_IN_INTERRUPT ;
4364#line 261 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4365void main(void)
4366{ struct acpi_device *var_group1 ;
4367 int var_acpi_topstar_remove_4_p1 ;
4368 u32 var_acpi_topstar_notify_0_p1 ;
4369 int tmp ;
4370 int tmp___0 ;
4371 int tmp___1 ;
4372
4373 {
4374 {
4375#line 296
4376 LDV_IN_INTERRUPT = 1;
4377#line 305
4378 ldv_initialize();
4379#line 314
4380 tmp = topstar_laptop_init();
4381 }
4382#line 314
4383 if (tmp != 0) {
4384#line 315
4385 goto ldv_final;
4386 } else {
4387
4388 }
4389#line 319
4390 goto ldv_24983;
4391 ldv_24982:
4392 {
4393#line 322
4394 tmp___0 = __VERIFIER_nondet_int();
4395 }
4396#line 324
4397 if (tmp___0 == 0) {
4398#line 324
4399 goto case_0;
4400 } else
4401#line 343
4402 if (tmp___0 == 1) {
4403#line 343
4404 goto case_1;
4405 } else
4406#line 362
4407 if (tmp___0 == 2) {
4408#line 362
4409 goto case_2;
4410 } else {
4411 {
4412#line 381
4413 goto switch_default;
4414#line 322
4415 if (0) {
4416 case_0:
4417 {
4418#line 335
4419 acpi_topstar_add(var_group1);
4420 }
4421#line 342
4422 goto ldv_24978;
4423 case_1:
4424 {
4425#line 354
4426 acpi_topstar_remove(var_group1, var_acpi_topstar_remove_4_p1);
4427 }
4428#line 361
4429 goto ldv_24978;
4430 case_2:
4431 {
4432#line 373
4433 acpi_topstar_notify(var_group1, var_acpi_topstar_notify_0_p1);
4434 }
4435#line 380
4436 goto ldv_24978;
4437 switch_default: ;
4438#line 381
4439 goto ldv_24978;
4440 } else {
4441 switch_break: ;
4442 }
4443 }
4444 }
4445 ldv_24978: ;
4446 ldv_24983:
4447 {
4448#line 319
4449 tmp___1 = __VERIFIER_nondet_int();
4450 }
4451#line 319
4452 if (tmp___1 != 0) {
4453#line 320
4454 goto ldv_24982;
4455 } else {
4456#line 322
4457 goto ldv_24984;
4458 }
4459 ldv_24984: ;
4460 {
4461#line 396
4462 topstar_laptop_exit();
4463 }
4464 ldv_final:
4465 {
4466#line 399
4467 ldv_check_final_state();
4468 }
4469#line 402
4470 return;
4471}
4472}
4473#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
4474void ldv_blast_assert(void)
4475{
4476
4477 {
4478 ERROR: ;
4479#line 6
4480 goto ERROR;
4481}
4482}
4483#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
4484extern int __VERIFIER_nondet_int(void) ;
4485#line 423 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4486int ldv_spin = 0;
4487#line 427 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4488void ldv_check_alloc_flags(gfp_t flags )
4489{
4490
4491 {
4492#line 430
4493 if (ldv_spin != 0) {
4494#line 430
4495 if (flags != 32U) {
4496 {
4497#line 430
4498 ldv_blast_assert();
4499 }
4500 } else {
4501
4502 }
4503 } else {
4504
4505 }
4506#line 433
4507 return;
4508}
4509}
4510#line 433
4511extern struct page *ldv_some_page(void) ;
4512#line 436 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4513struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
4514{ struct page *tmp ;
4515
4516 {
4517#line 439
4518 if (ldv_spin != 0) {
4519#line 439
4520 if (flags != 32U) {
4521 {
4522#line 439
4523 ldv_blast_assert();
4524 }
4525 } else {
4526
4527 }
4528 } else {
4529
4530 }
4531 {
4532#line 441
4533 tmp = ldv_some_page();
4534 }
4535#line 441
4536 return (tmp);
4537}
4538}
4539#line 445 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4540void ldv_check_alloc_nonatomic(void)
4541{
4542
4543 {
4544#line 448
4545 if (ldv_spin != 0) {
4546 {
4547#line 448
4548 ldv_blast_assert();
4549 }
4550 } else {
4551
4552 }
4553#line 451
4554 return;
4555}
4556}
4557#line 452 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4558void ldv_spin_lock(void)
4559{
4560
4561 {
4562#line 455
4563 ldv_spin = 1;
4564#line 456
4565 return;
4566}
4567}
4568#line 459 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4569void ldv_spin_unlock(void)
4570{
4571
4572 {
4573#line 462
4574 ldv_spin = 0;
4575#line 463
4576 return;
4577}
4578}
4579#line 466 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4580int ldv_spin_trylock(void)
4581{ int is_lock ;
4582
4583 {
4584 {
4585#line 471
4586 is_lock = __VERIFIER_nondet_int();
4587 }
4588#line 473
4589 if (is_lock != 0) {
4590#line 476
4591 return (0);
4592 } else {
4593#line 481
4594 ldv_spin = 1;
4595#line 483
4596 return (1);
4597 }
4598}
4599}
4600#line 650 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4601void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
4602{
4603
4604 {
4605 {
4606#line 656
4607 ldv_check_alloc_flags(ldv_func_arg2);
4608#line 658
4609 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
4610 }
4611#line 659
4612 return ((void *)0);
4613}
4614}
4615#line 661 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/12334/dscv_tempdir/dscv/ri/43_1a/drivers/platform/x86/topstar-laptop.c.p"
4616__inline static void *kzalloc(size_t size , gfp_t flags )
4617{ void *tmp ;
4618
4619 {
4620 {
4621#line 667
4622 ldv_check_alloc_flags(flags);
4623#line 668
4624 tmp = __VERIFIER_nondet_pointer();
4625 }
4626#line 668
4627 return (tmp);
4628}
4629}