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