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