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