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