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