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