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