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