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