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