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