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