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 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
132struct module;
133#line 56
134struct module;
135#line 146 "include/linux/init.h"
136typedef void (*ctor_fn_t)(void);
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 31 "include/linux/irq.h"
1135struct seq_file;
1136#line 32
1137struct module;
1138#line 12 "include/linux/irqdesc.h"
1139struct proc_dir_entry;
1140#line 12
1141struct proc_dir_entry;
1142#line 14
1143struct module;
1144#line 16 "include/linux/profile.h"
1145struct proc_dir_entry;
1146#line 17
1147struct pt_regs;
1148#line 18
1149struct notifier_block;
1150#line 65
1151struct task_struct;
1152#line 66
1153struct mm_struct;
1154#line 88
1155struct pt_regs;
1156#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
1157struct exception_table_entry {
1158 unsigned long insn ;
1159 unsigned long fixup ;
1160};
1161#line 132 "include/linux/hardirq.h"
1162struct task_struct;
1163#line 8 "include/linux/timerqueue.h"
1164struct timerqueue_node {
1165 struct rb_node node ;
1166 ktime_t expires ;
1167};
1168#line 13 "include/linux/timerqueue.h"
1169struct timerqueue_head {
1170 struct rb_root head ;
1171 struct timerqueue_node *next ;
1172};
1173#line 27 "include/linux/hrtimer.h"
1174struct hrtimer_clock_base;
1175#line 27
1176struct hrtimer_clock_base;
1177#line 28
1178struct hrtimer_cpu_base;
1179#line 28
1180struct hrtimer_cpu_base;
1181#line 44
1182enum hrtimer_restart {
1183 HRTIMER_NORESTART = 0,
1184 HRTIMER_RESTART = 1
1185} ;
1186#line 108 "include/linux/hrtimer.h"
1187struct hrtimer {
1188 struct timerqueue_node node ;
1189 ktime_t _softexpires ;
1190 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1191 struct hrtimer_clock_base *base ;
1192 unsigned long state ;
1193 int start_pid ;
1194 void *start_site ;
1195 char start_comm[16] ;
1196};
1197#line 145 "include/linux/hrtimer.h"
1198struct hrtimer_clock_base {
1199 struct hrtimer_cpu_base *cpu_base ;
1200 int index ;
1201 clockid_t clockid ;
1202 struct timerqueue_head active ;
1203 ktime_t resolution ;
1204 ktime_t (*get_time)(void) ;
1205 ktime_t softirq_time ;
1206 ktime_t offset ;
1207};
1208#line 178 "include/linux/hrtimer.h"
1209struct hrtimer_cpu_base {
1210 raw_spinlock_t lock ;
1211 unsigned long active_bases ;
1212 ktime_t expires_next ;
1213 int hres_active ;
1214 int hang_detected ;
1215 unsigned long nr_events ;
1216 unsigned long nr_retries ;
1217 unsigned long nr_hangs ;
1218 ktime_t max_hang_time ;
1219 struct hrtimer_clock_base clock_base[3] ;
1220};
1221#line 187 "include/linux/interrupt.h"
1222struct device;
1223#line 695
1224struct seq_file;
1225#line 12 "include/linux/mod_devicetable.h"
1226typedef unsigned long kernel_ulong_t;
1227#line 219 "include/linux/mod_devicetable.h"
1228struct of_device_id {
1229 char name[32] ;
1230 char type[32] ;
1231 char compatible[128] ;
1232 void *data ;
1233};
1234#line 506 "include/linux/mod_devicetable.h"
1235struct platform_device_id {
1236 char name[20] ;
1237 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1238};
1239#line 19 "include/linux/klist.h"
1240struct klist_node;
1241#line 19
1242struct klist_node;
1243#line 39 "include/linux/klist.h"
1244struct klist_node {
1245 void *n_klist ;
1246 struct list_head n_node ;
1247 struct kref n_ref ;
1248};
1249#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1250struct dma_map_ops;
1251#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1252struct dev_archdata {
1253 void *acpi_handle ;
1254 struct dma_map_ops *dma_ops ;
1255 void *iommu ;
1256};
1257#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1258struct pdev_archdata {
1259
1260};
1261#line 28 "include/linux/device.h"
1262struct device;
1263#line 29
1264struct device_private;
1265#line 29
1266struct device_private;
1267#line 30
1268struct device_driver;
1269#line 30
1270struct device_driver;
1271#line 31
1272struct driver_private;
1273#line 31
1274struct driver_private;
1275#line 32
1276struct module;
1277#line 33
1278struct class;
1279#line 33
1280struct class;
1281#line 34
1282struct subsys_private;
1283#line 34
1284struct subsys_private;
1285#line 35
1286struct bus_type;
1287#line 35
1288struct bus_type;
1289#line 36
1290struct device_node;
1291#line 36
1292struct device_node;
1293#line 37
1294struct iommu_ops;
1295#line 37
1296struct iommu_ops;
1297#line 39 "include/linux/device.h"
1298struct bus_attribute {
1299 struct attribute attr ;
1300 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1301 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1302};
1303#line 89
1304struct device_attribute;
1305#line 89
1306struct driver_attribute;
1307#line 89 "include/linux/device.h"
1308struct bus_type {
1309 char const *name ;
1310 char const *dev_name ;
1311 struct device *dev_root ;
1312 struct bus_attribute *bus_attrs ;
1313 struct device_attribute *dev_attrs ;
1314 struct driver_attribute *drv_attrs ;
1315 int (*match)(struct device *dev , struct device_driver *drv ) ;
1316 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1317 int (*probe)(struct device *dev ) ;
1318 int (*remove)(struct device *dev ) ;
1319 void (*shutdown)(struct device *dev ) ;
1320 int (*suspend)(struct device *dev , pm_message_t state ) ;
1321 int (*resume)(struct device *dev ) ;
1322 struct dev_pm_ops const *pm ;
1323 struct iommu_ops *iommu_ops ;
1324 struct subsys_private *p ;
1325};
1326#line 127
1327struct device_type;
1328#line 159
1329struct notifier_block;
1330#line 214 "include/linux/device.h"
1331struct device_driver {
1332 char const *name ;
1333 struct bus_type *bus ;
1334 struct module *owner ;
1335 char const *mod_name ;
1336 bool suppress_bind_attrs ;
1337 struct of_device_id const *of_match_table ;
1338 int (*probe)(struct device *dev ) ;
1339 int (*remove)(struct device *dev ) ;
1340 void (*shutdown)(struct device *dev ) ;
1341 int (*suspend)(struct device *dev , pm_message_t state ) ;
1342 int (*resume)(struct device *dev ) ;
1343 struct attribute_group const **groups ;
1344 struct dev_pm_ops const *pm ;
1345 struct driver_private *p ;
1346};
1347#line 249 "include/linux/device.h"
1348struct driver_attribute {
1349 struct attribute attr ;
1350 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1351 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1352};
1353#line 330
1354struct class_attribute;
1355#line 330 "include/linux/device.h"
1356struct class {
1357 char const *name ;
1358 struct module *owner ;
1359 struct class_attribute *class_attrs ;
1360 struct device_attribute *dev_attrs ;
1361 struct bin_attribute *dev_bin_attrs ;
1362 struct kobject *dev_kobj ;
1363 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1364 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1365 void (*class_release)(struct class *class ) ;
1366 void (*dev_release)(struct device *dev ) ;
1367 int (*suspend)(struct device *dev , pm_message_t state ) ;
1368 int (*resume)(struct device *dev ) ;
1369 struct kobj_ns_type_operations const *ns_type ;
1370 void const *(*namespace)(struct device *dev ) ;
1371 struct dev_pm_ops const *pm ;
1372 struct subsys_private *p ;
1373};
1374#line 397 "include/linux/device.h"
1375struct class_attribute {
1376 struct attribute attr ;
1377 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1378 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1379 size_t count ) ;
1380 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1381};
1382#line 465 "include/linux/device.h"
1383struct device_type {
1384 char const *name ;
1385 struct attribute_group const **groups ;
1386 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1387 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1388 void (*release)(struct device *dev ) ;
1389 struct dev_pm_ops const *pm ;
1390};
1391#line 476 "include/linux/device.h"
1392struct device_attribute {
1393 struct attribute attr ;
1394 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1395 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1396 size_t count ) ;
1397};
1398#line 559 "include/linux/device.h"
1399struct device_dma_parameters {
1400 unsigned int max_segment_size ;
1401 unsigned long segment_boundary_mask ;
1402};
1403#line 627
1404struct dma_coherent_mem;
1405#line 627 "include/linux/device.h"
1406struct device {
1407 struct device *parent ;
1408 struct device_private *p ;
1409 struct kobject kobj ;
1410 char const *init_name ;
1411 struct device_type const *type ;
1412 struct mutex mutex ;
1413 struct bus_type *bus ;
1414 struct device_driver *driver ;
1415 void *platform_data ;
1416 struct dev_pm_info power ;
1417 struct dev_pm_domain *pm_domain ;
1418 int numa_node ;
1419 u64 *dma_mask ;
1420 u64 coherent_dma_mask ;
1421 struct device_dma_parameters *dma_parms ;
1422 struct list_head dma_pools ;
1423 struct dma_coherent_mem *dma_mem ;
1424 struct dev_archdata archdata ;
1425 struct device_node *of_node ;
1426 dev_t devt ;
1427 u32 id ;
1428 spinlock_t devres_lock ;
1429 struct list_head devres_head ;
1430 struct klist_node knode_class ;
1431 struct class *class ;
1432 struct attribute_group const **groups ;
1433 void (*release)(struct device *dev ) ;
1434};
1435#line 43 "include/linux/pm_wakeup.h"
1436struct wakeup_source {
1437 char const *name ;
1438 struct list_head entry ;
1439 spinlock_t lock ;
1440 struct timer_list timer ;
1441 unsigned long timer_expires ;
1442 ktime_t total_time ;
1443 ktime_t max_time ;
1444 ktime_t last_time ;
1445 unsigned long event_count ;
1446 unsigned long active_count ;
1447 unsigned long relax_count ;
1448 unsigned long hit_count ;
1449 unsigned int active : 1 ;
1450};
1451#line 18 "include/linux/capability.h"
1452struct task_struct;
1453#line 94 "include/linux/capability.h"
1454struct kernel_cap_struct {
1455 __u32 cap[2] ;
1456};
1457#line 94 "include/linux/capability.h"
1458typedef struct kernel_cap_struct kernel_cap_t;
1459#line 377
1460struct dentry;
1461#line 377
1462struct dentry;
1463#line 378
1464struct user_namespace;
1465#line 378
1466struct user_namespace;
1467#line 14 "include/linux/prio_tree.h"
1468struct prio_tree_node;
1469#line 14 "include/linux/prio_tree.h"
1470struct raw_prio_tree_node {
1471 struct prio_tree_node *left ;
1472 struct prio_tree_node *right ;
1473 struct prio_tree_node *parent ;
1474};
1475#line 20 "include/linux/prio_tree.h"
1476struct prio_tree_node {
1477 struct prio_tree_node *left ;
1478 struct prio_tree_node *right ;
1479 struct prio_tree_node *parent ;
1480 unsigned long start ;
1481 unsigned long last ;
1482};
1483#line 28 "include/linux/prio_tree.h"
1484struct prio_tree_root {
1485 struct prio_tree_node *prio_tree_node ;
1486 unsigned short index_bits ;
1487 unsigned short raw ;
1488};
1489#line 23 "include/linux/mm_types.h"
1490struct address_space;
1491#line 23
1492struct address_space;
1493#line 40 "include/linux/mm_types.h"
1494union __anonunion____missing_field_name_212 {
1495 unsigned long index ;
1496 void *freelist ;
1497};
1498#line 40 "include/linux/mm_types.h"
1499struct __anonstruct____missing_field_name_216 {
1500 unsigned int inuse : 16 ;
1501 unsigned int objects : 15 ;
1502 unsigned int frozen : 1 ;
1503};
1504#line 40 "include/linux/mm_types.h"
1505union __anonunion____missing_field_name_215 {
1506 atomic_t _mapcount ;
1507 struct __anonstruct____missing_field_name_216 __annonCompField34 ;
1508};
1509#line 40 "include/linux/mm_types.h"
1510struct __anonstruct____missing_field_name_214 {
1511 union __anonunion____missing_field_name_215 __annonCompField35 ;
1512 atomic_t _count ;
1513};
1514#line 40 "include/linux/mm_types.h"
1515union __anonunion____missing_field_name_213 {
1516 unsigned long counters ;
1517 struct __anonstruct____missing_field_name_214 __annonCompField36 ;
1518};
1519#line 40 "include/linux/mm_types.h"
1520struct __anonstruct____missing_field_name_211 {
1521 union __anonunion____missing_field_name_212 __annonCompField33 ;
1522 union __anonunion____missing_field_name_213 __annonCompField37 ;
1523};
1524#line 40 "include/linux/mm_types.h"
1525struct __anonstruct____missing_field_name_218 {
1526 struct page *next ;
1527 int pages ;
1528 int pobjects ;
1529};
1530#line 40 "include/linux/mm_types.h"
1531union __anonunion____missing_field_name_217 {
1532 struct list_head lru ;
1533 struct __anonstruct____missing_field_name_218 __annonCompField39 ;
1534};
1535#line 40 "include/linux/mm_types.h"
1536union __anonunion____missing_field_name_219 {
1537 unsigned long private ;
1538 struct kmem_cache *slab ;
1539 struct page *first_page ;
1540};
1541#line 40 "include/linux/mm_types.h"
1542struct page {
1543 unsigned long flags ;
1544 struct address_space *mapping ;
1545 struct __anonstruct____missing_field_name_211 __annonCompField38 ;
1546 union __anonunion____missing_field_name_217 __annonCompField40 ;
1547 union __anonunion____missing_field_name_219 __annonCompField41 ;
1548 unsigned long debug_flags ;
1549} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1550#line 200 "include/linux/mm_types.h"
1551struct __anonstruct_vm_set_221 {
1552 struct list_head list ;
1553 void *parent ;
1554 struct vm_area_struct *head ;
1555};
1556#line 200 "include/linux/mm_types.h"
1557union __anonunion_shared_220 {
1558 struct __anonstruct_vm_set_221 vm_set ;
1559 struct raw_prio_tree_node prio_tree_node ;
1560};
1561#line 200
1562struct anon_vma;
1563#line 200
1564struct vm_operations_struct;
1565#line 200
1566struct mempolicy;
1567#line 200 "include/linux/mm_types.h"
1568struct vm_area_struct {
1569 struct mm_struct *vm_mm ;
1570 unsigned long vm_start ;
1571 unsigned long vm_end ;
1572 struct vm_area_struct *vm_next ;
1573 struct vm_area_struct *vm_prev ;
1574 pgprot_t vm_page_prot ;
1575 unsigned long vm_flags ;
1576 struct rb_node vm_rb ;
1577 union __anonunion_shared_220 shared ;
1578 struct list_head anon_vma_chain ;
1579 struct anon_vma *anon_vma ;
1580 struct vm_operations_struct const *vm_ops ;
1581 unsigned long vm_pgoff ;
1582 struct file *vm_file ;
1583 void *vm_private_data ;
1584 struct mempolicy *vm_policy ;
1585};
1586#line 257 "include/linux/mm_types.h"
1587struct core_thread {
1588 struct task_struct *task ;
1589 struct core_thread *next ;
1590};
1591#line 262 "include/linux/mm_types.h"
1592struct core_state {
1593 atomic_t nr_threads ;
1594 struct core_thread dumper ;
1595 struct completion startup ;
1596};
1597#line 284 "include/linux/mm_types.h"
1598struct mm_rss_stat {
1599 atomic_long_t count[3] ;
1600};
1601#line 288
1602struct linux_binfmt;
1603#line 288
1604struct mmu_notifier_mm;
1605#line 288 "include/linux/mm_types.h"
1606struct mm_struct {
1607 struct vm_area_struct *mmap ;
1608 struct rb_root mm_rb ;
1609 struct vm_area_struct *mmap_cache ;
1610 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1611 unsigned long pgoff , unsigned long flags ) ;
1612 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1613 unsigned long mmap_base ;
1614 unsigned long task_size ;
1615 unsigned long cached_hole_size ;
1616 unsigned long free_area_cache ;
1617 pgd_t *pgd ;
1618 atomic_t mm_users ;
1619 atomic_t mm_count ;
1620 int map_count ;
1621 spinlock_t page_table_lock ;
1622 struct rw_semaphore mmap_sem ;
1623 struct list_head mmlist ;
1624 unsigned long hiwater_rss ;
1625 unsigned long hiwater_vm ;
1626 unsigned long total_vm ;
1627 unsigned long locked_vm ;
1628 unsigned long pinned_vm ;
1629 unsigned long shared_vm ;
1630 unsigned long exec_vm ;
1631 unsigned long stack_vm ;
1632 unsigned long reserved_vm ;
1633 unsigned long def_flags ;
1634 unsigned long nr_ptes ;
1635 unsigned long start_code ;
1636 unsigned long end_code ;
1637 unsigned long start_data ;
1638 unsigned long end_data ;
1639 unsigned long start_brk ;
1640 unsigned long brk ;
1641 unsigned long start_stack ;
1642 unsigned long arg_start ;
1643 unsigned long arg_end ;
1644 unsigned long env_start ;
1645 unsigned long env_end ;
1646 unsigned long saved_auxv[44] ;
1647 struct mm_rss_stat rss_stat ;
1648 struct linux_binfmt *binfmt ;
1649 cpumask_var_t cpu_vm_mask_var ;
1650 mm_context_t context ;
1651 unsigned int faultstamp ;
1652 unsigned int token_priority ;
1653 unsigned int last_interval ;
1654 unsigned long flags ;
1655 struct core_state *core_state ;
1656 spinlock_t ioctx_lock ;
1657 struct hlist_head ioctx_list ;
1658 struct task_struct *owner ;
1659 struct file *exe_file ;
1660 unsigned long num_exe_file_vmas ;
1661 struct mmu_notifier_mm *mmu_notifier_mm ;
1662 pgtable_t pmd_huge_pte ;
1663 struct cpumask cpumask_allocation ;
1664};
1665#line 7 "include/asm-generic/cputime.h"
1666typedef unsigned long cputime_t;
1667#line 84 "include/linux/sem.h"
1668struct task_struct;
1669#line 101
1670struct sem_undo_list;
1671#line 101 "include/linux/sem.h"
1672struct sysv_sem {
1673 struct sem_undo_list *undo_list ;
1674};
1675#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1676struct siginfo;
1677#line 10
1678struct siginfo;
1679#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1680struct __anonstruct_sigset_t_223 {
1681 unsigned long sig[1] ;
1682};
1683#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1684typedef struct __anonstruct_sigset_t_223 sigset_t;
1685#line 17 "include/asm-generic/signal-defs.h"
1686typedef void __signalfn_t(int );
1687#line 18 "include/asm-generic/signal-defs.h"
1688typedef __signalfn_t *__sighandler_t;
1689#line 20 "include/asm-generic/signal-defs.h"
1690typedef void __restorefn_t(void);
1691#line 21 "include/asm-generic/signal-defs.h"
1692typedef __restorefn_t *__sigrestore_t;
1693#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1694struct sigaction {
1695 __sighandler_t sa_handler ;
1696 unsigned long sa_flags ;
1697 __sigrestore_t sa_restorer ;
1698 sigset_t sa_mask ;
1699};
1700#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1701struct k_sigaction {
1702 struct sigaction sa ;
1703};
1704#line 7 "include/asm-generic/siginfo.h"
1705union sigval {
1706 int sival_int ;
1707 void *sival_ptr ;
1708};
1709#line 7 "include/asm-generic/siginfo.h"
1710typedef union sigval sigval_t;
1711#line 48 "include/asm-generic/siginfo.h"
1712struct __anonstruct__kill_225 {
1713 __kernel_pid_t _pid ;
1714 __kernel_uid32_t _uid ;
1715};
1716#line 48 "include/asm-generic/siginfo.h"
1717struct __anonstruct__timer_226 {
1718 __kernel_timer_t _tid ;
1719 int _overrun ;
1720 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1721 sigval_t _sigval ;
1722 int _sys_private ;
1723};
1724#line 48 "include/asm-generic/siginfo.h"
1725struct __anonstruct__rt_227 {
1726 __kernel_pid_t _pid ;
1727 __kernel_uid32_t _uid ;
1728 sigval_t _sigval ;
1729};
1730#line 48 "include/asm-generic/siginfo.h"
1731struct __anonstruct__sigchld_228 {
1732 __kernel_pid_t _pid ;
1733 __kernel_uid32_t _uid ;
1734 int _status ;
1735 __kernel_clock_t _utime ;
1736 __kernel_clock_t _stime ;
1737};
1738#line 48 "include/asm-generic/siginfo.h"
1739struct __anonstruct__sigfault_229 {
1740 void *_addr ;
1741 short _addr_lsb ;
1742};
1743#line 48 "include/asm-generic/siginfo.h"
1744struct __anonstruct__sigpoll_230 {
1745 long _band ;
1746 int _fd ;
1747};
1748#line 48 "include/asm-generic/siginfo.h"
1749union __anonunion__sifields_224 {
1750 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1751 struct __anonstruct__kill_225 _kill ;
1752 struct __anonstruct__timer_226 _timer ;
1753 struct __anonstruct__rt_227 _rt ;
1754 struct __anonstruct__sigchld_228 _sigchld ;
1755 struct __anonstruct__sigfault_229 _sigfault ;
1756 struct __anonstruct__sigpoll_230 _sigpoll ;
1757};
1758#line 48 "include/asm-generic/siginfo.h"
1759struct siginfo {
1760 int si_signo ;
1761 int si_errno ;
1762 int si_code ;
1763 union __anonunion__sifields_224 _sifields ;
1764};
1765#line 48 "include/asm-generic/siginfo.h"
1766typedef struct siginfo siginfo_t;
1767#line 288
1768struct siginfo;
1769#line 10 "include/linux/signal.h"
1770struct task_struct;
1771#line 18
1772struct user_struct;
1773#line 28 "include/linux/signal.h"
1774struct sigpending {
1775 struct list_head list ;
1776 sigset_t signal ;
1777};
1778#line 239
1779struct timespec;
1780#line 240
1781struct pt_regs;
1782#line 6 "include/linux/pid.h"
1783enum pid_type {
1784 PIDTYPE_PID = 0,
1785 PIDTYPE_PGID = 1,
1786 PIDTYPE_SID = 2,
1787 PIDTYPE_MAX = 3
1788} ;
1789#line 50
1790struct pid_namespace;
1791#line 50 "include/linux/pid.h"
1792struct upid {
1793 int nr ;
1794 struct pid_namespace *ns ;
1795 struct hlist_node pid_chain ;
1796};
1797#line 57 "include/linux/pid.h"
1798struct pid {
1799 atomic_t count ;
1800 unsigned int level ;
1801 struct hlist_head tasks[3] ;
1802 struct rcu_head rcu ;
1803 struct upid numbers[1] ;
1804};
1805#line 69 "include/linux/pid.h"
1806struct pid_link {
1807 struct hlist_node node ;
1808 struct pid *pid ;
1809};
1810#line 100
1811struct pid_namespace;
1812#line 10 "include/linux/seccomp.h"
1813struct __anonstruct_seccomp_t_233 {
1814 int mode ;
1815};
1816#line 10 "include/linux/seccomp.h"
1817typedef struct __anonstruct_seccomp_t_233 seccomp_t;
1818#line 81 "include/linux/plist.h"
1819struct plist_head {
1820 struct list_head node_list ;
1821};
1822#line 85 "include/linux/plist.h"
1823struct plist_node {
1824 int prio ;
1825 struct list_head prio_list ;
1826 struct list_head node_list ;
1827};
1828#line 40 "include/linux/rtmutex.h"
1829struct rt_mutex_waiter;
1830#line 40
1831struct rt_mutex_waiter;
1832#line 42 "include/linux/resource.h"
1833struct rlimit {
1834 unsigned long rlim_cur ;
1835 unsigned long rlim_max ;
1836};
1837#line 81
1838struct task_struct;
1839#line 11 "include/linux/task_io_accounting.h"
1840struct task_io_accounting {
1841 u64 rchar ;
1842 u64 wchar ;
1843 u64 syscr ;
1844 u64 syscw ;
1845 u64 read_bytes ;
1846 u64 write_bytes ;
1847 u64 cancelled_write_bytes ;
1848};
1849#line 13 "include/linux/latencytop.h"
1850struct task_struct;
1851#line 20 "include/linux/latencytop.h"
1852struct latency_record {
1853 unsigned long backtrace[12] ;
1854 unsigned int count ;
1855 unsigned long time ;
1856 unsigned long max ;
1857};
1858#line 29 "include/linux/key.h"
1859typedef int32_t key_serial_t;
1860#line 32 "include/linux/key.h"
1861typedef uint32_t key_perm_t;
1862#line 34
1863struct key;
1864#line 34
1865struct key;
1866#line 74
1867struct seq_file;
1868#line 75
1869struct user_struct;
1870#line 76
1871struct signal_struct;
1872#line 76
1873struct signal_struct;
1874#line 77
1875struct cred;
1876#line 79
1877struct key_type;
1878#line 79
1879struct key_type;
1880#line 81
1881struct keyring_list;
1882#line 81
1883struct keyring_list;
1884#line 124
1885struct key_user;
1886#line 124 "include/linux/key.h"
1887union __anonunion____missing_field_name_234 {
1888 time_t expiry ;
1889 time_t revoked_at ;
1890};
1891#line 124 "include/linux/key.h"
1892union __anonunion_type_data_235 {
1893 struct list_head link ;
1894 unsigned long x[2] ;
1895 void *p[2] ;
1896 int reject_error ;
1897};
1898#line 124 "include/linux/key.h"
1899union __anonunion_payload_236 {
1900 unsigned long value ;
1901 void *rcudata ;
1902 void *data ;
1903 struct keyring_list *subscriptions ;
1904};
1905#line 124 "include/linux/key.h"
1906struct key {
1907 atomic_t usage ;
1908 key_serial_t serial ;
1909 struct rb_node serial_node ;
1910 struct key_type *type ;
1911 struct rw_semaphore sem ;
1912 struct key_user *user ;
1913 void *security ;
1914 union __anonunion____missing_field_name_234 __annonCompField42 ;
1915 uid_t uid ;
1916 gid_t gid ;
1917 key_perm_t perm ;
1918 unsigned short quotalen ;
1919 unsigned short datalen ;
1920 unsigned long flags ;
1921 char *description ;
1922 union __anonunion_type_data_235 type_data ;
1923 union __anonunion_payload_236 payload ;
1924};
1925#line 18 "include/linux/selinux.h"
1926struct audit_context;
1927#line 18
1928struct audit_context;
1929#line 21 "include/linux/cred.h"
1930struct user_struct;
1931#line 22
1932struct cred;
1933#line 23
1934struct inode;
1935#line 23
1936struct inode;
1937#line 31 "include/linux/cred.h"
1938struct group_info {
1939 atomic_t usage ;
1940 int ngroups ;
1941 int nblocks ;
1942 gid_t small_block[32] ;
1943 gid_t *blocks[0] ;
1944};
1945#line 83 "include/linux/cred.h"
1946struct thread_group_cred {
1947 atomic_t usage ;
1948 pid_t tgid ;
1949 spinlock_t lock ;
1950 struct key *session_keyring ;
1951 struct key *process_keyring ;
1952 struct rcu_head rcu ;
1953};
1954#line 116 "include/linux/cred.h"
1955struct cred {
1956 atomic_t usage ;
1957 atomic_t subscribers ;
1958 void *put_addr ;
1959 unsigned int magic ;
1960 uid_t uid ;
1961 gid_t gid ;
1962 uid_t suid ;
1963 gid_t sgid ;
1964 uid_t euid ;
1965 gid_t egid ;
1966 uid_t fsuid ;
1967 gid_t fsgid ;
1968 unsigned int securebits ;
1969 kernel_cap_t cap_inheritable ;
1970 kernel_cap_t cap_permitted ;
1971 kernel_cap_t cap_effective ;
1972 kernel_cap_t cap_bset ;
1973 unsigned char jit_keyring ;
1974 struct key *thread_keyring ;
1975 struct key *request_key_auth ;
1976 struct thread_group_cred *tgcred ;
1977 void *security ;
1978 struct user_struct *user ;
1979 struct user_namespace *user_ns ;
1980 struct group_info *group_info ;
1981 struct rcu_head rcu ;
1982};
1983#line 61 "include/linux/llist.h"
1984struct llist_node;
1985#line 65 "include/linux/llist.h"
1986struct llist_node {
1987 struct llist_node *next ;
1988};
1989#line 97 "include/linux/sched.h"
1990struct futex_pi_state;
1991#line 97
1992struct futex_pi_state;
1993#line 98
1994struct robust_list_head;
1995#line 98
1996struct robust_list_head;
1997#line 99
1998struct bio_list;
1999#line 99
2000struct bio_list;
2001#line 100
2002struct fs_struct;
2003#line 100
2004struct fs_struct;
2005#line 101
2006struct perf_event_context;
2007#line 101
2008struct perf_event_context;
2009#line 102
2010struct blk_plug;
2011#line 102
2012struct blk_plug;
2013#line 150
2014struct seq_file;
2015#line 151
2016struct cfs_rq;
2017#line 151
2018struct cfs_rq;
2019#line 259
2020struct task_struct;
2021#line 366
2022struct nsproxy;
2023#line 367
2024struct user_namespace;
2025#line 58 "include/linux/aio_abi.h"
2026struct io_event {
2027 __u64 data ;
2028 __u64 obj ;
2029 __s64 res ;
2030 __s64 res2 ;
2031};
2032#line 16 "include/linux/uio.h"
2033struct iovec {
2034 void *iov_base ;
2035 __kernel_size_t iov_len ;
2036};
2037#line 15 "include/linux/aio.h"
2038struct kioctx;
2039#line 15
2040struct kioctx;
2041#line 87 "include/linux/aio.h"
2042union __anonunion_ki_obj_238 {
2043 void *user ;
2044 struct task_struct *tsk ;
2045};
2046#line 87
2047struct eventfd_ctx;
2048#line 87 "include/linux/aio.h"
2049struct kiocb {
2050 struct list_head ki_run_list ;
2051 unsigned long ki_flags ;
2052 int ki_users ;
2053 unsigned int ki_key ;
2054 struct file *ki_filp ;
2055 struct kioctx *ki_ctx ;
2056 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2057 ssize_t (*ki_retry)(struct kiocb * ) ;
2058 void (*ki_dtor)(struct kiocb * ) ;
2059 union __anonunion_ki_obj_238 ki_obj ;
2060 __u64 ki_user_data ;
2061 loff_t ki_pos ;
2062 void *private ;
2063 unsigned short ki_opcode ;
2064 size_t ki_nbytes ;
2065 char *ki_buf ;
2066 size_t ki_left ;
2067 struct iovec ki_inline_vec ;
2068 struct iovec *ki_iovec ;
2069 unsigned long ki_nr_segs ;
2070 unsigned long ki_cur_seg ;
2071 struct list_head ki_list ;
2072 struct list_head ki_batch ;
2073 struct eventfd_ctx *ki_eventfd ;
2074};
2075#line 166 "include/linux/aio.h"
2076struct aio_ring_info {
2077 unsigned long mmap_base ;
2078 unsigned long mmap_size ;
2079 struct page **ring_pages ;
2080 spinlock_t ring_lock ;
2081 long nr_pages ;
2082 unsigned int nr ;
2083 unsigned int tail ;
2084 struct page *internal_pages[8] ;
2085};
2086#line 179 "include/linux/aio.h"
2087struct kioctx {
2088 atomic_t users ;
2089 int dead ;
2090 struct mm_struct *mm ;
2091 unsigned long user_id ;
2092 struct hlist_node list ;
2093 wait_queue_head_t wait ;
2094 spinlock_t ctx_lock ;
2095 int reqs_active ;
2096 struct list_head active_reqs ;
2097 struct list_head run_list ;
2098 unsigned int max_reqs ;
2099 struct aio_ring_info ring_info ;
2100 struct delayed_work wq ;
2101 struct rcu_head rcu_head ;
2102};
2103#line 214
2104struct mm_struct;
2105#line 443 "include/linux/sched.h"
2106struct sighand_struct {
2107 atomic_t count ;
2108 struct k_sigaction action[64] ;
2109 spinlock_t siglock ;
2110 wait_queue_head_t signalfd_wqh ;
2111};
2112#line 450 "include/linux/sched.h"
2113struct pacct_struct {
2114 int ac_flag ;
2115 long ac_exitcode ;
2116 unsigned long ac_mem ;
2117 cputime_t ac_utime ;
2118 cputime_t ac_stime ;
2119 unsigned long ac_minflt ;
2120 unsigned long ac_majflt ;
2121};
2122#line 458 "include/linux/sched.h"
2123struct cpu_itimer {
2124 cputime_t expires ;
2125 cputime_t incr ;
2126 u32 error ;
2127 u32 incr_error ;
2128};
2129#line 476 "include/linux/sched.h"
2130struct task_cputime {
2131 cputime_t utime ;
2132 cputime_t stime ;
2133 unsigned long long sum_exec_runtime ;
2134};
2135#line 512 "include/linux/sched.h"
2136struct thread_group_cputimer {
2137 struct task_cputime cputime ;
2138 int running ;
2139 raw_spinlock_t lock ;
2140};
2141#line 519
2142struct autogroup;
2143#line 519
2144struct autogroup;
2145#line 528
2146struct tty_struct;
2147#line 528
2148struct taskstats;
2149#line 528
2150struct tty_audit_buf;
2151#line 528 "include/linux/sched.h"
2152struct signal_struct {
2153 atomic_t sigcnt ;
2154 atomic_t live ;
2155 int nr_threads ;
2156 wait_queue_head_t wait_chldexit ;
2157 struct task_struct *curr_target ;
2158 struct sigpending shared_pending ;
2159 int group_exit_code ;
2160 int notify_count ;
2161 struct task_struct *group_exit_task ;
2162 int group_stop_count ;
2163 unsigned int flags ;
2164 unsigned int is_child_subreaper : 1 ;
2165 unsigned int has_child_subreaper : 1 ;
2166 struct list_head posix_timers ;
2167 struct hrtimer real_timer ;
2168 struct pid *leader_pid ;
2169 ktime_t it_real_incr ;
2170 struct cpu_itimer it[2] ;
2171 struct thread_group_cputimer cputimer ;
2172 struct task_cputime cputime_expires ;
2173 struct list_head cpu_timers[3] ;
2174 struct pid *tty_old_pgrp ;
2175 int leader ;
2176 struct tty_struct *tty ;
2177 struct autogroup *autogroup ;
2178 cputime_t utime ;
2179 cputime_t stime ;
2180 cputime_t cutime ;
2181 cputime_t cstime ;
2182 cputime_t gtime ;
2183 cputime_t cgtime ;
2184 cputime_t prev_utime ;
2185 cputime_t prev_stime ;
2186 unsigned long nvcsw ;
2187 unsigned long nivcsw ;
2188 unsigned long cnvcsw ;
2189 unsigned long cnivcsw ;
2190 unsigned long min_flt ;
2191 unsigned long maj_flt ;
2192 unsigned long cmin_flt ;
2193 unsigned long cmaj_flt ;
2194 unsigned long inblock ;
2195 unsigned long oublock ;
2196 unsigned long cinblock ;
2197 unsigned long coublock ;
2198 unsigned long maxrss ;
2199 unsigned long cmaxrss ;
2200 struct task_io_accounting ioac ;
2201 unsigned long long sum_sched_runtime ;
2202 struct rlimit rlim[16] ;
2203 struct pacct_struct pacct ;
2204 struct taskstats *stats ;
2205 unsigned int audit_tty ;
2206 struct tty_audit_buf *tty_audit_buf ;
2207 struct rw_semaphore group_rwsem ;
2208 int oom_adj ;
2209 int oom_score_adj ;
2210 int oom_score_adj_min ;
2211 struct mutex cred_guard_mutex ;
2212};
2213#line 703 "include/linux/sched.h"
2214struct user_struct {
2215 atomic_t __count ;
2216 atomic_t processes ;
2217 atomic_t files ;
2218 atomic_t sigpending ;
2219 atomic_t inotify_watches ;
2220 atomic_t inotify_devs ;
2221 atomic_t fanotify_listeners ;
2222 atomic_long_t epoll_watches ;
2223 unsigned long mq_bytes ;
2224 unsigned long locked_shm ;
2225 struct key *uid_keyring ;
2226 struct key *session_keyring ;
2227 struct hlist_node uidhash_node ;
2228 uid_t uid ;
2229 struct user_namespace *user_ns ;
2230 atomic_long_t locked_vm ;
2231};
2232#line 747
2233struct backing_dev_info;
2234#line 747
2235struct backing_dev_info;
2236#line 748
2237struct reclaim_state;
2238#line 748
2239struct reclaim_state;
2240#line 751 "include/linux/sched.h"
2241struct sched_info {
2242 unsigned long pcount ;
2243 unsigned long long run_delay ;
2244 unsigned long long last_arrival ;
2245 unsigned long long last_queued ;
2246};
2247#line 763 "include/linux/sched.h"
2248struct task_delay_info {
2249 spinlock_t lock ;
2250 unsigned int flags ;
2251 struct timespec blkio_start ;
2252 struct timespec blkio_end ;
2253 u64 blkio_delay ;
2254 u64 swapin_delay ;
2255 u32 blkio_count ;
2256 u32 swapin_count ;
2257 struct timespec freepages_start ;
2258 struct timespec freepages_end ;
2259 u64 freepages_delay ;
2260 u32 freepages_count ;
2261};
2262#line 1088
2263struct io_context;
2264#line 1088
2265struct io_context;
2266#line 1097
2267struct audit_context;
2268#line 1098
2269struct mempolicy;
2270#line 1099
2271struct pipe_inode_info;
2272#line 1099
2273struct pipe_inode_info;
2274#line 1102
2275struct rq;
2276#line 1102
2277struct rq;
2278#line 1122 "include/linux/sched.h"
2279struct sched_class {
2280 struct sched_class const *next ;
2281 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2282 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2283 void (*yield_task)(struct rq *rq ) ;
2284 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2285 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2286 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2287 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2288 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2289 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2290 void (*post_schedule)(struct rq *this_rq ) ;
2291 void (*task_waking)(struct task_struct *task ) ;
2292 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2293 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2294 void (*rq_online)(struct rq *rq ) ;
2295 void (*rq_offline)(struct rq *rq ) ;
2296 void (*set_curr_task)(struct rq *rq ) ;
2297 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2298 void (*task_fork)(struct task_struct *p ) ;
2299 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2300 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2301 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2302 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2303 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2304};
2305#line 1167 "include/linux/sched.h"
2306struct load_weight {
2307 unsigned long weight ;
2308 unsigned long inv_weight ;
2309};
2310#line 1172 "include/linux/sched.h"
2311struct sched_statistics {
2312 u64 wait_start ;
2313 u64 wait_max ;
2314 u64 wait_count ;
2315 u64 wait_sum ;
2316 u64 iowait_count ;
2317 u64 iowait_sum ;
2318 u64 sleep_start ;
2319 u64 sleep_max ;
2320 s64 sum_sleep_runtime ;
2321 u64 block_start ;
2322 u64 block_max ;
2323 u64 exec_max ;
2324 u64 slice_max ;
2325 u64 nr_migrations_cold ;
2326 u64 nr_failed_migrations_affine ;
2327 u64 nr_failed_migrations_running ;
2328 u64 nr_failed_migrations_hot ;
2329 u64 nr_forced_migrations ;
2330 u64 nr_wakeups ;
2331 u64 nr_wakeups_sync ;
2332 u64 nr_wakeups_migrate ;
2333 u64 nr_wakeups_local ;
2334 u64 nr_wakeups_remote ;
2335 u64 nr_wakeups_affine ;
2336 u64 nr_wakeups_affine_attempts ;
2337 u64 nr_wakeups_passive ;
2338 u64 nr_wakeups_idle ;
2339};
2340#line 1207 "include/linux/sched.h"
2341struct sched_entity {
2342 struct load_weight load ;
2343 struct rb_node run_node ;
2344 struct list_head group_node ;
2345 unsigned int on_rq ;
2346 u64 exec_start ;
2347 u64 sum_exec_runtime ;
2348 u64 vruntime ;
2349 u64 prev_sum_exec_runtime ;
2350 u64 nr_migrations ;
2351 struct sched_statistics statistics ;
2352 struct sched_entity *parent ;
2353 struct cfs_rq *cfs_rq ;
2354 struct cfs_rq *my_q ;
2355};
2356#line 1233
2357struct rt_rq;
2358#line 1233 "include/linux/sched.h"
2359struct sched_rt_entity {
2360 struct list_head run_list ;
2361 unsigned long timeout ;
2362 unsigned int time_slice ;
2363 int nr_cpus_allowed ;
2364 struct sched_rt_entity *back ;
2365 struct sched_rt_entity *parent ;
2366 struct rt_rq *rt_rq ;
2367 struct rt_rq *my_q ;
2368};
2369#line 1264
2370struct files_struct;
2371#line 1264
2372struct css_set;
2373#line 1264
2374struct compat_robust_list_head;
2375#line 1264
2376struct mem_cgroup;
2377#line 1264 "include/linux/sched.h"
2378struct memcg_batch_info {
2379 int do_batch ;
2380 struct mem_cgroup *memcg ;
2381 unsigned long nr_pages ;
2382 unsigned long memsw_nr_pages ;
2383};
2384#line 1264 "include/linux/sched.h"
2385struct task_struct {
2386 long volatile state ;
2387 void *stack ;
2388 atomic_t usage ;
2389 unsigned int flags ;
2390 unsigned int ptrace ;
2391 struct llist_node wake_entry ;
2392 int on_cpu ;
2393 int on_rq ;
2394 int prio ;
2395 int static_prio ;
2396 int normal_prio ;
2397 unsigned int rt_priority ;
2398 struct sched_class const *sched_class ;
2399 struct sched_entity se ;
2400 struct sched_rt_entity rt ;
2401 struct hlist_head preempt_notifiers ;
2402 unsigned char fpu_counter ;
2403 unsigned int policy ;
2404 cpumask_t cpus_allowed ;
2405 struct sched_info sched_info ;
2406 struct list_head tasks ;
2407 struct plist_node pushable_tasks ;
2408 struct mm_struct *mm ;
2409 struct mm_struct *active_mm ;
2410 unsigned int brk_randomized : 1 ;
2411 int exit_state ;
2412 int exit_code ;
2413 int exit_signal ;
2414 int pdeath_signal ;
2415 unsigned int jobctl ;
2416 unsigned int personality ;
2417 unsigned int did_exec : 1 ;
2418 unsigned int in_execve : 1 ;
2419 unsigned int in_iowait : 1 ;
2420 unsigned int sched_reset_on_fork : 1 ;
2421 unsigned int sched_contributes_to_load : 1 ;
2422 unsigned int irq_thread : 1 ;
2423 pid_t pid ;
2424 pid_t tgid ;
2425 unsigned long stack_canary ;
2426 struct task_struct *real_parent ;
2427 struct task_struct *parent ;
2428 struct list_head children ;
2429 struct list_head sibling ;
2430 struct task_struct *group_leader ;
2431 struct list_head ptraced ;
2432 struct list_head ptrace_entry ;
2433 struct pid_link pids[3] ;
2434 struct list_head thread_group ;
2435 struct completion *vfork_done ;
2436 int *set_child_tid ;
2437 int *clear_child_tid ;
2438 cputime_t utime ;
2439 cputime_t stime ;
2440 cputime_t utimescaled ;
2441 cputime_t stimescaled ;
2442 cputime_t gtime ;
2443 cputime_t prev_utime ;
2444 cputime_t prev_stime ;
2445 unsigned long nvcsw ;
2446 unsigned long nivcsw ;
2447 struct timespec start_time ;
2448 struct timespec real_start_time ;
2449 unsigned long min_flt ;
2450 unsigned long maj_flt ;
2451 struct task_cputime cputime_expires ;
2452 struct list_head cpu_timers[3] ;
2453 struct cred const *real_cred ;
2454 struct cred const *cred ;
2455 struct cred *replacement_session_keyring ;
2456 char comm[16] ;
2457 int link_count ;
2458 int total_link_count ;
2459 struct sysv_sem sysvsem ;
2460 unsigned long last_switch_count ;
2461 struct thread_struct thread ;
2462 struct fs_struct *fs ;
2463 struct files_struct *files ;
2464 struct nsproxy *nsproxy ;
2465 struct signal_struct *signal ;
2466 struct sighand_struct *sighand ;
2467 sigset_t blocked ;
2468 sigset_t real_blocked ;
2469 sigset_t saved_sigmask ;
2470 struct sigpending pending ;
2471 unsigned long sas_ss_sp ;
2472 size_t sas_ss_size ;
2473 int (*notifier)(void *priv ) ;
2474 void *notifier_data ;
2475 sigset_t *notifier_mask ;
2476 struct audit_context *audit_context ;
2477 uid_t loginuid ;
2478 unsigned int sessionid ;
2479 seccomp_t seccomp ;
2480 u32 parent_exec_id ;
2481 u32 self_exec_id ;
2482 spinlock_t alloc_lock ;
2483 raw_spinlock_t pi_lock ;
2484 struct plist_head pi_waiters ;
2485 struct rt_mutex_waiter *pi_blocked_on ;
2486 struct mutex_waiter *blocked_on ;
2487 unsigned int irq_events ;
2488 unsigned long hardirq_enable_ip ;
2489 unsigned long hardirq_disable_ip ;
2490 unsigned int hardirq_enable_event ;
2491 unsigned int hardirq_disable_event ;
2492 int hardirqs_enabled ;
2493 int hardirq_context ;
2494 unsigned long softirq_disable_ip ;
2495 unsigned long softirq_enable_ip ;
2496 unsigned int softirq_disable_event ;
2497 unsigned int softirq_enable_event ;
2498 int softirqs_enabled ;
2499 int softirq_context ;
2500 void *journal_info ;
2501 struct bio_list *bio_list ;
2502 struct blk_plug *plug ;
2503 struct reclaim_state *reclaim_state ;
2504 struct backing_dev_info *backing_dev_info ;
2505 struct io_context *io_context ;
2506 unsigned long ptrace_message ;
2507 siginfo_t *last_siginfo ;
2508 struct task_io_accounting ioac ;
2509 u64 acct_rss_mem1 ;
2510 u64 acct_vm_mem1 ;
2511 cputime_t acct_timexpd ;
2512 nodemask_t mems_allowed ;
2513 seqcount_t mems_allowed_seq ;
2514 int cpuset_mem_spread_rotor ;
2515 int cpuset_slab_spread_rotor ;
2516 struct css_set *cgroups ;
2517 struct list_head cg_list ;
2518 struct robust_list_head *robust_list ;
2519 struct compat_robust_list_head *compat_robust_list ;
2520 struct list_head pi_state_list ;
2521 struct futex_pi_state *pi_state_cache ;
2522 struct perf_event_context *perf_event_ctxp[2] ;
2523 struct mutex perf_event_mutex ;
2524 struct list_head perf_event_list ;
2525 struct mempolicy *mempolicy ;
2526 short il_next ;
2527 short pref_node_fork ;
2528 struct rcu_head rcu ;
2529 struct pipe_inode_info *splice_pipe ;
2530 struct task_delay_info *delays ;
2531 int make_it_fail ;
2532 int nr_dirtied ;
2533 int nr_dirtied_pause ;
2534 unsigned long dirty_paused_when ;
2535 int latency_record_count ;
2536 struct latency_record latency_record[32] ;
2537 unsigned long timer_slack_ns ;
2538 unsigned long default_timer_slack_ns ;
2539 struct list_head *scm_work_list ;
2540 unsigned long trace ;
2541 unsigned long trace_recursion ;
2542 struct memcg_batch_info memcg_batch ;
2543 atomic_t ptrace_bp_refcnt ;
2544};
2545#line 1681
2546struct pid_namespace;
2547#line 28 "include/linux/of.h"
2548typedef u32 phandle;
2549#line 31 "include/linux/of.h"
2550struct property {
2551 char *name ;
2552 int length ;
2553 void *value ;
2554 struct property *next ;
2555 unsigned long _flags ;
2556 unsigned int unique_id ;
2557};
2558#line 44 "include/linux/of.h"
2559struct device_node {
2560 char const *name ;
2561 char const *type ;
2562 phandle phandle ;
2563 char *full_name ;
2564 struct property *properties ;
2565 struct property *deadprops ;
2566 struct device_node *parent ;
2567 struct device_node *child ;
2568 struct device_node *sibling ;
2569 struct device_node *next ;
2570 struct device_node *allnext ;
2571 struct proc_dir_entry *pde ;
2572 struct kref kref ;
2573 unsigned long _flags ;
2574 void *data ;
2575};
2576#line 52 "include/linux/i2c.h"
2577struct module;
2578#line 193 "include/linux/serial.h"
2579struct serial_icounter_struct {
2580 int cts ;
2581 int dsr ;
2582 int rng ;
2583 int dcd ;
2584 int rx ;
2585 int tx ;
2586 int frame ;
2587 int overrun ;
2588 int parity ;
2589 int brk ;
2590 int buf_overrun ;
2591 int reserved[9] ;
2592};
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 25 "include/linux/kgdb.h"
3695struct pt_regs;
3696#line 39
3697struct task_struct;
3698#line 161 "include/linux/fb.h"
3699struct fb_fix_screeninfo {
3700 char id[16] ;
3701 unsigned long smem_start ;
3702 __u32 smem_len ;
3703 __u32 type ;
3704 __u32 type_aux ;
3705 __u32 visual ;
3706 __u16 xpanstep ;
3707 __u16 ypanstep ;
3708 __u16 ywrapstep ;
3709 __u32 line_length ;
3710 unsigned long mmio_start ;
3711 __u32 mmio_len ;
3712 __u32 accel ;
3713 __u16 capabilities ;
3714 __u16 reserved[2] ;
3715};
3716#line 192 "include/linux/fb.h"
3717struct fb_bitfield {
3718 __u32 offset ;
3719 __u32 length ;
3720 __u32 msb_right ;
3721};
3722#line 245 "include/linux/fb.h"
3723struct fb_var_screeninfo {
3724 __u32 xres ;
3725 __u32 yres ;
3726 __u32 xres_virtual ;
3727 __u32 yres_virtual ;
3728 __u32 xoffset ;
3729 __u32 yoffset ;
3730 __u32 bits_per_pixel ;
3731 __u32 grayscale ;
3732 struct fb_bitfield red ;
3733 struct fb_bitfield green ;
3734 struct fb_bitfield blue ;
3735 struct fb_bitfield transp ;
3736 __u32 nonstd ;
3737 __u32 activate ;
3738 __u32 height ;
3739 __u32 width ;
3740 __u32 accel_flags ;
3741 __u32 pixclock ;
3742 __u32 left_margin ;
3743 __u32 right_margin ;
3744 __u32 upper_margin ;
3745 __u32 lower_margin ;
3746 __u32 hsync_len ;
3747 __u32 vsync_len ;
3748 __u32 sync ;
3749 __u32 vmode ;
3750 __u32 rotate ;
3751 __u32 colorspace ;
3752 __u32 reserved[4] ;
3753};
3754#line 285 "include/linux/fb.h"
3755struct fb_cmap {
3756 __u32 start ;
3757 __u32 len ;
3758 __u16 *red ;
3759 __u16 *green ;
3760 __u16 *blue ;
3761 __u16 *transp ;
3762};
3763#line 345 "include/linux/fb.h"
3764struct fb_copyarea {
3765 __u32 dx ;
3766 __u32 dy ;
3767 __u32 width ;
3768 __u32 height ;
3769 __u32 sx ;
3770 __u32 sy ;
3771};
3772#line 354 "include/linux/fb.h"
3773struct fb_fillrect {
3774 __u32 dx ;
3775 __u32 dy ;
3776 __u32 width ;
3777 __u32 height ;
3778 __u32 color ;
3779 __u32 rop ;
3780};
3781#line 363 "include/linux/fb.h"
3782struct fb_image {
3783 __u32 dx ;
3784 __u32 dy ;
3785 __u32 width ;
3786 __u32 height ;
3787 __u32 fg_color ;
3788 __u32 bg_color ;
3789 __u8 depth ;
3790 char const *data ;
3791 struct fb_cmap cmap ;
3792};
3793#line 387 "include/linux/fb.h"
3794struct fbcurpos {
3795 __u16 x ;
3796 __u16 y ;
3797};
3798#line 391 "include/linux/fb.h"
3799struct fb_cursor {
3800 __u16 set ;
3801 __u16 enable ;
3802 __u16 rop ;
3803 char const *mask ;
3804 struct fbcurpos hot ;
3805 struct fb_image image ;
3806};
3807#line 35 "include/linux/backlight.h"
3808enum backlight_type {
3809 BACKLIGHT_RAW = 1,
3810 BACKLIGHT_PLATFORM = 2,
3811 BACKLIGHT_FIRMWARE = 3,
3812 BACKLIGHT_TYPE_MAX = 4
3813} ;
3814#line 42
3815struct backlight_device;
3816#line 42
3817struct backlight_device;
3818#line 43
3819struct fb_info;
3820#line 43
3821struct fb_info;
3822#line 45 "include/linux/backlight.h"
3823struct backlight_ops {
3824 unsigned int options ;
3825 int (*update_status)(struct backlight_device * ) ;
3826 int (*get_brightness)(struct backlight_device * ) ;
3827 int (*check_fb)(struct backlight_device * , struct fb_info * ) ;
3828};
3829#line 61 "include/linux/backlight.h"
3830struct backlight_properties {
3831 int brightness ;
3832 int max_brightness ;
3833 int power ;
3834 int fb_blank ;
3835 enum backlight_type type ;
3836 unsigned int state ;
3837};
3838#line 87 "include/linux/backlight.h"
3839struct backlight_device {
3840 struct backlight_properties props ;
3841 struct mutex update_lock ;
3842 struct mutex ops_lock ;
3843 struct backlight_ops const *ops ;
3844 struct notifier_block fb_notif ;
3845 struct device dev ;
3846};
3847#line 46 "include/linux/slub_def.h"
3848struct kmem_cache_cpu {
3849 void **freelist ;
3850 unsigned long tid ;
3851 struct page *page ;
3852 struct page *partial ;
3853 int node ;
3854 unsigned int stat[26] ;
3855};
3856#line 57 "include/linux/slub_def.h"
3857struct kmem_cache_node {
3858 spinlock_t list_lock ;
3859 unsigned long nr_partial ;
3860 struct list_head partial ;
3861 atomic_long_t nr_slabs ;
3862 atomic_long_t total_objects ;
3863 struct list_head full ;
3864};
3865#line 73 "include/linux/slub_def.h"
3866struct kmem_cache_order_objects {
3867 unsigned long x ;
3868};
3869#line 80 "include/linux/slub_def.h"
3870struct kmem_cache {
3871 struct kmem_cache_cpu *cpu_slab ;
3872 unsigned long flags ;
3873 unsigned long min_partial ;
3874 int size ;
3875 int objsize ;
3876 int offset ;
3877 int cpu_partial ;
3878 struct kmem_cache_order_objects oo ;
3879 struct kmem_cache_order_objects max ;
3880 struct kmem_cache_order_objects min ;
3881 gfp_t allocflags ;
3882 int refcount ;
3883 void (*ctor)(void * ) ;
3884 int inuse ;
3885 int align ;
3886 int reserved ;
3887 char const *name ;
3888 struct list_head list ;
3889 struct kobject kobj ;
3890 int remote_node_defrag_ratio ;
3891 struct kmem_cache_node *node[1 << 10] ;
3892};
3893#line 417 "include/linux/fb.h"
3894struct vm_area_struct;
3895#line 418
3896struct fb_info;
3897#line 419
3898struct device;
3899#line 420
3900struct file;
3901#line 447 "include/linux/fb.h"
3902struct fb_chroma {
3903 __u32 redx ;
3904 __u32 greenx ;
3905 __u32 bluex ;
3906 __u32 whitex ;
3907 __u32 redy ;
3908 __u32 greeny ;
3909 __u32 bluey ;
3910 __u32 whitey ;
3911};
3912#line 458
3913struct fb_videomode;
3914#line 458 "include/linux/fb.h"
3915struct fb_monspecs {
3916 struct fb_chroma chroma ;
3917 struct fb_videomode *modedb ;
3918 __u8 manufacturer[4] ;
3919 __u8 monitor[14] ;
3920 __u8 serial_no[14] ;
3921 __u8 ascii[14] ;
3922 __u32 modedb_len ;
3923 __u32 model ;
3924 __u32 serial ;
3925 __u32 year ;
3926 __u32 week ;
3927 __u32 hfmin ;
3928 __u32 hfmax ;
3929 __u32 dclkmin ;
3930 __u32 dclkmax ;
3931 __u16 input ;
3932 __u16 dpms ;
3933 __u16 signal ;
3934 __u16 vfmin ;
3935 __u16 vfmax ;
3936 __u16 gamma ;
3937 __u16 gtf : 1 ;
3938 __u16 misc ;
3939 __u8 version ;
3940 __u8 revision ;
3941 __u8 max_x ;
3942 __u8 max_y ;
3943};
3944#line 563 "include/linux/fb.h"
3945struct fb_blit_caps {
3946 u32 x ;
3947 u32 y ;
3948 u32 len ;
3949 u32 flags ;
3950};
3951#line 586 "include/linux/fb.h"
3952struct fb_pixmap {
3953 u8 *addr ;
3954 u32 size ;
3955 u32 offset ;
3956 u32 buf_align ;
3957 u32 scan_align ;
3958 u32 access_align ;
3959 u32 flags ;
3960 u32 blit_x ;
3961 u32 blit_y ;
3962 void (*writeio)(struct fb_info *info , void *dst , void *src , unsigned int size ) ;
3963 void (*readio)(struct fb_info *info , void *dst , void *src , unsigned int size ) ;
3964};
3965#line 604 "include/linux/fb.h"
3966struct fb_deferred_io {
3967 unsigned long delay ;
3968 struct mutex lock ;
3969 struct list_head pagelist ;
3970 void (*deferred_io)(struct fb_info *info , struct list_head *pagelist ) ;
3971};
3972#line 628 "include/linux/fb.h"
3973struct fb_ops {
3974 struct module *owner ;
3975 int (*fb_open)(struct fb_info *info , int user ) ;
3976 int (*fb_release)(struct fb_info *info , int user ) ;
3977 ssize_t (*fb_read)(struct fb_info *info , char *buf , size_t count , loff_t *ppos ) ;
3978 ssize_t (*fb_write)(struct fb_info *info , char const *buf , size_t count , loff_t *ppos ) ;
3979 int (*fb_check_var)(struct fb_var_screeninfo *var , struct fb_info *info ) ;
3980 int (*fb_set_par)(struct fb_info *info ) ;
3981 int (*fb_setcolreg)(unsigned int regno , unsigned int red , unsigned int green ,
3982 unsigned int blue , unsigned int transp , struct fb_info *info ) ;
3983 int (*fb_setcmap)(struct fb_cmap *cmap , struct fb_info *info ) ;
3984 int (*fb_blank)(int blank , struct fb_info *info ) ;
3985 int (*fb_pan_display)(struct fb_var_screeninfo *var , struct fb_info *info ) ;
3986 void (*fb_fillrect)(struct fb_info *info , struct fb_fillrect const *rect ) ;
3987 void (*fb_copyarea)(struct fb_info *info , struct fb_copyarea const *region ) ;
3988 void (*fb_imageblit)(struct fb_info *info , struct fb_image const *image ) ;
3989 int (*fb_cursor)(struct fb_info *info , struct fb_cursor *cursor ) ;
3990 void (*fb_rotate)(struct fb_info *info , int angle ) ;
3991 int (*fb_sync)(struct fb_info *info ) ;
3992 int (*fb_ioctl)(struct fb_info *info , unsigned int cmd , unsigned long arg ) ;
3993 int (*fb_compat_ioctl)(struct fb_info *info , unsigned int cmd , unsigned long arg ) ;
3994 int (*fb_mmap)(struct fb_info *info , struct vm_area_struct *vma ) ;
3995 void (*fb_get_caps)(struct fb_info *info , struct fb_blit_caps *caps , struct fb_var_screeninfo *var ) ;
3996 void (*fb_destroy)(struct fb_info *info ) ;
3997 int (*fb_debug_enter)(struct fb_info *info ) ;
3998 int (*fb_debug_leave)(struct fb_info *info ) ;
3999};
4000#line 709 "include/linux/fb.h"
4001struct fb_tilemap {
4002 __u32 width ;
4003 __u32 height ;
4004 __u32 depth ;
4005 __u32 length ;
4006 __u8 const *data ;
4007};
4008#line 718 "include/linux/fb.h"
4009struct fb_tilerect {
4010 __u32 sx ;
4011 __u32 sy ;
4012 __u32 width ;
4013 __u32 height ;
4014 __u32 index ;
4015 __u32 fg ;
4016 __u32 bg ;
4017 __u32 rop ;
4018};
4019#line 729 "include/linux/fb.h"
4020struct fb_tilearea {
4021 __u32 sx ;
4022 __u32 sy ;
4023 __u32 dx ;
4024 __u32 dy ;
4025 __u32 width ;
4026 __u32 height ;
4027};
4028#line 738 "include/linux/fb.h"
4029struct fb_tileblit {
4030 __u32 sx ;
4031 __u32 sy ;
4032 __u32 width ;
4033 __u32 height ;
4034 __u32 fg ;
4035 __u32 bg ;
4036 __u32 length ;
4037 __u32 *indices ;
4038};
4039#line 749 "include/linux/fb.h"
4040struct fb_tilecursor {
4041 __u32 sx ;
4042 __u32 sy ;
4043 __u32 mode ;
4044 __u32 shape ;
4045 __u32 fg ;
4046 __u32 bg ;
4047};
4048#line 758 "include/linux/fb.h"
4049struct fb_tile_ops {
4050 void (*fb_settile)(struct fb_info *info , struct fb_tilemap *map ) ;
4051 void (*fb_tilecopy)(struct fb_info *info , struct fb_tilearea *area ) ;
4052 void (*fb_tilefill)(struct fb_info *info , struct fb_tilerect *rect ) ;
4053 void (*fb_tileblit)(struct fb_info *info , struct fb_tileblit *blit ) ;
4054 void (*fb_tilecursor)(struct fb_info *info , struct fb_tilecursor *cursor ) ;
4055 int (*fb_get_tilemax)(struct fb_info *info ) ;
4056};
4057#line 839 "include/linux/fb.h"
4058struct aperture {
4059 resource_size_t base ;
4060 resource_size_t size ;
4061};
4062#line 839 "include/linux/fb.h"
4063struct apertures_struct {
4064 unsigned int count ;
4065 struct aperture ranges[0] ;
4066};
4067#line 839 "include/linux/fb.h"
4068struct fb_info {
4069 atomic_t count ;
4070 int node ;
4071 int flags ;
4072 struct mutex lock ;
4073 struct mutex mm_lock ;
4074 struct fb_var_screeninfo var ;
4075 struct fb_fix_screeninfo fix ;
4076 struct fb_monspecs monspecs ;
4077 struct work_struct queue ;
4078 struct fb_pixmap pixmap ;
4079 struct fb_pixmap sprite ;
4080 struct fb_cmap cmap ;
4081 struct list_head modelist ;
4082 struct fb_videomode *mode ;
4083 struct backlight_device *bl_dev ;
4084 struct mutex bl_curve_mutex ;
4085 u8 bl_curve[128] ;
4086 struct delayed_work deferred_work ;
4087 struct fb_deferred_io *fbdefio ;
4088 struct fb_ops *fbops ;
4089 struct device *device ;
4090 struct device *dev ;
4091 int class_flag ;
4092 struct fb_tile_ops *tileops ;
4093 char *screen_base ;
4094 unsigned long screen_size ;
4095 void *pseudo_palette ;
4096 u32 state ;
4097 void *fbcon_par ;
4098 void *par ;
4099 struct apertures_struct *apertures ;
4100};
4101#line 1146 "include/linux/fb.h"
4102struct fb_videomode {
4103 char const *name ;
4104 u32 refresh ;
4105 u32 xres ;
4106 u32 yres ;
4107 u32 pixclock ;
4108 u32 left_margin ;
4109 u32 right_margin ;
4110 u32 upper_margin ;
4111 u32 lower_margin ;
4112 u32 hsync_len ;
4113 u32 vsync_len ;
4114 u32 sync ;
4115 u32 vmode ;
4116 u32 flag ;
4117};
4118#line 30 "include/video/hecubafb.h"
4119struct hecuba_board;
4120#line 30 "include/video/hecubafb.h"
4121struct hecubafb_par {
4122 struct fb_info *info ;
4123 struct hecuba_board *board ;
4124 void (*send_command)(struct hecubafb_par * , unsigned char ) ;
4125 void (*send_data)(struct hecubafb_par * , unsigned char ) ;
4126};
4127#line 41 "include/video/hecubafb.h"
4128struct hecuba_board {
4129 struct module *owner ;
4130 void (*remove)(struct hecubafb_par * ) ;
4131 void (*set_ctl)(struct hecubafb_par * , unsigned char , unsigned char ) ;
4132 void (*set_data)(struct hecubafb_par * , unsigned char ) ;
4133 void (*wait_for_ack)(struct hecubafb_par * , int ) ;
4134 int (*init)(struct hecubafb_par * ) ;
4135};
4136#line 1 "<compiler builtins>"
4137long __builtin_expect(long val , long res ) ;
4138#line 100 "include/linux/printk.h"
4139extern int ( printk)(char const *fmt , ...) ;
4140#line 152 "include/linux/mutex.h"
4141void mutex_lock(struct mutex *lock ) ;
4142#line 153
4143int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
4144#line 154
4145int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
4146#line 168
4147int mutex_trylock(struct mutex *lock ) ;
4148#line 169
4149void mutex_unlock(struct mutex *lock ) ;
4150#line 170
4151int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
4152#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
4153__inline static void outb(unsigned char value , int port ) __attribute__((__no_instrument_function__)) ;
4154#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
4155__inline static void outb(unsigned char value , int port )
4156{
4157
4158 {
4159#line 308
4160 __asm__ volatile ("out"
4161 "b"
4162 " %"
4163 "b"
4164 "0, %w1": : "a" (value), "Nd" (port));
4165#line 308
4166 return;
4167}
4168}
4169#line 308
4170__inline static unsigned char inb(int port ) __attribute__((__no_instrument_function__)) ;
4171#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
4172__inline static unsigned char inb(int port )
4173{ unsigned char value ;
4174
4175 {
4176#line 308
4177 __asm__ volatile ("in"
4178 "b"
4179 " %w1, %"
4180 "b"
4181 "0": "=a" (value): "Nd" (port));
4182#line 308
4183 return (value);
4184}
4185}
4186#line 35 "include/linux/kmod.h"
4187extern int ( __request_module)(bool wait , char const *name
4188 , ...) ;
4189#line 361 "include/linux/moduleparam.h"
4190extern struct kernel_param_ops param_ops_uint ;
4191#line 371
4192extern struct kernel_param_ops param_ops_ulong ;
4193#line 26 "include/linux/export.h"
4194extern struct module __this_module ;
4195#line 67 "include/linux/module.h"
4196int init_module(void) ;
4197#line 68
4198void cleanup_module(void) ;
4199#line 10 "include/asm-generic/delay.h"
4200extern void __const_udelay(unsigned long xloops ) ;
4201#line 40 "include/linux/platform_device.h"
4202extern void platform_device_unregister(struct platform_device * ) ;
4203#line 155
4204extern struct platform_device *platform_device_alloc(char const *name , int id ) ;
4205#line 159
4206extern int platform_device_add_data(struct platform_device *pdev , void const *data ,
4207 size_t size ) ;
4208#line 160
4209extern int platform_device_add(struct platform_device *pdev ) ;
4210#line 162
4211extern void platform_device_put(struct platform_device *pdev ) ;
4212#line 42 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4213static unsigned long dio_addr ;
4214#line 43 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4215static unsigned long cio_addr ;
4216#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4217static unsigned long c2io_addr ;
4218#line 45 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4219static unsigned long splashval ;
4220#line 46 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4221static unsigned int nosplash ;
4222#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4223static unsigned char ctl ;
4224#line 49 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4225static void n411_set_ctl(struct hecubafb_par *par , unsigned char bit , unsigned char state )
4226{ int __cil_tmp4 ;
4227 int __cil_tmp5 ;
4228 int __cil_tmp6 ;
4229 int __cil_tmp7 ;
4230 int __cil_tmp8 ;
4231 int __cil_tmp9 ;
4232 int __cil_tmp10 ;
4233 int __cil_tmp11 ;
4234 unsigned long *__cil_tmp12 ;
4235 unsigned long __cil_tmp13 ;
4236 int __cil_tmp14 ;
4237
4238 {
4239#line 53
4240 if ((int )bit == 8) {
4241#line 53
4242 goto case_8;
4243 } else
4244#line 59
4245 if ((int )bit == 2) {
4246#line 59
4247 goto case_2;
4248 } else
4249#line 52
4250 if (0) {
4251 case_8:
4252#line 54
4253 if (state) {
4254#line 55
4255 __cil_tmp4 = (int )ctl;
4256#line 55
4257 __cil_tmp5 = __cil_tmp4 & -9;
4258#line 55
4259 ctl = (unsigned char )__cil_tmp5;
4260 } else {
4261#line 57
4262 __cil_tmp6 = (int )ctl;
4263#line 57
4264 __cil_tmp7 = __cil_tmp6 | 8;
4265#line 57
4266 ctl = (unsigned char )__cil_tmp7;
4267 }
4268#line 58
4269 goto switch_break;
4270 case_2:
4271#line 60
4272 if (state) {
4273#line 61
4274 __cil_tmp8 = (int )ctl;
4275#line 61
4276 __cil_tmp9 = __cil_tmp8 & -3;
4277#line 61
4278 ctl = (unsigned char )__cil_tmp9;
4279 } else {
4280#line 63
4281 __cil_tmp10 = (int )ctl;
4282#line 63
4283 __cil_tmp11 = __cil_tmp10 | 2;
4284#line 63
4285 ctl = (unsigned char )__cil_tmp11;
4286 }
4287#line 64
4288 goto switch_break;
4289 } else {
4290 switch_break: ;
4291 }
4292 {
4293#line 66
4294 __cil_tmp12 = & cio_addr;
4295#line 66
4296 __cil_tmp13 = *__cil_tmp12;
4297#line 66
4298 __cil_tmp14 = (int )__cil_tmp13;
4299#line 66
4300 outb(ctl, __cil_tmp14);
4301 }
4302#line 67
4303 return;
4304}
4305}
4306#line 69 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4307static unsigned char n411_get_ctl(struct hecubafb_par *par )
4308{ unsigned char tmp___7 ;
4309 unsigned long *__cil_tmp3 ;
4310 unsigned long __cil_tmp4 ;
4311 int __cil_tmp5 ;
4312
4313 {
4314 {
4315#line 71
4316 __cil_tmp3 = & c2io_addr;
4317#line 71
4318 __cil_tmp4 = *__cil_tmp3;
4319#line 71
4320 __cil_tmp5 = (int )__cil_tmp4;
4321#line 71
4322 tmp___7 = inb(__cil_tmp5);
4323 }
4324#line 71
4325 return (tmp___7);
4326}
4327}
4328#line 74 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4329static void n411_set_data(struct hecubafb_par *par , unsigned char value )
4330{ unsigned long *__cil_tmp3 ;
4331 unsigned long __cil_tmp4 ;
4332 int __cil_tmp5 ;
4333
4334 {
4335 {
4336#line 76
4337 __cil_tmp3 = & dio_addr;
4338#line 76
4339 __cil_tmp4 = *__cil_tmp3;
4340#line 76
4341 __cil_tmp5 = (int )__cil_tmp4;
4342#line 76
4343 outb(value, __cil_tmp5);
4344 }
4345#line 77
4346 return;
4347}
4348}
4349#line 79 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4350static void n411_wait_for_ack(struct hecubafb_par *par , int clear )
4351{ int timeout ;
4352 unsigned char tmp___7 ;
4353 int tmp___8 ;
4354 int __cil_tmp6 ;
4355 int __cil_tmp7 ;
4356 int __cil_tmp8 ;
4357
4358 {
4359#line 84
4360 timeout = 500;
4361 {
4362#line 85
4363 while (1) {
4364 while_continue: ;
4365 {
4366#line 86
4367 tmp___7 = n411_get_ctl(par);
4368 }
4369 {
4370#line 87
4371 __cil_tmp6 = (int )tmp___7;
4372#line 87
4373 if (__cil_tmp6 & 128) {
4374#line 87
4375 if (! clear) {
4376#line 88
4377 return;
4378 } else {
4379#line 87
4380 goto _L;
4381 }
4382 } else {
4383 _L:
4384 {
4385#line 89
4386 __cil_tmp7 = (int )tmp___7;
4387#line 89
4388 __cil_tmp8 = __cil_tmp7 & 128;
4389#line 89
4390 if (! __cil_tmp8) {
4391#line 89
4392 if (clear) {
4393#line 90
4394 return;
4395 } else {
4396
4397 }
4398 } else {
4399
4400 }
4401 }
4402 }
4403 }
4404 {
4405#line 91
4406 __const_udelay(4295UL);
4407#line 85
4408 tmp___8 = timeout;
4409#line 85
4410 timeout = timeout - 1;
4411 }
4412#line 85
4413 if (tmp___8) {
4414
4415 } else {
4416#line 85
4417 goto while_break;
4418 }
4419 }
4420 while_break: ;
4421 }
4422 {
4423#line 93
4424 printk("<3>timed out waiting for ack\n");
4425 }
4426#line 94
4427 return;
4428}
4429}
4430#line 96 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4431static int n411_init_control(struct hecubafb_par *par )
4432{ unsigned char tmp___7 ;
4433 int __cil_tmp3 ;
4434
4435 {
4436 {
4437#line 108
4438 ctl = (unsigned char)13;
4439#line 109
4440 n411_set_ctl(par, (unsigned char)2, (unsigned char)1);
4441#line 112
4442 tmp___7 = n411_get_ctl(par);
4443 }
4444 {
4445#line 113
4446 __cil_tmp3 = (int )tmp___7;
4447#line 113
4448 if (__cil_tmp3 & 128) {
4449 {
4450#line 114
4451 printk("<3>Fail because ACK is already low\n");
4452 }
4453#line 115
4454 return (-6);
4455 } else {
4456
4457 }
4458 }
4459#line 118
4460 return (0);
4461}
4462}
4463#line 122 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4464static int n411_init_board(struct hecubafb_par *par )
4465{ int retval ;
4466 unsigned long __cil_tmp3 ;
4467 unsigned long __cil_tmp4 ;
4468 void (*__cil_tmp5)(struct hecubafb_par * , unsigned char ) ;
4469 unsigned long __cil_tmp6 ;
4470 unsigned long __cil_tmp7 ;
4471 void (*__cil_tmp8)(struct hecubafb_par * , unsigned char ) ;
4472 unsigned int *__cil_tmp9 ;
4473 unsigned int __cil_tmp10 ;
4474 unsigned long __cil_tmp11 ;
4475 unsigned long __cil_tmp12 ;
4476 void (*__cil_tmp13)(struct hecubafb_par * , unsigned char ) ;
4477 unsigned long __cil_tmp14 ;
4478 unsigned long __cil_tmp15 ;
4479 void (*__cil_tmp16)(struct hecubafb_par * , unsigned char ) ;
4480 unsigned long *__cil_tmp17 ;
4481 unsigned long __cil_tmp18 ;
4482 unsigned char __cil_tmp19 ;
4483
4484 {
4485 {
4486#line 126
4487 retval = n411_init_control(par);
4488 }
4489#line 127
4490 if (retval) {
4491#line 128
4492 return (retval);
4493 } else {
4494
4495 }
4496 {
4497#line 130
4498 __cil_tmp3 = (unsigned long )par;
4499#line 130
4500 __cil_tmp4 = __cil_tmp3 + 16;
4501#line 130
4502 __cil_tmp5 = *((void (**)(struct hecubafb_par * , unsigned char ))__cil_tmp4);
4503#line 130
4504 (*__cil_tmp5)(par, (unsigned char)164);
4505#line 131
4506 __cil_tmp6 = (unsigned long )par;
4507#line 131
4508 __cil_tmp7 = __cil_tmp6 + 24;
4509#line 131
4510 __cil_tmp8 = *((void (**)(struct hecubafb_par * , unsigned char ))__cil_tmp7);
4511#line 131
4512 (*__cil_tmp8)(par, (unsigned char)129);
4513#line 134
4514 __const_udelay(4295000UL);
4515 }
4516 {
4517#line 137
4518 __cil_tmp9 = & nosplash;
4519#line 137
4520 __cil_tmp10 = *__cil_tmp9;
4521#line 137
4522 if (! __cil_tmp10) {
4523 {
4524#line 138
4525 __cil_tmp11 = (unsigned long )par;
4526#line 138
4527 __cil_tmp12 = __cil_tmp11 + 16;
4528#line 138
4529 __cil_tmp13 = *((void (**)(struct hecubafb_par * , unsigned char ))__cil_tmp12);
4530#line 138
4531 (*__cil_tmp13)(par, (unsigned char)163);
4532#line 139
4533 __cil_tmp14 = (unsigned long )par;
4534#line 139
4535 __cil_tmp15 = __cil_tmp14 + 24;
4536#line 139
4537 __cil_tmp16 = *((void (**)(struct hecubafb_par * , unsigned char ))__cil_tmp15);
4538#line 139
4539 __cil_tmp17 = & splashval;
4540#line 139
4541 __cil_tmp18 = *__cil_tmp17;
4542#line 139
4543 __cil_tmp19 = (unsigned char )__cil_tmp18;
4544#line 139
4545 (*__cil_tmp16)(par, __cil_tmp19);
4546 }
4547 } else {
4548
4549 }
4550 }
4551#line 142
4552 return (0);
4553}
4554}
4555#line 145 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4556static struct hecuba_board n411_board = {& __this_module, (void (*)(struct hecubafb_par * ))0, & n411_set_ctl, & n411_set_data,
4557 & n411_wait_for_ack, & n411_init_board};
4558#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4559static struct platform_device *n411_device ;
4560#line 154
4561static int n411_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4562#line 154 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4563static int n411_init(void)
4564{ int ret ;
4565 unsigned long *__cil_tmp2 ;
4566 unsigned long __cil_tmp3 ;
4567 unsigned long *__cil_tmp4 ;
4568 unsigned long __cil_tmp5 ;
4569 unsigned long *__cil_tmp6 ;
4570 unsigned long __cil_tmp7 ;
4571 bool __cil_tmp8 ;
4572 void const *__cil_tmp9 ;
4573
4574 {
4575 {
4576#line 157
4577 __cil_tmp2 = & dio_addr;
4578#line 157
4579 __cil_tmp3 = *__cil_tmp2;
4580#line 157
4581 if (! __cil_tmp3) {
4582 {
4583#line 158
4584 printk("<4>no IO addresses supplied\n");
4585 }
4586#line 159
4587 return (-22);
4588 } else {
4589 {
4590#line 157
4591 __cil_tmp4 = & cio_addr;
4592#line 157
4593 __cil_tmp5 = *__cil_tmp4;
4594#line 157
4595 if (! __cil_tmp5) {
4596 {
4597#line 158
4598 printk("<4>no IO addresses supplied\n");
4599 }
4600#line 159
4601 return (-22);
4602 } else {
4603 {
4604#line 157
4605 __cil_tmp6 = & c2io_addr;
4606#line 157
4607 __cil_tmp7 = *__cil_tmp6;
4608#line 157
4609 if (! __cil_tmp7) {
4610 {
4611#line 158
4612 printk("<4>no IO addresses supplied\n");
4613 }
4614#line 159
4615 return (-22);
4616 } else {
4617
4618 }
4619 }
4620 }
4621 }
4622 }
4623 }
4624 {
4625#line 163
4626 __cil_tmp8 = (bool )1;
4627#line 163
4628 __request_module(__cil_tmp8, "hecubafb");
4629#line 165
4630 n411_device = platform_device_alloc("hecubafb", -1);
4631 }
4632#line 166
4633 if (! n411_device) {
4634#line 167
4635 return (-12);
4636 } else {
4637
4638 }
4639 {
4640#line 169
4641 __cil_tmp9 = (void const *)(& n411_board);
4642#line 169
4643 platform_device_add_data(n411_device, __cil_tmp9, 48UL);
4644#line 172
4645 ret = platform_device_add(n411_device);
4646 }
4647#line 174
4648 if (ret) {
4649 {
4650#line 175
4651 platform_device_put(n411_device);
4652 }
4653 } else {
4654
4655 }
4656#line 177
4657 return (ret);
4658}
4659}
4660#line 181
4661static void n411_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
4662#line 181 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4663static void n411_exit(void)
4664{
4665
4666 {
4667 {
4668#line 183
4669 platform_device_unregister(n411_device);
4670 }
4671#line 184
4672 return;
4673}
4674}
4675#line 186 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4676int init_module(void)
4677{ int tmp___7 ;
4678
4679 {
4680 {
4681#line 186
4682 tmp___7 = n411_init();
4683 }
4684#line 186
4685 return (tmp___7);
4686}
4687}
4688#line 187 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4689void cleanup_module(void)
4690{
4691
4692 {
4693 {
4694#line 187
4695 n411_exit();
4696 }
4697#line 187
4698 return;
4699}
4700}
4701#line 189 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4702static char const __param_str_nosplash[9] =
4703#line 189
4704 { (char const )'n', (char const )'o', (char const )'s', (char const )'p',
4705 (char const )'l', (char const )'a', (char const )'s', (char const )'h',
4706 (char const )'\000'};
4707#line 189 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4708static struct kernel_param const __param_nosplash __attribute__((__used__, __unused__,
4709__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_nosplash, (struct kernel_param_ops const *)(& param_ops_uint), (u16 )0,
4710 (s16 )0, {(void *)(& nosplash)}};
4711#line 189 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4712static char const __mod_nosplashtype189[23] __attribute__((__used__, __unused__,
4713__section__(".modinfo"), __aligned__(1))) =
4714#line 189
4715 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4716 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
4717 (char const )'=', (char const )'n', (char const )'o', (char const )'s',
4718 (char const )'p', (char const )'l', (char const )'a', (char const )'s',
4719 (char const )'h', (char const )':', (char const )'u', (char const )'i',
4720 (char const )'n', (char const )'t', (char const )'\000'};
4721#line 190 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4722static char const __mod_nosplash190[46] __attribute__((__used__, __unused__, __section__(".modinfo"),
4723__aligned__(1))) =
4724#line 190
4725 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4726 (char const )'=', (char const )'n', (char const )'o', (char const )'s',
4727 (char const )'p', (char const )'l', (char const )'a', (char const )'s',
4728 (char const )'h', (char const )':', (char const )'D', (char const )'i',
4729 (char const )'s', (char const )'a', (char const )'b', (char const )'l',
4730 (char const )'e', (char const )' ', (char const )'d', (char const )'o',
4731 (char const )'i', (char const )'n', (char const )'g', (char const )' ',
4732 (char const )'t', (char const )'h', (char const )'e', (char const )' ',
4733 (char const )'s', (char const )'p', (char const )'l', (char const )'a',
4734 (char const )'s', (char const )'h', (char const )' ', (char const )'s',
4735 (char const )'c', (char const )'r', (char const )'e', (char const )'e',
4736 (char const )'n', (char const )'\000'};
4737#line 191 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4738static char const __param_str_dio_addr[9] =
4739#line 191
4740 { (char const )'d', (char const )'i', (char const )'o', (char const )'_',
4741 (char const )'a', (char const )'d', (char const )'d', (char const )'r',
4742 (char const )'\000'};
4743#line 191 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4744static struct kernel_param const __param_dio_addr __attribute__((__used__, __unused__,
4745__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_dio_addr, (struct kernel_param_ops const *)(& param_ops_ulong),
4746 (u16 )0, (s16 )0, {(void *)(& dio_addr)}};
4747#line 191 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4748static char const __mod_dio_addrtype191[24] __attribute__((__used__, __unused__,
4749__section__(".modinfo"), __aligned__(1))) =
4750#line 191
4751 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4752 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
4753 (char const )'=', (char const )'d', (char const )'i', (char const )'o',
4754 (char const )'_', (char const )'a', (char const )'d', (char const )'d',
4755 (char const )'r', (char const )':', (char const )'u', (char const )'l',
4756 (char const )'o', (char const )'n', (char const )'g', (char const )'\000'};
4757#line 192 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4758static char const __mod_dio_addr192[45] __attribute__((__used__, __unused__, __section__(".modinfo"),
4759__aligned__(1))) =
4760#line 192
4761 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4762 (char const )'=', (char const )'d', (char const )'i', (char const )'o',
4763 (char const )'_', (char const )'a', (char const )'d', (char const )'d',
4764 (char const )'r', (char const )':', (char const )'I', (char const )'O',
4765 (char const )' ', (char const )'a', (char const )'d', (char const )'d',
4766 (char const )'r', (char const )'e', (char const )'s', (char const )'s',
4767 (char const )' ', (char const )'f', (char const )'o', (char const )'r',
4768 (char const )' ', (char const )'d', (char const )'a', (char const )'t',
4769 (char const )'a', (char const )',', (char const )' ', (char const )'e',
4770 (char const )'g', (char const )':', (char const )' ', (char const )'0',
4771 (char const )'x', (char const )'4', (char const )'8', (char const )'0',
4772 (char const )'\000'};
4773#line 193 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4774static char const __param_str_cio_addr[9] =
4775#line 193
4776 { (char const )'c', (char const )'i', (char const )'o', (char const )'_',
4777 (char const )'a', (char const )'d', (char const )'d', (char const )'r',
4778 (char const )'\000'};
4779#line 193 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4780static struct kernel_param const __param_cio_addr __attribute__((__used__, __unused__,
4781__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_cio_addr, (struct kernel_param_ops const *)(& param_ops_ulong),
4782 (u16 )0, (s16 )0, {(void *)(& cio_addr)}};
4783#line 193 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4784static char const __mod_cio_addrtype193[24] __attribute__((__used__, __unused__,
4785__section__(".modinfo"), __aligned__(1))) =
4786#line 193
4787 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4788 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
4789 (char const )'=', (char const )'c', (char const )'i', (char const )'o',
4790 (char const )'_', (char const )'a', (char const )'d', (char const )'d',
4791 (char const )'r', (char const )':', (char const )'u', (char const )'l',
4792 (char const )'o', (char const )'n', (char const )'g', (char const )'\000'};
4793#line 194 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4794static char const __mod_cio_addr194[48] __attribute__((__used__, __unused__, __section__(".modinfo"),
4795__aligned__(1))) =
4796#line 194
4797 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4798 (char const )'=', (char const )'c', (char const )'i', (char const )'o',
4799 (char const )'_', (char const )'a', (char const )'d', (char const )'d',
4800 (char const )'r', (char const )':', (char const )'I', (char const )'O',
4801 (char const )' ', (char const )'a', (char const )'d', (char const )'d',
4802 (char const )'r', (char const )'e', (char const )'s', (char const )'s',
4803 (char const )' ', (char const )'f', (char const )'o', (char const )'r',
4804 (char const )' ', (char const )'c', (char const )'o', (char const )'n',
4805 (char const )'t', (char const )'r', (char const )'o', (char const )'l',
4806 (char const )',', (char const )' ', (char const )'e', (char const )'g',
4807 (char const )':', (char const )' ', (char const )'0', (char const )'x',
4808 (char const )'4', (char const )'0', (char const )'0', (char const )'\000'};
4809#line 195 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4810static char const __param_str_c2io_addr[10] =
4811#line 195
4812 { (char const )'c', (char const )'2', (char const )'i', (char const )'o',
4813 (char const )'_', (char const )'a', (char const )'d', (char const )'d',
4814 (char const )'r', (char const )'\000'};
4815#line 195 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4816static struct kernel_param const __param_c2io_addr __attribute__((__used__, __unused__,
4817__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_c2io_addr, (struct kernel_param_ops const *)(& param_ops_ulong),
4818 (u16 )0, (s16 )0, {(void *)(& c2io_addr)}};
4819#line 195 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4820static char const __mod_c2io_addrtype195[25] __attribute__((__used__, __unused__,
4821__section__(".modinfo"), __aligned__(1))) =
4822#line 195
4823 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4824 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
4825 (char const )'=', (char const )'c', (char const )'2', (char const )'i',
4826 (char const )'o', (char const )'_', (char const )'a', (char const )'d',
4827 (char const )'d', (char const )'r', (char const )':', (char const )'u',
4828 (char const )'l', (char const )'o', (char const )'n', (char const )'g',
4829 (char const )'\000'};
4830#line 196 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4831static char const __mod_c2io_addr196[59] __attribute__((__used__, __unused__, __section__(".modinfo"),
4832__aligned__(1))) =
4833#line 196
4834 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4835 (char const )'=', (char const )'c', (char const )'2', (char const )'i',
4836 (char const )'o', (char const )'_', (char const )'a', (char const )'d',
4837 (char const )'d', (char const )'r', (char const )':', (char const )'I',
4838 (char const )'O', (char const )' ', (char const )'a', (char const )'d',
4839 (char const )'d', (char const )'r', (char const )'e', (char const )'s',
4840 (char const )'s', (char const )' ', (char const )'f', (char const )'o',
4841 (char const )'r', (char const )' ', (char const )'s', (char const )'e',
4842 (char const )'c', (char const )'o', (char const )'n', (char const )'d',
4843 (char const )'a', (char const )'r', (char const )'y', (char const )' ',
4844 (char const )'c', (char const )'o', (char const )'n', (char const )'t',
4845 (char const )'r', (char const )'o', (char const )'l', (char const )',',
4846 (char const )' ', (char const )'e', (char const )'g', (char const )':',
4847 (char const )' ', (char const )'0', (char const )'x', (char const )'4',
4848 (char const )'0', (char const )'8', (char const )'\000'};
4849#line 197 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4850static char const __param_str_splashval[10] =
4851#line 197
4852 { (char const )'s', (char const )'p', (char const )'l', (char const )'a',
4853 (char const )'s', (char const )'h', (char const )'v', (char const )'a',
4854 (char const )'l', (char const )'\000'};
4855#line 197 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4856static struct kernel_param const __param_splashval __attribute__((__used__, __unused__,
4857__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_splashval, (struct kernel_param_ops const *)(& param_ops_ulong),
4858 (u16 )0, (s16 )0, {(void *)(& splashval)}};
4859#line 197 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4860static char const __mod_splashvaltype197[25] __attribute__((__used__, __unused__,
4861__section__(".modinfo"), __aligned__(1))) =
4862#line 197
4863 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4864 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
4865 (char const )'=', (char const )'s', (char const )'p', (char const )'l',
4866 (char const )'a', (char const )'s', (char const )'h', (char const )'v',
4867 (char const )'a', (char const )'l', (char const )':', (char const )'u',
4868 (char const )'l', (char const )'o', (char const )'n', (char const )'g',
4869 (char const )'\000'};
4870#line 198 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4871static char const __mod_splashval198[60] __attribute__((__used__, __unused__, __section__(".modinfo"),
4872__aligned__(1))) =
4873#line 198
4874 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4875 (char const )'=', (char const )'s', (char const )'p', (char const )'l',
4876 (char const )'a', (char const )'s', (char const )'h', (char const )'v',
4877 (char const )'a', (char const )'l', (char const )':', (char const )'S',
4878 (char const )'p', (char const )'l', (char const )'a', (char const )'s',
4879 (char const )'h', (char const )' ', (char const )'p', (char const )'a',
4880 (char const )'t', (char const )'t', (char const )'e', (char const )'r',
4881 (char const )'n', (char const )':', (char const )' ', (char const )'0',
4882 (char const )'x', (char const )'0', (char const )'0', (char const )' ',
4883 (char const )'i', (char const )'s', (char const )' ', (char const )'b',
4884 (char const )'l', (char const )'a', (char const )'c', (char const )'k',
4885 (char const )',', (char const )' ', (char const )'0', (char const )'x',
4886 (char const )'0', (char const )'1', (char const )' ', (char const )'i',
4887 (char const )'s', (char const )' ', (char const )'w', (char const )'h',
4888 (char const )'i', (char const )'t', (char const )'e', (char const )'\000'};
4889#line 200 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4890static char const __mod_description200[56] __attribute__((__used__, __unused__,
4891__section__(".modinfo"), __aligned__(1))) =
4892#line 200
4893 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4894 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4895 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4896 (char const )'b', (char const )'o', (char const )'a', (char const )'r',
4897 (char const )'d', (char const )' ', (char const )'d', (char const )'r',
4898 (char const )'i', (char const )'v', (char const )'e', (char const )'r',
4899 (char const )' ', (char const )'f', (char const )'o', (char const )'r',
4900 (char const )' ', (char const )'n', (char const )'4', (char const )'1',
4901 (char const )'1', (char const )' ', (char const )'h', (char const )'e',
4902 (char const )'c', (char const )'u', (char const )'b', (char const )'a',
4903 (char const )'/', (char const )'a', (char const )'p', (char const )'o',
4904 (char const )'l', (char const )'l', (char const )'o', (char const )' ',
4905 (char const )'e', (char const )'p', (char const )'d', (char const )' ',
4906 (char const )'k', (char const )'i', (char const )'t', (char const )'\000'};
4907#line 201 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4908static char const __mod_author201[18] __attribute__((__used__, __unused__, __section__(".modinfo"),
4909__aligned__(1))) =
4910#line 201
4911 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4912 (char const )'o', (char const )'r', (char const )'=', (char const )'J',
4913 (char const )'a', (char const )'y', (char const )'a', (char const )' ',
4914 (char const )'K', (char const )'u', (char const )'m', (char const )'a',
4915 (char const )'r', (char const )'\000'};
4916#line 202 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4917static char const __mod_license202[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4918__aligned__(1))) =
4919#line 202
4920 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4921 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4922 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4923#line 221
4924void ldv_check_final_state(void) ;
4925#line 227
4926extern void ldv_initialize(void) ;
4927#line 230
4928extern int __VERIFIER_nondet_int(void) ;
4929#line 233 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4930int LDV_IN_INTERRUPT ;
4931#line 236 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
4932void main(void)
4933{ struct hecubafb_par *var_group1 ;
4934 unsigned char var_n411_set_ctl_0_p1 ;
4935 unsigned char var_n411_set_ctl_0_p2 ;
4936 unsigned char var_n411_set_data_2_p1 ;
4937 int var_n411_wait_for_ack_3_p1 ;
4938 int tmp___7 ;
4939 int tmp___8 ;
4940 int tmp___9 ;
4941
4942 {
4943 {
4944#line 268
4945 LDV_IN_INTERRUPT = 1;
4946#line 277
4947 ldv_initialize();
4948#line 283
4949 tmp___7 = n411_init();
4950 }
4951#line 283
4952 if (tmp___7) {
4953#line 284
4954 goto ldv_final;
4955 } else {
4956
4957 }
4958 {
4959#line 288
4960 while (1) {
4961 while_continue: ;
4962 {
4963#line 288
4964 tmp___9 = __VERIFIER_nondet_int();
4965 }
4966#line 288
4967 if (tmp___9) {
4968
4969 } else {
4970#line 288
4971 goto while_break;
4972 }
4973 {
4974#line 291
4975 tmp___8 = __VERIFIER_nondet_int();
4976 }
4977#line 293
4978 if (tmp___8 == 0) {
4979#line 293
4980 goto case_0;
4981 } else
4982#line 309
4983 if (tmp___8 == 1) {
4984#line 309
4985 goto case_1;
4986 } else
4987#line 325
4988 if (tmp___8 == 2) {
4989#line 325
4990 goto case_2;
4991 } else
4992#line 341
4993 if (tmp___8 == 3) {
4994#line 341
4995 goto case_3;
4996 } else {
4997 {
4998#line 357
4999 goto switch_default;
5000#line 291
5001 if (0) {
5002 case_0:
5003 {
5004#line 301
5005 n411_init_board(var_group1);
5006 }
5007#line 308
5008 goto switch_break;
5009 case_1:
5010 {
5011#line 317
5012 n411_set_ctl(var_group1, var_n411_set_ctl_0_p1, var_n411_set_ctl_0_p2);
5013 }
5014#line 324
5015 goto switch_break;
5016 case_2:
5017 {
5018#line 333
5019 n411_set_data(var_group1, var_n411_set_data_2_p1);
5020 }
5021#line 340
5022 goto switch_break;
5023 case_3:
5024 {
5025#line 349
5026 n411_wait_for_ack(var_group1, var_n411_wait_for_ack_3_p1);
5027 }
5028#line 356
5029 goto switch_break;
5030 switch_default:
5031#line 357
5032 goto switch_break;
5033 } else {
5034 switch_break: ;
5035 }
5036 }
5037 }
5038 }
5039 while_break: ;
5040 }
5041 {
5042#line 369
5043 n411_exit();
5044 }
5045 ldv_final:
5046 {
5047#line 372
5048 ldv_check_final_state();
5049 }
5050#line 375
5051 return;
5052}
5053}
5054#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
5055void ldv_blast_assert(void)
5056{
5057
5058 {
5059 ERROR:
5060#line 6
5061 goto ERROR;
5062}
5063}
5064#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
5065extern int __VERIFIER_nondet_int(void) ;
5066#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5067int ldv_mutex = 1;
5068#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5069int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
5070{ int nondetermined ;
5071
5072 {
5073#line 29
5074 if (ldv_mutex == 1) {
5075
5076 } else {
5077 {
5078#line 29
5079 ldv_blast_assert();
5080 }
5081 }
5082 {
5083#line 32
5084 nondetermined = __VERIFIER_nondet_int();
5085 }
5086#line 35
5087 if (nondetermined) {
5088#line 38
5089 ldv_mutex = 2;
5090#line 40
5091 return (0);
5092 } else {
5093#line 45
5094 return (-4);
5095 }
5096}
5097}
5098#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5099int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
5100{ int nondetermined ;
5101
5102 {
5103#line 57
5104 if (ldv_mutex == 1) {
5105
5106 } else {
5107 {
5108#line 57
5109 ldv_blast_assert();
5110 }
5111 }
5112 {
5113#line 60
5114 nondetermined = __VERIFIER_nondet_int();
5115 }
5116#line 63
5117 if (nondetermined) {
5118#line 66
5119 ldv_mutex = 2;
5120#line 68
5121 return (0);
5122 } else {
5123#line 73
5124 return (-4);
5125 }
5126}
5127}
5128#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5129int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
5130{ int atomic_value_after_dec ;
5131
5132 {
5133#line 83
5134 if (ldv_mutex == 1) {
5135
5136 } else {
5137 {
5138#line 83
5139 ldv_blast_assert();
5140 }
5141 }
5142 {
5143#line 86
5144 atomic_value_after_dec = __VERIFIER_nondet_int();
5145 }
5146#line 89
5147 if (atomic_value_after_dec == 0) {
5148#line 92
5149 ldv_mutex = 2;
5150#line 94
5151 return (1);
5152 } else {
5153
5154 }
5155#line 98
5156 return (0);
5157}
5158}
5159#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5160void mutex_lock(struct mutex *lock )
5161{
5162
5163 {
5164#line 108
5165 if (ldv_mutex == 1) {
5166
5167 } else {
5168 {
5169#line 108
5170 ldv_blast_assert();
5171 }
5172 }
5173#line 110
5174 ldv_mutex = 2;
5175#line 111
5176 return;
5177}
5178}
5179#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5180int mutex_trylock(struct mutex *lock )
5181{ int nondetermined ;
5182
5183 {
5184#line 121
5185 if (ldv_mutex == 1) {
5186
5187 } else {
5188 {
5189#line 121
5190 ldv_blast_assert();
5191 }
5192 }
5193 {
5194#line 124
5195 nondetermined = __VERIFIER_nondet_int();
5196 }
5197#line 127
5198 if (nondetermined) {
5199#line 130
5200 ldv_mutex = 2;
5201#line 132
5202 return (1);
5203 } else {
5204#line 137
5205 return (0);
5206 }
5207}
5208}
5209#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5210void mutex_unlock(struct mutex *lock )
5211{
5212
5213 {
5214#line 147
5215 if (ldv_mutex == 2) {
5216
5217 } else {
5218 {
5219#line 147
5220 ldv_blast_assert();
5221 }
5222 }
5223#line 149
5224 ldv_mutex = 1;
5225#line 150
5226 return;
5227}
5228}
5229#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5230void ldv_check_final_state(void)
5231{
5232
5233 {
5234#line 156
5235 if (ldv_mutex == 1) {
5236
5237 } else {
5238 {
5239#line 156
5240 ldv_blast_assert();
5241 }
5242 }
5243#line 157
5244 return;
5245}
5246}
5247#line 384 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17310/dscv_tempdir/dscv/ri/32_1/drivers/video/n411.c.common.c"
5248long s__builtin_expect(long val , long res )
5249{
5250
5251 {
5252#line 385
5253 return (val);
5254}
5255}