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