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