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