1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 20 "include/asm-generic/int-ll64.h"
7typedef unsigned char __u8;
8#line 22 "include/asm-generic/int-ll64.h"
9typedef short __s16;
10#line 23 "include/asm-generic/int-ll64.h"
11typedef unsigned short __u16;
12#line 25 "include/asm-generic/int-ll64.h"
13typedef int __s32;
14#line 26 "include/asm-generic/int-ll64.h"
15typedef unsigned int __u32;
16#line 29 "include/asm-generic/int-ll64.h"
17typedef long long __s64;
18#line 30 "include/asm-generic/int-ll64.h"
19typedef unsigned long long __u64;
20#line 43 "include/asm-generic/int-ll64.h"
21typedef unsigned char u8;
22#line 45 "include/asm-generic/int-ll64.h"
23typedef short s16;
24#line 46 "include/asm-generic/int-ll64.h"
25typedef unsigned short u16;
26#line 48 "include/asm-generic/int-ll64.h"
27typedef int s32;
28#line 49 "include/asm-generic/int-ll64.h"
29typedef unsigned int u32;
30#line 51 "include/asm-generic/int-ll64.h"
31typedef long long s64;
32#line 52 "include/asm-generic/int-ll64.h"
33typedef unsigned long long u64;
34#line 14 "include/asm-generic/posix_types.h"
35typedef long __kernel_long_t;
36#line 15 "include/asm-generic/posix_types.h"
37typedef unsigned long __kernel_ulong_t;
38#line 31 "include/asm-generic/posix_types.h"
39typedef int __kernel_pid_t;
40#line 52 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_uid32_t;
42#line 53 "include/asm-generic/posix_types.h"
43typedef unsigned int __kernel_gid32_t;
44#line 75 "include/asm-generic/posix_types.h"
45typedef __kernel_ulong_t __kernel_size_t;
46#line 76 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_ssize_t;
48#line 91 "include/asm-generic/posix_types.h"
49typedef long long __kernel_loff_t;
50#line 92 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_time_t;
52#line 93 "include/asm-generic/posix_types.h"
53typedef __kernel_long_t __kernel_clock_t;
54#line 94 "include/asm-generic/posix_types.h"
55typedef int __kernel_timer_t;
56#line 95 "include/asm-generic/posix_types.h"
57typedef int __kernel_clockid_t;
58#line 21 "include/linux/types.h"
59typedef __u32 __kernel_dev_t;
60#line 24 "include/linux/types.h"
61typedef __kernel_dev_t dev_t;
62#line 27 "include/linux/types.h"
63typedef unsigned short umode_t;
64#line 30 "include/linux/types.h"
65typedef __kernel_pid_t pid_t;
66#line 35 "include/linux/types.h"
67typedef __kernel_clockid_t clockid_t;
68#line 38 "include/linux/types.h"
69typedef _Bool bool;
70#line 40 "include/linux/types.h"
71typedef __kernel_uid32_t uid_t;
72#line 41 "include/linux/types.h"
73typedef __kernel_gid32_t gid_t;
74#line 54 "include/linux/types.h"
75typedef __kernel_loff_t loff_t;
76#line 63 "include/linux/types.h"
77typedef __kernel_size_t size_t;
78#line 68 "include/linux/types.h"
79typedef __kernel_ssize_t ssize_t;
80#line 78 "include/linux/types.h"
81typedef __kernel_time_t time_t;
82#line 92 "include/linux/types.h"
83typedef unsigned char u_char;
84#line 93 "include/linux/types.h"
85typedef unsigned short u_short;
86#line 94 "include/linux/types.h"
87typedef unsigned int u_int;
88#line 111 "include/linux/types.h"
89typedef __s32 int32_t;
90#line 117 "include/linux/types.h"
91typedef __u32 uint32_t;
92#line 142 "include/linux/types.h"
93typedef unsigned long sector_t;
94#line 143 "include/linux/types.h"
95typedef unsigned long blkcnt_t;
96#line 155 "include/linux/types.h"
97typedef u64 dma_addr_t;
98#line 202 "include/linux/types.h"
99typedef unsigned int gfp_t;
100#line 203 "include/linux/types.h"
101typedef unsigned int fmode_t;
102#line 206 "include/linux/types.h"
103typedef u64 phys_addr_t;
104#line 211 "include/linux/types.h"
105typedef phys_addr_t resource_size_t;
106#line 221 "include/linux/types.h"
107struct __anonstruct_atomic_t_6 {
108 int counter ;
109};
110#line 221 "include/linux/types.h"
111typedef struct __anonstruct_atomic_t_6 atomic_t;
112#line 226 "include/linux/types.h"
113struct __anonstruct_atomic64_t_7 {
114 long counter ;
115};
116#line 226 "include/linux/types.h"
117typedef struct __anonstruct_atomic64_t_7 atomic64_t;
118#line 227 "include/linux/types.h"
119struct list_head {
120 struct list_head *next ;
121 struct list_head *prev ;
122};
123#line 232
124struct hlist_node;
125#line 232 "include/linux/types.h"
126struct hlist_head {
127 struct hlist_node *first ;
128};
129#line 236 "include/linux/types.h"
130struct hlist_node {
131 struct hlist_node *next ;
132 struct hlist_node **pprev ;
133};
134#line 247 "include/linux/types.h"
135struct rcu_head {
136 struct rcu_head *next ;
137 void (*func)(struct rcu_head * ) ;
138};
139#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
140struct module;
141#line 55
142struct module;
143#line 146 "include/linux/init.h"
144typedef void (*ctor_fn_t)(void);
145#line 305 "include/linux/printk.h"
146struct _ddebug {
147 char const *modname ;
148 char const *function ;
149 char const *filename ;
150 char const *format ;
151 unsigned int lineno : 18 ;
152 unsigned char flags ;
153};
154#line 46 "include/linux/dynamic_debug.h"
155struct device;
156#line 46
157struct device;
158#line 57
159struct completion;
160#line 57
161struct completion;
162#line 58
163struct pt_regs;
164#line 58
165struct pt_regs;
166#line 348 "include/linux/kernel.h"
167struct pid;
168#line 348
169struct pid;
170#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h"
171struct timespec;
172#line 112
173struct timespec;
174#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h"
175struct page;
176#line 58
177struct page;
178#line 26 "include/asm-generic/getorder.h"
179struct task_struct;
180#line 26
181struct task_struct;
182#line 28
183struct mm_struct;
184#line 28
185struct mm_struct;
186#line 268 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/segment.h"
187struct pt_regs {
188 unsigned long r15 ;
189 unsigned long r14 ;
190 unsigned long r13 ;
191 unsigned long r12 ;
192 unsigned long bp ;
193 unsigned long bx ;
194 unsigned long r11 ;
195 unsigned long r10 ;
196 unsigned long r9 ;
197 unsigned long r8 ;
198 unsigned long ax ;
199 unsigned long cx ;
200 unsigned long dx ;
201 unsigned long si ;
202 unsigned long di ;
203 unsigned long orig_ax ;
204 unsigned long ip ;
205 unsigned long cs ;
206 unsigned long flags ;
207 unsigned long sp ;
208 unsigned long ss ;
209};
210#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
211struct __anonstruct_ldv_2180_13 {
212 unsigned int a ;
213 unsigned int b ;
214};
215#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
216struct __anonstruct_ldv_2195_14 {
217 u16 limit0 ;
218 u16 base0 ;
219 unsigned char base1 ;
220 unsigned char type : 4 ;
221 unsigned char s : 1 ;
222 unsigned char dpl : 2 ;
223 unsigned char p : 1 ;
224 unsigned char limit : 4 ;
225 unsigned char avl : 1 ;
226 unsigned char l : 1 ;
227 unsigned char d : 1 ;
228 unsigned char g : 1 ;
229 unsigned char base2 ;
230};
231#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
232union __anonunion_ldv_2196_12 {
233 struct __anonstruct_ldv_2180_13 ldv_2180 ;
234 struct __anonstruct_ldv_2195_14 ldv_2195 ;
235};
236#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
237struct desc_struct {
238 union __anonunion_ldv_2196_12 ldv_2196 ;
239};
240#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
241typedef unsigned long pgdval_t;
242#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
243typedef unsigned long pgprotval_t;
244#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
245struct pgprot {
246 pgprotval_t pgprot ;
247};
248#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
249typedef struct pgprot pgprot_t;
250#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
251struct __anonstruct_pgd_t_16 {
252 pgdval_t pgd ;
253};
254#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
255typedef struct __anonstruct_pgd_t_16 pgd_t;
256#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
257typedef struct page *pgtable_t;
258#line 290
259struct file;
260#line 290
261struct file;
262#line 305
263struct seq_file;
264#line 305
265struct seq_file;
266#line 337
267struct thread_struct;
268#line 337
269struct thread_struct;
270#line 339
271struct cpumask;
272#line 339
273struct cpumask;
274#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
275struct arch_spinlock;
276#line 327
277struct arch_spinlock;
278#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
279struct kernel_vm86_regs {
280 struct pt_regs pt ;
281 unsigned short es ;
282 unsigned short __esh ;
283 unsigned short ds ;
284 unsigned short __dsh ;
285 unsigned short fs ;
286 unsigned short __fsh ;
287 unsigned short gs ;
288 unsigned short __gsh ;
289};
290#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
291union __anonunion_ldv_2824_19 {
292 struct pt_regs *regs ;
293 struct kernel_vm86_regs *vm86 ;
294};
295#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
296struct math_emu_info {
297 long ___orig_eip ;
298 union __anonunion_ldv_2824_19 ldv_2824 ;
299};
300#line 306 "include/linux/bitmap.h"
301struct bug_entry {
302 int bug_addr_disp ;
303 int file_disp ;
304 unsigned short line ;
305 unsigned short flags ;
306};
307#line 89 "include/linux/bug.h"
308struct cpumask {
309 unsigned long bits[64U] ;
310};
311#line 14 "include/linux/cpumask.h"
312typedef struct cpumask cpumask_t;
313#line 637 "include/linux/cpumask.h"
314typedef struct cpumask *cpumask_var_t;
315#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
316struct static_key;
317#line 234
318struct static_key;
319#line 153 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
320struct seq_operations;
321#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
322struct i387_fsave_struct {
323 u32 cwd ;
324 u32 swd ;
325 u32 twd ;
326 u32 fip ;
327 u32 fcs ;
328 u32 foo ;
329 u32 fos ;
330 u32 st_space[20U] ;
331 u32 status ;
332};
333#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
334struct __anonstruct_ldv_5180_24 {
335 u64 rip ;
336 u64 rdp ;
337};
338#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
339struct __anonstruct_ldv_5186_25 {
340 u32 fip ;
341 u32 fcs ;
342 u32 foo ;
343 u32 fos ;
344};
345#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
346union __anonunion_ldv_5187_23 {
347 struct __anonstruct_ldv_5180_24 ldv_5180 ;
348 struct __anonstruct_ldv_5186_25 ldv_5186 ;
349};
350#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
351union __anonunion_ldv_5196_26 {
352 u32 padding1[12U] ;
353 u32 sw_reserved[12U] ;
354};
355#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
356struct i387_fxsave_struct {
357 u16 cwd ;
358 u16 swd ;
359 u16 twd ;
360 u16 fop ;
361 union __anonunion_ldv_5187_23 ldv_5187 ;
362 u32 mxcsr ;
363 u32 mxcsr_mask ;
364 u32 st_space[32U] ;
365 u32 xmm_space[64U] ;
366 u32 padding[12U] ;
367 union __anonunion_ldv_5196_26 ldv_5196 ;
368};
369#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
370struct i387_soft_struct {
371 u32 cwd ;
372 u32 swd ;
373 u32 twd ;
374 u32 fip ;
375 u32 fcs ;
376 u32 foo ;
377 u32 fos ;
378 u32 st_space[20U] ;
379 u8 ftop ;
380 u8 changed ;
381 u8 lookahead ;
382 u8 no_update ;
383 u8 rm ;
384 u8 alimit ;
385 struct math_emu_info *info ;
386 u32 entry_eip ;
387};
388#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
389struct ymmh_struct {
390 u32 ymmh_space[64U] ;
391};
392#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
393struct xsave_hdr_struct {
394 u64 xstate_bv ;
395 u64 reserved1[2U] ;
396 u64 reserved2[5U] ;
397};
398#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
399struct xsave_struct {
400 struct i387_fxsave_struct i387 ;
401 struct xsave_hdr_struct xsave_hdr ;
402 struct ymmh_struct ymmh ;
403};
404#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
405union thread_xstate {
406 struct i387_fsave_struct fsave ;
407 struct i387_fxsave_struct fxsave ;
408 struct i387_soft_struct soft ;
409 struct xsave_struct xsave ;
410};
411#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
412struct fpu {
413 unsigned int last_cpu ;
414 unsigned int has_fpu ;
415 union thread_xstate *state ;
416};
417#line 433
418struct kmem_cache;
419#line 434
420struct perf_event;
421#line 434
422struct perf_event;
423#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
424struct thread_struct {
425 struct desc_struct tls_array[3U] ;
426 unsigned long sp0 ;
427 unsigned long sp ;
428 unsigned long usersp ;
429 unsigned short es ;
430 unsigned short ds ;
431 unsigned short fsindex ;
432 unsigned short gsindex ;
433 unsigned long fs ;
434 unsigned long gs ;
435 struct perf_event *ptrace_bps[4U] ;
436 unsigned long debugreg6 ;
437 unsigned long ptrace_dr7 ;
438 unsigned long cr2 ;
439 unsigned long trap_nr ;
440 unsigned long error_code ;
441 struct fpu fpu ;
442 unsigned long *io_bitmap_ptr ;
443 unsigned long iopl ;
444 unsigned int io_bitmap_max ;
445};
446#line 23 "include/asm-generic/atomic-long.h"
447typedef atomic64_t atomic_long_t;
448#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
449typedef u16 __ticket_t;
450#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
451typedef u32 __ticketpair_t;
452#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
453struct __raw_tickets {
454 __ticket_t head ;
455 __ticket_t tail ;
456};
457#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
458union __anonunion_ldv_5907_29 {
459 __ticketpair_t head_tail ;
460 struct __raw_tickets tickets ;
461};
462#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
463struct arch_spinlock {
464 union __anonunion_ldv_5907_29 ldv_5907 ;
465};
466#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
467typedef struct arch_spinlock arch_spinlock_t;
468#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
469struct __anonstruct_ldv_5914_31 {
470 u32 read ;
471 s32 write ;
472};
473#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
474union __anonunion_arch_rwlock_t_30 {
475 s64 lock ;
476 struct __anonstruct_ldv_5914_31 ldv_5914 ;
477};
478#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
479typedef union __anonunion_arch_rwlock_t_30 arch_rwlock_t;
480#line 34
481struct lockdep_map;
482#line 34
483struct lockdep_map;
484#line 55 "include/linux/debug_locks.h"
485struct stack_trace {
486 unsigned int nr_entries ;
487 unsigned int max_entries ;
488 unsigned long *entries ;
489 int skip ;
490};
491#line 26 "include/linux/stacktrace.h"
492struct lockdep_subclass_key {
493 char __one_byte ;
494};
495#line 53 "include/linux/lockdep.h"
496struct lock_class_key {
497 struct lockdep_subclass_key subkeys[8U] ;
498};
499#line 59 "include/linux/lockdep.h"
500struct lock_class {
501 struct list_head hash_entry ;
502 struct list_head lock_entry ;
503 struct lockdep_subclass_key *key ;
504 unsigned int subclass ;
505 unsigned int dep_gen_id ;
506 unsigned long usage_mask ;
507 struct stack_trace usage_traces[13U] ;
508 struct list_head locks_after ;
509 struct list_head locks_before ;
510 unsigned int version ;
511 unsigned long ops ;
512 char const *name ;
513 int name_version ;
514 unsigned long contention_point[4U] ;
515 unsigned long contending_point[4U] ;
516};
517#line 144 "include/linux/lockdep.h"
518struct lockdep_map {
519 struct lock_class_key *key ;
520 struct lock_class *class_cache[2U] ;
521 char const *name ;
522 int cpu ;
523 unsigned long ip ;
524};
525#line 187 "include/linux/lockdep.h"
526struct held_lock {
527 u64 prev_chain_key ;
528 unsigned long acquire_ip ;
529 struct lockdep_map *instance ;
530 struct lockdep_map *nest_lock ;
531 u64 waittime_stamp ;
532 u64 holdtime_stamp ;
533 unsigned short class_idx : 13 ;
534 unsigned char irq_context : 2 ;
535 unsigned char trylock : 1 ;
536 unsigned char read : 2 ;
537 unsigned char check : 2 ;
538 unsigned char hardirqs_off : 1 ;
539 unsigned short references : 11 ;
540};
541#line 556 "include/linux/lockdep.h"
542struct raw_spinlock {
543 arch_spinlock_t raw_lock ;
544 unsigned int magic ;
545 unsigned int owner_cpu ;
546 void *owner ;
547 struct lockdep_map dep_map ;
548};
549#line 32 "include/linux/spinlock_types.h"
550typedef struct raw_spinlock raw_spinlock_t;
551#line 33 "include/linux/spinlock_types.h"
552struct __anonstruct_ldv_6122_33 {
553 u8 __padding[24U] ;
554 struct lockdep_map dep_map ;
555};
556#line 33 "include/linux/spinlock_types.h"
557union __anonunion_ldv_6123_32 {
558 struct raw_spinlock rlock ;
559 struct __anonstruct_ldv_6122_33 ldv_6122 ;
560};
561#line 33 "include/linux/spinlock_types.h"
562struct spinlock {
563 union __anonunion_ldv_6123_32 ldv_6123 ;
564};
565#line 76 "include/linux/spinlock_types.h"
566typedef struct spinlock spinlock_t;
567#line 23 "include/linux/rwlock_types.h"
568struct __anonstruct_rwlock_t_34 {
569 arch_rwlock_t raw_lock ;
570 unsigned int magic ;
571 unsigned int owner_cpu ;
572 void *owner ;
573 struct lockdep_map dep_map ;
574};
575#line 23 "include/linux/rwlock_types.h"
576typedef struct __anonstruct_rwlock_t_34 rwlock_t;
577#line 110 "include/linux/seqlock.h"
578struct seqcount {
579 unsigned int sequence ;
580};
581#line 121 "include/linux/seqlock.h"
582typedef struct seqcount seqcount_t;
583#line 254 "include/linux/seqlock.h"
584struct timespec {
585 __kernel_time_t tv_sec ;
586 long tv_nsec ;
587};
588#line 286 "include/linux/time.h"
589struct kstat {
590 u64 ino ;
591 dev_t dev ;
592 umode_t mode ;
593 unsigned int nlink ;
594 uid_t uid ;
595 gid_t gid ;
596 dev_t rdev ;
597 loff_t size ;
598 struct timespec atime ;
599 struct timespec mtime ;
600 struct timespec ctime ;
601 unsigned long blksize ;
602 unsigned long long blocks ;
603};
604#line 48 "include/linux/wait.h"
605struct __wait_queue_head {
606 spinlock_t lock ;
607 struct list_head task_list ;
608};
609#line 53 "include/linux/wait.h"
610typedef struct __wait_queue_head wait_queue_head_t;
611#line 98 "include/linux/nodemask.h"
612struct __anonstruct_nodemask_t_36 {
613 unsigned long bits[16U] ;
614};
615#line 98 "include/linux/nodemask.h"
616typedef struct __anonstruct_nodemask_t_36 nodemask_t;
617#line 670 "include/linux/mmzone.h"
618struct mutex {
619 atomic_t count ;
620 spinlock_t wait_lock ;
621 struct list_head wait_list ;
622 struct task_struct *owner ;
623 char const *name ;
624 void *magic ;
625 struct lockdep_map dep_map ;
626};
627#line 63 "include/linux/mutex.h"
628struct mutex_waiter {
629 struct list_head list ;
630 struct task_struct *task ;
631 void *magic ;
632};
633#line 171
634struct rw_semaphore;
635#line 171
636struct rw_semaphore;
637#line 172 "include/linux/mutex.h"
638struct rw_semaphore {
639 long count ;
640 raw_spinlock_t wait_lock ;
641 struct list_head wait_list ;
642 struct lockdep_map dep_map ;
643};
644#line 128 "include/linux/rwsem.h"
645struct completion {
646 unsigned int done ;
647 wait_queue_head_t wait ;
648};
649#line 188 "include/linux/rcupdate.h"
650struct notifier_block;
651#line 188
652struct notifier_block;
653#line 239 "include/linux/srcu.h"
654struct notifier_block {
655 int (*notifier_call)(struct notifier_block * , unsigned long , void * ) ;
656 struct notifier_block *next ;
657 int priority ;
658};
659#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/e820.h"
660struct resource {
661 resource_size_t start ;
662 resource_size_t end ;
663 char const *name ;
664 unsigned long flags ;
665 struct resource *parent ;
666 struct resource *sibling ;
667 struct resource *child ;
668};
669#line 181 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
670struct pci_dev;
671#line 181
672struct pci_dev;
673#line 312 "include/linux/jiffies.h"
674union ktime {
675 s64 tv64 ;
676};
677#line 59 "include/linux/ktime.h"
678typedef union ktime ktime_t;
679#line 341
680struct tvec_base;
681#line 341
682struct tvec_base;
683#line 342 "include/linux/ktime.h"
684struct timer_list {
685 struct list_head entry ;
686 unsigned long expires ;
687 struct tvec_base *base ;
688 void (*function)(unsigned long ) ;
689 unsigned long data ;
690 int slack ;
691 int start_pid ;
692 void *start_site ;
693 char start_comm[16U] ;
694 struct lockdep_map lockdep_map ;
695};
696#line 289 "include/linux/timer.h"
697struct hrtimer;
698#line 289
699struct hrtimer;
700#line 290
701enum hrtimer_restart;
702#line 302
703struct work_struct;
704#line 302
705struct work_struct;
706#line 45 "include/linux/workqueue.h"
707struct work_struct {
708 atomic_long_t data ;
709 struct list_head entry ;
710 void (*func)(struct work_struct * ) ;
711 struct lockdep_map lockdep_map ;
712};
713#line 86 "include/linux/workqueue.h"
714struct delayed_work {
715 struct work_struct work ;
716 struct timer_list timer ;
717};
718#line 46 "include/linux/pm.h"
719struct pm_message {
720 int event ;
721};
722#line 52 "include/linux/pm.h"
723typedef struct pm_message pm_message_t;
724#line 53 "include/linux/pm.h"
725struct dev_pm_ops {
726 int (*prepare)(struct device * ) ;
727 void (*complete)(struct device * ) ;
728 int (*suspend)(struct device * ) ;
729 int (*resume)(struct device * ) ;
730 int (*freeze)(struct device * ) ;
731 int (*thaw)(struct device * ) ;
732 int (*poweroff)(struct device * ) ;
733 int (*restore)(struct device * ) ;
734 int (*suspend_late)(struct device * ) ;
735 int (*resume_early)(struct device * ) ;
736 int (*freeze_late)(struct device * ) ;
737 int (*thaw_early)(struct device * ) ;
738 int (*poweroff_late)(struct device * ) ;
739 int (*restore_early)(struct device * ) ;
740 int (*suspend_noirq)(struct device * ) ;
741 int (*resume_noirq)(struct device * ) ;
742 int (*freeze_noirq)(struct device * ) ;
743 int (*thaw_noirq)(struct device * ) ;
744 int (*poweroff_noirq)(struct device * ) ;
745 int (*restore_noirq)(struct device * ) ;
746 int (*runtime_suspend)(struct device * ) ;
747 int (*runtime_resume)(struct device * ) ;
748 int (*runtime_idle)(struct device * ) ;
749};
750#line 289
751enum rpm_status {
752 RPM_ACTIVE = 0,
753 RPM_RESUMING = 1,
754 RPM_SUSPENDED = 2,
755 RPM_SUSPENDING = 3
756} ;
757#line 296
758enum rpm_request {
759 RPM_REQ_NONE = 0,
760 RPM_REQ_IDLE = 1,
761 RPM_REQ_SUSPEND = 2,
762 RPM_REQ_AUTOSUSPEND = 3,
763 RPM_REQ_RESUME = 4
764} ;
765#line 304
766struct wakeup_source;
767#line 304
768struct wakeup_source;
769#line 494 "include/linux/pm.h"
770struct pm_subsys_data {
771 spinlock_t lock ;
772 unsigned int refcount ;
773};
774#line 499
775struct dev_pm_qos_request;
776#line 499
777struct pm_qos_constraints;
778#line 499 "include/linux/pm.h"
779struct dev_pm_info {
780 pm_message_t power_state ;
781 unsigned char can_wakeup : 1 ;
782 unsigned char async_suspend : 1 ;
783 bool is_prepared ;
784 bool is_suspended ;
785 bool ignore_children ;
786 spinlock_t lock ;
787 struct list_head entry ;
788 struct completion completion ;
789 struct wakeup_source *wakeup ;
790 bool wakeup_path ;
791 struct timer_list suspend_timer ;
792 unsigned long timer_expires ;
793 struct work_struct work ;
794 wait_queue_head_t wait_queue ;
795 atomic_t usage_count ;
796 atomic_t child_count ;
797 unsigned char disable_depth : 3 ;
798 unsigned char idle_notification : 1 ;
799 unsigned char request_pending : 1 ;
800 unsigned char deferred_resume : 1 ;
801 unsigned char run_wake : 1 ;
802 unsigned char runtime_auto : 1 ;
803 unsigned char no_callbacks : 1 ;
804 unsigned char irq_safe : 1 ;
805 unsigned char use_autosuspend : 1 ;
806 unsigned char timer_autosuspends : 1 ;
807 enum rpm_request request ;
808 enum rpm_status runtime_status ;
809 int runtime_error ;
810 int autosuspend_delay ;
811 unsigned long last_busy ;
812 unsigned long active_jiffies ;
813 unsigned long suspended_jiffies ;
814 unsigned long accounting_timestamp ;
815 ktime_t suspend_time ;
816 s64 max_time_suspended_ns ;
817 struct dev_pm_qos_request *pq_req ;
818 struct pm_subsys_data *subsys_data ;
819 struct pm_qos_constraints *constraints ;
820};
821#line 558 "include/linux/pm.h"
822struct dev_pm_domain {
823 struct dev_pm_ops ops ;
824};
825#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/topology.h"
826struct pci_bus;
827#line 173
828struct pci_bus;
829#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
830struct __anonstruct_mm_context_t_101 {
831 void *ldt ;
832 int size ;
833 unsigned short ia32_compat ;
834 struct mutex lock ;
835 void *vdso ;
836};
837#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
838typedef struct __anonstruct_mm_context_t_101 mm_context_t;
839#line 18 "include/asm-generic/pci_iomap.h"
840struct vm_area_struct;
841#line 18
842struct vm_area_struct;
843#line 835 "include/linux/sysctl.h"
844struct rb_node {
845 unsigned long rb_parent_color ;
846 struct rb_node *rb_right ;
847 struct rb_node *rb_left ;
848};
849#line 108 "include/linux/rbtree.h"
850struct rb_root {
851 struct rb_node *rb_node ;
852};
853#line 176
854struct nsproxy;
855#line 176
856struct nsproxy;
857#line 37 "include/linux/kmod.h"
858struct cred;
859#line 37
860struct cred;
861#line 18 "include/linux/elf.h"
862typedef __u64 Elf64_Addr;
863#line 19 "include/linux/elf.h"
864typedef __u16 Elf64_Half;
865#line 23 "include/linux/elf.h"
866typedef __u32 Elf64_Word;
867#line 24 "include/linux/elf.h"
868typedef __u64 Elf64_Xword;
869#line 193 "include/linux/elf.h"
870struct elf64_sym {
871 Elf64_Word st_name ;
872 unsigned char st_info ;
873 unsigned char st_other ;
874 Elf64_Half st_shndx ;
875 Elf64_Addr st_value ;
876 Elf64_Xword st_size ;
877};
878#line 201 "include/linux/elf.h"
879typedef struct elf64_sym Elf64_Sym;
880#line 445
881struct sock;
882#line 445
883struct sock;
884#line 446
885struct kobject;
886#line 446
887struct kobject;
888#line 447
889enum kobj_ns_type {
890 KOBJ_NS_TYPE_NONE = 0,
891 KOBJ_NS_TYPE_NET = 1,
892 KOBJ_NS_TYPES = 2
893} ;
894#line 453 "include/linux/elf.h"
895struct kobj_ns_type_operations {
896 enum kobj_ns_type type ;
897 void *(*grab_current_ns)(void) ;
898 void const *(*netlink_ns)(struct sock * ) ;
899 void const *(*initial_ns)(void) ;
900 void (*drop_ns)(void * ) ;
901};
902#line 57 "include/linux/kobject_ns.h"
903struct attribute {
904 char const *name ;
905 umode_t mode ;
906 struct lock_class_key *key ;
907 struct lock_class_key skey ;
908};
909#line 33 "include/linux/sysfs.h"
910struct attribute_group {
911 char const *name ;
912 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
913 struct attribute **attrs ;
914};
915#line 62 "include/linux/sysfs.h"
916struct bin_attribute {
917 struct attribute attr ;
918 size_t size ;
919 void *private ;
920 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
921 loff_t , size_t ) ;
922 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
923 loff_t , size_t ) ;
924 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
925};
926#line 98 "include/linux/sysfs.h"
927struct sysfs_ops {
928 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
929 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
930 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
931};
932#line 117
933struct sysfs_dirent;
934#line 117
935struct sysfs_dirent;
936#line 182 "include/linux/sysfs.h"
937struct kref {
938 atomic_t refcount ;
939};
940#line 49 "include/linux/kobject.h"
941struct kset;
942#line 49
943struct kobj_type;
944#line 49 "include/linux/kobject.h"
945struct kobject {
946 char const *name ;
947 struct list_head entry ;
948 struct kobject *parent ;
949 struct kset *kset ;
950 struct kobj_type *ktype ;
951 struct sysfs_dirent *sd ;
952 struct kref kref ;
953 unsigned char state_initialized : 1 ;
954 unsigned char state_in_sysfs : 1 ;
955 unsigned char state_add_uevent_sent : 1 ;
956 unsigned char state_remove_uevent_sent : 1 ;
957 unsigned char uevent_suppress : 1 ;
958};
959#line 107 "include/linux/kobject.h"
960struct kobj_type {
961 void (*release)(struct kobject * ) ;
962 struct sysfs_ops const *sysfs_ops ;
963 struct attribute **default_attrs ;
964 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
965 void const *(*namespace)(struct kobject * ) ;
966};
967#line 115 "include/linux/kobject.h"
968struct kobj_uevent_env {
969 char *envp[32U] ;
970 int envp_idx ;
971 char buf[2048U] ;
972 int buflen ;
973};
974#line 122 "include/linux/kobject.h"
975struct kset_uevent_ops {
976 int (* const filter)(struct kset * , struct kobject * ) ;
977 char const *(* const name)(struct kset * , struct kobject * ) ;
978 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
979};
980#line 139 "include/linux/kobject.h"
981struct kset {
982 struct list_head list ;
983 spinlock_t list_lock ;
984 struct kobject kobj ;
985 struct kset_uevent_ops const *uevent_ops ;
986};
987#line 215
988struct kernel_param;
989#line 215
990struct kernel_param;
991#line 216 "include/linux/kobject.h"
992struct kernel_param_ops {
993 int (*set)(char const * , struct kernel_param const * ) ;
994 int (*get)(char * , struct kernel_param const * ) ;
995 void (*free)(void * ) ;
996};
997#line 49 "include/linux/moduleparam.h"
998struct kparam_string;
999#line 49
1000struct kparam_array;
1001#line 49 "include/linux/moduleparam.h"
1002union __anonunion_ldv_13363_134 {
1003 void *arg ;
1004 struct kparam_string const *str ;
1005 struct kparam_array const *arr ;
1006};
1007#line 49 "include/linux/moduleparam.h"
1008struct kernel_param {
1009 char const *name ;
1010 struct kernel_param_ops const *ops ;
1011 u16 perm ;
1012 s16 level ;
1013 union __anonunion_ldv_13363_134 ldv_13363 ;
1014};
1015#line 61 "include/linux/moduleparam.h"
1016struct kparam_string {
1017 unsigned int maxlen ;
1018 char *string ;
1019};
1020#line 67 "include/linux/moduleparam.h"
1021struct kparam_array {
1022 unsigned int max ;
1023 unsigned int elemsize ;
1024 unsigned int *num ;
1025 struct kernel_param_ops const *ops ;
1026 void *elem ;
1027};
1028#line 458 "include/linux/moduleparam.h"
1029struct static_key {
1030 atomic_t enabled ;
1031};
1032#line 225 "include/linux/jump_label.h"
1033struct tracepoint;
1034#line 225
1035struct tracepoint;
1036#line 226 "include/linux/jump_label.h"
1037struct tracepoint_func {
1038 void *func ;
1039 void *data ;
1040};
1041#line 29 "include/linux/tracepoint.h"
1042struct tracepoint {
1043 char const *name ;
1044 struct static_key key ;
1045 void (*regfunc)(void) ;
1046 void (*unregfunc)(void) ;
1047 struct tracepoint_func *funcs ;
1048};
1049#line 86 "include/linux/tracepoint.h"
1050struct kernel_symbol {
1051 unsigned long value ;
1052 char const *name ;
1053};
1054#line 27 "include/linux/export.h"
1055struct mod_arch_specific {
1056
1057};
1058#line 34 "include/linux/module.h"
1059struct module_param_attrs;
1060#line 34 "include/linux/module.h"
1061struct module_kobject {
1062 struct kobject kobj ;
1063 struct module *mod ;
1064 struct kobject *drivers_dir ;
1065 struct module_param_attrs *mp ;
1066};
1067#line 43 "include/linux/module.h"
1068struct module_attribute {
1069 struct attribute attr ;
1070 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1071 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1072 size_t ) ;
1073 void (*setup)(struct module * , char const * ) ;
1074 int (*test)(struct module * ) ;
1075 void (*free)(struct module * ) ;
1076};
1077#line 69
1078struct exception_table_entry;
1079#line 69
1080struct exception_table_entry;
1081#line 198
1082enum module_state {
1083 MODULE_STATE_LIVE = 0,
1084 MODULE_STATE_COMING = 1,
1085 MODULE_STATE_GOING = 2
1086} ;
1087#line 204 "include/linux/module.h"
1088struct module_ref {
1089 unsigned long incs ;
1090 unsigned long decs ;
1091};
1092#line 219
1093struct module_sect_attrs;
1094#line 219
1095struct module_notes_attrs;
1096#line 219
1097struct ftrace_event_call;
1098#line 219 "include/linux/module.h"
1099struct module {
1100 enum module_state state ;
1101 struct list_head list ;
1102 char name[56U] ;
1103 struct module_kobject mkobj ;
1104 struct module_attribute *modinfo_attrs ;
1105 char const *version ;
1106 char const *srcversion ;
1107 struct kobject *holders_dir ;
1108 struct kernel_symbol const *syms ;
1109 unsigned long const *crcs ;
1110 unsigned int num_syms ;
1111 struct kernel_param *kp ;
1112 unsigned int num_kp ;
1113 unsigned int num_gpl_syms ;
1114 struct kernel_symbol const *gpl_syms ;
1115 unsigned long const *gpl_crcs ;
1116 struct kernel_symbol const *unused_syms ;
1117 unsigned long const *unused_crcs ;
1118 unsigned int num_unused_syms ;
1119 unsigned int num_unused_gpl_syms ;
1120 struct kernel_symbol const *unused_gpl_syms ;
1121 unsigned long const *unused_gpl_crcs ;
1122 struct kernel_symbol const *gpl_future_syms ;
1123 unsigned long const *gpl_future_crcs ;
1124 unsigned int num_gpl_future_syms ;
1125 unsigned int num_exentries ;
1126 struct exception_table_entry *extable ;
1127 int (*init)(void) ;
1128 void *module_init ;
1129 void *module_core ;
1130 unsigned int init_size ;
1131 unsigned int core_size ;
1132 unsigned int init_text_size ;
1133 unsigned int core_text_size ;
1134 unsigned int init_ro_size ;
1135 unsigned int core_ro_size ;
1136 struct mod_arch_specific arch ;
1137 unsigned int taints ;
1138 unsigned int num_bugs ;
1139 struct list_head bug_list ;
1140 struct bug_entry *bug_table ;
1141 Elf64_Sym *symtab ;
1142 Elf64_Sym *core_symtab ;
1143 unsigned int num_symtab ;
1144 unsigned int core_num_syms ;
1145 char *strtab ;
1146 char *core_strtab ;
1147 struct module_sect_attrs *sect_attrs ;
1148 struct module_notes_attrs *notes_attrs ;
1149 char *args ;
1150 void *percpu ;
1151 unsigned int percpu_size ;
1152 unsigned int num_tracepoints ;
1153 struct tracepoint * const *tracepoints_ptrs ;
1154 unsigned int num_trace_bprintk_fmt ;
1155 char const **trace_bprintk_fmt_start ;
1156 struct ftrace_event_call **trace_events ;
1157 unsigned int num_trace_events ;
1158 struct list_head source_list ;
1159 struct list_head target_list ;
1160 struct task_struct *waiter ;
1161 void (*exit)(void) ;
1162 struct module_ref *refptr ;
1163 ctor_fn_t (**ctors)(void) ;
1164 unsigned int num_ctors ;
1165};
1166#line 88 "include/linux/kmemleak.h"
1167struct kmem_cache_cpu {
1168 void **freelist ;
1169 unsigned long tid ;
1170 struct page *page ;
1171 struct page *partial ;
1172 int node ;
1173 unsigned int stat[26U] ;
1174};
1175#line 55 "include/linux/slub_def.h"
1176struct kmem_cache_node {
1177 spinlock_t list_lock ;
1178 unsigned long nr_partial ;
1179 struct list_head partial ;
1180 atomic_long_t nr_slabs ;
1181 atomic_long_t total_objects ;
1182 struct list_head full ;
1183};
1184#line 66 "include/linux/slub_def.h"
1185struct kmem_cache_order_objects {
1186 unsigned long x ;
1187};
1188#line 76 "include/linux/slub_def.h"
1189struct kmem_cache {
1190 struct kmem_cache_cpu *cpu_slab ;
1191 unsigned long flags ;
1192 unsigned long min_partial ;
1193 int size ;
1194 int objsize ;
1195 int offset ;
1196 int cpu_partial ;
1197 struct kmem_cache_order_objects oo ;
1198 struct kmem_cache_order_objects max ;
1199 struct kmem_cache_order_objects min ;
1200 gfp_t allocflags ;
1201 int refcount ;
1202 void (*ctor)(void * ) ;
1203 int inuse ;
1204 int align ;
1205 int reserved ;
1206 char const *name ;
1207 struct list_head list ;
1208 struct kobject kobj ;
1209 int remote_node_defrag_ratio ;
1210 struct kmem_cache_node *node[1024U] ;
1211};
1212#line 57 "include/linux/delay.h"
1213struct block_device;
1214#line 57
1215struct block_device;
1216#line 93 "include/linux/bit_spinlock.h"
1217struct hlist_bl_node;
1218#line 93 "include/linux/bit_spinlock.h"
1219struct hlist_bl_head {
1220 struct hlist_bl_node *first ;
1221};
1222#line 36 "include/linux/list_bl.h"
1223struct hlist_bl_node {
1224 struct hlist_bl_node *next ;
1225 struct hlist_bl_node **pprev ;
1226};
1227#line 114 "include/linux/rculist_bl.h"
1228struct nameidata;
1229#line 114
1230struct nameidata;
1231#line 115
1232struct path;
1233#line 115
1234struct path;
1235#line 116
1236struct vfsmount;
1237#line 116
1238struct vfsmount;
1239#line 117 "include/linux/rculist_bl.h"
1240struct qstr {
1241 unsigned int hash ;
1242 unsigned int len ;
1243 unsigned char const *name ;
1244};
1245#line 72 "include/linux/dcache.h"
1246struct inode;
1247#line 72
1248struct dentry_operations;
1249#line 72
1250struct super_block;
1251#line 72 "include/linux/dcache.h"
1252union __anonunion_d_u_135 {
1253 struct list_head d_child ;
1254 struct rcu_head d_rcu ;
1255};
1256#line 72 "include/linux/dcache.h"
1257struct dentry {
1258 unsigned int d_flags ;
1259 seqcount_t d_seq ;
1260 struct hlist_bl_node d_hash ;
1261 struct dentry *d_parent ;
1262 struct qstr d_name ;
1263 struct inode *d_inode ;
1264 unsigned char d_iname[32U] ;
1265 unsigned int d_count ;
1266 spinlock_t d_lock ;
1267 struct dentry_operations const *d_op ;
1268 struct super_block *d_sb ;
1269 unsigned long d_time ;
1270 void *d_fsdata ;
1271 struct list_head d_lru ;
1272 union __anonunion_d_u_135 d_u ;
1273 struct list_head d_subdirs ;
1274 struct list_head d_alias ;
1275};
1276#line 123 "include/linux/dcache.h"
1277struct dentry_operations {
1278 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1279 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1280 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1281 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1282 int (*d_delete)(struct dentry const * ) ;
1283 void (*d_release)(struct dentry * ) ;
1284 void (*d_prune)(struct dentry * ) ;
1285 void (*d_iput)(struct dentry * , struct inode * ) ;
1286 char *(*d_dname)(struct dentry * , char * , int ) ;
1287 struct vfsmount *(*d_automount)(struct path * ) ;
1288 int (*d_manage)(struct dentry * , bool ) ;
1289};
1290#line 402 "include/linux/dcache.h"
1291struct path {
1292 struct vfsmount *mnt ;
1293 struct dentry *dentry ;
1294};
1295#line 58 "include/linux/radix-tree.h"
1296struct radix_tree_node;
1297#line 58 "include/linux/radix-tree.h"
1298struct radix_tree_root {
1299 unsigned int height ;
1300 gfp_t gfp_mask ;
1301 struct radix_tree_node *rnode ;
1302};
1303#line 377
1304struct prio_tree_node;
1305#line 377 "include/linux/radix-tree.h"
1306struct raw_prio_tree_node {
1307 struct prio_tree_node *left ;
1308 struct prio_tree_node *right ;
1309 struct prio_tree_node *parent ;
1310};
1311#line 19 "include/linux/prio_tree.h"
1312struct prio_tree_node {
1313 struct prio_tree_node *left ;
1314 struct prio_tree_node *right ;
1315 struct prio_tree_node *parent ;
1316 unsigned long start ;
1317 unsigned long last ;
1318};
1319#line 27 "include/linux/prio_tree.h"
1320struct prio_tree_root {
1321 struct prio_tree_node *prio_tree_node ;
1322 unsigned short index_bits ;
1323 unsigned short raw ;
1324};
1325#line 111
1326enum pid_type {
1327 PIDTYPE_PID = 0,
1328 PIDTYPE_PGID = 1,
1329 PIDTYPE_SID = 2,
1330 PIDTYPE_MAX = 3
1331} ;
1332#line 118
1333struct pid_namespace;
1334#line 118 "include/linux/prio_tree.h"
1335struct upid {
1336 int nr ;
1337 struct pid_namespace *ns ;
1338 struct hlist_node pid_chain ;
1339};
1340#line 56 "include/linux/pid.h"
1341struct pid {
1342 atomic_t count ;
1343 unsigned int level ;
1344 struct hlist_head tasks[3U] ;
1345 struct rcu_head rcu ;
1346 struct upid numbers[1U] ;
1347};
1348#line 68 "include/linux/pid.h"
1349struct pid_link {
1350 struct hlist_node node ;
1351 struct pid *pid ;
1352};
1353#line 93 "include/linux/capability.h"
1354struct kernel_cap_struct {
1355 __u32 cap[2U] ;
1356};
1357#line 96 "include/linux/capability.h"
1358typedef struct kernel_cap_struct kernel_cap_t;
1359#line 104
1360struct user_namespace;
1361#line 104
1362struct user_namespace;
1363#line 45 "include/linux/semaphore.h"
1364struct fiemap_extent {
1365 __u64 fe_logical ;
1366 __u64 fe_physical ;
1367 __u64 fe_length ;
1368 __u64 fe_reserved64[2U] ;
1369 __u32 fe_flags ;
1370 __u32 fe_reserved[3U] ;
1371};
1372#line 38 "include/linux/fiemap.h"
1373struct shrink_control {
1374 gfp_t gfp_mask ;
1375 unsigned long nr_to_scan ;
1376};
1377#line 14 "include/linux/shrinker.h"
1378struct shrinker {
1379 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
1380 int seeks ;
1381 long batch ;
1382 struct list_head list ;
1383 atomic_long_t nr_in_batch ;
1384};
1385#line 43
1386enum migrate_mode {
1387 MIGRATE_ASYNC = 0,
1388 MIGRATE_SYNC_LIGHT = 1,
1389 MIGRATE_SYNC = 2
1390} ;
1391#line 49
1392struct export_operations;
1393#line 49
1394struct export_operations;
1395#line 51
1396struct iovec;
1397#line 51
1398struct iovec;
1399#line 52
1400struct kiocb;
1401#line 52
1402struct kiocb;
1403#line 53
1404struct pipe_inode_info;
1405#line 53
1406struct pipe_inode_info;
1407#line 54
1408struct poll_table_struct;
1409#line 54
1410struct poll_table_struct;
1411#line 55
1412struct kstatfs;
1413#line 55
1414struct kstatfs;
1415#line 435 "include/linux/fs.h"
1416struct iattr {
1417 unsigned int ia_valid ;
1418 umode_t ia_mode ;
1419 uid_t ia_uid ;
1420 gid_t ia_gid ;
1421 loff_t ia_size ;
1422 struct timespec ia_atime ;
1423 struct timespec ia_mtime ;
1424 struct timespec ia_ctime ;
1425 struct file *ia_file ;
1426};
1427#line 119 "include/linux/quota.h"
1428struct if_dqinfo {
1429 __u64 dqi_bgrace ;
1430 __u64 dqi_igrace ;
1431 __u32 dqi_flags ;
1432 __u32 dqi_valid ;
1433};
1434#line 176 "include/linux/percpu_counter.h"
1435struct fs_disk_quota {
1436 __s8 d_version ;
1437 __s8 d_flags ;
1438 __u16 d_fieldmask ;
1439 __u32 d_id ;
1440 __u64 d_blk_hardlimit ;
1441 __u64 d_blk_softlimit ;
1442 __u64 d_ino_hardlimit ;
1443 __u64 d_ino_softlimit ;
1444 __u64 d_bcount ;
1445 __u64 d_icount ;
1446 __s32 d_itimer ;
1447 __s32 d_btimer ;
1448 __u16 d_iwarns ;
1449 __u16 d_bwarns ;
1450 __s32 d_padding2 ;
1451 __u64 d_rtb_hardlimit ;
1452 __u64 d_rtb_softlimit ;
1453 __u64 d_rtbcount ;
1454 __s32 d_rtbtimer ;
1455 __u16 d_rtbwarns ;
1456 __s16 d_padding3 ;
1457 char d_padding4[8U] ;
1458};
1459#line 75 "include/linux/dqblk_xfs.h"
1460struct fs_qfilestat {
1461 __u64 qfs_ino ;
1462 __u64 qfs_nblks ;
1463 __u32 qfs_nextents ;
1464};
1465#line 150 "include/linux/dqblk_xfs.h"
1466typedef struct fs_qfilestat fs_qfilestat_t;
1467#line 151 "include/linux/dqblk_xfs.h"
1468struct fs_quota_stat {
1469 __s8 qs_version ;
1470 __u16 qs_flags ;
1471 __s8 qs_pad ;
1472 fs_qfilestat_t qs_uquota ;
1473 fs_qfilestat_t qs_gquota ;
1474 __u32 qs_incoredqs ;
1475 __s32 qs_btimelimit ;
1476 __s32 qs_itimelimit ;
1477 __s32 qs_rtbtimelimit ;
1478 __u16 qs_bwarnlimit ;
1479 __u16 qs_iwarnlimit ;
1480};
1481#line 165
1482struct dquot;
1483#line 165
1484struct dquot;
1485#line 185 "include/linux/quota.h"
1486typedef __kernel_uid32_t qid_t;
1487#line 186 "include/linux/quota.h"
1488typedef long long qsize_t;
1489#line 189 "include/linux/quota.h"
1490struct mem_dqblk {
1491 qsize_t dqb_bhardlimit ;
1492 qsize_t dqb_bsoftlimit ;
1493 qsize_t dqb_curspace ;
1494 qsize_t dqb_rsvspace ;
1495 qsize_t dqb_ihardlimit ;
1496 qsize_t dqb_isoftlimit ;
1497 qsize_t dqb_curinodes ;
1498 time_t dqb_btime ;
1499 time_t dqb_itime ;
1500};
1501#line 211
1502struct quota_format_type;
1503#line 211
1504struct quota_format_type;
1505#line 212 "include/linux/quota.h"
1506struct mem_dqinfo {
1507 struct quota_format_type *dqi_format ;
1508 int dqi_fmt_id ;
1509 struct list_head dqi_dirty_list ;
1510 unsigned long dqi_flags ;
1511 unsigned int dqi_bgrace ;
1512 unsigned int dqi_igrace ;
1513 qsize_t dqi_maxblimit ;
1514 qsize_t dqi_maxilimit ;
1515 void *dqi_priv ;
1516};
1517#line 275 "include/linux/quota.h"
1518struct dquot {
1519 struct hlist_node dq_hash ;
1520 struct list_head dq_inuse ;
1521 struct list_head dq_free ;
1522 struct list_head dq_dirty ;
1523 struct mutex dq_lock ;
1524 atomic_t dq_count ;
1525 wait_queue_head_t dq_wait_unused ;
1526 struct super_block *dq_sb ;
1527 unsigned int dq_id ;
1528 loff_t dq_off ;
1529 unsigned long dq_flags ;
1530 short dq_type ;
1531 struct mem_dqblk dq_dqb ;
1532};
1533#line 303 "include/linux/quota.h"
1534struct quota_format_ops {
1535 int (*check_quota_file)(struct super_block * , int ) ;
1536 int (*read_file_info)(struct super_block * , int ) ;
1537 int (*write_file_info)(struct super_block * , int ) ;
1538 int (*free_file_info)(struct super_block * , int ) ;
1539 int (*read_dqblk)(struct dquot * ) ;
1540 int (*commit_dqblk)(struct dquot * ) ;
1541 int (*release_dqblk)(struct dquot * ) ;
1542};
1543#line 314 "include/linux/quota.h"
1544struct dquot_operations {
1545 int (*write_dquot)(struct dquot * ) ;
1546 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1547 void (*destroy_dquot)(struct dquot * ) ;
1548 int (*acquire_dquot)(struct dquot * ) ;
1549 int (*release_dquot)(struct dquot * ) ;
1550 int (*mark_dirty)(struct dquot * ) ;
1551 int (*write_info)(struct super_block * , int ) ;
1552 qsize_t *(*get_reserved_space)(struct inode * ) ;
1553};
1554#line 328 "include/linux/quota.h"
1555struct quotactl_ops {
1556 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1557 int (*quota_on_meta)(struct super_block * , int , int ) ;
1558 int (*quota_off)(struct super_block * , int ) ;
1559 int (*quota_sync)(struct super_block * , int , int ) ;
1560 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1561 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1562 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1563 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1564 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1565 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1566};
1567#line 344 "include/linux/quota.h"
1568struct quota_format_type {
1569 int qf_fmt_id ;
1570 struct quota_format_ops const *qf_ops ;
1571 struct module *qf_owner ;
1572 struct quota_format_type *qf_next ;
1573};
1574#line 390 "include/linux/quota.h"
1575struct quota_info {
1576 unsigned int flags ;
1577 struct mutex dqio_mutex ;
1578 struct mutex dqonoff_mutex ;
1579 struct rw_semaphore dqptr_sem ;
1580 struct inode *files[2U] ;
1581 struct mem_dqinfo info[2U] ;
1582 struct quota_format_ops const *ops[2U] ;
1583};
1584#line 421
1585struct address_space;
1586#line 421
1587struct address_space;
1588#line 422
1589struct writeback_control;
1590#line 422
1591struct writeback_control;
1592#line 585 "include/linux/fs.h"
1593union __anonunion_arg_138 {
1594 char *buf ;
1595 void *data ;
1596};
1597#line 585 "include/linux/fs.h"
1598struct __anonstruct_read_descriptor_t_137 {
1599 size_t written ;
1600 size_t count ;
1601 union __anonunion_arg_138 arg ;
1602 int error ;
1603};
1604#line 585 "include/linux/fs.h"
1605typedef struct __anonstruct_read_descriptor_t_137 read_descriptor_t;
1606#line 588 "include/linux/fs.h"
1607struct address_space_operations {
1608 int (*writepage)(struct page * , struct writeback_control * ) ;
1609 int (*readpage)(struct file * , struct page * ) ;
1610 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1611 int (*set_page_dirty)(struct page * ) ;
1612 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
1613 unsigned int ) ;
1614 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
1615 unsigned int , struct page ** , void ** ) ;
1616 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
1617 unsigned int , struct page * , void * ) ;
1618 sector_t (*bmap)(struct address_space * , sector_t ) ;
1619 void (*invalidatepage)(struct page * , unsigned long ) ;
1620 int (*releasepage)(struct page * , gfp_t ) ;
1621 void (*freepage)(struct page * ) ;
1622 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
1623 unsigned long ) ;
1624 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1625 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1626 int (*launder_page)(struct page * ) ;
1627 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1628 int (*error_remove_page)(struct address_space * , struct page * ) ;
1629};
1630#line 642
1631struct backing_dev_info;
1632#line 642
1633struct backing_dev_info;
1634#line 643 "include/linux/fs.h"
1635struct address_space {
1636 struct inode *host ;
1637 struct radix_tree_root page_tree ;
1638 spinlock_t tree_lock ;
1639 unsigned int i_mmap_writable ;
1640 struct prio_tree_root i_mmap ;
1641 struct list_head i_mmap_nonlinear ;
1642 struct mutex i_mmap_mutex ;
1643 unsigned long nrpages ;
1644 unsigned long writeback_index ;
1645 struct address_space_operations const *a_ops ;
1646 unsigned long flags ;
1647 struct backing_dev_info *backing_dev_info ;
1648 spinlock_t private_lock ;
1649 struct list_head private_list ;
1650 struct address_space *assoc_mapping ;
1651};
1652#line 664
1653struct request_queue;
1654#line 664
1655struct request_queue;
1656#line 665
1657struct hd_struct;
1658#line 665
1659struct gendisk;
1660#line 665 "include/linux/fs.h"
1661struct block_device {
1662 dev_t bd_dev ;
1663 int bd_openers ;
1664 struct inode *bd_inode ;
1665 struct super_block *bd_super ;
1666 struct mutex bd_mutex ;
1667 struct list_head bd_inodes ;
1668 void *bd_claiming ;
1669 void *bd_holder ;
1670 int bd_holders ;
1671 bool bd_write_holder ;
1672 struct list_head bd_holder_disks ;
1673 struct block_device *bd_contains ;
1674 unsigned int bd_block_size ;
1675 struct hd_struct *bd_part ;
1676 unsigned int bd_part_count ;
1677 int bd_invalidated ;
1678 struct gendisk *bd_disk ;
1679 struct request_queue *bd_queue ;
1680 struct list_head bd_list ;
1681 unsigned long bd_private ;
1682 int bd_fsfreeze_count ;
1683 struct mutex bd_fsfreeze_mutex ;
1684};
1685#line 737
1686struct posix_acl;
1687#line 737
1688struct posix_acl;
1689#line 738
1690struct inode_operations;
1691#line 738 "include/linux/fs.h"
1692union __anonunion_ldv_15776_139 {
1693 unsigned int const i_nlink ;
1694 unsigned int __i_nlink ;
1695};
1696#line 738 "include/linux/fs.h"
1697union __anonunion_ldv_15795_140 {
1698 struct list_head i_dentry ;
1699 struct rcu_head i_rcu ;
1700};
1701#line 738
1702struct file_operations;
1703#line 738
1704struct file_lock;
1705#line 738
1706struct cdev;
1707#line 738 "include/linux/fs.h"
1708union __anonunion_ldv_15813_141 {
1709 struct pipe_inode_info *i_pipe ;
1710 struct block_device *i_bdev ;
1711 struct cdev *i_cdev ;
1712};
1713#line 738 "include/linux/fs.h"
1714struct inode {
1715 umode_t i_mode ;
1716 unsigned short i_opflags ;
1717 uid_t i_uid ;
1718 gid_t i_gid ;
1719 unsigned int i_flags ;
1720 struct posix_acl *i_acl ;
1721 struct posix_acl *i_default_acl ;
1722 struct inode_operations const *i_op ;
1723 struct super_block *i_sb ;
1724 struct address_space *i_mapping ;
1725 void *i_security ;
1726 unsigned long i_ino ;
1727 union __anonunion_ldv_15776_139 ldv_15776 ;
1728 dev_t i_rdev ;
1729 struct timespec i_atime ;
1730 struct timespec i_mtime ;
1731 struct timespec i_ctime ;
1732 spinlock_t i_lock ;
1733 unsigned short i_bytes ;
1734 blkcnt_t i_blocks ;
1735 loff_t i_size ;
1736 unsigned long i_state ;
1737 struct mutex i_mutex ;
1738 unsigned long dirtied_when ;
1739 struct hlist_node i_hash ;
1740 struct list_head i_wb_list ;
1741 struct list_head i_lru ;
1742 struct list_head i_sb_list ;
1743 union __anonunion_ldv_15795_140 ldv_15795 ;
1744 atomic_t i_count ;
1745 unsigned int i_blkbits ;
1746 u64 i_version ;
1747 atomic_t i_dio_count ;
1748 atomic_t i_writecount ;
1749 struct file_operations const *i_fop ;
1750 struct file_lock *i_flock ;
1751 struct address_space i_data ;
1752 struct dquot *i_dquot[2U] ;
1753 struct list_head i_devices ;
1754 union __anonunion_ldv_15813_141 ldv_15813 ;
1755 __u32 i_generation ;
1756 __u32 i_fsnotify_mask ;
1757 struct hlist_head i_fsnotify_marks ;
1758 atomic_t i_readcount ;
1759 void *i_private ;
1760};
1761#line 941 "include/linux/fs.h"
1762struct fown_struct {
1763 rwlock_t lock ;
1764 struct pid *pid ;
1765 enum pid_type pid_type ;
1766 uid_t uid ;
1767 uid_t euid ;
1768 int signum ;
1769};
1770#line 949 "include/linux/fs.h"
1771struct file_ra_state {
1772 unsigned long start ;
1773 unsigned int size ;
1774 unsigned int async_size ;
1775 unsigned int ra_pages ;
1776 unsigned int mmap_miss ;
1777 loff_t prev_pos ;
1778};
1779#line 972 "include/linux/fs.h"
1780union __anonunion_f_u_142 {
1781 struct list_head fu_list ;
1782 struct rcu_head fu_rcuhead ;
1783};
1784#line 972 "include/linux/fs.h"
1785struct file {
1786 union __anonunion_f_u_142 f_u ;
1787 struct path f_path ;
1788 struct file_operations const *f_op ;
1789 spinlock_t f_lock ;
1790 int f_sb_list_cpu ;
1791 atomic_long_t f_count ;
1792 unsigned int f_flags ;
1793 fmode_t f_mode ;
1794 loff_t f_pos ;
1795 struct fown_struct f_owner ;
1796 struct cred const *f_cred ;
1797 struct file_ra_state f_ra ;
1798 u64 f_version ;
1799 void *f_security ;
1800 void *private_data ;
1801 struct list_head f_ep_links ;
1802 struct list_head f_tfile_llink ;
1803 struct address_space *f_mapping ;
1804 unsigned long f_mnt_write_state ;
1805};
1806#line 1111
1807struct files_struct;
1808#line 1111 "include/linux/fs.h"
1809typedef struct files_struct *fl_owner_t;
1810#line 1112 "include/linux/fs.h"
1811struct file_lock_operations {
1812 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1813 void (*fl_release_private)(struct file_lock * ) ;
1814};
1815#line 1117 "include/linux/fs.h"
1816struct lock_manager_operations {
1817 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1818 void (*lm_notify)(struct file_lock * ) ;
1819 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
1820 void (*lm_release_private)(struct file_lock * ) ;
1821 void (*lm_break)(struct file_lock * ) ;
1822 int (*lm_change)(struct file_lock ** , int ) ;
1823};
1824#line 1134
1825struct nlm_lockowner;
1826#line 1134
1827struct nlm_lockowner;
1828#line 1135 "include/linux/fs.h"
1829struct nfs_lock_info {
1830 u32 state ;
1831 struct nlm_lockowner *owner ;
1832 struct list_head list ;
1833};
1834#line 14 "include/linux/nfs_fs_i.h"
1835struct nfs4_lock_state;
1836#line 14
1837struct nfs4_lock_state;
1838#line 15 "include/linux/nfs_fs_i.h"
1839struct nfs4_lock_info {
1840 struct nfs4_lock_state *owner ;
1841};
1842#line 19
1843struct fasync_struct;
1844#line 19 "include/linux/nfs_fs_i.h"
1845struct __anonstruct_afs_144 {
1846 struct list_head link ;
1847 int state ;
1848};
1849#line 19 "include/linux/nfs_fs_i.h"
1850union __anonunion_fl_u_143 {
1851 struct nfs_lock_info nfs_fl ;
1852 struct nfs4_lock_info nfs4_fl ;
1853 struct __anonstruct_afs_144 afs ;
1854};
1855#line 19 "include/linux/nfs_fs_i.h"
1856struct file_lock {
1857 struct file_lock *fl_next ;
1858 struct list_head fl_link ;
1859 struct list_head fl_block ;
1860 fl_owner_t fl_owner ;
1861 unsigned int fl_flags ;
1862 unsigned char fl_type ;
1863 unsigned int fl_pid ;
1864 struct pid *fl_nspid ;
1865 wait_queue_head_t fl_wait ;
1866 struct file *fl_file ;
1867 loff_t fl_start ;
1868 loff_t fl_end ;
1869 struct fasync_struct *fl_fasync ;
1870 unsigned long fl_break_time ;
1871 unsigned long fl_downgrade_time ;
1872 struct file_lock_operations const *fl_ops ;
1873 struct lock_manager_operations const *fl_lmops ;
1874 union __anonunion_fl_u_143 fl_u ;
1875};
1876#line 1221 "include/linux/fs.h"
1877struct fasync_struct {
1878 spinlock_t fa_lock ;
1879 int magic ;
1880 int fa_fd ;
1881 struct fasync_struct *fa_next ;
1882 struct file *fa_file ;
1883 struct rcu_head fa_rcu ;
1884};
1885#line 1417
1886struct file_system_type;
1887#line 1417
1888struct super_operations;
1889#line 1417
1890struct xattr_handler;
1891#line 1417
1892struct mtd_info;
1893#line 1417 "include/linux/fs.h"
1894struct super_block {
1895 struct list_head s_list ;
1896 dev_t s_dev ;
1897 unsigned char s_dirt ;
1898 unsigned char s_blocksize_bits ;
1899 unsigned long s_blocksize ;
1900 loff_t s_maxbytes ;
1901 struct file_system_type *s_type ;
1902 struct super_operations const *s_op ;
1903 struct dquot_operations const *dq_op ;
1904 struct quotactl_ops const *s_qcop ;
1905 struct export_operations const *s_export_op ;
1906 unsigned long s_flags ;
1907 unsigned long s_magic ;
1908 struct dentry *s_root ;
1909 struct rw_semaphore s_umount ;
1910 struct mutex s_lock ;
1911 int s_count ;
1912 atomic_t s_active ;
1913 void *s_security ;
1914 struct xattr_handler const **s_xattr ;
1915 struct list_head s_inodes ;
1916 struct hlist_bl_head s_anon ;
1917 struct list_head *s_files ;
1918 struct list_head s_mounts ;
1919 struct list_head s_dentry_lru ;
1920 int s_nr_dentry_unused ;
1921 spinlock_t s_inode_lru_lock ;
1922 struct list_head s_inode_lru ;
1923 int s_nr_inodes_unused ;
1924 struct block_device *s_bdev ;
1925 struct backing_dev_info *s_bdi ;
1926 struct mtd_info *s_mtd ;
1927 struct hlist_node s_instances ;
1928 struct quota_info s_dquot ;
1929 int s_frozen ;
1930 wait_queue_head_t s_wait_unfrozen ;
1931 char s_id[32U] ;
1932 u8 s_uuid[16U] ;
1933 void *s_fs_info ;
1934 unsigned int s_max_links ;
1935 fmode_t s_mode ;
1936 u32 s_time_gran ;
1937 struct mutex s_vfs_rename_mutex ;
1938 char *s_subtype ;
1939 char *s_options ;
1940 struct dentry_operations const *s_d_op ;
1941 int cleancache_poolid ;
1942 struct shrinker s_shrink ;
1943 atomic_long_t s_remove_count ;
1944 int s_readonly_remount ;
1945};
1946#line 1563 "include/linux/fs.h"
1947struct fiemap_extent_info {
1948 unsigned int fi_flags ;
1949 unsigned int fi_extents_mapped ;
1950 unsigned int fi_extents_max ;
1951 struct fiemap_extent *fi_extents_start ;
1952};
1953#line 1602 "include/linux/fs.h"
1954struct file_operations {
1955 struct module *owner ;
1956 loff_t (*llseek)(struct file * , loff_t , int ) ;
1957 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
1958 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
1959 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
1960 loff_t ) ;
1961 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
1962 loff_t ) ;
1963 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
1964 loff_t , u64 , unsigned int ) ) ;
1965 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
1966 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
1967 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
1968 int (*mmap)(struct file * , struct vm_area_struct * ) ;
1969 int (*open)(struct inode * , struct file * ) ;
1970 int (*flush)(struct file * , fl_owner_t ) ;
1971 int (*release)(struct inode * , struct file * ) ;
1972 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
1973 int (*aio_fsync)(struct kiocb * , int ) ;
1974 int (*fasync)(int , struct file * , int ) ;
1975 int (*lock)(struct file * , int , struct file_lock * ) ;
1976 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
1977 int ) ;
1978 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1979 unsigned long , unsigned long ) ;
1980 int (*check_flags)(int ) ;
1981 int (*flock)(struct file * , int , struct file_lock * ) ;
1982 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
1983 unsigned int ) ;
1984 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
1985 unsigned int ) ;
1986 int (*setlease)(struct file * , long , struct file_lock ** ) ;
1987 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
1988};
1989#line 1637 "include/linux/fs.h"
1990struct inode_operations {
1991 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
1992 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
1993 int (*permission)(struct inode * , int ) ;
1994 struct posix_acl *(*get_acl)(struct inode * , int ) ;
1995 int (*readlink)(struct dentry * , char * , int ) ;
1996 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
1997 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
1998 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
1999 int (*unlink)(struct inode * , struct dentry * ) ;
2000 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2001 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2002 int (*rmdir)(struct inode * , struct dentry * ) ;
2003 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2004 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2005 void (*truncate)(struct inode * ) ;
2006 int (*setattr)(struct dentry * , struct iattr * ) ;
2007 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
2008 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2009 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2010 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2011 int (*removexattr)(struct dentry * , char const * ) ;
2012 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2013 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
2014};
2015#line 1682 "include/linux/fs.h"
2016struct super_operations {
2017 struct inode *(*alloc_inode)(struct super_block * ) ;
2018 void (*destroy_inode)(struct inode * ) ;
2019 void (*dirty_inode)(struct inode * , int ) ;
2020 int (*write_inode)(struct inode * , struct writeback_control * ) ;
2021 int (*drop_inode)(struct inode * ) ;
2022 void (*evict_inode)(struct inode * ) ;
2023 void (*put_super)(struct super_block * ) ;
2024 void (*write_super)(struct super_block * ) ;
2025 int (*sync_fs)(struct super_block * , int ) ;
2026 int (*freeze_fs)(struct super_block * ) ;
2027 int (*unfreeze_fs)(struct super_block * ) ;
2028 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2029 int (*remount_fs)(struct super_block * , int * , char * ) ;
2030 void (*umount_begin)(struct super_block * ) ;
2031 int (*show_options)(struct seq_file * , struct dentry * ) ;
2032 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2033 int (*show_path)(struct seq_file * , struct dentry * ) ;
2034 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2035 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2036 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2037 loff_t ) ;
2038 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2039 int (*nr_cached_objects)(struct super_block * ) ;
2040 void (*free_cached_objects)(struct super_block * , int ) ;
2041};
2042#line 1834 "include/linux/fs.h"
2043struct file_system_type {
2044 char const *name ;
2045 int fs_flags ;
2046 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2047 void (*kill_sb)(struct super_block * ) ;
2048 struct module *owner ;
2049 struct file_system_type *next ;
2050 struct hlist_head fs_supers ;
2051 struct lock_class_key s_lock_key ;
2052 struct lock_class_key s_umount_key ;
2053 struct lock_class_key s_vfs_rename_key ;
2054 struct lock_class_key i_lock_key ;
2055 struct lock_class_key i_mutex_key ;
2056 struct lock_class_key i_mutex_dir_key ;
2057};
2058#line 2679 "include/linux/fs.h"
2059union __anonunion_ldv_17710_146 {
2060 unsigned long index ;
2061 void *freelist ;
2062};
2063#line 2679 "include/linux/fs.h"
2064struct __anonstruct_ldv_17720_150 {
2065 unsigned short inuse ;
2066 unsigned short objects : 15 ;
2067 unsigned char frozen : 1 ;
2068};
2069#line 2679 "include/linux/fs.h"
2070union __anonunion_ldv_17721_149 {
2071 atomic_t _mapcount ;
2072 struct __anonstruct_ldv_17720_150 ldv_17720 ;
2073};
2074#line 2679 "include/linux/fs.h"
2075struct __anonstruct_ldv_17723_148 {
2076 union __anonunion_ldv_17721_149 ldv_17721 ;
2077 atomic_t _count ;
2078};
2079#line 2679 "include/linux/fs.h"
2080union __anonunion_ldv_17724_147 {
2081 unsigned long counters ;
2082 struct __anonstruct_ldv_17723_148 ldv_17723 ;
2083};
2084#line 2679 "include/linux/fs.h"
2085struct __anonstruct_ldv_17725_145 {
2086 union __anonunion_ldv_17710_146 ldv_17710 ;
2087 union __anonunion_ldv_17724_147 ldv_17724 ;
2088};
2089#line 2679 "include/linux/fs.h"
2090struct __anonstruct_ldv_17732_152 {
2091 struct page *next ;
2092 int pages ;
2093 int pobjects ;
2094};
2095#line 2679 "include/linux/fs.h"
2096union __anonunion_ldv_17733_151 {
2097 struct list_head lru ;
2098 struct __anonstruct_ldv_17732_152 ldv_17732 ;
2099};
2100#line 2679 "include/linux/fs.h"
2101union __anonunion_ldv_17738_153 {
2102 unsigned long private ;
2103 struct kmem_cache *slab ;
2104 struct page *first_page ;
2105};
2106#line 2679 "include/linux/fs.h"
2107struct page {
2108 unsigned long flags ;
2109 struct address_space *mapping ;
2110 struct __anonstruct_ldv_17725_145 ldv_17725 ;
2111 union __anonunion_ldv_17733_151 ldv_17733 ;
2112 union __anonunion_ldv_17738_153 ldv_17738 ;
2113 unsigned long debug_flags ;
2114};
2115#line 192 "include/linux/mm_types.h"
2116struct __anonstruct_vm_set_155 {
2117 struct list_head list ;
2118 void *parent ;
2119 struct vm_area_struct *head ;
2120};
2121#line 192 "include/linux/mm_types.h"
2122union __anonunion_shared_154 {
2123 struct __anonstruct_vm_set_155 vm_set ;
2124 struct raw_prio_tree_node prio_tree_node ;
2125};
2126#line 192
2127struct anon_vma;
2128#line 192
2129struct vm_operations_struct;
2130#line 192
2131struct mempolicy;
2132#line 192 "include/linux/mm_types.h"
2133struct vm_area_struct {
2134 struct mm_struct *vm_mm ;
2135 unsigned long vm_start ;
2136 unsigned long vm_end ;
2137 struct vm_area_struct *vm_next ;
2138 struct vm_area_struct *vm_prev ;
2139 pgprot_t vm_page_prot ;
2140 unsigned long vm_flags ;
2141 struct rb_node vm_rb ;
2142 union __anonunion_shared_154 shared ;
2143 struct list_head anon_vma_chain ;
2144 struct anon_vma *anon_vma ;
2145 struct vm_operations_struct const *vm_ops ;
2146 unsigned long vm_pgoff ;
2147 struct file *vm_file ;
2148 void *vm_private_data ;
2149 struct mempolicy *vm_policy ;
2150};
2151#line 255 "include/linux/mm_types.h"
2152struct core_thread {
2153 struct task_struct *task ;
2154 struct core_thread *next ;
2155};
2156#line 261 "include/linux/mm_types.h"
2157struct core_state {
2158 atomic_t nr_threads ;
2159 struct core_thread dumper ;
2160 struct completion startup ;
2161};
2162#line 274 "include/linux/mm_types.h"
2163struct mm_rss_stat {
2164 atomic_long_t count[3U] ;
2165};
2166#line 287
2167struct linux_binfmt;
2168#line 287
2169struct mmu_notifier_mm;
2170#line 287 "include/linux/mm_types.h"
2171struct mm_struct {
2172 struct vm_area_struct *mmap ;
2173 struct rb_root mm_rb ;
2174 struct vm_area_struct *mmap_cache ;
2175 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2176 unsigned long , unsigned long ) ;
2177 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
2178 unsigned long mmap_base ;
2179 unsigned long task_size ;
2180 unsigned long cached_hole_size ;
2181 unsigned long free_area_cache ;
2182 pgd_t *pgd ;
2183 atomic_t mm_users ;
2184 atomic_t mm_count ;
2185 int map_count ;
2186 spinlock_t page_table_lock ;
2187 struct rw_semaphore mmap_sem ;
2188 struct list_head mmlist ;
2189 unsigned long hiwater_rss ;
2190 unsigned long hiwater_vm ;
2191 unsigned long total_vm ;
2192 unsigned long locked_vm ;
2193 unsigned long pinned_vm ;
2194 unsigned long shared_vm ;
2195 unsigned long exec_vm ;
2196 unsigned long stack_vm ;
2197 unsigned long reserved_vm ;
2198 unsigned long def_flags ;
2199 unsigned long nr_ptes ;
2200 unsigned long start_code ;
2201 unsigned long end_code ;
2202 unsigned long start_data ;
2203 unsigned long end_data ;
2204 unsigned long start_brk ;
2205 unsigned long brk ;
2206 unsigned long start_stack ;
2207 unsigned long arg_start ;
2208 unsigned long arg_end ;
2209 unsigned long env_start ;
2210 unsigned long env_end ;
2211 unsigned long saved_auxv[44U] ;
2212 struct mm_rss_stat rss_stat ;
2213 struct linux_binfmt *binfmt ;
2214 cpumask_var_t cpu_vm_mask_var ;
2215 mm_context_t context ;
2216 unsigned int faultstamp ;
2217 unsigned int token_priority ;
2218 unsigned int last_interval ;
2219 unsigned long flags ;
2220 struct core_state *core_state ;
2221 spinlock_t ioctx_lock ;
2222 struct hlist_head ioctx_list ;
2223 struct task_struct *owner ;
2224 struct file *exe_file ;
2225 unsigned long num_exe_file_vmas ;
2226 struct mmu_notifier_mm *mmu_notifier_mm ;
2227 pgtable_t pmd_huge_pte ;
2228 struct cpumask cpumask_allocation ;
2229};
2230#line 30 "include/linux/range.h"
2231struct user_struct;
2232#line 30
2233struct user_struct;
2234#line 178 "include/linux/mm.h"
2235struct vm_fault {
2236 unsigned int flags ;
2237 unsigned long pgoff ;
2238 void *virtual_address ;
2239 struct page *page ;
2240};
2241#line 195 "include/linux/mm.h"
2242struct vm_operations_struct {
2243 void (*open)(struct vm_area_struct * ) ;
2244 void (*close)(struct vm_area_struct * ) ;
2245 int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
2246 int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
2247 int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
2248 int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
2249 struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
2250 int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
2251 unsigned long ) ;
2252};
2253#line 1631 "include/linux/mm.h"
2254struct exception_table_entry {
2255 unsigned long insn ;
2256 unsigned long fixup ;
2257};
2258#line 348 "include/linux/irq.h"
2259struct proc_dir_entry;
2260#line 348
2261struct proc_dir_entry;
2262#line 12 "include/linux/mod_devicetable.h"
2263typedef unsigned long kernel_ulong_t;
2264#line 13 "include/linux/mod_devicetable.h"
2265struct pci_device_id {
2266 __u32 vendor ;
2267 __u32 device ;
2268 __u32 subvendor ;
2269 __u32 subdevice ;
2270 __u32 class ;
2271 __u32 class_mask ;
2272 kernel_ulong_t driver_data ;
2273};
2274#line 215 "include/linux/mod_devicetable.h"
2275struct of_device_id {
2276 char name[32U] ;
2277 char type[32U] ;
2278 char compatible[128U] ;
2279 void *data ;
2280};
2281#line 236 "include/linux/mod_devicetable.h"
2282struct pcmcia_device_id {
2283 __u16 match_flags ;
2284 __u16 manf_id ;
2285 __u16 card_id ;
2286 __u8 func_id ;
2287 __u8 function ;
2288 __u8 device_no ;
2289 __u32 prod_id_hash[4U] ;
2290 char const *prod_id[4U] ;
2291 kernel_ulong_t driver_info ;
2292 char *cisfile ;
2293};
2294#line 584
2295struct klist_node;
2296#line 584
2297struct klist_node;
2298#line 37 "include/linux/klist.h"
2299struct klist_node {
2300 void *n_klist ;
2301 struct list_head n_node ;
2302 struct kref n_ref ;
2303};
2304#line 67
2305struct dma_map_ops;
2306#line 67 "include/linux/klist.h"
2307struct dev_archdata {
2308 void *acpi_handle ;
2309 struct dma_map_ops *dma_ops ;
2310 void *iommu ;
2311};
2312#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2313struct device_private;
2314#line 17
2315struct device_private;
2316#line 18
2317struct device_driver;
2318#line 18
2319struct device_driver;
2320#line 19
2321struct driver_private;
2322#line 19
2323struct driver_private;
2324#line 20
2325struct class;
2326#line 20
2327struct class;
2328#line 21
2329struct subsys_private;
2330#line 21
2331struct subsys_private;
2332#line 22
2333struct bus_type;
2334#line 22
2335struct bus_type;
2336#line 23
2337struct device_node;
2338#line 23
2339struct device_node;
2340#line 24
2341struct iommu_ops;
2342#line 24
2343struct iommu_ops;
2344#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2345struct bus_attribute {
2346 struct attribute attr ;
2347 ssize_t (*show)(struct bus_type * , char * ) ;
2348 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
2349};
2350#line 51 "include/linux/device.h"
2351struct device_attribute;
2352#line 51
2353struct driver_attribute;
2354#line 51 "include/linux/device.h"
2355struct bus_type {
2356 char const *name ;
2357 char const *dev_name ;
2358 struct device *dev_root ;
2359 struct bus_attribute *bus_attrs ;
2360 struct device_attribute *dev_attrs ;
2361 struct driver_attribute *drv_attrs ;
2362 int (*match)(struct device * , struct device_driver * ) ;
2363 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
2364 int (*probe)(struct device * ) ;
2365 int (*remove)(struct device * ) ;
2366 void (*shutdown)(struct device * ) ;
2367 int (*suspend)(struct device * , pm_message_t ) ;
2368 int (*resume)(struct device * ) ;
2369 struct dev_pm_ops const *pm ;
2370 struct iommu_ops *iommu_ops ;
2371 struct subsys_private *p ;
2372};
2373#line 125
2374struct device_type;
2375#line 182 "include/linux/device.h"
2376struct device_driver {
2377 char const *name ;
2378 struct bus_type *bus ;
2379 struct module *owner ;
2380 char const *mod_name ;
2381 bool suppress_bind_attrs ;
2382 struct of_device_id const *of_match_table ;
2383 int (*probe)(struct device * ) ;
2384 int (*remove)(struct device * ) ;
2385 void (*shutdown)(struct device * ) ;
2386 int (*suspend)(struct device * , pm_message_t ) ;
2387 int (*resume)(struct device * ) ;
2388 struct attribute_group const **groups ;
2389 struct dev_pm_ops const *pm ;
2390 struct driver_private *p ;
2391};
2392#line 245 "include/linux/device.h"
2393struct driver_attribute {
2394 struct attribute attr ;
2395 ssize_t (*show)(struct device_driver * , char * ) ;
2396 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
2397};
2398#line 299
2399struct class_attribute;
2400#line 299 "include/linux/device.h"
2401struct class {
2402 char const *name ;
2403 struct module *owner ;
2404 struct class_attribute *class_attrs ;
2405 struct device_attribute *dev_attrs ;
2406 struct bin_attribute *dev_bin_attrs ;
2407 struct kobject *dev_kobj ;
2408 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
2409 char *(*devnode)(struct device * , umode_t * ) ;
2410 void (*class_release)(struct class * ) ;
2411 void (*dev_release)(struct device * ) ;
2412 int (*suspend)(struct device * , pm_message_t ) ;
2413 int (*resume)(struct device * ) ;
2414 struct kobj_ns_type_operations const *ns_type ;
2415 void const *(*namespace)(struct device * ) ;
2416 struct dev_pm_ops const *pm ;
2417 struct subsys_private *p ;
2418};
2419#line 394 "include/linux/device.h"
2420struct class_attribute {
2421 struct attribute attr ;
2422 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
2423 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
2424 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
2425};
2426#line 447 "include/linux/device.h"
2427struct device_type {
2428 char const *name ;
2429 struct attribute_group const **groups ;
2430 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
2431 char *(*devnode)(struct device * , umode_t * ) ;
2432 void (*release)(struct device * ) ;
2433 struct dev_pm_ops const *pm ;
2434};
2435#line 474 "include/linux/device.h"
2436struct device_attribute {
2437 struct attribute attr ;
2438 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
2439 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
2440 size_t ) ;
2441};
2442#line 557 "include/linux/device.h"
2443struct device_dma_parameters {
2444 unsigned int max_segment_size ;
2445 unsigned long segment_boundary_mask ;
2446};
2447#line 567
2448struct dma_coherent_mem;
2449#line 567 "include/linux/device.h"
2450struct device {
2451 struct device *parent ;
2452 struct device_private *p ;
2453 struct kobject kobj ;
2454 char const *init_name ;
2455 struct device_type const *type ;
2456 struct mutex mutex ;
2457 struct bus_type *bus ;
2458 struct device_driver *driver ;
2459 void *platform_data ;
2460 struct dev_pm_info power ;
2461 struct dev_pm_domain *pm_domain ;
2462 int numa_node ;
2463 u64 *dma_mask ;
2464 u64 coherent_dma_mask ;
2465 struct device_dma_parameters *dma_parms ;
2466 struct list_head dma_pools ;
2467 struct dma_coherent_mem *dma_mem ;
2468 struct dev_archdata archdata ;
2469 struct device_node *of_node ;
2470 dev_t devt ;
2471 u32 id ;
2472 spinlock_t devres_lock ;
2473 struct list_head devres_head ;
2474 struct klist_node knode_class ;
2475 struct class *class ;
2476 struct attribute_group const **groups ;
2477 void (*release)(struct device * ) ;
2478};
2479#line 681 "include/linux/device.h"
2480struct wakeup_source {
2481 char const *name ;
2482 struct list_head entry ;
2483 spinlock_t lock ;
2484 struct timer_list timer ;
2485 unsigned long timer_expires ;
2486 ktime_t total_time ;
2487 ktime_t max_time ;
2488 ktime_t last_time ;
2489 unsigned long event_count ;
2490 unsigned long active_count ;
2491 unsigned long relax_count ;
2492 unsigned long hit_count ;
2493 unsigned char active : 1 ;
2494};
2495#line 69 "include/linux/io.h"
2496struct hotplug_slot;
2497#line 69 "include/linux/io.h"
2498struct pci_slot {
2499 struct pci_bus *bus ;
2500 struct list_head list ;
2501 struct hotplug_slot *hotplug ;
2502 unsigned char number ;
2503 struct kobject kobj ;
2504};
2505#line 117 "include/linux/pci.h"
2506typedef int pci_power_t;
2507#line 143 "include/linux/pci.h"
2508typedef unsigned int pci_channel_state_t;
2509#line 144
2510enum pci_channel_state {
2511 pci_channel_io_normal = 1,
2512 pci_channel_io_frozen = 2,
2513 pci_channel_io_perm_failure = 3
2514} ;
2515#line 169 "include/linux/pci.h"
2516typedef unsigned short pci_dev_flags_t;
2517#line 186 "include/linux/pci.h"
2518typedef unsigned short pci_bus_flags_t;
2519#line 229
2520struct pcie_link_state;
2521#line 229
2522struct pcie_link_state;
2523#line 230
2524struct pci_vpd;
2525#line 230
2526struct pci_vpd;
2527#line 231
2528struct pci_sriov;
2529#line 231
2530struct pci_sriov;
2531#line 232
2532struct pci_ats;
2533#line 232
2534struct pci_ats;
2535#line 233
2536struct pci_driver;
2537#line 233 "include/linux/pci.h"
2538union __anonunion_ldv_22627_158 {
2539 struct pci_sriov *sriov ;
2540 struct pci_dev *physfn ;
2541};
2542#line 233 "include/linux/pci.h"
2543struct pci_dev {
2544 struct list_head bus_list ;
2545 struct pci_bus *bus ;
2546 struct pci_bus *subordinate ;
2547 void *sysdata ;
2548 struct proc_dir_entry *procent ;
2549 struct pci_slot *slot ;
2550 unsigned int devfn ;
2551 unsigned short vendor ;
2552 unsigned short device ;
2553 unsigned short subsystem_vendor ;
2554 unsigned short subsystem_device ;
2555 unsigned int class ;
2556 u8 revision ;
2557 u8 hdr_type ;
2558 u8 pcie_cap ;
2559 unsigned char pcie_type : 4 ;
2560 unsigned char pcie_mpss : 3 ;
2561 u8 rom_base_reg ;
2562 u8 pin ;
2563 struct pci_driver *driver ;
2564 u64 dma_mask ;
2565 struct device_dma_parameters dma_parms ;
2566 pci_power_t current_state ;
2567 int pm_cap ;
2568 unsigned char pme_support : 5 ;
2569 unsigned char pme_interrupt : 1 ;
2570 unsigned char pme_poll : 1 ;
2571 unsigned char d1_support : 1 ;
2572 unsigned char d2_support : 1 ;
2573 unsigned char no_d1d2 : 1 ;
2574 unsigned char mmio_always_on : 1 ;
2575 unsigned char wakeup_prepared : 1 ;
2576 unsigned int d3_delay ;
2577 struct pcie_link_state *link_state ;
2578 pci_channel_state_t error_state ;
2579 struct device dev ;
2580 int cfg_size ;
2581 unsigned int irq ;
2582 struct resource resource[17U] ;
2583 unsigned char transparent : 1 ;
2584 unsigned char multifunction : 1 ;
2585 unsigned char is_added : 1 ;
2586 unsigned char is_busmaster : 1 ;
2587 unsigned char no_msi : 1 ;
2588 unsigned char block_cfg_access : 1 ;
2589 unsigned char broken_parity_status : 1 ;
2590 unsigned char irq_reroute_variant : 2 ;
2591 unsigned char msi_enabled : 1 ;
2592 unsigned char msix_enabled : 1 ;
2593 unsigned char ari_enabled : 1 ;
2594 unsigned char is_managed : 1 ;
2595 unsigned char is_pcie : 1 ;
2596 unsigned char needs_freset : 1 ;
2597 unsigned char state_saved : 1 ;
2598 unsigned char is_physfn : 1 ;
2599 unsigned char is_virtfn : 1 ;
2600 unsigned char reset_fn : 1 ;
2601 unsigned char is_hotplug_bridge : 1 ;
2602 unsigned char __aer_firmware_first_valid : 1 ;
2603 unsigned char __aer_firmware_first : 1 ;
2604 pci_dev_flags_t dev_flags ;
2605 atomic_t enable_cnt ;
2606 u32 saved_config_space[16U] ;
2607 struct hlist_head saved_cap_space ;
2608 struct bin_attribute *rom_attr ;
2609 int rom_attr_enabled ;
2610 struct bin_attribute *res_attr[17U] ;
2611 struct bin_attribute *res_attr_wc[17U] ;
2612 struct list_head msi_list ;
2613 struct kset *msi_kset ;
2614 struct pci_vpd *vpd ;
2615 union __anonunion_ldv_22627_158 ldv_22627 ;
2616 struct pci_ats *ats ;
2617};
2618#line 403
2619struct pci_ops;
2620#line 403 "include/linux/pci.h"
2621struct pci_bus {
2622 struct list_head node ;
2623 struct pci_bus *parent ;
2624 struct list_head children ;
2625 struct list_head devices ;
2626 struct pci_dev *self ;
2627 struct list_head slots ;
2628 struct resource *resource[4U] ;
2629 struct list_head resources ;
2630 struct pci_ops *ops ;
2631 void *sysdata ;
2632 struct proc_dir_entry *procdir ;
2633 unsigned char number ;
2634 unsigned char primary ;
2635 unsigned char secondary ;
2636 unsigned char subordinate ;
2637 unsigned char max_bus_speed ;
2638 unsigned char cur_bus_speed ;
2639 char name[48U] ;
2640 unsigned short bridge_ctl ;
2641 pci_bus_flags_t bus_flags ;
2642 struct device *bridge ;
2643 struct device dev ;
2644 struct bin_attribute *legacy_io ;
2645 struct bin_attribute *legacy_mem ;
2646 unsigned char is_added : 1 ;
2647};
2648#line 455 "include/linux/pci.h"
2649struct pci_ops {
2650 int (*read)(struct pci_bus * , unsigned int , int , int , u32 * ) ;
2651 int (*write)(struct pci_bus * , unsigned int , int , int , u32 ) ;
2652};
2653#line 490 "include/linux/pci.h"
2654struct pci_dynids {
2655 spinlock_t lock ;
2656 struct list_head list ;
2657};
2658#line 503 "include/linux/pci.h"
2659typedef unsigned int pci_ers_result_t;
2660#line 512 "include/linux/pci.h"
2661struct pci_error_handlers {
2662 pci_ers_result_t (*error_detected)(struct pci_dev * , enum pci_channel_state ) ;
2663 pci_ers_result_t (*mmio_enabled)(struct pci_dev * ) ;
2664 pci_ers_result_t (*link_reset)(struct pci_dev * ) ;
2665 pci_ers_result_t (*slot_reset)(struct pci_dev * ) ;
2666 void (*resume)(struct pci_dev * ) ;
2667};
2668#line 540 "include/linux/pci.h"
2669struct pci_driver {
2670 struct list_head node ;
2671 char const *name ;
2672 struct pci_device_id const *id_table ;
2673 int (*probe)(struct pci_dev * , struct pci_device_id const * ) ;
2674 void (*remove)(struct pci_dev * ) ;
2675 int (*suspend)(struct pci_dev * , pm_message_t ) ;
2676 int (*suspend_late)(struct pci_dev * , pm_message_t ) ;
2677 int (*resume_early)(struct pci_dev * ) ;
2678 int (*resume)(struct pci_dev * ) ;
2679 void (*shutdown)(struct pci_dev * ) ;
2680 struct pci_error_handlers *err_handler ;
2681 struct device_driver driver ;
2682 struct pci_dynids dynids ;
2683};
2684#line 986 "include/linux/pci.h"
2685struct scatterlist {
2686 unsigned long sg_magic ;
2687 unsigned long page_link ;
2688 unsigned int offset ;
2689 unsigned int length ;
2690 dma_addr_t dma_address ;
2691 unsigned int dma_length ;
2692};
2693#line 31 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pci_64.h"
2694struct dma_attrs {
2695 unsigned long flags[1U] ;
2696};
2697#line 67 "include/linux/dma-attrs.h"
2698enum dma_data_direction {
2699 DMA_BIDIRECTIONAL = 0,
2700 DMA_TO_DEVICE = 1,
2701 DMA_FROM_DEVICE = 2,
2702 DMA_NONE = 3
2703} ;
2704#line 268 "include/linux/scatterlist.h"
2705struct dma_map_ops {
2706 void *(*alloc)(struct device * , size_t , dma_addr_t * , gfp_t , struct dma_attrs * ) ;
2707 void (*free)(struct device * , size_t , void * , dma_addr_t , struct dma_attrs * ) ;
2708 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
2709 size_t , struct dma_attrs * ) ;
2710 dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
2711 enum dma_data_direction , struct dma_attrs * ) ;
2712 void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
2713 struct dma_attrs * ) ;
2714 int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
2715 struct dma_attrs * ) ;
2716 void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
2717 struct dma_attrs * ) ;
2718 void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
2719 void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
2720 void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
2721 void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
2722 int (*mapping_error)(struct device * , dma_addr_t ) ;
2723 int (*dma_supported)(struct device * , u64 ) ;
2724 int (*set_dma_mask)(struct device * , u64 ) ;
2725 int is_phys ;
2726};
2727#line 570 "include/pcmcia/cistpl.h"
2728struct timerqueue_node {
2729 struct rb_node node ;
2730 ktime_t expires ;
2731};
2732#line 12 "include/linux/timerqueue.h"
2733struct timerqueue_head {
2734 struct rb_root head ;
2735 struct timerqueue_node *next ;
2736};
2737#line 50
2738struct hrtimer_clock_base;
2739#line 50
2740struct hrtimer_clock_base;
2741#line 51
2742struct hrtimer_cpu_base;
2743#line 51
2744struct hrtimer_cpu_base;
2745#line 60
2746enum hrtimer_restart {
2747 HRTIMER_NORESTART = 0,
2748 HRTIMER_RESTART = 1
2749} ;
2750#line 65 "include/linux/timerqueue.h"
2751struct hrtimer {
2752 struct timerqueue_node node ;
2753 ktime_t _softexpires ;
2754 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2755 struct hrtimer_clock_base *base ;
2756 unsigned long state ;
2757 int start_pid ;
2758 void *start_site ;
2759 char start_comm[16U] ;
2760};
2761#line 132 "include/linux/hrtimer.h"
2762struct hrtimer_clock_base {
2763 struct hrtimer_cpu_base *cpu_base ;
2764 int index ;
2765 clockid_t clockid ;
2766 struct timerqueue_head active ;
2767 ktime_t resolution ;
2768 ktime_t (*get_time)(void) ;
2769 ktime_t softirq_time ;
2770 ktime_t offset ;
2771};
2772#line 162 "include/linux/hrtimer.h"
2773struct hrtimer_cpu_base {
2774 raw_spinlock_t lock ;
2775 unsigned long active_bases ;
2776 ktime_t expires_next ;
2777 int hres_active ;
2778 int hang_detected ;
2779 unsigned long nr_events ;
2780 unsigned long nr_retries ;
2781 unsigned long nr_hangs ;
2782 ktime_t max_hang_time ;
2783 struct hrtimer_clock_base clock_base[3U] ;
2784};
2785#line 7 "include/asm-generic/cputime.h"
2786typedef unsigned long cputime_t;
2787#line 98 "include/linux/sem.h"
2788struct sem_undo_list;
2789#line 98 "include/linux/sem.h"
2790struct sysv_sem {
2791 struct sem_undo_list *undo_list ;
2792};
2793#line 107
2794struct siginfo;
2795#line 107
2796struct siginfo;
2797#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2798struct __anonstruct_sigset_t_165 {
2799 unsigned long sig[1U] ;
2800};
2801#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2802typedef struct __anonstruct_sigset_t_165 sigset_t;
2803#line 17 "include/asm-generic/signal-defs.h"
2804typedef void __signalfn_t(int );
2805#line 18 "include/asm-generic/signal-defs.h"
2806typedef __signalfn_t *__sighandler_t;
2807#line 20 "include/asm-generic/signal-defs.h"
2808typedef void __restorefn_t(void);
2809#line 21 "include/asm-generic/signal-defs.h"
2810typedef __restorefn_t *__sigrestore_t;
2811#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2812struct sigaction {
2813 __sighandler_t sa_handler ;
2814 unsigned long sa_flags ;
2815 __sigrestore_t sa_restorer ;
2816 sigset_t sa_mask ;
2817};
2818#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2819struct k_sigaction {
2820 struct sigaction sa ;
2821};
2822#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2823union sigval {
2824 int sival_int ;
2825 void *sival_ptr ;
2826};
2827#line 10 "include/asm-generic/siginfo.h"
2828typedef union sigval sigval_t;
2829#line 11 "include/asm-generic/siginfo.h"
2830struct __anonstruct__kill_167 {
2831 __kernel_pid_t _pid ;
2832 __kernel_uid32_t _uid ;
2833};
2834#line 11 "include/asm-generic/siginfo.h"
2835struct __anonstruct__timer_168 {
2836 __kernel_timer_t _tid ;
2837 int _overrun ;
2838 char _pad[0U] ;
2839 sigval_t _sigval ;
2840 int _sys_private ;
2841};
2842#line 11 "include/asm-generic/siginfo.h"
2843struct __anonstruct__rt_169 {
2844 __kernel_pid_t _pid ;
2845 __kernel_uid32_t _uid ;
2846 sigval_t _sigval ;
2847};
2848#line 11 "include/asm-generic/siginfo.h"
2849struct __anonstruct__sigchld_170 {
2850 __kernel_pid_t _pid ;
2851 __kernel_uid32_t _uid ;
2852 int _status ;
2853 __kernel_clock_t _utime ;
2854 __kernel_clock_t _stime ;
2855};
2856#line 11 "include/asm-generic/siginfo.h"
2857struct __anonstruct__sigfault_171 {
2858 void *_addr ;
2859 short _addr_lsb ;
2860};
2861#line 11 "include/asm-generic/siginfo.h"
2862struct __anonstruct__sigpoll_172 {
2863 long _band ;
2864 int _fd ;
2865};
2866#line 11 "include/asm-generic/siginfo.h"
2867union __anonunion__sifields_166 {
2868 int _pad[28U] ;
2869 struct __anonstruct__kill_167 _kill ;
2870 struct __anonstruct__timer_168 _timer ;
2871 struct __anonstruct__rt_169 _rt ;
2872 struct __anonstruct__sigchld_170 _sigchld ;
2873 struct __anonstruct__sigfault_171 _sigfault ;
2874 struct __anonstruct__sigpoll_172 _sigpoll ;
2875};
2876#line 11 "include/asm-generic/siginfo.h"
2877struct siginfo {
2878 int si_signo ;
2879 int si_errno ;
2880 int si_code ;
2881 union __anonunion__sifields_166 _sifields ;
2882};
2883#line 102 "include/asm-generic/siginfo.h"
2884typedef struct siginfo siginfo_t;
2885#line 24 "include/linux/signal.h"
2886struct sigpending {
2887 struct list_head list ;
2888 sigset_t signal ;
2889};
2890#line 10 "include/linux/seccomp.h"
2891struct __anonstruct_seccomp_t_175 {
2892 int mode ;
2893};
2894#line 10 "include/linux/seccomp.h"
2895typedef struct __anonstruct_seccomp_t_175 seccomp_t;
2896#line 26 "include/linux/seccomp.h"
2897struct plist_head {
2898 struct list_head node_list ;
2899};
2900#line 84 "include/linux/plist.h"
2901struct plist_node {
2902 int prio ;
2903 struct list_head prio_list ;
2904 struct list_head node_list ;
2905};
2906#line 38 "include/linux/rtmutex.h"
2907struct rt_mutex_waiter;
2908#line 38
2909struct rt_mutex_waiter;
2910#line 41 "include/linux/resource.h"
2911struct rlimit {
2912 unsigned long rlim_cur ;
2913 unsigned long rlim_max ;
2914};
2915#line 85 "include/linux/resource.h"
2916struct task_io_accounting {
2917 u64 rchar ;
2918 u64 wchar ;
2919 u64 syscr ;
2920 u64 syscw ;
2921 u64 read_bytes ;
2922 u64 write_bytes ;
2923 u64 cancelled_write_bytes ;
2924};
2925#line 45 "include/linux/task_io_accounting.h"
2926struct latency_record {
2927 unsigned long backtrace[12U] ;
2928 unsigned int count ;
2929 unsigned long time ;
2930 unsigned long max ;
2931};
2932#line 29 "include/linux/key.h"
2933typedef int32_t key_serial_t;
2934#line 32 "include/linux/key.h"
2935typedef uint32_t key_perm_t;
2936#line 33
2937struct key;
2938#line 33
2939struct key;
2940#line 34
2941struct signal_struct;
2942#line 34
2943struct signal_struct;
2944#line 35
2945struct key_type;
2946#line 35
2947struct key_type;
2948#line 37
2949struct keyring_list;
2950#line 37
2951struct keyring_list;
2952#line 115
2953struct key_user;
2954#line 115 "include/linux/key.h"
2955union __anonunion_ldv_26037_176 {
2956 time_t expiry ;
2957 time_t revoked_at ;
2958};
2959#line 115 "include/linux/key.h"
2960union __anonunion_type_data_177 {
2961 struct list_head link ;
2962 unsigned long x[2U] ;
2963 void *p[2U] ;
2964 int reject_error ;
2965};
2966#line 115 "include/linux/key.h"
2967union __anonunion_payload_178 {
2968 unsigned long value ;
2969 void *rcudata ;
2970 void *data ;
2971 struct keyring_list *subscriptions ;
2972};
2973#line 115 "include/linux/key.h"
2974struct key {
2975 atomic_t usage ;
2976 key_serial_t serial ;
2977 struct rb_node serial_node ;
2978 struct key_type *type ;
2979 struct rw_semaphore sem ;
2980 struct key_user *user ;
2981 void *security ;
2982 union __anonunion_ldv_26037_176 ldv_26037 ;
2983 uid_t uid ;
2984 gid_t gid ;
2985 key_perm_t perm ;
2986 unsigned short quotalen ;
2987 unsigned short datalen ;
2988 unsigned long flags ;
2989 char *description ;
2990 union __anonunion_type_data_177 type_data ;
2991 union __anonunion_payload_178 payload ;
2992};
2993#line 316
2994struct audit_context;
2995#line 316
2996struct audit_context;
2997#line 27 "include/linux/selinux.h"
2998struct group_info {
2999 atomic_t usage ;
3000 int ngroups ;
3001 int nblocks ;
3002 gid_t small_block[32U] ;
3003 gid_t *blocks[0U] ;
3004};
3005#line 77 "include/linux/cred.h"
3006struct thread_group_cred {
3007 atomic_t usage ;
3008 pid_t tgid ;
3009 spinlock_t lock ;
3010 struct key *session_keyring ;
3011 struct key *process_keyring ;
3012 struct rcu_head rcu ;
3013};
3014#line 91 "include/linux/cred.h"
3015struct cred {
3016 atomic_t usage ;
3017 atomic_t subscribers ;
3018 void *put_addr ;
3019 unsigned int magic ;
3020 uid_t uid ;
3021 gid_t gid ;
3022 uid_t suid ;
3023 gid_t sgid ;
3024 uid_t euid ;
3025 gid_t egid ;
3026 uid_t fsuid ;
3027 gid_t fsgid ;
3028 unsigned int securebits ;
3029 kernel_cap_t cap_inheritable ;
3030 kernel_cap_t cap_permitted ;
3031 kernel_cap_t cap_effective ;
3032 kernel_cap_t cap_bset ;
3033 unsigned char jit_keyring ;
3034 struct key *thread_keyring ;
3035 struct key *request_key_auth ;
3036 struct thread_group_cred *tgcred ;
3037 void *security ;
3038 struct user_struct *user ;
3039 struct user_namespace *user_ns ;
3040 struct group_info *group_info ;
3041 struct rcu_head rcu ;
3042};
3043#line 264
3044struct llist_node;
3045#line 64 "include/linux/llist.h"
3046struct llist_node {
3047 struct llist_node *next ;
3048};
3049#line 185
3050struct futex_pi_state;
3051#line 185
3052struct futex_pi_state;
3053#line 186
3054struct robust_list_head;
3055#line 186
3056struct robust_list_head;
3057#line 187
3058struct bio_list;
3059#line 187
3060struct bio_list;
3061#line 188
3062struct fs_struct;
3063#line 188
3064struct fs_struct;
3065#line 189
3066struct perf_event_context;
3067#line 189
3068struct perf_event_context;
3069#line 190
3070struct blk_plug;
3071#line 190
3072struct blk_plug;
3073#line 149 "include/linux/sched.h"
3074struct cfs_rq;
3075#line 149
3076struct cfs_rq;
3077#line 44 "include/linux/aio_abi.h"
3078struct io_event {
3079 __u64 data ;
3080 __u64 obj ;
3081 __s64 res ;
3082 __s64 res2 ;
3083};
3084#line 106 "include/linux/aio_abi.h"
3085struct iovec {
3086 void *iov_base ;
3087 __kernel_size_t iov_len ;
3088};
3089#line 54 "include/linux/uio.h"
3090struct kioctx;
3091#line 54
3092struct kioctx;
3093#line 55 "include/linux/uio.h"
3094union __anonunion_ki_obj_179 {
3095 void *user ;
3096 struct task_struct *tsk ;
3097};
3098#line 55
3099struct eventfd_ctx;
3100#line 55 "include/linux/uio.h"
3101struct kiocb {
3102 struct list_head ki_run_list ;
3103 unsigned long ki_flags ;
3104 int ki_users ;
3105 unsigned int ki_key ;
3106 struct file *ki_filp ;
3107 struct kioctx *ki_ctx ;
3108 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3109 ssize_t (*ki_retry)(struct kiocb * ) ;
3110 void (*ki_dtor)(struct kiocb * ) ;
3111 union __anonunion_ki_obj_179 ki_obj ;
3112 __u64 ki_user_data ;
3113 loff_t ki_pos ;
3114 void *private ;
3115 unsigned short ki_opcode ;
3116 size_t ki_nbytes ;
3117 char *ki_buf ;
3118 size_t ki_left ;
3119 struct iovec ki_inline_vec ;
3120 struct iovec *ki_iovec ;
3121 unsigned long ki_nr_segs ;
3122 unsigned long ki_cur_seg ;
3123 struct list_head ki_list ;
3124 struct list_head ki_batch ;
3125 struct eventfd_ctx *ki_eventfd ;
3126};
3127#line 162 "include/linux/aio.h"
3128struct aio_ring_info {
3129 unsigned long mmap_base ;
3130 unsigned long mmap_size ;
3131 struct page **ring_pages ;
3132 spinlock_t ring_lock ;
3133 long nr_pages ;
3134 unsigned int nr ;
3135 unsigned int tail ;
3136 struct page *internal_pages[8U] ;
3137};
3138#line 178 "include/linux/aio.h"
3139struct kioctx {
3140 atomic_t users ;
3141 int dead ;
3142 struct mm_struct *mm ;
3143 unsigned long user_id ;
3144 struct hlist_node list ;
3145 wait_queue_head_t wait ;
3146 spinlock_t ctx_lock ;
3147 int reqs_active ;
3148 struct list_head active_reqs ;
3149 struct list_head run_list ;
3150 unsigned int max_reqs ;
3151 struct aio_ring_info ring_info ;
3152 struct delayed_work wq ;
3153 struct rcu_head rcu_head ;
3154};
3155#line 406 "include/linux/sched.h"
3156struct sighand_struct {
3157 atomic_t count ;
3158 struct k_sigaction action[64U] ;
3159 spinlock_t siglock ;
3160 wait_queue_head_t signalfd_wqh ;
3161};
3162#line 449 "include/linux/sched.h"
3163struct pacct_struct {
3164 int ac_flag ;
3165 long ac_exitcode ;
3166 unsigned long ac_mem ;
3167 cputime_t ac_utime ;
3168 cputime_t ac_stime ;
3169 unsigned long ac_minflt ;
3170 unsigned long ac_majflt ;
3171};
3172#line 457 "include/linux/sched.h"
3173struct cpu_itimer {
3174 cputime_t expires ;
3175 cputime_t incr ;
3176 u32 error ;
3177 u32 incr_error ;
3178};
3179#line 464 "include/linux/sched.h"
3180struct task_cputime {
3181 cputime_t utime ;
3182 cputime_t stime ;
3183 unsigned long long sum_exec_runtime ;
3184};
3185#line 481 "include/linux/sched.h"
3186struct thread_group_cputimer {
3187 struct task_cputime cputime ;
3188 int running ;
3189 raw_spinlock_t lock ;
3190};
3191#line 517
3192struct autogroup;
3193#line 517
3194struct autogroup;
3195#line 518
3196struct tty_struct;
3197#line 518
3198struct taskstats;
3199#line 518
3200struct tty_audit_buf;
3201#line 518 "include/linux/sched.h"
3202struct signal_struct {
3203 atomic_t sigcnt ;
3204 atomic_t live ;
3205 int nr_threads ;
3206 wait_queue_head_t wait_chldexit ;
3207 struct task_struct *curr_target ;
3208 struct sigpending shared_pending ;
3209 int group_exit_code ;
3210 int notify_count ;
3211 struct task_struct *group_exit_task ;
3212 int group_stop_count ;
3213 unsigned int flags ;
3214 unsigned char is_child_subreaper : 1 ;
3215 unsigned char has_child_subreaper : 1 ;
3216 struct list_head posix_timers ;
3217 struct hrtimer real_timer ;
3218 struct pid *leader_pid ;
3219 ktime_t it_real_incr ;
3220 struct cpu_itimer it[2U] ;
3221 struct thread_group_cputimer cputimer ;
3222 struct task_cputime cputime_expires ;
3223 struct list_head cpu_timers[3U] ;
3224 struct pid *tty_old_pgrp ;
3225 int leader ;
3226 struct tty_struct *tty ;
3227 struct autogroup *autogroup ;
3228 cputime_t utime ;
3229 cputime_t stime ;
3230 cputime_t cutime ;
3231 cputime_t cstime ;
3232 cputime_t gtime ;
3233 cputime_t cgtime ;
3234 cputime_t prev_utime ;
3235 cputime_t prev_stime ;
3236 unsigned long nvcsw ;
3237 unsigned long nivcsw ;
3238 unsigned long cnvcsw ;
3239 unsigned long cnivcsw ;
3240 unsigned long min_flt ;
3241 unsigned long maj_flt ;
3242 unsigned long cmin_flt ;
3243 unsigned long cmaj_flt ;
3244 unsigned long inblock ;
3245 unsigned long oublock ;
3246 unsigned long cinblock ;
3247 unsigned long coublock ;
3248 unsigned long maxrss ;
3249 unsigned long cmaxrss ;
3250 struct task_io_accounting ioac ;
3251 unsigned long long sum_sched_runtime ;
3252 struct rlimit rlim[16U] ;
3253 struct pacct_struct pacct ;
3254 struct taskstats *stats ;
3255 unsigned int audit_tty ;
3256 struct tty_audit_buf *tty_audit_buf ;
3257 struct rw_semaphore group_rwsem ;
3258 int oom_adj ;
3259 int oom_score_adj ;
3260 int oom_score_adj_min ;
3261 struct mutex cred_guard_mutex ;
3262};
3263#line 699 "include/linux/sched.h"
3264struct user_struct {
3265 atomic_t __count ;
3266 atomic_t processes ;
3267 atomic_t files ;
3268 atomic_t sigpending ;
3269 atomic_t inotify_watches ;
3270 atomic_t inotify_devs ;
3271 atomic_t fanotify_listeners ;
3272 atomic_long_t epoll_watches ;
3273 unsigned long mq_bytes ;
3274 unsigned long locked_shm ;
3275 struct key *uid_keyring ;
3276 struct key *session_keyring ;
3277 struct hlist_node uidhash_node ;
3278 uid_t uid ;
3279 struct user_namespace *user_ns ;
3280 atomic_long_t locked_vm ;
3281};
3282#line 744
3283struct reclaim_state;
3284#line 744
3285struct reclaim_state;
3286#line 745 "include/linux/sched.h"
3287struct sched_info {
3288 unsigned long pcount ;
3289 unsigned long long run_delay ;
3290 unsigned long long last_arrival ;
3291 unsigned long long last_queued ;
3292};
3293#line 760 "include/linux/sched.h"
3294struct task_delay_info {
3295 spinlock_t lock ;
3296 unsigned int flags ;
3297 struct timespec blkio_start ;
3298 struct timespec blkio_end ;
3299 u64 blkio_delay ;
3300 u64 swapin_delay ;
3301 u32 blkio_count ;
3302 u32 swapin_count ;
3303 struct timespec freepages_start ;
3304 struct timespec freepages_end ;
3305 u64 freepages_delay ;
3306 u32 freepages_count ;
3307};
3308#line 1069
3309struct io_context;
3310#line 1069
3311struct io_context;
3312#line 1098
3313struct rq;
3314#line 1098
3315struct rq;
3316#line 1099 "include/linux/sched.h"
3317struct sched_class {
3318 struct sched_class const *next ;
3319 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
3320 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
3321 void (*yield_task)(struct rq * ) ;
3322 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
3323 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
3324 struct task_struct *(*pick_next_task)(struct rq * ) ;
3325 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
3326 int (*select_task_rq)(struct task_struct * , int , int ) ;
3327 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
3328 void (*post_schedule)(struct rq * ) ;
3329 void (*task_waking)(struct task_struct * ) ;
3330 void (*task_woken)(struct rq * , struct task_struct * ) ;
3331 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
3332 void (*rq_online)(struct rq * ) ;
3333 void (*rq_offline)(struct rq * ) ;
3334 void (*set_curr_task)(struct rq * ) ;
3335 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
3336 void (*task_fork)(struct task_struct * ) ;
3337 void (*switched_from)(struct rq * , struct task_struct * ) ;
3338 void (*switched_to)(struct rq * , struct task_struct * ) ;
3339 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
3340 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
3341 void (*task_move_group)(struct task_struct * , int ) ;
3342};
3343#line 1165 "include/linux/sched.h"
3344struct load_weight {
3345 unsigned long weight ;
3346 unsigned long inv_weight ;
3347};
3348#line 1170 "include/linux/sched.h"
3349struct sched_statistics {
3350 u64 wait_start ;
3351 u64 wait_max ;
3352 u64 wait_count ;
3353 u64 wait_sum ;
3354 u64 iowait_count ;
3355 u64 iowait_sum ;
3356 u64 sleep_start ;
3357 u64 sleep_max ;
3358 s64 sum_sleep_runtime ;
3359 u64 block_start ;
3360 u64 block_max ;
3361 u64 exec_max ;
3362 u64 slice_max ;
3363 u64 nr_migrations_cold ;
3364 u64 nr_failed_migrations_affine ;
3365 u64 nr_failed_migrations_running ;
3366 u64 nr_failed_migrations_hot ;
3367 u64 nr_forced_migrations ;
3368 u64 nr_wakeups ;
3369 u64 nr_wakeups_sync ;
3370 u64 nr_wakeups_migrate ;
3371 u64 nr_wakeups_local ;
3372 u64 nr_wakeups_remote ;
3373 u64 nr_wakeups_affine ;
3374 u64 nr_wakeups_affine_attempts ;
3375 u64 nr_wakeups_passive ;
3376 u64 nr_wakeups_idle ;
3377};
3378#line 1205 "include/linux/sched.h"
3379struct sched_entity {
3380 struct load_weight load ;
3381 struct rb_node run_node ;
3382 struct list_head group_node ;
3383 unsigned int on_rq ;
3384 u64 exec_start ;
3385 u64 sum_exec_runtime ;
3386 u64 vruntime ;
3387 u64 prev_sum_exec_runtime ;
3388 u64 nr_migrations ;
3389 struct sched_statistics statistics ;
3390 struct sched_entity *parent ;
3391 struct cfs_rq *cfs_rq ;
3392 struct cfs_rq *my_q ;
3393};
3394#line 1231
3395struct rt_rq;
3396#line 1231 "include/linux/sched.h"
3397struct sched_rt_entity {
3398 struct list_head run_list ;
3399 unsigned long timeout ;
3400 unsigned int time_slice ;
3401 int nr_cpus_allowed ;
3402 struct sched_rt_entity *back ;
3403 struct sched_rt_entity *parent ;
3404 struct rt_rq *rt_rq ;
3405 struct rt_rq *my_q ;
3406};
3407#line 1255
3408struct mem_cgroup;
3409#line 1255 "include/linux/sched.h"
3410struct memcg_batch_info {
3411 int do_batch ;
3412 struct mem_cgroup *memcg ;
3413 unsigned long nr_pages ;
3414 unsigned long memsw_nr_pages ;
3415};
3416#line 1616
3417struct css_set;
3418#line 1616
3419struct compat_robust_list_head;
3420#line 1616 "include/linux/sched.h"
3421struct task_struct {
3422 long volatile state ;
3423 void *stack ;
3424 atomic_t usage ;
3425 unsigned int flags ;
3426 unsigned int ptrace ;
3427 struct llist_node wake_entry ;
3428 int on_cpu ;
3429 int on_rq ;
3430 int prio ;
3431 int static_prio ;
3432 int normal_prio ;
3433 unsigned int rt_priority ;
3434 struct sched_class const *sched_class ;
3435 struct sched_entity se ;
3436 struct sched_rt_entity rt ;
3437 struct hlist_head preempt_notifiers ;
3438 unsigned char fpu_counter ;
3439 unsigned int policy ;
3440 cpumask_t cpus_allowed ;
3441 struct sched_info sched_info ;
3442 struct list_head tasks ;
3443 struct plist_node pushable_tasks ;
3444 struct mm_struct *mm ;
3445 struct mm_struct *active_mm ;
3446 unsigned char brk_randomized : 1 ;
3447 int exit_state ;
3448 int exit_code ;
3449 int exit_signal ;
3450 int pdeath_signal ;
3451 unsigned int jobctl ;
3452 unsigned int personality ;
3453 unsigned char did_exec : 1 ;
3454 unsigned char in_execve : 1 ;
3455 unsigned char in_iowait : 1 ;
3456 unsigned char sched_reset_on_fork : 1 ;
3457 unsigned char sched_contributes_to_load : 1 ;
3458 unsigned char irq_thread : 1 ;
3459 pid_t pid ;
3460 pid_t tgid ;
3461 unsigned long stack_canary ;
3462 struct task_struct *real_parent ;
3463 struct task_struct *parent ;
3464 struct list_head children ;
3465 struct list_head sibling ;
3466 struct task_struct *group_leader ;
3467 struct list_head ptraced ;
3468 struct list_head ptrace_entry ;
3469 struct pid_link pids[3U] ;
3470 struct list_head thread_group ;
3471 struct completion *vfork_done ;
3472 int *set_child_tid ;
3473 int *clear_child_tid ;
3474 cputime_t utime ;
3475 cputime_t stime ;
3476 cputime_t utimescaled ;
3477 cputime_t stimescaled ;
3478 cputime_t gtime ;
3479 cputime_t prev_utime ;
3480 cputime_t prev_stime ;
3481 unsigned long nvcsw ;
3482 unsigned long nivcsw ;
3483 struct timespec start_time ;
3484 struct timespec real_start_time ;
3485 unsigned long min_flt ;
3486 unsigned long maj_flt ;
3487 struct task_cputime cputime_expires ;
3488 struct list_head cpu_timers[3U] ;
3489 struct cred const *real_cred ;
3490 struct cred const *cred ;
3491 struct cred *replacement_session_keyring ;
3492 char comm[16U] ;
3493 int link_count ;
3494 int total_link_count ;
3495 struct sysv_sem sysvsem ;
3496 unsigned long last_switch_count ;
3497 struct thread_struct thread ;
3498 struct fs_struct *fs ;
3499 struct files_struct *files ;
3500 struct nsproxy *nsproxy ;
3501 struct signal_struct *signal ;
3502 struct sighand_struct *sighand ;
3503 sigset_t blocked ;
3504 sigset_t real_blocked ;
3505 sigset_t saved_sigmask ;
3506 struct sigpending pending ;
3507 unsigned long sas_ss_sp ;
3508 size_t sas_ss_size ;
3509 int (*notifier)(void * ) ;
3510 void *notifier_data ;
3511 sigset_t *notifier_mask ;
3512 struct audit_context *audit_context ;
3513 uid_t loginuid ;
3514 unsigned int sessionid ;
3515 seccomp_t seccomp ;
3516 u32 parent_exec_id ;
3517 u32 self_exec_id ;
3518 spinlock_t alloc_lock ;
3519 raw_spinlock_t pi_lock ;
3520 struct plist_head pi_waiters ;
3521 struct rt_mutex_waiter *pi_blocked_on ;
3522 struct mutex_waiter *blocked_on ;
3523 unsigned int irq_events ;
3524 unsigned long hardirq_enable_ip ;
3525 unsigned long hardirq_disable_ip ;
3526 unsigned int hardirq_enable_event ;
3527 unsigned int hardirq_disable_event ;
3528 int hardirqs_enabled ;
3529 int hardirq_context ;
3530 unsigned long softirq_disable_ip ;
3531 unsigned long softirq_enable_ip ;
3532 unsigned int softirq_disable_event ;
3533 unsigned int softirq_enable_event ;
3534 int softirqs_enabled ;
3535 int softirq_context ;
3536 u64 curr_chain_key ;
3537 int lockdep_depth ;
3538 unsigned int lockdep_recursion ;
3539 struct held_lock held_locks[48U] ;
3540 gfp_t lockdep_reclaim_gfp ;
3541 void *journal_info ;
3542 struct bio_list *bio_list ;
3543 struct blk_plug *plug ;
3544 struct reclaim_state *reclaim_state ;
3545 struct backing_dev_info *backing_dev_info ;
3546 struct io_context *io_context ;
3547 unsigned long ptrace_message ;
3548 siginfo_t *last_siginfo ;
3549 struct task_io_accounting ioac ;
3550 u64 acct_rss_mem1 ;
3551 u64 acct_vm_mem1 ;
3552 cputime_t acct_timexpd ;
3553 nodemask_t mems_allowed ;
3554 seqcount_t mems_allowed_seq ;
3555 int cpuset_mem_spread_rotor ;
3556 int cpuset_slab_spread_rotor ;
3557 struct css_set *cgroups ;
3558 struct list_head cg_list ;
3559 struct robust_list_head *robust_list ;
3560 struct compat_robust_list_head *compat_robust_list ;
3561 struct list_head pi_state_list ;
3562 struct futex_pi_state *pi_state_cache ;
3563 struct perf_event_context *perf_event_ctxp[2U] ;
3564 struct mutex perf_event_mutex ;
3565 struct list_head perf_event_list ;
3566 struct mempolicy *mempolicy ;
3567 short il_next ;
3568 short pref_node_fork ;
3569 struct rcu_head rcu ;
3570 struct pipe_inode_info *splice_pipe ;
3571 struct task_delay_info *delays ;
3572 int make_it_fail ;
3573 int nr_dirtied ;
3574 int nr_dirtied_pause ;
3575 unsigned long dirty_paused_when ;
3576 int latency_record_count ;
3577 struct latency_record latency_record[32U] ;
3578 unsigned long timer_slack_ns ;
3579 unsigned long default_timer_slack_ns ;
3580 struct list_head *scm_work_list ;
3581 unsigned long trace ;
3582 unsigned long trace_recursion ;
3583 struct memcg_batch_info memcg_batch ;
3584 atomic_t ptrace_bp_refcnt ;
3585};
3586#line 2820 "include/linux/sched.h"
3587struct socket_state_t {
3588 u_int flags ;
3589 u_int csc_mask ;
3590 u_char Vcc ;
3591 u_char Vpp ;
3592 u_char io_irq ;
3593};
3594#line 58 "include/pcmcia/ss.h"
3595typedef struct socket_state_t socket_state_t;
3596#line 61 "include/pcmcia/ss.h"
3597struct pccard_io_map {
3598 u_char map ;
3599 u_char flags ;
3600 u_short speed ;
3601 phys_addr_t start ;
3602 phys_addr_t stop ;
3603};
3604#line 93 "include/pcmcia/ss.h"
3605struct pccard_mem_map {
3606 u_char map ;
3607 u_char flags ;
3608 u_short speed ;
3609 phys_addr_t static_start ;
3610 u_int card_start ;
3611 struct resource *res ;
3612};
3613#line 101 "include/pcmcia/ss.h"
3614typedef struct pccard_mem_map pccard_mem_map;
3615#line 102 "include/pcmcia/ss.h"
3616struct io_window_t {
3617 u_int InUse ;
3618 u_int Config ;
3619 struct resource *res ;
3620};
3621#line 106 "include/pcmcia/ss.h"
3622typedef struct io_window_t io_window_t;
3623#line 107
3624struct pcmcia_socket;
3625#line 107
3626struct pcmcia_socket;
3627#line 108
3628struct pccard_resource_ops;
3629#line 108
3630struct pccard_resource_ops;
3631#line 109
3632struct config_t;
3633#line 109
3634struct config_t;
3635#line 110
3636struct pcmcia_callback;
3637#line 110
3638struct pcmcia_callback;
3639#line 112 "include/pcmcia/ss.h"
3640struct pccard_operations {
3641 int (*init)(struct pcmcia_socket * ) ;
3642 int (*suspend)(struct pcmcia_socket * ) ;
3643 int (*get_status)(struct pcmcia_socket * , u_int * ) ;
3644 int (*set_socket)(struct pcmcia_socket * , socket_state_t * ) ;
3645 int (*set_io_map)(struct pcmcia_socket * , struct pccard_io_map * ) ;
3646 int (*set_mem_map)(struct pcmcia_socket * , struct pccard_mem_map * ) ;
3647};
3648#line 132 "include/pcmcia/ss.h"
3649struct pcmcia_socket {
3650 struct module *owner ;
3651 socket_state_t socket ;
3652 u_int state ;
3653 u_int suspended_state ;
3654 u_short functions ;
3655 u_short lock_count ;
3656 pccard_mem_map cis_mem ;
3657 void *cis_virt ;
3658 io_window_t io[2U] ;
3659 pccard_mem_map win[4U] ;
3660 struct list_head cis_cache ;
3661 size_t fake_cis_len ;
3662 u8 *fake_cis ;
3663 struct list_head socket_list ;
3664 struct completion socket_released ;
3665 unsigned int sock ;
3666 u_int features ;
3667 u_int irq_mask ;
3668 u_int map_size ;
3669 u_int io_offset ;
3670 u_int pci_irq ;
3671 struct pci_dev *cb_dev ;
3672 u8 resource_setup_done ;
3673 struct pccard_operations *ops ;
3674 struct pccard_resource_ops *resource_ops ;
3675 void *resource_data ;
3676 void (*zoom_video)(struct pcmcia_socket * , int ) ;
3677 int (*power_hook)(struct pcmcia_socket * , int ) ;
3678 void (*tune_bridge)(struct pcmcia_socket * , struct pci_bus * ) ;
3679 struct task_struct *thread ;
3680 struct completion thread_done ;
3681 unsigned int thread_events ;
3682 unsigned int sysfs_events ;
3683 struct mutex skt_mutex ;
3684 struct mutex ops_mutex ;
3685 spinlock_t thread_lock ;
3686 struct pcmcia_callback *callback ;
3687 struct list_head devices_list ;
3688 u8 device_count ;
3689 u8 pcmcia_pfc ;
3690 atomic_t present ;
3691 unsigned int pcmcia_irq ;
3692 struct device dev ;
3693 void *driver_data ;
3694 int resume_status ;
3695};
3696#line 264
3697struct pcmcia_device;
3698#line 264
3699struct pcmcia_device;
3700#line 265 "include/pcmcia/ss.h"
3701struct pcmcia_dynids {
3702 struct mutex lock ;
3703 struct list_head list ;
3704};
3705#line 48 "include/pcmcia/ds.h"
3706struct pcmcia_driver {
3707 char const *name ;
3708 int (*probe)(struct pcmcia_device * ) ;
3709 void (*remove)(struct pcmcia_device * ) ;
3710 int (*suspend)(struct pcmcia_device * ) ;
3711 int (*resume)(struct pcmcia_device * ) ;
3712 struct module *owner ;
3713 struct pcmcia_device_id const *id_table ;
3714 struct device_driver drv ;
3715 struct pcmcia_dynids dynids ;
3716};
3717#line 77 "include/pcmcia/ds.h"
3718struct pcmcia_device {
3719 struct pcmcia_socket *socket ;
3720 char *devname ;
3721 u8 device_no ;
3722 u8 func ;
3723 struct config_t *function_config ;
3724 struct list_head socket_device_list ;
3725 unsigned int irq ;
3726 struct resource *resource[6U] ;
3727 resource_size_t card_addr ;
3728 unsigned int vpp ;
3729 unsigned int config_flags ;
3730 unsigned int config_base ;
3731 unsigned int config_index ;
3732 unsigned int config_regs ;
3733 unsigned int io_lines ;
3734 unsigned char suspended : 1 ;
3735 unsigned char _irq : 1 ;
3736 unsigned char _io : 1 ;
3737 unsigned char _win : 4 ;
3738 unsigned char _locked : 1 ;
3739 unsigned char allow_func_id_match : 1 ;
3740 unsigned char has_manf_id : 1 ;
3741 unsigned char has_card_id : 1 ;
3742 unsigned char has_func_id : 1 ;
3743 unsigned char reserved : 4 ;
3744 u8 func_id ;
3745 u16 manf_id ;
3746 u16 card_id ;
3747 char *prod_id[4U] ;
3748 u64 dma_mask ;
3749 struct device dev ;
3750 void *priv ;
3751 unsigned int open ;
3752};
3753#line 222
3754enum led_brightness {
3755 LED_OFF = 0,
3756 LED_HALF = 127,
3757 LED_FULL = 255
3758} ;
3759#line 228
3760struct led_trigger;
3761#line 228 "include/pcmcia/ds.h"
3762struct led_classdev {
3763 char const *name ;
3764 int brightness ;
3765 int max_brightness ;
3766 int flags ;
3767 void (*brightness_set)(struct led_classdev * , enum led_brightness ) ;
3768 enum led_brightness (*brightness_get)(struct led_classdev * ) ;
3769 int (*blink_set)(struct led_classdev * , unsigned long * , unsigned long * ) ;
3770 struct device *dev ;
3771 struct list_head node ;
3772 char const *default_trigger ;
3773 unsigned long blink_delay_on ;
3774 unsigned long blink_delay_off ;
3775 struct timer_list blink_timer ;
3776 int blink_brightness ;
3777 struct rw_semaphore trigger_lock ;
3778 struct led_trigger *trigger ;
3779 struct list_head trig_list ;
3780 void *trigger_data ;
3781};
3782#line 113 "include/linux/leds.h"
3783struct led_trigger {
3784 char const *name ;
3785 void (*activate)(struct led_classdev * ) ;
3786 void (*deactivate)(struct led_classdev * ) ;
3787 rwlock_t leddev_list_lock ;
3788 struct list_head led_cdevs ;
3789 struct list_head next_trig ;
3790};
3791#line 211 "include/linux/leds.h"
3792struct seq_file {
3793 char *buf ;
3794 size_t size ;
3795 size_t from ;
3796 size_t count ;
3797 loff_t index ;
3798 loff_t read_pos ;
3799 u64 version ;
3800 struct mutex lock ;
3801 struct seq_operations const *op ;
3802 int poll_event ;
3803 void *private ;
3804};
3805#line 30 "include/linux/seq_file.h"
3806struct seq_operations {
3807 void *(*start)(struct seq_file * , loff_t * ) ;
3808 void (*stop)(struct seq_file * , void * ) ;
3809 void *(*next)(struct seq_file * , void * , loff_t * ) ;
3810 int (*show)(struct seq_file * , void * ) ;
3811};
3812#line 97 "include/linux/debugfs.h"
3813struct fault_attr {
3814 unsigned long probability ;
3815 unsigned long interval ;
3816 atomic_t times ;
3817 atomic_t space ;
3818 unsigned long verbose ;
3819 u32 task_filter ;
3820 unsigned long stacktrace_depth ;
3821 unsigned long require_start ;
3822 unsigned long require_end ;
3823 unsigned long reject_start ;
3824 unsigned long reject_end ;
3825 unsigned long count ;
3826};
3827#line 62 "include/linux/fault-inject.h"
3828struct mmc_data;
3829#line 62
3830struct mmc_data;
3831#line 63
3832struct mmc_request;
3833#line 63
3834struct mmc_request;
3835#line 64 "include/linux/fault-inject.h"
3836struct mmc_command {
3837 u32 opcode ;
3838 u32 arg ;
3839 u32 resp[4U] ;
3840 unsigned int flags ;
3841 unsigned int retries ;
3842 unsigned int error ;
3843 unsigned int cmd_timeout_ms ;
3844 struct mmc_data *data ;
3845 struct mmc_request *mrq ;
3846};
3847#line 100 "include/linux/mmc/core.h"
3848struct mmc_data {
3849 unsigned int timeout_ns ;
3850 unsigned int timeout_clks ;
3851 unsigned int blksz ;
3852 unsigned int blocks ;
3853 unsigned int error ;
3854 unsigned int flags ;
3855 unsigned int bytes_xfered ;
3856 struct mmc_command *stop ;
3857 struct mmc_request *mrq ;
3858 unsigned int sg_len ;
3859 struct scatterlist *sg ;
3860 s32 host_cookie ;
3861};
3862#line 122 "include/linux/mmc/core.h"
3863struct mmc_request {
3864 struct mmc_command *sbc ;
3865 struct mmc_command *cmd ;
3866 struct mmc_data *data ;
3867 struct mmc_command *stop ;
3868 struct completion completion ;
3869 void (*done)(struct mmc_request * ) ;
3870};
3871#line 132
3872struct mmc_host;
3873#line 132
3874struct mmc_host;
3875#line 133
3876struct mmc_card;
3877#line 133
3878struct mmc_card;
3879#line 134
3880struct mmc_async_req;
3881#line 134
3882struct mmc_async_req;
3883#line 25 "include/linux/mmc/pm.h"
3884typedef unsigned int mmc_pm_flag_t;
3885#line 26 "include/linux/mmc/pm.h"
3886struct mmc_ios {
3887 unsigned int clock ;
3888 unsigned short vdd ;
3889 unsigned char bus_mode ;
3890 unsigned char chip_select ;
3891 unsigned char power_mode ;
3892 unsigned char bus_width ;
3893 unsigned char timing ;
3894 unsigned char signal_voltage ;
3895 unsigned char drv_type ;
3896};
3897#line 76 "include/linux/mmc/host.h"
3898struct mmc_host_ops {
3899 int (*enable)(struct mmc_host * ) ;
3900 int (*disable)(struct mmc_host * ) ;
3901 void (*post_req)(struct mmc_host * , struct mmc_request * , int ) ;
3902 void (*pre_req)(struct mmc_host * , struct mmc_request * , bool ) ;
3903 void (*request)(struct mmc_host * , struct mmc_request * ) ;
3904 void (*set_ios)(struct mmc_host * , struct mmc_ios * ) ;
3905 int (*get_ro)(struct mmc_host * ) ;
3906 int (*get_cd)(struct mmc_host * ) ;
3907 void (*enable_sdio_irq)(struct mmc_host * , int ) ;
3908 void (*init_card)(struct mmc_host * , struct mmc_card * ) ;
3909 int (*start_signal_voltage_switch)(struct mmc_host * , struct mmc_ios * ) ;
3910 int (*execute_tuning)(struct mmc_host * , u32 ) ;
3911 void (*enable_preset_value)(struct mmc_host * , bool ) ;
3912 int (*select_drive_strength)(unsigned int , int , int ) ;
3913 void (*hw_reset)(struct mmc_host * ) ;
3914};
3915#line 139 "include/linux/mmc/host.h"
3916struct mmc_async_req {
3917 struct mmc_request *mrq ;
3918 int (*err_check)(struct mmc_card * , struct mmc_async_req * ) ;
3919};
3920#line 152 "include/linux/mmc/host.h"
3921struct mmc_hotplug {
3922 unsigned int irq ;
3923 void *handler_priv ;
3924};
3925#line 157
3926struct mmc_bus_ops;
3927#line 157 "include/linux/mmc/host.h"
3928struct mmc_host {
3929 struct device *parent ;
3930 struct device class_dev ;
3931 int index ;
3932 struct mmc_host_ops const *ops ;
3933 unsigned int f_min ;
3934 unsigned int f_max ;
3935 unsigned int f_init ;
3936 u32 ocr_avail ;
3937 u32 ocr_avail_sdio ;
3938 u32 ocr_avail_sd ;
3939 u32 ocr_avail_mmc ;
3940 struct notifier_block pm_notify ;
3941 unsigned long caps ;
3942 unsigned int caps2 ;
3943 mmc_pm_flag_t pm_caps ;
3944 unsigned int power_notify_type ;
3945 int clk_requests ;
3946 unsigned int clk_delay ;
3947 bool clk_gated ;
3948 struct delayed_work clk_gate_work ;
3949 unsigned int clk_old ;
3950 spinlock_t clk_lock ;
3951 struct mutex clk_gate_mutex ;
3952 struct device_attribute clkgate_delay_attr ;
3953 unsigned long clkgate_delay ;
3954 unsigned int max_seg_size ;
3955 unsigned short max_segs ;
3956 unsigned short unused ;
3957 unsigned int max_req_size ;
3958 unsigned int max_blk_size ;
3959 unsigned int max_blk_count ;
3960 unsigned int max_discard_to ;
3961 spinlock_t lock ;
3962 struct mmc_ios ios ;
3963 u32 ocr ;
3964 unsigned char use_spi_crc : 1 ;
3965 unsigned char claimed : 1 ;
3966 unsigned char bus_dead : 1 ;
3967 unsigned char removed : 1 ;
3968 int rescan_disable ;
3969 struct mmc_card *card ;
3970 wait_queue_head_t wq ;
3971 struct task_struct *claimer ;
3972 int claim_cnt ;
3973 struct delayed_work detect ;
3974 int detect_change ;
3975 struct mmc_hotplug hotplug ;
3976 struct mmc_bus_ops const *bus_ops ;
3977 unsigned int bus_refs ;
3978 unsigned int sdio_irqs ;
3979 struct task_struct *sdio_irq_thread ;
3980 atomic_t sdio_irq_thread_abort ;
3981 mmc_pm_flag_t pm_flags ;
3982 struct led_trigger *led ;
3983 bool regulator_enabled ;
3984 struct dentry *debugfs_root ;
3985 struct mmc_async_req *areq ;
3986 struct fault_attr fail_mmc_request ;
3987 unsigned int actual_clock ;
3988 unsigned long private[0U] ;
3989};
3990#line 105 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
3991struct sdricoh_host {
3992 struct device *dev ;
3993 struct mmc_host *mmc ;
3994 unsigned char *iobase ;
3995 struct pci_dev *pci_dev ;
3996 int app_cmd ;
3997};
3998#line 1 "<compiler builtins>"
3999long __builtin_expect(long , long ) ;
4000#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4001void ldv_spin_lock(void) ;
4002#line 3
4003void ldv_spin_unlock(void) ;
4004#line 4
4005int ldv_spin_trylock(void) ;
4006#line 50 "include/linux/dynamic_debug.h"
4007extern int __dynamic_dev_dbg(struct _ddebug * , struct device const * , char const *
4008 , ...) ;
4009#line 147 "include/linux/kernel.h"
4010extern void __might_sleep(char const * , int , int ) ;
4011#line 53 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
4012__inline static unsigned char readb(void const volatile *addr )
4013{ unsigned char ret ;
4014 unsigned char volatile *__cil_tmp3 ;
4015
4016 {
4017#line 53
4018 __cil_tmp3 = (unsigned char volatile *)addr;
4019#line 53
4020 __asm__ volatile ("movb %1,%0": "=q" (ret): "m" (*__cil_tmp3): "memory");
4021#line 53
4022 return (ret);
4023}
4024}
4025#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
4026__inline static unsigned int readl(void const volatile *addr )
4027{ unsigned int ret ;
4028 unsigned int volatile *__cil_tmp3 ;
4029
4030 {
4031#line 55
4032 __cil_tmp3 = (unsigned int volatile *)addr;
4033#line 55
4034 __asm__ volatile ("movl %1,%0": "=r" (ret): "m" (*__cil_tmp3): "memory");
4035#line 55
4036 return (ret);
4037}
4038}
4039#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
4040__inline static void writew(unsigned short val , void volatile *addr )
4041{ unsigned short volatile *__cil_tmp3 ;
4042
4043 {
4044#line 62
4045 __cil_tmp3 = (unsigned short volatile *)addr;
4046#line 62
4047 __asm__ volatile ("movw %0,%1": : "r" (val), "m" (*__cil_tmp3): "memory");
4048#line 63
4049 return;
4050}
4051}
4052#line 63 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
4053__inline static void writel(unsigned int val , void volatile *addr )
4054{ unsigned int volatile *__cil_tmp3 ;
4055
4056 {
4057#line 63
4058 __cil_tmp3 = (unsigned int volatile *)addr;
4059#line 63
4060 __asm__ volatile ("movl %0,%1": : "r" (val), "m" (*__cil_tmp3): "memory");
4061#line 64
4062 return;
4063}
4064}
4065#line 72 "include/asm-generic/iomap.h"
4066extern void pci_iounmap(struct pci_dev * , void * ) ;
4067#line 17 "include/asm-generic/pci_iomap.h"
4068extern void *pci_iomap(struct pci_dev * , int , unsigned long ) ;
4069#line 220 "include/linux/slub_def.h"
4070extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
4071#line 223
4072void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
4073#line 11 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4074void ldv_check_alloc_flags(gfp_t flags ) ;
4075#line 12
4076void ldv_check_alloc_nonatomic(void) ;
4077#line 14
4078struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
4079#line 737 "include/linux/mm.h"
4080__inline static void *lowmem_page_address(struct page const *page )
4081{ long __cil_tmp2 ;
4082 long __cil_tmp3 ;
4083 long __cil_tmp4 ;
4084 unsigned long long __cil_tmp5 ;
4085 unsigned long long __cil_tmp6 ;
4086 unsigned long __cil_tmp7 ;
4087 unsigned long __cil_tmp8 ;
4088
4089 {
4090 {
4091#line 739
4092 __cil_tmp2 = (long )page;
4093#line 739
4094 __cil_tmp3 = __cil_tmp2 + 24189255811072L;
4095#line 739
4096 __cil_tmp4 = __cil_tmp3 / 64L;
4097#line 739
4098 __cil_tmp5 = (unsigned long long )__cil_tmp4;
4099#line 739
4100 __cil_tmp6 = __cil_tmp5 << 12;
4101#line 739
4102 __cil_tmp7 = (unsigned long )__cil_tmp6;
4103#line 739
4104 __cil_tmp8 = __cil_tmp7 + 0xffff880000000000UL;
4105#line 739
4106 return ((void *)__cil_tmp8);
4107 }
4108}
4109}
4110#line 49 "include/linux/highmem.h"
4111__inline static void *kmap(struct page *page )
4112{ void *tmp ;
4113 struct page const *__cil_tmp3 ;
4114
4115 {
4116 {
4117#line 51
4118 __might_sleep("include/linux/highmem.h", 51, 0);
4119#line 52
4120 __cil_tmp3 = (struct page const *)page;
4121#line 52
4122 tmp = lowmem_page_address(__cil_tmp3);
4123 }
4124#line 52
4125 return (tmp);
4126}
4127}
4128#line 55 "include/linux/highmem.h"
4129__inline static void kunmap(struct page *page )
4130{
4131
4132 {
4133#line 57
4134 return;
4135}
4136}
4137#line 892 "include/linux/device.h"
4138extern int dev_err(struct device const * , char const * , ...) ;
4139#line 898
4140extern int _dev_info(struct device const * , char const * , ...) ;
4141#line 687 "include/linux/pci.h"
4142extern void pci_dev_put(struct pci_dev * ) ;
4143#line 716
4144extern struct pci_dev *pci_get_device(unsigned int , unsigned int , struct pci_dev * ) ;
4145#line 95 "include/linux/scatterlist.h"
4146__inline static struct page *sg_page(struct scatterlist *sg )
4147{ long tmp ;
4148 long tmp___0 ;
4149 unsigned long __cil_tmp4 ;
4150 int __cil_tmp5 ;
4151 long __cil_tmp6 ;
4152 unsigned long __cil_tmp7 ;
4153 unsigned long __cil_tmp8 ;
4154 unsigned long __cil_tmp9 ;
4155 int __cil_tmp10 ;
4156 long __cil_tmp11 ;
4157 long __cil_tmp12 ;
4158 unsigned long __cil_tmp13 ;
4159 unsigned long __cil_tmp14 ;
4160 unsigned long __cil_tmp15 ;
4161 unsigned long __cil_tmp16 ;
4162
4163 {
4164 {
4165#line 98
4166 __cil_tmp4 = *((unsigned long *)sg);
4167#line 98
4168 __cil_tmp5 = __cil_tmp4 != 2271560481UL;
4169#line 98
4170 __cil_tmp6 = (long )__cil_tmp5;
4171#line 98
4172 tmp = __builtin_expect(__cil_tmp6, 0L);
4173 }
4174#line 98
4175 if (tmp != 0L) {
4176#line 98
4177 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"),
4178 "i" (98), "i" (12UL));
4179 ldv_23594: ;
4180#line 98
4181 goto ldv_23594;
4182 } else {
4183
4184 }
4185 {
4186#line 99
4187 __cil_tmp7 = (unsigned long )sg;
4188#line 99
4189 __cil_tmp8 = __cil_tmp7 + 8;
4190#line 99
4191 __cil_tmp9 = *((unsigned long *)__cil_tmp8);
4192#line 99
4193 __cil_tmp10 = (int )__cil_tmp9;
4194#line 99
4195 __cil_tmp11 = (long )__cil_tmp10;
4196#line 99
4197 __cil_tmp12 = __cil_tmp11 & 1L;
4198#line 99
4199 tmp___0 = __builtin_expect(__cil_tmp12, 0L);
4200 }
4201#line 99
4202 if (tmp___0 != 0L) {
4203#line 99
4204 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"),
4205 "i" (99), "i" (12UL));
4206 ldv_23595: ;
4207#line 99
4208 goto ldv_23595;
4209 } else {
4210
4211 }
4212 {
4213#line 101
4214 __cil_tmp13 = (unsigned long )sg;
4215#line 101
4216 __cil_tmp14 = __cil_tmp13 + 8;
4217#line 101
4218 __cil_tmp15 = *((unsigned long *)__cil_tmp14);
4219#line 101
4220 __cil_tmp16 = __cil_tmp15 & 0xfffffffffffffffcUL;
4221#line 101
4222 return ((struct page *)__cil_tmp16);
4223 }
4224}
4225}
4226#line 65 "include/pcmcia/ds.h"
4227extern int pcmcia_register_driver(struct pcmcia_driver * ) ;
4228#line 66
4229extern void pcmcia_unregister_driver(struct pcmcia_driver * ) ;
4230#line 221
4231extern void pcmcia_disable_device(struct pcmcia_device * ) ;
4232#line 325 "include/linux/mmc/host.h"
4233extern struct mmc_host *mmc_alloc_host(int , struct device * ) ;
4234#line 326
4235extern int mmc_add_host(struct mmc_host * ) ;
4236#line 327
4237extern void mmc_remove_host(struct mmc_host * ) ;
4238#line 328
4239extern void mmc_free_host(struct mmc_host * ) ;
4240#line 330 "include/linux/mmc/host.h"
4241__inline static void *mmc_priv(struct mmc_host *host )
4242{ unsigned long __cil_tmp2 ;
4243 unsigned long __cil_tmp3 ;
4244 unsigned long (*__cil_tmp4)[0U] ;
4245
4246 {
4247 {
4248#line 332
4249 __cil_tmp2 = (unsigned long )host;
4250#line 332
4251 __cil_tmp3 = __cil_tmp2 + 2408;
4252#line 332
4253 __cil_tmp4 = (unsigned long (*)[0U])__cil_tmp3;
4254#line 332
4255 return ((void *)__cil_tmp4);
4256 }
4257}
4258}
4259#line 341
4260extern int mmc_suspend_host(struct mmc_host * ) ;
4261#line 342
4262extern int mmc_resume_host(struct mmc_host * ) ;
4263#line 348
4264extern void mmc_request_done(struct mmc_host * , struct mmc_request * ) ;
4265#line 57 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4266static unsigned int switchlocked ;
4267#line 95 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4268static struct pcmcia_device_id const pcmcia_ids[3U] = { {(__u16 )48U, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
4269 (unsigned char)0, {3656721133U, 3280998914U, 0U, 0U}, {"RICOH", "Bay1Controller",
4270 (char const *)0, (char const *)0},
4271 0UL, (char *)0},
4272 {(__u16 )48U, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
4273 (unsigned char)0, {3656721133U, 2900887817U, 0U, 0U}, {"RICOH", "Bay Controller",
4274 (char const *)0, (char const *)0},
4275 0UL, (char *)0},
4276 {(__u16 )0U, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
4277 (unsigned char)0, {0U, 0U, 0U, 0U}, {(char const *)0, (char const *)0, (char const *)0,
4278 (char const *)0}, 0UL, (char *)0}};
4279#line 104 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4280struct pcmcia_device_id const __mod_pcmcia_device_table ;
4281#line 117 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4282__inline static unsigned int sdricoh_readl(struct sdricoh_host *host , unsigned int reg )
4283{ unsigned int value ;
4284 unsigned int tmp ;
4285 unsigned long __cil_tmp5 ;
4286 unsigned long __cil_tmp6 ;
4287 unsigned long __cil_tmp7 ;
4288 unsigned char *__cil_tmp8 ;
4289 void const volatile *__cil_tmp9 ;
4290 void const volatile *__cil_tmp10 ;
4291
4292 {
4293 {
4294#line 120
4295 __cil_tmp5 = (unsigned long )reg;
4296#line 120
4297 __cil_tmp6 = (unsigned long )host;
4298#line 120
4299 __cil_tmp7 = __cil_tmp6 + 16;
4300#line 120
4301 __cil_tmp8 = *((unsigned char **)__cil_tmp7);
4302#line 120
4303 __cil_tmp9 = (void const volatile *)__cil_tmp8;
4304#line 120
4305 __cil_tmp10 = __cil_tmp9 + __cil_tmp5;
4306#line 120
4307 tmp = readl(__cil_tmp10);
4308#line 120
4309 value = tmp;
4310 }
4311#line 122
4312 return (value);
4313}
4314}
4315#line 125 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4316__inline static void sdricoh_writel(struct sdricoh_host *host , unsigned int reg ,
4317 unsigned int value )
4318{ unsigned long __cil_tmp4 ;
4319 unsigned long __cil_tmp5 ;
4320 unsigned long __cil_tmp6 ;
4321 unsigned char *__cil_tmp7 ;
4322 void volatile *__cil_tmp8 ;
4323 void volatile *__cil_tmp9 ;
4324
4325 {
4326 {
4327#line 128
4328 __cil_tmp4 = (unsigned long )reg;
4329#line 128
4330 __cil_tmp5 = (unsigned long )host;
4331#line 128
4332 __cil_tmp6 = __cil_tmp5 + 16;
4333#line 128
4334 __cil_tmp7 = *((unsigned char **)__cil_tmp6);
4335#line 128
4336 __cil_tmp8 = (void volatile *)__cil_tmp7;
4337#line 128
4338 __cil_tmp9 = __cil_tmp8 + __cil_tmp4;
4339#line 128
4340 writel(value, __cil_tmp9);
4341 }
4342#line 131
4343 return;
4344}
4345}
4346#line 141 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4347__inline static void sdricoh_writew(struct sdricoh_host *host , unsigned int reg ,
4348 unsigned short value )
4349{ int __cil_tmp4 ;
4350 unsigned short __cil_tmp5 ;
4351 unsigned long __cil_tmp6 ;
4352 unsigned long __cil_tmp7 ;
4353 unsigned long __cil_tmp8 ;
4354 unsigned char *__cil_tmp9 ;
4355 void volatile *__cil_tmp10 ;
4356 void volatile *__cil_tmp11 ;
4357
4358 {
4359 {
4360#line 144
4361 __cil_tmp4 = (int )value;
4362#line 144
4363 __cil_tmp5 = (unsigned short )__cil_tmp4;
4364#line 144
4365 __cil_tmp6 = (unsigned long )reg;
4366#line 144
4367 __cil_tmp7 = (unsigned long )host;
4368#line 144
4369 __cil_tmp8 = __cil_tmp7 + 16;
4370#line 144
4371 __cil_tmp9 = *((unsigned char **)__cil_tmp8);
4372#line 144
4373 __cil_tmp10 = (void volatile *)__cil_tmp9;
4374#line 144
4375 __cil_tmp11 = __cil_tmp10 + __cil_tmp6;
4376#line 144
4377 writew(__cil_tmp5, __cil_tmp11);
4378 }
4379#line 147
4380 return;
4381}
4382}
4383#line 148 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4384__inline static unsigned int sdricoh_readb(struct sdricoh_host *host , unsigned int reg )
4385{ unsigned int value ;
4386 unsigned char tmp ;
4387 unsigned long __cil_tmp5 ;
4388 unsigned long __cil_tmp6 ;
4389 unsigned long __cil_tmp7 ;
4390 unsigned char *__cil_tmp8 ;
4391 void const volatile *__cil_tmp9 ;
4392 void const volatile *__cil_tmp10 ;
4393
4394 {
4395 {
4396#line 151
4397 __cil_tmp5 = (unsigned long )reg;
4398#line 151
4399 __cil_tmp6 = (unsigned long )host;
4400#line 151
4401 __cil_tmp7 = __cil_tmp6 + 16;
4402#line 151
4403 __cil_tmp8 = *((unsigned char **)__cil_tmp7);
4404#line 151
4405 __cil_tmp9 = (void const volatile *)__cil_tmp8;
4406#line 151
4407 __cil_tmp10 = __cil_tmp9 + __cil_tmp5;
4408#line 151
4409 tmp = readb(__cil_tmp10);
4410#line 151
4411 value = (unsigned int )tmp;
4412 }
4413#line 153
4414 return (value);
4415}
4416}
4417#line 156 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4418static int sdricoh_query_status(struct sdricoh_host *host , unsigned int wanted ,
4419 unsigned int timeout )
4420{ unsigned int loop ;
4421 unsigned int status ;
4422 struct device *dev ;
4423 unsigned int __cil_tmp7 ;
4424 struct device const *__cil_tmp8 ;
4425 unsigned int __cil_tmp9 ;
4426 struct device const *__cil_tmp10 ;
4427
4428 {
4429#line 159
4430 status = 0U;
4431#line 160
4432 dev = *((struct device **)host);
4433#line 161
4434 loop = 0U;
4435#line 161
4436 goto ldv_28864;
4437 ldv_28863:
4438 {
4439#line 162
4440 status = sdricoh_readl(host, 540U);
4441#line 163
4442 sdricoh_writel(host, 740U, status);
4443 }
4444 {
4445#line 164
4446 __cil_tmp7 = status & wanted;
4447#line 164
4448 if (__cil_tmp7 != 0U) {
4449#line 165
4450 goto ldv_28862;
4451 } else {
4452
4453 }
4454 }
4455#line 161
4456 loop = loop + 1U;
4457 ldv_28864: ;
4458#line 161
4459 if (loop < timeout) {
4460#line 162
4461 goto ldv_28863;
4462 } else {
4463#line 164
4464 goto ldv_28862;
4465 }
4466 ldv_28862: ;
4467#line 168
4468 if (loop == timeout) {
4469 {
4470#line 169
4471 __cil_tmp8 = (struct device const *)dev;
4472#line 169
4473 dev_err(__cil_tmp8, "query_status: timeout waiting for %x\n", wanted);
4474 }
4475#line 170
4476 return (-110);
4477 } else {
4478
4479 }
4480 {
4481#line 174
4482 __cil_tmp9 = status & 8323072U;
4483#line 174
4484 if (__cil_tmp9 != 0U) {
4485 {
4486#line 175
4487 __cil_tmp10 = (struct device const *)dev;
4488#line 175
4489 dev_err(__cil_tmp10, "waiting for status bit %x failed\n", wanted);
4490 }
4491#line 176
4492 return (-22);
4493 } else {
4494
4495 }
4496 }
4497#line 178
4498 return (0);
4499}
4500}
4501#line 182 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4502static int sdricoh_mmc_cmd(struct sdricoh_host *host , unsigned char opcode , unsigned int arg )
4503{ unsigned int status ;
4504 int result ;
4505 unsigned int loop ;
4506 int __cil_tmp7 ;
4507 int __cil_tmp8 ;
4508 unsigned int __cil_tmp9 ;
4509 unsigned int __cil_tmp10 ;
4510 int __cil_tmp11 ;
4511 unsigned int __cil_tmp12 ;
4512
4513 {
4514 {
4515#line 186
4516 result = 0;
4517#line 187
4518 loop = 0U;
4519#line 189
4520 sdricoh_writel(host, 540U, 24U);
4521#line 191
4522 sdricoh_writel(host, 516U, arg);
4523#line 192
4524 __cil_tmp7 = (int )opcode;
4525#line 192
4526 __cil_tmp8 = __cil_tmp7 | 16777216;
4527#line 192
4528 __cil_tmp9 = (unsigned int )__cil_tmp8;
4529#line 192
4530 sdricoh_writel(host, 512U, __cil_tmp9);
4531 }
4532 {
4533#line 194
4534 __cil_tmp10 = (unsigned int )opcode;
4535#line 194
4536 if (__cil_tmp10 != 0U) {
4537#line 195
4538 loop = 0U;
4539#line 195
4540 goto ldv_28875;
4541 ldv_28874:
4542 {
4543#line 196
4544 status = sdricoh_readl(host, 540U);
4545#line 197
4546 sdricoh_writel(host, 740U, status);
4547 }
4548 {
4549#line 198
4550 __cil_tmp11 = (int )status;
4551#line 198
4552 if (__cil_tmp11 & 1) {
4553#line 199
4554 goto ldv_28873;
4555 } else {
4556
4557 }
4558 }
4559#line 195
4560 loop = loop + 1U;
4561 ldv_28875: ;
4562#line 195
4563 if (loop <= 99999U) {
4564#line 196
4565 goto ldv_28874;
4566 } else {
4567#line 198
4568 goto ldv_28873;
4569 }
4570 ldv_28873: ;
4571#line 204
4572 if (loop == 100000U) {
4573#line 205
4574 result = -110;
4575 } else {
4576 {
4577#line 204
4578 __cil_tmp12 = status & 4194304U;
4579#line 204
4580 if (__cil_tmp12 != 0U) {
4581#line 205
4582 result = -110;
4583 } else {
4584
4585 }
4586 }
4587 }
4588 } else {
4589
4590 }
4591 }
4592#line 209
4593 return (result);
4594}
4595}
4596#line 213 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4597static int sdricoh_reset(struct sdricoh_host *host )
4598{ struct _ddebug descriptor ;
4599 long tmp ;
4600 unsigned int tmp___0 ;
4601 struct _ddebug *__cil_tmp5 ;
4602 unsigned long __cil_tmp6 ;
4603 unsigned long __cil_tmp7 ;
4604 unsigned long __cil_tmp8 ;
4605 unsigned long __cil_tmp9 ;
4606 unsigned long __cil_tmp10 ;
4607 unsigned long __cil_tmp11 ;
4608 unsigned char __cil_tmp12 ;
4609 long __cil_tmp13 ;
4610 long __cil_tmp14 ;
4611 struct device *__cil_tmp15 ;
4612 struct device const *__cil_tmp16 ;
4613
4614 {
4615 {
4616#line 215
4617 __cil_tmp5 = & descriptor;
4618#line 215
4619 *((char const **)__cil_tmp5) = "sdricoh_cs";
4620#line 215
4621 __cil_tmp6 = (unsigned long )(& descriptor) + 8;
4622#line 215
4623 *((char const **)__cil_tmp6) = "sdricoh_reset";
4624#line 215
4625 __cil_tmp7 = (unsigned long )(& descriptor) + 16;
4626#line 215
4627 *((char const **)__cil_tmp7) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
4628#line 215
4629 __cil_tmp8 = (unsigned long )(& descriptor) + 24;
4630#line 215
4631 *((char const **)__cil_tmp8) = "reset\n";
4632#line 215
4633 __cil_tmp9 = (unsigned long )(& descriptor) + 32;
4634#line 215
4635 *((unsigned int *)__cil_tmp9) = 215U;
4636#line 215
4637 __cil_tmp10 = (unsigned long )(& descriptor) + 35;
4638#line 215
4639 *((unsigned char *)__cil_tmp10) = (unsigned char)0;
4640#line 215
4641 __cil_tmp11 = (unsigned long )(& descriptor) + 35;
4642#line 215
4643 __cil_tmp12 = *((unsigned char *)__cil_tmp11);
4644#line 215
4645 __cil_tmp13 = (long )__cil_tmp12;
4646#line 215
4647 __cil_tmp14 = __cil_tmp13 & 1L;
4648#line 215
4649 tmp = __builtin_expect(__cil_tmp14, 0L);
4650 }
4651#line 215
4652 if (tmp != 0L) {
4653 {
4654#line 215
4655 __cil_tmp15 = *((struct device **)host);
4656#line 215
4657 __cil_tmp16 = (struct device const *)__cil_tmp15;
4658#line 215
4659 __dynamic_dev_dbg(& descriptor, __cil_tmp16, "reset\n");
4660 }
4661 } else {
4662
4663 }
4664 {
4665#line 216
4666 sdricoh_writel(host, 752U, 65537U);
4667#line 217
4668 sdricoh_writel(host, 736U, 65536U);
4669#line 218
4670 tmp___0 = sdricoh_readl(host, 736U);
4671 }
4672#line 218
4673 if (tmp___0 != 65536U) {
4674#line 219
4675 return (-5);
4676 } else {
4677
4678 }
4679 {
4680#line 220
4681 sdricoh_writel(host, 736U, 65543U);
4682#line 222
4683 sdricoh_writel(host, 548U, 33554432U);
4684#line 223
4685 sdricoh_writel(host, 552U, 224U);
4686#line 227
4687 sdricoh_writel(host, 540U, 24U);
4688 }
4689#line 229
4690 return (0);
4691}
4692}
4693#line 232 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4694static int sdricoh_blockio(struct sdricoh_host *host , int read , u8 *buf , int len )
4695{ int size ;
4696 u32 data ;
4697 int tmp ;
4698 int _min1 ;
4699 int _min2 ;
4700 int tmp___0 ;
4701 int tmp___1 ;
4702 int _min1___0 ;
4703 int _min2___0 ;
4704 int tmp___2 ;
4705 u8 __cil_tmp15 ;
4706 unsigned int __cil_tmp16 ;
4707 unsigned int __cil_tmp17 ;
4708
4709 {
4710#line 236
4711 data = 0U;
4712#line 238
4713 if (read != 0) {
4714 {
4715#line 239
4716 tmp = sdricoh_query_status(host, 16777216U, 100000U);
4717 }
4718#line 239
4719 if (tmp != 0) {
4720#line 241
4721 return (-110);
4722 } else {
4723
4724 }
4725 {
4726#line 242
4727 sdricoh_writel(host, 540U, 24U);
4728 }
4729#line 244
4730 goto ldv_28896;
4731 ldv_28895:
4732 {
4733#line 245
4734 data = sdricoh_readl(host, 560U);
4735#line 246
4736 _min1 = len;
4737#line 246
4738 _min2 = 4;
4739 }
4740#line 246
4741 if (_min1 < _min2) {
4742#line 246
4743 tmp___0 = _min1;
4744 } else {
4745#line 246
4746 tmp___0 = _min2;
4747 }
4748#line 246
4749 size = tmp___0;
4750#line 247
4751 len = len - size;
4752#line 248
4753 goto ldv_28893;
4754 ldv_28892:
4755#line 249
4756 *buf = (u8 )data;
4757#line 250
4758 buf = buf + 1;
4759#line 251
4760 data = data >> 8;
4761#line 252
4762 size = size - 1;
4763 ldv_28893: ;
4764#line 248
4765 if (size != 0) {
4766#line 249
4767 goto ldv_28892;
4768 } else {
4769#line 251
4770 goto ldv_28894;
4771 }
4772 ldv_28894: ;
4773 ldv_28896: ;
4774#line 244
4775 if (len != 0) {
4776#line 245
4777 goto ldv_28895;
4778 } else {
4779#line 247
4780 goto ldv_28897;
4781 }
4782 ldv_28897: ;
4783 } else {
4784 {
4785#line 256
4786 tmp___1 = sdricoh_query_status(host, 33554432U, 100000U);
4787 }
4788#line 256
4789 if (tmp___1 != 0) {
4790#line 258
4791 return (-110);
4792 } else {
4793
4794 }
4795 {
4796#line 259
4797 sdricoh_writel(host, 540U, 24U);
4798 }
4799#line 261
4800 goto ldv_28905;
4801 ldv_28904:
4802#line 262
4803 _min1___0 = len;
4804#line 262
4805 _min2___0 = 4;
4806#line 262
4807 if (_min1___0 < _min2___0) {
4808#line 262
4809 tmp___2 = _min1___0;
4810 } else {
4811#line 262
4812 tmp___2 = _min2___0;
4813 }
4814#line 262
4815 size = tmp___2;
4816#line 263
4817 len = len - size;
4818#line 264
4819 goto ldv_28902;
4820 ldv_28901:
4821#line 265
4822 data = data >> 8;
4823#line 266
4824 __cil_tmp15 = *buf;
4825#line 266
4826 __cil_tmp16 = (unsigned int )__cil_tmp15;
4827#line 266
4828 __cil_tmp17 = __cil_tmp16 << 24;
4829#line 266
4830 data = __cil_tmp17 | data;
4831#line 267
4832 buf = buf + 1;
4833#line 268
4834 size = size - 1;
4835 ldv_28902: ;
4836#line 264
4837 if (size != 0) {
4838#line 265
4839 goto ldv_28901;
4840 } else {
4841#line 267
4842 goto ldv_28903;
4843 }
4844 ldv_28903:
4845 {
4846#line 270
4847 sdricoh_writel(host, 560U, data);
4848 }
4849 ldv_28905: ;
4850#line 261
4851 if (len != 0) {
4852#line 262
4853 goto ldv_28904;
4854 } else {
4855#line 264
4856 goto ldv_28906;
4857 }
4858 ldv_28906: ;
4859 }
4860#line 274
4861 if (len != 0) {
4862#line 275
4863 return (-5);
4864 } else {
4865
4866 }
4867#line 277
4868 return (0);
4869}
4870}
4871#line 280 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
4872static void sdricoh_request(struct mmc_host *mmc , struct mmc_request *mrq )
4873{ struct sdricoh_host *host ;
4874 void *tmp ;
4875 struct mmc_command *cmd ;
4876 struct mmc_data *data ;
4877 struct device *dev ;
4878 unsigned char opcode ;
4879 int i ;
4880 struct _ddebug descriptor ;
4881 long tmp___0 ;
4882 struct _ddebug descriptor___0 ;
4883 long tmp___1 ;
4884 int tmp___2 ;
4885 unsigned int tmp___3 ;
4886 unsigned int tmp___4 ;
4887 struct _ddebug descriptor___1 ;
4888 long tmp___5 ;
4889 size_t len ;
4890 u8 *buf ;
4891 struct page *page ;
4892 int result ;
4893 void *tmp___6 ;
4894 int tmp___7 ;
4895 struct _ddebug descriptor___2 ;
4896 long tmp___8 ;
4897 unsigned long __cil_tmp27 ;
4898 unsigned long __cil_tmp28 ;
4899 unsigned long __cil_tmp29 ;
4900 unsigned long __cil_tmp30 ;
4901 u32 __cil_tmp31 ;
4902 struct _ddebug *__cil_tmp32 ;
4903 unsigned long __cil_tmp33 ;
4904 unsigned long __cil_tmp34 ;
4905 unsigned long __cil_tmp35 ;
4906 unsigned long __cil_tmp36 ;
4907 unsigned long __cil_tmp37 ;
4908 unsigned long __cil_tmp38 ;
4909 unsigned char __cil_tmp39 ;
4910 long __cil_tmp40 ;
4911 long __cil_tmp41 ;
4912 struct device const *__cil_tmp42 ;
4913 struct _ddebug *__cil_tmp43 ;
4914 unsigned long __cil_tmp44 ;
4915 unsigned long __cil_tmp45 ;
4916 unsigned long __cil_tmp46 ;
4917 unsigned long __cil_tmp47 ;
4918 unsigned long __cil_tmp48 ;
4919 unsigned long __cil_tmp49 ;
4920 unsigned char __cil_tmp50 ;
4921 long __cil_tmp51 ;
4922 long __cil_tmp52 ;
4923 struct device const *__cil_tmp53 ;
4924 int __cil_tmp54 ;
4925 unsigned long __cil_tmp55 ;
4926 unsigned long __cil_tmp56 ;
4927 int __cil_tmp57 ;
4928 unsigned int __cil_tmp58 ;
4929 unsigned int __cil_tmp59 ;
4930 unsigned long __cil_tmp60 ;
4931 unsigned long __cil_tmp61 ;
4932 unsigned int __cil_tmp62 ;
4933 unsigned long __cil_tmp63 ;
4934 unsigned long __cil_tmp64 ;
4935 struct mmc_data *__cil_tmp65 ;
4936 unsigned long __cil_tmp66 ;
4937 unsigned long __cil_tmp67 ;
4938 unsigned long __cil_tmp68 ;
4939 unsigned long __cil_tmp69 ;
4940 unsigned int __cil_tmp70 ;
4941 unsigned short __cil_tmp71 ;
4942 int __cil_tmp72 ;
4943 unsigned short __cil_tmp73 ;
4944 int __cil_tmp74 ;
4945 unsigned char __cil_tmp75 ;
4946 unsigned long __cil_tmp76 ;
4947 unsigned long __cil_tmp77 ;
4948 u32 __cil_tmp78 ;
4949 unsigned long __cil_tmp79 ;
4950 unsigned long __cil_tmp80 ;
4951 unsigned long __cil_tmp81 ;
4952 unsigned long __cil_tmp82 ;
4953 unsigned int __cil_tmp83 ;
4954 int __cil_tmp84 ;
4955 unsigned long __cil_tmp85 ;
4956 unsigned long __cil_tmp86 ;
4957 unsigned int __cil_tmp87 ;
4958 unsigned int __cil_tmp88 ;
4959 int __cil_tmp89 ;
4960 int __cil_tmp90 ;
4961 unsigned int __cil_tmp91 ;
4962 unsigned long __cil_tmp92 ;
4963 unsigned long __cil_tmp93 ;
4964 unsigned long __cil_tmp94 ;
4965 unsigned long __cil_tmp95 ;
4966 int __cil_tmp96 ;
4967 int __cil_tmp97 ;
4968 int __cil_tmp98 ;
4969 unsigned int __cil_tmp99 ;
4970 unsigned long __cil_tmp100 ;
4971 unsigned long __cil_tmp101 ;
4972 unsigned long __cil_tmp102 ;
4973 unsigned long __cil_tmp103 ;
4974 unsigned long __cil_tmp104 ;
4975 unsigned long __cil_tmp105 ;
4976 unsigned long __cil_tmp106 ;
4977 unsigned long __cil_tmp107 ;
4978 u32 __cil_tmp108 ;
4979 unsigned long __cil_tmp109 ;
4980 unsigned long __cil_tmp110 ;
4981 unsigned long __cil_tmp111 ;
4982 unsigned long __cil_tmp112 ;
4983 struct mmc_data *__cil_tmp113 ;
4984 unsigned long __cil_tmp114 ;
4985 unsigned long __cil_tmp115 ;
4986 unsigned long __cil_tmp116 ;
4987 unsigned long __cil_tmp117 ;
4988 unsigned int __cil_tmp118 ;
4989 struct _ddebug *__cil_tmp119 ;
4990 unsigned long __cil_tmp120 ;
4991 unsigned long __cil_tmp121 ;
4992 unsigned long __cil_tmp122 ;
4993 unsigned long __cil_tmp123 ;
4994 unsigned long __cil_tmp124 ;
4995 unsigned long __cil_tmp125 ;
4996 unsigned char __cil_tmp126 ;
4997 long __cil_tmp127 ;
4998 long __cil_tmp128 ;
4999 struct device const *__cil_tmp129 ;
5000 unsigned long __cil_tmp130 ;
5001 unsigned long __cil_tmp131 ;
5002 unsigned int __cil_tmp132 ;
5003 unsigned long __cil_tmp133 ;
5004 unsigned long __cil_tmp134 ;
5005 unsigned int __cil_tmp135 ;
5006 unsigned long __cil_tmp136 ;
5007 unsigned long __cil_tmp137 ;
5008 unsigned int __cil_tmp138 ;
5009 unsigned long __cil_tmp139 ;
5010 unsigned long __cil_tmp140 ;
5011 struct scatterlist *__cil_tmp141 ;
5012 unsigned long __cil_tmp142 ;
5013 unsigned long __cil_tmp143 ;
5014 unsigned int __cil_tmp144 ;
5015 unsigned long __cil_tmp145 ;
5016 unsigned long __cil_tmp146 ;
5017 unsigned int __cil_tmp147 ;
5018 unsigned long __cil_tmp148 ;
5019 unsigned long __cil_tmp149 ;
5020 struct scatterlist *__cil_tmp150 ;
5021 size_t __cil_tmp151 ;
5022 size_t __cil_tmp152 ;
5023 unsigned long __cil_tmp153 ;
5024 unsigned long __cil_tmp154 ;
5025 struct scatterlist *__cil_tmp155 ;
5026 unsigned long __cil_tmp156 ;
5027 unsigned long __cil_tmp157 ;
5028 unsigned int __cil_tmp158 ;
5029 unsigned long __cil_tmp159 ;
5030 unsigned long __cil_tmp160 ;
5031 void *__cil_tmp161 ;
5032 unsigned long __cil_tmp162 ;
5033 unsigned long __cil_tmp163 ;
5034 unsigned int __cil_tmp164 ;
5035 int __cil_tmp165 ;
5036 int __cil_tmp166 ;
5037 int __cil_tmp167 ;
5038 struct device const *__cil_tmp168 ;
5039 u32 __cil_tmp169 ;
5040 unsigned long __cil_tmp170 ;
5041 unsigned long __cil_tmp171 ;
5042 unsigned long __cil_tmp172 ;
5043 unsigned long __cil_tmp173 ;
5044 unsigned int __cil_tmp174 ;
5045 unsigned long __cil_tmp175 ;
5046 unsigned long __cil_tmp176 ;
5047 unsigned int __cil_tmp177 ;
5048 unsigned long __cil_tmp178 ;
5049 unsigned long __cil_tmp179 ;
5050 unsigned int __cil_tmp180 ;
5051 unsigned int __cil_tmp181 ;
5052 struct device const *__cil_tmp182 ;
5053 unsigned long __cil_tmp183 ;
5054 unsigned long __cil_tmp184 ;
5055 struct _ddebug *__cil_tmp185 ;
5056 unsigned long __cil_tmp186 ;
5057 unsigned long __cil_tmp187 ;
5058 unsigned long __cil_tmp188 ;
5059 unsigned long __cil_tmp189 ;
5060 unsigned long __cil_tmp190 ;
5061 unsigned long __cil_tmp191 ;
5062 unsigned char __cil_tmp192 ;
5063 long __cil_tmp193 ;
5064 long __cil_tmp194 ;
5065 struct device const *__cil_tmp195 ;
5066
5067 {
5068 {
5069#line 282
5070 tmp = mmc_priv(mmc);
5071#line 282
5072 host = (struct sdricoh_host *)tmp;
5073#line 283
5074 __cil_tmp27 = (unsigned long )mrq;
5075#line 283
5076 __cil_tmp28 = __cil_tmp27 + 8;
5077#line 283
5078 cmd = *((struct mmc_command **)__cil_tmp28);
5079#line 284
5080 __cil_tmp29 = (unsigned long )cmd;
5081#line 284
5082 __cil_tmp30 = __cil_tmp29 + 40;
5083#line 284
5084 data = *((struct mmc_data **)__cil_tmp30);
5085#line 285
5086 dev = *((struct device **)host);
5087#line 286
5088 __cil_tmp31 = *((u32 *)cmd);
5089#line 286
5090 opcode = (unsigned char )__cil_tmp31;
5091#line 289
5092 __cil_tmp32 = & descriptor;
5093#line 289
5094 *((char const **)__cil_tmp32) = "sdricoh_cs";
5095#line 289
5096 __cil_tmp33 = (unsigned long )(& descriptor) + 8;
5097#line 289
5098 *((char const **)__cil_tmp33) = "sdricoh_request";
5099#line 289
5100 __cil_tmp34 = (unsigned long )(& descriptor) + 16;
5101#line 289
5102 *((char const **)__cil_tmp34) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
5103#line 289
5104 __cil_tmp35 = (unsigned long )(& descriptor) + 24;
5105#line 289
5106 *((char const **)__cil_tmp35) = "=============================\n";
5107#line 289
5108 __cil_tmp36 = (unsigned long )(& descriptor) + 32;
5109#line 289
5110 *((unsigned int *)__cil_tmp36) = 289U;
5111#line 289
5112 __cil_tmp37 = (unsigned long )(& descriptor) + 35;
5113#line 289
5114 *((unsigned char *)__cil_tmp37) = (unsigned char)0;
5115#line 289
5116 __cil_tmp38 = (unsigned long )(& descriptor) + 35;
5117#line 289
5118 __cil_tmp39 = *((unsigned char *)__cil_tmp38);
5119#line 289
5120 __cil_tmp40 = (long )__cil_tmp39;
5121#line 289
5122 __cil_tmp41 = __cil_tmp40 & 1L;
5123#line 289
5124 tmp___0 = __builtin_expect(__cil_tmp41, 0L);
5125 }
5126#line 289
5127 if (tmp___0 != 0L) {
5128 {
5129#line 289
5130 __cil_tmp42 = (struct device const *)dev;
5131#line 289
5132 __dynamic_dev_dbg(& descriptor, __cil_tmp42, "=============================\n");
5133 }
5134 } else {
5135
5136 }
5137 {
5138#line 290
5139 __cil_tmp43 = & descriptor___0;
5140#line 290
5141 *((char const **)__cil_tmp43) = "sdricoh_cs";
5142#line 290
5143 __cil_tmp44 = (unsigned long )(& descriptor___0) + 8;
5144#line 290
5145 *((char const **)__cil_tmp44) = "sdricoh_request";
5146#line 290
5147 __cil_tmp45 = (unsigned long )(& descriptor___0) + 16;
5148#line 290
5149 *((char const **)__cil_tmp45) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
5150#line 290
5151 __cil_tmp46 = (unsigned long )(& descriptor___0) + 24;
5152#line 290
5153 *((char const **)__cil_tmp46) = "sdricoh_request opcode=%i\n";
5154#line 290
5155 __cil_tmp47 = (unsigned long )(& descriptor___0) + 32;
5156#line 290
5157 *((unsigned int *)__cil_tmp47) = 290U;
5158#line 290
5159 __cil_tmp48 = (unsigned long )(& descriptor___0) + 35;
5160#line 290
5161 *((unsigned char *)__cil_tmp48) = (unsigned char)0;
5162#line 290
5163 __cil_tmp49 = (unsigned long )(& descriptor___0) + 35;
5164#line 290
5165 __cil_tmp50 = *((unsigned char *)__cil_tmp49);
5166#line 290
5167 __cil_tmp51 = (long )__cil_tmp50;
5168#line 290
5169 __cil_tmp52 = __cil_tmp51 & 1L;
5170#line 290
5171 tmp___1 = __builtin_expect(__cil_tmp52, 0L);
5172 }
5173#line 290
5174 if (tmp___1 != 0L) {
5175 {
5176#line 290
5177 __cil_tmp53 = (struct device const *)dev;
5178#line 290
5179 __cil_tmp54 = (int )opcode;
5180#line 290
5181 __dynamic_dev_dbg(& descriptor___0, __cil_tmp53, "sdricoh_request opcode=%i\n",
5182 __cil_tmp54);
5183 }
5184 } else {
5185
5186 }
5187 {
5188#line 292
5189 sdricoh_writel(host, 540U, 24U);
5190 }
5191 {
5192#line 295
5193 __cil_tmp55 = (unsigned long )host;
5194#line 295
5195 __cil_tmp56 = __cil_tmp55 + 32;
5196#line 295
5197 __cil_tmp57 = *((int *)__cil_tmp56);
5198#line 295
5199 if (__cil_tmp57 != 0) {
5200#line 296
5201 __cil_tmp58 = (unsigned int )opcode;
5202#line 296
5203 __cil_tmp59 = __cil_tmp58 | 64U;
5204#line 296
5205 opcode = (unsigned char )__cil_tmp59;
5206#line 297
5207 __cil_tmp60 = (unsigned long )host;
5208#line 297
5209 __cil_tmp61 = __cil_tmp60 + 32;
5210#line 297
5211 *((int *)__cil_tmp61) = 0;
5212 } else {
5213 {
5214#line 298
5215 __cil_tmp62 = (unsigned int )opcode;
5216#line 298
5217 if (__cil_tmp62 == 55U) {
5218#line 299
5219 __cil_tmp63 = (unsigned long )host;
5220#line 299
5221 __cil_tmp64 = __cil_tmp63 + 32;
5222#line 299
5223 *((int *)__cil_tmp64) = 1;
5224 } else {
5225
5226 }
5227 }
5228 }
5229 }
5230 {
5231#line 302
5232 __cil_tmp65 = (struct mmc_data *)0;
5233#line 302
5234 __cil_tmp66 = (unsigned long )__cil_tmp65;
5235#line 302
5236 __cil_tmp67 = (unsigned long )data;
5237#line 302
5238 if (__cil_tmp67 != __cil_tmp66) {
5239 {
5240#line 303
5241 __cil_tmp68 = (unsigned long )data;
5242#line 303
5243 __cil_tmp69 = __cil_tmp68 + 8;
5244#line 303
5245 __cil_tmp70 = *((unsigned int *)__cil_tmp69);
5246#line 303
5247 __cil_tmp71 = (unsigned short )__cil_tmp70;
5248#line 303
5249 __cil_tmp72 = (int )__cil_tmp71;
5250#line 303
5251 __cil_tmp73 = (unsigned short )__cil_tmp72;
5252#line 303
5253 sdricoh_writew(host, 550U, __cil_tmp73);
5254#line 304
5255 sdricoh_writel(host, 520U, 0U);
5256 }
5257 } else {
5258
5259 }
5260 }
5261 {
5262#line 307
5263 __cil_tmp74 = (int )opcode;
5264#line 307
5265 __cil_tmp75 = (unsigned char )__cil_tmp74;
5266#line 307
5267 __cil_tmp76 = (unsigned long )cmd;
5268#line 307
5269 __cil_tmp77 = __cil_tmp76 + 4;
5270#line 307
5271 __cil_tmp78 = *((u32 *)__cil_tmp77);
5272#line 307
5273 tmp___2 = sdricoh_mmc_cmd(host, __cil_tmp75, __cil_tmp78);
5274#line 307
5275 __cil_tmp79 = (unsigned long )cmd;
5276#line 307
5277 __cil_tmp80 = __cil_tmp79 + 32;
5278#line 307
5279 *((unsigned int *)__cil_tmp80) = (unsigned int )tmp___2;
5280 }
5281 {
5282#line 310
5283 __cil_tmp81 = (unsigned long )cmd;
5284#line 310
5285 __cil_tmp82 = __cil_tmp81 + 24;
5286#line 310
5287 __cil_tmp83 = *((unsigned int *)__cil_tmp82);
5288#line 310
5289 __cil_tmp84 = (int )__cil_tmp83;
5290#line 310
5291 if (__cil_tmp84 & 1) {
5292 {
5293#line 311
5294 __cil_tmp85 = (unsigned long )cmd;
5295#line 311
5296 __cil_tmp86 = __cil_tmp85 + 24;
5297#line 311
5298 __cil_tmp87 = *((unsigned int *)__cil_tmp86);
5299#line 311
5300 __cil_tmp88 = __cil_tmp87 & 2U;
5301#line 311
5302 if (__cil_tmp88 != 0U) {
5303#line 313
5304 i = 0;
5305#line 313
5306 goto ldv_28921;
5307 ldv_28920:
5308 {
5309#line 314
5310 __cil_tmp89 = 134 - i;
5311#line 314
5312 __cil_tmp90 = __cil_tmp89 * 4;
5313#line 314
5314 __cil_tmp91 = (unsigned int )__cil_tmp90;
5315#line 314
5316 tmp___3 = sdricoh_readl(host, __cil_tmp91);
5317#line 314
5318 __cil_tmp92 = i * 4UL;
5319#line 314
5320 __cil_tmp93 = 8 + __cil_tmp92;
5321#line 314
5322 __cil_tmp94 = (unsigned long )cmd;
5323#line 314
5324 __cil_tmp95 = __cil_tmp94 + __cil_tmp93;
5325#line 314
5326 *((u32 *)__cil_tmp95) = tmp___3 << 8;
5327 }
5328#line 317
5329 if (i != 3) {
5330 {
5331#line 318
5332 __cil_tmp96 = 134 - i;
5333#line 318
5334 __cil_tmp97 = __cil_tmp96 * 4;
5335#line 318
5336 __cil_tmp98 = __cil_tmp97 + -1;
5337#line 318
5338 __cil_tmp99 = (unsigned int )__cil_tmp98;
5339#line 318
5340 tmp___4 = sdricoh_readb(host, __cil_tmp99);
5341#line 318
5342 __cil_tmp100 = i * 4UL;
5343#line 318
5344 __cil_tmp101 = 8 + __cil_tmp100;
5345#line 318
5346 __cil_tmp102 = (unsigned long )cmd;
5347#line 318
5348 __cil_tmp103 = __cil_tmp102 + __cil_tmp101;
5349#line 318
5350 __cil_tmp104 = i * 4UL;
5351#line 318
5352 __cil_tmp105 = 8 + __cil_tmp104;
5353#line 318
5354 __cil_tmp106 = (unsigned long )cmd;
5355#line 318
5356 __cil_tmp107 = __cil_tmp106 + __cil_tmp105;
5357#line 318
5358 __cil_tmp108 = *((u32 *)__cil_tmp107);
5359#line 318
5360 *((u32 *)__cil_tmp103) = __cil_tmp108 | tmp___4;
5361 }
5362 } else {
5363
5364 }
5365#line 313
5366 i = i + 1;
5367 ldv_28921: ;
5368#line 313
5369 if (i <= 3) {
5370#line 314
5371 goto ldv_28920;
5372 } else {
5373#line 316
5374 goto ldv_28922;
5375 }
5376 ldv_28922: ;
5377 } else {
5378 {
5379#line 323
5380 __cil_tmp109 = 0 * 4UL;
5381#line 323
5382 __cil_tmp110 = 8 + __cil_tmp109;
5383#line 323
5384 __cil_tmp111 = (unsigned long )cmd;
5385#line 323
5386 __cil_tmp112 = __cil_tmp111 + __cil_tmp110;
5387#line 323
5388 *((u32 *)__cil_tmp112) = sdricoh_readl(host, 524U);
5389 }
5390 }
5391 }
5392 } else {
5393
5394 }
5395 }
5396 {
5397#line 327
5398 __cil_tmp113 = (struct mmc_data *)0;
5399#line 327
5400 __cil_tmp114 = (unsigned long )__cil_tmp113;
5401#line 327
5402 __cil_tmp115 = (unsigned long )data;
5403#line 327
5404 if (__cil_tmp115 != __cil_tmp114) {
5405 {
5406#line 327
5407 __cil_tmp116 = (unsigned long )cmd;
5408#line 327
5409 __cil_tmp117 = __cil_tmp116 + 32;
5410#line 327
5411 __cil_tmp118 = *((unsigned int *)__cil_tmp117);
5412#line 327
5413 if (__cil_tmp118 == 0U) {
5414 {
5415#line 328
5416 __cil_tmp119 = & descriptor___1;
5417#line 328
5418 *((char const **)__cil_tmp119) = "sdricoh_cs";
5419#line 328
5420 __cil_tmp120 = (unsigned long )(& descriptor___1) + 8;
5421#line 328
5422 *((char const **)__cil_tmp120) = "sdricoh_request";
5423#line 328
5424 __cil_tmp121 = (unsigned long )(& descriptor___1) + 16;
5425#line 328
5426 *((char const **)__cil_tmp121) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
5427#line 328
5428 __cil_tmp122 = (unsigned long )(& descriptor___1) + 24;
5429#line 328
5430 *((char const **)__cil_tmp122) = "transfer: blksz %i blocks %i sg_len %i sg length %i\n";
5431#line 328
5432 __cil_tmp123 = (unsigned long )(& descriptor___1) + 32;
5433#line 328
5434 *((unsigned int *)__cil_tmp123) = 330U;
5435#line 328
5436 __cil_tmp124 = (unsigned long )(& descriptor___1) + 35;
5437#line 328
5438 *((unsigned char *)__cil_tmp124) = (unsigned char)0;
5439#line 328
5440 __cil_tmp125 = (unsigned long )(& descriptor___1) + 35;
5441#line 328
5442 __cil_tmp126 = *((unsigned char *)__cil_tmp125);
5443#line 328
5444 __cil_tmp127 = (long )__cil_tmp126;
5445#line 328
5446 __cil_tmp128 = __cil_tmp127 & 1L;
5447#line 328
5448 tmp___5 = __builtin_expect(__cil_tmp128, 0L);
5449 }
5450#line 328
5451 if (tmp___5 != 0L) {
5452 {
5453#line 328
5454 __cil_tmp129 = (struct device const *)dev;
5455#line 328
5456 __cil_tmp130 = (unsigned long )data;
5457#line 328
5458 __cil_tmp131 = __cil_tmp130 + 8;
5459#line 328
5460 __cil_tmp132 = *((unsigned int *)__cil_tmp131);
5461#line 328
5462 __cil_tmp133 = (unsigned long )data;
5463#line 328
5464 __cil_tmp134 = __cil_tmp133 + 12;
5465#line 328
5466 __cil_tmp135 = *((unsigned int *)__cil_tmp134);
5467#line 328
5468 __cil_tmp136 = (unsigned long )data;
5469#line 328
5470 __cil_tmp137 = __cil_tmp136 + 48;
5471#line 328
5472 __cil_tmp138 = *((unsigned int *)__cil_tmp137);
5473#line 328
5474 __cil_tmp139 = (unsigned long )data;
5475#line 328
5476 __cil_tmp140 = __cil_tmp139 + 56;
5477#line 328
5478 __cil_tmp141 = *((struct scatterlist **)__cil_tmp140);
5479#line 328
5480 __cil_tmp142 = (unsigned long )__cil_tmp141;
5481#line 328
5482 __cil_tmp143 = __cil_tmp142 + 20;
5483#line 328
5484 __cil_tmp144 = *((unsigned int *)__cil_tmp143);
5485#line 328
5486 __dynamic_dev_dbg(& descriptor___1, __cil_tmp129, "transfer: blksz %i blocks %i sg_len %i sg length %i\n",
5487 __cil_tmp132, __cil_tmp135, __cil_tmp138, __cil_tmp144);
5488 }
5489 } else {
5490
5491 }
5492 {
5493#line 333
5494 sdricoh_writel(host, 540U, 2206139166U);
5495#line 334
5496 i = 0;
5497 }
5498#line 334
5499 goto ldv_28930;
5500 ldv_28929:
5501 {
5502#line 335
5503 __cil_tmp145 = (unsigned long )data;
5504#line 335
5505 __cil_tmp146 = __cil_tmp145 + 8;
5506#line 335
5507 __cil_tmp147 = *((unsigned int *)__cil_tmp146);
5508#line 335
5509 len = (size_t )__cil_tmp147;
5510#line 339
5511 __cil_tmp148 = (unsigned long )data;
5512#line 339
5513 __cil_tmp149 = __cil_tmp148 + 56;
5514#line 339
5515 __cil_tmp150 = *((struct scatterlist **)__cil_tmp149);
5516#line 339
5517 page = sg_page(__cil_tmp150);
5518#line 341
5519 tmp___6 = kmap(page);
5520#line 341
5521 __cil_tmp151 = (size_t )i;
5522#line 341
5523 __cil_tmp152 = __cil_tmp151 * len;
5524#line 341
5525 __cil_tmp153 = (unsigned long )data;
5526#line 341
5527 __cil_tmp154 = __cil_tmp153 + 56;
5528#line 341
5529 __cil_tmp155 = *((struct scatterlist **)__cil_tmp154);
5530#line 341
5531 __cil_tmp156 = (unsigned long )__cil_tmp155;
5532#line 341
5533 __cil_tmp157 = __cil_tmp156 + 16;
5534#line 341
5535 __cil_tmp158 = *((unsigned int *)__cil_tmp157);
5536#line 341
5537 __cil_tmp159 = (unsigned long )__cil_tmp158;
5538#line 341
5539 __cil_tmp160 = __cil_tmp159 + __cil_tmp152;
5540#line 341
5541 __cil_tmp161 = tmp___6 + __cil_tmp160;
5542#line 341
5543 buf = (u8 *)__cil_tmp161;
5544#line 342
5545 __cil_tmp162 = (unsigned long )data;
5546#line 342
5547 __cil_tmp163 = __cil_tmp162 + 20;
5548#line 342
5549 __cil_tmp164 = *((unsigned int *)__cil_tmp163);
5550#line 342
5551 __cil_tmp165 = (int )__cil_tmp164;
5552#line 342
5553 __cil_tmp166 = __cil_tmp165 & 512;
5554#line 342
5555 __cil_tmp167 = (int )len;
5556#line 342
5557 result = sdricoh_blockio(host, __cil_tmp166, buf, __cil_tmp167);
5558#line 345
5559 kunmap(page);
5560 }
5561#line 347
5562 if (result != 0) {
5563 {
5564#line 348
5565 __cil_tmp168 = (struct device const *)dev;
5566#line 348
5567 __cil_tmp169 = *((u32 *)cmd);
5568#line 348
5569 dev_err(__cil_tmp168, "sdricoh_request: cmd %i block transfer failed\n", __cil_tmp169);
5570#line 350
5571 __cil_tmp170 = (unsigned long )cmd;
5572#line 350
5573 __cil_tmp171 = __cil_tmp170 + 32;
5574#line 350
5575 *((unsigned int *)__cil_tmp171) = (unsigned int )result;
5576 }
5577#line 351
5578 goto ldv_28928;
5579 } else {
5580#line 353
5581 __cil_tmp172 = (unsigned long )data;
5582#line 353
5583 __cil_tmp173 = __cil_tmp172 + 24;
5584#line 353
5585 __cil_tmp174 = (unsigned int )len;
5586#line 353
5587 __cil_tmp175 = (unsigned long )data;
5588#line 353
5589 __cil_tmp176 = __cil_tmp175 + 24;
5590#line 353
5591 __cil_tmp177 = *((unsigned int *)__cil_tmp176);
5592#line 353
5593 *((unsigned int *)__cil_tmp173) = __cil_tmp177 + __cil_tmp174;
5594 }
5595#line 334
5596 i = i + 1;
5597 ldv_28930: ;
5598 {
5599#line 334
5600 __cil_tmp178 = (unsigned long )data;
5601#line 334
5602 __cil_tmp179 = __cil_tmp178 + 12;
5603#line 334
5604 __cil_tmp180 = *((unsigned int *)__cil_tmp179);
5605#line 334
5606 __cil_tmp181 = (unsigned int )i;
5607#line 334
5608 if (__cil_tmp181 < __cil_tmp180) {
5609#line 335
5610 goto ldv_28929;
5611 } else {
5612#line 337
5613 goto ldv_28928;
5614 }
5615 }
5616 ldv_28928:
5617 {
5618#line 356
5619 sdricoh_writel(host, 520U, 1U);
5620#line 358
5621 tmp___7 = sdricoh_query_status(host, 4U, 100000U);
5622 }
5623#line 358
5624 if (tmp___7 != 0) {
5625 {
5626#line 360
5627 __cil_tmp182 = (struct device const *)dev;
5628#line 360
5629 dev_err(__cil_tmp182, "sdricoh_request: transfer end error\n");
5630#line 361
5631 __cil_tmp183 = (unsigned long )cmd;
5632#line 361
5633 __cil_tmp184 = __cil_tmp183 + 32;
5634#line 361
5635 *((unsigned int *)__cil_tmp184) = 4294967274U;
5636 }
5637 } else {
5638
5639 }
5640 } else {
5641
5642 }
5643 }
5644 } else {
5645
5646 }
5647 }
5648 {
5649#line 366
5650 mmc_request_done(mmc, mrq);
5651#line 367
5652 __cil_tmp185 = & descriptor___2;
5653#line 367
5654 *((char const **)__cil_tmp185) = "sdricoh_cs";
5655#line 367
5656 __cil_tmp186 = (unsigned long )(& descriptor___2) + 8;
5657#line 367
5658 *((char const **)__cil_tmp186) = "sdricoh_request";
5659#line 367
5660 __cil_tmp187 = (unsigned long )(& descriptor___2) + 16;
5661#line 367
5662 *((char const **)__cil_tmp187) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
5663#line 367
5664 __cil_tmp188 = (unsigned long )(& descriptor___2) + 24;
5665#line 367
5666 *((char const **)__cil_tmp188) = "=============================\n";
5667#line 367
5668 __cil_tmp189 = (unsigned long )(& descriptor___2) + 32;
5669#line 367
5670 *((unsigned int *)__cil_tmp189) = 367U;
5671#line 367
5672 __cil_tmp190 = (unsigned long )(& descriptor___2) + 35;
5673#line 367
5674 *((unsigned char *)__cil_tmp190) = (unsigned char)0;
5675#line 367
5676 __cil_tmp191 = (unsigned long )(& descriptor___2) + 35;
5677#line 367
5678 __cil_tmp192 = *((unsigned char *)__cil_tmp191);
5679#line 367
5680 __cil_tmp193 = (long )__cil_tmp192;
5681#line 367
5682 __cil_tmp194 = __cil_tmp193 & 1L;
5683#line 367
5684 tmp___8 = __builtin_expect(__cil_tmp194, 0L);
5685 }
5686#line 367
5687 if (tmp___8 != 0L) {
5688 {
5689#line 367
5690 __cil_tmp195 = (struct device const *)dev;
5691#line 367
5692 __dynamic_dev_dbg(& descriptor___2, __cil_tmp195, "=============================\n");
5693 }
5694 } else {
5695
5696 }
5697#line 369
5698 return;
5699}
5700}
5701#line 370 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
5702static void sdricoh_set_ios(struct mmc_host *mmc , struct mmc_ios *ios )
5703{ struct sdricoh_host *host ;
5704 void *tmp ;
5705 struct _ddebug descriptor ;
5706 long tmp___0 ;
5707 struct _ddebug *__cil_tmp7 ;
5708 unsigned long __cil_tmp8 ;
5709 unsigned long __cil_tmp9 ;
5710 unsigned long __cil_tmp10 ;
5711 unsigned long __cil_tmp11 ;
5712 unsigned long __cil_tmp12 ;
5713 unsigned long __cil_tmp13 ;
5714 unsigned char __cil_tmp14 ;
5715 long __cil_tmp15 ;
5716 long __cil_tmp16 ;
5717 struct device *__cil_tmp17 ;
5718 struct device const *__cil_tmp18 ;
5719 unsigned long __cil_tmp19 ;
5720 unsigned long __cil_tmp20 ;
5721 unsigned char __cil_tmp21 ;
5722 unsigned int __cil_tmp22 ;
5723 unsigned long __cil_tmp23 ;
5724 unsigned long __cil_tmp24 ;
5725 unsigned char __cil_tmp25 ;
5726 unsigned int __cil_tmp26 ;
5727 unsigned long __cil_tmp27 ;
5728 unsigned long __cil_tmp28 ;
5729 unsigned char __cil_tmp29 ;
5730 unsigned int __cil_tmp30 ;
5731
5732 {
5733 {
5734#line 372
5735 tmp = mmc_priv(mmc);
5736#line 372
5737 host = (struct sdricoh_host *)tmp;
5738#line 373
5739 __cil_tmp7 = & descriptor;
5740#line 373
5741 *((char const **)__cil_tmp7) = "sdricoh_cs";
5742#line 373
5743 __cil_tmp8 = (unsigned long )(& descriptor) + 8;
5744#line 373
5745 *((char const **)__cil_tmp8) = "sdricoh_set_ios";
5746#line 373
5747 __cil_tmp9 = (unsigned long )(& descriptor) + 16;
5748#line 373
5749 *((char const **)__cil_tmp9) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
5750#line 373
5751 __cil_tmp10 = (unsigned long )(& descriptor) + 24;
5752#line 373
5753 *((char const **)__cil_tmp10) = "set_ios\n";
5754#line 373
5755 __cil_tmp11 = (unsigned long )(& descriptor) + 32;
5756#line 373
5757 *((unsigned int *)__cil_tmp11) = 373U;
5758#line 373
5759 __cil_tmp12 = (unsigned long )(& descriptor) + 35;
5760#line 373
5761 *((unsigned char *)__cil_tmp12) = (unsigned char)0;
5762#line 373
5763 __cil_tmp13 = (unsigned long )(& descriptor) + 35;
5764#line 373
5765 __cil_tmp14 = *((unsigned char *)__cil_tmp13);
5766#line 373
5767 __cil_tmp15 = (long )__cil_tmp14;
5768#line 373
5769 __cil_tmp16 = __cil_tmp15 & 1L;
5770#line 373
5771 tmp___0 = __builtin_expect(__cil_tmp16, 0L);
5772 }
5773#line 373
5774 if (tmp___0 != 0L) {
5775 {
5776#line 373
5777 __cil_tmp17 = *((struct device **)host);
5778#line 373
5779 __cil_tmp18 = (struct device const *)__cil_tmp17;
5780#line 373
5781 __dynamic_dev_dbg(& descriptor, __cil_tmp18, "set_ios\n");
5782 }
5783 } else {
5784
5785 }
5786 {
5787#line 375
5788 __cil_tmp19 = (unsigned long )ios;
5789#line 375
5790 __cil_tmp20 = __cil_tmp19 + 8;
5791#line 375
5792 __cil_tmp21 = *((unsigned char *)__cil_tmp20);
5793#line 375
5794 __cil_tmp22 = (unsigned int )__cil_tmp21;
5795#line 375
5796 if (__cil_tmp22 == 2U) {
5797 {
5798#line 376
5799 sdricoh_writel(host, 552U, 49376U);
5800 }
5801 {
5802#line 378
5803 __cil_tmp23 = (unsigned long )ios;
5804#line 378
5805 __cil_tmp24 = __cil_tmp23 + 9;
5806#line 378
5807 __cil_tmp25 = *((unsigned char *)__cil_tmp24);
5808#line 378
5809 __cil_tmp26 = (unsigned int )__cil_tmp25;
5810#line 378
5811 if (__cil_tmp26 == 2U) {
5812 {
5813#line 379
5814 sdricoh_writel(host, 548U, 33555200U);
5815#line 380
5816 sdricoh_writel(host, 552U, 16608U);
5817 }
5818 } else {
5819 {
5820#line 382
5821 sdricoh_writel(host, 548U, 33555264U);
5822 }
5823 }
5824 }
5825 } else {
5826 {
5827#line 385
5828 __cil_tmp27 = (unsigned long )ios;
5829#line 385
5830 __cil_tmp28 = __cil_tmp27 + 8;
5831#line 385
5832 __cil_tmp29 = *((unsigned char *)__cil_tmp28);
5833#line 385
5834 __cil_tmp30 = (unsigned int )__cil_tmp29;
5835#line 385
5836 if (__cil_tmp30 == 1U) {
5837 {
5838#line 386
5839 sdricoh_writel(host, 548U, 33555232U);
5840#line 387
5841 sdricoh_writel(host, 552U, 224U);
5842 }
5843 } else {
5844
5845 }
5846 }
5847 }
5848 }
5849#line 389
5850 return;
5851}
5852}
5853#line 391 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
5854static int sdricoh_get_ro(struct mmc_host *mmc )
5855{ struct sdricoh_host *host ;
5856 void *tmp ;
5857 unsigned int status ;
5858 unsigned int *__cil_tmp5 ;
5859 unsigned int __cil_tmp6 ;
5860 unsigned int __cil_tmp7 ;
5861 int __cil_tmp8 ;
5862
5863 {
5864 {
5865#line 393
5866 tmp = mmc_priv(mmc);
5867#line 393
5868 host = (struct sdricoh_host *)tmp;
5869#line 396
5870 status = sdricoh_readl(host, 540U);
5871#line 397
5872 sdricoh_writel(host, 740U, status);
5873 }
5874 {
5875#line 400
5876 __cil_tmp5 = & switchlocked;
5877#line 400
5878 __cil_tmp6 = *__cil_tmp5;
5879#line 400
5880 if (__cil_tmp6 != 0U) {
5881 {
5882#line 401
5883 __cil_tmp7 = status & 128U;
5884#line 401
5885 return (__cil_tmp7 == 0U);
5886 }
5887 } else {
5888
5889 }
5890 }
5891 {
5892#line 403
5893 __cil_tmp8 = (int )status;
5894#line 403
5895 return (__cil_tmp8 & 128);
5896 }
5897}
5898}
5899#line 406 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
5900static struct mmc_host_ops sdricoh_ops =
5901#line 406
5902 {(int (*)(struct mmc_host * ))0, (int (*)(struct mmc_host * ))0, (void (*)(struct mmc_host * ,
5903 struct mmc_request * ,
5904 int ))0,
5905 (void (*)(struct mmc_host * , struct mmc_request * , bool ))0, & sdricoh_request,
5906 & sdricoh_set_ios, & sdricoh_get_ro, (int (*)(struct mmc_host * ))0, (void (*)(struct mmc_host * ,
5907 int ))0,
5908 (void (*)(struct mmc_host * , struct mmc_card * ))0, (int (*)(struct mmc_host * ,
5909 struct mmc_ios * ))0,
5910 (int (*)(struct mmc_host * , u32 ))0, (void (*)(struct mmc_host * , bool ))0,
5911 (int (*)(unsigned int , int , int ))0, (void (*)(struct mmc_host * ))0};
5912#line 413 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
5913static int sdricoh_init_mmc(struct pci_dev *pci_dev , struct pcmcia_device *pcmcia_dev )
5914{ int result ;
5915 void *iobase ;
5916 struct mmc_host *mmc ;
5917 struct sdricoh_host *host ;
5918 struct device *dev ;
5919 struct _ddebug descriptor ;
5920 long tmp ;
5921 struct _ddebug descriptor___0 ;
5922 long tmp___0 ;
5923 unsigned int tmp___1 ;
5924 void *tmp___2 ;
5925 struct mmc_host *tmp___3 ;
5926 void *tmp___4 ;
5927 struct _ddebug descriptor___1 ;
5928 long tmp___5 ;
5929 int tmp___6 ;
5930 struct _ddebug descriptor___2 ;
5931 long tmp___7 ;
5932 unsigned long __cil_tmp21 ;
5933 unsigned long __cil_tmp22 ;
5934 unsigned long __cil_tmp23 ;
5935 unsigned long __cil_tmp24 ;
5936 unsigned long __cil_tmp25 ;
5937 unsigned long __cil_tmp26 ;
5938 resource_size_t __cil_tmp27 ;
5939 unsigned long __cil_tmp28 ;
5940 unsigned long __cil_tmp29 ;
5941 unsigned long __cil_tmp30 ;
5942 unsigned long __cil_tmp31 ;
5943 resource_size_t __cil_tmp32 ;
5944 unsigned long __cil_tmp33 ;
5945 unsigned long __cil_tmp34 ;
5946 unsigned long __cil_tmp35 ;
5947 unsigned long __cil_tmp36 ;
5948 unsigned long __cil_tmp37 ;
5949 resource_size_t __cil_tmp38 ;
5950 unsigned long __cil_tmp39 ;
5951 unsigned long __cil_tmp40 ;
5952 unsigned long __cil_tmp41 ;
5953 unsigned long __cil_tmp42 ;
5954 resource_size_t __cil_tmp43 ;
5955 unsigned long __cil_tmp44 ;
5956 unsigned long __cil_tmp45 ;
5957 unsigned long __cil_tmp46 ;
5958 unsigned long __cil_tmp47 ;
5959 unsigned long __cil_tmp48 ;
5960 resource_size_t __cil_tmp49 ;
5961 resource_size_t __cil_tmp50 ;
5962 struct _ddebug *__cil_tmp51 ;
5963 unsigned long __cil_tmp52 ;
5964 unsigned long __cil_tmp53 ;
5965 unsigned long __cil_tmp54 ;
5966 unsigned long __cil_tmp55 ;
5967 unsigned long __cil_tmp56 ;
5968 unsigned long __cil_tmp57 ;
5969 unsigned char __cil_tmp58 ;
5970 long __cil_tmp59 ;
5971 long __cil_tmp60 ;
5972 struct device const *__cil_tmp61 ;
5973 void *__cil_tmp62 ;
5974 unsigned long __cil_tmp63 ;
5975 unsigned long __cil_tmp64 ;
5976 struct device const *__cil_tmp65 ;
5977 void const volatile *__cil_tmp66 ;
5978 void const volatile *__cil_tmp67 ;
5979 struct _ddebug *__cil_tmp68 ;
5980 unsigned long __cil_tmp69 ;
5981 unsigned long __cil_tmp70 ;
5982 unsigned long __cil_tmp71 ;
5983 unsigned long __cil_tmp72 ;
5984 unsigned long __cil_tmp73 ;
5985 unsigned long __cil_tmp74 ;
5986 unsigned char __cil_tmp75 ;
5987 long __cil_tmp76 ;
5988 long __cil_tmp77 ;
5989 struct device const *__cil_tmp78 ;
5990 unsigned long __cil_tmp79 ;
5991 unsigned long __cil_tmp80 ;
5992 struct device *__cil_tmp81 ;
5993 unsigned long __cil_tmp82 ;
5994 unsigned long __cil_tmp83 ;
5995 struct mmc_host *__cil_tmp84 ;
5996 unsigned long __cil_tmp85 ;
5997 unsigned long __cil_tmp86 ;
5998 struct device const *__cil_tmp87 ;
5999 unsigned long __cil_tmp88 ;
6000 unsigned long __cil_tmp89 ;
6001 unsigned long __cil_tmp90 ;
6002 unsigned long __cil_tmp91 ;
6003 unsigned long __cil_tmp92 ;
6004 unsigned long __cil_tmp93 ;
6005 unsigned long __cil_tmp94 ;
6006 unsigned long __cil_tmp95 ;
6007 unsigned long __cil_tmp96 ;
6008 unsigned long __cil_tmp97 ;
6009 unsigned long __cil_tmp98 ;
6010 unsigned long __cil_tmp99 ;
6011 unsigned long __cil_tmp100 ;
6012 unsigned long __cil_tmp101 ;
6013 unsigned long __cil_tmp102 ;
6014 unsigned long __cil_tmp103 ;
6015 unsigned long __cil_tmp104 ;
6016 unsigned long __cil_tmp105 ;
6017 unsigned long __cil_tmp106 ;
6018 unsigned long __cil_tmp107 ;
6019 unsigned long __cil_tmp108 ;
6020 struct _ddebug *__cil_tmp109 ;
6021 unsigned long __cil_tmp110 ;
6022 unsigned long __cil_tmp111 ;
6023 unsigned long __cil_tmp112 ;
6024 unsigned long __cil_tmp113 ;
6025 unsigned long __cil_tmp114 ;
6026 unsigned long __cil_tmp115 ;
6027 unsigned char __cil_tmp116 ;
6028 long __cil_tmp117 ;
6029 long __cil_tmp118 ;
6030 struct device const *__cil_tmp119 ;
6031 struct _ddebug *__cil_tmp120 ;
6032 unsigned long __cil_tmp121 ;
6033 unsigned long __cil_tmp122 ;
6034 unsigned long __cil_tmp123 ;
6035 unsigned long __cil_tmp124 ;
6036 unsigned long __cil_tmp125 ;
6037 unsigned long __cil_tmp126 ;
6038 unsigned char __cil_tmp127 ;
6039 long __cil_tmp128 ;
6040 long __cil_tmp129 ;
6041 struct device const *__cil_tmp130 ;
6042 void *__cil_tmp131 ;
6043 unsigned long __cil_tmp132 ;
6044 unsigned long __cil_tmp133 ;
6045 struct mmc_host *__cil_tmp134 ;
6046 unsigned long __cil_tmp135 ;
6047 unsigned long __cil_tmp136 ;
6048
6049 {
6050#line 416
6051 result = 0;
6052#line 417
6053 iobase = (void *)0;
6054#line 418
6055 mmc = (struct mmc_host *)0;
6056#line 419
6057 host = (struct sdricoh_host *)0;
6058#line 420
6059 __cil_tmp21 = (unsigned long )pcmcia_dev;
6060#line 420
6061 __cil_tmp22 = __cil_tmp21 + 184;
6062#line 420
6063 dev = (struct device *)__cil_tmp22;
6064 {
6065#line 422
6066 __cil_tmp23 = 0 * 56UL;
6067#line 422
6068 __cil_tmp24 = 1304 + __cil_tmp23;
6069#line 422
6070 __cil_tmp25 = (unsigned long )pci_dev;
6071#line 422
6072 __cil_tmp26 = __cil_tmp25 + __cil_tmp24;
6073#line 422
6074 __cil_tmp27 = *((resource_size_t *)__cil_tmp26);
6075#line 422
6076 if (__cil_tmp27 == 0ULL) {
6077 {
6078#line 422
6079 __cil_tmp28 = 0 * 56UL;
6080#line 422
6081 __cil_tmp29 = 1304 + __cil_tmp28;
6082#line 422
6083 __cil_tmp30 = (unsigned long )pci_dev;
6084#line 422
6085 __cil_tmp31 = __cil_tmp30 + __cil_tmp29;
6086#line 422
6087 __cil_tmp32 = *((resource_size_t *)__cil_tmp31);
6088#line 422
6089 __cil_tmp33 = 0 * 56UL;
6090#line 422
6091 __cil_tmp34 = __cil_tmp33 + 8;
6092#line 422
6093 __cil_tmp35 = 1304 + __cil_tmp34;
6094#line 422
6095 __cil_tmp36 = (unsigned long )pci_dev;
6096#line 422
6097 __cil_tmp37 = __cil_tmp36 + __cil_tmp35;
6098#line 422
6099 __cil_tmp38 = *((resource_size_t *)__cil_tmp37);
6100#line 422
6101 if (__cil_tmp38 == __cil_tmp32) {
6102#line 422
6103 goto _L;
6104 } else {
6105#line 422
6106 goto _L___0;
6107 }
6108 }
6109 } else {
6110 _L___0:
6111 {
6112#line 422
6113 __cil_tmp39 = 0 * 56UL;
6114#line 422
6115 __cil_tmp40 = 1304 + __cil_tmp39;
6116#line 422
6117 __cil_tmp41 = (unsigned long )pci_dev;
6118#line 422
6119 __cil_tmp42 = __cil_tmp41 + __cil_tmp40;
6120#line 422
6121 __cil_tmp43 = *((resource_size_t *)__cil_tmp42);
6122#line 422
6123 __cil_tmp44 = 0 * 56UL;
6124#line 422
6125 __cil_tmp45 = __cil_tmp44 + 8;
6126#line 422
6127 __cil_tmp46 = 1304 + __cil_tmp45;
6128#line 422
6129 __cil_tmp47 = (unsigned long )pci_dev;
6130#line 422
6131 __cil_tmp48 = __cil_tmp47 + __cil_tmp46;
6132#line 422
6133 __cil_tmp49 = *((resource_size_t *)__cil_tmp48);
6134#line 422
6135 __cil_tmp50 = __cil_tmp49 - __cil_tmp43;
6136#line 422
6137 if (__cil_tmp50 != 4095ULL) {
6138 _L:
6139 {
6140#line 424
6141 __cil_tmp51 = & descriptor;
6142#line 424
6143 *((char const **)__cil_tmp51) = "sdricoh_cs";
6144#line 424
6145 __cil_tmp52 = (unsigned long )(& descriptor) + 8;
6146#line 424
6147 *((char const **)__cil_tmp52) = "sdricoh_init_mmc";
6148#line 424
6149 __cil_tmp53 = (unsigned long )(& descriptor) + 16;
6150#line 424
6151 *((char const **)__cil_tmp53) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
6152#line 424
6153 __cil_tmp54 = (unsigned long )(& descriptor) + 24;
6154#line 424
6155 *((char const **)__cil_tmp54) = "unexpected pci resource len\n";
6156#line 424
6157 __cil_tmp55 = (unsigned long )(& descriptor) + 32;
6158#line 424
6159 *((unsigned int *)__cil_tmp55) = 424U;
6160#line 424
6161 __cil_tmp56 = (unsigned long )(& descriptor) + 35;
6162#line 424
6163 *((unsigned char *)__cil_tmp56) = (unsigned char)0;
6164#line 424
6165 __cil_tmp57 = (unsigned long )(& descriptor) + 35;
6166#line 424
6167 __cil_tmp58 = *((unsigned char *)__cil_tmp57);
6168#line 424
6169 __cil_tmp59 = (long )__cil_tmp58;
6170#line 424
6171 __cil_tmp60 = __cil_tmp59 & 1L;
6172#line 424
6173 tmp = __builtin_expect(__cil_tmp60, 0L);
6174 }
6175#line 424
6176 if (tmp != 0L) {
6177 {
6178#line 424
6179 __cil_tmp61 = (struct device const *)dev;
6180#line 424
6181 __dynamic_dev_dbg(& descriptor, __cil_tmp61, "unexpected pci resource len\n");
6182 }
6183 } else {
6184
6185 }
6186#line 425
6187 return (-19);
6188 } else {
6189
6190 }
6191 }
6192 }
6193 }
6194 {
6195#line 427
6196 iobase = pci_iomap(pci_dev, 0, 4096UL);
6197 }
6198 {
6199#line 429
6200 __cil_tmp62 = (void *)0;
6201#line 429
6202 __cil_tmp63 = (unsigned long )__cil_tmp62;
6203#line 429
6204 __cil_tmp64 = (unsigned long )iobase;
6205#line 429
6206 if (__cil_tmp64 == __cil_tmp63) {
6207 {
6208#line 430
6209 __cil_tmp65 = (struct device const *)dev;
6210#line 430
6211 dev_err(__cil_tmp65, "unable to map iobase\n");
6212 }
6213#line 431
6214 return (-19);
6215 } else {
6216
6217 }
6218 }
6219 {
6220#line 434
6221 __cil_tmp66 = (void const volatile *)iobase;
6222#line 434
6223 __cil_tmp67 = __cil_tmp66 + 260U;
6224#line 434
6225 tmp___1 = readl(__cil_tmp67);
6226 }
6227#line 434
6228 if (tmp___1 != 16384U) {
6229 {
6230#line 435
6231 __cil_tmp68 = & descriptor___0;
6232#line 435
6233 *((char const **)__cil_tmp68) = "sdricoh_cs";
6234#line 435
6235 __cil_tmp69 = (unsigned long )(& descriptor___0) + 8;
6236#line 435
6237 *((char const **)__cil_tmp69) = "sdricoh_init_mmc";
6238#line 435
6239 __cil_tmp70 = (unsigned long )(& descriptor___0) + 16;
6240#line 435
6241 *((char const **)__cil_tmp70) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
6242#line 435
6243 __cil_tmp71 = (unsigned long )(& descriptor___0) + 24;
6244#line 435
6245 *((char const **)__cil_tmp71) = "no supported mmc controller found\n";
6246#line 435
6247 __cil_tmp72 = (unsigned long )(& descriptor___0) + 32;
6248#line 435
6249 *((unsigned int *)__cil_tmp72) = 435U;
6250#line 435
6251 __cil_tmp73 = (unsigned long )(& descriptor___0) + 35;
6252#line 435
6253 *((unsigned char *)__cil_tmp73) = (unsigned char)0;
6254#line 435
6255 __cil_tmp74 = (unsigned long )(& descriptor___0) + 35;
6256#line 435
6257 __cil_tmp75 = *((unsigned char *)__cil_tmp74);
6258#line 435
6259 __cil_tmp76 = (long )__cil_tmp75;
6260#line 435
6261 __cil_tmp77 = __cil_tmp76 & 1L;
6262#line 435
6263 tmp___0 = __builtin_expect(__cil_tmp77, 0L);
6264 }
6265#line 435
6266 if (tmp___0 != 0L) {
6267 {
6268#line 435
6269 __cil_tmp78 = (struct device const *)dev;
6270#line 435
6271 __dynamic_dev_dbg(& descriptor___0, __cil_tmp78, "no supported mmc controller found\n");
6272 }
6273 } else {
6274
6275 }
6276#line 436
6277 result = -19;
6278#line 437
6279 goto err;
6280 } else {
6281
6282 }
6283 {
6284#line 440
6285 __cil_tmp79 = (unsigned long )pcmcia_dev;
6286#line 440
6287 __cil_tmp80 = __cil_tmp79 + 184;
6288#line 440
6289 __cil_tmp81 = (struct device *)__cil_tmp80;
6290#line 440
6291 tmp___3 = mmc_alloc_host(40, __cil_tmp81);
6292#line 440
6293 tmp___2 = (void *)tmp___3;
6294#line 440
6295 __cil_tmp82 = (unsigned long )pcmcia_dev;
6296#line 440
6297 __cil_tmp83 = __cil_tmp82 + 1336;
6298#line 440
6299 *((void **)__cil_tmp83) = tmp___2;
6300#line 440
6301 mmc = (struct mmc_host *)tmp___2;
6302 }
6303 {
6304#line 442
6305 __cil_tmp84 = (struct mmc_host *)0;
6306#line 442
6307 __cil_tmp85 = (unsigned long )__cil_tmp84;
6308#line 442
6309 __cil_tmp86 = (unsigned long )mmc;
6310#line 442
6311 if (__cil_tmp86 == __cil_tmp85) {
6312 {
6313#line 443
6314 __cil_tmp87 = (struct device const *)dev;
6315#line 443
6316 dev_err(__cil_tmp87, "mmc_alloc_host failed\n");
6317#line 444
6318 result = -12;
6319 }
6320#line 445
6321 goto err;
6322 } else {
6323
6324 }
6325 }
6326 {
6327#line 447
6328 tmp___4 = mmc_priv(mmc);
6329#line 447
6330 host = (struct sdricoh_host *)tmp___4;
6331#line 449
6332 __cil_tmp88 = (unsigned long )host;
6333#line 449
6334 __cil_tmp89 = __cil_tmp88 + 16;
6335#line 449
6336 *((unsigned char **)__cil_tmp89) = (unsigned char *)iobase;
6337#line 450
6338 *((struct device **)host) = dev;
6339#line 451
6340 __cil_tmp90 = (unsigned long )host;
6341#line 451
6342 __cil_tmp91 = __cil_tmp90 + 24;
6343#line 451
6344 *((struct pci_dev **)__cil_tmp91) = pci_dev;
6345#line 453
6346 __cil_tmp92 = (unsigned long )mmc;
6347#line 453
6348 __cil_tmp93 = __cil_tmp92 + 1168;
6349#line 453
6350 *((struct mmc_host_ops const **)__cil_tmp93) = (struct mmc_host_ops const *)(& sdricoh_ops);
6351#line 457
6352 __cil_tmp94 = (unsigned long )mmc;
6353#line 457
6354 __cil_tmp95 = __cil_tmp94 + 1176;
6355#line 457
6356 *((unsigned int *)__cil_tmp95) = 450000U;
6357#line 458
6358 __cil_tmp96 = (unsigned long )mmc;
6359#line 458
6360 __cil_tmp97 = __cil_tmp96 + 1180;
6361#line 458
6362 *((unsigned int *)__cil_tmp97) = 24000000U;
6363#line 459
6364 __cil_tmp98 = (unsigned long )mmc;
6365#line 459
6366 __cil_tmp99 = __cil_tmp98 + 1188;
6367#line 459
6368 *((u32 *)__cil_tmp99) = 3145728U;
6369#line 460
6370 __cil_tmp100 = (unsigned long )mmc;
6371#line 460
6372 __cil_tmp101 = __cil_tmp100 + 1232;
6373#line 460
6374 __cil_tmp102 = (unsigned long )mmc;
6375#line 460
6376 __cil_tmp103 = __cil_tmp102 + 1232;
6377#line 460
6378 __cil_tmp104 = *((unsigned long *)__cil_tmp103);
6379#line 460
6380 *((unsigned long *)__cil_tmp101) = __cil_tmp104 | 1UL;
6381#line 462
6382 __cil_tmp105 = (unsigned long )mmc;
6383#line 462
6384 __cil_tmp106 = __cil_tmp105 + 1776;
6385#line 462
6386 *((unsigned int *)__cil_tmp106) = 524288U;
6387#line 463
6388 __cil_tmp107 = (unsigned long )mmc;
6389#line 463
6390 __cil_tmp108 = __cil_tmp107 + 1788;
6391#line 463
6392 *((unsigned int *)__cil_tmp108) = 512U;
6393#line 466
6394 tmp___6 = sdricoh_reset(host);
6395 }
6396#line 466
6397 if (tmp___6 != 0) {
6398 {
6399#line 467
6400 __cil_tmp109 = & descriptor___1;
6401#line 467
6402 *((char const **)__cil_tmp109) = "sdricoh_cs";
6403#line 467
6404 __cil_tmp110 = (unsigned long )(& descriptor___1) + 8;
6405#line 467
6406 *((char const **)__cil_tmp110) = "sdricoh_init_mmc";
6407#line 467
6408 __cil_tmp111 = (unsigned long )(& descriptor___1) + 16;
6409#line 467
6410 *((char const **)__cil_tmp111) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
6411#line 467
6412 __cil_tmp112 = (unsigned long )(& descriptor___1) + 24;
6413#line 467
6414 *((char const **)__cil_tmp112) = "could not reset\n";
6415#line 467
6416 __cil_tmp113 = (unsigned long )(& descriptor___1) + 32;
6417#line 467
6418 *((unsigned int *)__cil_tmp113) = 467U;
6419#line 467
6420 __cil_tmp114 = (unsigned long )(& descriptor___1) + 35;
6421#line 467
6422 *((unsigned char *)__cil_tmp114) = (unsigned char)0;
6423#line 467
6424 __cil_tmp115 = (unsigned long )(& descriptor___1) + 35;
6425#line 467
6426 __cil_tmp116 = *((unsigned char *)__cil_tmp115);
6427#line 467
6428 __cil_tmp117 = (long )__cil_tmp116;
6429#line 467
6430 __cil_tmp118 = __cil_tmp117 & 1L;
6431#line 467
6432 tmp___5 = __builtin_expect(__cil_tmp118, 0L);
6433 }
6434#line 467
6435 if (tmp___5 != 0L) {
6436 {
6437#line 467
6438 __cil_tmp119 = (struct device const *)dev;
6439#line 467
6440 __dynamic_dev_dbg(& descriptor___1, __cil_tmp119, "could not reset\n");
6441 }
6442 } else {
6443
6444 }
6445#line 468
6446 result = -5;
6447#line 469
6448 goto err;
6449 } else {
6450
6451 }
6452 {
6453#line 473
6454 result = mmc_add_host(mmc);
6455 }
6456#line 475
6457 if (result == 0) {
6458 {
6459#line 476
6460 __cil_tmp120 = & descriptor___2;
6461#line 476
6462 *((char const **)__cil_tmp120) = "sdricoh_cs";
6463#line 476
6464 __cil_tmp121 = (unsigned long )(& descriptor___2) + 8;
6465#line 476
6466 *((char const **)__cil_tmp121) = "sdricoh_init_mmc";
6467#line 476
6468 __cil_tmp122 = (unsigned long )(& descriptor___2) + 16;
6469#line 476
6470 *((char const **)__cil_tmp122) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
6471#line 476
6472 __cil_tmp123 = (unsigned long )(& descriptor___2) + 24;
6473#line 476
6474 *((char const **)__cil_tmp123) = "mmc host registered\n";
6475#line 476
6476 __cil_tmp124 = (unsigned long )(& descriptor___2) + 32;
6477#line 476
6478 *((unsigned int *)__cil_tmp124) = 476U;
6479#line 476
6480 __cil_tmp125 = (unsigned long )(& descriptor___2) + 35;
6481#line 476
6482 *((unsigned char *)__cil_tmp125) = (unsigned char)0;
6483#line 476
6484 __cil_tmp126 = (unsigned long )(& descriptor___2) + 35;
6485#line 476
6486 __cil_tmp127 = *((unsigned char *)__cil_tmp126);
6487#line 476
6488 __cil_tmp128 = (long )__cil_tmp127;
6489#line 476
6490 __cil_tmp129 = __cil_tmp128 & 1L;
6491#line 476
6492 tmp___7 = __builtin_expect(__cil_tmp129, 0L);
6493 }
6494#line 476
6495 if (tmp___7 != 0L) {
6496 {
6497#line 476
6498 __cil_tmp130 = (struct device const *)dev;
6499#line 476
6500 __dynamic_dev_dbg(& descriptor___2, __cil_tmp130, "mmc host registered\n");
6501 }
6502 } else {
6503
6504 }
6505#line 477
6506 return (0);
6507 } else {
6508
6509 }
6510 err: ;
6511 {
6512#line 481
6513 __cil_tmp131 = (void *)0;
6514#line 481
6515 __cil_tmp132 = (unsigned long )__cil_tmp131;
6516#line 481
6517 __cil_tmp133 = (unsigned long )iobase;
6518#line 481
6519 if (__cil_tmp133 != __cil_tmp132) {
6520 {
6521#line 482
6522 pci_iounmap(pci_dev, iobase);
6523 }
6524 } else {
6525
6526 }
6527 }
6528 {
6529#line 483
6530 __cil_tmp134 = (struct mmc_host *)0;
6531#line 483
6532 __cil_tmp135 = (unsigned long )__cil_tmp134;
6533#line 483
6534 __cil_tmp136 = (unsigned long )mmc;
6535#line 483
6536 if (__cil_tmp136 != __cil_tmp135) {
6537 {
6538#line 484
6539 mmc_free_host(mmc);
6540 }
6541 } else {
6542
6543 }
6544 }
6545#line 486
6546 return (result);
6547}
6548}
6549#line 490 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
6550static int sdricoh_pcmcia_probe(struct pcmcia_device *pcmcia_dev )
6551{ struct pci_dev *pci_dev ;
6552 int tmp ;
6553 unsigned long __cil_tmp4 ;
6554 unsigned long __cil_tmp5 ;
6555 struct device *__cil_tmp6 ;
6556 struct device const *__cil_tmp7 ;
6557 unsigned long __cil_tmp8 ;
6558 unsigned long __cil_tmp9 ;
6559 unsigned long __cil_tmp10 ;
6560 unsigned long __cil_tmp11 ;
6561 char *__cil_tmp12 ;
6562 unsigned long __cil_tmp13 ;
6563 unsigned long __cil_tmp14 ;
6564 unsigned long __cil_tmp15 ;
6565 unsigned long __cil_tmp16 ;
6566 char *__cil_tmp17 ;
6567 unsigned long __cil_tmp18 ;
6568 unsigned long __cil_tmp19 ;
6569 struct device *__cil_tmp20 ;
6570 struct device const *__cil_tmp21 ;
6571 struct pci_dev *__cil_tmp22 ;
6572 unsigned long __cil_tmp23 ;
6573 unsigned long __cil_tmp24 ;
6574 unsigned long __cil_tmp25 ;
6575 unsigned long __cil_tmp26 ;
6576 struct device *__cil_tmp27 ;
6577 struct device const *__cil_tmp28 ;
6578
6579 {
6580 {
6581#line 492
6582 pci_dev = (struct pci_dev *)0;
6583#line 494
6584 __cil_tmp4 = (unsigned long )pcmcia_dev;
6585#line 494
6586 __cil_tmp5 = __cil_tmp4 + 184;
6587#line 494
6588 __cil_tmp6 = (struct device *)__cil_tmp5;
6589#line 494
6590 __cil_tmp7 = (struct device const *)__cil_tmp6;
6591#line 494
6592 __cil_tmp8 = 0 * 8UL;
6593#line 494
6594 __cil_tmp9 = 144 + __cil_tmp8;
6595#line 494
6596 __cil_tmp10 = (unsigned long )pcmcia_dev;
6597#line 494
6598 __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
6599#line 494
6600 __cil_tmp12 = *((char **)__cil_tmp11);
6601#line 494
6602 __cil_tmp13 = 1 * 8UL;
6603#line 494
6604 __cil_tmp14 = 144 + __cil_tmp13;
6605#line 494
6606 __cil_tmp15 = (unsigned long )pcmcia_dev;
6607#line 494
6608 __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
6609#line 494
6610 __cil_tmp17 = *((char **)__cil_tmp16);
6611#line 494
6612 _dev_info(__cil_tmp7, "Searching MMC controller for pcmcia device %s %s ...\n",
6613 __cil_tmp12, __cil_tmp17);
6614 }
6615#line 499
6616 goto ldv_28965;
6617 ldv_28964:
6618 {
6619#line 503
6620 tmp = sdricoh_init_mmc(pci_dev, pcmcia_dev);
6621 }
6622#line 503
6623 if (tmp == 0) {
6624 {
6625#line 504
6626 __cil_tmp18 = (unsigned long )pcmcia_dev;
6627#line 504
6628 __cil_tmp19 = __cil_tmp18 + 184;
6629#line 504
6630 __cil_tmp20 = (struct device *)__cil_tmp19;
6631#line 504
6632 __cil_tmp21 = (struct device const *)__cil_tmp20;
6633#line 504
6634 _dev_info(__cil_tmp21, "MMC controller found\n");
6635 }
6636#line 505
6637 return (0);
6638 } else {
6639
6640 }
6641 ldv_28965:
6642 {
6643#line 499
6644 pci_dev = pci_get_device(4480U, 1142U, pci_dev);
6645 }
6646 {
6647#line 499
6648 __cil_tmp22 = (struct pci_dev *)0;
6649#line 499
6650 __cil_tmp23 = (unsigned long )__cil_tmp22;
6651#line 499
6652 __cil_tmp24 = (unsigned long )pci_dev;
6653#line 499
6654 if (__cil_tmp24 != __cil_tmp23) {
6655#line 500
6656 goto ldv_28964;
6657 } else {
6658#line 502
6659 goto ldv_28966;
6660 }
6661 }
6662 ldv_28966:
6663 {
6664#line 509
6665 __cil_tmp25 = (unsigned long )pcmcia_dev;
6666#line 509
6667 __cil_tmp26 = __cil_tmp25 + 184;
6668#line 509
6669 __cil_tmp27 = (struct device *)__cil_tmp26;
6670#line 509
6671 __cil_tmp28 = (struct device const *)__cil_tmp27;
6672#line 509
6673 dev_err(__cil_tmp28, "No MMC controller was found.\n");
6674 }
6675#line 510
6676 return (-19);
6677}
6678}
6679#line 513 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
6680static void sdricoh_pcmcia_detach(struct pcmcia_device *link )
6681{ struct mmc_host *mmc ;
6682 struct _ddebug descriptor ;
6683 long tmp ;
6684 struct sdricoh_host *host ;
6685 void *tmp___0 ;
6686 unsigned long __cil_tmp7 ;
6687 unsigned long __cil_tmp8 ;
6688 void *__cil_tmp9 ;
6689 struct _ddebug *__cil_tmp10 ;
6690 unsigned long __cil_tmp11 ;
6691 unsigned long __cil_tmp12 ;
6692 unsigned long __cil_tmp13 ;
6693 unsigned long __cil_tmp14 ;
6694 unsigned long __cil_tmp15 ;
6695 unsigned long __cil_tmp16 ;
6696 unsigned char __cil_tmp17 ;
6697 long __cil_tmp18 ;
6698 long __cil_tmp19 ;
6699 unsigned long __cil_tmp20 ;
6700 unsigned long __cil_tmp21 ;
6701 struct device *__cil_tmp22 ;
6702 struct device const *__cil_tmp23 ;
6703 struct mmc_host *__cil_tmp24 ;
6704 unsigned long __cil_tmp25 ;
6705 unsigned long __cil_tmp26 ;
6706 unsigned long __cil_tmp27 ;
6707 unsigned long __cil_tmp28 ;
6708 struct pci_dev *__cil_tmp29 ;
6709 unsigned long __cil_tmp30 ;
6710 unsigned long __cil_tmp31 ;
6711 unsigned char *__cil_tmp32 ;
6712 void *__cil_tmp33 ;
6713 unsigned long __cil_tmp34 ;
6714 unsigned long __cil_tmp35 ;
6715 struct pci_dev *__cil_tmp36 ;
6716
6717 {
6718 {
6719#line 515
6720 __cil_tmp7 = (unsigned long )link;
6721#line 515
6722 __cil_tmp8 = __cil_tmp7 + 1336;
6723#line 515
6724 __cil_tmp9 = *((void **)__cil_tmp8);
6725#line 515
6726 mmc = (struct mmc_host *)__cil_tmp9;
6727#line 517
6728 __cil_tmp10 = & descriptor;
6729#line 517
6730 *((char const **)__cil_tmp10) = "sdricoh_cs";
6731#line 517
6732 __cil_tmp11 = (unsigned long )(& descriptor) + 8;
6733#line 517
6734 *((char const **)__cil_tmp11) = "sdricoh_pcmcia_detach";
6735#line 517
6736 __cil_tmp12 = (unsigned long )(& descriptor) + 16;
6737#line 517
6738 *((char const **)__cil_tmp12) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
6739#line 517
6740 __cil_tmp13 = (unsigned long )(& descriptor) + 24;
6741#line 517
6742 *((char const **)__cil_tmp13) = "detach\n";
6743#line 517
6744 __cil_tmp14 = (unsigned long )(& descriptor) + 32;
6745#line 517
6746 *((unsigned int *)__cil_tmp14) = 517U;
6747#line 517
6748 __cil_tmp15 = (unsigned long )(& descriptor) + 35;
6749#line 517
6750 *((unsigned char *)__cil_tmp15) = (unsigned char)0;
6751#line 517
6752 __cil_tmp16 = (unsigned long )(& descriptor) + 35;
6753#line 517
6754 __cil_tmp17 = *((unsigned char *)__cil_tmp16);
6755#line 517
6756 __cil_tmp18 = (long )__cil_tmp17;
6757#line 517
6758 __cil_tmp19 = __cil_tmp18 & 1L;
6759#line 517
6760 tmp = __builtin_expect(__cil_tmp19, 0L);
6761 }
6762#line 517
6763 if (tmp != 0L) {
6764 {
6765#line 517
6766 __cil_tmp20 = (unsigned long )link;
6767#line 517
6768 __cil_tmp21 = __cil_tmp20 + 184;
6769#line 517
6770 __cil_tmp22 = (struct device *)__cil_tmp21;
6771#line 517
6772 __cil_tmp23 = (struct device const *)__cil_tmp22;
6773#line 517
6774 __dynamic_dev_dbg(& descriptor, __cil_tmp23, "detach\n");
6775 }
6776 } else {
6777
6778 }
6779 {
6780#line 520
6781 __cil_tmp24 = (struct mmc_host *)0;
6782#line 520
6783 __cil_tmp25 = (unsigned long )__cil_tmp24;
6784#line 520
6785 __cil_tmp26 = (unsigned long )mmc;
6786#line 520
6787 if (__cil_tmp26 != __cil_tmp25) {
6788 {
6789#line 521
6790 tmp___0 = mmc_priv(mmc);
6791#line 521
6792 host = (struct sdricoh_host *)tmp___0;
6793#line 522
6794 mmc_remove_host(mmc);
6795#line 523
6796 __cil_tmp27 = (unsigned long )host;
6797#line 523
6798 __cil_tmp28 = __cil_tmp27 + 24;
6799#line 523
6800 __cil_tmp29 = *((struct pci_dev **)__cil_tmp28);
6801#line 523
6802 __cil_tmp30 = (unsigned long )host;
6803#line 523
6804 __cil_tmp31 = __cil_tmp30 + 16;
6805#line 523
6806 __cil_tmp32 = *((unsigned char **)__cil_tmp31);
6807#line 523
6808 __cil_tmp33 = (void *)__cil_tmp32;
6809#line 523
6810 pci_iounmap(__cil_tmp29, __cil_tmp33);
6811#line 524
6812 __cil_tmp34 = (unsigned long )host;
6813#line 524
6814 __cil_tmp35 = __cil_tmp34 + 24;
6815#line 524
6816 __cil_tmp36 = *((struct pci_dev **)__cil_tmp35);
6817#line 524
6818 pci_dev_put(__cil_tmp36);
6819#line 525
6820 mmc_free_host(mmc);
6821 }
6822 } else {
6823
6824 }
6825 }
6826 {
6827#line 527
6828 pcmcia_disable_device(link);
6829 }
6830#line 528
6831 return;
6832}
6833}
6834#line 532 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
6835static int sdricoh_pcmcia_suspend(struct pcmcia_device *link )
6836{ struct mmc_host *mmc ;
6837 struct _ddebug descriptor ;
6838 long tmp ;
6839 unsigned long __cil_tmp5 ;
6840 unsigned long __cil_tmp6 ;
6841 void *__cil_tmp7 ;
6842 struct _ddebug *__cil_tmp8 ;
6843 unsigned long __cil_tmp9 ;
6844 unsigned long __cil_tmp10 ;
6845 unsigned long __cil_tmp11 ;
6846 unsigned long __cil_tmp12 ;
6847 unsigned long __cil_tmp13 ;
6848 unsigned long __cil_tmp14 ;
6849 unsigned char __cil_tmp15 ;
6850 long __cil_tmp16 ;
6851 long __cil_tmp17 ;
6852 unsigned long __cil_tmp18 ;
6853 unsigned long __cil_tmp19 ;
6854 struct device *__cil_tmp20 ;
6855 struct device const *__cil_tmp21 ;
6856
6857 {
6858 {
6859#line 534
6860 __cil_tmp5 = (unsigned long )link;
6861#line 534
6862 __cil_tmp6 = __cil_tmp5 + 1336;
6863#line 534
6864 __cil_tmp7 = *((void **)__cil_tmp6);
6865#line 534
6866 mmc = (struct mmc_host *)__cil_tmp7;
6867#line 535
6868 __cil_tmp8 = & descriptor;
6869#line 535
6870 *((char const **)__cil_tmp8) = "sdricoh_cs";
6871#line 535
6872 __cil_tmp9 = (unsigned long )(& descriptor) + 8;
6873#line 535
6874 *((char const **)__cil_tmp9) = "sdricoh_pcmcia_suspend";
6875#line 535
6876 __cil_tmp10 = (unsigned long )(& descriptor) + 16;
6877#line 535
6878 *((char const **)__cil_tmp10) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
6879#line 535
6880 __cil_tmp11 = (unsigned long )(& descriptor) + 24;
6881#line 535
6882 *((char const **)__cil_tmp11) = "suspend\n";
6883#line 535
6884 __cil_tmp12 = (unsigned long )(& descriptor) + 32;
6885#line 535
6886 *((unsigned int *)__cil_tmp12) = 535U;
6887#line 535
6888 __cil_tmp13 = (unsigned long )(& descriptor) + 35;
6889#line 535
6890 *((unsigned char *)__cil_tmp13) = (unsigned char)0;
6891#line 535
6892 __cil_tmp14 = (unsigned long )(& descriptor) + 35;
6893#line 535
6894 __cil_tmp15 = *((unsigned char *)__cil_tmp14);
6895#line 535
6896 __cil_tmp16 = (long )__cil_tmp15;
6897#line 535
6898 __cil_tmp17 = __cil_tmp16 & 1L;
6899#line 535
6900 tmp = __builtin_expect(__cil_tmp17, 0L);
6901 }
6902#line 535
6903 if (tmp != 0L) {
6904 {
6905#line 535
6906 __cil_tmp18 = (unsigned long )link;
6907#line 535
6908 __cil_tmp19 = __cil_tmp18 + 184;
6909#line 535
6910 __cil_tmp20 = (struct device *)__cil_tmp19;
6911#line 535
6912 __cil_tmp21 = (struct device const *)__cil_tmp20;
6913#line 535
6914 __dynamic_dev_dbg(& descriptor, __cil_tmp21, "suspend\n");
6915 }
6916 } else {
6917
6918 }
6919 {
6920#line 536
6921 mmc_suspend_host(mmc);
6922 }
6923#line 537
6924 return (0);
6925}
6926}
6927#line 540 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
6928static int sdricoh_pcmcia_resume(struct pcmcia_device *link )
6929{ struct mmc_host *mmc ;
6930 struct _ddebug descriptor ;
6931 long tmp ;
6932 void *tmp___0 ;
6933 unsigned long __cil_tmp6 ;
6934 unsigned long __cil_tmp7 ;
6935 void *__cil_tmp8 ;
6936 struct _ddebug *__cil_tmp9 ;
6937 unsigned long __cil_tmp10 ;
6938 unsigned long __cil_tmp11 ;
6939 unsigned long __cil_tmp12 ;
6940 unsigned long __cil_tmp13 ;
6941 unsigned long __cil_tmp14 ;
6942 unsigned long __cil_tmp15 ;
6943 unsigned char __cil_tmp16 ;
6944 long __cil_tmp17 ;
6945 long __cil_tmp18 ;
6946 unsigned long __cil_tmp19 ;
6947 unsigned long __cil_tmp20 ;
6948 struct device *__cil_tmp21 ;
6949 struct device const *__cil_tmp22 ;
6950 struct sdricoh_host *__cil_tmp23 ;
6951
6952 {
6953 {
6954#line 542
6955 __cil_tmp6 = (unsigned long )link;
6956#line 542
6957 __cil_tmp7 = __cil_tmp6 + 1336;
6958#line 542
6959 __cil_tmp8 = *((void **)__cil_tmp7);
6960#line 542
6961 mmc = (struct mmc_host *)__cil_tmp8;
6962#line 543
6963 __cil_tmp9 = & descriptor;
6964#line 543
6965 *((char const **)__cil_tmp9) = "sdricoh_cs";
6966#line 543
6967 __cil_tmp10 = (unsigned long )(& descriptor) + 8;
6968#line 543
6969 *((char const **)__cil_tmp10) = "sdricoh_pcmcia_resume";
6970#line 543
6971 __cil_tmp11 = (unsigned long )(& descriptor) + 16;
6972#line 543
6973 *((char const **)__cil_tmp11) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p";
6974#line 543
6975 __cil_tmp12 = (unsigned long )(& descriptor) + 24;
6976#line 543
6977 *((char const **)__cil_tmp12) = "resume\n";
6978#line 543
6979 __cil_tmp13 = (unsigned long )(& descriptor) + 32;
6980#line 543
6981 *((unsigned int *)__cil_tmp13) = 543U;
6982#line 543
6983 __cil_tmp14 = (unsigned long )(& descriptor) + 35;
6984#line 543
6985 *((unsigned char *)__cil_tmp14) = (unsigned char)0;
6986#line 543
6987 __cil_tmp15 = (unsigned long )(& descriptor) + 35;
6988#line 543
6989 __cil_tmp16 = *((unsigned char *)__cil_tmp15);
6990#line 543
6991 __cil_tmp17 = (long )__cil_tmp16;
6992#line 543
6993 __cil_tmp18 = __cil_tmp17 & 1L;
6994#line 543
6995 tmp = __builtin_expect(__cil_tmp18, 0L);
6996 }
6997#line 543
6998 if (tmp != 0L) {
6999 {
7000#line 543
7001 __cil_tmp19 = (unsigned long )link;
7002#line 543
7003 __cil_tmp20 = __cil_tmp19 + 184;
7004#line 543
7005 __cil_tmp21 = (struct device *)__cil_tmp20;
7006#line 543
7007 __cil_tmp22 = (struct device const *)__cil_tmp21;
7008#line 543
7009 __dynamic_dev_dbg(& descriptor, __cil_tmp22, "resume\n");
7010 }
7011 } else {
7012
7013 }
7014 {
7015#line 544
7016 tmp___0 = mmc_priv(mmc);
7017#line 544
7018 __cil_tmp23 = (struct sdricoh_host *)tmp___0;
7019#line 544
7020 sdricoh_reset(__cil_tmp23);
7021#line 545
7022 mmc_resume_host(mmc);
7023 }
7024#line 546
7025 return (0);
7026}
7027}
7028#line 553 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7029static struct pcmcia_driver sdricoh_driver =
7030#line 553
7031 {"sdricoh_cs", & sdricoh_pcmcia_probe, & sdricoh_pcmcia_detach, & sdricoh_pcmcia_suspend,
7032 & sdricoh_pcmcia_resume, (struct module *)0, (struct pcmcia_device_id const *)(& pcmcia_ids),
7033 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
7034 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device * ))0, (int (*)(struct device * ))0,
7035 (void (*)(struct device * ))0, (int (*)(struct device * , pm_message_t ))0,
7036 (int (*)(struct device * ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
7037 (struct driver_private *)0}, {{{0}, {{{{{0U}}, 0U, 0U, (void *)0, {(struct lock_class_key *)0,
7038 {(struct lock_class *)0,
7039 (struct lock_class *)0},
7040 (char const *)0,
7041 0, 0UL}}}},
7042 {(struct list_head *)0, (struct list_head *)0},
7043 (struct task_struct *)0, (char const *)0, (void *)0,
7044 {(struct lock_class_key *)0, {(struct lock_class *)0,
7045 (struct lock_class *)0},
7046 (char const *)0, 0, 0UL}}, {(struct list_head *)0,
7047 (struct list_head *)0}}};
7048#line 568 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7049static int sdricoh_drv_init(void)
7050{ int tmp ;
7051
7052 {
7053 {
7054#line 570
7055 tmp = pcmcia_register_driver(& sdricoh_driver);
7056 }
7057#line 570
7058 return (tmp);
7059}
7060}
7061#line 573 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7062static void sdricoh_drv_exit(void)
7063{
7064
7065 {
7066 {
7067#line 575
7068 pcmcia_unregister_driver(& sdricoh_driver);
7069 }
7070#line 576
7071 return;
7072}
7073}
7074#line 606
7075extern void ldv_check_final_state(void) ;
7076#line 609
7077extern void ldv_check_return_value(int ) ;
7078#line 612
7079extern void ldv_initialize(void) ;
7080#line 615
7081extern int __VERIFIER_nondet_int(void) ;
7082#line 618 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7083int LDV_IN_INTERRUPT ;
7084#line 621 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7085void main(void)
7086{ struct mmc_host *var_group1 ;
7087 struct mmc_request *var_group2 ;
7088 struct mmc_ios *var_group3 ;
7089 struct pcmcia_device *var_group4 ;
7090 int res_sdricoh_pcmcia_probe_13 ;
7091 int ldv_s_sdricoh_driver_pcmcia_driver ;
7092 int tmp ;
7093 int tmp___0 ;
7094 int tmp___1 ;
7095
7096 {
7097 {
7098#line 966
7099 ldv_s_sdricoh_driver_pcmcia_driver = 0;
7100#line 913
7101 LDV_IN_INTERRUPT = 1;
7102#line 922
7103 ldv_initialize();
7104#line 962
7105 tmp = sdricoh_drv_init();
7106 }
7107#line 962
7108 if (tmp != 0) {
7109#line 963
7110 goto ldv_final;
7111 } else {
7112
7113 }
7114#line 970
7115 goto ldv_29048;
7116 ldv_29047:
7117 {
7118#line 974
7119 tmp___0 = __VERIFIER_nondet_int();
7120 }
7121#line 976
7122 if (tmp___0 == 0) {
7123#line 976
7124 goto case_0;
7125 } else
7126#line 1028
7127 if (tmp___0 == 1) {
7128#line 1028
7129 goto case_1;
7130 } else
7131#line 1080
7132 if (tmp___0 == 2) {
7133#line 1080
7134 goto case_2;
7135 } else
7136#line 1132
7137 if (tmp___0 == 3) {
7138#line 1132
7139 goto case_3;
7140 } else
7141#line 1187
7142 if (tmp___0 == 4) {
7143#line 1187
7144 goto case_4;
7145 } else
7146#line 1239
7147 if (tmp___0 == 5) {
7148#line 1239
7149 goto case_5;
7150 } else
7151#line 1291
7152 if (tmp___0 == 6) {
7153#line 1291
7154 goto case_6;
7155 } else {
7156 {
7157#line 1343
7158 goto switch_default;
7159#line 974
7160 if (0) {
7161 case_0:
7162 {
7163#line 1013
7164 sdricoh_request(var_group1, var_group2);
7165 }
7166#line 1027
7167 goto ldv_29038;
7168 case_1:
7169 {
7170#line 1065
7171 sdricoh_set_ios(var_group1, var_group3);
7172 }
7173#line 1079
7174 goto ldv_29038;
7175 case_2:
7176 {
7177#line 1117
7178 sdricoh_get_ro(var_group1);
7179 }
7180#line 1131
7181 goto ldv_29038;
7182 case_3: ;
7183#line 1135
7184 if (ldv_s_sdricoh_driver_pcmcia_driver == 0) {
7185 {
7186#line 1169
7187 res_sdricoh_pcmcia_probe_13 = sdricoh_pcmcia_probe(var_group4);
7188#line 1170
7189 ldv_check_return_value(res_sdricoh_pcmcia_probe_13);
7190 }
7191#line 1171
7192 if (res_sdricoh_pcmcia_probe_13 != 0) {
7193#line 1172
7194 goto ldv_module_exit;
7195 } else {
7196
7197 }
7198#line 1180
7199 ldv_s_sdricoh_driver_pcmcia_driver = 0;
7200 } else {
7201
7202 }
7203#line 1186
7204 goto ldv_29038;
7205 case_4:
7206 {
7207#line 1224
7208 sdricoh_pcmcia_detach(var_group4);
7209 }
7210#line 1238
7211 goto ldv_29038;
7212 case_5:
7213 {
7214#line 1277
7215 sdricoh_pcmcia_suspend(var_group4);
7216 }
7217#line 1290
7218 goto ldv_29038;
7219 case_6:
7220 {
7221#line 1329
7222 sdricoh_pcmcia_resume(var_group4);
7223 }
7224#line 1342
7225 goto ldv_29038;
7226 switch_default: ;
7227#line 1343
7228 goto ldv_29038;
7229 } else {
7230 switch_break: ;
7231 }
7232 }
7233 }
7234 ldv_29038: ;
7235 ldv_29048:
7236 {
7237#line 970
7238 tmp___1 = __VERIFIER_nondet_int();
7239 }
7240#line 970
7241 if (tmp___1 != 0) {
7242#line 972
7243 goto ldv_29047;
7244 } else
7245#line 970
7246 if (ldv_s_sdricoh_driver_pcmcia_driver != 0) {
7247#line 972
7248 goto ldv_29047;
7249 } else {
7250#line 974
7251 goto ldv_29049;
7252 }
7253 ldv_29049: ;
7254 ldv_module_exit:
7255 {
7256#line 1389
7257 sdricoh_drv_exit();
7258 }
7259 ldv_final:
7260 {
7261#line 1392
7262 ldv_check_final_state();
7263 }
7264#line 1395
7265 return;
7266}
7267}
7268#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
7269void ldv_blast_assert(void)
7270{
7271
7272 {
7273 ERROR: ;
7274#line 6
7275 goto ERROR;
7276}
7277}
7278#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
7279extern int __VERIFIER_nondet_int(void) ;
7280#line 1416 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7281int ldv_spin = 0;
7282#line 1420 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7283void ldv_check_alloc_flags(gfp_t flags )
7284{
7285
7286 {
7287#line 1423
7288 if (ldv_spin != 0) {
7289#line 1423
7290 if (flags != 32U) {
7291 {
7292#line 1423
7293 ldv_blast_assert();
7294 }
7295 } else {
7296
7297 }
7298 } else {
7299
7300 }
7301#line 1426
7302 return;
7303}
7304}
7305#line 1426
7306extern struct page *ldv_some_page(void) ;
7307#line 1429 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7308struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
7309{ struct page *tmp ;
7310
7311 {
7312#line 1432
7313 if (ldv_spin != 0) {
7314#line 1432
7315 if (flags != 32U) {
7316 {
7317#line 1432
7318 ldv_blast_assert();
7319 }
7320 } else {
7321
7322 }
7323 } else {
7324
7325 }
7326 {
7327#line 1434
7328 tmp = ldv_some_page();
7329 }
7330#line 1434
7331 return (tmp);
7332}
7333}
7334#line 1438 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7335void ldv_check_alloc_nonatomic(void)
7336{
7337
7338 {
7339#line 1441
7340 if (ldv_spin != 0) {
7341 {
7342#line 1441
7343 ldv_blast_assert();
7344 }
7345 } else {
7346
7347 }
7348#line 1444
7349 return;
7350}
7351}
7352#line 1445 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7353void ldv_spin_lock(void)
7354{
7355
7356 {
7357#line 1448
7358 ldv_spin = 1;
7359#line 1449
7360 return;
7361}
7362}
7363#line 1452 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7364void ldv_spin_unlock(void)
7365{
7366
7367 {
7368#line 1455
7369 ldv_spin = 0;
7370#line 1456
7371 return;
7372}
7373}
7374#line 1459 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7375int ldv_spin_trylock(void)
7376{ int is_lock ;
7377
7378 {
7379 {
7380#line 1464
7381 is_lock = __VERIFIER_nondet_int();
7382 }
7383#line 1466
7384 if (is_lock != 0) {
7385#line 1469
7386 return (0);
7387 } else {
7388#line 1474
7389 ldv_spin = 1;
7390#line 1476
7391 return (1);
7392 }
7393}
7394}
7395#line 1643 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/17208/dscv_tempdir/dscv/ri/43_1a/drivers/mmc/host/sdricoh_cs.c.p"
7396void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
7397{
7398
7399 {
7400 {
7401#line 1649
7402 ldv_check_alloc_flags(ldv_func_arg2);
7403#line 1651
7404 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
7405 }
7406#line 1652
7407 return ((void *)0);
7408}
7409}